user=vaughan
[2011-12-19 00:15:09]
455*2^1048692-1 is not prime.  Res64: 561E09028E67E8D6  Time : 2640.0 sec.
user=vaughan
[2011-12-19 00:59:17]
497*2^1048692-1 is not prime.  Res64: BF1E99B1E304D0BD  Time : 2648.0 sec.
user=vaughan
[2011-12-19 01:44:22]
515*2^1048692-1 is not prime.  Res64: 309FC22976AD915C  Time : 2634.0 sec.
user=vaughan
[2011-12-19 02:28:32]
555*2^1048692-1 is not prime.  Res64: DC6458B7797774BE  Time : 2650.0 sec.
user=vaughan
[2011-12-19 03:15:15]
585*2^1048692-1 is not prime.  Res64: 508A8EEED22B7637  Time : 2720.0 sec.
user=vaughan
[2011-12-19 03:59:09]
411*2^1048693-1 is not prime.  Res64: 8AB8E285455A92E5  Time : 2635.0 sec.
user=vaughan
[2011-12-19 04:43:13]
489*2^1048693-1 is not prime.  Res64: 2A4562BB8C512E8D  Time : 2644.0 sec.
user=vaughan
[2011-12-19 05:45:19]
499*2^1048693-1 is not prime.  Res64: 428D33B8933E3498  Time : 3665.0 sec.
user=vaughan
[2011-12-19 06:29:29]
573*2^1048694-1 is not prime.  Res64: 92F40CCFC1A80D67  Time : 2651.0 sec.
user=vaughan
[2011-12-19 07:14:45]
587*2^1048694-1 is not prime.  Res64: E6D8A6C6B6ADD4E4  Time : 2645.0 sec.
user=vaughan
[2011-12-19 08:01:21]
471*2^1048695-1 is not prime.  Res64: 82E061217356FD04  Time : 2639.0 sec.
user=vaughan
[2011-12-19 08:45:11]
591*2^1048695-1 is not prime.  Res64: 93E594FC81242EFF  Time : 2630.0 sec.
user=vaughan
[2011-12-19 09:29:13]
437*2^1048696-1 is not prime.  Res64: 4A584277522EBB8E  Time : 2642.0 sec.
user=vaughan
[2011-12-19 10:14:30]
465*2^1048696-1 is not prime.  Res64: 4A3E502CED32C6C8  Time : 2633.0 sec.
user=vaughan
[2011-12-19 10:58:17]
483*2^1048696-1 is not prime.  Res64: A70DACEACFB158BB  Time : 2628.0 sec.
user=vaughan
[2011-12-19 11:42:03]
519*2^1048696-1 is not prime.  Res64: 8E10EF36442EA56F  Time : 2627.0 sec.
user=vaughan
[2011-12-19 12:25:50]
525*2^1048696-1 is not prime.  Res64: 362C8FCF72F0E1D5  Time : 2627.0 sec.
user=vaughan
[2011-12-19 13:09:36]
539*2^1048696-1 is not prime.  Res64: F46BC450C173F07B  Time : 2627.0 sec.
user=vaughan
[2011-12-19 13:53:24]
569*2^1048696-1 is not prime.  Res64: 38D30B8736A0D4D5  Time : 2628.0 sec.
user=vaughan
[2011-12-19 14:37:09]
575*2^1048696-1 is not prime.  Res64: 79538166F3AA3316  Time : 2626.0 sec.
user=vaughan
[2011-12-19 15:20:58]
489*2^1048697-1 is not prime.  Res64: 8051FC955C1D7B1D  Time : 2629.0 sec.
user=vaughan
[2011-12-19 16:04:45]
577*2^1048697-1 is not prime.  Res64: 0039C5B87B610AEC  Time : 2627.0 sec.
user=vaughan
[2011-12-19 16:48:35]
417*2^1048698-1 is not prime.  Res64: 723C457FA8C16893  Time : 2630.0 sec.
user=vaughan
[2011-12-19 17:32:30]
425*2^1048698-1 is not prime.  Res64: B23CF5CD4972AF2C  Time : 2636.0 sec.
user=vaughan
[2011-12-19 18:16:20]
525*2^1048698-1 is not prime.  Res64: F7FBA453C254A3CE  Time : 2631.0 sec.
user=vaughan
[2011-12-19 19:00:10]
455*2^1048700-1 is not prime.  Res64: 33D94EB225D66FC0  Time : 2630.0 sec.
user=vaughan
[2011-12-19 19:43:58]
459*2^1048700-1 is not prime.  Res64: FDE22AD731D9C6E1  Time : 2629.0 sec.
user=vaughan
[2011-12-19 20:27:45]
465*2^1048700-1 is not prime.  Res64: A249B0476E523FCD  Time : 2627.0 sec.
user=vaughan
[2011-12-19 21:11:36]
477*2^1048700-1 is not prime.  Res64: B726B76F0E08BE48  Time : 2631.0 sec.
user=vaughan
[2011-12-19 21:55:23]
479*2^1048700-1 is not prime.  Res64: 4B9FC4C7FE0A3DAE  Time : 2628.0 sec.
user=vaughan
[2011-12-19 22:39:12]
495*2^1048700-1 is not prime.  Res64: AF9FAE911832ADAF  Time : 2629.0 sec.
user=vaughan
[2011-12-19 23:23:01]
545*2^1048700-1 is not prime.  Res64: 8070C7E9A001D5DE  Time : 2629.0 sec.