[Thu Sep 29 19:34:22 2016] F12 completed 5 ECM curves, B1=800000000, B2=80000000000, We4: D02C2838 F12 completed 5 ECM curves, B1=800000000, B2=80000000000, We4: D02C2838