user=mdettweiler
[2017-05-23 10:14:00]
478214*2^4917528-1 is not prime.  Res64: 477110CC477D9F23  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 10:28:00]
103947*2^4917581-1 is not prime.  Res64: B90836F1F6FEFBDF  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 10:43:18]
14361*2^4917678-1 is not prime.  Res64: CB8B8312160E21D5  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 19:57:09]
351134*2^4917496-1 is not prime.  Res64: C544905790E1D833  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 20:28:37]
14361*2^4917750-1 is not prime.  Res64: CB9CA0E7F9D5CEE0  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 20:32:54]
351134*2^4917776-1 is not prime.  Res64: BAC929D3E67FBE28  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 20:33:45]
32247*2^4917795+1 is not prime.  Res64: A4BFFA2D01499E5E  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 20:57:12]
14361*2^4917734-1 is not prime.  Res64: CB182EA9435A9D4D  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 21:04:13]
101746*2^4917800+1 is not prime.  Res64: 31FEF8F4D6E9EDE5  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 21:55:31]
351134*2^4917800-1 is not prime.  Res64: F13B0127FAD6F126  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 22:43:26]
103947*2^4917701-1 is not prime.  Res64: 50526738A54C23E6  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:04:34]
101746*2^4917720+1 is not prime.  Res64: 48B75DF5612D34A9  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:04:59]
101746*2^4917680+1 is not prime.  Res64: 0B855BF7ADE1EC8A  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:17:25]
53133*2^4917621+1 is not prime.  Res64: 6685BF5C5B1BDFA7  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:18:11]
101746*2^4917432+1 is not prime.  Res64: 14769405C5AD1ADC  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:35:47]
14361*2^4917878-1 is not prime.  Res64: 3B9C6B9D2FC3C558  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:38:56]
90646*2^4917708+1 is not prime.  Res64: 46D557A712F86FC6  Time : 0.0 sec.
user=mdettweiler
[2017-05-23 23:59:14]
53133*2^4917789+1 is not prime.  Res64: EEDA991E45417318  Time : 0.0 sec.