user=vaughan [2011-12-22 05:41:08] 1883*2^700928-1 is not prime. Res64: 7120E2D4FF1C315B Time : 33469.0 sec.