user=vaughan
[2011-11-13 00:42:48]
1737*2^743882-1 is not prime.  Res64: 0BB09BC6CF93AA51  Time : 8844.0 sec.
user=vaughan
[2011-11-13 03:11:08]
1751*2^743882-1 is not prime.  Res64: 241830EBB98236AE  Time : 8901.0 sec.
user=vaughan
[2011-11-13 05:39:50]
1757*2^743882-1 is not prime.  Res64: CBAC483EACA72739  Time : 8922.0 sec.
user=vaughan
[2011-11-13 08:07:26]
1811*2^743882-1 is not prime.  Res64: 662934DB3FF3C9BB  Time : 8856.0 sec.
user=vaughan
[2011-11-13 10:34:31]
1441*2^743883-1 is not prime.  Res64: 6588A79A7187A367  Time : 8825.0 sec.
user=vaughan
[2011-11-13 13:01:58]
1449*2^743883-1 is not prime.  Res64: 3830A87800DE835F  Time : 8848.0 sec.
user=vaughan
[2011-11-13 15:28:52]
1453*2^743883-1 is not prime.  Res64: F606AFA2388CE10C  Time : 8814.0 sec.
user=vaughan
[2011-11-13 17:56:24]
1473*2^743883-1 is not prime.  Res64: 542F78F111F1BCA8  Time : 8852.0 sec.
user=vaughan
[2011-11-13 20:23:53]
1711*2^743883-1 is not prime.  Res64: 822CEDAE02CA44BE  Time : 8849.0 sec.
user=vaughan
[2011-11-13 22:54:02]
1785*2^743883-1 is not prime.  Res64: 638AC44AD61F18ED  Time : 9010.0 sec.