SHARE
TWEET

C167_3408_1608

vang0001 Mar 7th, 2016 92 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Thu Mar 03 22:27:54 2016  
  2. Thu Mar 03 22:27:54 2016  
  3. Thu Mar 03 22:27:54 2016  Msieve v. 1.52 (SVN unknown)
  4. Thu Mar 03 22:27:54 2016  random seeds: 8953cea4 2779679e
  5. Thu Mar 03 22:27:54 2016  factoring 19279124408593705964551938007182661475817993340606611931974614884160154214521467864149140038078184005437115174440833901644941046994615286984783459226466824702280498043 (167 digits)
  6. Thu Mar 03 22:27:55 2016  no P-1/P+1/ECM available, skipping
  7. Thu Mar 03 22:27:55 2016  commencing number field sieve (167-digit input)
  8. Thu Mar 03 22:27:55 2016  R0: -327720353491730676473078742013533
  9. Thu Mar 03 22:27:55 2016  R1: 174549382181399939
  10. Thu Mar 03 22:27:55 2016  A0: -3023638545710156835094264630064226096320
  11. Thu Mar 03 22:27:55 2016  A1: 383976428325348753245280153981228
  12. Thu Mar 03 22:27:55 2016  A2: -827767982714206914636699332
  13. Thu Mar 03 22:27:55 2016  A3: -159564790585744901760
  14. Thu Mar 03 22:27:55 2016  A4: 1247620302709
  15. Thu Mar 03 22:27:55 2016  A5: 5100
  16. Thu Mar 03 22:27:55 2016  skew 28893708.47, size 3.231e-016, alpha -6.912, combined = 5.656e-013 rroots = 3
  17. Thu Mar 03 22:27:55 2016  
  18. Thu Mar 03 22:27:55 2016  commencing relation filtering
  19. Thu Mar 03 22:27:55 2016  setting target matrix density to 118.0
  20. Thu Mar 03 22:27:55 2016  estimated available RAM is 12241.4 MB
  21. Thu Mar 03 22:27:55 2016  commencing duplicate removal, pass 1
  22. Thu Mar 03 22:28:56 2016  error -15 reading relation 6097466
  23. Thu Mar 03 22:29:29 2016  error -9 reading relation 9345969
  24. Thu Mar 03 22:29:48 2016  error -15 reading relation 11243853
  25. Thu Mar 03 22:30:59 2016  error -9 reading relation 18396469
  26. Thu Mar 03 22:32:37 2016  error -9 reading relation 28427917
  27. Thu Mar 03 22:32:37 2016  error -9 reading relation 28431450
  28. Thu Mar 03 22:32:37 2016  error -11 reading relation 28465110
  29. Thu Mar 03 22:32:37 2016  error -15 reading relation 28468635
  30. Thu Mar 03 22:32:37 2016  error -5 reading relation 28477531
  31. Thu Mar 03 22:32:50 2016  error -15 reading relation 29753843
  32. Thu Mar 03 22:37:50 2016  error -15 reading relation 60673029
  33. Thu Mar 03 22:38:24 2016  error -1 reading relation 64036076
  34. Thu Mar 03 22:38:25 2016  error -15 reading relation 64131941
  35. Thu Mar 03 22:38:27 2016  error -9 reading relation 64390672
  36. Thu Mar 03 22:40:07 2016  error -9 reading relation 74347791
  37. Thu Mar 03 22:42:28 2016  error -1 reading relation 88942344
  38. Thu Mar 03 22:44:57 2016  error -11 reading relation 104085563
  39. Thu Mar 03 22:46:26 2016  error -1 reading relation 113313019
  40. Thu Mar 03 22:46:30 2016  error -1 reading relation 113743943
  41. Thu Mar 03 22:46:40 2016  error -15 reading relation 114753835
  42. Thu Mar 03 22:46:43 2016  error -15 reading relation 115067358
  43. Thu Mar 03 22:46:45 2016  error -9 reading relation 115198223
  44. Thu Mar 03 22:46:50 2016  error -1 reading relation 115700323
  45. Thu Mar 03 22:46:51 2016  error -15 reading relation 115825078
  46. Thu Mar 03 22:47:09 2016  error -9 reading relation 117605498
  47. Thu Mar 03 22:50:14 2016  error -1 reading relation 136345726
  48. Thu Mar 03 22:51:22 2016  error -15 reading relation 143302838
  49. Thu Mar 03 22:52:06 2016  error -15 reading relation 147749599
  50. Thu Mar 03 22:52:27 2016  error -9 reading relation 149903182
  51. Thu Mar 03 22:52:28 2016  error -9 reading relation 149958154
  52. Thu Mar 03 22:52:35 2016  error -1 reading relation 150653092
  53. Thu Mar 03 22:53:04 2016  error -15 reading relation 153549706
  54. Thu Mar 03 22:53:16 2016  error -9 reading relation 154791854
  55. Thu Mar 03 22:53:40 2016  error -9 reading relation 157174462
  56. Thu Mar 03 22:53:46 2016  error -9 reading relation 157758493
  57. Thu Mar 03 22:54:01 2016  error -9 reading relation 159330267
  58. Thu Mar 03 22:54:10 2016  error -9 reading relation 160255720
  59. Thu Mar 03 22:54:18 2016  error -1 reading relation 161039381
  60. Thu Mar 03 22:54:34 2016  error -15 reading relation 162683042
  61. Thu Mar 03 22:54:42 2016  error -1 reading relation 163473783
  62. Thu Mar 03 22:55:06 2016  error -1 reading relation 165855090
  63. Thu Mar 03 22:55:06 2016  error -15 reading relation 165884688
  64. Thu Mar 03 22:55:09 2016  error -9 reading relation 166148304
  65. Thu Mar 03 22:55:24 2016  error -9 reading relation 167671484
  66. Thu Mar 03 22:56:06 2016  error -1 reading relation 171931613
  67. Thu Mar 03 22:56:06 2016  error -15 reading relation 171955989
  68. Thu Mar 03 22:57:10 2016  error -15 reading relation 178442932
  69. Thu Mar 03 22:57:12 2016  error -15 reading relation 178644610
  70. Thu Mar 03 22:57:12 2016  error -15 reading relation 178668625
  71. Thu Mar 03 22:57:32 2016  error -9 reading relation 180773040
  72. Thu Mar 03 22:58:11 2016  error -9 reading relation 184718370
  73. Thu Mar 03 22:58:19 2016  error -9 reading relation 185520017
  74. Thu Mar 03 22:58:40 2016  error -15 reading relation 187606042
  75. Thu Mar 03 22:59:12 2016  error -15 reading relation 190886045
  76. Thu Mar 03 22:59:26 2016  error -9 reading relation 192291257
  77. Thu Mar 03 22:59:30 2016  error -1 reading relation 192683347
  78. Thu Mar 03 22:59:43 2016  error -15 reading relation 194015791
  79. Thu Mar 03 22:59:43 2016  error -15 reading relation 194028783
  80. Thu Mar 03 22:59:48 2016  error -1 reading relation 194593037
  81. Thu Mar 03 23:02:22 2016  error -5 reading relation 210373816
  82. Thu Mar 03 23:02:23 2016  error -9 reading relation 210429184
  83. Thu Mar 03 23:03:10 2016  error -15 reading relation 215199925
  84. Thu Mar 03 23:03:21 2016  error -9 reading relation 216319041
  85. Thu Mar 03 23:03:29 2016  error -1 reading relation 217142224
  86. Thu Mar 03 23:05:00 2016  error -9 reading relation 226351729
  87. Thu Mar 03 23:07:37 2016  error -15 reading relation 242748537
  88. Thu Mar 03 23:08:46 2016  error -9 reading relation 249729235
  89. Thu Mar 03 23:09:11 2016  error -15 reading relation 252327448
  90. Thu Mar 03 23:09:11 2016  error -15 reading relation 252331167
  91. Thu Mar 03 23:09:16 2016  error -1 reading relation 252868595
  92. Thu Mar 03 23:10:11 2016  error -15 reading relation 258514465
  93. Thu Mar 03 23:10:58 2016  error -1 reading relation 263212356
  94. Thu Mar 03 23:10:58 2016  error -1 reading relation 263212394
  95. Thu Mar 03 23:11:01 2016  error -15 reading relation 263552329
  96. Thu Mar 03 23:12:05 2016  error -1 reading relation 269993036
  97. Thu Mar 03 23:13:05 2016  error -5 reading relation 276166924
  98. Thu Mar 03 23:13:05 2016  error -9 reading relation 276170036
  99. Thu Mar 03 23:13:09 2016  error -15 reading relation 276517061
  100. Thu Mar 03 23:13:09 2016  error -9 reading relation 276520160
  101. Thu Mar 03 23:13:25 2016  error -5 reading relation 278186602
  102. Thu Mar 03 23:13:38 2016  error -15 reading relation 279628257
  103. Thu Mar 03 23:13:38 2016  error -1 reading relation 279639734
  104. Thu Mar 03 23:13:38 2016  error -9 reading relation 279654479
  105. Thu Mar 03 23:13:39 2016  error -5 reading relation 279677786
  106. Thu Mar 03 23:13:40 2016  error -15 reading relation 279806843
  107. Thu Mar 03 23:13:48 2016  error -1 reading relation 280651759
  108. Thu Mar 03 23:14:06 2016  error -15 reading relation 282450824
  109. Thu Mar 03 23:14:08 2016  error -5 reading relation 282704481
  110. Thu Mar 03 23:14:08 2016  error -15 reading relation 282707602
  111. Thu Mar 03 23:14:35 2016  error -9 reading relation 285481694
  112. Thu Mar 03 23:14:36 2016  error -15 reading relation 285495908
  113. Thu Mar 03 23:14:39 2016  error -9 reading relation 285843135
  114. Thu Mar 03 23:14:43 2016  error -9 reading relation 286268236
  115. Thu Mar 03 23:14:44 2016  error -15 reading relation 286305505
  116. Thu Mar 03 23:14:44 2016  error -15 reading relation 286320593
  117. Thu Mar 03 23:16:22 2016  error -15 reading relation 296493530
  118. Thu Mar 03 23:16:29 2016  error -1 reading relation 297251653
  119. Thu Mar 03 23:18:23 2016  error -15 reading relation 308992967
  120. Thu Mar 03 23:20:20 2016  error -15 reading relation 320939049
  121. Thu Mar 03 23:20:59 2016  error -15 reading relation 325329589
  122. Thu Mar 03 23:22:22 2016  error -9 reading relation 333699137
  123. Thu Mar 03 23:24:06 2016  error -15 reading relation 344385480
  124. Thu Mar 03 23:26:30 2016  error -15 reading relation 358981644
  125. Thu Mar 03 23:27:31 2016  error -1 reading relation 365537329
  126. Thu Mar 03 23:27:47 2016  error -15 reading relation 367118300
  127. Thu Mar 03 23:30:18 2016  error -1 reading relation 382910435
  128. Thu Mar 03 23:30:34 2016  error -9 reading relation 384532913
  129. Thu Mar 03 23:30:44 2016  error -9 reading relation 385560174
  130. Thu Mar 03 23:32:13 2016  error -9 reading relation 394746627
  131. Thu Mar 03 23:33:22 2016  error -9 reading relation 402070983
  132. Thu Mar 03 23:34:07 2016  error -15 reading relation 406688299
  133. Thu Mar 03 23:34:57 2016  error -9 reading relation 412012312
  134. Thu Mar 03 23:35:56 2016  error -9 reading relation 418152949
  135. Thu Mar 03 23:35:59 2016  error -15 reading relation 418472475
  136. Thu Mar 03 23:36:04 2016  error -1 reading relation 419193146
  137. Thu Mar 03 23:36:05 2016  error -9 reading relation 419234613
  138. Thu Mar 03 23:36:05 2016  error -15 reading relation 419247569
  139. Thu Mar 03 23:36:16 2016  error -9 reading relation 420540657
  140. Thu Mar 03 23:36:21 2016  error -15 reading relation 421000368
  141. Thu Mar 03 23:36:22 2016  error -15 reading relation 421171522
  142. Thu Mar 03 23:36:22 2016  error -9 reading relation 421176307
  143. Thu Mar 03 23:36:23 2016  error -15 reading relation 421218019
  144. Thu Mar 03 23:36:23 2016  error -15 reading relation 421231016
  145. Thu Mar 03 23:36:47 2016  error -15 reading relation 423678853
  146. Thu Mar 03 23:37:04 2016  error -15 reading relation 425506477
  147. Thu Mar 03 23:37:10 2016  error -1 reading relation 426150566
  148. Thu Mar 03 23:37:28 2016  error -1 reading relation 428031890
  149. Thu Mar 03 23:37:30 2016  error -9 reading relation 428214343
  150. Thu Mar 03 23:37:32 2016  error -9 reading relation 428441185
  151. Thu Mar 03 23:37:48 2016  error -15 reading relation 429954826
  152. Thu Mar 03 23:37:54 2016  error -9 reading relation 430572031
  153. Thu Mar 03 23:38:14 2016  error -1 reading relation 432610161
  154. Thu Mar 03 23:38:41 2016  error -1 reading relation 435355998
  155. Thu Mar 03 23:38:41 2016  error -9 reading relation 435362764
  156. Thu Mar 03 23:39:22 2016  error -1 reading relation 439493579
  157. Thu Mar 03 23:39:23 2016  error -15 reading relation 439506411
  158. Thu Mar 03 23:39:23 2016  error -9 reading relation 439519349
  159. Thu Mar 03 23:39:37 2016  error -15 reading relation 440972194
  160. Thu Mar 03 23:39:47 2016  error -15 reading relation 441930842
  161. Thu Mar 03 23:40:09 2016  error -1 reading relation 444218079
  162. Thu Mar 03 23:40:25 2016  error -1 reading relation 445803679
  163. Thu Mar 03 23:40:31 2016  error -15 reading relation 446389555
  164. Thu Mar 03 23:40:31 2016  error -5 reading relation 446389556
  165. Thu Mar 03 23:41:57 2016  error -9 reading relation 455149356
  166. Thu Mar 03 23:41:57 2016  error -15 reading relation 455152681
  167. Thu Mar 03 23:41:58 2016  error -9 reading relation 455194374
  168. Thu Mar 03 23:41:58 2016  error -9 reading relation 455197636
  169. Thu Mar 03 23:41:59 2016  error -15 reading relation 455268982
  170. Thu Mar 03 23:41:59 2016  error -9 reading relation 455272441
  171. Thu Mar 03 23:42:06 2016  error -15 reading relation 456070431
  172. Thu Mar 03 23:42:10 2016  error -15 reading relation 456488707
  173. Thu Mar 03 23:42:12 2016  error -9 reading relation 456619824
  174. Thu Mar 03 23:42:12 2016  error -5 reading relation 456653314
  175. Thu Mar 03 23:42:21 2016  error -9 reading relation 457602956
  176. Thu Mar 03 23:42:24 2016  error -15 reading relation 457899697
  177. Thu Mar 03 23:42:26 2016  error -9 reading relation 458086925
  178. Thu Mar 03 23:42:30 2016  error -15 reading relation 458465161
  179. Thu Mar 03 23:43:16 2016  error -15 reading relation 463201120
  180. Thu Mar 03 23:44:05 2016  error -9 reading relation 468135277
  181. Thu Mar 03 23:44:05 2016  error -9 reading relation 468171431
  182. Thu Mar 03 23:44:21 2016  error -1 reading relation 469907944
  183. Thu Mar 03 23:44:25 2016  error -9 reading relation 470293680
  184. Thu Mar 03 23:44:26 2016  error -15 reading relation 470403743
  185. Thu Mar 03 23:44:28 2016  error -15 reading relation 470591739
  186. Thu Mar 03 23:45:17 2016  error -1 reading relation 475751693
  187. Thu Mar 03 23:46:21 2016  error -15 reading relation 482114265
  188. Thu Mar 03 23:46:23 2016  error -9 reading relation 482459904
  189. Thu Mar 03 23:46:26 2016  error -9 reading relation 482833205
  190. Thu Mar 03 23:46:27 2016  error -9 reading relation 482982160
  191. Thu Mar 03 23:47:13 2016  error -15 reading relation 487757435
  192. Thu Mar 03 23:47:13 2016  error -15 reading relation 487790970
  193. Thu Mar 03 23:47:14 2016  error -9 reading relation 487832296
  194. Thu Mar 03 23:47:14 2016  error -15 reading relation 487910649
  195. Thu Mar 03 23:47:15 2016  error -5 reading relation 487951284
  196. Thu Mar 03 23:47:15 2016  error -15 reading relation 488015072
  197. Thu Mar 03 23:47:17 2016  error -9 reading relation 488237532
  198. Thu Mar 03 23:48:37 2016  error -5 reading relation 496816629
  199. Thu Mar 03 23:48:46 2016  error -5 reading relation 497782710
  200. Thu Mar 03 23:48:48 2016  error -9 reading relation 497958931
  201. Thu Mar 03 23:49:13 2016  error -9 reading relation 500475398
  202. Thu Mar 03 23:49:22 2016  error -1 reading relation 501492167
  203. Thu Mar 03 23:49:24 2016  error -9 reading relation 501618789
  204. Thu Mar 03 23:49:25 2016  found 107400899 hash collisions in 501741544 relations
  205. Thu Mar 03 23:50:15 2016  added 122728 free relations
  206. Thu Mar 03 23:50:15 2016  commencing duplicate removal, pass 2
  207. Thu Mar 03 23:58:35 2016  found 92336553 duplicates and 409527719 unique relations
  208. Thu Mar 03 23:58:35 2016  memory use: 2387.0 MB
  209. Thu Mar 03 23:58:35 2016  reading ideals above 164954112
  210. Thu Mar 03 23:58:35 2016  commencing singleton removal, initial pass
  211. Fri Mar 04 01:12:02 2016  memory use: 6024.0 MB
  212. Fri Mar 04 01:12:03 2016  removing singletons from LP file
  213. Fri Mar 04 01:12:03 2016  start with 409527719 relations and 315749597 ideals
  214. Fri Mar 04 01:15:09 2016  pass 1: found 101491756 singletons
  215. Fri Mar 04 01:20:15 2016  pruned dataset has 308035963 relations and 202972529 large ideals
  216. Fri Mar 04 01:20:15 2016  reading all ideals from disk
  217. Fri Mar 04 01:20:44 2016  memory use: 5194.4 MB
  218. Fri Mar 04 01:20:56 2016  commencing in-memory singleton removal
  219. Fri Mar 04 01:21:08 2016  begin with 308035963 relations and 202972529 unique ideals
  220. Fri Mar 04 01:23:22 2016  reduce to 282946434 relations and 177304481 ideals in 11 passes
  221. Fri Mar 04 01:23:22 2016  max relations containing the same ideal: 35
  222. Fri Mar 04 01:23:44 2016  reading ideals above 720000
  223. Fri Mar 04 01:23:45 2016  commencing singleton removal, initial pass
  224. Fri Mar 04 02:24:24 2016  memory use: 5512.0 MB
  225. Fri Mar 04 02:24:24 2016  reading large ideals from disk
  226. Fri Mar 04 02:29:09 2016  keeping 181369396 ideals with weight <= 20, target excess is 14405310
  227. Fri Mar 04 02:40:08 2016  memory use: 7127.0 MB
  228. Fri Mar 04 02:40:08 2016  commencing in-memory singleton removal
  229. Fri Mar 04 02:40:19 2016  begin with 282946434 relations and 181369396 unique ideals
  230. Fri Mar 04 02:41:09 2016  reduce to 282946181 relations and 181369143 ideals in 4 passes
  231. Fri Mar 04 02:41:09 2016  max relations containing the same ideal: 20
  232. Fri Mar 04 02:42:16 2016  removing 10248408 relations and 8248408 ideals in 2000000 cliques
  233. Fri Mar 04 02:42:20 2016  commencing in-memory singleton removal
  234. Fri Mar 04 02:42:31 2016  begin with 272697773 relations and 181369143 unique ideals
  235. Fri Mar 04 02:43:55 2016  reduce to 272375417 relations and 172795087 ideals in 7 passes
  236. Fri Mar 04 02:43:55 2016  max relations containing the same ideal: 20
  237. Fri Mar 04 02:45:00 2016  removing 7726181 relations and 5726181 ideals in 2000000 cliques
  238. Fri Mar 04 02:45:04 2016  commencing in-memory singleton removal
  239. Fri Mar 04 02:45:14 2016  begin with 264649236 relations and 172795087 unique ideals
  240. Fri Mar 04 02:46:35 2016  reduce to 264435250 relations and 166853148 ideals in 7 passes
  241. Fri Mar 04 02:46:35 2016  max relations containing the same ideal: 20
  242. Fri Mar 04 02:47:38 2016  removing 7030118 relations and 5030118 ideals in 2000000 cliques
  243. Fri Mar 04 02:47:42 2016  commencing in-memory singleton removal
  244. Fri Mar 04 02:47:52 2016  begin with 257405132 relations and 166853148 unique ideals
  245. Fri Mar 04 02:48:59 2016  reduce to 257227715 relations and 161644168 ideals in 6 passes
  246. Fri Mar 04 02:48:59 2016  max relations containing the same ideal: 20
  247. Fri Mar 04 02:50:00 2016  removing 6613831 relations and 4613831 ideals in 2000000 cliques
  248. Fri Mar 04 02:50:03 2016  commencing in-memory singleton removal
  249. Fri Mar 04 02:50:13 2016  begin with 250613884 relations and 161644168 unique ideals
  250. Fri Mar 04 02:51:18 2016  reduce to 250451202 relations and 156866237 ideals in 6 passes
  251. Fri Mar 04 02:51:18 2016  max relations containing the same ideal: 20
  252. Fri Mar 04 02:52:18 2016  removing 6317613 relations and 4317613 ideals in 2000000 cliques
  253. Fri Mar 04 02:52:21 2016  commencing in-memory singleton removal
  254. Fri Mar 04 02:52:30 2016  begin with 244133589 relations and 156866237 unique ideals
  255. Fri Mar 04 02:53:43 2016  reduce to 243980354 relations and 152393999 ideals in 7 passes
  256. Fri Mar 04 02:53:43 2016  max relations containing the same ideal: 20
  257. Fri Mar 04 02:54:42 2016  removing 6155876 relations and 4155876 ideals in 2000000 cliques
  258. Fri Mar 04 02:54:45 2016  commencing in-memory singleton removal
  259. Fri Mar 04 02:54:54 2016  begin with 237824478 relations and 152393999 unique ideals
  260. Fri Mar 04 02:55:55 2016  reduce to 237680156 relations and 148092480 ideals in 6 passes
  261. Fri Mar 04 02:55:55 2016  max relations containing the same ideal: 20
  262. Fri Mar 04 02:56:52 2016  removing 6037262 relations and 4037262 ideals in 2000000 cliques
  263. Fri Mar 04 02:56:55 2016  commencing in-memory singleton removal
  264. Fri Mar 04 02:57:04 2016  begin with 231642894 relations and 148092480 unique ideals
  265. Fri Mar 04 02:58:03 2016  reduce to 231508174 relations and 143919144 ideals in 6 passes
  266. Fri Mar 04 02:58:03 2016  max relations containing the same ideal: 20
  267. Fri Mar 04 02:58:57 2016  removing 5961421 relations and 3961421 ideals in 2000000 cliques
  268. Fri Mar 04 02:59:00 2016  commencing in-memory singleton removal
  269. Fri Mar 04 02:59:09 2016  begin with 225546753 relations and 143919144 unique ideals
  270. Fri Mar 04 03:00:06 2016  reduce to 225419492 relations and 139829222 ideals in 6 passes
  271. Fri Mar 04 03:00:06 2016  max relations containing the same ideal: 20
  272. Fri Mar 04 03:01:00 2016  removing 5801346 relations and 3801346 ideals in 2000000 cliques
  273. Fri Mar 04 03:01:03 2016  commencing in-memory singleton removal
  274. Fri Mar 04 03:01:11 2016  begin with 219618146 relations and 139829222 unique ideals
  275. Fri Mar 04 03:02:06 2016  reduce to 219494726 relations and 135903273 ideals in 6 passes
  276. Fri Mar 04 03:02:06 2016  max relations containing the same ideal: 20
  277. Fri Mar 04 03:02:59 2016  removing 5690837 relations and 3690837 ideals in 2000000 cliques
  278. Fri Mar 04 03:03:02 2016  commencing in-memory singleton removal
  279. Fri Mar 04 03:03:09 2016  begin with 213803889 relations and 135903273 unique ideals
  280. Fri Mar 04 03:04:12 2016  reduce to 213663684 relations and 132070746 ideals in 7 passes
  281. Fri Mar 04 03:04:12 2016  max relations containing the same ideal: 20
  282. Fri Mar 04 03:05:03 2016  removing 5671122 relations and 3671122 ideals in 2000000 cliques
  283. Fri Mar 04 03:05:06 2016  commencing in-memory singleton removal
  284. Fri Mar 04 03:05:13 2016  begin with 207992562 relations and 132070746 unique ideals
  285. Fri Mar 04 03:06:05 2016  reduce to 207867999 relations and 128273637 ideals in 6 passes
  286. Fri Mar 04 03:06:05 2016  max relations containing the same ideal: 20
  287. Fri Mar 04 03:06:55 2016  removing 5638535 relations and 3638535 ideals in 2000000 cliques
  288. Fri Mar 04 03:06:57 2016  commencing in-memory singleton removal
  289. Fri Mar 04 03:07:05 2016  begin with 202229464 relations and 128273637 unique ideals
  290. Fri Mar 04 03:07:54 2016  reduce to 202114127 relations and 124518390 ideals in 6 passes
  291. Fri Mar 04 03:07:54 2016  max relations containing the same ideal: 20
  292. Fri Mar 04 03:08:43 2016  removing 5616952 relations and 3616952 ideals in 2000000 cliques
  293. Fri Mar 04 03:08:45 2016  commencing in-memory singleton removal
  294. Fri Mar 04 03:08:52 2016  begin with 196497175 relations and 124518390 unique ideals
  295. Fri Mar 04 03:09:48 2016  reduce to 196380847 relations and 120783706 ideals in 7 passes
  296. Fri Mar 04 03:09:48 2016  max relations containing the same ideal: 20
  297. Fri Mar 04 03:10:35 2016  removing 5385784 relations and 3385784 ideals in 2000000 cliques
  298. Fri Mar 04 03:10:38 2016  commencing in-memory singleton removal
  299. Fri Mar 04 03:10:45 2016  begin with 190995063 relations and 120783706 unique ideals
  300. Fri Mar 04 03:11:39 2016  reduce to 190854737 relations and 117255788 ideals in 7 passes
  301. Fri Mar 04 03:11:39 2016  max relations containing the same ideal: 20
  302. Fri Mar 04 03:12:24 2016  removing 5517909 relations and 3517909 ideals in 2000000 cliques
  303. Fri Mar 04 03:12:26 2016  commencing in-memory singleton removal
  304. Fri Mar 04 03:12:33 2016  begin with 185336828 relations and 117255788 unique ideals
  305. Fri Mar 04 03:13:25 2016  reduce to 185217477 relations and 113616911 ideals in 7 passes
  306. Fri Mar 04 03:13:25 2016  max relations containing the same ideal: 20
  307. Fri Mar 04 03:14:09 2016  removing 5485924 relations and 3485924 ideals in 2000000 cliques
  308. Fri Mar 04 03:14:11 2016  commencing in-memory singleton removal
  309. Fri Mar 04 03:14:18 2016  begin with 179731553 relations and 113616911 unique ideals
  310. Fri Mar 04 03:15:01 2016  reduce to 179615307 relations and 110013235 ideals in 6 passes
  311. Fri Mar 04 03:15:01 2016  max relations containing the same ideal: 20
  312. Fri Mar 04 03:15:42 2016  removing 5341228 relations and 3341228 ideals in 2000000 cliques
  313. Fri Mar 04 03:15:45 2016  commencing in-memory singleton removal
  314. Fri Mar 04 03:15:51 2016  begin with 174274079 relations and 110013235 unique ideals
  315. Fri Mar 04 03:16:32 2016  reduce to 174141863 relations and 106537896 ideals in 6 passes
  316. Fri Mar 04 03:16:32 2016  max relations containing the same ideal: 20
  317. Fri Mar 04 03:17:13 2016  removing 5403693 relations and 3403693 ideals in 2000000 cliques
  318. Fri Mar 04 03:17:15 2016  commencing in-memory singleton removal
  319. Fri Mar 04 03:17:21 2016  begin with 168738170 relations and 106537896 unique ideals
  320. Fri Mar 04 03:18:01 2016  reduce to 168619447 relations and 103013746 ideals in 6 passes
  321. Fri Mar 04 03:18:01 2016  max relations containing the same ideal: 20
  322. Fri Mar 04 03:18:40 2016  removing 5360210 relations and 3360210 ideals in 2000000 cliques
  323. Fri Mar 04 03:18:42 2016  commencing in-memory singleton removal
  324. Fri Mar 04 03:18:48 2016  begin with 163259237 relations and 103013746 unique ideals
  325. Fri Mar 04 03:19:26 2016  reduce to 163138075 relations and 99530417 ideals in 6 passes
  326. Fri Mar 04 03:19:26 2016  max relations containing the same ideal: 20
  327. Fri Mar 04 03:20:03 2016  removing 5248173 relations and 3248173 ideals in 2000000 cliques
  328. Fri Mar 04 03:20:06 2016  commencing in-memory singleton removal
  329. Fri Mar 04 03:20:11 2016  begin with 157889902 relations and 99530417 unique ideals
  330. Fri Mar 04 03:20:47 2016  reduce to 157754435 relations and 96144687 ideals in 6 passes
  331. Fri Mar 04 03:20:47 2016  max relations containing the same ideal: 20
  332. Fri Mar 04 03:21:24 2016  removing 5320109 relations and 3320109 ideals in 2000000 cliques
  333. Fri Mar 04 03:21:26 2016  commencing in-memory singleton removal
  334. Fri Mar 04 03:21:31 2016  begin with 152434326 relations and 96144687 unique ideals
  335. Fri Mar 04 03:22:06 2016  reduce to 152306946 relations and 92695211 ideals in 6 passes
  336. Fri Mar 04 03:22:06 2016  max relations containing the same ideal: 20
  337. Fri Mar 04 03:22:41 2016  removing 5319941 relations and 3319941 ideals in 2000000 cliques
  338. Fri Mar 04 03:22:43 2016  commencing in-memory singleton removal
  339. Fri Mar 04 03:22:48 2016  begin with 146987005 relations and 92695211 unique ideals
  340. Fri Mar 04 03:23:32 2016  reduce to 146859983 relations and 89246230 ideals in 8 passes
  341. Fri Mar 04 03:23:32 2016  max relations containing the same ideal: 20
  342. Fri Mar 04 03:24:05 2016  removing 5228121 relations and 3228121 ideals in 2000000 cliques
  343. Fri Mar 04 03:24:07 2016  commencing in-memory singleton removal
  344. Fri Mar 04 03:24:12 2016  begin with 141631862 relations and 89246230 unique ideals
  345. Fri Mar 04 03:24:49 2016  reduce to 141494700 relations and 85878568 ideals in 7 passes
  346. Fri Mar 04 03:24:49 2016  max relations containing the same ideal: 20
  347. Fri Mar 04 03:25:21 2016  removing 5188307 relations and 3188307 ideals in 2000000 cliques
  348. Fri Mar 04 03:25:23 2016  commencing in-memory singleton removal
  349. Fri Mar 04 03:25:27 2016  begin with 136306393 relations and 85878568 unique ideals
  350. Fri Mar 04 03:25:58 2016  reduce to 136158293 relations and 82539449 ideals in 6 passes
  351. Fri Mar 04 03:25:58 2016  max relations containing the same ideal: 20
  352. Fri Mar 04 03:26:28 2016  removing 5271914 relations and 3271914 ideals in 2000000 cliques
  353. Fri Mar 04 03:26:30 2016  commencing in-memory singleton removal
  354. Fri Mar 04 03:26:34 2016  begin with 130886379 relations and 82539449 unique ideals
  355. Fri Mar 04 03:27:03 2016  reduce to 130743804 relations and 79122290 ideals in 6 passes
  356. Fri Mar 04 03:27:03 2016  max relations containing the same ideal: 20
  357. Fri Mar 04 03:27:33 2016  removing 5185069 relations and 3185069 ideals in 2000000 cliques
  358. Fri Mar 04 03:27:35 2016  commencing in-memory singleton removal
  359. Fri Mar 04 03:27:38 2016  begin with 125558735 relations and 79122290 unique ideals
  360. Fri Mar 04 03:28:11 2016  reduce to 125411224 relations and 75786901 ideals in 7 passes
  361. Fri Mar 04 03:28:11 2016  max relations containing the same ideal: 19
  362. Fri Mar 04 03:28:39 2016  removing 5222479 relations and 3222479 ideals in 2000000 cliques
  363. Fri Mar 04 03:28:41 2016  commencing in-memory singleton removal
  364. Fri Mar 04 03:28:44 2016  begin with 120188745 relations and 75786901 unique ideals
  365. Fri Mar 04 03:29:15 2016  reduce to 120044672 relations and 72417578 ideals in 7 passes
  366. Fri Mar 04 03:29:15 2016  max relations containing the same ideal: 19
  367. Fri Mar 04 03:29:41 2016  removing 5186618 relations and 3186618 ideals in 2000000 cliques
  368. Fri Mar 04 03:29:43 2016  commencing in-memory singleton removal
  369. Fri Mar 04 03:29:46 2016  begin with 114858054 relations and 72417578 unique ideals
  370. Fri Mar 04 03:30:11 2016  reduce to 114710120 relations and 69080048 ideals in 6 passes
  371. Fri Mar 04 03:30:11 2016  max relations containing the same ideal: 19
  372. Fri Mar 04 03:30:36 2016  removing 5241999 relations and 3241999 ideals in 2000000 cliques
  373. Fri Mar 04 03:30:38 2016  commencing in-memory singleton removal
  374. Fri Mar 04 03:30:41 2016  begin with 109468121 relations and 69080048 unique ideals
  375. Fri Mar 04 03:31:08 2016  reduce to 109323465 relations and 65690507 ideals in 7 passes
  376. Fri Mar 04 03:31:08 2016  max relations containing the same ideal: 19
  377. Fri Mar 04 03:31:32 2016  removing 5167042 relations and 3167042 ideals in 2000000 cliques
  378. Fri Mar 04 03:31:34 2016  commencing in-memory singleton removal
  379. Fri Mar 04 03:31:37 2016  begin with 104156423 relations and 65690507 unique ideals
  380. Fri Mar 04 03:32:02 2016  reduce to 104015054 relations and 62379349 ideals in 7 passes
  381. Fri Mar 04 03:32:02 2016  max relations containing the same ideal: 19
  382. Fri Mar 04 03:32:24 2016  removing 5238846 relations and 3238846 ideals in 2000000 cliques
  383. Fri Mar 04 03:32:26 2016  commencing in-memory singleton removal
  384. Fri Mar 04 03:32:29 2016  begin with 98776208 relations and 62379349 unique ideals
  385. Fri Mar 04 03:32:52 2016  reduce to 98627962 relations and 58989460 ideals in 7 passes
  386. Fri Mar 04 03:32:52 2016  max relations containing the same ideal: 19
  387. Fri Mar 04 03:33:14 2016  removing 5170534 relations and 3170534 ideals in 2000000 cliques
  388. Fri Mar 04 03:33:15 2016  commencing in-memory singleton removal
  389. Fri Mar 04 03:33:18 2016  begin with 93457428 relations and 58989460 unique ideals
  390. Fri Mar 04 03:33:43 2016  reduce to 93230174 relations and 55586850 ideals in 8 passes
  391. Fri Mar 04 03:33:43 2016  max relations containing the same ideal: 18
  392. Fri Mar 04 03:34:03 2016  removing 5019036 relations and 3019036 ideals in 2000000 cliques
  393. Fri Mar 04 03:34:05 2016  commencing in-memory singleton removal
  394. Fri Mar 04 03:34:07 2016  begin with 88211138 relations and 55586850 unique ideals
  395. Fri Mar 04 03:34:28 2016  reduce to 87933580 relations and 52283119 ideals in 7 passes
  396. Fri Mar 04 03:34:28 2016  max relations containing the same ideal: 18
  397. Fri Mar 04 03:34:47 2016  removing 5168088 relations and 3168088 ideals in 2000000 cliques
  398. Fri Mar 04 03:34:48 2016  commencing in-memory singleton removal
  399. Fri Mar 04 03:34:50 2016  begin with 82765492 relations and 52283119 unique ideals
  400. Fri Mar 04 03:35:09 2016  reduce to 82546895 relations and 48890162 ideals in 7 passes
  401. Fri Mar 04 03:35:09 2016  max relations containing the same ideal: 18
  402. Fri Mar 04 03:35:27 2016  removing 5238160 relations and 3238160 ideals in 2000000 cliques
  403. Fri Mar 04 03:35:28 2016  commencing in-memory singleton removal
  404. Fri Mar 04 03:35:30 2016  begin with 77308735 relations and 48890162 unique ideals
  405. Fri Mar 04 03:35:48 2016  reduce to 77085285 relations and 45421790 ideals in 7 passes
  406. Fri Mar 04 03:35:48 2016  max relations containing the same ideal: 17
  407. Fri Mar 04 03:36:04 2016  removing 5261638 relations and 3261638 ideals in 2000000 cliques
  408. Fri Mar 04 03:36:06 2016  commencing in-memory singleton removal
  409. Fri Mar 04 03:36:07 2016  begin with 71823647 relations and 45421790 unique ideals
  410. Fri Mar 04 03:36:25 2016  reduce to 71600493 relations and 41930387 ideals in 8 passes
  411. Fri Mar 04 03:36:25 2016  max relations containing the same ideal: 17
  412. Fri Mar 04 03:36:41 2016  removing 5153865 relations and 3153865 ideals in 2000000 cliques
  413. Fri Mar 04 03:36:42 2016  commencing in-memory singleton removal
  414. Fri Mar 04 03:36:44 2016  begin with 66446628 relations and 41930387 unique ideals
  415. Fri Mar 04 03:36:58 2016  reduce to 66146057 relations and 38466280 ideals in 7 passes
  416. Fri Mar 04 03:36:58 2016  max relations containing the same ideal: 17
  417. Fri Mar 04 03:37:12 2016  removing 5183862 relations and 3183862 ideals in 2000000 cliques
  418. Fri Mar 04 03:37:13 2016  commencing in-memory singleton removal
  419. Fri Mar 04 03:37:15 2016  begin with 60962195 relations and 38466280 unique ideals
  420. Fri Mar 04 03:37:29 2016  reduce to 60650361 relations and 34960393 ideals in 8 passes
  421. Fri Mar 04 03:37:29 2016  max relations containing the same ideal: 16
  422. Fri Mar 04 03:37:42 2016  removing 5274089 relations and 3274089 ideals in 2000000 cliques
  423. Fri Mar 04 03:37:43 2016  commencing in-memory singleton removal
  424. Fri Mar 04 03:37:44 2016  begin with 55376272 relations and 34960393 unique ideals
  425. Fri Mar 04 03:37:56 2016  reduce to 55045752 relations and 31344093 ideals in 7 passes
  426. Fri Mar 04 03:37:56 2016  max relations containing the same ideal: 16
  427. Fri Mar 04 03:38:07 2016  removing 5261987 relations and 3261987 ideals in 2000000 cliques
  428. Fri Mar 04 03:38:08 2016  commencing in-memory singleton removal
  429. Fri Mar 04 03:38:09 2016  begin with 49783765 relations and 31344093 unique ideals
  430. Fri Mar 04 03:38:20 2016  reduce to 49442149 relations and 27726663 ideals in 8 passes
  431. Fri Mar 04 03:38:20 2016  max relations containing the same ideal: 15
  432. Fri Mar 04 03:38:30 2016  removing 5316558 relations and 3316558 ideals in 2000000 cliques
  433. Fri Mar 04 03:38:32 2016  commencing in-memory singleton removal
  434. Fri Mar 04 03:38:33 2016  begin with 44125591 relations and 27726663 unique ideals
  435. Fri Mar 04 03:38:42 2016  reduce to 43781557 relations and 24050914 ideals in 8 passes
  436. Fri Mar 04 03:38:42 2016  max relations containing the same ideal: 15
  437. Fri Mar 04 03:38:51 2016  removing 5507499 relations and 3507499 ideals in 2000000 cliques
  438. Fri Mar 04 03:38:52 2016  commencing in-memory singleton removal
  439. Fri Mar 04 03:38:53 2016  begin with 38274058 relations and 24050914 unique ideals
  440. Fri Mar 04 03:39:00 2016  reduce to 38007432 relations and 20266419 ideals in 8 passes
  441. Fri Mar 04 03:39:00 2016  max relations containing the same ideal: 13
  442. Fri Mar 04 03:39:07 2016  removing 2758430 relations and 1727577 ideals in 1030853 cliques
  443. Fri Mar 04 03:39:08 2016  commencing in-memory singleton removal
  444. Fri Mar 04 03:39:09 2016  begin with 35249002 relations and 20266419 unique ideals
  445. Fri Mar 04 03:39:15 2016  reduce to 35092198 relations and 18377688 ideals in 7 passes
  446. Fri Mar 04 03:39:15 2016  max relations containing the same ideal: 12
  447. Fri Mar 04 03:39:22 2016  relations with 0 large ideals: 5604670
  448. Fri Mar 04 03:39:22 2016  relations with 1 large ideals: 17073760
  449. Fri Mar 04 03:39:22 2016  relations with 2 large ideals: 10993895
  450. Fri Mar 04 03:39:22 2016  relations with 3 large ideals: 1348777
  451. Fri Mar 04 03:39:22 2016  relations with 4 large ideals: 69014
  452. Fri Mar 04 03:39:22 2016  relations with 5 large ideals: 1406
  453. Fri Mar 04 03:39:22 2016  relations with 6 large ideals: 676
  454. Fri Mar 04 03:39:22 2016  relations with 7+ large ideals: 0
  455. Fri Mar 04 03:39:22 2016  commencing 2-way merge
  456. Fri Mar 04 03:39:31 2016  reduce to 21248578 relation sets and 4534068 unique ideals
  457. Fri Mar 04 03:39:32 2016  commencing full merge
  458. Fri Mar 04 03:39:44 2016  memory use: 634.1 MB
  459. Fri Mar 04 03:39:46 2016  found 16714509 cycles, need 14405510
  460. Fri Mar 04 03:39:47 2016  weight of 14405510 cycles is about 436036396 (30.27/cycle)
  461. Fri Mar 04 03:39:47 2016  distribution of cycle lengths:
  462. Fri Mar 04 03:39:47 2016  1 relations: 5604670
  463. Fri Mar 04 03:39:47 2016  2 relations: 3490673
  464. Fri Mar 04 03:39:47 2016  3 relations: 3066396
  465. Fri Mar 04 03:39:47 2016  4 relations: 2023957
  466. Fri Mar 04 03:39:47 2016  5 relations: 219776
  467. Fri Mar 04 03:39:47 2016  6 relations: 38
  468. Fri Mar 04 03:39:47 2016  7 relations: 0
  469. Fri Mar 04 03:39:47 2016  8 relations: 0
  470. Fri Mar 04 03:39:47 2016  9 relations: 0
  471. Fri Mar 04 03:39:47 2016  10+ relations: 0
  472. Fri Mar 04 03:39:47 2016  heaviest cycle: 6 relations
  473. Fri Mar 04 03:39:47 2016  matrix not dense enough, retrying
  474. Fri Mar 04 03:39:50 2016  reading large ideals from disk
  475. Fri Mar 04 03:44:29 2016  keeping 182564933 ideals with weight <= 25, target excess is 13209773
  476. Fri Mar 04 03:54:28 2016  memory use: 7127.0 MB
  477. Fri Mar 04 03:54:28 2016  commencing in-memory singleton removal
  478. Fri Mar 04 03:54:40 2016  begin with 282946434 relations and 182564933 unique ideals
  479. Fri Mar 04 03:55:31 2016  reduce to 282946181 relations and 182564680 ideals in 4 passes
  480. Fri Mar 04 03:55:31 2016  max relations containing the same ideal: 25
  481. Fri Mar 04 03:56:42 2016  removing 10306852 relations and 8306852 ideals in 2000000 cliques
  482. Fri Mar 04 03:56:47 2016  commencing in-memory singleton removal
  483. Fri Mar 04 03:56:58 2016  begin with 272639329 relations and 182564680 unique ideals
  484. Fri Mar 04 03:58:25 2016  reduce to 272320085 relations and 173935320 ideals in 7 passes
  485. Fri Mar 04 03:58:25 2016  max relations containing the same ideal: 25
  486. Fri Mar 04 03:59:32 2016  removing 7767828 relations and 5767828 ideals in 2000000 cliques
  487. Fri Mar 04 03:59:36 2016  commencing in-memory singleton removal
  488. Fri Mar 04 03:59:46 2016  begin with 264552257 relations and 173935320 unique ideals
  489. Fri Mar 04 04:01:10 2016  reduce to 264339450 relations and 167952931 ideals in 7 passes
  490. Fri Mar 04 04:01:10 2016  max relations containing the same ideal: 25
  491. Fri Mar 04 04:02:15 2016  removing 6994324 relations and 4994324 ideals in 2000000 cliques
  492. Fri Mar 04 04:02:18 2016  commencing in-memory singleton removal
  493. Fri Mar 04 04:02:29 2016  begin with 257345126 relations and 167952931 unique ideals
  494. Fri Mar 04 04:03:50 2016  reduce to 257165659 relations and 162777643 ideals in 7 passes
  495. Fri Mar 04 04:03:50 2016  max relations containing the same ideal: 25
  496. Fri Mar 04 04:04:53 2016  removing 6653614 relations and 4653614 ideals in 2000000 cliques
  497. Fri Mar 04 04:04:56 2016  commencing in-memory singleton removal
  498. Fri Mar 04 04:05:06 2016  begin with 250512045 relations and 162777643 unique ideals
  499. Fri Mar 04 04:06:24 2016  reduce to 250350192 relations and 157960811 ideals in 7 passes
  500. Fri Mar 04 04:06:24 2016  max relations containing the same ideal: 25
  501. Fri Mar 04 04:07:25 2016  removing 6324938 relations and 4324938 ideals in 2000000 cliques
  502. Fri Mar 04 04:07:28 2016  commencing in-memory singleton removal
  503. Fri Mar 04 04:07:38 2016  begin with 244025254 relations and 157960811 unique ideals
  504. Fri Mar 04 04:08:43 2016  reduce to 243871445 relations and 153480736 ideals in 6 passes
  505. Fri Mar 04 04:08:43 2016  max relations containing the same ideal: 25
  506. Fri Mar 04 04:09:43 2016  removing 6256776 relations and 4256776 ideals in 2000000 cliques
  507. Fri Mar 04 04:09:46 2016  commencing in-memory singleton removal
  508. Fri Mar 04 04:09:55 2016  begin with 237614669 relations and 153480736 unique ideals
  509. Fri Mar 04 04:10:58 2016  reduce to 237477442 relations and 149085536 ideals in 6 passes
  510. Fri Mar 04 04:10:58 2016  max relations containing the same ideal: 25
  511. Fri Mar 04 04:11:56 2016  removing 6052810 relations and 4052810 ideals in 2000000 cliques
  512. Fri Mar 04 04:11:59 2016  commencing in-memory singleton removal
  513. Fri Mar 04 04:12:08 2016  begin with 231424632 relations and 149085536 unique ideals
  514. Fri Mar 04 04:13:09 2016  reduce to 231291390 relations and 144898156 ideals in 6 passes
  515. Fri Mar 04 04:13:09 2016  max relations containing the same ideal: 25
  516. Fri Mar 04 04:14:05 2016  removing 5873968 relations and 3873968 ideals in 2000000 cliques
  517. Fri Mar 04 04:14:08 2016  commencing in-memory singleton removal
  518. Fri Mar 04 04:14:17 2016  begin with 225417422 relations and 144898156 unique ideals
  519. Fri Mar 04 04:15:26 2016  reduce to 225281751 relations and 140887169 ideals in 7 passes
  520. Fri Mar 04 04:15:26 2016  max relations containing the same ideal: 25
  521. Fri Mar 04 04:16:20 2016  removing 5844629 relations and 3844629 ideals in 2000000 cliques
  522. Fri Mar 04 04:16:23 2016  commencing in-memory singleton removal
  523. Fri Mar 04 04:16:32 2016  begin with 219437122 relations and 140887169 unique ideals
  524. Fri Mar 04 04:17:29 2016  reduce to 219312908 relations and 136917067 ideals in 6 passes
  525. Fri Mar 04 04:17:29 2016  max relations containing the same ideal: 25
  526. Fri Mar 04 04:18:22 2016  removing 5796453 relations and 3796453 ideals in 2000000 cliques
  527. Fri Mar 04 04:18:25 2016  commencing in-memory singleton removal
  528. Fri Mar 04 04:18:33 2016  begin with 213516455 relations and 136917067 unique ideals
  529. Fri Mar 04 04:19:28 2016  reduce to 213395952 relations and 132998880 ideals in 6 passes
  530. Fri Mar 04 04:19:28 2016  max relations containing the same ideal: 25
  531. Fri Mar 04 04:20:19 2016  removing 5621539 relations and 3621539 ideals in 2000000 cliques
  532. Fri Mar 04 04:20:22 2016  commencing in-memory singleton removal
  533. Fri Mar 04 04:20:30 2016  begin with 207774413 relations and 132998880 unique ideals
  534. Fri Mar 04 04:21:24 2016  reduce to 207640898 relations and 129242350 ideals in 6 passes
  535. Fri Mar 04 04:21:24 2016  max relations containing the same ideal: 25
  536. Fri Mar 04 04:22:14 2016  removing 5648669 relations and 3648669 ideals in 2000000 cliques
  537. Fri Mar 04 04:22:16 2016  commencing in-memory singleton removal
  538. Fri Mar 04 04:22:24 2016  begin with 201992229 relations and 129242350 unique ideals
  539. Fri Mar 04 04:23:16 2016  reduce to 201870356 relations and 125470367 ideals in 6 passes
  540. Fri Mar 04 04:23:16 2016  max relations containing the same ideal: 25
  541. Fri Mar 04 04:24:04 2016  removing 5555121 relations and 3555121 ideals in 2000000 cliques
  542. Fri Mar 04 04:24:07 2016  commencing in-memory singleton removal
  543. Fri Mar 04 04:24:14 2016  begin with 196315235 relations and 125470367 unique ideals
  544. Fri Mar 04 04:25:04 2016  reduce to 196197269 relations and 121795821 ideals in 6 passes
  545. Fri Mar 04 04:25:04 2016  max relations containing the same ideal: 25
  546. Fri Mar 04 04:25:51 2016  removing 5560049 relations and 3560049 ideals in 2000000 cliques
  547. Fri Mar 04 04:25:54 2016  commencing in-memory singleton removal
  548. Fri Mar 04 04:26:01 2016  begin with 190637220 relations and 121795821 unique ideals
  549. Fri Mar 04 04:26:57 2016  reduce to 190521840 relations and 118118982 ideals in 7 passes
  550. Fri Mar 04 04:26:57 2016  max relations containing the same ideal: 25
  551. Fri Mar 04 04:27:42 2016  removing 5410605 relations and 3410605 ideals in 2000000 cliques
  552. Fri Mar 04 04:27:45 2016  commencing in-memory singleton removal
  553. Fri Mar 04 04:27:52 2016  begin with 185111235 relations and 118118982 unique ideals
  554. Fri Mar 04 04:28:38 2016  reduce to 184975427 relations and 114570808 ideals in 6 passes
  555. Fri Mar 04 04:28:38 2016  max relations containing the same ideal: 25
  556. Fri Mar 04 04:29:22 2016  removing 5453864 relations and 3453864 ideals in 2000000 cliques
  557. Fri Mar 04 04:29:25 2016  commencing in-memory singleton removal
  558. Fri Mar 04 04:29:31 2016  begin with 179521563 relations and 114570808 unique ideals
  559. Fri Mar 04 04:30:23 2016  reduce to 179400874 relations and 110994643 ideals in 7 passes
  560. Fri Mar 04 04:30:23 2016  max relations containing the same ideal: 25
  561. Fri Mar 04 04:31:06 2016  removing 5460658 relations and 3460658 ideals in 2000000 cliques
  562. Fri Mar 04 04:31:09 2016  commencing in-memory singleton removal
  563. Fri Mar 04 04:31:15 2016  begin with 173940216 relations and 110994643 unique ideals
  564. Fri Mar 04 04:31:58 2016  reduce to 173823212 relations and 107415316 ideals in 6 passes
  565. Fri Mar 04 04:31:58 2016  max relations containing the same ideal: 25
  566. Fri Mar 04 04:32:39 2016  removing 5332983 relations and 3332983 ideals in 2000000 cliques
  567. Fri Mar 04 04:32:42 2016  commencing in-memory singleton removal
  568. Fri Mar 04 04:32:48 2016  begin with 168490229 relations and 107415316 unique ideals
  569. Fri Mar 04 04:33:29 2016  reduce to 168361091 relations and 103951416 ideals in 6 passes
  570. Fri Mar 04 04:33:29 2016  max relations containing the same ideal: 25
  571. Fri Mar 04 04:34:09 2016  removing 5376504 relations and 3376504 ideals in 2000000 cliques
  572. Fri Mar 04 04:34:11 2016  commencing in-memory singleton removal
  573. Fri Mar 04 04:34:17 2016  begin with 162984587 relations and 103951416 unique ideals
  574. Fri Mar 04 04:34:57 2016  reduce to 162862478 relations and 100450919 ideals in 6 passes
  575. Fri Mar 04 04:34:57 2016  max relations containing the same ideal: 25
  576. Fri Mar 04 04:35:35 2016  removing 5370567 relations and 3370567 ideals in 2000000 cliques
  577. Fri Mar 04 04:35:37 2016  commencing in-memory singleton removal
  578. Fri Mar 04 04:35:43 2016  begin with 157491911 relations and 100450919 unique ideals
  579. Fri Mar 04 04:36:21 2016  reduce to 157375674 relations and 96962188 ideals in 6 passes
  580. Fri Mar 04 04:36:21 2016  max relations containing the same ideal: 25
  581. Fri Mar 04 04:36:58 2016  removing 5201142 relations and 3201142 ideals in 2000000 cliques
  582. Fri Mar 04 04:37:00 2016  commencing in-memory singleton removal
  583. Fri Mar 04 04:37:05 2016  begin with 152174532 relations and 96962188 unique ideals
  584. Fri Mar 04 04:37:42 2016  reduce to 152031600 relations and 93615711 ideals in 6 passes
  585. Fri Mar 04 04:37:42 2016  max relations containing the same ideal: 25
  586. Fri Mar 04 04:38:17 2016  removing 5327204 relations and 3327204 ideals in 2000000 cliques
  587. Fri Mar 04 04:38:20 2016  commencing in-memory singleton removal
  588. Fri Mar 04 04:38:25 2016  begin with 146704396 relations and 93615711 unique ideals
  589. Fri Mar 04 04:38:59 2016  reduce to 146580524 relations and 90162687 ideals in 6 passes
  590. Fri Mar 04 04:38:59 2016  max relations containing the same ideal: 24
  591. Fri Mar 04 04:39:33 2016  removing 5266243 relations and 3266243 ideals in 2000000 cliques
  592. Fri Mar 04 04:39:35 2016  commencing in-memory singleton removal
  593. Fri Mar 04 04:39:40 2016  begin with 141314281 relations and 90162687 unique ideals
  594. Fri Mar 04 04:40:13 2016  reduce to 141178357 relations and 86758249 ideals in 6 passes
  595. Fri Mar 04 04:40:13 2016  max relations containing the same ideal: 24
  596. Fri Mar 04 04:40:46 2016  removing 5263208 relations and 3263208 ideals in 2000000 cliques
  597. Fri Mar 04 04:40:48 2016  commencing in-memory singleton removal
  598. Fri Mar 04 04:40:53 2016  begin with 135915149 relations and 86758249 unique ideals
  599. Fri Mar 04 04:41:30 2016  reduce to 135779758 relations and 83357309 ideals in 7 passes
  600. Fri Mar 04 04:41:30 2016  max relations containing the same ideal: 24
  601. Fri Mar 04 04:42:01 2016  removing 5167272 relations and 3167272 ideals in 2000000 cliques
  602. Fri Mar 04 04:42:03 2016  commencing in-memory singleton removal
  603. Fri Mar 04 04:42:07 2016  begin with 130612486 relations and 83357309 unique ideals
  604. Fri Mar 04 04:42:42 2016  reduce to 130473073 relations and 80048078 ideals in 7 passes
  605. Fri Mar 04 04:42:42 2016  max relations containing the same ideal: 24
  606. Fri Mar 04 04:43:12 2016  removing 5245577 relations and 3245577 ideals in 2000000 cliques
  607. Fri Mar 04 04:43:14 2016  commencing in-memory singleton removal
  608. Fri Mar 04 04:43:18 2016  begin with 125227496 relations and 80048078 unique ideals
  609. Fri Mar 04 04:43:47 2016  reduce to 125081248 relations and 76653435 ideals in 6 passes
  610. Fri Mar 04 04:43:47 2016  max relations containing the same ideal: 24
  611. Fri Mar 04 04:44:15 2016  removing 5236193 relations and 3236193 ideals in 2000000 cliques
  612. Fri Mar 04 04:44:17 2016  commencing in-memory singleton removal
  613. Fri Mar 04 04:44:21 2016  begin with 119845055 relations and 76653435 unique ideals
  614. Fri Mar 04 04:44:48 2016  reduce to 119693722 relations and 73262962 ideals in 6 passes
  615. Fri Mar 04 04:44:48 2016  max relations containing the same ideal: 23
  616. Fri Mar 04 04:45:16 2016  removing 5135693 relations and 3135693 ideals in 2000000 cliques
  617. Fri Mar 04 04:45:18 2016  commencing in-memory singleton removal
  618. Fri Mar 04 04:45:21 2016  begin with 114558029 relations and 73262962 unique ideals
  619. Fri Mar 04 04:45:51 2016  reduce to 114401027 relations and 69967114 ideals in 7 passes
  620. Fri Mar 04 04:45:51 2016  max relations containing the same ideal: 23
  621. Fri Mar 04 04:46:17 2016  removing 5226309 relations and 3226309 ideals in 2000000 cliques
  622. Fri Mar 04 04:46:19 2016  commencing in-memory singleton removal
  623. Fri Mar 04 04:46:22 2016  begin with 109174718 relations and 69967114 unique ideals
  624. Fri Mar 04 04:46:46 2016  reduce to 109018301 relations and 66581256 ideals in 6 passes
  625. Fri Mar 04 04:46:46 2016  max relations containing the same ideal: 23
  626. Fri Mar 04 04:47:11 2016  removing 5184190 relations and 3184190 ideals in 2000000 cliques
  627. Fri Mar 04 04:47:13 2016  commencing in-memory singleton removal
  628. Fri Mar 04 04:47:16 2016  begin with 103834111 relations and 66581256 unique ideals
  629. Fri Mar 04 04:47:42 2016  reduce to 103674787 relations and 63234379 ideals in 7 passes
  630. Fri Mar 04 04:47:42 2016  max relations containing the same ideal: 23
  631. Fri Mar 04 04:48:06 2016  removing 5244532 relations and 3244532 ideals in 2000000 cliques
  632. Fri Mar 04 04:48:07 2016  commencing in-memory singleton removal
  633. Fri Mar 04 04:48:10 2016  begin with 98430255 relations and 63234379 unique ideals
  634. Fri Mar 04 04:48:31 2016  reduce to 98273909 relations and 59830232 ideals in 6 passes
  635. Fri Mar 04 04:48:31 2016  max relations containing the same ideal: 23
  636. Fri Mar 04 04:48:53 2016  removing 5168829 relations and 3168829 ideals in 2000000 cliques
  637. Fri Mar 04 04:48:55 2016  commencing in-memory singleton removal
  638. Fri Mar 04 04:48:58 2016  begin with 93105080 relations and 59830232 unique ideals
  639. Fri Mar 04 04:49:17 2016  reduce to 92947481 relations and 56500428 ideals in 6 passes
  640. Fri Mar 04 04:49:17 2016  max relations containing the same ideal: 22
  641. Fri Mar 04 04:49:38 2016  removing 5235989 relations and 3235989 ideals in 2000000 cliques
  642. Fri Mar 04 04:49:39 2016  commencing in-memory singleton removal
  643. Fri Mar 04 04:49:42 2016  begin with 87711492 relations and 56500428 unique ideals
  644. Fri Mar 04 04:50:03 2016  reduce to 87544268 relations and 53093675 ideals in 7 passes
  645. Fri Mar 04 04:50:03 2016  max relations containing the same ideal: 21
  646. Fri Mar 04 04:50:22 2016  removing 5193010 relations and 3193010 ideals in 2000000 cliques
  647. Fri Mar 04 04:50:24 2016  commencing in-memory singleton removal
  648. Fri Mar 04 04:50:26 2016  begin with 82351258 relations and 53093675 unique ideals
  649. Fri Mar 04 04:50:46 2016  reduce to 82115192 relations and 49659019 ideals in 7 passes
  650. Fri Mar 04 04:50:46 2016  max relations containing the same ideal: 20
  651. Fri Mar 04 04:51:04 2016  removing 5064767 relations and 3064767 ideals in 2000000 cliques
  652. Fri Mar 04 04:51:05 2016  commencing in-memory singleton removal
  653. Fri Mar 04 04:51:07 2016  begin with 77050425 relations and 49659019 unique ideals
  654. Fri Mar 04 04:51:25 2016  reduce to 76745863 relations and 46281010 ideals in 7 passes
  655. Fri Mar 04 04:51:25 2016  max relations containing the same ideal: 20
  656. Fri Mar 04 04:51:42 2016  removing 5188107 relations and 3188107 ideals in 2000000 cliques
  657. Fri Mar 04 04:51:44 2016  commencing in-memory singleton removal
  658. Fri Mar 04 04:51:46 2016  begin with 71557756 relations and 46281010 unique ideals
  659. Fri Mar 04 04:52:02 2016  reduce to 71306013 relations and 42833457 ideals in 7 passes
  660. Fri Mar 04 04:52:02 2016  max relations containing the same ideal: 19
  661. Fri Mar 04 04:52:18 2016  removing 5269689 relations and 3269689 ideals in 2000000 cliques
  662. Fri Mar 04 04:52:19 2016  commencing in-memory singleton removal
  663. Fri Mar 04 04:52:21 2016  begin with 66036324 relations and 42833457 unique ideals
  664. Fri Mar 04 04:52:40 2016  reduce to 65777632 relations and 39296404 ideals in 9 passes
  665. Fri Mar 04 04:52:40 2016  max relations containing the same ideal: 18
  666. Fri Mar 04 04:52:54 2016  removing 5295268 relations and 3295268 ideals in 2000000 cliques
  667. Fri Mar 04 04:52:55 2016  commencing in-memory singleton removal
  668. Fri Mar 04 04:52:57 2016  begin with 60482364 relations and 39296404 unique ideals
  669. Fri Mar 04 04:53:10 2016  reduce to 60210176 relations and 35720183 ideals in 7 passes
  670. Fri Mar 04 04:53:10 2016  max relations containing the same ideal: 18
  671. Fri Mar 04 04:53:23 2016  removing 5208803 relations and 3208803 ideals in 2000000 cliques
  672. Fri Mar 04 04:53:24 2016  commencing in-memory singleton removal
  673. Fri Mar 04 04:53:26 2016  begin with 55001373 relations and 35720183 unique ideals
  674. Fri Mar 04 04:53:39 2016  reduce to 54637543 relations and 32134323 ideals in 8 passes
  675. Fri Mar 04 04:53:39 2016  max relations containing the same ideal: 17
  676. Fri Mar 04 04:53:50 2016  removing 5295723 relations and 3295723 ideals in 2000000 cliques
  677. Fri Mar 04 04:53:52 2016  commencing in-memory singleton removal
  678. Fri Mar 04 04:53:53 2016  begin with 49341820 relations and 32134323 unique ideals
  679. Fri Mar 04 04:54:04 2016  reduce to 48978266 relations and 28461003 ideals in 8 passes
  680. Fri Mar 04 04:54:04 2016  max relations containing the same ideal: 16
  681. Fri Mar 04 04:54:15 2016  removing 5311806 relations and 3311806 ideals in 2000000 cliques
  682. Fri Mar 04 04:54:16 2016  commencing in-memory singleton removal
  683. Fri Mar 04 04:54:17 2016  begin with 43666460 relations and 28461003 unique ideals
  684. Fri Mar 04 04:54:26 2016  reduce to 43254357 relations and 24718683 ideals in 8 passes
  685. Fri Mar 04 04:54:26 2016  max relations containing the same ideal: 16
  686. Fri Mar 04 04:54:36 2016  removing 5373741 relations and 3373741 ideals in 2000000 cliques
  687. Fri Mar 04 04:54:37 2016  commencing in-memory singleton removal
  688. Fri Mar 04 04:54:38 2016  begin with 37880616 relations and 24718683 unique ideals
  689. Fri Mar 04 04:54:46 2016  reduce to 37455957 relations and 20898126 ideals in 8 passes
  690. Fri Mar 04 04:54:46 2016  max relations containing the same ideal: 15
  691. Fri Mar 04 04:54:53 2016  removing 3350317 relations and 2115823 ideals in 1234494 cliques
  692. Fri Mar 04 04:54:54 2016  commencing in-memory singleton removal
  693. Fri Mar 04 04:54:55 2016  begin with 34105640 relations and 20898126 unique ideals
  694. Fri Mar 04 04:55:02 2016  reduce to 33894037 relations and 18562132 ideals in 8 passes
  695. Fri Mar 04 04:55:02 2016  max relations containing the same ideal: 15
  696. Fri Mar 04 04:55:08 2016  removing 20727 relations and 12159 ideals in 8568 cliques
  697. Fri Mar 04 04:55:09 2016  commencing in-memory singleton removal
  698. Fri Mar 04 04:55:09 2016  begin with 33873310 relations and 18562132 unique ideals
  699. Fri Mar 04 04:55:13 2016  reduce to 33873167 relations and 18549830 ideals in 4 passes
  700. Fri Mar 04 04:55:13 2016  max relations containing the same ideal: 15
  701. Fri Mar 04 04:55:14 2016  relations with 0 large ideals: 4735860
  702. Fri Mar 04 04:55:14 2016  relations with 1 large ideals: 15665238
  703. Fri Mar 04 04:55:14 2016  relations with 2 large ideals: 11512259
  704. Fri Mar 04 04:55:14 2016  relations with 3 large ideals: 1844087
  705. Fri Mar 04 04:55:14 2016  relations with 4 large ideals: 112124
  706. Fri Mar 04 04:55:14 2016  relations with 5 large ideals: 3032
  707. Fri Mar 04 04:55:14 2016  relations with 6 large ideals: 567
  708. Fri Mar 04 04:55:14 2016  relations with 7+ large ideals: 0
  709. Fri Mar 04 04:55:14 2016  commencing 2-way merge
  710. Fri Mar 04 04:55:23 2016  reduce to 20189501 relation sets and 4866164 unique ideals
  711. Fri Mar 04 04:55:23 2016  commencing full merge
  712. Fri Mar 04 04:55:38 2016  memory use: 631.7 MB
  713. Fri Mar 04 04:55:40 2016  found 15323337 cycles, need 13209973
  714. Fri Mar 04 04:55:41 2016  weight of 13209973 cycles is about 439961772 (33.31/cycle)
  715. Fri Mar 04 04:55:41 2016  distribution of cycle lengths:
  716. Fri Mar 04 04:55:41 2016  1 relations: 4735860
  717. Fri Mar 04 04:55:41 2016  2 relations: 2846730
  718. Fri Mar 04 04:55:41 2016  3 relations: 2623808
  719. Fri Mar 04 04:55:41 2016  4 relations: 1927470
  720. Fri Mar 04 04:55:41 2016  5 relations: 1073554
  721. Fri Mar 04 04:55:41 2016  6 relations: 2551
  722. Fri Mar 04 04:55:41 2016  7 relations: 0
  723. Fri Mar 04 04:55:41 2016  8 relations: 0
  724. Fri Mar 04 04:55:41 2016  9 relations: 0
  725. Fri Mar 04 04:55:41 2016  10+ relations: 0
  726. Fri Mar 04 04:55:41 2016  heaviest cycle: 6 relations
  727. Fri Mar 04 04:55:41 2016  matrix not dense enough, retrying
  728. Fri Mar 04 04:55:43 2016  reading large ideals from disk
  729. Fri Mar 04 05:00:22 2016  keeping 183389822 ideals with weight <= 30, target excess is 12384884
  730. Fri Mar 04 05:10:49 2016  memory use: 7127.0 MB
  731. Fri Mar 04 05:10:49 2016  commencing in-memory singleton removal
  732. Fri Mar 04 05:11:01 2016  begin with 282946434 relations and 183389822 unique ideals
  733. Fri Mar 04 05:11:54 2016  reduce to 282946181 relations and 183389569 ideals in 4 passes
  734. Fri Mar 04 05:11:54 2016  max relations containing the same ideal: 30
  735. Fri Mar 04 05:13:05 2016  removing 10330438 relations and 8330438 ideals in 2000000 cliques
  736. Fri Mar 04 05:13:09 2016  commencing in-memory singleton removal
  737. Fri Mar 04 05:13:20 2016  begin with 272615743 relations and 183389569 unique ideals
  738. Fri Mar 04 05:14:49 2016  reduce to 272297413 relations and 174737544 ideals in 7 passes
  739. Fri Mar 04 05:14:49 2016  max relations containing the same ideal: 30
  740. Fri Mar 04 05:15:57 2016  removing 7789594 relations and 5789594 ideals in 2000000 cliques
  741. Fri Mar 04 05:16:01 2016  commencing in-memory singleton removal
  742. Fri Mar 04 05:16:12 2016  begin with 264507819 relations and 174737544 unique ideals
  743. Fri Mar 04 05:17:39 2016  reduce to 264295300 relations and 168733664 ideals in 7 passes
  744. Fri Mar 04 05:17:39 2016  max relations containing the same ideal: 30
  745. Fri Mar 04 05:18:45 2016  removing 7040882 relations and 5040882 ideals in 2000000 cliques
  746. Fri Mar 04 05:18:48 2016  commencing in-memory singleton removal
  747. Fri Mar 04 05:18:59 2016  begin with 257254418 relations and 168733664 unique ideals
  748. Fri Mar 04 05:20:22 2016  reduce to 257074851 relations and 163511704 ideals in 7 passes
  749. Fri Mar 04 05:20:22 2016  max relations containing the same ideal: 30
  750. Fri Mar 04 05:21:26 2016  removing 6633562 relations and 4633562 ideals in 2000000 cliques
  751. Fri Mar 04 05:21:29 2016  commencing in-memory singleton removal
  752. Fri Mar 04 05:21:39 2016  begin with 250441289 relations and 163511704 unique ideals
  753. Fri Mar 04 05:23:11 2016  reduce to 250279517 relations and 158715003 ideals in 8 passes
  754. Fri Mar 04 05:23:11 2016  max relations containing the same ideal: 30
  755. Fri Mar 04 05:24:13 2016  removing 6421023 relations and 4421023 ideals in 2000000 cliques
  756. Fri Mar 04 05:24:16 2016  commencing in-memory singleton removal
  757. Fri Mar 04 05:24:26 2016  begin with 243858494 relations and 158715003 unique ideals
  758. Fri Mar 04 05:25:33 2016  reduce to 243712532 relations and 154146795 ideals in 6 passes
  759. Fri Mar 04 05:25:33 2016  max relations containing the same ideal: 30
  760. Fri Mar 04 05:26:34 2016  removing 6199748 relations and 4199748 ideals in 2000000 cliques
  761. Fri Mar 04 05:26:37 2016  commencing in-memory singleton removal
  762. Fri Mar 04 05:26:47 2016  begin with 237512784 relations and 154146795 unique ideals
  763. Fri Mar 04 05:28:02 2016  reduce to 237372051 relations and 149805023 ideals in 7 passes
  764. Fri Mar 04 05:28:02 2016  max relations containing the same ideal: 30
  765. Fri Mar 04 05:29:01 2016  removing 6045161 relations and 4045161 ideals in 2000000 cliques
  766. Fri Mar 04 05:29:04 2016  commencing in-memory singleton removal
  767. Fri Mar 04 05:29:13 2016  begin with 231326890 relations and 149805023 unique ideals
  768. Fri Mar 04 05:30:16 2016  reduce to 231190274 relations and 145621907 ideals in 6 passes
  769. Fri Mar 04 05:30:16 2016  max relations containing the same ideal: 30
  770. Fri Mar 04 05:31:13 2016  removing 5923444 relations and 3923444 ideals in 2000000 cliques
  771. Fri Mar 04 05:31:16 2016  commencing in-memory singleton removal
  772. Fri Mar 04 05:31:25 2016  begin with 225266830 relations and 145621907 unique ideals
  773. Fri Mar 04 05:32:26 2016  reduce to 225136125 relations and 141566489 ideals in 6 passes
  774. Fri Mar 04 05:32:26 2016  max relations containing the same ideal: 30
  775. Fri Mar 04 05:33:22 2016  removing 5859532 relations and 3859532 ideals in 2000000 cliques
  776. Fri Mar 04 05:33:24 2016  commencing in-memory singleton removal
  777. Fri Mar 04 05:33:33 2016  begin with 219276593 relations and 141566489 unique ideals
  778. Fri Mar 04 05:34:32 2016  reduce to 219148967 relations and 137578066 ideals in 6 passes
  779. Fri Mar 04 05:34:32 2016  max relations containing the same ideal: 30
  780. Fri Mar 04 05:35:26 2016  removing 5768501 relations and 3768501 ideals in 2000000 cliques
  781. Fri Mar 04 05:35:29 2016  commencing in-memory singleton removal
  782. Fri Mar 04 05:35:37 2016  begin with 213380466 relations and 137578066 unique ideals
  783. Fri Mar 04 05:36:34 2016  reduce to 213258865 relations and 133686772 ideals in 6 passes
  784. Fri Mar 04 05:36:34 2016  max relations containing the same ideal: 30
  785. Fri Mar 04 05:37:27 2016  removing 5641182 relations and 3641182 ideals in 2000000 cliques
  786. Fri Mar 04 05:37:30 2016  commencing in-memory singleton removal
  787. Fri Mar 04 05:37:38 2016  begin with 207617683 relations and 133686772 unique ideals
  788. Fri Mar 04 05:38:33 2016  reduce to 207485449 relations and 129911851 ideals in 6 passes
  789. Fri Mar 04 05:38:33 2016  max relations containing the same ideal: 30
  790. Fri Mar 04 05:39:24 2016  removing 5617548 relations and 3617548 ideals in 2000000 cliques
  791. Fri Mar 04 05:39:27 2016  commencing in-memory singleton removal
  792. Fri Mar 04 05:39:35 2016  begin with 201867901 relations and 129911851 unique ideals
  793. Fri Mar 04 05:40:28 2016  reduce to 201745703 relations and 126170662 ideals in 6 passes
  794. Fri Mar 04 05:40:28 2016  max relations containing the same ideal: 30
  795. Fri Mar 04 05:41:18 2016  removing 5614013 relations and 3614013 ideals in 2000000 cliques
  796. Fri Mar 04 05:41:21 2016  commencing in-memory singleton removal
  797. Fri Mar 04 05:41:28 2016  begin with 196131690 relations and 126170662 unique ideals
  798. Fri Mar 04 05:42:28 2016  reduce to 196011911 relations and 122435413 ideals in 7 passes
  799. Fri Mar 04 05:42:28 2016  max relations containing the same ideal: 30
  800. Fri Mar 04 05:43:16 2016  removing 5552135 relations and 3552135 ideals in 2000000 cliques
  801. Fri Mar 04 05:43:19 2016  commencing in-memory singleton removal
  802. Fri Mar 04 05:43:26 2016  begin with 190459776 relations and 122435413 unique ideals
  803. Fri Mar 04 05:44:16 2016  reduce to 190345194 relations and 118767230 ideals in 6 passes
  804. Fri Mar 04 05:44:16 2016  max relations containing the same ideal: 30
  805. Fri Mar 04 05:45:03 2016  removing 5495524 relations and 3495524 ideals in 2000000 cliques
  806. Fri Mar 04 05:45:05 2016  commencing in-memory singleton removal
  807. Fri Mar 04 05:45:12 2016  begin with 184849670 relations and 118767230 unique ideals
  808. Fri Mar 04 05:46:00 2016  reduce to 184731251 relations and 115151792 ideals in 6 passes
  809. Fri Mar 04 05:46:00 2016  max relations containing the same ideal: 30
  810. Fri Mar 04 05:46:45 2016  removing 5379877 relations and 3379877 ideals in 2000000 cliques
  811. Fri Mar 04 05:46:48 2016  commencing in-memory singleton removal
  812. Fri Mar 04 05:46:55 2016  begin with 179351374 relations and 115151792 unique ideals
  813. Fri Mar 04 05:47:48 2016  reduce to 179218865 relations and 111637621 ideals in 7 passes
  814. Fri Mar 04 05:47:48 2016  max relations containing the same ideal: 29
  815. Fri Mar 04 05:48:32 2016  removing 5409247 relations and 3409247 ideals in 2000000 cliques
  816. Fri Mar 04 05:48:35 2016  commencing in-memory singleton removal
  817. Fri Mar 04 05:48:41 2016  begin with 173809618 relations and 111637621 unique ideals
  818. Fri Mar 04 05:49:26 2016  reduce to 173689656 relations and 108106795 ideals in 6 passes
  819. Fri Mar 04 05:49:26 2016  max relations containing the same ideal: 29
  820. Fri Mar 04 05:50:08 2016  removing 5431061 relations and 3431061 ideals in 2000000 cliques
  821. Fri Mar 04 05:50:11 2016  commencing in-memory singleton removal
  822. Fri Mar 04 05:50:17 2016  begin with 168258595 relations and 108106795 unique ideals
  823. Fri Mar 04 05:51:00 2016  reduce to 168139889 relations and 104555277 ideals in 6 passes
  824. Fri Mar 04 05:51:00 2016  max relations containing the same ideal: 29
  825. Fri Mar 04 05:51:41 2016  removing 5310115 relations and 3310115 ideals in 2000000 cliques
  826. Fri Mar 04 05:51:43 2016  commencing in-memory singleton removal
  827. Fri Mar 04 05:51:49 2016  begin with 162829774 relations and 104555277 unique ideals
  828. Fri Mar 04 05:52:37 2016  reduce to 162698253 relations and 101111691 ideals in 7 passes
  829. Fri Mar 04 05:52:37 2016  max relations containing the same ideal: 29
  830. Fri Mar 04 05:53:17 2016  removing 5363358 relations and 3363358 ideals in 2000000 cliques
  831. Fri Mar 04 05:53:19 2016  commencing in-memory singleton removal
  832. Fri Mar 04 05:53:25 2016  begin with 157334895 relations and 101111691 unique ideals
  833. Fri Mar 04 05:54:04 2016  reduce to 157214405 relations and 97626018 ideals in 6 passes
  834. Fri Mar 04 05:54:04 2016  max relations containing the same ideal: 28
  835. Fri Mar 04 05:54:42 2016  removing 5350761 relations and 3350761 ideals in 2000000 cliques
  836. Fri Mar 04 05:54:44 2016  commencing in-memory singleton removal
  837. Fri Mar 04 05:54:50 2016  begin with 151863644 relations and 97626018 unique ideals
  838. Fri Mar 04 05:55:28 2016  reduce to 151743618 relations and 94153302 ideals in 6 passes
  839. Fri Mar 04 05:55:28 2016  max relations containing the same ideal: 28
  840. Fri Mar 04 05:56:04 2016  removing 5199459 relations and 3199459 ideals in 2000000 cliques
  841. Fri Mar 04 05:56:06 2016  commencing in-memory singleton removal
  842. Fri Mar 04 05:56:12 2016  begin with 146544159 relations and 94153302 unique ideals
  843. Fri Mar 04 05:56:48 2016  reduce to 146400760 relations and 90807995 ideals in 6 passes
  844. Fri Mar 04 05:56:48 2016  max relations containing the same ideal: 28
  845. Fri Mar 04 05:57:23 2016  removing 5294147 relations and 3294147 ideals in 2000000 cliques
  846. Fri Mar 04 05:57:25 2016  commencing in-memory singleton removal
  847. Fri Mar 04 05:57:30 2016  begin with 141106613 relations and 90807995 unique ideals
  848. Fri Mar 04 05:58:04 2016  reduce to 140978902 relations and 87383879 ideals in 6 passes
  849. Fri Mar 04 05:58:04 2016  max relations containing the same ideal: 28
  850. Fri Mar 04 05:58:38 2016  removing 5256680 relations and 3256680 ideals in 2000000 cliques
  851. Fri Mar 04 05:58:40 2016  commencing in-memory singleton removal
  852. Fri Mar 04 05:58:45 2016  begin with 135722222 relations and 87383879 unique ideals
  853. Fri Mar 04 05:59:18 2016  reduce to 135583917 relations and 83986465 ideals in 6 passes
  854. Fri Mar 04 05:59:18 2016  max relations containing the same ideal: 27
  855. Fri Mar 04 05:59:50 2016  removing 5253221 relations and 3253221 ideals in 2000000 cliques
  856. Fri Mar 04 05:59:52 2016  commencing in-memory singleton removal
  857. Fri Mar 04 05:59:57 2016  begin with 130330696 relations and 83986465 unique ideals
  858. Fri Mar 04 06:00:28 2016  reduce to 130191415 relations and 80591394 ideals in 6 passes
  859. Fri Mar 04 06:00:28 2016  max relations containing the same ideal: 27
  860. Fri Mar 04 06:00:59 2016  removing 5200818 relations and 3200818 ideals in 2000000 cliques
  861. Fri Mar 04 06:01:01 2016  commencing in-memory singleton removal
  862. Fri Mar 04 06:01:05 2016  begin with 124990597 relations and 80591394 unique ideals
  863. Fri Mar 04 06:01:35 2016  reduce to 124851592 relations and 77248985 ideals in 6 passes
  864. Fri Mar 04 06:01:35 2016  max relations containing the same ideal: 26
  865. Fri Mar 04 06:02:04 2016  removing 5197838 relations and 3197838 ideals in 2000000 cliques
  866. Fri Mar 04 06:02:06 2016  commencing in-memory singleton removal
  867. Fri Mar 04 06:02:10 2016  begin with 119653754 relations and 77248985 unique ideals
  868. Fri Mar 04 06:02:38 2016  reduce to 119502797 relations and 73897317 ideals in 6 passes
  869. Fri Mar 04 06:02:38 2016  max relations containing the same ideal: 25
  870. Fri Mar 04 06:03:06 2016  removing 5233205 relations and 3233205 ideals in 2000000 cliques
  871. Fri Mar 04 06:03:08 2016  commencing in-memory singleton removal
  872. Fri Mar 04 06:03:12 2016  begin with 114269592 relations and 73897317 unique ideals
  873. Fri Mar 04 06:03:39 2016  reduce to 114121861 relations and 70513439 ideals in 6 passes
  874. Fri Mar 04 06:03:39 2016  max relations containing the same ideal: 25
  875. Fri Mar 04 06:04:05 2016  removing 5190268 relations and 3190268 ideals in 2000000 cliques
  876. Fri Mar 04 06:04:07 2016  commencing in-memory singleton removal
  877. Fri Mar 04 06:04:11 2016  begin with 108931593 relations and 70513439 unique ideals
  878. Fri Mar 04 06:04:40 2016  reduce to 108770136 relations and 67158417 ideals in 7 passes
  879. Fri Mar 04 06:04:40 2016  max relations containing the same ideal: 25
  880. Fri Mar 04 06:05:05 2016  removing 5180883 relations and 3180883 ideals in 2000000 cliques
  881. Fri Mar 04 06:05:07 2016  commencing in-memory singleton removal
  882. Fri Mar 04 06:05:10 2016  begin with 103589253 relations and 67158417 unique ideals
  883. Fri Mar 04 06:05:38 2016  reduce to 103423705 relations and 63808479 ideals in 7 passes
  884. Fri Mar 04 06:05:38 2016  max relations containing the same ideal: 24
  885. Fri Mar 04 06:06:02 2016  removing 5200741 relations and 3200741 ideals in 2000000 cliques
  886. Fri Mar 04 06:06:03 2016  commencing in-memory singleton removal
  887. Fri Mar 04 06:06:06 2016  begin with 98222964 relations and 63808479 unique ideals
  888. Fri Mar 04 06:06:32 2016  reduce to 98054751 relations and 60435837 ideals in 7 passes
  889. Fri Mar 04 06:06:32 2016  max relations containing the same ideal: 24
  890. Fri Mar 04 06:06:55 2016  removing 5220679 relations and 3220679 ideals in 2000000 cliques
  891. Fri Mar 04 06:06:56 2016  commencing in-memory singleton removal
  892. Fri Mar 04 06:06:59 2016  begin with 92834072 relations and 60435837 unique ideals
  893. Fri Mar 04 06:07:20 2016  reduce to 92664117 relations and 57041409 ideals in 6 passes
  894. Fri Mar 04 06:07:20 2016  max relations containing the same ideal: 24
  895. Fri Mar 04 06:07:41 2016  removing 5202227 relations and 3202227 ideals in 2000000 cliques
  896. Fri Mar 04 06:07:42 2016  commencing in-memory singleton removal
  897. Fri Mar 04 06:07:45 2016  begin with 87461890 relations and 57041409 unique ideals
  898. Fri Mar 04 06:08:10 2016  reduce to 87284919 relations and 53658254 ideals in 8 passes
  899. Fri Mar 04 06:08:10 2016  max relations containing the same ideal: 24
  900. Fri Mar 04 06:08:30 2016  removing 5214327 relations and 3214327 ideals in 2000000 cliques
  901. Fri Mar 04 06:08:32 2016  commencing in-memory singleton removal
  902. Fri Mar 04 06:08:34 2016  begin with 82070592 relations and 53658254 unique ideals
  903. Fri Mar 04 06:08:54 2016  reduce to 81894308 relations and 50263800 ideals in 7 passes
  904. Fri Mar 04 06:08:54 2016  max relations containing the same ideal: 23
  905. Fri Mar 04 06:09:13 2016  removing 5241891 relations and 3241891 ideals in 2000000 cliques
  906. Fri Mar 04 06:09:14 2016  commencing in-memory singleton removal
  907. Fri Mar 04 06:09:17 2016  begin with 76652417 relations and 50263800 unique ideals
  908. Fri Mar 04 06:09:35 2016  reduce to 76451706 relations and 46816589 ideals in 7 passes
  909. Fri Mar 04 06:09:35 2016  max relations containing the same ideal: 23
  910. Fri Mar 04 06:09:52 2016  removing 5167830 relations and 3167830 ideals in 2000000 cliques
  911. Fri Mar 04 06:09:54 2016  commencing in-memory singleton removal
  912. Fri Mar 04 06:09:56 2016  begin with 71283876 relations and 46816589 unique ideals
  913. Fri Mar 04 06:10:13 2016  reduce to 70989484 relations and 43346357 ideals in 7 passes
  914. Fri Mar 04 06:10:13 2016  max relations containing the same ideal: 21
  915. Fri Mar 04 06:10:29 2016  removing 5142041 relations and 3142041 ideals in 2000000 cliques
  916. Fri Mar 04 06:10:30 2016  commencing in-memory singleton removal
  917. Fri Mar 04 06:10:32 2016  begin with 65847443 relations and 43346357 unique ideals
  918. Fri Mar 04 06:10:47 2016  reduce to 65530789 relations and 39877538 ideals in 7 passes
  919. Fri Mar 04 06:10:47 2016  max relations containing the same ideal: 21
  920. Fri Mar 04 06:11:02 2016  removing 5261143 relations and 3261143 ideals in 2000000 cliques
  921. Fri Mar 04 06:11:04 2016  commencing in-memory singleton removal
  922. Fri Mar 04 06:11:05 2016  begin with 60269646 relations and 39877538 unique ideals
  923. Fri Mar 04 06:11:23 2016  reduce to 59981449 relations and 36318030 ideals in 9 passes
  924. Fri Mar 04 06:11:23 2016  max relations containing the same ideal: 20
  925. Fri Mar 04 06:11:36 2016  removing 5342902 relations and 3342902 ideals in 2000000 cliques
  926. Fri Mar 04 06:11:38 2016  commencing in-memory singleton removal
  927. Fri Mar 04 06:11:39 2016  begin with 54638547 relations and 36318030 unique ideals
  928. Fri Mar 04 06:11:52 2016  reduce to 54352634 relations and 32679293 ideals in 8 passes
  929. Fri Mar 04 06:11:52 2016  max relations containing the same ideal: 20
  930. Fri Mar 04 06:12:04 2016  removing 5268132 relations and 3268132 ideals in 2000000 cliques
  931. Fri Mar 04 06:12:06 2016  commencing in-memory singleton removal
  932. Fri Mar 04 06:12:07 2016  begin with 49084502 relations and 32679293 unique ideals
  933. Fri Mar 04 06:12:17 2016  reduce to 48691866 relations and 29002909 ideals in 7 passes
  934. Fri Mar 04 06:12:17 2016  max relations containing the same ideal: 18
  935. Fri Mar 04 06:12:28 2016  removing 5340503 relations and 3340503 ideals in 2000000 cliques
  936. Fri Mar 04 06:12:29 2016  commencing in-memory singleton removal
  937. Fri Mar 04 06:12:30 2016  begin with 43351363 relations and 29002909 unique ideals
  938. Fri Mar 04 06:12:40 2016  reduce to 42933330 relations and 25226701 ideals in 8 passes
  939. Fri Mar 04 06:12:40 2016  max relations containing the same ideal: 16
  940. Fri Mar 04 06:12:50 2016  removing 5379222 relations and 3379222 ideals in 2000000 cliques
  941. Fri Mar 04 06:12:51 2016  commencing in-memory singleton removal
  942. Fri Mar 04 06:12:52 2016  begin with 37554108 relations and 25226701 unique ideals
  943. Fri Mar 04 06:13:00 2016  reduce to 37088444 relations and 21358729 ideals in 8 passes
  944. Fri Mar 04 06:13:00 2016  max relations containing the same ideal: 15
  945. Fri Mar 04 06:13:08 2016  removing 3679289 relations and 2316040 ideals in 1363249 cliques
  946. Fri Mar 04 06:13:09 2016  commencing in-memory singleton removal
  947. Fri Mar 04 06:13:10 2016  begin with 33409155 relations and 21358729 unique ideals
  948. Fri Mar 04 06:13:17 2016  reduce to 33097128 relations and 18716279 ideals in 8 passes
  949. Fri Mar 04 06:13:17 2016  max relations containing the same ideal: 15
  950. Fri Mar 04 06:13:24 2016  removing 36636 relations and 22253 ideals in 14383 cliques
  951. Fri Mar 04 06:13:24 2016  commencing in-memory singleton removal
  952. Fri Mar 04 06:13:25 2016  begin with 33060492 relations and 18716279 unique ideals
  953. Fri Mar 04 06:13:31 2016  reduce to 33060103 relations and 18693636 ideals in 7 passes
  954. Fri Mar 04 06:13:31 2016  max relations containing the same ideal: 15
  955. Fri Mar 04 06:13:32 2016  relations with 0 large ideals: 4107211
  956. Fri Mar 04 06:13:32 2016  relations with 1 large ideals: 14358940
  957. Fri Mar 04 06:13:32 2016  relations with 2 large ideals: 11886664
  958. Fri Mar 04 06:13:32 2016  relations with 3 large ideals: 2515950
  959. Fri Mar 04 06:13:32 2016  relations with 4 large ideals: 183778
  960. Fri Mar 04 06:13:32 2016  relations with 5 large ideals: 6952
  961. Fri Mar 04 06:13:32 2016  relations with 6 large ideals: 607
  962. Fri Mar 04 06:13:32 2016  relations with 7+ large ideals: 1
  963. Fri Mar 04 06:13:32 2016  commencing 2-way merge
  964. Fri Mar 04 06:13:41 2016  reduce to 19594556 relation sets and 5228089 unique ideals
  965. Fri Mar 04 06:13:41 2016  commencing full merge
  966. Fri Mar 04 06:14:00 2016  memory use: 643.7 MB
  967. Fri Mar 04 06:14:02 2016  found 14366466 cycles, need 12385084
  968. Fri Mar 04 06:14:03 2016  weight of 12385084 cycles is about 457310695 (36.92/cycle)
  969. Fri Mar 04 06:14:03 2016  distribution of cycle lengths:
  970. Fri Mar 04 06:14:03 2016  1 relations: 4107211
  971. Fri Mar 04 06:14:03 2016  2 relations: 2411333
  972. Fri Mar 04 06:14:03 2016  3 relations: 2179355
  973. Fri Mar 04 06:14:03 2016  4 relations: 1765638
  974. Fri Mar 04 06:14:03 2016  5 relations: 1306918
  975. Fri Mar 04 06:14:03 2016  6 relations: 612503
  976. Fri Mar 04 06:14:03 2016  7 relations: 2121
  977. Fri Mar 04 06:14:03 2016  8 relations: 5
  978. Fri Mar 04 06:14:03 2016  9 relations: 0
  979. Fri Mar 04 06:14:03 2016  10+ relations: 0
  980. Fri Mar 04 06:14:03 2016  heaviest cycle: 8 relations
  981. Fri Mar 04 06:14:03 2016  matrix not dense enough, retrying
  982. Fri Mar 04 06:14:05 2016  reading large ideals from disk
  983. Fri Mar 04 06:18:44 2016  keeping 183998385 ideals with weight <= 35, target excess is 11776321
  984. Fri Mar 04 06:29:07 2016  memory use: 7127.0 MB
  985. Fri Mar 04 06:29:07 2016  commencing in-memory singleton removal
  986. Fri Mar 04 06:29:20 2016  begin with 282946434 relations and 183998385 unique ideals
  987. Fri Mar 04 06:30:14 2016  reduce to 282946181 relations and 183998132 ideals in 4 passes
  988. Fri Mar 04 06:30:14 2016  max relations containing the same ideal: 35
  989. Fri Mar 04 06:31:27 2016  removing 10351776 relations and 8351776 ideals in 2000000 cliques
  990. Fri Mar 04 06:31:31 2016  commencing in-memory singleton removal
  991. Fri Mar 04 06:31:43 2016  begin with 272594405 relations and 183998132 unique ideals
  992. Fri Mar 04 06:33:14 2016  reduce to 272277080 relations and 175325808 ideals in 7 passes
  993. Fri Mar 04 06:33:14 2016  max relations containing the same ideal: 35
  994. Fri Mar 04 06:34:25 2016  removing 7794707 relations and 5794707 ideals in 2000000 cliques
  995. Fri Mar 04 06:34:28 2016  commencing in-memory singleton removal
  996. Fri Mar 04 06:34:40 2016  begin with 264482373 relations and 175325808 unique ideals
  997. Fri Mar 04 06:36:08 2016  reduce to 264269677 relations and 169316654 ideals in 7 passes
  998. Fri Mar 04 06:36:08 2016  max relations containing the same ideal: 35
  999. Fri Mar 04 06:37:16 2016  removing 7076148 relations and 5076148 ideals in 2000000 cliques
  1000. Fri Mar 04 06:37:20 2016  commencing in-memory singleton removal
  1001. Fri Mar 04 06:37:31 2016  begin with 257193529 relations and 169316654 unique ideals
  1002. Fri Mar 04 06:38:44 2016  reduce to 257015762 relations and 164061243 ideals in 6 passes
  1003. Fri Mar 04 06:38:44 2016  max relations containing the same ideal: 35
  1004. Fri Mar 04 06:39:50 2016  removing 6644593 relations and 4644593 ideals in 2000000 cliques
  1005. Fri Mar 04 06:39:53 2016  commencing in-memory singleton removal
  1006. Fri Mar 04 06:40:04 2016  begin with 250371169 relations and 164061243 unique ideals
  1007. Fri Mar 04 06:41:26 2016  reduce to 250208854 relations and 159252944 ideals in 7 passes
  1008. Fri Mar 04 06:41:26 2016  max relations containing the same ideal: 35
  1009. Fri Mar 04 06:42:30 2016  removing 6415378 relations and 4415378 ideals in 2000000 cliques
  1010. Fri Mar 04 06:42:33 2016  commencing in-memory singleton removal
  1011. Fri Mar 04 06:42:43 2016  begin with 243793476 relations and 159252944 unique ideals
  1012. Fri Mar 04 06:43:52 2016  reduce to 243647134 relations and 154690001 ideals in 6 passes
  1013. Fri Mar 04 06:43:52 2016  max relations containing the same ideal: 35
  1014. Fri Mar 04 06:44:54 2016  removing 6200292 relations and 4200292 ideals in 2000000 cliques
  1015. Fri Mar 04 06:44:57 2016  commencing in-memory singleton removal
  1016. Fri Mar 04 06:45:07 2016  begin with 237446842 relations and 154690001 unique ideals
  1017. Fri Mar 04 06:46:24 2016  reduce to 237306150 relations and 150347729 ideals in 7 passes
  1018. Fri Mar 04 06:46:24 2016  max relations containing the same ideal: 35
  1019. Fri Mar 04 06:47:25 2016  removing 6053587 relations and 4053587 ideals in 2000000 cliques
  1020. Fri Mar 04 06:47:28 2016  commencing in-memory singleton removal
  1021. Fri Mar 04 06:47:37 2016  begin with 231252563 relations and 150347729 unique ideals
  1022. Fri Mar 04 06:48:41 2016  reduce to 231116899 relations and 146157163 ideals in 6 passes
  1023. Fri Mar 04 06:48:41 2016  max relations containing the same ideal: 35
  1024. Fri Mar 04 06:49:40 2016  removing 5946453 relations and 3946453 ideals in 2000000 cliques
  1025. Fri Mar 04 06:49:43 2016  commencing in-memory singleton removal
  1026. Fri Mar 04 06:49:53 2016  begin with 225170446 relations and 146157163 unique ideals
  1027. Fri Mar 04 06:51:05 2016  reduce to 225040406 relations and 142079448 ideals in 7 passes
  1028. Fri Mar 04 06:51:05 2016  max relations containing the same ideal: 35
  1029. Fri Mar 04 06:52:02 2016  removing 5869617 relations and 3869617 ideals in 2000000 cliques
  1030. Fri Mar 04 06:52:05 2016  commencing in-memory singleton removal
  1031. Fri Mar 04 06:52:14 2016  begin with 219170789 relations and 142079448 unique ideals
  1032. Fri Mar 04 06:53:14 2016  reduce to 219044668 relations and 138082381 ideals in 6 passes
  1033. Fri Mar 04 06:53:14 2016  max relations containing the same ideal: 35
  1034. Fri Mar 04 06:54:09 2016  removing 5751926 relations and 3751926 ideals in 2000000 cliques
  1035. Fri Mar 04 06:54:12 2016  commencing in-memory singleton removal
  1036. Fri Mar 04 06:54:20 2016  begin with 213292742 relations and 138082381 unique ideals
  1037. Fri Mar 04 06:55:28 2016  reduce to 213169306 relations and 134205738 ideals in 7 passes
  1038. Fri Mar 04 06:55:28 2016  max relations containing the same ideal: 35
  1039. Fri Mar 04 06:56:22 2016  removing 5641634 relations and 3641634 ideals in 2000000 cliques
  1040. Fri Mar 04 06:56:25 2016  commencing in-memory singleton removal
  1041. Fri Mar 04 06:56:33 2016  begin with 207527672 relations and 134205738 unique ideals
  1042. Fri Mar 04 06:57:29 2016  reduce to 207395475 relations and 130430436 ideals in 6 passes
  1043. Fri Mar 04 06:57:29 2016  max relations containing the same ideal: 35
  1044. Fri Mar 04 06:58:21 2016  removing 5668531 relations and 3668531 ideals in 2000000 cliques
  1045. Fri Mar 04 06:58:24 2016  commencing in-memory singleton removal
  1046. Fri Mar 04 06:58:32 2016  begin with 201726944 relations and 130430436 unique ideals
  1047. Fri Mar 04 06:59:26 2016  reduce to 201607778 relations and 126641437 ideals in 6 passes
  1048. Fri Mar 04 06:59:26 2016  max relations containing the same ideal: 35
  1049. Fri Mar 04 07:00:17 2016  removing 5600940 relations and 3600940 ideals in 2000000 cliques
  1050. Fri Mar 04 07:00:20 2016  commencing in-memory singleton removal
  1051. Fri Mar 04 07:00:28 2016  begin with 196006838 relations and 126641437 unique ideals
  1052. Fri Mar 04 07:01:29 2016  reduce to 195887393 relations and 122919614 ideals in 7 passes
  1053. Fri Mar 04 07:01:29 2016  max relations containing the same ideal: 35
  1054. Fri Mar 04 07:02:18 2016  removing 5510180 relations and 3510180 ideals in 2000000 cliques
  1055. Fri Mar 04 07:02:21 2016  commencing in-memory singleton removal
  1056. Fri Mar 04 07:02:28 2016  begin with 190377213 relations and 122919614 unique ideals
  1057. Fri Mar 04 07:03:27 2016  reduce to 190258008 relations and 119288710 ideals in 7 passes
  1058. Fri Mar 04 07:03:27 2016  max relations containing the same ideal: 35
  1059. Fri Mar 04 07:04:15 2016  removing 5529257 relations and 3529257 ideals in 2000000 cliques
  1060. Fri Mar 04 07:04:17 2016  commencing in-memory singleton removal
  1061. Fri Mar 04 07:04:25 2016  begin with 184728751 relations and 119288710 unique ideals
  1062. Fri Mar 04 07:05:13 2016  reduce to 184614029 relations and 115643245 ideals in 6 passes
  1063. Fri Mar 04 07:05:13 2016  max relations containing the same ideal: 34
  1064. Fri Mar 04 07:05:59 2016  removing 5390685 relations and 3390685 ideals in 2000000 cliques
  1065. Fri Mar 04 07:06:02 2016  commencing in-memory singleton removal
  1066. Fri Mar 04 07:06:09 2016  begin with 179223344 relations and 115643245 unique ideals
  1067. Fri Mar 04 07:07:04 2016  reduce to 179090667 relations and 112118075 ideals in 7 passes
  1068. Fri Mar 04 07:07:04 2016  max relations containing the same ideal: 34
  1069. Fri Mar 04 07:07:49 2016  removing 5430978 relations and 3430978 ideals in 2000000 cliques
  1070. Fri Mar 04 07:07:51 2016  commencing in-memory singleton removal
  1071. Fri Mar 04 07:07:58 2016  begin with 173659689 relations and 112118075 unique ideals
  1072. Fri Mar 04 07:08:43 2016  reduce to 173538494 relations and 108564156 ideals in 6 passes
  1073. Fri Mar 04 07:08:43 2016  max relations containing the same ideal: 34
  1074. Fri Mar 04 07:09:26 2016  removing 5414767 relations and 3414767 ideals in 2000000 cliques
  1075. Fri Mar 04 07:09:29 2016  commencing in-memory singleton removal
  1076. Fri Mar 04 07:09:35 2016  begin with 168123727 relations and 108564156 unique ideals
  1077. Fri Mar 04 07:10:19 2016  reduce to 168005784 relations and 105029763 ideals in 6 passes
  1078. Fri Mar 04 07:10:19 2016  max relations containing the same ideal: 34
  1079. Fri Mar 04 07:11:00 2016  removing 5388736 relations and 3388736 ideals in 2000000 cliques
  1080. Fri Mar 04 07:11:03 2016  commencing in-memory singleton removal
  1081. Fri Mar 04 07:11:09 2016  begin with 162617048 relations and 105029763 unique ideals
  1082. Fri Mar 04 07:11:51 2016  reduce to 162498042 relations and 101520226 ideals in 6 passes
  1083. Fri Mar 04 07:11:51 2016  max relations containing the same ideal: 32
  1084. Fri Mar 04 07:12:31 2016  removing 5287036 relations and 3287036 ideals in 2000000 cliques
  1085. Fri Mar 04 07:12:33 2016  commencing in-memory singleton removal
  1086. Fri Mar 04 07:12:39 2016  begin with 157211006 relations and 101520226 unique ideals
  1087. Fri Mar 04 07:13:19 2016  reduce to 157079542 relations and 98099609 ideals in 6 passes
  1088. Fri Mar 04 07:13:19 2016  max relations containing the same ideal: 32
  1089. Fri Mar 04 07:13:58 2016  removing 5352764 relations and 3352764 ideals in 2000000 cliques
  1090. Fri Mar 04 07:14:00 2016  commencing in-memory singleton removal
  1091. Fri Mar 04 07:14:06 2016  begin with 151726778 relations and 98099609 unique ideals
  1092. Fri Mar 04 07:14:44 2016  reduce to 151603979 relations and 94622079 ideals in 6 passes
  1093. Fri Mar 04 07:14:44 2016  max relations containing the same ideal: 32
  1094. Fri Mar 04 07:15:21 2016  removing 5297519 relations and 3297519 ideals in 2000000 cliques
  1095. Fri Mar 04 07:15:24 2016  commencing in-memory singleton removal
  1096. Fri Mar 04 07:15:29 2016  begin with 146306460 relations and 94622079 unique ideals
  1097. Fri Mar 04 07:16:06 2016  reduce to 146180340 relations and 91196345 ideals in 6 passes
  1098. Fri Mar 04 07:16:06 2016  max relations containing the same ideal: 32
  1099. Fri Mar 04 07:16:42 2016  removing 5209611 relations and 3209611 ideals in 2000000 cliques
  1100. Fri Mar 04 07:16:44 2016  commencing in-memory singleton removal
  1101. Fri Mar 04 07:16:49 2016  begin with 140970729 relations and 91196345 unique ideals
  1102. Fri Mar 04 07:17:30 2016  reduce to 140828885 relations and 87842403 ideals in 7 passes
  1103. Fri Mar 04 07:17:30 2016  max relations containing the same ideal: 31
  1104. Fri Mar 04 07:18:04 2016  removing 5288238 relations and 3288238 ideals in 2000000 cliques
  1105. Fri Mar 04 07:18:06 2016  commencing in-memory singleton removal
  1106. Fri Mar 04 07:18:11 2016  begin with 135540647 relations and 87842403 unique ideals
  1107. Fri Mar 04 07:18:45 2016  reduce to 135410841 relations and 84422042 ideals in 6 passes
  1108. Fri Mar 04 07:18:45 2016  max relations containing the same ideal: 31
  1109. Fri Mar 04 07:19:18 2016  removing 5235603 relations and 3235603 ideals in 2000000 cliques
  1110. Fri Mar 04 07:19:20 2016  commencing in-memory singleton removal
  1111. Fri Mar 04 07:19:25 2016  begin with 130175238 relations and 84422042 unique ideals
  1112. Fri Mar 04 07:20:02 2016  reduce to 130034962 relations and 81043674 ideals in 7 passes
  1113. Fri Mar 04 07:20:02 2016  max relations containing the same ideal: 30
  1114. Fri Mar 04 07:20:33 2016  removing 5242273 relations and 3242273 ideals in 2000000 cliques
  1115. Fri Mar 04 07:20:35 2016  commencing in-memory singleton removal
  1116. Fri Mar 04 07:20:40 2016  begin with 124792689 relations and 81043674 unique ideals
  1117. Fri Mar 04 07:21:10 2016  reduce to 124650210 relations and 77656233 ideals in 6 passes
  1118. Fri Mar 04 07:21:10 2016  max relations containing the same ideal: 30
  1119. Fri Mar 04 07:21:40 2016  removing 5197858 relations and 3197858 ideals in 2000000 cliques
  1120. Fri Mar 04 07:21:42 2016  commencing in-memory singleton removal
  1121. Fri Mar 04 07:21:47 2016  begin with 119452352 relations and 77656233 unique ideals
  1122. Fri Mar 04 07:22:15 2016  reduce to 119309765 relations and 74313037 ideals in 6 passes
  1123. Fri Mar 04 07:22:15 2016  max relations containing the same ideal: 29
  1124. Fri Mar 04 07:22:44 2016  removing 5181274 relations and 3181274 ideals in 2000000 cliques
  1125. Fri Mar 04 07:22:46 2016  commencing in-memory singleton removal
  1126. Fri Mar 04 07:22:50 2016  begin with 114128491 relations and 74313037 unique ideals
  1127. Fri Mar 04 07:23:17 2016  reduce to 113973190 relations and 70973343 ideals in 6 passes
  1128. Fri Mar 04 07:23:17 2016  max relations containing the same ideal: 29
  1129. Fri Mar 04 07:23:44 2016  removing 5231991 relations and 3231991 ideals in 2000000 cliques
  1130. Fri Mar 04 07:23:46 2016  commencing in-memory singleton removal
  1131. Fri Mar 04 07:23:50 2016  begin with 108741199 relations and 70973343 unique ideals
  1132. Fri Mar 04 07:24:20 2016  reduce to 108586755 relations and 67583659 ideals in 7 passes
  1133. Fri Mar 04 07:24:20 2016  max relations containing the same ideal: 28
  1134. Fri Mar 04 07:24:46 2016  removing 5206114 relations and 3206114 ideals in 2000000 cliques
  1135. Fri Mar 04 07:24:48 2016  commencing in-memory singleton removal
  1136. Fri Mar 04 07:24:51 2016  begin with 103380641 relations and 67583659 unique ideals
  1137. Fri Mar 04 07:25:19 2016  reduce to 103217832 relations and 64211394 ideals in 7 passes
  1138. Fri Mar 04 07:25:19 2016  max relations containing the same ideal: 27
  1139. Fri Mar 04 07:25:44 2016  removing 5159267 relations and 3159267 ideals in 2000000 cliques
  1140. Fri Mar 04 07:25:45 2016  commencing in-memory singleton removal
  1141. Fri Mar 04 07:25:49 2016  begin with 98058565 relations and 64211394 unique ideals
  1142. Fri Mar 04 07:26:15 2016  reduce to 97880310 relations and 60869964 ideals in 7 passes
  1143. Fri Mar 04 07:26:15 2016  max relations containing the same ideal: 27
  1144. Fri Mar 04 07:26:38 2016  removing 5195559 relations and 3195559 ideals in 2000000 cliques
  1145. Fri Mar 04 07:26:40 2016  commencing in-memory singleton removal
  1146. Fri Mar 04 07:26:43 2016  begin with 92684751 relations and 60869964 unique ideals
  1147. Fri Mar 04 07:27:07 2016  reduce to 92505477 relations and 57491117 ideals in 7 passes
  1148. Fri Mar 04 07:27:07 2016  max relations containing the same ideal: 27
  1149. Fri Mar 04 07:27:29 2016  removing 5201780 relations and 3201780 ideals in 2000000 cliques
  1150. Fri Mar 04 07:27:31 2016  commencing in-memory singleton removal
  1151. Fri Mar 04 07:27:34 2016  begin with 87303697 relations and 57491117 unique ideals
  1152. Fri Mar 04 07:27:56 2016  reduce to 87116654 relations and 54097808 ideals in 7 passes
  1153. Fri Mar 04 07:27:56 2016  max relations containing the same ideal: 27
  1154. Fri Mar 04 07:28:17 2016  removing 5248905 relations and 3248905 ideals in 2000000 cliques
  1155. Fri Mar 04 07:28:19 2016  commencing in-memory singleton removal
  1156. Fri Mar 04 07:28:21 2016  begin with 81867749 relations and 54097808 unique ideals
  1157. Fri Mar 04 07:28:42 2016  reduce to 81680153 relations and 50656837 ideals in 7 passes
  1158. Fri Mar 04 07:28:42 2016  max relations containing the same ideal: 27
  1159. Fri Mar 04 07:29:01 2016  removing 5196721 relations and 3196721 ideals in 2000000 cliques
  1160. Fri Mar 04 07:29:03 2016  commencing in-memory singleton removal
  1161. Fri Mar 04 07:29:05 2016  begin with 76483432 relations and 50656837 unique ideals
  1162. Fri Mar 04 07:29:24 2016  reduce to 76288679 relations and 47260711 ideals in 7 passes
  1163. Fri Mar 04 07:29:24 2016  max relations containing the same ideal: 25
  1164. Fri Mar 04 07:29:42 2016  removing 5265579 relations and 3265579 ideals in 2000000 cliques
  1165. Fri Mar 04 07:29:43 2016  commencing in-memory singleton removal
  1166. Fri Mar 04 07:29:45 2016  begin with 71023100 relations and 47260711 unique ideals
  1167. Fri Mar 04 07:30:03 2016  reduce to 70816473 relations and 43783591 ideals in 7 passes
  1168. Fri Mar 04 07:30:03 2016  max relations containing the same ideal: 25
  1169. Fri Mar 04 07:30:19 2016  removing 5225664 relations and 3225664 ideals in 2000000 cliques
  1170. Fri Mar 04 07:30:21 2016  commencing in-memory singleton removal
  1171. Fri Mar 04 07:30:23 2016  begin with 65590809 relations and 43783591 unique ideals
  1172. Fri Mar 04 07:30:38 2016  reduce to 65301517 relations and 40260543 ideals in 7 passes
  1173. Fri Mar 04 07:30:38 2016  max relations containing the same ideal: 23
  1174. Fri Mar 04 07:30:54 2016  removing 5164508 relations and 3164508 ideals in 2000000 cliques
  1175. Fri Mar 04 07:30:55 2016  commencing in-memory singleton removal
  1176. Fri Mar 04 07:30:57 2016  begin with 60137009 relations and 40260543 unique ideals
  1177. Fri Mar 04 07:31:13 2016  reduce to 59785169 relations and 36732726 ideals in 8 passes
  1178. Fri Mar 04 07:31:13 2016  max relations containing the same ideal: 21
  1179. Fri Mar 04 07:31:27 2016  removing 5283554 relations and 3283554 ideals in 2000000 cliques
  1180. Fri Mar 04 07:31:28 2016  commencing in-memory singleton removal
  1181. Fri Mar 04 07:31:29 2016  begin with 54501615 relations and 36732726 unique ideals
  1182. Fri Mar 04 07:31:42 2016  reduce to 54180165 relations and 33116130 ideals in 7 passes
  1183. Fri Mar 04 07:31:42 2016  max relations containing the same ideal: 21
  1184. Fri Mar 04 07:31:54 2016  removing 5380808 relations and 3380808 ideals in 2000000 cliques
  1185. Fri Mar 04 07:31:55 2016  commencing in-memory singleton removal
  1186. Fri Mar 04 07:31:57 2016  begin with 48799357 relations and 33116130 unique ideals
  1187. Fri Mar 04 07:32:07 2016  reduce to 48476509 relations and 29400170 ideals in 7 passes
  1188. Fri Mar 04 07:32:07 2016  max relations containing the same ideal: 19
  1189. Fri Mar 04 07:32:18 2016  removing 5323682 relations and 3323682 ideals in 2000000 cliques
  1190. Fri Mar 04 07:32:20 2016  commencing in-memory singleton removal
  1191. Fri Mar 04 07:32:21 2016  begin with 43152827 relations and 29400170 unique ideals
  1192. Fri Mar 04 07:32:32 2016  reduce to 42716982 relations and 25621519 ideals in 9 passes
  1193. Fri Mar 04 07:32:32 2016  max relations containing the same ideal: 19
  1194. Fri Mar 04 07:32:42 2016  removing 5403332 relations and 3403332 ideals in 2000000 cliques
  1195. Fri Mar 04 07:32:43 2016  commencing in-memory singleton removal
  1196. Fri Mar 04 07:32:44 2016  begin with 37313650 relations and 25621519 unique ideals
  1197. Fri Mar 04 07:32:53 2016  reduce to 36840907 relations and 21722840 ideals in 8 passes
  1198. Fri Mar 04 07:32:53 2016  max relations containing the same ideal: 18
  1199. Fri Mar 04 07:33:01 2016  removing 3933225 relations and 2475691 ideals in 1457534 cliques
  1200. Fri Mar 04 07:33:02 2016  commencing in-memory singleton removal
  1201. Fri Mar 04 07:33:03 2016  begin with 32907682 relations and 21722840 unique ideals
  1202. Fri Mar 04 07:33:11 2016  reduce to 32534880 relations and 18856451 ideals in 9 passes
  1203. Fri Mar 04 07:33:11 2016  max relations containing the same ideal: 17
  1204. Fri Mar 04 07:33:18 2016  removing 47773 relations and 29877 ideals in 17896 cliques
  1205. Fri Mar 04 07:33:18 2016  commencing in-memory singleton removal
  1206. Fri Mar 04 07:33:19 2016  begin with 32487107 relations and 18856451 unique ideals
  1207. Fri Mar 04 07:33:23 2016  reduce to 32486620 relations and 18826087 ideals in 5 passes
  1208. Fri Mar 04 07:33:23 2016  max relations containing the same ideal: 17
  1209. Fri Mar 04 07:33:24 2016  relations with 0 large ideals: 3617065
  1210. Fri Mar 04 07:33:24 2016  relations with 1 large ideals: 13342868
  1211. Fri Mar 04 07:33:24 2016  relations with 2 large ideals: 12161525
  1212. Fri Mar 04 07:33:24 2016  relations with 3 large ideals: 3081927
  1213. Fri Mar 04 07:33:24 2016  relations with 4 large ideals: 269463
  1214. Fri Mar 04 07:33:24 2016  relations with 5 large ideals: 13032
  1215. Fri Mar 04 07:33:24 2016  relations with 6 large ideals: 739
  1216. Fri Mar 04 07:33:24 2016  relations with 7+ large ideals: 1
  1217. Fri Mar 04 07:33:24 2016  commencing 2-way merge
  1218. Fri Mar 04 07:33:34 2016  reduce to 19308800 relation sets and 5648267 unique ideals
  1219. Fri Mar 04 07:33:34 2016  commencing full merge
  1220. Fri Mar 04 07:33:56 2016  memory use: 663.7 MB
  1221. Fri Mar 04 07:33:58 2016  found 13660466 cycles, need 11776521
  1222. Fri Mar 04 07:33:59 2016  weight of 11776521 cycles is about 480330389 (40.79/cycle)
  1223. Fri Mar 04 07:33:59 2016  distribution of cycle lengths:
  1224. Fri Mar 04 07:33:59 2016  1 relations: 3617065
  1225. Fri Mar 04 07:33:59 2016  2 relations: 2095117
  1226. Fri Mar 04 07:33:59 2016  3 relations: 1861613
  1227. Fri Mar 04 07:33:59 2016  4 relations: 1601463
  1228. Fri Mar 04 07:33:59 2016  5 relations: 1293215
  1229. Fri Mar 04 07:33:59 2016  6 relations: 943405
  1230. Fri Mar 04 07:33:59 2016  7 relations: 363118
  1231. Fri Mar 04 07:33:59 2016  8 relations: 1522
  1232. Fri Mar 04 07:33:59 2016  9 relations: 3
  1233. Fri Mar 04 07:33:59 2016  10+ relations: 0
  1234. Fri Mar 04 07:33:59 2016  heaviest cycle: 9 relations
  1235. Fri Mar 04 07:33:59 2016  matrix not dense enough, retrying
  1236. Fri Mar 04 07:34:01 2016  reading large ideals from disk
  1237. Fri Mar 04 07:38:40 2016  keeping 184540099 ideals with weight <= 40, target excess is 11234607
  1238. Fri Mar 04 07:48:26 2016  memory use: 7127.0 MB
  1239. Fri Mar 04 07:48:26 2016  commencing in-memory singleton removal
  1240. Fri Mar 04 07:48:38 2016  begin with 282946434 relations and 184540099 unique ideals
  1241. Fri Mar 04 07:49:34 2016  reduce to 282946181 relations and 184539846 ideals in 4 passes
  1242. Fri Mar 04 07:49:34 2016  max relations containing the same ideal: 40
  1243. Fri Mar 04 07:50:49 2016  removing 10376306 relations and 8376306 ideals in 2000000 cliques
  1244. Fri Mar 04 07:50:53 2016  commencing in-memory singleton removal
  1245. Fri Mar 04 07:51:05 2016  begin with 272569875 relations and 184539846 unique ideals
  1246. Fri Mar 04 07:52:38 2016  reduce to 272253775 relations and 175844228 ideals in 7 passes
  1247. Fri Mar 04 07:52:38 2016  max relations containing the same ideal: 40
  1248. Fri Mar 04 07:53:50 2016  removing 7815058 relations and 5815058 ideals in 2000000 cliques
  1249. Fri Mar 04 07:53:53 2016  commencing in-memory singleton removal
  1250. Fri Mar 04 07:54:05 2016  begin with 264438717 relations and 175844228 unique ideals
  1251. Fri Mar 04 07:55:34 2016  reduce to 264226915 relations and 169815630 ideals in 7 passes
  1252. Fri Mar 04 07:55:34 2016  max relations containing the same ideal: 40
  1253. Fri Mar 04 07:56:43 2016  removing 7070204 relations and 5070204 ideals in 2000000 cliques
  1254. Fri Mar 04 07:56:47 2016  commencing in-memory singleton removal
  1255. Fri Mar 04 07:56:58 2016  begin with 257156711 relations and 169815630 unique ideals
  1256. Fri Mar 04 07:58:12 2016  reduce to 256977841 relations and 164565038 ideals in 6 passes
  1257. Fri Mar 04 07:58:12 2016  max relations containing the same ideal: 40
  1258. Fri Mar 04 07:59:19 2016  removing 6666444 relations and 4666444 ideals in 2000000 cliques
  1259. Fri Mar 04 07:59:22 2016  commencing in-memory singleton removal
  1260. Fri Mar 04 07:59:33 2016  begin with 250311397 relations and 164565038 unique ideals
  1261. Fri Mar 04 08:00:57 2016  reduce to 250149251 relations and 159735079 ideals in 7 passes
  1262. Fri Mar 04 08:00:57 2016  max relations containing the same ideal: 40
  1263. Fri Mar 04 08:02:02 2016  removing 6403664 relations and 4403664 ideals in 2000000 cliques
  1264. Fri Mar 04 08:02:05 2016  commencing in-memory singleton removal
  1265. Fri Mar 04 08:02:16 2016  begin with 243745587 relations and 159735079 unique ideals
  1266. Fri Mar 04 08:03:26 2016  reduce to 243598673 relations and 155183243 ideals in 6 passes
  1267. Fri Mar 04 08:03:26 2016  max relations containing the same ideal: 40
  1268. Fri Mar 04 08:04:29 2016  removing 6198505 relations and 4198505 ideals in 2000000 cliques
  1269. Fri Mar 04 08:04:33 2016  commencing in-memory singleton removal
  1270. Fri Mar 04 08:04:43 2016  begin with 237400168 relations and 155183243 unique ideals
  1271. Fri Mar 04 08:06:01 2016  reduce to 237259369 relations and 150842661 ideals in 7 passes
  1272. Fri Mar 04 08:06:01 2016  max relations containing the same ideal: 40
  1273. Fri Mar 04 08:07:03 2016  removing 6071867 relations and 4071867 ideals in 2000000 cliques
  1274. Fri Mar 04 08:07:06 2016  commencing in-memory singleton removal
  1275. Fri Mar 04 08:07:16 2016  begin with 231187502 relations and 150842661 unique ideals
  1276. Fri Mar 04 08:08:21 2016  reduce to 231052533 relations and 146634505 ideals in 6 passes
  1277. Fri Mar 04 08:08:21 2016  max relations containing the same ideal: 40
  1278. Fri Mar 04 08:09:22 2016  removing 5954355 relations and 3954355 ideals in 2000000 cliques
  1279. Fri Mar 04 08:09:25 2016  commencing in-memory singleton removal
  1280. Fri Mar 04 08:09:34 2016  begin with 225098178 relations and 146634505 unique ideals
  1281. Fri Mar 04 08:10:38 2016  reduce to 224967632 relations and 142548373 ideals in 6 passes
  1282. Fri Mar 04 08:10:38 2016  max relations containing the same ideal: 40
  1283. Fri Mar 04 08:11:36 2016  removing 5868326 relations and 3868326 ideals in 2000000 cliques
  1284. Fri Mar 04 08:11:39 2016  commencing in-memory singleton removal
  1285. Fri Mar 04 08:11:49 2016  begin with 219099306 relations and 142548373 unique ideals
  1286. Fri Mar 04 08:12:50 2016  reduce to 218974082 relations and 138553557 ideals in 6 passes
  1287. Fri Mar 04 08:12:50 2016  max relations containing the same ideal: 40
  1288. Fri Mar 04 08:13:47 2016  removing 5740431 relations and 3740431 ideals in 2000000 cliques
  1289. Fri Mar 04 08:13:50 2016  commencing in-memory singleton removal
  1290. Fri Mar 04 08:13:59 2016  begin with 213233651 relations and 138553557 unique ideals
  1291. Fri Mar 04 08:14:58 2016  reduce to 213107748 relations and 134685867 ideals in 6 passes
  1292. Fri Mar 04 08:14:58 2016  max relations containing the same ideal: 40
  1293. Fri Mar 04 08:15:53 2016  removing 5746290 relations and 3746290 ideals in 2000000 cliques
  1294. Fri Mar 04 08:15:56 2016  commencing in-memory singleton removal
  1295. Fri Mar 04 08:16:05 2016  begin with 207361458 relations and 134685867 unique ideals
  1296. Fri Mar 04 08:17:02 2016  reduce to 207242801 relations and 130819563 ideals in 6 passes
  1297. Fri Mar 04 08:17:02 2016  max relations containing the same ideal: 40
  1298. Fri Mar 04 08:17:56 2016  removing 5621649 relations and 3621649 ideals in 2000000 cliques
  1299. Fri Mar 04 08:17:59 2016  commencing in-memory singleton removal
  1300. Fri Mar 04 08:18:07 2016  begin with 201621152 relations and 130819563 unique ideals
  1301. Fri Mar 04 08:19:30 2016  reduce to 201495994 relations and 127071293 ideals in 9 passes
  1302. Fri Mar 04 08:19:30 2016  max relations containing the same ideal: 40
  1303. Fri Mar 04 08:20:22 2016  removing 5577014 relations and 3577014 ideals in 2000000 cliques
  1304. Fri Mar 04 08:20:25 2016  commencing in-memory singleton removal
  1305. Fri Mar 04 08:20:33 2016  begin with 195918980 relations and 127071293 unique ideals
  1306. Fri Mar 04 08:21:35 2016  reduce to 195798153 relations and 123371992 ideals in 7 passes
  1307. Fri Mar 04 08:21:35 2016  max relations containing the same ideal: 40
  1308. Fri Mar 04 08:22:26 2016  removing 5527132 relations and 3527132 ideals in 2000000 cliques
  1309. Fri Mar 04 08:22:29 2016  commencing in-memory singleton removal
  1310. Fri Mar 04 08:22:36 2016  begin with 190271021 relations and 123371992 unique ideals
  1311. Fri Mar 04 08:23:28 2016  reduce to 190151120 relations and 119723418 ideals in 6 passes
  1312. Fri Mar 04 08:23:28 2016  max relations containing the same ideal: 39
  1313. Fri Mar 04 08:24:17 2016  removing 5516169 relations and 3516169 ideals in 2000000 cliques
  1314. Fri Mar 04 08:24:20 2016  commencing in-memory singleton removal
  1315. Fri Mar 04 08:24:27 2016  begin with 184634951 relations and 119723418 unique ideals
  1316. Fri Mar 04 08:25:17 2016  reduce to 184517052 relations and 116087773 ideals in 6 passes
  1317. Fri Mar 04 08:25:17 2016  max relations containing the same ideal: 38
  1318. Fri Mar 04 08:26:04 2016  removing 5483916 relations and 3483916 ideals in 2000000 cliques
  1319. Fri Mar 04 08:26:07 2016  commencing in-memory singleton removal
  1320. Fri Mar 04 08:26:14 2016  begin with 179033136 relations and 116087773 unique ideals
  1321. Fri Mar 04 08:27:02 2016  reduce to 178916009 relations and 112485134 ideals in 6 passes
  1322. Fri Mar 04 08:27:02 2016  max relations containing the same ideal: 38
  1323. Fri Mar 04 08:27:48 2016  removing 5374780 relations and 3374780 ideals in 2000000 cliques
  1324. Fri Mar 04 08:27:51 2016  commencing in-memory singleton removal
  1325. Fri Mar 04 08:27:57 2016  begin with 173541229 relations and 112485134 unique ideals
  1326. Fri Mar 04 08:28:44 2016  reduce to 173412298 relations and 108979630 ideals in 6 passes
  1327. Fri Mar 04 08:28:44 2016  max relations containing the same ideal: 38
  1328. Fri Mar 04 08:29:28 2016  removing 5388179 relations and 3388179 ideals in 2000000 cliques
  1329. Fri Mar 04 08:29:31 2016  commencing in-memory singleton removal
  1330. Fri Mar 04 08:29:37 2016  begin with 168024119 relations and 108979630 unique ideals
  1331. Fri Mar 04 08:30:29 2016  reduce to 167903912 relations and 105469511 ideals in 7 passes
  1332. Fri Mar 04 08:30:29 2016  max relations containing the same ideal: 38
  1333. Fri Mar 04 08:31:12 2016  removing 5407218 relations and 3407218 ideals in 2000000 cliques
  1334. Fri Mar 04 08:31:14 2016  commencing in-memory singleton removal
  1335. Fri Mar 04 08:31:21 2016  begin with 162496694 relations and 105469511 unique ideals
  1336. Fri Mar 04 08:32:04 2016  reduce to 162375734 relations and 101939568 ideals in 6 passes
  1337. Fri Mar 04 08:32:04 2016  max relations containing the same ideal: 38
  1338. Fri Mar 04 08:32:45 2016  removing 5319254 relations and 3319254 ideals in 2000000 cliques
  1339. Fri Mar 04 08:32:47 2016  commencing in-memory singleton removal
  1340. Fri Mar 04 08:32:53 2016  begin with 157056480 relations and 101939568 unique ideals
  1341. Fri Mar 04 08:33:34 2016  reduce to 156931151 relations and 98493008 ideals in 6 passes
  1342. Fri Mar 04 08:33:34 2016  max relations containing the same ideal: 37
  1343. Fri Mar 04 08:34:14 2016  removing 5311600 relations and 3311600 ideals in 2000000 cliques
  1344. Fri Mar 04 08:34:16 2016  commencing in-memory singleton removal
  1345. Fri Mar 04 08:34:22 2016  begin with 151619551 relations and 98493008 unique ideals
  1346. Fri Mar 04 08:35:01 2016  reduce to 151490965 relations and 95050725 ideals in 6 passes
  1347. Fri Mar 04 08:35:01 2016  max relations containing the same ideal: 36
  1348. Fri Mar 04 08:35:40 2016  removing 5314573 relations and 3314573 ideals in 2000000 cliques
  1349. Fri Mar 04 08:35:42 2016  commencing in-memory singleton removal
  1350. Fri Mar 04 08:35:48 2016  begin with 146176392 relations and 95050725 unique ideals
  1351. Fri Mar 04 08:36:26 2016  reduce to 146051617 relations and 91609280 ideals in 6 passes
  1352. Fri Mar 04 08:36:26 2016  max relations containing the same ideal: 36
  1353. Fri Mar 04 08:37:02 2016  removing 5256964 relations and 3256964 ideals in 2000000 cliques
  1354. Fri Mar 04 08:37:04 2016  commencing in-memory singleton removal
  1355. Fri Mar 04 08:37:10 2016  begin with 140794653 relations and 91609280 unique ideals
  1356. Fri Mar 04 08:37:46 2016  reduce to 140661611 relations and 88216883 ideals in 6 passes
  1357. Fri Mar 04 08:37:46 2016  max relations containing the same ideal: 36
  1358. Fri Mar 04 08:38:21 2016  removing 5225070 relations and 3225070 ideals in 2000000 cliques
  1359. Fri Mar 04 08:38:23 2016  commencing in-memory singleton removal
  1360. Fri Mar 04 08:38:28 2016  begin with 135436541 relations and 88216883 unique ideals
  1361. Fri Mar 04 08:39:03 2016  reduce to 135297628 relations and 84850428 ideals in 6 passes
  1362. Fri Mar 04 08:39:03 2016  max relations containing the same ideal: 34
  1363. Fri Mar 04 08:39:36 2016  removing 5283809 relations and 3283809 ideals in 2000000 cliques
  1364. Fri Mar 04 08:39:39 2016  commencing in-memory singleton removal
  1365. Fri Mar 04 08:39:43 2016  begin with 130013819 relations and 84850428 unique ideals
  1366. Fri Mar 04 08:40:16 2016  reduce to 129882543 relations and 81432946 ideals in 6 passes
  1367. Fri Mar 04 08:40:16 2016  max relations containing the same ideal: 34
  1368. Fri Mar 04 08:40:49 2016  removing 5229483 relations and 3229483 ideals in 2000000 cliques
  1369. Fri Mar 04 08:40:51 2016  commencing in-memory singleton removal
  1370. Fri Mar 04 08:40:55 2016  begin with 124653060 relations and 81432946 unique ideals
  1371. Fri Mar 04 08:41:31 2016  reduce to 124508530 relations and 78056313 ideals in 7 passes
  1372. Fri Mar 04 08:41:31 2016  max relations containing the same ideal: 33
  1373. Fri Mar 04 08:42:02 2016  removing 5227455 relations and 3227455 ideals in 2000000 cliques
  1374. Fri Mar 04 08:42:04 2016  commencing in-memory singleton removal
  1375. Fri Mar 04 08:42:08 2016  begin with 119281075 relations and 78056313 unique ideals
  1376. Fri Mar 04 08:42:38 2016  reduce to 119135808 relations and 74680854 ideals in 6 passes
  1377. Fri Mar 04 08:42:38 2016  max relations containing the same ideal: 33
  1378. Fri Mar 04 08:43:07 2016  removing 5196296 relations and 3196296 ideals in 2000000 cliques
  1379. Fri Mar 04 08:43:09 2016  commencing in-memory singleton removal
  1380. Fri Mar 04 08:43:13 2016  begin with 113939512 relations and 74680854 unique ideals
  1381. Fri Mar 04 08:43:41 2016  reduce to 113792084 relations and 71334151 ideals in 6 passes
  1382. Fri Mar 04 08:43:41 2016  max relations containing the same ideal: 32
  1383. Fri Mar 04 08:44:09 2016  removing 5177201 relations and 3177201 ideals in 2000000 cliques
  1384. Fri Mar 04 08:44:11 2016  commencing in-memory singleton removal
  1385. Fri Mar 04 08:44:15 2016  begin with 108614883 relations and 71334151 unique ideals
  1386. Fri Mar 04 08:44:41 2016  reduce to 108453214 relations and 67991909 ideals in 6 passes
  1387. Fri Mar 04 08:44:41 2016  max relations containing the same ideal: 32
  1388. Fri Mar 04 08:45:08 2016  removing 5220545 relations and 3220545 ideals in 2000000 cliques
  1389. Fri Mar 04 08:45:10 2016  commencing in-memory singleton removal
  1390. Fri Mar 04 08:45:13 2016  begin with 103232669 relations and 67991909 unique ideals
  1391. Fri Mar 04 08:45:38 2016  reduce to 103070245 relations and 64605481 ideals in 6 passes
  1392. Fri Mar 04 08:45:38 2016  max relations containing the same ideal: 31
  1393. Fri Mar 04 08:46:03 2016  removing 5227614 relations and 3227614 ideals in 2000000 cliques
  1394. Fri Mar 04 08:46:05 2016  commencing in-memory singleton removal
  1395. Fri Mar 04 08:46:08 2016  begin with 97842631 relations and 64605481 unique ideals
  1396. Fri Mar 04 08:46:35 2016  reduce to 97677541 relations and 61209164 ideals in 7 passes
  1397. Fri Mar 04 08:46:35 2016  max relations containing the same ideal: 29
  1398. Fri Mar 04 08:46:58 2016  removing 5152536 relations and 3152536 ideals in 2000000 cliques
  1399. Fri Mar 04 08:47:00 2016  commencing in-memory singleton removal
  1400. Fri Mar 04 08:47:03 2016  begin with 92525005 relations and 61209164 unique ideals
  1401. Fri Mar 04 08:47:25 2016  reduce to 92343306 relations and 57870775 ideals in 6 passes
  1402. Fri Mar 04 08:47:25 2016  max relations containing the same ideal: 28
  1403. Fri Mar 04 08:47:47 2016  removing 5215884 relations and 3215884 ideals in 2000000 cliques
  1404. Fri Mar 04 08:47:49 2016  commencing in-memory singleton removal
  1405. Fri Mar 04 08:47:52 2016  begin with 87127422 relations and 57870775 unique ideals
  1406. Fri Mar 04 08:48:15 2016  reduce to 86938206 relations and 54461246 ideals in 7 passes
  1407. Fri Mar 04 08:48:15 2016  max relations containing the same ideal: 27
  1408. Fri Mar 04 08:48:36 2016  removing 5188265 relations and 3188265 ideals in 2000000 cliques
  1409. Fri Mar 04 08:48:37 2016  commencing in-memory singleton removal
  1410. Fri Mar 04 08:48:40 2016  begin with 81749941 relations and 54461246 unique ideals
  1411. Fri Mar 04 08:49:04 2016  reduce to 81548205 relations and 51066242 ideals in 8 passes
  1412. Fri Mar 04 08:49:04 2016  max relations containing the same ideal: 27
  1413. Fri Mar 04 08:49:24 2016  removing 5251663 relations and 3251663 ideals in 2000000 cliques
  1414. Fri Mar 04 08:49:26 2016  commencing in-memory singleton removal
  1415. Fri Mar 04 08:49:28 2016  begin with 76296542 relations and 51066242 unique ideals
  1416. Fri Mar 04 08:49:53 2016  reduce to 76091084 relations and 47603969 ideals in 9 passes
  1417. Fri Mar 04 08:49:53 2016  max relations containing the same ideal: 26
  1418. Fri Mar 04 08:50:11 2016  removing 5223468 relations and 3223468 ideals in 2000000 cliques
  1419. Fri Mar 04 08:50:13 2016  commencing in-memory singleton removal
  1420. Fri Mar 04 08:50:15 2016  begin with 70867616 relations and 47603969 unique ideals
  1421. Fri Mar 04 08:50:33 2016  reduce to 70656552 relations and 44164087 ideals in 7 passes
  1422. Fri Mar 04 08:50:33 2016  max relations containing the same ideal: 26
  1423. Fri Mar 04 08:50:50 2016  removing 5288353 relations and 3288353 ideals in 2000000 cliques
  1424. Fri Mar 04 08:50:51 2016  commencing in-memory singleton removal
  1425. Fri Mar 04 08:50:53 2016  begin with 65368199 relations and 44164087 unique ideals
  1426. Fri Mar 04 08:51:11 2016  reduce to 65142388 relations and 40644166 ideals in 8 passes
  1427. Fri Mar 04 08:51:11 2016  max relations containing the same ideal: 24
  1428. Fri Mar 04 08:51:27 2016  removing 5261177 relations and 3261177 ideals in 2000000 cliques
  1429. Fri Mar 04 08:51:28 2016  commencing in-memory singleton removal
  1430. Fri Mar 04 08:51:30 2016  begin with 59881211 relations and 40644166 unique ideals
  1431. Fri Mar 04 08:51:44 2016  reduce to 59588747 relations and 37081927 ideals in 7 passes
  1432. Fri Mar 04 08:51:44 2016  max relations containing the same ideal: 24
  1433. Fri Mar 04 08:51:58 2016  removing 5197159 relations and 3197159 ideals in 2000000 cliques
  1434. Fri Mar 04 08:52:00 2016  commencing in-memory singleton removal
  1435. Fri Mar 04 08:52:01 2016  begin with 54391588 relations and 37081927 unique ideals
  1436. Fri Mar 04 08:52:14 2016  reduce to 54005254 relations and 33484740 ideals in 7 passes
  1437. Fri Mar 04 08:52:14 2016  max relations containing the same ideal: 22
  1438. Fri Mar 04 08:52:26 2016  removing 5327792 relations and 3327792 ideals in 2000000 cliques
  1439. Fri Mar 04 08:52:28 2016  commencing in-memory singleton removal
  1440. Fri Mar 04 08:52:29 2016  begin with 48677462 relations and 33484740 unique ideals
  1441. Fri Mar 04 08:52:42 2016  reduce to 48319326 relations and 29784796 ideals in 8 passes
  1442. Fri Mar 04 08:52:42 2016  max relations containing the same ideal: 22
  1443. Fri Mar 04 08:52:53 2016  removing 5436775 relations and 3436775 ideals in 2000000 cliques
  1444. Fri Mar 04 08:52:54 2016  commencing in-memory singleton removal
  1445. Fri Mar 04 08:52:55 2016  begin with 42882551 relations and 29784796 unique ideals
  1446. Fri Mar 04 08:53:05 2016  reduce to 42517394 relations and 25967742 ideals in 7 passes
  1447. Fri Mar 04 08:53:05 2016  max relations containing the same ideal: 21
  1448. Fri Mar 04 08:53:14 2016  removing 5363295 relations and 3363295 ideals in 2000000 cliques
  1449. Fri Mar 04 08:53:16 2016  commencing in-memory singleton removal
  1450. Fri Mar 04 08:53:17 2016  begin with 37154099 relations and 25967742 unique ideals
  1451. Fri Mar 04 08:53:26 2016  reduce to 36644556 relations and 22069878 ideals in 9 passes
  1452. Fri Mar 04 08:53:26 2016  max relations containing the same ideal: 19
  1453. Fri Mar 04 08:53:35 2016  removing 4230695 relations and 2688162 ideals in 1542533 cliques
  1454. Fri Mar 04 08:53:36 2016  commencing in-memory singleton removal
  1455. Fri Mar 04 08:53:37 2016  begin with 32413861 relations and 22069878 unique ideals
  1456. Fri Mar 04 08:53:44 2016  reduce to 32033424 relations and 18983791 ideals in 8 passes
  1457. Fri Mar 04 08:53:44 2016  max relations containing the same ideal: 17
  1458. Fri Mar 04 08:53:51 2016  removing 49050 relations and 31562 ideals in 17488 cliques
  1459. Fri Mar 04 08:53:52 2016  commencing in-memory singleton removal
  1460. Fri Mar 04 08:53:52 2016  begin with 31984374 relations and 18983791 unique ideals
  1461. Fri Mar 04 08:53:57 2016  reduce to 31983917 relations and 18951771 ideals in 5 passes
  1462. Fri Mar 04 08:53:57 2016  max relations containing the same ideal: 17
  1463. Fri Mar 04 08:53:58 2016  relations with 0 large ideals: 3185860
  1464. Fri Mar 04 08:53:58 2016  relations with 1 large ideals: 12409714
  1465. Fri Mar 04 08:53:58 2016  relations with 2 large ideals: 12366151
  1466. Fri Mar 04 08:53:58 2016  relations with 3 large ideals: 3617993
  1467. Fri Mar 04 08:53:58 2016  relations with 4 large ideals: 379118
  1468. Fri Mar 04 08:53:58 2016  relations with 5 large ideals: 23872
  1469. Fri Mar 04 08:53:58 2016  relations with 6 large ideals: 1203
  1470. Fri Mar 04 08:53:58 2016  relations with 7+ large ideals: 6
  1471. Fri Mar 04 08:53:58 2016  commencing 2-way merge
  1472. Fri Mar 04 08:54:07 2016  reduce to 19177419 relation sets and 6145273 unique ideals
  1473. Fri Mar 04 08:54:07 2016  commencing full merge
  1474. Fri Mar 04 08:54:34 2016  memory use: 690.8 MB
  1475. Fri Mar 04 08:54:36 2016  found 13031682 cycles, need 11234807
  1476. Fri Mar 04 08:54:37 2016  weight of 11234807 cycles is about 509599248 (45.36/cycle)
  1477. Fri Mar 04 08:54:37 2016  distribution of cycle lengths:
  1478. Fri Mar 04 08:54:37 2016  1 relations: 3185860
  1479. Fri Mar 04 08:54:37 2016  2 relations: 1820363
  1480. Fri Mar 04 08:54:37 2016  3 relations: 1589161
  1481. Fri Mar 04 08:54:37 2016  4 relations: 1427625
  1482. Fri Mar 04 08:54:37 2016  5 relations: 1236081
  1483. Fri Mar 04 08:54:37 2016  6 relations: 972469
  1484. Fri Mar 04 08:54:37 2016  7 relations: 731018
  1485. Fri Mar 04 08:54:37 2016  8 relations: 270675
  1486. Fri Mar 04 08:54:37 2016  9 relations: 1554
  1487. Fri Mar 04 08:54:37 2016  10+ relations: 1
  1488. Fri Mar 04 08:54:37 2016  heaviest cycle: 10 relations
  1489. Fri Mar 04 08:54:37 2016  commencing cycle optimization
  1490. Fri Mar 04 08:54:44 2016  start with 36616310 relations
  1491. Fri Mar 04 08:55:07 2016  pruned 1358284 relations
  1492. Fri Mar 04 08:55:07 2016  memory use: 1388.5 MB
  1493. Fri Mar 04 08:55:07 2016  distribution of cycle lengths:
  1494. Fri Mar 04 08:55:07 2016  1 relations: 3185860
  1495. Fri Mar 04 08:55:07 2016  2 relations: 1897339
  1496. Fri Mar 04 08:55:07 2016  3 relations: 1711233
  1497. Fri Mar 04 08:55:07 2016  4 relations: 1534482
  1498. Fri Mar 04 08:55:07 2016  5 relations: 1290366
  1499. Fri Mar 04 08:55:07 2016  6 relations: 910147
  1500. Fri Mar 04 08:55:07 2016  7 relations: 550613
  1501. Fri Mar 04 08:55:07 2016  8 relations: 154046
  1502. Fri Mar 04 08:55:07 2016  9 relations: 720
  1503. Fri Mar 04 08:55:07 2016  10+ relations: 1
  1504. Fri Mar 04 08:55:07 2016  heaviest cycle: 10 relations
  1505. Fri Mar 04 08:55:16 2016  RelProcTime: 37641
  1506. Fri Mar 04 08:55:16 2016  
  1507. Fri Mar 04 08:55:16 2016  commencing linear algebra
  1508. Fri Mar 04 08:55:18 2016  read 11234807 cycles
  1509. Fri Mar 04 08:55:27 2016  cycles contain 25686351 unique relations
  1510. Fri Mar 04 09:03:48 2016  read 25686351 relations
  1511. Fri Mar 04 09:04:14 2016  using 20 quadratic characters above 4294917296
  1512. Fri Mar 04 09:06:15 2016  building initial matrix
  1513. Fri Mar 04 09:09:32 2016  memory use: 3721.0 MB
  1514. Fri Mar 04 09:09:37 2016  read 11234807 cycles
  1515. Fri Mar 04 09:09:41 2016  matrix is 11221953 x 11234807 (2367.0 MB) with weight 752229576 (66.96/col)
  1516. Fri Mar 04 09:09:41 2016  sparse part has weight 485682560 (43.23/col)
  1517. Fri Mar 04 09:11:32 2016  filtering completed in 3 passes
  1518. Fri Mar 04 09:11:35 2016  matrix is 10990337 x 10990536 (2335.0 MB) with weight 741606842 (67.48/col)
  1519. Fri Mar 04 09:11:35 2016  sparse part has weight 480214243 (43.69/col)
  1520. Fri Mar 04 09:11:56 2016  matrix starts at (0, 0)
  1521. Fri Mar 04 09:11:59 2016  matrix is 10990337 x 10990536 (2335.0 MB) with weight 741606842 (67.48/col)
  1522. Fri Mar 04 09:11:59 2016  sparse part has weight 480214243 (43.69/col)
  1523. Fri Mar 04 09:11:59 2016  saving the first 48 matrix rows for later
  1524. Fri Mar 04 09:12:01 2016  matrix includes 64 packed rows
  1525. Fri Mar 04 09:12:03 2016  matrix is 10990289 x 10990536 (2229.0 MB) with weight 544144219 (49.51/col)
  1526. Fri Mar 04 09:12:03 2016  sparse part has weight 474401228 (43.16/col)
  1527. Fri Mar 04 09:12:03 2016  using block size 8192 and superblock size 589824 for processor cache size 6144 kB
  1528. Fri Mar 04 09:12:37 2016  commencing Lanczos iteration (4 threads)
  1529. Fri Mar 04 09:12:37 2016  memory use: 1779.8 MB
  1530. Fri Mar 04 09:13:10 2016  linear algebra at 0.0%, ETA 64h20m
  1531. Fri Mar 04 09:13:20 2016  checkpointing every 180000 dimensions
  1532. Sun Mar 06 14:08:41 2016  lanczos halted after 145528 iterations (dim = 9202655)
  1533. Sun Mar 06 14:08:47 2016  BLanczosTime: 191611
  1534. Sun Mar 06 14:08:47 2016  
  1535. Sun Mar 06 14:08:47 2016  commencing square root phase
  1536. Sun Mar 06 14:08:47 2016  handling dependencies 1 to 64
  1537. Sun Mar 06 14:08:47 2016  reading relations for dependency 1
  1538. Sun Mar 06 14:08:47 2016  error: read_cycles can't open dependency file
  1539. Sun Mar 06 17:18:05 2016  
  1540. Sun Mar 06 17:18:05 2016  
  1541. Sun Mar 06 17:18:05 2016  Msieve v. 1.52 (SVN unknown)
  1542. Sun Mar 06 17:18:05 2016  random seeds: 4aa8bdc8 0908ca09
  1543. Sun Mar 06 17:18:05 2016  factoring 19279124408593705964551938007182661475817993340606611931974614884160154214521467864149140038078184005437115174440833901644941046994615286984783459226466824702280498043 (167 digits)
  1544. Sun Mar 06 17:18:06 2016  no P-1/P+1/ECM available, skipping
  1545. Sun Mar 06 17:18:06 2016  commencing number field sieve (167-digit input)
  1546. Sun Mar 06 17:18:06 2016  R0: -327720353491730676473078742013533
  1547. Sun Mar 06 17:18:06 2016  R1: 174549382181399939
  1548. Sun Mar 06 17:18:06 2016  A0: -3023638545710156835094264630064226096320
  1549. Sun Mar 06 17:18:06 2016  A1: 383976428325348753245280153981228
  1550. Sun Mar 06 17:18:06 2016  A2: -827767982714206914636699332
  1551. Sun Mar 06 17:18:06 2016  A3: -159564790585744901760
  1552. Sun Mar 06 17:18:06 2016  A4: 1247620302709
  1553. Sun Mar 06 17:18:06 2016  A5: 5100
  1554. Sun Mar 06 17:18:06 2016  skew 28893708.47, size 3.231e-016, alpha -6.912, combined = 5.656e-013 rroots = 3
  1555. Sun Mar 06 17:18:06 2016  
  1556. Sun Mar 06 17:18:06 2016  commencing linear algebra
  1557. Sun Mar 06 17:18:25 2016  matrix starts at (0, 0)
  1558. Sun Mar 06 17:18:28 2016  matrix is 10990337 x 10990536 (2335.0 MB) with weight 741606842 (67.48/col)
  1559. Sun Mar 06 17:18:28 2016  sparse part has weight 480214243 (43.69/col)
  1560. Sun Mar 06 17:18:28 2016  saving the first 48 matrix rows for later
  1561. Sun Mar 06 17:18:30 2016  matrix includes 64 packed rows
  1562. Sun Mar 06 17:18:32 2016  matrix is 10990289 x 10990536 (2229.0 MB) with weight 544144219 (49.51/col)
  1563. Sun Mar 06 17:18:32 2016  sparse part has weight 474401228 (43.16/col)
  1564. Sun Mar 06 17:18:32 2016  using block size 8192 and superblock size 589824 for processor cache size 6144 kB
  1565. Sun Mar 06 17:19:06 2016  commencing Lanczos iteration (4 threads)
  1566. Sun Mar 06 17:19:06 2016  memory use: 1779.8 MB
  1567. Sun Mar 06 17:19:10 2016  restarting at iteration 145528 (dim = 9202655)
  1568. Sun Mar 06 17:19:39 2016  checkpointing every 180000 dimensions
  1569. Sun Mar 06 17:19:42 2016  linear algebra at 83.7%, ETA 10h28m
  1570. Mon Mar 07 04:41:43 2016  lanczos halted after 173797 iterations (dim = 10990253)
  1571. Mon Mar 07 04:42:02 2016  recovered 14 nontrivial dependencies
  1572. Mon Mar 07 04:42:04 2016  BLanczosTime: 41038
  1573. Mon Mar 07 04:42:04 2016  elapsed time 11:23:59
  1574. Mon Mar 07 05:32:37 2016  
  1575. Mon Mar 07 05:32:37 2016  
  1576. Mon Mar 07 05:32:37 2016  Msieve v. 1.52 (SVN unknown)
  1577. Mon Mar 07 05:32:37 2016  random seeds: 7000e1d8 5643f3a2
  1578. Mon Mar 07 05:32:37 2016  factoring 19279124408593705964551938007182661475817993340606611931974614884160154214521467864149140038078184005437115174440833901644941046994615286984783459226466824702280498043 (167 digits)
  1579. Mon Mar 07 05:32:37 2016  no P-1/P+1/ECM available, skipping
  1580. Mon Mar 07 05:32:37 2016  commencing number field sieve (167-digit input)
  1581. Mon Mar 07 05:32:37 2016  R0: -327720353491730676473078742013533
  1582. Mon Mar 07 05:32:37 2016  R1: 174549382181399939
  1583. Mon Mar 07 05:32:37 2016  A0: -3023638545710156835094264630064226096320
  1584. Mon Mar 07 05:32:37 2016  A1: 383976428325348753245280153981228
  1585. Mon Mar 07 05:32:37 2016  A2: -827767982714206914636699332
  1586. Mon Mar 07 05:32:37 2016  A3: -159564790585744901760
  1587. Mon Mar 07 05:32:37 2016  A4: 1247620302709
  1588. Mon Mar 07 05:32:37 2016  A5: 5100
  1589. Mon Mar 07 05:32:37 2016  skew 28893708.47, size 3.231e-016, alpha -6.912, combined = 5.656e-013 rroots = 3
  1590. Mon Mar 07 05:32:37 2016  
  1591. Mon Mar 07 05:32:37 2016  commencing square root phase
  1592. Mon Mar 07 05:32:37 2016  reading relations for dependency 1
  1593. Mon Mar 07 05:32:40 2016  read 5494627 cycles
  1594. Mon Mar 07 05:32:44 2016  cycles contain 12727036 unique relations
  1595. Mon Mar 07 05:41:13 2016  read 12727036 relations
  1596. Mon Mar 07 05:42:22 2016  multiplying 12727036 relations
  1597. Mon Mar 07 05:59:46 2016  multiply complete, coefficients have about 661.57 million bits
  1598. Mon Mar 07 05:59:55 2016  initial square root is modulo 861589
  1599. Mon Mar 07 06:21:25 2016  sqrtTime: 2928
  1600. Mon Mar 07 06:21:25 2016  prp64 factor: 2678481158977753273679547556455011874186982297657962086452195309
  1601. Mon Mar 07 06:21:25 2016  prp103 factor: 7197782349139844391411466860696285050352067890796094886329086274040158759635570371935098370649864248327
  1602. Mon Mar 07 06:21:25 2016  elapsed time 00:48:48
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top