user=vaughan
[2011-11-22 02:27:37]
1603*2^743891-1 is not prime.  Res64: 6DA63E6A8E900506  Time : 8876.0 sec.
user=vaughan
[2011-11-22 04:59:10]
1665*2^743891-1 is not prime.  Res64: 5475DE1FDB07A848  Time : 9094.0 sec.
user=vaughan
[2011-11-22 07:28:52]
1729*2^743891-1 is not prime.  Res64: DF4C18168D25976B  Time : 8983.0 sec.
user=vaughan
[2011-11-22 09:58:51]
1831*2^743891-1 is not prime.  Res64: 2820D8D4EE740446  Time : 8999.0 sec.
user=vaughan
[2011-11-22 12:30:34]
1849*2^743891-1 is not prime.  Res64: 7058F2E184B2AA7B  Time : 9103.0 sec.
user=vaughan
[2011-11-22 15:03:18]
1893*2^743891-1 is not prime.  Res64: 253177969694097C  Time : 9165.0 sec.
user=vaughan
[2011-11-22 17:31:01]
1915*2^743891-1 is not prime.  Res64: 959DB194B8BB6036  Time : 8864.0 sec.
user=vaughan
[2011-11-22 19:57:54]
1981*2^743891-1 is not prime.  Res64: CE2D0356BD882B51  Time : 8814.0 sec.
user=vaughan
[2011-11-22 22:25:25]
1533*2^743892-1 is not prime.  Res64: 3931F8A7F6C289C1  Time : 8851.0 sec.