user=hwt
[2012-06-05 23:58:25]
86295*2^499117-1 is not prime.  Res64: 53B3344B1E7ED360  Time : 1207.0 sec.