user=mdettweiler [2015-05-20 22:58:16] 2036*9^1965152+1 is not prime. Res64: Core2Duo-linux2 Time : 0.0 sec.