user=juhehe
[2016-08-07 00:51:24]
549*2^1431573-1 is not prime.  Res64: 6EA5E14AEFEFBA85  Time : 0.0 sec.
user=juhehe
[2016-08-07 01:26:04]
455*2^1431574-1 is not prime.  Res64: 842999D1F4103731  Time : 0.0 sec.
user=juhehe
[2016-08-07 02:00:42]
483*2^1431574-1 is not prime.  Res64: 7D18198E32B2289D  Time : 0.0 sec.
user=juhehe
[2016-08-07 04:44:32]
533*2^1431574-1 is not prime.  Res64: A7D6C04C0F78A8BB  Time : 0.0 sec.
user=juhehe
[2016-08-07 06:53:28]
465*2^1431575-1 is not prime.  Res64: 8D5EE0BA26CBFB8E  Time : 0.0 sec.
user=juhehe
[2016-08-07 07:28:07]
511*2^1431575-1 is not prime.  Res64: 4887121DB78A90D8  Time : 0.0 sec.
user=juhehe
[2016-08-07 08:02:50]
425*2^1431576-1 is not prime.  Res64: A5C1A46B6F8C7985  Time : 0.0 sec.
user=juhehe
[2016-08-07 10:11:23]
597*2^1431576-1 is not prime.  Res64: 85BA285679778FF5  Time : 0.0 sec.
user=juhehe
[2016-08-07 10:46:11]
499*2^1431577-1 is not prime.  Res64: 7348023BB9887788  Time : 0.0 sec.
user=juhehe
[2016-08-07 11:21:02]
517*2^1431577-1 is not prime.  Res64: EBFDB5A1D3397E9D  Time : 0.0 sec.
user=juhehe
[2016-08-07 13:29:54]
467*2^1431578-1 is not prime.  Res64: 38A51D2EE61FA1CE  Time : 0.0 sec.
user=juhehe
[2016-08-07 14:04:42]
533*2^1431578-1 is not prime.  Res64: C809590DB53F4736  Time : 0.0 sec.
user=juhehe
[2016-08-07 16:48:33]
433*2^1431579-1 is not prime.  Res64: 4A4940479AF19F67  Time : 0.0 sec.
user=juhehe
[2016-08-07 17:23:27]
451*2^1431579-1 is not prime.  Res64: E24F9E09C624FA02  Time : 0.0 sec.
user=juhehe
[2016-08-07 19:33:14]
483*2^1431579-1 is not prime.  Res64: 8C638DBA596AEB8A  Time : 0.0 sec.
user=juhehe
[2016-08-07 20:10:02]
513*2^1431579-1 is not prime.  Res64: 44B8245A7510E700  Time : 0.0 sec.
user=juhehe
[2016-08-07 20:46:17]
579*2^1431579-1 is not prime.  Res64: 923D1ABFCBB43E74  Time : 0.0 sec.
user=juhehe
[2016-08-07 23:45:54]
411*2^1431581-1 is not prime.  Res64: 2F75DFA548F785DD  Time : 0.0 sec.