user=vaughan
[2012-08-24 04:48:54]
443*2^1136274-1 is not prime.  Res64: CEA5E6635EBB5663  Time : 0.0 sec.