user=mdettweiler
[2012-02-09 16:45:05]
87987*2^498462-1 is not prime.  Res64: B7AA68FF218699F1  Time : 0.0 sec.