user=mdettweiler
[2012-05-05 15:29:50]
80823*2^498530-1 is not prime.  Res64: BFD17CD99C82594C  Time : 0.0 sec.