API tools faq
paste
Advertisement
mersenneforum

C167_3408_1608

mersenneforum
Mar 7th, 2016
462
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 117.28 KB | None | 0 0
raw download clone embed print report
  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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!