user=mdettweiler
[2012-02-24 01:21:27]
67269021945*2^1000000-1 is not prime.  Res64: F080A42F16C7F863  Time : 0.0 sec.