user=vaughan [2009-09-08 01:06:20] 1667*2^664090-1 is not prime. Res64: 9F7562FEC58C39D1 Time : 1793.0 sec.