user=mdettweiler [2015-05-24 13:35:07] 2036*9^1965446+1 is not prime. Res64: Core2Duo-linux2 Time : 0.0 sec.