user=vaughan [2011-11-07 00:47:14] 1643*2^743876-1 is not prime. Res64: CE8084B8378732B0 Time : 6231.0 sec.