user=mdettweiler
[2016-01-08 04:11:34]
451*2^1431323-1 is not prime.  Res64: C34DC25F3BA844A6  Time : 0.0 sec.
user=mdettweiler
[2016-01-08 04:11:36]
489*2^1431323-1 is not prime.  Res64: 30A4F119DCF9969E  Time : 0.0 sec.