user=mdettweiler
[2015-10-14 05:12:19]
163503*2^3283167-1 is not prime.  Res64: 3AD8F0389E07E07A  Time : 0.0 sec.