user=mdettweiler
[2015-01-11 00:08:37]
837*2^1388856-1 is not prime.  Res64: 38EFD5455FE798F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:08:41]
645*2^1388857-1 is not prime.  Res64: F13BCF2868FDD5D3  Time : 0.0 sec.
user=odicin
[2015-01-11 00:10:24]
915*2^1388857-1 is not prime.  Res64: 3CA1F9AA08498824  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:18:54]
945*2^1388853-1 is not prime.  Res64: 66D8C51A9DA99093  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:18:54]
951*2^1388853-1 is not prime.  Res64: B18F1362F952C4E2  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:19:24]
747*2^1388857-1 is not prime.  Res64: C9473917A39E2687  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:19:25]
805*2^1388857-1 is not prime.  Res64: 3417D59E9669A4D1  Time : 0.0 sec.
user=odicin
[2015-01-11 00:23:52]
773*2^1388858-1 is not prime.  Res64: 89C15FEEE6220D47  Time : 0.0 sec.
user=odicin
[2015-01-11 00:25:18]
729*2^1388857-1 is not prime.  Res64: 444C5DF1E126287F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:26:47]
955*2^1388857-1 is not prime.  Res64: 59F152C314E3971B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:26:48]
957*2^1388857-1 is not prime.  Res64: 4FA3E90146A0762A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:35:20]
645*2^1388858-1 is not prime.  Res64: 2DB0F4109B27B023  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:35:21]
713*2^1388858-1 is not prime.  Res64: AF27C26512709843  Time : 0.0 sec.
user=odicin
[2015-01-11 00:37:08]
613*2^1388859-1 is not prime.  Res64: 9F9D8FC99A2FD053  Time : 0.0 sec.
user=odicin
[2015-01-11 00:38:39]
619*2^1388859-1 is not prime.  Res64: 5819535388737C8C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:44:43]
825*2^1388858-1 is not prime.  Res64: 22DF2E0ADE5CDACE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:44:44]
831*2^1388858-1 is not prime.  Res64: 5E0BF347BC0A7C47  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:45:12]
923*2^1388858-1 is not prime.  Res64: F05690BCB70FDD1C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:45:13]
963*2^1388858-1 is not prime.  Res64: 87F4A1977C364434  Time : 0.0 sec.
user=odicin
[2015-01-11 00:50:50]
873*2^1388859-1 is not prime.  Res64: BB59985DD491ED3A  Time : 0.0 sec.
user=odicin
[2015-01-11 00:52:11]
921*2^1388859-1 is not prime.  Res64: E79397B9AD5C626A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:52:37]
663*2^1388859-1 is not prime.  Res64: 65D307F9663819E2  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 00:52:38]
721*2^1388859-1 is not prime.  Res64: 6863BBA80C845BFA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:01:26]
723*2^1388859-1 is not prime.  Res64: 8CEDFC43F52E83FD  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:01:27]
751*2^1388859-1 is not prime.  Res64: 593B8E82F4E622D0  Time : 0.0 sec.
user=odicin
[2015-01-11 01:05:49]
987*2^1388860-1 is not prime.  Res64: A3873207C559ECEE  Time : 0.0 sec.
user=odicin
[2015-01-11 01:07:18]
999*2^1388860-1 is not prime.  Res64: 8B9BFB659510EDEF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:10:36]
663*2^1388860-1 is not prime.  Res64: 9415843CCD2B1D8A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:10:38]
677*2^1388860-1 is not prime.  Res64: 370B6750741FCEEE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:11:10]
755*2^1388860-1 is not prime.  Res64: B22C6263848DA27B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:11:11]
909*2^1388860-1 is not prime.  Res64: 91177309BB2F296D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:18:32]
829*2^1388861-1 is not prime.  Res64: AB853A1EE9FDAA05  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:18:33]
861*2^1388861-1 is not prime.  Res64: 532BB204B09939CE  Time : 0.0 sec.
user=odicin
[2015-01-11 01:19:28]
683*2^1388862-1 is not prime.  Res64: 546F14D7219017D5  Time : 0.0 sec.
user=odicin
[2015-01-11 01:20:53]
737*2^1388862-1 is not prime.  Res64: 3A1AEACA95D1DBC8  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:27:52]
907*2^1388861-1 is not prime.  Res64: F4D3A0F086B74452  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:37:02]
825*2^1388862-1 is not prime.  Res64: 0C769911F6A9FDA5  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:37:06]
1001*2^1388862-1 is not prime.  Res64: 1A3E344D671BF8B9  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:37:10]
755*2^1388862-1 is not prime.  Res64: 35EF6ED24BD23290  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:37:12]
821*2^1388862-1 is not prime.  Res64: FC31B3C27E440D2F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:44:37]
609*2^1388863-1 is not prime.  Res64: 365993CB55A1860E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 01:44:37]
703*2^1388863-1 is not prime.  Res64: DA272BF64F5511E8  Time : 0.0 sec.
user=odicin
[2015-01-11 01:52:51]
705*2^1388863-1 is not prime.  Res64: 117C20A9D666AB0B  Time : 0.0 sec.
user=odicin
[2015-01-11 01:54:07]
735*2^1388863-1 is not prime.  Res64: E869898E0DE4D649  Time : 0.0 sec.
user=odicin
[2015-01-11 02:07:23]
927*2^1388864-1 is not prime.  Res64: 5AA94522513EB8A7  Time : 0.0 sec.
user=odicin
[2015-01-11 02:07:52]
969*2^1388864-1 is not prime.  Res64: 5F5682591A08C6A9  Time : 0.0 sec.
user=juhehe
[2015-01-11 02:07:59]
783*2^1388863-1 is not prime.  Res64: C6EB58E577B33380  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 02:11:31]
843*2^1388864-1 is not prime.  Res64: C4A3BEC8C088CB6C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 02:11:33]
869*2^1388864-1 is not prime.  Res64: 1A5EA59472CE0F78  Time : 0.0 sec.
user=odicin
[2015-01-11 02:23:46]
995*2^1388864-1 is not prime.  Res64: 650C2F1E3D1D1951  Time : 0.0 sec.
user=odicin
[2015-01-11 02:39:06]
975*2^1388865-1 is not prime.  Res64: 71CAD55C4ECCA6E9  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 02:39:06]
817*2^1388865-1 is not prime.  Res64: 257EA32D993EB37B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 02:39:07]
861*2^1388865-1 is not prime.  Res64: 1C0842FB048DF366  Time : 0.0 sec.
user=juhehe
[2015-01-11 02:49:36]
709*2^1388865-1 is not prime.  Res64: E8E8B5421CF0FFEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 02:51:17]
939*2^1388861-1 is not prime.  Res64: 740F118C5037E4E7  Time : 0.0 sec.
user=odicin
[2015-01-11 02:56:54]
937*2^1388865-1 is not prime.  Res64: B6B312B9AB3AFD1A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:06:29]
735*2^1388866-1 is not prime.  Res64: 9181A76829E76011  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:06:32]
803*2^1388866-1 is not prime.  Res64: DCED8B6C921075B0  Time : 0.0 sec.
user=odicin
[2015-01-11 03:08:43]
703*2^1388867-1 is not prime.  Res64: 9E727ED9AEA736A2  Time : 0.0 sec.
user=odicin
[2015-01-11 03:10:37]
735*2^1388867-1 is not prime.  Res64: CD2562189DB3555E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:38]
961*2^1388863-1 is not prime.  Res64: D28B07B1B4B41247  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:38]
659*2^1388864-1 is not prime.  Res64: CC1D52139555CD93  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:42]
855*2^1388866-1 is not prime.  Res64: BB3172B54588CEBD  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:42]
971*2^1388866-1 is not prime.  Res64: CA15E82A180D24F8  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:56]
755*2^1388864-1 is not prime.  Res64: 960BB1507D9DA2F5  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:18:56]
813*2^1388864-1 is not prime.  Res64: 25390A66858C537C  Time : 0.0 sec.
user=odicin
[2015-01-11 03:21:49]
669*2^1388868-1 is not prime.  Res64: 051ABC707E13945D  Time : 0.0 sec.
user=odicin
[2015-01-11 03:24:08]
707*2^1388868-1 is not prime.  Res64: 731571002C5F7BE9  Time : 0.0 sec.
user=odicin
[2015-01-11 03:37:42]
639*2^1388869-1 is not prime.  Res64: 5FDEDCA8C1327B3D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:44:55]
839*2^1388868-1 is not prime.  Res64: 1562486EECBCD291  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:44:56]
777*2^1388868-1 is not prime.  Res64: 25D5300BE806E919  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:44:58]
843*2^1388868-1 is not prime.  Res64: E3056AA8B85A2216  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:45:13]
899*2^1388868-1 is not prime.  Res64: E23B9F13E96F8F18  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 03:45:15]
929*2^1388868-1 is not prime.  Res64: 1A6BE8766F9B0C6E  Time : 0.0 sec.
user=odicin
[2015-01-11 03:52:13]
685*2^1388869-1 is not prime.  Res64: FDA65CFB73DDFC3E  Time : 0.0 sec.
user=odicin
[2015-01-11 03:58:46]
947*2^1388868-1 is not prime.  Res64: 8BBAB36156C91456  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:12:40]
801*2^1388869-1 is not prime.  Res64: B29AFBD6BEB55AC6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:12:46]
979*2^1388869-1 is not prime.  Res64: AC62E6B11105B48F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:13:36]
721*2^1388869-1 is not prime.  Res64: 0BC683708C2046F0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:13:39]
771*2^1388869-1 is not prime.  Res64: CBAB1BA7B51A3DD0  Time : 0.0 sec.
user=odicin
[2015-01-11 04:27:03]
635*2^1388870-1 is not prime.  Res64: EBAA42DDB557CCA3  Time : 0.0 sec.
user=odicin
[2015-01-11 04:31:23]
857*2^1388870-1 is not prime.  Res64: 8C605E38BD64231D  Time : 0.0 sec.
user=juhehe
[2015-01-11 04:38:31]
649*2^1388869-1 is not prime.  Res64: 787290A4ACB0EBB6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:42:03]
645*2^1388870-1 is not prime.  Res64: F5D4A2D0F1E59339  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:42:04]
707*2^1388870-1 is not prime.  Res64: D03B477A7EC3EF7E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:42:14]
717*2^1388870-1 is not prime.  Res64: 091A3BF7BEF666FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:42:15]
813*2^1388870-1 is not prime.  Res64: F026DE71D42BFF6A  Time : 0.0 sec.
user=odicin
[2015-01-11 04:43:10]
885*2^1388870-1 is not prime.  Res64: B1C313F2D19658F7  Time : 0.0 sec.
user=odicin
[2015-01-11 04:47:28]
893*2^1388870-1 is not prime.  Res64: 55F49E8B4F2A30C7  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:56:50]
895*2^1388867-1 is not prime.  Res64: 3599B7CF5B13DAC1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 04:56:50]
981*2^1388867-1 is not prime.  Res64: 32931A9F5123474B  Time : 0.0 sec.
user=odicin
[2015-01-11 04:57:16]
741*2^1388871-1 is not prime.  Res64: 1F9D3E34DEAA60CF  Time : 0.0 sec.
user=odicin
[2015-01-11 05:01:40]
763*2^1388871-1 is not prime.  Res64: 7EDCC1C36CA8C8C3  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:06:07]
795*2^1388868-1 is not prime.  Res64: 298A1D707A99C996  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:08:24]
977*2^1388870-1 is not prime.  Res64: D7E7D3FF2EEA8557  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:08:25]
613*2^1388871-1 is not prime.  Res64: 52FE38052A8D06F2  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:08:48]
679*2^1388871-1 is not prime.  Res64: C048C9D8ED01F24E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:08:50]
723*2^1388871-1 is not prime.  Res64: D8BE5D2CAD723984  Time : 0.0 sec.
user=odicin
[2015-01-11 05:11:12]
713*2^1388872-1 is not prime.  Res64: D8E5CADA3CA5A903  Time : 0.0 sec.
user=odicin
[2015-01-11 05:16:11]
719*2^1388872-1 is not prime.  Res64: 93B7EC1FCD021D52  Time : 0.0 sec.
user=juhehe
[2015-01-11 05:17:30]
935*2^1388870-1 is not prime.  Res64: 646CE9DAB7629271  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:22:52]
955*2^1388871-1 is not prime.  Res64: 734FC58B39F44C97  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:22:53]
677*2^1388872-1 is not prime.  Res64: 72664D07EDDDDA9C  Time : 0.0 sec.
user=odicin
[2015-01-11 05:25:29]
789*2^1388873-1 is not prime.  Res64: 029ECC8AB904B090  Time : 0.0 sec.
user=odicin
[2015-01-11 05:30:31]
937*2^1388873-1 is not prime.  Res64: D0FD889220E0F5CC  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:32:28]
849*2^1388872-1 is not prime.  Res64: A103E288C6519E70  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:32:28]
855*2^1388872-1 is not prime.  Res64: 1DEDA034C65A0EEC  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:34:41]
637*2^1388873-1 is not prime.  Res64: C72A5E4B861079C4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:34:41]
727*2^1388873-1 is not prime.  Res64: F135BF17F14FE73C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:34:45]
875*2^1388872-1 is not prime.  Res64: 4278FA7D5C28EE31  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:34:45]
607*2^1388873-1 is not prime.  Res64: F19C1BA3758D8D83  Time : 0.0 sec.
user=odicin
[2015-01-11 05:39:38]
711*2^1388874-1 is not prime.  Res64: 8E5A5F1A0DB771CB  Time : 0.0 sec.
user=odicin
[2015-01-11 05:44:55]
755*2^1388874-1 is not prime.  Res64: 6AE5CC9D2AF9FF4A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:48:47]
677*2^1388874-1 is not prime.  Res64: 4E96C985CF0700CF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:48:47]
683*2^1388874-1 is not prime.  Res64: 16B4062CD19FC522  Time : 0.0 sec.
user=odicin
[2015-01-11 05:53:57]
853*2^1388875-1 is not prime.  Res64: 7B59312C85C71219  Time : 0.0 sec.
user=juhehe
[2015-01-11 05:55:58]
987*2^1388873-1 is not prime.  Res64: 624BC9736FD1A460  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:58:33]
825*2^1388874-1 is not prime.  Res64: 9C982C7D11C8C9F0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 05:58:33]
885*2^1388874-1 is not prime.  Res64: 8583D8A4680024A8  Time : 0.0 sec.
user=odicin
[2015-01-11 05:58:57]
855*2^1388875-1 is not prime.  Res64: 78AE8540AB1A550C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:00:34]
893*2^1388874-1 is not prime.  Res64: CFAD013C3147A851  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:00:35]
951*2^1388874-1 is not prime.  Res64: 4F259FC9FAEC0FD8  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:00:36]
693*2^1388875-1 is not prime.  Res64: 6205E9056E556283  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:00:37]
733*2^1388875-1 is not prime.  Res64: 39934EB5206F5D8D  Time : 0.0 sec.
user=odicin
[2015-01-11 06:11:38]
805*2^1388877-1 is not prime.  Res64: 76B5968BD3D2C27C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:14:41]
629*2^1388876-1 is not prime.  Res64: 77B62871208AC284  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:14:41]
725*2^1388876-1 is not prime.  Res64: 24853C336664C138  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:24:33]
769*2^1388877-1 is not prime.  Res64: 2BF51D24BF85D898  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:24:33]
781*2^1388877-1 is not prime.  Res64: CDF8985C69083249  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:26:24]
847*2^1388877-1 is not prime.  Res64: EC98991345B6DE16  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:26:24]
889*2^1388877-1 is not prime.  Res64: BB54EFA177115B25  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:26:36]
605*2^1388878-1 is not prime.  Res64: 78C9CB021C8BD91F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:26:37]
681*2^1388878-1 is not prime.  Res64: B4BEFE96D993B498  Time : 0.0 sec.
user=juhehe
[2015-01-11 06:32:16]
667*2^1388877-1 is not prime.  Res64: D00658264E486BE4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:40:46]
643*2^1388879-1 is not prime.  Res64: EB269C7F6FFCD6CF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:40:46]
661*2^1388879-1 is not prime.  Res64: C3168FFADA534D28  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:50:24]
693*2^1388879-1 is not prime.  Res64: 298A9ADC853BD452  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:50:24]
735*2^1388879-1 is not prime.  Res64: 594204AD2F070B0C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:52:19]
741*2^1388879-1 is not prime.  Res64: C02F517B13B740BB  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:52:19]
753*2^1388879-1 is not prime.  Res64: 52F60C5A555BBA9E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 06:52:42]
771*2^1388879-1 is not prime.  Res64: 3C5FC39E110BF01B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 07:16:48]
939*2^1388879-1 is not prime.  Res64: FF24D70F3C415A98  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 07:16:49]
973*2^1388879-1 is not prime.  Res64: C35AE46008BB0D8D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 07:18:52]
985*2^1388879-1 is not prime.  Res64: 08417BD7376A9ACE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 07:45:01]
665*2^1388880-1 is not prime.  Res64: D52A5243CF364FC9  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 07:45:02]
879*2^1388880-1 is not prime.  Res64: 5F0F133FB42A161E  Time : 0.0 sec.
user=juhehe
[2015-01-11 07:46:33]
695*2^1388880-1 is not prime.  Res64: 8217450592BEDDCA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:13:22]
917*2^1388880-1 is not prime.  Res64: C8777B2A79689EBB  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:13:23]
957*2^1388880-1 is not prime.  Res64: A85F66FBB99113F1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:21:20]
775*2^1388879-1 is not prime.  Res64: 8A2D11530E92049E  Time : 0.0 sec.
user=juhehe
[2015-01-11 08:24:48]
975*2^1388880-1 is not prime.  Res64: 04A28679610F19E5  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:35:58]
883*2^1388879-1 is not prime.  Res64: D462ED5B0735BBAD  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:35:58]
909*2^1388879-1 is not prime.  Res64: D5E637EE3C915237  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:41:33]
619*2^1388881-1 is not prime.  Res64: C5045F6016635850  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:44:11]
635*2^1388880-1 is not prime.  Res64: DF9E6B30C7CA8934  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:48:10]
691*2^1388881-1 is not prime.  Res64: 3DD3010718B4306C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 08:48:11]
741*2^1388881-1 is not prime.  Res64: 6C4E4BB38C68A78A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:02:16]
861*2^1388881-1 is not prime.  Res64: 51FB28D3FF422D67  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:02:18]
925*2^1388881-1 is not prime.  Res64: E532E413C939ED4B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:14:43]
801*2^1388882-1 is not prime.  Res64: 9B43A7FCC1DBF600  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:14:43]
915*2^1388882-1 is not prime.  Res64: 27E22AB44896E631  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:29:18]
951*2^1388882-1 is not prime.  Res64: EB32ED4520A4F611  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:29:18]
977*2^1388882-1 is not prime.  Res64: 441B2D226C827148  Time : 0.0 sec.
user=juhehe
[2015-01-11 09:39:11]
859*2^1388883-1 is not prime.  Res64: 9329F5A01EE9C823  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:41:37]
635*2^1388884-1 is not prime.  Res64: D5C81FCDB274A66B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:41:38]
675*2^1388884-1 is not prime.  Res64: C4E7DC51841172E9  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:56:09]
687*2^1388884-1 is not prime.  Res64: 4C08AA5AC0A94440  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:56:09]
705*2^1388884-1 is not prime.  Res64: BD3492035004D795  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 09:58:05]
645*2^1388881-1 is not prime.  Res64: 577283DBAC818A87  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:19:36]
967*2^1388881-1 is not prime.  Res64: 7E94A4A026948A5B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:19:36]
767*2^1388882-1 is not prime.  Res64: B81CEB1474FCEBE1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:22:34]
983*2^1388884-1 is not prime.  Res64: 2879638FA602152A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:22:34]
627*2^1388885-1 is not prime.  Res64: A74DD74E69C0C902  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:24:33]
775*2^1388885-1 is not prime.  Res64: 163C6126656253D6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:24:33]
781*2^1388885-1 is not prime.  Res64: F2CB177E662CF57C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:46:10]
811*2^1388885-1 is not prime.  Res64: 37F12419EC6D2972  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:46:11]
955*2^1388885-1 is not prime.  Res64: 12FF2BAF69CD18F3  Time : 0.0 sec.
user=juhehe
[2015-01-11 10:47:10]
795*2^1388885-1 is not prime.  Res64: 108D047944E491F6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:48:53]
979*2^1388885-1 is not prime.  Res64: BACCE4C8456BB00C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:48:53]
711*2^1388886-1 is not prime.  Res64: 03E565AA3059D993  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:50:54]
741*2^1388886-1 is not prime.  Res64: C2F15BE642125D94  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 10:50:54]
893*2^1388886-1 is not prime.  Res64: 6B53BB1C904E8A63  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:12:21]
975*2^1388886-1 is not prime.  Res64: 2CD2BA8D0B364DC0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:12:22]
609*2^1388887-1 is not prime.  Res64: 4D817C1A6ECD0AB4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:14:36]
749*2^1388884-1 is not prime.  Res64: 4BF2187C07E95172  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:14:36]
825*2^1388884-1 is not prime.  Res64: 68C05EC5A517F458  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:15:03]
645*2^1388887-1 is not prime.  Res64: 507221CB8E66B3C4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:15:03]
729*2^1388887-1 is not prime.  Res64: 5D29D63224B509C3  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:17:12]
829*2^1388887-1 is not prime.  Res64: 59CD19D12565D77F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:17:12]
843*2^1388887-1 is not prime.  Res64: 233E855C748D9055  Time : 0.0 sec.
user=juhehe
[2015-01-11 11:20:55]
615*2^1388887-1 is not prime.  Res64: 87CEAAED007E24A1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:38:49]
615*2^1388888-1 is not prime.  Res64: 0D252E91EED455BE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:38:49]
623*2^1388888-1 is not prime.  Res64: D6965C8414F3021E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:40:42]
635*2^1388888-1 is not prime.  Res64: 0A681D4FD8DAC5EF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:40:43]
855*2^1388888-1 is not prime.  Res64: 11DF463BE0A1BD90  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:40:48]
915*2^1388888-1 is not prime.  Res64: 173DEC6565612691  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:40:49]
957*2^1388888-1 is not prime.  Res64: D8DB3FEABF26B880  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:43:06]
649*2^1388889-1 is not prime.  Res64: B77E43B6C365FA09  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 11:43:06]
691*2^1388889-1 is not prime.  Res64: 5F159F36CCA7CCF4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:06:37]
861*2^1388889-1 is not prime.  Res64: D021F9494A69EFA2  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:06:38]
907*2^1388889-1 is not prime.  Res64: 4E9881F7039C40FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:06:45]
999*2^1388889-1 is not prime.  Res64: EA2CE48C9598D558  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:06:47]
611*2^1388890-1 is not prime.  Res64: 6756C2BDCB91D268  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:08:51]
635*2^1388890-1 is not prime.  Res64: 7B528F78EA0B9582  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:08:54]
663*2^1388890-1 is not prime.  Res64: 2CE9B4D141CC942E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:32:54]
811*2^1388891-1 is not prime.  Res64: C61114B81D8C9AB3  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:32:54]
779*2^1388892-1 is not prime.  Res64: C173DDCBC0C12C83  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:33:02]
713*2^1388890-1 is not prime.  Res64: 00F571F81DF88991  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:33:02]
867*2^1388890-1 is not prime.  Res64: 8D2EC826A9E5A1B3  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:35:51]
863*2^1388892-1 is not prime.  Res64: 0AF656AD353A13A7  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:35:52]
987*2^1388892-1 is not prime.  Res64: 207D4FF8EEB6D676  Time : 0.0 sec.
user=juhehe
[2015-01-11 12:36:27]
687*2^1388890-1 is not prime.  Res64: E0FFA3DE3D1AB529  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:59:14]
999*2^1388892-1 is not prime.  Res64: 92004E225F2A035D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:59:15]
619*2^1388893-1 is not prime.  Res64: 88BD6DD1DAB2A9F6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:59:18]
649*2^1388893-1 is not prime.  Res64: 737716F798F93A79  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 12:59:19]
757*2^1388893-1 is not prime.  Res64: 4B0A14F66762953E  Time : 0.0 sec.
user=juhehe
[2015-01-11 13:14:27]
927*2^1388893-1 is not prime.  Res64: 61AEA04EB8714F39  Time : 0.0 sec.
user=juhehe
[2015-01-11 13:16:12]
945*2^1388893-1 is not prime.  Res64: B2BC474129C89773  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:20:09]
741*2^1388889-1 is not prime.  Res64: 8AF591C759F0B1F8  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:20:09]
765*2^1388889-1 is not prime.  Res64: BB630109A16F624D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:25:59]
753*2^1388894-1 is not prime.  Res64: FF6311DA386DDB7D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:25:59]
875*2^1388894-1 is not prime.  Res64: 9DA1C79BFBDDAC7A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:26:24]
915*2^1388894-1 is not prime.  Res64: 7470041F5FCE34AC  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:26:25]
917*2^1388894-1 is not prime.  Res64: ED8AB19317DB3368  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:46:24]
971*2^1388894-1 is not prime.  Res64: 33C61D2C66A27680  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:46:25]
921*2^1388895-1 is not prime.  Res64: 8A1123D85B1C40E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:52:25]
969*2^1388895-1 is not prime.  Res64: 9E2C5360BEA32AEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:52:25]
909*2^1388896-1 is not prime.  Res64: 14D67C5B542096A6  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:52:40]
983*2^1388896-1 is not prime.  Res64: 62A6F6BC081E4028  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 13:52:40]
619*2^1388897-1 is not prime.  Res64: E62781A57A3A52AA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:09:25]
831*2^1388893-1 is not prime.  Res64: 91D9525CAED26DCB  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:09:25]
855*2^1388893-1 is not prime.  Res64: D56C9C94BF59D25C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:12:32]
741*2^1388897-1 is not prime.  Res64: DCFB3E2D967F3EAE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:12:32]
747*2^1388897-1 is not prime.  Res64: A6EBD5A834EE1897  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:18:41]
799*2^1388897-1 is not prime.  Res64: 24B661F775E48EF7  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:18:41]
885*2^1388897-1 is not prime.  Res64: AFE58ADFC2E62FC0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:18:42]
901*2^1388897-1 is not prime.  Res64: 844FF6F2B5702B6B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:18:43]
931*2^1388897-1 is not prime.  Res64: 1DDE28F0566FA023  Time : 0.0 sec.
user=juhehe
[2015-01-11 14:26:03]
759*2^1388897-1 is not prime.  Res64: BE0878DAB9CAFE90  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:35:32]
937*2^1388897-1 is not prime.  Res64: B5AB425125CBE5FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:35:32]
985*2^1388897-1 is not prime.  Res64: 58CFF276797A6F6F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:38:22]
633*2^1388898-1 is not prime.  Res64: B54BF68F5499C53A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:38:22]
657*2^1388898-1 is not prime.  Res64: 40FFFEFC014BA412  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:44:37]
681*2^1388898-1 is not prime.  Res64: 8049A2522B18D17A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:44:38]
821*2^1388898-1 is not prime.  Res64: DD43B95BD35F627A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:44:39]
881*2^1388898-1 is not prime.  Res64: 6359FB552A973831  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 14:44:40]
625*2^1388899-1 is not prime.  Res64: 83A52333069C6A2F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:01:33]
639*2^1388899-1 is not prime.  Res64: 879A772A7EF5ED33  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:01:33]
663*2^1388899-1 is not prime.  Res64: 1EA2283A322FFC6E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:04:30]
775*2^1388899-1 is not prime.  Res64: 3A84E8F104A2582D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:10:30]
873*2^1388899-1 is not prime.  Res64: B2ECF3197CB861B0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:10:31]
931*2^1388899-1 is not prime.  Res64: 872E361DE91F586B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:10:37]
603*2^1388900-1 is not prime.  Res64: 6968FFFFC0FAFD61  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:10:38]
615*2^1388900-1 is not prime.  Res64: D85E9F131400BEFF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:27:28]
717*2^1388900-1 is not prime.  Res64: CECAA3EED3061D81  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:27:29]
797*2^1388900-1 is not prime.  Res64: 6E46678E7201E2EA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:37:51]
983*2^1388900-1 is not prime.  Res64: 7E8F8E340AAEF2B1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:37:51]
625*2^1388901-1 is not prime.  Res64: A8EDDD92E8618D07  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:37:53]
875*2^1388900-1 is not prime.  Res64: 607FD80DBE05E414  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:37:53]
977*2^1388900-1 is not prime.  Res64: 8E705C202004FDE0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:53:50]
727*2^1388901-1 is not prime.  Res64: 8071E8F3D42533FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 15:53:50]
811*2^1388901-1 is not prime.  Res64: 55EF68BF4111C587  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:04:34]
877*2^1388901-1 is not prime.  Res64: F6C144D5EEFA998D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:04:34]
907*2^1388901-1 is not prime.  Res64: 51156820155B7AF1  Time : 0.0 sec.
user=juhehe
[2015-01-11 16:17:55]
965*2^1388902-1 is not prime.  Res64: 9A95CE82B73E5BF0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:18:25]
859*2^1388899-1 is not prime.  Res64: 0C916A10E1AAC6E5  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:21:12]
619*2^1388903-1 is not prime.  Res64: F1A9873A4FB764AE  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:21:12]
759*2^1388903-1 is not prime.  Res64: 94B25E9A04E7C40A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:45:28]
825*2^1388903-1 is not prime.  Res64: C47F0E091E4C4EA7  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:45:28]
855*2^1388903-1 is not prime.  Res64: 9730B5E97DB61EB0  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:48:10]
895*2^1388903-1 is not prime.  Res64: 5CC4561BEBF75376  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 16:48:10]
949*2^1388903-1 is not prime.  Res64: 10319400153D7311  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:12:44]
955*2^1388903-1 is not prime.  Res64: 79BC5D26BF7B2017  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:12:44]
675*2^1388904-1 is not prime.  Res64: 25E5D26F7A4DA2D5  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:15:55]
699*2^1388904-1 is not prime.  Res64: EFEB339E0E0BB2BC  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:15:56]
765*2^1388904-1 is not prime.  Res64: 7B31E96682ABB420  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:26:30]
923*2^1388902-1 is not prime.  Res64: 834B85CA0C7D6D14  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:29:35]
889*2^1388901-1 is not prime.  Res64: 8DBB7D6E74D47899  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:40:23]
773*2^1388904-1 is not prime.  Res64: D16057CB98D0F236  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:40:23]
975*2^1388904-1 is not prime.  Res64: CFF22D063DCB46FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:42:38]
691*2^1388905-1 is not prime.  Res64: 088B8BA10A6DDF52  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:42:38]
741*2^1388905-1 is not prime.  Res64: 5A9775F1AC0A408E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:52:51]
765*2^1388905-1 is not prime.  Res64: 652B2CD1985CB42C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:52:52]
777*2^1388905-1 is not prime.  Res64: 1450B646F2F28E3C  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 17:55:48]
951*2^1388905-1 is not prime.  Res64: ADF50AC3A829B01B  Time : 0.0 sec.
user=juhehe
[2015-01-11 18:02:46]
841*2^1388905-1 is not prime.  Res64: B4C915919DD7375A  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:06:37]
641*2^1388906-1 is not prime.  Res64: 270B0A8F98D5596B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:06:41]
657*2^1388906-1 is not prime.  Res64: 3B87B565F70BF242  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:08:43]
711*2^1388906-1 is not prime.  Res64: 5D89297B17B67A0F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:08:46]
735*2^1388906-1 is not prime.  Res64: BB1DED10366193A3  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:19:09]
945*2^1388906-1 is not prime.  Res64: B91A3D42385BFA0F  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:19:09]
609*2^1388907-1 is not prime.  Res64: C1795B8616C0DCE4  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:33:30]
649*2^1388907-1 is not prime.  Res64: 733AD3A1A00B7D49  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:33:31]
753*2^1388907-1 is not prime.  Res64: 4EB1F2A8394ACA7B  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:35:46]
775*2^1388907-1 is not prime.  Res64: 32E4F405630E0A7D  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:35:46]
945*2^1388907-1 is not prime.  Res64: A2C613E1C9CFF285  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:46:14]
961*2^1388907-1 is not prime.  Res64: B2393041C234A0A1  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:46:14]
623*2^1388908-1 is not prime.  Res64: 4FB185D3153D18AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 18:51:54]
603*2^1388906-1 is not prime.  Res64: 8E67F6138CFF14D8  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 19:00:52]
743*2^1388908-1 is not prime.  Res64: A159C8A3476289C2  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 19:00:53]
755*2^1388908-1 is not prime.  Res64: 92118ECCA5A2EA2E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 19:03:15]
923*2^1388908-1 is not prime.  Res64: A9F9E106C3F7761E  Time : 0.0 sec.
user=mdettweiler
[2015-01-11 19:03:17]
631*2^1388909-1 is not prime.  Res64: BCA6B51ABC5D13F8  Time : 0.0 sec.