API tools faq
paste
Guest User

C224_122_99

a guest
Oct 24th, 2016
395
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 82.31 KB | None | 0 0
raw download clone embed print report
  1. Mon Oct 17 22:53:27 2016
  2. Mon Oct 17 22:53:27 2016
  3. Mon Oct 17 22:53:27 2016 Msieve v. 1.53 (SVN unknown)
  4. Mon Oct 17 22:53:27 2016 random seeds: 08d0dd1c d89baf45
  5. Mon Oct 17 22:53:27 2016 factoring 38851091967512217835043725911916655014720591889966122520270495855112542555869272925900621728501018897593220931653924194149936942751192182656508195226611553256516898525433846419762329179601699217628213221373302937447786613499 (224 digits)
  6. Mon Oct 17 22:53:29 2016 searching for 15-digit factors
  7. Mon Oct 17 22:53:30 2016 commencing number field sieve (224-digit input)
  8. Mon Oct 17 22:53:30 2016 R0: -8179069375972308708891986605443361898001
  9. Mon Oct 17 22:53:30 2016 R1: 2408559008588592882117076121092096
  10. Mon Oct 17 22:53:30 2016 A0: 1815848
  11. Mon Oct 17 22:53:30 2016 A1: 0
  12. Mon Oct 17 22:53:30 2016 A2: 0
  13. Mon Oct 17 22:53:30 2016 A3: 0
  14. Mon Oct 17 22:53:30 2016 A4: 0
  15. Mon Oct 17 22:53:30 2016 A5: 0
  16. Mon Oct 17 22:53:30 2016 A6: 9801
  17. Mon Oct 17 22:53:30 2016 skew 2.39, size 8.046e-13, alpha -0.973, combined = 1.076e-13 rroots = 0
  18. Mon Oct 17 22:53:30 2016
  19. Mon Oct 17 22:53:30 2016 commencing relation filtering
  20. Mon Oct 17 22:53:30 2016 setting target matrix density to 150.0
  21. Mon Oct 17 22:53:30 2016 estimated available RAM is 16335.3 MB
  22. Mon Oct 17 22:53:30 2016 commencing duplicate removal, pass 1
  23. Mon Oct 17 22:54:06 2016 error -9 reading relation 2512997
  24. Mon Oct 17 23:13:28 2016 error -1 reading relation 86957820
  25. Mon Oct 17 23:13:40 2016 error -15 reading relation 87896166
  26. Mon Oct 17 23:14:09 2016 error -9 reading relation 90059180
  27. Mon Oct 17 23:15:51 2016 error -9 reading relation 97603570
  28. Mon Oct 17 23:24:24 2016 error -1 reading relation 135787702
  29. Mon Oct 17 23:27:08 2016 error -15 reading relation 148022122
  30. Mon Oct 17 23:27:29 2016 error -9 reading relation 149571638
  31. Mon Oct 17 23:31:49 2016 error -1 reading relation 168741976
  32. Mon Oct 17 23:31:49 2016 error -9 reading relation 168743032
  33. Mon Oct 17 23:31:49 2016 error -9 reading relation 168743585
  34. Mon Oct 17 23:36:47 2016 error -9 reading relation 190813931
  35. Mon Oct 17 23:42:08 2016 error -15 reading relation 214664765
  36. Mon Oct 17 23:44:08 2016 error -15 reading relation 223498900
  37. Mon Oct 17 23:44:11 2016 error -5 reading relation 223729700
  38. Mon Oct 17 23:44:15 2016 error -15 reading relation 224065248
  39. Mon Oct 17 23:44:15 2016 error -1 reading relation 224066492
  40. Mon Oct 17 23:44:18 2016 error -15 reading relation 224246628
  41. Mon Oct 17 23:44:20 2016 error -1 reading relation 224366032
  42. Mon Oct 17 23:44:32 2016 error -9 reading relation 225222525
  43. Mon Oct 17 23:44:32 2016 error -9 reading relation 225223705
  44. Mon Oct 17 23:44:33 2016 error -1 reading relation 225358345
  45. Mon Oct 17 23:46:39 2016 error -1 reading relation 234638341
  46. Mon Oct 17 23:48:52 2016 error -9 reading relation 244537431
  47. Mon Oct 17 23:48:52 2016 error -9 reading relation 244537719
  48. Mon Oct 17 23:49:03 2016 error -1 reading relation 245300031
  49. Mon Oct 17 23:49:34 2016 error -1 reading relation 247636747
  50. Mon Oct 17 23:50:50 2016 error -9 reading relation 253227907
  51. Mon Oct 17 23:57:29 2016 error -9 reading relation 282561405
  52. Mon Oct 17 23:57:30 2016 error -1 reading relation 282635488
  53. Tue Oct 18 00:08:17 2016 error -9 reading relation 330337300
  54. Tue Oct 18 00:08:17 2016 error -5 reading relation 330339153
  55. Tue Oct 18 00:11:58 2016 error -9 reading relation 346716413
  56. Tue Oct 18 00:13:53 2016 error -9 reading relation 355325088
  57. Tue Oct 18 00:15:11 2016 error -5 reading relation 361063704
  58. Tue Oct 18 00:17:04 2016 error -9 reading relation 369296109
  59. Tue Oct 18 00:17:45 2016 error -9 reading relation 372256049
  60. Tue Oct 18 00:17:47 2016 error -9 reading relation 372377737
  61. Tue Oct 18 00:23:59 2016 error -15 reading relation 399993619
  62. Tue Oct 18 00:24:18 2016 error -15 reading relation 401349512
  63. Tue Oct 18 00:24:56 2016 error -9 reading relation 404054589
  64. Tue Oct 18 00:25:01 2016 error -15 reading relation 404369647
  65. Tue Oct 18 00:25:27 2016 error -9 reading relation 406163498
  66. Tue Oct 18 00:28:01 2016 error -1 reading relation 417374160
  67. Tue Oct 18 00:28:36 2016 error -9 reading relation 419949709
  68. Tue Oct 18 00:28:38 2016 error -9 reading relation 420059958
  69. Tue Oct 18 00:28:58 2016 error -15 reading relation 421467725
  70. Tue Oct 18 00:31:35 2016 error -15 reading relation 430942418
  71. Tue Oct 18 00:37:04 2016 error -1 reading relation 454544154
  72. Tue Oct 18 00:38:33 2016 error -15 reading relation 460862764
  73. Tue Oct 18 00:39:30 2016 error -9 reading relation 465018277
  74. Tue Oct 18 00:39:49 2016 error -9 reading relation 466488221
  75. Tue Oct 18 00:40:38 2016 error -1 reading relation 470117145
  76. Tue Oct 18 00:40:47 2016 error -9 reading relation 470777249
  77. Tue Oct 18 00:40:47 2016 error -15 reading relation 470781977
  78. Tue Oct 18 00:42:09 2016 error -9 reading relation 476935042
  79. Tue Oct 18 00:42:12 2016 error -15 reading relation 477201062
  80. Tue Oct 18 00:42:14 2016 error -9 reading relation 477320864
  81. Tue Oct 18 00:42:22 2016 error -15 reading relation 477957012
  82. Tue Oct 18 00:47:25 2016 error -9 reading relation 500774596
  83. Tue Oct 18 00:48:18 2016 skipped 391 relations with b > 2^32
  84. Tue Oct 18 00:48:18 2016 skipped 53 relations with composite factors
  85. Tue Oct 18 00:48:18 2016 found 110896707 hash collisions in 504724618 relations
  86. Tue Oct 18 00:48:45 2016 added 1219305 free relations
  87. Tue Oct 18 00:48:45 2016 commencing duplicate removal, pass 2
  88. Tue Oct 18 01:08:23 2016 found 97540718 duplicates and 408403205 unique relations
  89. Tue Oct 18 01:08:23 2016 memory use: 2643.0 MB
  90. Tue Oct 18 01:08:23 2016 reading ideals above 199950336
  91. Tue Oct 18 01:08:23 2016 commencing singleton removal, initial pass
  92. Tue Oct 18 02:22:59 2016 memory use: 6024.0 MB
  93. Tue Oct 18 02:22:59 2016 reading all ideals from disk
  94. Tue Oct 18 02:24:32 2016 memory use: 7074.5 MB
  95. Tue Oct 18 02:24:47 2016 commencing in-memory singleton removal
  96. Tue Oct 18 02:25:02 2016 begin with 408403205 relations and 318794788 unique ideals
  97. Tue Oct 18 02:27:47 2016 reduce to 283688771 relations and 182666066 ideals in 13 passes
  98. Tue Oct 18 02:27:47 2016 max relations containing the same ideal: 55
  99. Tue Oct 18 02:28:10 2016 reading ideals above 720000
  100. Tue Oct 18 02:28:11 2016 commencing singleton removal, initial pass
  101. Tue Oct 18 03:33:59 2016 memory use: 5512.0 MB
  102. Tue Oct 18 03:34:00 2016 reading large ideals from disk
  103. Tue Oct 18 03:39:19 2016 keeping 186142225 ideals with weight <= 20, target excess is 18676126
  104. Tue Oct 18 03:45:13 2016 memory use: 7161.5 MB
  105. Tue Oct 18 03:45:13 2016 commencing in-memory singleton removal
  106. Tue Oct 18 03:45:24 2016 begin with 283688771 relations and 186142225 unique ideals
  107. Tue Oct 18 03:46:12 2016 reduce to 283688650 relations and 186142104 ideals in 4 passes
  108. Tue Oct 18 03:46:12 2016 max relations containing the same ideal: 20
  109. Tue Oct 18 03:47:19 2016 removing 10685605 relations and 8685605 ideals in 2000000 cliques
  110. Tue Oct 18 03:47:24 2016 commencing in-memory singleton removal
  111. Tue Oct 18 03:47:34 2016 begin with 273003045 relations and 186142104 unique ideals
  112. Tue Oct 18 03:49:07 2016 reduce to 272658466 relations and 177108445 ideals in 8 passes
  113. Tue Oct 18 03:49:07 2016 max relations containing the same ideal: 20
  114. Tue Oct 18 03:50:11 2016 removing 8035645 relations and 6035645 ideals in 2000000 cliques
  115. Tue Oct 18 03:50:15 2016 commencing in-memory singleton removal
  116. Tue Oct 18 03:50:25 2016 begin with 264622821 relations and 177108445 unique ideals
  117. Tue Oct 18 03:51:44 2016 reduce to 264391514 relations and 170839518 ideals in 7 passes
  118. Tue Oct 18 03:51:44 2016 max relations containing the same ideal: 20
  119. Tue Oct 18 03:52:47 2016 removing 7234758 relations and 5234758 ideals in 2000000 cliques
  120. Tue Oct 18 03:52:50 2016 commencing in-memory singleton removal
  121. Tue Oct 18 03:53:00 2016 begin with 257156756 relations and 170839518 unique ideals
  122. Tue Oct 18 03:54:05 2016 reduce to 256956640 relations and 165403029 ideals in 6 passes
  123. Tue Oct 18 03:54:05 2016 max relations containing the same ideal: 20
  124. Tue Oct 18 03:55:05 2016 removing 6863720 relations and 4863720 ideals in 2000000 cliques
  125. Tue Oct 18 03:55:09 2016 commencing in-memory singleton removal
  126. Tue Oct 18 03:55:18 2016 begin with 250092920 relations and 165403029 unique ideals
  127. Tue Oct 18 03:56:31 2016 reduce to 249918373 relations and 160363392 ideals in 7 passes
  128. Tue Oct 18 03:56:31 2016 max relations containing the same ideal: 20
  129. Tue Oct 18 03:57:30 2016 removing 6538443 relations and 4538443 ideals in 2000000 cliques
  130. Tue Oct 18 03:57:33 2016 commencing in-memory singleton removal
  131. Tue Oct 18 03:57:42 2016 begin with 243379930 relations and 160363392 unique ideals
  132. Tue Oct 18 03:58:44 2016 reduce to 243209868 relations and 155653473 ideals in 6 passes
  133. Tue Oct 18 03:58:44 2016 max relations containing the same ideal: 20
  134. Tue Oct 18 03:59:41 2016 removing 6361961 relations and 4361961 ideals in 2000000 cliques
  135. Tue Oct 18 03:59:44 2016 commencing in-memory singleton removal
  136. Tue Oct 18 03:59:53 2016 begin with 236847907 relations and 155653473 unique ideals
  137. Tue Oct 18 04:01:02 2016 reduce to 236689585 relations and 151131844 ideals in 7 passes
  138. Tue Oct 18 04:01:02 2016 max relations containing the same ideal: 20
  139. Tue Oct 18 04:01:57 2016 removing 6304307 relations and 4304307 ideals in 2000000 cliques
  140. Tue Oct 18 04:02:00 2016 commencing in-memory singleton removal
  141. Tue Oct 18 04:02:09 2016 begin with 230385278 relations and 151131844 unique ideals
  142. Tue Oct 18 04:03:15 2016 reduce to 230236978 relations and 146677881 ideals in 7 passes
  143. Tue Oct 18 04:03:15 2016 max relations containing the same ideal: 20
  144. Tue Oct 18 04:04:09 2016 removing 6126755 relations and 4126755 ideals in 2000000 cliques
  145. Tue Oct 18 04:04:12 2016 commencing in-memory singleton removal
  146. Tue Oct 18 04:04:20 2016 begin with 224110223 relations and 146677881 unique ideals
  147. Tue Oct 18 04:05:24 2016 reduce to 223962382 relations and 142401923 ideals in 7 passes
  148. Tue Oct 18 04:05:24 2016 max relations containing the same ideal: 20
  149. Tue Oct 18 04:06:16 2016 removing 5970599 relations and 3970599 ideals in 2000000 cliques
  150. Tue Oct 18 04:06:19 2016 commencing in-memory singleton removal
  151. Tue Oct 18 04:06:27 2016 begin with 217991783 relations and 142401923 unique ideals
  152. Tue Oct 18 04:07:20 2016 reduce to 217843420 relations and 138281455 ideals in 6 passes
  153. Tue Oct 18 04:07:20 2016 max relations containing the same ideal: 20
  154. Tue Oct 18 04:08:11 2016 removing 5967396 relations and 3967396 ideals in 2000000 cliques
  155. Tue Oct 18 04:08:14 2016 commencing in-memory singleton removal
  156. Tue Oct 18 04:08:22 2016 begin with 211876024 relations and 138281455 unique ideals
  157. Tue Oct 18 04:09:13 2016 reduce to 211736676 relations and 134173206 ideals in 6 passes
  158. Tue Oct 18 04:09:13 2016 max relations containing the same ideal: 20
  159. Tue Oct 18 04:10:02 2016 removing 5879817 relations and 3879817 ideals in 2000000 cliques
  160. Tue Oct 18 04:10:05 2016 commencing in-memory singleton removal
  161. Tue Oct 18 04:10:12 2016 begin with 205856859 relations and 134173206 unique ideals
  162. Tue Oct 18 04:11:10 2016 reduce to 205719596 relations and 130154662 ideals in 7 passes
  163. Tue Oct 18 04:11:10 2016 max relations containing the same ideal: 20
  164. Tue Oct 18 04:11:58 2016 removing 5737060 relations and 3737060 ideals in 2000000 cliques
  165. Tue Oct 18 04:12:01 2016 commencing in-memory singleton removal
  166. Tue Oct 18 04:12:08 2016 begin with 199982536 relations and 130154662 unique ideals
  167. Tue Oct 18 04:13:03 2016 reduce to 199819526 relations and 126252685 ideals in 7 passes
  168. Tue Oct 18 04:13:03 2016 max relations containing the same ideal: 20
  169. Tue Oct 18 04:13:50 2016 removing 5740868 relations and 3740868 ideals in 2000000 cliques
  170. Tue Oct 18 04:13:52 2016 commencing in-memory singleton removal
  171. Tue Oct 18 04:13:59 2016 begin with 194078658 relations and 126252685 unique ideals
  172. Tue Oct 18 04:14:45 2016 reduce to 193931809 relations and 122363262 ideals in 6 passes
  173. Tue Oct 18 04:14:45 2016 max relations containing the same ideal: 20
  174. Tue Oct 18 04:15:30 2016 removing 5802419 relations and 3802419 ideals in 2000000 cliques
  175. Tue Oct 18 04:15:33 2016 commencing in-memory singleton removal
  176. Tue Oct 18 04:15:39 2016 begin with 188129390 relations and 122363262 unique ideals
  177. Tue Oct 18 04:16:24 2016 reduce to 187994013 relations and 118423759 ideals in 6 passes
  178. Tue Oct 18 04:16:24 2016 max relations containing the same ideal: 20
  179. Tue Oct 18 04:17:09 2016 removing 5689996 relations and 3689996 ideals in 2000000 cliques
  180. Tue Oct 18 04:17:12 2016 commencing in-memory singleton removal
  181. Tue Oct 18 04:17:18 2016 begin with 182304017 relations and 118423759 unique ideals
  182. Tue Oct 18 04:18:09 2016 reduce to 182165770 relations and 114593802 ideals in 7 passes
  183. Tue Oct 18 04:18:09 2016 max relations containing the same ideal: 20
  184. Tue Oct 18 04:18:52 2016 removing 5630674 relations and 3630674 ideals in 2000000 cliques
  185. Tue Oct 18 04:18:55 2016 commencing in-memory singleton removal
  186. Tue Oct 18 04:19:01 2016 begin with 176535096 relations and 114593802 unique ideals
  187. Tue Oct 18 04:19:43 2016 reduce to 176386563 relations and 110812504 ideals in 6 passes
  188. Tue Oct 18 04:19:43 2016 max relations containing the same ideal: 20
  189. Tue Oct 18 04:20:24 2016 removing 5518068 relations and 3518068 ideals in 2000000 cliques
  190. Tue Oct 18 04:20:26 2016 commencing in-memory singleton removal
  191. Tue Oct 18 04:20:32 2016 begin with 170868495 relations and 110812504 unique ideals
  192. Tue Oct 18 04:21:11 2016 reduce to 170700473 relations and 107124065 ideals in 6 passes
  193. Tue Oct 18 04:21:11 2016 max relations containing the same ideal: 20
  194. Tue Oct 18 04:21:51 2016 removing 5618878 relations and 3618878 ideals in 2000000 cliques
  195. Tue Oct 18 04:21:53 2016 commencing in-memory singleton removal
  196. Tue Oct 18 04:21:59 2016 begin with 165081595 relations and 107124065 unique ideals
  197. Tue Oct 18 04:22:43 2016 reduce to 164936277 relations and 103357731 ideals in 7 passes
  198. Tue Oct 18 04:22:43 2016 max relations containing the same ideal: 20
  199. Tue Oct 18 04:23:21 2016 removing 5648304 relations and 3648304 ideals in 2000000 cliques
  200. Tue Oct 18 04:23:23 2016 commencing in-memory singleton removal
  201. Tue Oct 18 04:23:28 2016 begin with 159287973 relations and 103357731 unique ideals
  202. Tue Oct 18 04:24:10 2016 reduce to 159146439 relations and 99565832 ideals in 7 passes
  203. Tue Oct 18 04:24:10 2016 max relations containing the same ideal: 20
  204. Tue Oct 18 04:24:47 2016 removing 5446684 relations and 3446684 ideals in 2000000 cliques
  205. Tue Oct 18 04:24:49 2016 commencing in-memory singleton removal
  206. Tue Oct 18 04:24:54 2016 begin with 153699755 relations and 99565832 unique ideals
  207. Tue Oct 18 04:25:34 2016 reduce to 153525825 relations and 95942618 ideals in 7 passes
  208. Tue Oct 18 04:25:34 2016 max relations containing the same ideal: 20
  209. Tue Oct 18 04:26:09 2016 removing 5610829 relations and 3610829 ideals in 2000000 cliques
  210. Tue Oct 18 04:26:12 2016 commencing in-memory singleton removal
  211. Tue Oct 18 04:26:16 2016 begin with 147914996 relations and 95942618 unique ideals
  212. Tue Oct 18 04:26:55 2016 reduce to 147769973 relations and 92184373 ideals in 7 passes
  213. Tue Oct 18 04:26:55 2016 max relations containing the same ideal: 20
  214. Tue Oct 18 04:27:28 2016 removing 5419028 relations and 3419028 ideals in 2000000 cliques
  215. Tue Oct 18 04:27:31 2016 commencing in-memory singleton removal
  216. Tue Oct 18 04:27:35 2016 begin with 142350945 relations and 92184373 unique ideals
  217. Tue Oct 18 04:28:22 2016 reduce to 142171697 relations and 88582977 ideals in 9 passes
  218. Tue Oct 18 04:28:22 2016 max relations containing the same ideal: 20
  219. Tue Oct 18 04:28:54 2016 removing 5494688 relations and 3494688 ideals in 2000000 cliques
  220. Tue Oct 18 04:28:56 2016 commencing in-memory singleton removal
  221. Tue Oct 18 04:29:01 2016 begin with 136677009 relations and 88582977 unique ideals
  222. Tue Oct 18 04:29:40 2016 reduce to 136508227 relations and 84916660 ideals in 8 passes
  223. Tue Oct 18 04:29:40 2016 max relations containing the same ideal: 20
  224. Tue Oct 18 04:30:11 2016 removing 5504953 relations and 3504953 ideals in 2000000 cliques
  225. Tue Oct 18 04:30:13 2016 commencing in-memory singleton removal
  226. Tue Oct 18 04:30:17 2016 begin with 131003274 relations and 84916660 unique ideals
  227. Tue Oct 18 04:30:50 2016 reduce to 130820566 relations and 81225772 ideals in 7 passes
  228. Tue Oct 18 04:30:50 2016 max relations containing the same ideal: 20
  229. Tue Oct 18 04:31:21 2016 removing 5502785 relations and 3502785 ideals in 2000000 cliques
  230. Tue Oct 18 04:31:23 2016 commencing in-memory singleton removal
  231. Tue Oct 18 04:31:27 2016 begin with 125317781 relations and 81225772 unique ideals
  232. Tue Oct 18 04:31:58 2016 reduce to 125136569 relations and 77538534 ideals in 7 passes
  233. Tue Oct 18 04:31:58 2016 max relations containing the same ideal: 19
  234. Tue Oct 18 04:32:26 2016 removing 5375498 relations and 3375498 ideals in 2000000 cliques
  235. Tue Oct 18 04:32:28 2016 commencing in-memory singleton removal
  236. Tue Oct 18 04:32:32 2016 begin with 119761071 relations and 77538534 unique ideals
  237. Tue Oct 18 04:33:01 2016 reduce to 119566661 relations and 73964812 ideals in 7 passes
  238. Tue Oct 18 04:33:01 2016 max relations containing the same ideal: 19
  239. Tue Oct 18 04:33:28 2016 removing 5529281 relations and 3529281 ideals in 2000000 cliques
  240. Tue Oct 18 04:33:30 2016 commencing in-memory singleton removal
  241. Tue Oct 18 04:33:33 2016 begin with 114037380 relations and 73964812 unique ideals
  242. Tue Oct 18 04:34:05 2016 reduce to 113831342 relations and 70225202 ideals in 8 passes
  243. Tue Oct 18 04:34:05 2016 max relations containing the same ideal: 19
  244. Tue Oct 18 04:34:30 2016 removing 5423024 relations and 3423024 ideals in 2000000 cliques
  245. Tue Oct 18 04:34:32 2016 commencing in-memory singleton removal
  246. Tue Oct 18 04:34:35 2016 begin with 108408318 relations and 70225202 unique ideals
  247. Tue Oct 18 04:35:01 2016 reduce to 108208741 relations and 66598430 ideals in 7 passes
  248. Tue Oct 18 04:35:01 2016 max relations containing the same ideal: 19
  249. Tue Oct 18 04:35:25 2016 removing 5505623 relations and 3505623 ideals in 2000000 cliques
  250. Tue Oct 18 04:35:27 2016 commencing in-memory singleton removal
  251. Tue Oct 18 04:35:30 2016 begin with 102703118 relations and 66598430 unique ideals
  252. Tue Oct 18 04:35:58 2016 reduce to 102503367 relations and 62889026 ideals in 8 passes
  253. Tue Oct 18 04:35:58 2016 max relations containing the same ideal: 19
  254. Tue Oct 18 04:36:20 2016 removing 5527633 relations and 3527633 ideals in 2000000 cliques
  255. Tue Oct 18 04:36:22 2016 commencing in-memory singleton removal
  256. Tue Oct 18 04:36:25 2016 begin with 96975734 relations and 62889026 unique ideals
  257. Tue Oct 18 04:36:47 2016 reduce to 96774840 relations and 59156505 ideals in 7 passes
  258. Tue Oct 18 04:36:47 2016 max relations containing the same ideal: 18
  259. Tue Oct 18 04:37:09 2016 removing 5519004 relations and 3519004 ideals in 2000000 cliques
  260. Tue Oct 18 04:37:11 2016 commencing in-memory singleton removal
  261. Tue Oct 18 04:37:13 2016 begin with 91255836 relations and 59156505 unique ideals
  262. Tue Oct 18 04:37:37 2016 reduce to 91066900 relations and 55444781 ideals in 8 passes
  263. Tue Oct 18 04:37:37 2016 max relations containing the same ideal: 18
  264. Tue Oct 18 04:37:56 2016 removing 5530817 relations and 3530817 ideals in 2000000 cliques
  265. Tue Oct 18 04:37:58 2016 commencing in-memory singleton removal
  266. Tue Oct 18 04:38:00 2016 begin with 85536083 relations and 55444781 unique ideals
  267. Tue Oct 18 04:38:22 2016 reduce to 85265623 relations and 51637653 ideals in 8 passes
  268. Tue Oct 18 04:38:22 2016 max relations containing the same ideal: 18
  269. Tue Oct 18 04:38:41 2016 removing 5358593 relations and 3358593 ideals in 2000000 cliques
  270. Tue Oct 18 04:38:43 2016 commencing in-memory singleton removal
  271. Tue Oct 18 04:38:45 2016 begin with 79907030 relations and 51637653 unique ideals
  272. Tue Oct 18 04:39:04 2016 reduce to 79524444 relations and 47885804 ideals in 8 passes
  273. Tue Oct 18 04:39:04 2016 max relations containing the same ideal: 17
  274. Tue Oct 18 04:39:22 2016 removing 5456490 relations and 3456490 ideals in 2000000 cliques
  275. Tue Oct 18 04:39:24 2016 commencing in-memory singleton removal
  276. Tue Oct 18 04:39:26 2016 begin with 74067954 relations and 47885804 unique ideals
  277. Tue Oct 18 04:39:43 2016 reduce to 73757453 relations and 44109297 ideals in 8 passes
  278. Tue Oct 18 04:39:43 2016 max relations containing the same ideal: 17
  279. Tue Oct 18 04:40:00 2016 removing 5603151 relations and 3603151 ideals in 2000000 cliques
  280. Tue Oct 18 04:40:01 2016 commencing in-memory singleton removal
  281. Tue Oct 18 04:40:03 2016 begin with 68154302 relations and 44109297 unique ideals
  282. Tue Oct 18 04:40:19 2016 reduce to 67856093 relations and 40197910 ideals in 8 passes
  283. Tue Oct 18 04:40:19 2016 max relations containing the same ideal: 17
  284. Tue Oct 18 04:40:34 2016 removing 5455982 relations and 3455982 ideals in 2000000 cliques
  285. Tue Oct 18 04:40:35 2016 commencing in-memory singleton removal
  286. Tue Oct 18 04:40:37 2016 begin with 62400111 relations and 40197910 unique ideals
  287. Tue Oct 18 04:40:53 2016 reduce to 62002316 relations and 36329850 ideals in 9 passes
  288. Tue Oct 18 04:40:53 2016 max relations containing the same ideal: 16
  289. Tue Oct 18 04:41:06 2016 removing 5551678 relations and 3551678 ideals in 2000000 cliques
  290. Tue Oct 18 04:41:08 2016 commencing in-memory singleton removal
  291. Tue Oct 18 04:41:09 2016 begin with 56450638 relations and 36329850 unique ideals
  292. Tue Oct 18 04:41:23 2016 reduce to 56052587 relations and 32365154 ideals in 9 passes
  293. Tue Oct 18 04:41:23 2016 max relations containing the same ideal: 15
  294. Tue Oct 18 04:41:35 2016 removing 5569334 relations and 3569334 ideals in 2000000 cliques
  295. Tue Oct 18 04:41:37 2016 commencing in-memory singleton removal
  296. Tue Oct 18 04:41:38 2016 begin with 50483253 relations and 32365154 unique ideals
  297. Tue Oct 18 04:41:50 2016 reduce to 50070365 relations and 28365421 ideals in 9 passes
  298. Tue Oct 18 04:41:50 2016 max relations containing the same ideal: 15
  299. Tue Oct 18 04:42:00 2016 removing 104242 relations and 63605 ideals in 40637 cliques
  300. Tue Oct 18 04:42:00 2016 commencing in-memory singleton removal
  301. Tue Oct 18 04:42:01 2016 begin with 49966123 relations and 28365421 unique ideals
  302. Tue Oct 18 04:42:08 2016 reduce to 49964962 relations and 28300654 ideals in 5 passes
  303. Tue Oct 18 04:42:08 2016 max relations containing the same ideal: 15
  304. Tue Oct 18 04:42:10 2016 relations with 0 large ideals: 6330153
  305. Tue Oct 18 04:42:10 2016 relations with 1 large ideals: 20828828
  306. Tue Oct 18 04:42:10 2016 relations with 2 large ideals: 18740071
  307. Tue Oct 18 04:42:10 2016 relations with 3 large ideals: 3816507
  308. Tue Oct 18 04:42:10 2016 relations with 4 large ideals: 198047
  309. Tue Oct 18 04:42:10 2016 relations with 5 large ideals: 17700
  310. Tue Oct 18 04:42:10 2016 relations with 6 large ideals: 28817
  311. Tue Oct 18 04:42:10 2016 relations with 7+ large ideals: 4839
  312. Tue Oct 18 04:42:10 2016 commencing 2-way merge
  313. Tue Oct 18 04:42:24 2016 reduce to 29583589 relation sets and 7919281 unique ideals
  314. Tue Oct 18 04:42:24 2016 commencing full merge
  315. Tue Oct 18 04:42:53 2016 memory use: 976.5 MB
  316. Tue Oct 18 04:42:56 2016 found 21664289 cycles, need 18676326
  317. Tue Oct 18 04:42:57 2016 weight of 18676326 cycles is about 726946222 (38.92/cycle)
  318. Tue Oct 18 04:42:57 2016 distribution of cycle lengths:
  319. Tue Oct 18 04:42:57 2016 1 relations: 6330153
  320. Tue Oct 18 04:42:57 2016 2 relations: 3458172
  321. Tue Oct 18 04:42:57 2016 3 relations: 3161519
  322. Tue Oct 18 04:42:57 2016 4 relations: 2617613
  323. Tue Oct 18 04:42:57 2016 5 relations: 1975725
  324. Tue Oct 18 04:42:57 2016 6 relations: 1129486
  325. Tue Oct 18 04:42:57 2016 7 relations: 3658
  326. Tue Oct 18 04:42:57 2016 8 relations: 0
  327. Tue Oct 18 04:42:57 2016 9 relations: 0
  328. Tue Oct 18 04:42:57 2016 10+ relations: 0
  329. Tue Oct 18 04:42:57 2016 heaviest cycle: 7 relations
  330. Tue Oct 18 04:42:57 2016 matrix not dense enough, retrying
  331. Tue Oct 18 04:43:02 2016 reading large ideals from disk
  332. Tue Oct 18 04:48:10 2016 keeping 186885325 ideals with weight <= 25, target excess is 17933026
  333. Tue Oct 18 04:54:11 2016 memory use: 7161.5 MB
  334. Tue Oct 18 04:54:11 2016 commencing in-memory singleton removal
  335. Tue Oct 18 04:54:22 2016 begin with 283688771 relations and 186885325 unique ideals
  336. Tue Oct 18 04:55:11 2016 reduce to 283688650 relations and 186885204 ideals in 4 passes
  337. Tue Oct 18 04:55:11 2016 max relations containing the same ideal: 25
  338. Tue Oct 18 04:56:20 2016 removing 10710176 relations and 8710176 ideals in 2000000 cliques
  339. Tue Oct 18 04:56:24 2016 commencing in-memory singleton removal
  340. Tue Oct 18 04:56:35 2016 begin with 272978474 relations and 186885204 unique ideals
  341. Tue Oct 18 04:58:10 2016 reduce to 272634257 relations and 177827339 ideals in 8 passes
  342. Tue Oct 18 04:58:10 2016 max relations containing the same ideal: 25
  343. Tue Oct 18 04:59:15 2016 removing 8051631 relations and 6051631 ideals in 2000000 cliques
  344. Tue Oct 18 04:59:19 2016 commencing in-memory singleton removal
  345. Tue Oct 18 04:59:29 2016 begin with 264582626 relations and 177827339 unique ideals
  346. Tue Oct 18 05:00:49 2016 reduce to 264352447 relations and 171543556 ideals in 7 passes
  347. Tue Oct 18 05:00:49 2016 max relations containing the same ideal: 25
  348. Tue Oct 18 05:01:52 2016 removing 7252309 relations and 5252309 ideals in 2000000 cliques
  349. Tue Oct 18 05:01:56 2016 commencing in-memory singleton removal
  350. Tue Oct 18 05:02:05 2016 begin with 257100138 relations and 171543556 unique ideals
  351. Tue Oct 18 05:03:12 2016 reduce to 256901094 relations and 166090544 ideals in 6 passes
  352. Tue Oct 18 05:03:12 2016 max relations containing the same ideal: 25
  353. Tue Oct 18 05:04:13 2016 removing 6891936 relations and 4891936 ideals in 2000000 cliques
  354. Tue Oct 18 05:04:17 2016 commencing in-memory singleton removal
  355. Tue Oct 18 05:04:26 2016 begin with 250009158 relations and 166090544 unique ideals
  356. Tue Oct 18 05:05:41 2016 reduce to 249837189 relations and 161025252 ideals in 7 passes
  357. Tue Oct 18 05:05:41 2016 max relations containing the same ideal: 25
  358. Tue Oct 18 05:06:41 2016 removing 6584634 relations and 4584634 ideals in 2000000 cliques
  359. Tue Oct 18 05:06:44 2016 commencing in-memory singleton removal
  360. Tue Oct 18 05:06:53 2016 begin with 243252555 relations and 161025252 unique ideals
  361. Tue Oct 18 05:08:05 2016 reduce to 243086383 relations and 156273072 ideals in 7 passes
  362. Tue Oct 18 05:08:05 2016 max relations containing the same ideal: 25
  363. Tue Oct 18 05:09:03 2016 removing 6317123 relations and 4317123 ideals in 2000000 cliques
  364. Tue Oct 18 05:09:06 2016 commencing in-memory singleton removal
  365. Tue Oct 18 05:09:15 2016 begin with 236769260 relations and 156273072 unique ideals
  366. Tue Oct 18 05:10:25 2016 reduce to 236604590 relations and 151789788 ideals in 7 passes
  367. Tue Oct 18 05:10:25 2016 max relations containing the same ideal: 25
  368. Tue Oct 18 05:11:22 2016 removing 6323330 relations and 4323330 ideals in 2000000 cliques
  369. Tue Oct 18 05:11:25 2016 commencing in-memory singleton removal
  370. Tue Oct 18 05:11:33 2016 begin with 230281260 relations and 151789788 unique ideals
  371. Tue Oct 18 05:12:41 2016 reduce to 230135869 relations and 147319809 ideals in 7 passes
  372. Tue Oct 18 05:12:41 2016 max relations containing the same ideal: 25
  373. Tue Oct 18 05:13:36 2016 removing 6109969 relations and 4109969 ideals in 2000000 cliques
  374. Tue Oct 18 05:13:39 2016 commencing in-memory singleton removal
  375. Tue Oct 18 05:13:47 2016 begin with 224025900 relations and 147319809 unique ideals
  376. Tue Oct 18 05:14:43 2016 reduce to 223875426 relations and 143057972 ideals in 6 passes
  377. Tue Oct 18 05:14:43 2016 max relations containing the same ideal: 25
  378. Tue Oct 18 05:15:36 2016 removing 6028258 relations and 4028258 ideals in 2000000 cliques
  379. Tue Oct 18 05:15:40 2016 commencing in-memory singleton removal
  380. Tue Oct 18 05:15:47 2016 begin with 217847168 relations and 143057972 unique ideals
  381. Tue Oct 18 05:16:42 2016 reduce to 217702805 relations and 138883890 ideals in 6 passes
  382. Tue Oct 18 05:16:42 2016 max relations containing the same ideal: 25
  383. Tue Oct 18 05:17:33 2016 removing 5953309 relations and 3953309 ideals in 2000000 cliques
  384. Tue Oct 18 05:17:36 2016 commencing in-memory singleton removal
  385. Tue Oct 18 05:17:44 2016 begin with 211749496 relations and 138883890 unique ideals
  386. Tue Oct 18 05:18:36 2016 reduce to 211605080 relations and 134784680 ideals in 6 passes
  387. Tue Oct 18 05:18:36 2016 max relations containing the same ideal: 25
  388. Tue Oct 18 05:19:27 2016 removing 5885784 relations and 3885784 ideals in 2000000 cliques
  389. Tue Oct 18 05:19:30 2016 commencing in-memory singleton removal
  390. Tue Oct 18 05:19:37 2016 begin with 205719296 relations and 134784680 unique ideals
  391. Tue Oct 18 05:20:27 2016 reduce to 205583840 relations and 130762000 ideals in 6 passes
  392. Tue Oct 18 05:20:27 2016 max relations containing the same ideal: 25
  393. Tue Oct 18 05:21:16 2016 removing 5779685 relations and 3779685 ideals in 2000000 cliques
  394. Tue Oct 18 05:21:19 2016 commencing in-memory singleton removal
  395. Tue Oct 18 05:21:26 2016 begin with 199804155 relations and 130762000 unique ideals
  396. Tue Oct 18 05:22:15 2016 reduce to 199652367 relations and 126828733 ideals in 6 passes
  397. Tue Oct 18 05:22:15 2016 max relations containing the same ideal: 25
  398. Tue Oct 18 05:23:02 2016 removing 5755661 relations and 3755661 ideals in 2000000 cliques
  399. Tue Oct 18 05:23:05 2016 commencing in-memory singleton removal
  400. Tue Oct 18 05:23:12 2016 begin with 193896706 relations and 126828733 unique ideals
  401. Tue Oct 18 05:24:07 2016 reduce to 193750041 relations and 122924716 ideals in 7 passes
  402. Tue Oct 18 05:24:07 2016 max relations containing the same ideal: 25
  403. Tue Oct 18 05:24:53 2016 removing 5773824 relations and 3773824 ideals in 2000000 cliques
  404. Tue Oct 18 05:24:56 2016 commencing in-memory singleton removal
  405. Tue Oct 18 05:25:02 2016 begin with 187976217 relations and 122924716 unique ideals
  406. Tue Oct 18 05:25:55 2016 reduce to 187835678 relations and 119008570 ideals in 7 passes
  407. Tue Oct 18 05:25:55 2016 max relations containing the same ideal: 25
  408. Tue Oct 18 05:26:40 2016 removing 5661518 relations and 3661518 ideals in 2000000 cliques
  409. Tue Oct 18 05:26:42 2016 commencing in-memory singleton removal
  410. Tue Oct 18 05:26:49 2016 begin with 182174160 relations and 119008570 unique ideals
  411. Tue Oct 18 05:27:32 2016 reduce to 182034044 relations and 115205096 ideals in 6 passes
  412. Tue Oct 18 05:27:32 2016 max relations containing the same ideal: 25
  413. Tue Oct 18 05:28:15 2016 removing 5692519 relations and 3692519 ideals in 2000000 cliques
  414. Tue Oct 18 05:28:18 2016 commencing in-memory singleton removal
  415. Tue Oct 18 05:28:24 2016 begin with 176341525 relations and 115205096 unique ideals
  416. Tue Oct 18 05:29:12 2016 reduce to 176203975 relations and 111373192 ideals in 7 passes
  417. Tue Oct 18 05:29:12 2016 max relations containing the same ideal: 25
  418. Tue Oct 18 05:29:54 2016 removing 5511498 relations and 3511498 ideals in 2000000 cliques
  419. Tue Oct 18 05:29:57 2016 commencing in-memory singleton removal
  420. Tue Oct 18 05:30:02 2016 begin with 170692477 relations and 111373192 unique ideals
  421. Tue Oct 18 05:30:49 2016 reduce to 170522968 relations and 107689746 ideals in 7 passes
  422. Tue Oct 18 05:30:49 2016 max relations containing the same ideal: 25
  423. Tue Oct 18 05:31:29 2016 removing 5602480 relations and 3602480 ideals in 2000000 cliques
  424. Tue Oct 18 05:31:32 2016 commencing in-memory singleton removal
  425. Tue Oct 18 05:31:38 2016 begin with 164920488 relations and 107689746 unique ideals
  426. Tue Oct 18 05:32:16 2016 reduce to 164765074 relations and 103929546 ideals in 6 passes
  427. Tue Oct 18 05:32:16 2016 max relations containing the same ideal: 25
  428. Tue Oct 18 05:32:55 2016 removing 5614245 relations and 3614245 ideals in 2000000 cliques
  429. Tue Oct 18 05:32:57 2016 commencing in-memory singleton removal
  430. Tue Oct 18 05:33:03 2016 begin with 159150829 relations and 103929546 unique ideals
  431. Tue Oct 18 05:33:39 2016 reduce to 159007960 relations and 100170225 ideals in 6 passes
  432. Tue Oct 18 05:33:39 2016 max relations containing the same ideal: 24
  433. Tue Oct 18 05:34:17 2016 removing 5581973 relations and 3581973 ideals in 2000000 cliques
  434. Tue Oct 18 05:34:19 2016 commencing in-memory singleton removal
  435. Tue Oct 18 05:34:24 2016 begin with 153425987 relations and 100170225 unique ideals
  436. Tue Oct 18 05:35:05 2016 reduce to 153272271 relations and 96432254 ideals in 7 passes
  437. Tue Oct 18 05:35:05 2016 max relations containing the same ideal: 24
  438. Tue Oct 18 05:35:41 2016 removing 5483760 relations and 3483760 ideals in 2000000 cliques
  439. Tue Oct 18 05:35:44 2016 commencing in-memory singleton removal
  440. Tue Oct 18 05:35:48 2016 begin with 147788511 relations and 96432254 unique ideals
  441. Tue Oct 18 05:36:27 2016 reduce to 147620011 relations and 92777260 ideals in 7 passes
  442. Tue Oct 18 05:36:27 2016 max relations containing the same ideal: 24
  443. Tue Oct 18 05:37:02 2016 removing 5580795 relations and 3580795 ideals in 2000000 cliques
  444. Tue Oct 18 05:37:04 2016 commencing in-memory singleton removal
  445. Tue Oct 18 05:37:09 2016 begin with 142039216 relations and 92777260 unique ideals
  446. Tue Oct 18 05:37:41 2016 reduce to 141889505 relations and 89044250 ideals in 6 passes
  447. Tue Oct 18 05:37:41 2016 max relations containing the same ideal: 23
  448. Tue Oct 18 05:38:14 2016 removing 5400386 relations and 3400386 ideals in 2000000 cliques
  449. Tue Oct 18 05:38:16 2016 commencing in-memory singleton removal
  450. Tue Oct 18 05:38:21 2016 begin with 136489119 relations and 89044250 unique ideals
  451. Tue Oct 18 05:39:01 2016 reduce to 136303458 relations and 85454959 ideals in 8 passes
  452. Tue Oct 18 05:39:01 2016 max relations containing the same ideal: 23
  453. Tue Oct 18 05:39:33 2016 removing 5507765 relations and 3507765 ideals in 2000000 cliques
  454. Tue Oct 18 05:39:35 2016 commencing in-memory singleton removal
  455. Tue Oct 18 05:39:39 2016 begin with 130795693 relations and 85454959 unique ideals
  456. Tue Oct 18 05:40:13 2016 reduce to 130626029 relations and 81774498 ideals in 7 passes
  457. Tue Oct 18 05:40:13 2016 max relations containing the same ideal: 23
  458. Tue Oct 18 05:40:43 2016 removing 5504996 relations and 3504996 ideals in 2000000 cliques
  459. Tue Oct 18 05:40:45 2016 commencing in-memory singleton removal
  460. Tue Oct 18 05:40:49 2016 begin with 125121033 relations and 81774498 unique ideals
  461. Tue Oct 18 05:41:25 2016 reduce to 124935386 relations and 78080524 ideals in 8 passes
  462. Tue Oct 18 05:41:25 2016 max relations containing the same ideal: 23
  463. Tue Oct 18 05:41:54 2016 removing 5506439 relations and 3506439 ideals in 2000000 cliques
  464. Tue Oct 18 05:41:56 2016 commencing in-memory singleton removal
  465. Tue Oct 18 05:42:00 2016 begin with 119428947 relations and 78080524 unique ideals
  466. Tue Oct 18 05:42:34 2016 reduce to 119243885 relations and 74385513 ideals in 8 passes
  467. Tue Oct 18 05:42:34 2016 max relations containing the same ideal: 23
  468. Tue Oct 18 05:43:01 2016 removing 5386675 relations and 3386675 ideals in 2000000 cliques
  469. Tue Oct 18 05:43:03 2016 commencing in-memory singleton removal
  470. Tue Oct 18 05:43:07 2016 begin with 113857210 relations and 74385513 unique ideals
  471. Tue Oct 18 05:43:35 2016 reduce to 113658944 relations and 70796608 ideals in 7 passes
  472. Tue Oct 18 05:43:35 2016 max relations containing the same ideal: 22
  473. Tue Oct 18 05:44:01 2016 removing 5530001 relations and 3530001 ideals in 2000000 cliques
  474. Tue Oct 18 05:44:03 2016 commencing in-memory singleton removal
  475. Tue Oct 18 05:44:06 2016 begin with 108128943 relations and 70796608 unique ideals
  476. Tue Oct 18 05:44:36 2016 reduce to 107920290 relations and 67053636 ideals in 8 passes
  477. Tue Oct 18 05:44:36 2016 max relations containing the same ideal: 22
  478. Tue Oct 18 05:45:01 2016 removing 5442353 relations and 3442353 ideals in 2000000 cliques
  479. Tue Oct 18 05:45:03 2016 commencing in-memory singleton removal
  480. Tue Oct 18 05:45:06 2016 begin with 102477937 relations and 67053636 unique ideals
  481. Tue Oct 18 05:45:30 2016 reduce to 102264516 relations and 63393298 ideals in 7 passes
  482. Tue Oct 18 05:45:30 2016 max relations containing the same ideal: 22
  483. Tue Oct 18 05:45:54 2016 removing 5507796 relations and 3507796 ideals in 2000000 cliques
  484. Tue Oct 18 05:45:56 2016 commencing in-memory singleton removal
  485. Tue Oct 18 05:45:59 2016 begin with 96756720 relations and 63393298 unique ideals
  486. Tue Oct 18 05:46:21 2016 reduce to 96546325 relations and 59670578 ideals in 7 passes
  487. Tue Oct 18 05:46:21 2016 max relations containing the same ideal: 22
  488. Tue Oct 18 05:46:43 2016 removing 5527805 relations and 3527805 ideals in 2000000 cliques
  489. Tue Oct 18 05:46:45 2016 commencing in-memory singleton removal
  490. Tue Oct 18 05:46:48 2016 begin with 91018520 relations and 59670578 unique ideals
  491. Tue Oct 18 05:47:09 2016 reduce to 90801117 relations and 55920531 ideals in 7 passes
  492. Tue Oct 18 05:47:09 2016 max relations containing the same ideal: 21
  493. Tue Oct 18 05:47:29 2016 removing 5533992 relations and 3533992 ideals in 2000000 cliques
  494. Tue Oct 18 05:47:31 2016 commencing in-memory singleton removal
  495. Tue Oct 18 05:47:33 2016 begin with 85267125 relations and 55920531 unique ideals
  496. Tue Oct 18 05:47:53 2016 reduce to 85063435 relations and 52178659 ideals in 7 passes
  497. Tue Oct 18 05:47:53 2016 max relations containing the same ideal: 20
  498. Tue Oct 18 05:48:11 2016 removing 5554245 relations and 3554245 ideals in 2000000 cliques
  499. Tue Oct 18 05:48:13 2016 commencing in-memory singleton removal
  500. Tue Oct 18 05:48:15 2016 begin with 79509190 relations and 52178659 unique ideals
  501. Tue Oct 18 05:48:33 2016 reduce to 79234739 relations and 48343788 ideals in 7 passes
  502. Tue Oct 18 05:48:33 2016 max relations containing the same ideal: 20
  503. Tue Oct 18 05:48:51 2016 removing 5397850 relations and 3397850 ideals in 2000000 cliques
  504. Tue Oct 18 05:48:53 2016 commencing in-memory singleton removal
  505. Tue Oct 18 05:48:54 2016 begin with 73836889 relations and 48343788 unique ideals
  506. Tue Oct 18 05:49:13 2016 reduce to 73438254 relations and 44535561 ideals in 8 passes
  507. Tue Oct 18 05:49:13 2016 max relations containing the same ideal: 19
  508. Tue Oct 18 05:49:29 2016 removing 5493047 relations and 3493047 ideals in 2000000 cliques
  509. Tue Oct 18 05:49:31 2016 commencing in-memory singleton removal
  510. Tue Oct 18 05:49:33 2016 begin with 67945207 relations and 44535561 unique ideals
  511. Tue Oct 18 05:49:49 2016 reduce to 67610136 relations and 40696699 ideals in 8 passes
  512. Tue Oct 18 05:49:49 2016 max relations containing the same ideal: 19
  513. Tue Oct 18 05:50:04 2016 removing 5622793 relations and 3622793 ideals in 2000000 cliques
  514. Tue Oct 18 05:50:06 2016 commencing in-memory singleton removal
  515. Tue Oct 18 05:50:07 2016 begin with 61987343 relations and 40696699 unique ideals
  516. Tue Oct 18 05:50:25 2016 reduce to 61660256 relations and 36735255 ideals in 10 passes
  517. Tue Oct 18 05:50:25 2016 max relations containing the same ideal: 18
  518. Tue Oct 18 05:50:39 2016 removing 5494150 relations and 3494150 ideals in 2000000 cliques
  519. Tue Oct 18 05:50:41 2016 commencing in-memory singleton removal
  520. Tue Oct 18 05:50:42 2016 begin with 56166106 relations and 36735255 unique ideals
  521. Tue Oct 18 05:50:55 2016 reduce to 55730740 relations and 32789119 ideals in 8 passes
  522. Tue Oct 18 05:50:55 2016 max relations containing the same ideal: 17
  523. Tue Oct 18 05:51:07 2016 removing 5594859 relations and 3594859 ideals in 2000000 cliques
  524. Tue Oct 18 05:51:08 2016 commencing in-memory singleton removal
  525. Tue Oct 18 05:51:09 2016 begin with 50135881 relations and 32789119 unique ideals
  526. Tue Oct 18 05:51:22 2016 reduce to 49702405 relations and 28743105 ideals in 9 passes
  527. Tue Oct 18 05:51:22 2016 max relations containing the same ideal: 17
  528. Tue Oct 18 05:51:32 2016 removing 398532 relations and 241543 ideals in 156989 cliques
  529. Tue Oct 18 05:51:33 2016 commencing in-memory singleton removal
  530. Tue Oct 18 05:51:34 2016 begin with 49303873 relations and 28743105 unique ideals
  531. Tue Oct 18 05:51:43 2016 reduce to 49291876 relations and 28489509 ideals in 7 passes
  532. Tue Oct 18 05:51:43 2016 max relations containing the same ideal: 17
  533. Tue Oct 18 05:51:45 2016 relations with 0 large ideals: 5733632
  534. Tue Oct 18 05:51:45 2016 relations with 1 large ideals: 19667671
  535. Tue Oct 18 05:51:45 2016 relations with 2 large ideals: 19159497
  536. Tue Oct 18 05:51:45 2016 relations with 3 large ideals: 4421787
  537. Tue Oct 18 05:51:45 2016 relations with 4 large ideals: 255107
  538. Tue Oct 18 05:51:45 2016 relations with 5 large ideals: 6281
  539. Tue Oct 18 05:51:45 2016 relations with 6 large ideals: 40262
  540. Tue Oct 18 05:51:45 2016 relations with 7+ large ideals: 7639
  541. Tue Oct 18 05:51:45 2016 commencing 2-way merge
  542. Tue Oct 18 05:51:59 2016 reduce to 29152783 relation sets and 8350416 unique ideals
  543. Tue Oct 18 05:51:59 2016 commencing full merge
  544. Tue Oct 18 05:52:33 2016 memory use: 995.1 MB
  545. Tue Oct 18 05:52:35 2016 found 20802287 cycles, need 17933226
  546. Tue Oct 18 05:52:37 2016 weight of 17933226 cycles is about 752922643 (41.98/cycle)
  547. Tue Oct 18 05:52:37 2016 distribution of cycle lengths:
  548. Tue Oct 18 05:52:37 2016 1 relations: 5733632
  549. Tue Oct 18 05:52:37 2016 2 relations: 3089122
  550. Tue Oct 18 05:52:37 2016 3 relations: 2802668
  551. Tue Oct 18 05:52:37 2016 4 relations: 2427383
  552. Tue Oct 18 05:52:37 2016 5 relations: 1969582
  553. Tue Oct 18 05:52:37 2016 6 relations: 1444015
  554. Tue Oct 18 05:52:37 2016 7 relations: 465067
  555. Tue Oct 18 05:52:37 2016 8 relations: 1755
  556. Tue Oct 18 05:52:37 2016 9 relations: 2
  557. Tue Oct 18 05:52:37 2016 10+ relations: 0
  558. Tue Oct 18 05:52:37 2016 heaviest cycle: 9 relations
  559. Tue Oct 18 05:52:37 2016 matrix not dense enough, retrying
  560. Tue Oct 18 05:52:42 2016 reading large ideals from disk
  561. Tue Oct 18 05:57:50 2016 keeping 188334190 ideals with weight <= 30, target excess is 16484161
  562. Tue Oct 18 06:04:14 2016 memory use: 7161.5 MB
  563. Tue Oct 18 06:04:14 2016 commencing in-memory singleton removal
  564. Tue Oct 18 06:04:26 2016 begin with 283688771 relations and 188334190 unique ideals
  565. Tue Oct 18 06:05:16 2016 reduce to 283688650 relations and 188334069 ideals in 4 passes
  566. Tue Oct 18 06:05:16 2016 max relations containing the same ideal: 30
  567. Tue Oct 18 06:06:27 2016 removing 10761635 relations and 8761635 ideals in 2000000 cliques
  568. Tue Oct 18 06:06:31 2016 commencing in-memory singleton removal
  569. Tue Oct 18 06:06:42 2016 begin with 272927015 relations and 188334069 unique ideals
  570. Tue Oct 18 06:08:09 2016 reduce to 272584704 relations and 179226684 ideals in 7 passes
  571. Tue Oct 18 06:08:09 2016 max relations containing the same ideal: 30
  572. Tue Oct 18 06:09:16 2016 removing 8072429 relations and 6072429 ideals in 2000000 cliques
  573. Tue Oct 18 06:09:20 2016 commencing in-memory singleton removal
  574. Tue Oct 18 06:09:31 2016 begin with 264512275 relations and 179226684 unique ideals
  575. Tue Oct 18 06:10:53 2016 reduce to 264281725 relations and 172921692 ideals in 7 passes
  576. Tue Oct 18 06:10:53 2016 max relations containing the same ideal: 30
  577. Tue Oct 18 06:12:00 2016 removing 7332229 relations and 5332229 ideals in 2000000 cliques
  578. Tue Oct 18 06:12:04 2016 commencing in-memory singleton removal
  579. Tue Oct 18 06:12:14 2016 begin with 256949496 relations and 172921692 unique ideals
  580. Tue Oct 18 06:13:23 2016 reduce to 256757400 relations and 167395848 ideals in 6 passes
  581. Tue Oct 18 06:13:23 2016 max relations containing the same ideal: 30
  582. Tue Oct 18 06:14:26 2016 removing 6857953 relations and 4857953 ideals in 2000000 cliques
  583. Tue Oct 18 06:14:30 2016 commencing in-memory singleton removal
  584. Tue Oct 18 06:14:39 2016 begin with 249899447 relations and 167395848 unique ideals
  585. Tue Oct 18 06:15:46 2016 reduce to 249721778 relations and 162358757 ideals in 6 passes
  586. Tue Oct 18 06:15:46 2016 max relations containing the same ideal: 30
  587. Tue Oct 18 06:16:47 2016 removing 6605988 relations and 4605988 ideals in 2000000 cliques
  588. Tue Oct 18 06:16:51 2016 commencing in-memory singleton removal
  589. Tue Oct 18 06:17:00 2016 begin with 243115790 relations and 162358757 unique ideals
  590. Tue Oct 18 06:18:15 2016 reduce to 242951176 relations and 157586785 ideals in 7 passes
  591. Tue Oct 18 06:18:15 2016 max relations containing the same ideal: 30
  592. Tue Oct 18 06:19:15 2016 removing 6450028 relations and 4450028 ideals in 2000000 cliques
  593. Tue Oct 18 06:19:19 2016 commencing in-memory singleton removal
  594. Tue Oct 18 06:19:28 2016 begin with 236501148 relations and 157586785 unique ideals
  595. Tue Oct 18 06:20:40 2016 reduce to 236346731 relations and 152980980 ideals in 7 passes
  596. Tue Oct 18 06:20:40 2016 max relations containing the same ideal: 30
  597. Tue Oct 18 06:21:38 2016 removing 6239705 relations and 4239705 ideals in 2000000 cliques
  598. Tue Oct 18 06:21:42 2016 commencing in-memory singleton removal
  599. Tue Oct 18 06:21:51 2016 begin with 230107026 relations and 152980980 unique ideals
  600. Tue Oct 18 06:23:01 2016 reduce to 229956207 relations and 148589089 ideals in 7 passes
  601. Tue Oct 18 06:23:01 2016 max relations containing the same ideal: 30
  602. Tue Oct 18 06:23:57 2016 removing 6107533 relations and 4107533 ideals in 2000000 cliques
  603. Tue Oct 18 06:24:01 2016 commencing in-memory singleton removal
  604. Tue Oct 18 06:24:09 2016 begin with 223848674 relations and 148589089 unique ideals
  605. Tue Oct 18 06:25:08 2016 reduce to 223698923 relations and 144330413 ideals in 6 passes
  606. Tue Oct 18 06:25:08 2016 max relations containing the same ideal: 30
  607. Tue Oct 18 06:26:03 2016 removing 6103665 relations and 4103665 ideals in 2000000 cliques
  608. Tue Oct 18 06:26:06 2016 commencing in-memory singleton removal
  609. Tue Oct 18 06:26:14 2016 begin with 217595258 relations and 144330413 unique ideals
  610. Tue Oct 18 06:27:10 2016 reduce to 217453783 relations and 140083854 ideals in 6 passes
  611. Tue Oct 18 06:27:10 2016 max relations containing the same ideal: 30
  612. Tue Oct 18 06:28:04 2016 removing 5949639 relations and 3949639 ideals in 2000000 cliques
  613. Tue Oct 18 06:28:07 2016 commencing in-memory singleton removal
  614. Tue Oct 18 06:28:15 2016 begin with 211504144 relations and 140083854 unique ideals
  615. Tue Oct 18 06:29:09 2016 reduce to 211362980 relations and 135991576 ideals in 6 passes
  616. Tue Oct 18 06:29:09 2016 max relations containing the same ideal: 30
  617. Tue Oct 18 06:30:01 2016 removing 5910892 relations and 3910892 ideals in 2000000 cliques
  618. Tue Oct 18 06:30:04 2016 commencing in-memory singleton removal
  619. Tue Oct 18 06:30:12 2016 begin with 205452088 relations and 135991576 unique ideals
  620. Tue Oct 18 06:31:13 2016 reduce to 205308822 relations and 131935883 ideals in 7 passes
  621. Tue Oct 18 06:31:13 2016 max relations containing the same ideal: 30
  622. Tue Oct 18 06:32:03 2016 removing 5828664 relations and 3828664 ideals in 2000000 cliques
  623. Tue Oct 18 06:32:06 2016 commencing in-memory singleton removal
  624. Tue Oct 18 06:32:13 2016 begin with 199480158 relations and 131935883 unique ideals
  625. Tue Oct 18 06:33:04 2016 reduce to 199343895 relations and 127969408 ideals in 6 passes
  626. Tue Oct 18 06:33:04 2016 max relations containing the same ideal: 30
  627. Tue Oct 18 06:33:53 2016 removing 5741575 relations and 3741575 ideals in 2000000 cliques
  628. Tue Oct 18 06:33:56 2016 commencing in-memory singleton removal
  629. Tue Oct 18 06:34:03 2016 begin with 193602320 relations and 127969408 unique ideals
  630. Tue Oct 18 06:34:52 2016 reduce to 193450917 relations and 124074589 ideals in 6 passes
  631. Tue Oct 18 06:34:52 2016 max relations containing the same ideal: 30
  632. Tue Oct 18 06:35:39 2016 removing 5744106 relations and 3744106 ideals in 2000000 cliques
  633. Tue Oct 18 06:35:42 2016 commencing in-memory singleton removal
  634. Tue Oct 18 06:35:49 2016 begin with 187706811 relations and 124074589 unique ideals
  635. Tue Oct 18 06:36:44 2016 reduce to 187564260 relations and 120186206 ideals in 7 passes
  636. Tue Oct 18 06:36:44 2016 max relations containing the same ideal: 29
  637. Tue Oct 18 06:37:30 2016 removing 5700998 relations and 3700998 ideals in 2000000 cliques
  638. Tue Oct 18 06:37:33 2016 commencing in-memory singleton removal
  639. Tue Oct 18 06:37:39 2016 begin with 181863262 relations and 120186206 unique ideals
  640. Tue Oct 18 06:38:24 2016 reduce to 181716565 relations and 116336574 ideals in 6 passes
  641. Tue Oct 18 06:38:24 2016 max relations containing the same ideal: 29
  642. Tue Oct 18 06:39:09 2016 removing 5663774 relations and 3663774 ideals in 2000000 cliques
  643. Tue Oct 18 06:39:12 2016 commencing in-memory singleton removal
  644. Tue Oct 18 06:39:18 2016 begin with 176052791 relations and 116336574 unique ideals
  645. Tue Oct 18 06:40:01 2016 reduce to 175912371 relations and 112530506 ideals in 6 passes
  646. Tue Oct 18 06:40:01 2016 max relations containing the same ideal: 29
  647. Tue Oct 18 06:40:44 2016 removing 5669513 relations and 3669513 ideals in 2000000 cliques
  648. Tue Oct 18 06:40:47 2016 commencing in-memory singleton removal
  649. Tue Oct 18 06:40:53 2016 begin with 170242858 relations and 112530506 unique ideals
  650. Tue Oct 18 06:41:35 2016 reduce to 170100472 relations and 108716692 ideals in 6 passes
  651. Tue Oct 18 06:41:35 2016 max relations containing the same ideal: 29
  652. Tue Oct 18 06:42:16 2016 removing 5623338 relations and 3623338 ideals in 2000000 cliques
  653. Tue Oct 18 06:42:19 2016 commencing in-memory singleton removal
  654. Tue Oct 18 06:42:25 2016 begin with 164477134 relations and 108716692 unique ideals
  655. Tue Oct 18 06:43:05 2016 reduce to 164330810 relations and 104944917 ideals in 6 passes
  656. Tue Oct 18 06:43:05 2016 max relations containing the same ideal: 28
  657. Tue Oct 18 06:43:45 2016 removing 5490437 relations and 3490437 ideals in 2000000 cliques
  658. Tue Oct 18 06:43:48 2016 commencing in-memory singleton removal
  659. Tue Oct 18 06:43:53 2016 begin with 158840373 relations and 104944917 unique ideals
  660. Tue Oct 18 06:44:38 2016 reduce to 158670357 relations and 101281880 ideals in 7 passes
  661. Tue Oct 18 06:44:38 2016 max relations containing the same ideal: 28
  662. Tue Oct 18 06:45:17 2016 removing 5581312 relations and 3581312 ideals in 2000000 cliques
  663. Tue Oct 18 06:45:19 2016 commencing in-memory singleton removal
  664. Tue Oct 18 06:45:24 2016 begin with 153089045 relations and 101281880 unique ideals
  665. Tue Oct 18 06:46:01 2016 reduce to 152938582 relations and 97547754 ideals in 6 passes
  666. Tue Oct 18 06:46:01 2016 max relations containing the same ideal: 28
  667. Tue Oct 18 06:46:38 2016 removing 5592972 relations and 3592972 ideals in 2000000 cliques
  668. Tue Oct 18 06:46:41 2016 commencing in-memory singleton removal
  669. Tue Oct 18 06:46:46 2016 begin with 147345610 relations and 97547754 unique ideals
  670. Tue Oct 18 06:47:21 2016 reduce to 147193518 relations and 93800312 ideals in 6 passes
  671. Tue Oct 18 06:47:21 2016 max relations containing the same ideal: 28
  672. Tue Oct 18 06:47:57 2016 removing 5513494 relations and 3513494 ideals in 2000000 cliques
  673. Tue Oct 18 06:47:59 2016 commencing in-memory singleton removal
  674. Tue Oct 18 06:48:04 2016 begin with 141680024 relations and 93800312 unique ideals
  675. Tue Oct 18 06:48:37 2016 reduce to 141515484 relations and 90119692 ideals in 6 passes
  676. Tue Oct 18 06:48:37 2016 max relations containing the same ideal: 28
  677. Tue Oct 18 06:49:11 2016 removing 5499961 relations and 3499961 ideals in 2000000 cliques
  678. Tue Oct 18 06:49:14 2016 commencing in-memory singleton removal
  679. Tue Oct 18 06:49:18 2016 begin with 136015523 relations and 90119692 unique ideals
  680. Tue Oct 18 06:49:55 2016 reduce to 135844199 relations and 86445444 ideals in 7 passes
  681. Tue Oct 18 06:49:55 2016 max relations containing the same ideal: 27
  682. Tue Oct 18 06:50:28 2016 removing 5543938 relations and 3543938 ideals in 2000000 cliques
  683. Tue Oct 18 06:50:30 2016 commencing in-memory singleton removal
  684. Tue Oct 18 06:50:35 2016 begin with 130300261 relations and 86445444 unique ideals
  685. Tue Oct 18 06:51:04 2016 reduce to 130139156 relations and 82737487 ideals in 6 passes
  686. Tue Oct 18 06:51:04 2016 max relations containing the same ideal: 27
  687. Tue Oct 18 06:51:35 2016 removing 5427776 relations and 3427776 ideals in 2000000 cliques
  688. Tue Oct 18 06:51:38 2016 commencing in-memory singleton removal
  689. Tue Oct 18 06:51:42 2016 begin with 124711380 relations and 82737487 unique ideals
  690. Tue Oct 18 06:52:19 2016 reduce to 124521528 relations and 79116285 ideals in 8 passes
  691. Tue Oct 18 06:52:19 2016 max relations containing the same ideal: 26
  692. Tue Oct 18 06:52:49 2016 removing 5489634 relations and 3489634 ideals in 2000000 cliques
  693. Tue Oct 18 06:52:52 2016 commencing in-memory singleton removal
  694. Tue Oct 18 06:52:55 2016 begin with 119031894 relations and 79116285 unique ideals
  695. Tue Oct 18 06:53:26 2016 reduce to 118846567 relations and 75437719 ideals in 7 passes
  696. Tue Oct 18 06:53:26 2016 max relations containing the same ideal: 26
  697. Tue Oct 18 06:53:55 2016 removing 5486474 relations and 3486474 ideals in 2000000 cliques
  698. Tue Oct 18 06:53:57 2016 commencing in-memory singleton removal
  699. Tue Oct 18 06:54:01 2016 begin with 113360093 relations and 75437719 unique ideals
  700. Tue Oct 18 06:54:30 2016 reduce to 113165696 relations and 71753150 ideals in 7 passes
  701. Tue Oct 18 06:54:30 2016 max relations containing the same ideal: 26
  702. Tue Oct 18 06:54:57 2016 removing 5529877 relations and 3529877 ideals in 2000000 cliques
  703. Tue Oct 18 06:54:59 2016 commencing in-memory singleton removal
  704. Tue Oct 18 06:55:02 2016 begin with 107635819 relations and 71753150 unique ideals
  705. Tue Oct 18 06:55:30 2016 reduce to 107438170 relations and 68021481 ideals in 7 passes
  706. Tue Oct 18 06:55:30 2016 max relations containing the same ideal: 26
  707. Tue Oct 18 06:55:55 2016 removing 5450012 relations and 3450012 ideals in 2000000 cliques
  708. Tue Oct 18 06:55:57 2016 commencing in-memory singleton removal
  709. Tue Oct 18 06:56:00 2016 begin with 101988158 relations and 68021481 unique ideals
  710. Tue Oct 18 06:56:26 2016 reduce to 101784285 relations and 64363323 ideals in 7 passes
  711. Tue Oct 18 06:56:26 2016 max relations containing the same ideal: 25
  712. Tue Oct 18 06:56:50 2016 removing 5506233 relations and 3506233 ideals in 2000000 cliques
  713. Tue Oct 18 06:56:52 2016 commencing in-memory singleton removal
  714. Tue Oct 18 06:56:55 2016 begin with 96278052 relations and 64363323 unique ideals
  715. Tue Oct 18 06:57:22 2016 reduce to 96053949 relations and 60627947 ideals in 8 passes
  716. Tue Oct 18 06:57:22 2016 max relations containing the same ideal: 24
  717. Tue Oct 18 06:57:45 2016 removing 5524008 relations and 3524008 ideals in 2000000 cliques
  718. Tue Oct 18 06:57:47 2016 commencing in-memory singleton removal
  719. Tue Oct 18 06:57:50 2016 begin with 90529941 relations and 60627947 unique ideals
  720. Tue Oct 18 06:58:12 2016 reduce to 90292302 relations and 56861053 ideals in 7 passes
  721. Tue Oct 18 06:58:12 2016 max relations containing the same ideal: 23
  722. Tue Oct 18 06:58:34 2016 removing 5505619 relations and 3505619 ideals in 2000000 cliques
  723. Tue Oct 18 06:58:36 2016 commencing in-memory singleton removal
  724. Tue Oct 18 06:58:38 2016 begin with 84786683 relations and 56861053 unique ideals
  725. Tue Oct 18 06:58:59 2016 reduce to 84540964 relations and 53103887 ideals in 7 passes
  726. Tue Oct 18 06:58:59 2016 max relations containing the same ideal: 23
  727. Tue Oct 18 06:59:20 2016 removing 5536873 relations and 3536873 ideals in 2000000 cliques
  728. Tue Oct 18 06:59:22 2016 commencing in-memory singleton removal
  729. Tue Oct 18 06:59:25 2016 begin with 79004091 relations and 53103887 unique ideals
  730. Tue Oct 18 06:59:52 2016 reduce to 78751969 relations and 49308780 ideals in 10 passes
  731. Tue Oct 18 06:59:52 2016 max relations containing the same ideal: 23
  732. Tue Oct 18 07:00:11 2016 removing 5575553 relations and 3575553 ideals in 2000000 cliques
  733. Tue Oct 18 07:00:13 2016 commencing in-memory singleton removal
  734. Tue Oct 18 07:00:15 2016 begin with 73176416 relations and 49308780 unique ideals
  735. Tue Oct 18 07:00:35 2016 reduce to 72929258 relations and 45480054 ideals in 8 passes
  736. Tue Oct 18 07:00:35 2016 max relations containing the same ideal: 21
  737. Tue Oct 18 07:00:52 2016 removing 5628968 relations and 3628968 ideals in 2000000 cliques
  738. Tue Oct 18 07:00:54 2016 commencing in-memory singleton removal
  739. Tue Oct 18 07:00:56 2016 begin with 67300290 relations and 45480054 unique ideals
  740. Tue Oct 18 07:01:14 2016 reduce to 67031802 relations and 41576045 ideals in 8 passes
  741. Tue Oct 18 07:01:14 2016 max relations containing the same ideal: 20
  742. Tue Oct 18 07:01:30 2016 removing 5518920 relations and 3518920 ideals in 2000000 cliques
  743. Tue Oct 18 07:01:31 2016 commencing in-memory singleton removal
  744. Tue Oct 18 07:01:33 2016 begin with 61512882 relations and 41576045 unique ideals
  745. Tue Oct 18 07:01:50 2016 reduce to 61076452 relations and 37606965 ideals in 9 passes
  746. Tue Oct 18 07:01:50 2016 max relations containing the same ideal: 20
  747. Tue Oct 18 07:02:04 2016 removing 5543806 relations and 3543806 ideals in 2000000 cliques
  748. Tue Oct 18 07:02:06 2016 commencing in-memory singleton removal
  749. Tue Oct 18 07:02:07 2016 begin with 55532646 relations and 37606965 unique ideals
  750. Tue Oct 18 07:02:21 2016 reduce to 55116071 relations and 33631489 ideals in 8 passes
  751. Tue Oct 18 07:02:21 2016 max relations containing the same ideal: 18
  752. Tue Oct 18 07:02:33 2016 removing 5690730 relations and 3690730 ideals in 2000000 cliques
  753. Tue Oct 18 07:02:35 2016 commencing in-memory singleton removal
  754. Tue Oct 18 07:02:36 2016 begin with 49425341 relations and 33631489 unique ideals
  755. Tue Oct 18 07:02:49 2016 reduce to 49015741 relations and 29514693 ideals in 9 passes
  756. Tue Oct 18 07:02:49 2016 max relations containing the same ideal: 18
  757. Tue Oct 18 07:03:00 2016 removing 1028651 relations and 649230 ideals in 379421 cliques
  758. Tue Oct 18 07:03:00 2016 commencing in-memory singleton removal
  759. Tue Oct 18 07:03:01 2016 begin with 47987090 relations and 29514693 unique ideals
  760. Tue Oct 18 07:03:11 2016 reduce to 47945387 relations and 28823384 ideals in 7 passes
  761. Tue Oct 18 07:03:11 2016 max relations containing the same ideal: 17
  762. Tue Oct 18 07:03:23 2016 relations with 0 large ideals: 4722216
  763. Tue Oct 18 07:03:23 2016 relations with 1 large ideals: 17396079
  764. Tue Oct 18 07:03:23 2016 relations with 2 large ideals: 19376444
  765. Tue Oct 18 07:03:23 2016 relations with 3 large ideals: 5809784
  766. Tue Oct 18 07:03:23 2016 relations with 4 large ideals: 551809
  767. Tue Oct 18 07:03:23 2016 relations with 5 large ideals: 33949
  768. Tue Oct 18 07:03:23 2016 relations with 6 large ideals: 38885
  769. Tue Oct 18 07:03:23 2016 relations with 7+ large ideals: 16221
  770. Tue Oct 18 07:03:23 2016 commencing 2-way merge
  771. Tue Oct 18 07:03:37 2016 reduce to 28750611 relation sets and 9628608 unique ideals
  772. Tue Oct 18 07:03:37 2016 commencing full merge
  773. Tue Oct 18 07:04:22 2016 memory use: 1064.9 MB
  774. Tue Oct 18 07:04:25 2016 found 19119539 cycles, need 16484361
  775. Tue Oct 18 07:04:27 2016 weight of 16484361 cycles is about 832052078 (50.48/cycle)
  776. Tue Oct 18 07:04:27 2016 distribution of cycle lengths:
  777. Tue Oct 18 07:04:27 2016 1 relations: 4722216
  778. Tue Oct 18 07:04:27 2016 2 relations: 2398361
  779. Tue Oct 18 07:04:27 2016 3 relations: 2091145
  780. Tue Oct 18 07:04:27 2016 4 relations: 1917901
  781. Tue Oct 18 07:04:27 2016 5 relations: 1722991
  782. Tue Oct 18 07:04:27 2016 6 relations: 1449900
  783. Tue Oct 18 07:04:27 2016 7 relations: 1138778
  784. Tue Oct 18 07:04:27 2016 8 relations: 864070
  785. Tue Oct 18 07:04:27 2016 9 relations: 177392
  786. Tue Oct 18 07:04:27 2016 10+ relations: 1607
  787. Tue Oct 18 07:04:27 2016 heaviest cycle: 11 relations
  788. Tue Oct 18 07:04:27 2016 matrix not dense enough, retrying
  789. Tue Oct 18 07:04:32 2016 reading large ideals from disk
  790. Tue Oct 18 07:09:46 2016 keeping 190473339 ideals with weight <= 35, target excess is 14345012
  791. Tue Oct 18 07:16:27 2016 memory use: 7161.5 MB
  792. Tue Oct 18 07:16:27 2016 commencing in-memory singleton removal
  793. Tue Oct 18 07:16:40 2016 begin with 283688771 relations and 190473339 unique ideals
  794. Tue Oct 18 07:17:34 2016 reduce to 283688650 relations and 190473218 ideals in 4 passes
  795. Tue Oct 18 07:17:34 2016 max relations containing the same ideal: 35
  796. Tue Oct 18 07:18:48 2016 removing 10829824 relations and 8829824 ideals in 2000000 cliques
  797. Tue Oct 18 07:18:52 2016 commencing in-memory singleton removal
  798. Tue Oct 18 07:19:04 2016 begin with 272858826 relations and 190473218 unique ideals
  799. Tue Oct 18 07:20:35 2016 reduce to 272519703 relations and 181300905 ideals in 7 passes
  800. Tue Oct 18 07:20:35 2016 max relations containing the same ideal: 35
  801. Tue Oct 18 07:21:46 2016 removing 8151701 relations and 6151701 ideals in 2000000 cliques
  802. Tue Oct 18 07:21:50 2016 commencing in-memory singleton removal
  803. Tue Oct 18 07:22:02 2016 begin with 264368002 relations and 181300905 unique ideals
  804. Tue Oct 18 07:23:17 2016 reduce to 264142263 relations and 174921488 ideals in 6 passes
  805. Tue Oct 18 07:23:17 2016 max relations containing the same ideal: 35
  806. Tue Oct 18 07:24:26 2016 removing 7369773 relations and 5369773 ideals in 2000000 cliques
  807. Tue Oct 18 07:24:30 2016 commencing in-memory singleton removal
  808. Tue Oct 18 07:24:41 2016 begin with 256772490 relations and 174921488 unique ideals
  809. Tue Oct 18 07:26:06 2016 reduce to 256580645 relations and 169358341 ideals in 7 passes
  810. Tue Oct 18 07:26:06 2016 max relations containing the same ideal: 35
  811. Tue Oct 18 07:27:12 2016 removing 6911015 relations and 4911015 ideals in 2000000 cliques
  812. Tue Oct 18 07:27:16 2016 commencing in-memory singleton removal
  813. Tue Oct 18 07:27:27 2016 begin with 249669630 relations and 169358341 unique ideals
  814. Tue Oct 18 07:28:49 2016 reduce to 249494481 relations and 164270757 ideals in 7 passes
  815. Tue Oct 18 07:28:49 2016 max relations containing the same ideal: 35
  816. Tue Oct 18 07:29:54 2016 removing 6630161 relations and 4630161 ideals in 2000000 cliques
  817. Tue Oct 18 07:29:57 2016 commencing in-memory singleton removal
  818. Tue Oct 18 07:30:08 2016 begin with 242864320 relations and 164270757 unique ideals
  819. Tue Oct 18 07:31:16 2016 reduce to 242700316 relations and 159475247 ideals in 6 passes
  820. Tue Oct 18 07:31:16 2016 max relations containing the same ideal: 35
  821. Tue Oct 18 07:32:20 2016 removing 6467298 relations and 4467298 ideals in 2000000 cliques
  822. Tue Oct 18 07:32:23 2016 commencing in-memory singleton removal
  823. Tue Oct 18 07:32:33 2016 begin with 236233018 relations and 159475247 unique ideals
  824. Tue Oct 18 07:33:39 2016 reduce to 236080632 relations and 154854320 ideals in 6 passes
  825. Tue Oct 18 07:33:39 2016 max relations containing the same ideal: 35
  826. Tue Oct 18 07:34:41 2016 removing 6300200 relations and 4300200 ideals in 2000000 cliques
  827. Tue Oct 18 07:34:44 2016 commencing in-memory singleton removal
  828. Tue Oct 18 07:34:54 2016 begin with 229780432 relations and 154854320 unique ideals
  829. Tue Oct 18 07:36:08 2016 reduce to 229632954 relations and 150405254 ideals in 7 passes
  830. Tue Oct 18 07:36:08 2016 max relations containing the same ideal: 35
  831. Tue Oct 18 07:37:08 2016 removing 6146807 relations and 4146807 ideals in 2000000 cliques
  832. Tue Oct 18 07:37:11 2016 commencing in-memory singleton removal
  833. Tue Oct 18 07:37:20 2016 begin with 223486147 relations and 150405254 unique ideals
  834. Tue Oct 18 07:38:32 2016 reduce to 223338665 relations and 146109561 ideals in 7 passes
  835. Tue Oct 18 07:38:32 2016 max relations containing the same ideal: 35
  836. Tue Oct 18 07:39:30 2016 removing 6054567 relations and 4054567 ideals in 2000000 cliques
  837. Tue Oct 18 07:39:33 2016 commencing in-memory singleton removal
  838. Tue Oct 18 07:39:42 2016 begin with 217284098 relations and 146109561 unique ideals
  839. Tue Oct 18 07:40:42 2016 reduce to 217139923 relations and 141909331 ideals in 6 passes
  840. Tue Oct 18 07:40:42 2016 max relations containing the same ideal: 35
  841. Tue Oct 18 07:41:38 2016 removing 6033315 relations and 4033315 ideals in 2000000 cliques
  842. Tue Oct 18 07:41:42 2016 commencing in-memory singleton removal
  843. Tue Oct 18 07:41:50 2016 begin with 211106608 relations and 141909331 unique ideals
  844. Tue Oct 18 07:42:57 2016 reduce to 210968754 relations and 137736709 ideals in 7 passes
  845. Tue Oct 18 07:42:57 2016 max relations containing the same ideal: 35
  846. Tue Oct 18 07:43:52 2016 removing 5881791 relations and 3881791 ideals in 2000000 cliques
  847. Tue Oct 18 07:43:55 2016 commencing in-memory singleton removal
  848. Tue Oct 18 07:44:04 2016 begin with 205086963 relations and 137736709 unique ideals
  849. Tue Oct 18 07:44:59 2016 reduce to 204947295 relations and 133713703 ideals in 6 passes
  850. Tue Oct 18 07:44:59 2016 max relations containing the same ideal: 35
  851. Tue Oct 18 07:45:53 2016 removing 5883346 relations and 3883346 ideals in 2000000 cliques
  852. Tue Oct 18 07:45:56 2016 commencing in-memory singleton removal
  853. Tue Oct 18 07:46:04 2016 begin with 199063949 relations and 133713703 unique ideals
  854. Tue Oct 18 07:46:57 2016 reduce to 198924001 relations and 129688843 ideals in 6 passes
  855. Tue Oct 18 07:46:57 2016 max relations containing the same ideal: 35
  856. Tue Oct 18 07:47:49 2016 removing 5767791 relations and 3767791 ideals in 2000000 cliques
  857. Tue Oct 18 07:47:52 2016 commencing in-memory singleton removal
  858. Tue Oct 18 07:48:00 2016 begin with 193156210 relations and 129688843 unique ideals
  859. Tue Oct 18 07:49:00 2016 reduce to 193014590 relations and 125777770 ideals in 7 passes
  860. Tue Oct 18 07:49:00 2016 max relations containing the same ideal: 35
  861. Tue Oct 18 07:49:50 2016 removing 5791100 relations and 3791100 ideals in 2000000 cliques
  862. Tue Oct 18 07:49:53 2016 commencing in-memory singleton removal
  863. Tue Oct 18 07:50:00 2016 begin with 187223490 relations and 125777770 unique ideals
  864. Tue Oct 18 07:50:50 2016 reduce to 187086696 relations and 121848162 ideals in 6 passes
  865. Tue Oct 18 07:50:50 2016 max relations containing the same ideal: 35
  866. Tue Oct 18 07:51:39 2016 removing 5693488 relations and 3693488 ideals in 2000000 cliques
  867. Tue Oct 18 07:51:42 2016 commencing in-memory singleton removal
  868. Tue Oct 18 07:51:49 2016 begin with 181393208 relations and 121848162 unique ideals
  869. Tue Oct 18 07:52:45 2016 reduce to 181245208 relations and 118004792 ideals in 7 passes
  870. Tue Oct 18 07:52:45 2016 max relations containing the same ideal: 35
  871. Tue Oct 18 07:53:32 2016 removing 5705020 relations and 3705020 ideals in 2000000 cliques
  872. Tue Oct 18 07:53:35 2016 commencing in-memory singleton removal
  873. Tue Oct 18 07:53:41 2016 begin with 175540188 relations and 118004792 unique ideals
  874. Tue Oct 18 07:54:28 2016 reduce to 175400145 relations and 114157777 ideals in 6 passes
  875. Tue Oct 18 07:54:28 2016 max relations containing the same ideal: 34
  876. Tue Oct 18 07:55:13 2016 removing 5636190 relations and 3636190 ideals in 2000000 cliques
  877. Tue Oct 18 07:55:16 2016 commencing in-memory singleton removal
  878. Tue Oct 18 07:55:22 2016 begin with 169763955 relations and 114157777 unique ideals
  879. Tue Oct 18 07:56:14 2016 reduce to 169616913 relations and 110372511 ideals in 7 passes
  880. Tue Oct 18 07:56:14 2016 max relations containing the same ideal: 33
  881. Tue Oct 18 07:56:58 2016 removing 5633463 relations and 3633463 ideals in 2000000 cliques
  882. Tue Oct 18 07:57:01 2016 commencing in-memory singleton removal
  883. Tue Oct 18 07:57:07 2016 begin with 163983450 relations and 110372511 unique ideals
  884. Tue Oct 18 07:57:57 2016 reduce to 163834383 relations and 106587794 ideals in 7 passes
  885. Tue Oct 18 07:57:57 2016 max relations containing the same ideal: 33
  886. Tue Oct 18 07:58:39 2016 removing 5610676 relations and 3610676 ideals in 2000000 cliques
  887. Tue Oct 18 07:58:42 2016 commencing in-memory singleton removal
  888. Tue Oct 18 07:58:48 2016 begin with 158223707 relations and 106587794 unique ideals
  889. Tue Oct 18 07:59:35 2016 reduce to 158080259 relations and 102831571 ideals in 7 passes
  890. Tue Oct 18 07:59:35 2016 max relations containing the same ideal: 33
  891. Tue Oct 18 08:00:16 2016 removing 5593453 relations and 3593453 ideals in 2000000 cliques
  892. Tue Oct 18 08:00:18 2016 commencing in-memory singleton removal
  893. Tue Oct 18 08:00:24 2016 begin with 152486806 relations and 102831571 unique ideals
  894. Tue Oct 18 08:01:03 2016 reduce to 152338707 relations and 99087760 ideals in 6 passes
  895. Tue Oct 18 08:01:03 2016 max relations containing the same ideal: 32
  896. Tue Oct 18 08:01:42 2016 removing 5511464 relations and 3511464 ideals in 2000000 cliques
  897. Tue Oct 18 08:01:45 2016 commencing in-memory singleton removal
  898. Tue Oct 18 08:01:50 2016 begin with 146827243 relations and 99087760 unique ideals
  899. Tue Oct 18 08:02:27 2016 reduce to 146661530 relations and 95408005 ideals in 6 passes
  900. Tue Oct 18 08:02:27 2016 max relations containing the same ideal: 32
  901. Tue Oct 18 08:03:06 2016 removing 5545861 relations and 3545861 ideals in 2000000 cliques
  902. Tue Oct 18 08:03:08 2016 commencing in-memory singleton removal
  903. Tue Oct 18 08:03:13 2016 begin with 141115669 relations and 95408005 unique ideals
  904. Tue Oct 18 08:03:54 2016 reduce to 140951949 relations and 91695722 ideals in 7 passes
  905. Tue Oct 18 08:03:54 2016 max relations containing the same ideal: 31
  906. Tue Oct 18 08:04:31 2016 removing 5546088 relations and 3546088 ideals in 2000000 cliques
  907. Tue Oct 18 08:04:33 2016 commencing in-memory singleton removal
  908. Tue Oct 18 08:04:38 2016 begin with 135405861 relations and 91695722 unique ideals
  909. Tue Oct 18 08:05:12 2016 reduce to 135245610 relations and 87986597 ideals in 6 passes
  910. Tue Oct 18 08:05:12 2016 max relations containing the same ideal: 30
  911. Tue Oct 18 08:05:47 2016 removing 5528125 relations and 3528125 ideals in 2000000 cliques
  912. Tue Oct 18 08:05:49 2016 commencing in-memory singleton removal
  913. Tue Oct 18 08:05:54 2016 begin with 129717485 relations and 87986597 unique ideals
  914. Tue Oct 18 08:06:31 2016 reduce to 129551733 relations and 84289826 ideals in 7 passes
  915. Tue Oct 18 08:06:31 2016 max relations containing the same ideal: 29
  916. Tue Oct 18 08:07:04 2016 removing 5556020 relations and 3556020 ideals in 2000000 cliques
  917. Tue Oct 18 08:07:06 2016 commencing in-memory singleton removal
  918. Tue Oct 18 08:07:11 2016 begin with 123995713 relations and 84289826 unique ideals
  919. Tue Oct 18 08:07:41 2016 reduce to 123828505 relations and 80563640 ideals in 6 passes
  920. Tue Oct 18 08:07:41 2016 max relations containing the same ideal: 29
  921. Tue Oct 18 08:08:12 2016 removing 5473576 relations and 3473576 ideals in 2000000 cliques
  922. Tue Oct 18 08:08:15 2016 commencing in-memory singleton removal
  923. Tue Oct 18 08:08:19 2016 begin with 118354929 relations and 80563640 unique ideals
  924. Tue Oct 18 08:08:52 2016 reduce to 118166034 relations and 76897665 ideals in 7 passes
  925. Tue Oct 18 08:08:52 2016 max relations containing the same ideal: 28
  926. Tue Oct 18 08:09:22 2016 removing 5531812 relations and 3531812 ideals in 2000000 cliques
  927. Tue Oct 18 08:09:24 2016 commencing in-memory singleton removal
  928. Tue Oct 18 08:09:28 2016 begin with 112634222 relations and 76897665 unique ideals
  929. Tue Oct 18 08:10:04 2016 reduce to 112450784 relations and 73178869 ideals in 8 passes
  930. Tue Oct 18 08:10:04 2016 max relations containing the same ideal: 27
  931. Tue Oct 18 08:10:32 2016 removing 5517211 relations and 3517211 ideals in 2000000 cliques
  932. Tue Oct 18 08:10:35 2016 commencing in-memory singleton removal
  933. Tue Oct 18 08:10:38 2016 begin with 106933573 relations and 73178869 unique ideals
  934. Tue Oct 18 08:11:08 2016 reduce to 106744960 relations and 69469304 ideals in 7 passes
  935. Tue Oct 18 08:11:08 2016 max relations containing the same ideal: 27
  936. Tue Oct 18 08:11:35 2016 removing 5475119 relations and 3475119 ideals in 2000000 cliques
  937. Tue Oct 18 08:11:37 2016 commencing in-memory singleton removal
  938. Tue Oct 18 08:11:40 2016 begin with 101269841 relations and 69469304 unique ideals
  939. Tue Oct 18 08:12:04 2016 reduce to 101058578 relations and 65778549 ideals in 6 passes
  940. Tue Oct 18 08:12:04 2016 max relations containing the same ideal: 27
  941. Tue Oct 18 08:12:29 2016 removing 5501810 relations and 3501810 ideals in 2000000 cliques
  942. Tue Oct 18 08:12:31 2016 commencing in-memory singleton removal
  943. Tue Oct 18 08:12:34 2016 begin with 95556768 relations and 65778549 unique ideals
  944. Tue Oct 18 08:13:00 2016 reduce to 95340384 relations and 62055693 ideals in 7 passes
  945. Tue Oct 18 08:13:00 2016 max relations containing the same ideal: 26
  946. Tue Oct 18 08:13:24 2016 removing 5555326 relations and 3555326 ideals in 2000000 cliques
  947. Tue Oct 18 08:13:26 2016 commencing in-memory singleton removal
  948. Tue Oct 18 08:13:29 2016 begin with 89785058 relations and 62055693 unique ideals
  949. Tue Oct 18 08:13:53 2016 reduce to 89568031 relations and 58278623 ideals in 7 passes
  950. Tue Oct 18 08:13:53 2016 max relations containing the same ideal: 26
  951. Tue Oct 18 08:14:15 2016 removing 5551449 relations and 3551449 ideals in 2000000 cliques
  952. Tue Oct 18 08:14:17 2016 commencing in-memory singleton removal
  953. Tue Oct 18 08:14:20 2016 begin with 84016582 relations and 58278623 unique ideals
  954. Tue Oct 18 08:14:45 2016 reduce to 83781489 relations and 54486682 ideals in 8 passes
  955. Tue Oct 18 08:14:45 2016 max relations containing the same ideal: 26
  956. Tue Oct 18 08:15:06 2016 removing 5569769 relations and 3569769 ideals in 2000000 cliques
  957. Tue Oct 18 08:15:08 2016 commencing in-memory singleton removal
  958. Tue Oct 18 08:15:10 2016 begin with 78211720 relations and 54486682 unique ideals
  959. Tue Oct 18 08:15:30 2016 reduce to 77960306 relations and 50659361 ideals in 7 passes
  960. Tue Oct 18 08:15:30 2016 max relations containing the same ideal: 24
  961. Tue Oct 18 08:15:50 2016 removing 5508448 relations and 3508448 ideals in 2000000 cliques
  962. Tue Oct 18 08:15:52 2016 commencing in-memory singleton removal
  963. Tue Oct 18 08:15:54 2016 begin with 72451858 relations and 50659361 unique ideals
  964. Tue Oct 18 08:16:12 2016 reduce to 72168989 relations and 46860586 ideals in 7 passes
  965. Tue Oct 18 08:16:12 2016 max relations containing the same ideal: 24
  966. Tue Oct 18 08:16:30 2016 removing 5609906 relations and 3609906 ideals in 2000000 cliques
  967. Tue Oct 18 08:16:32 2016 commencing in-memory singleton removal
  968. Tue Oct 18 08:16:34 2016 begin with 66559083 relations and 46860586 unique ideals
  969. Tue Oct 18 08:16:50 2016 reduce to 66254910 relations and 42937916 ideals in 7 passes
  970. Tue Oct 18 08:16:50 2016 max relations containing the same ideal: 22
  971. Tue Oct 18 08:17:06 2016 removing 5590648 relations and 3590648 ideals in 2000000 cliques
  972. Tue Oct 18 08:17:08 2016 commencing in-memory singleton removal
  973. Tue Oct 18 08:17:10 2016 begin with 60664262 relations and 42937916 unique ideals
  974. Tue Oct 18 08:17:24 2016 reduce to 60324830 relations and 38997438 ideals in 7 passes
  975. Tue Oct 18 08:17:24 2016 max relations containing the same ideal: 22
  976. Tue Oct 18 08:17:39 2016 removing 5674256 relations and 3674256 ideals in 2000000 cliques
  977. Tue Oct 18 08:17:41 2016 commencing in-memory singleton removal
  978. Tue Oct 18 08:17:42 2016 begin with 54650574 relations and 38997438 unique ideals
  979. Tue Oct 18 08:17:55 2016 reduce to 54293632 relations and 34954513 ideals in 7 passes
  980. Tue Oct 18 08:17:55 2016 max relations containing the same ideal: 21
  981. Tue Oct 18 08:18:08 2016 removing 5731590 relations and 3731590 ideals in 2000000 cliques
  982. Tue Oct 18 08:18:09 2016 commencing in-memory singleton removal
  983. Tue Oct 18 08:18:11 2016 begin with 48562042 relations and 34954513 unique ideals
  984. Tue Oct 18 08:18:25 2016 reduce to 48175569 relations and 30823377 ideals in 9 passes
  985. Tue Oct 18 08:18:25 2016 max relations containing the same ideal: 19
  986. Tue Oct 18 08:18:36 2016 removing 2047352 relations and 1335374 ideals in 711978 cliques
  987. Tue Oct 18 08:18:37 2016 commencing in-memory singleton removal
  988. Tue Oct 18 08:18:38 2016 begin with 46128217 relations and 30823377 unique ideals
  989. Tue Oct 18 08:18:48 2016 reduce to 46006780 relations and 29364517 ideals in 7 passes
  990. Tue Oct 18 08:18:48 2016 max relations containing the same ideal: 19
  991. Tue Oct 18 08:19:00 2016 relations with 0 large ideals: 3406384
  992. Tue Oct 18 08:19:00 2016 relations with 1 large ideals: 13763087
  993. Tue Oct 18 08:19:00 2016 relations with 2 large ideals: 18665458
  994. Tue Oct 18 08:19:00 2016 relations with 3 large ideals: 8387995
  995. Tue Oct 18 08:19:00 2016 relations with 4 large ideals: 1523273
  996. Tue Oct 18 08:19:00 2016 relations with 5 large ideals: 173860
  997. Tue Oct 18 08:19:00 2016 relations with 6 large ideals: 51643
  998. Tue Oct 18 08:19:00 2016 relations with 7+ large ideals: 35080
  999. Tue Oct 18 08:19:00 2016 commencing 2-way merge
  1000. Tue Oct 18 08:19:15 2016 reduce to 28171096 relation sets and 11528833 unique ideals
  1001. Tue Oct 18 08:19:15 2016 commencing full merge
  1002. Tue Oct 18 08:20:32 2016 memory use: 1212.7 MB
  1003. Tue Oct 18 08:20:35 2016 found 16508966 cycles, need 14345212
  1004. Tue Oct 18 08:20:37 2016 weight of 14345212 cycles is about 1089150055 (75.92/cycle)
  1005. Tue Oct 18 08:20:37 2016 distribution of cycle lengths:
  1006. Tue Oct 18 08:20:37 2016 1 relations: 3406384
  1007. Tue Oct 18 08:20:37 2016 2 relations: 1527258
  1008. Tue Oct 18 08:20:37 2016 3 relations: 1237562
  1009. Tue Oct 18 08:20:37 2016 4 relations: 1125472
  1010. Tue Oct 18 08:20:37 2016 5 relations: 1073224
  1011. Tue Oct 18 08:20:37 2016 6 relations: 1005075
  1012. Tue Oct 18 08:20:37 2016 7 relations: 940941
  1013. Tue Oct 18 08:20:37 2016 8 relations: 858405
  1014. Tue Oct 18 08:20:37 2016 9 relations: 773747
  1015. Tue Oct 18 08:20:37 2016 10+ relations: 2397144
  1016. Tue Oct 18 08:20:37 2016 heaviest cycle: 17 relations
  1017. Tue Oct 18 08:20:37 2016 commencing cycle optimization
  1018. Tue Oct 18 08:20:52 2016 start with 74261336 relations
  1019. Tue Oct 18 08:22:30 2016 pruned 6214593 relations
  1020. Tue Oct 18 08:22:30 2016 memory use: 2264.7 MB
  1021. Tue Oct 18 08:22:30 2016 distribution of cycle lengths:
  1022. Tue Oct 18 08:22:30 2016 1 relations: 3406384
  1023. Tue Oct 18 08:22:30 2016 2 relations: 1592659
  1024. Tue Oct 18 08:22:30 2016 3 relations: 1338578
  1025. Tue Oct 18 08:22:30 2016 4 relations: 1251880
  1026. Tue Oct 18 08:22:30 2016 5 relations: 1233374
  1027. Tue Oct 18 08:22:30 2016 6 relations: 1168569
  1028. Tue Oct 18 08:22:30 2016 7 relations: 1091050
  1029. Tue Oct 18 08:22:30 2016 8 relations: 949931
  1030. Tue Oct 18 08:22:30 2016 9 relations: 792668
  1031. Tue Oct 18 08:22:30 2016 10+ relations: 1520119
  1032. Tue Oct 18 08:22:30 2016 heaviest cycle: 16 relations
  1033. Tue Oct 18 08:22:46 2016 RelProcTime: 34156
  1034. Tue Oct 18 08:22:46 2016
  1035. Tue Oct 18 08:22:46 2016 commencing linear algebra
  1036. Tue Oct 18 08:22:48 2016 read 14345212 cycles
  1037. Tue Oct 18 08:23:09 2016 cycles contain 38471059 unique relations
  1038. Tue Oct 18 08:35:24 2016 read 38471059 relations
  1039. Tue Oct 18 08:36:29 2016 using 20 quadratic characters above 4294917295
  1040. Tue Oct 18 08:39:06 2016 building initial matrix
  1041. Tue Oct 18 08:45:09 2016 memory use: 5181.9 MB
  1042. Tue Oct 18 08:46:28 2016 read 14345212 cycles
  1043. Tue Oct 18 08:46:32 2016 matrix is 14340763 x 14345212 (4282.1 MB) with weight 1250612973 (87.18/col)
  1044. Tue Oct 18 08:46:32 2016 sparse part has weight 964720816 (67.25/col)
  1045. Tue Oct 18 08:49:47 2016 filtering completed in 3 passes
  1046. Tue Oct 18 08:49:51 2016 matrix is 14249605 x 14249805 (4265.7 MB) with weight 1245615504 (87.41/col)
  1047. Tue Oct 18 08:49:51 2016 sparse part has weight 961488730 (67.47/col)
  1048. Tue Oct 18 08:51:31 2016 matrix starts at (0, 0)
  1049. Tue Oct 18 08:51:34 2016 matrix is 14249605 x 14249805 (4265.7 MB) with weight 1245615504 (87.41/col)
  1050. Tue Oct 18 08:51:34 2016 sparse part has weight 961488730 (67.47/col)
  1051. Tue Oct 18 08:51:34 2016 saving the first 48 matrix rows for later
  1052. Tue Oct 18 08:51:38 2016 matrix includes 64 packed rows
  1053. Tue Oct 18 08:51:40 2016 matrix is 14249557 x 14249805 (4069.3 MB) with weight 996685631 (69.94/col)
  1054. Tue Oct 18 08:51:40 2016 sparse part has weight 924247386 (64.86/col)
  1055. Tue Oct 18 08:51:40 2016 using block size 8192 and superblock size 589824 for processor cache size 6144 kB
  1056. Tue Oct 18 08:52:47 2016 commencing Lanczos iteration (4 threads)
  1057. Tue Oct 18 08:52:47 2016 memory use: 3405.1 MB
  1058. Tue Oct 18 08:53:44 2016 linear algebra at 0.0%, ETA 140h25m
  1059. Tue Oct 18 08:54:02 2016 checkpointing every 110000 dimensions
  1060. Mon Oct 24 04:42:28 2016 lanczos halted after 225353 iterations (dim = 14249547)
  1061. Mon Oct 24 04:43:15 2016 recovered 35 nontrivial dependencies
  1062. Mon Oct 24 04:43:24 2016 BLanczosTime: 505238
  1063. Mon Oct 24 04:43:24 2016
  1064. Mon Oct 24 04:43:24 2016 commencing square root phase
  1065. Mon Oct 24 04:43:24 2016 handling dependencies 1 to 64
  1066. Mon Oct 24 04:43:24 2016 reading relations for dependency 1
  1067. Mon Oct 24 04:43:27 2016 read 7125255 cycles
  1068. Mon Oct 24 04:43:36 2016 cycles contain 19183288 unique relations
  1069. Mon Oct 24 04:55:37 2016 read 19183288 relations
  1070. Mon Oct 24 04:57:24 2016 multiplying 19183288 relations
  1071. Mon Oct 24 05:19:48 2016 multiply complete, coefficients have about 764.82 million bits
  1072. Mon Oct 24 05:19:52 2016 initial square root is modulo 7271497
  1073. Mon Oct 24 05:46:01 2016 GCD is 1, no factor found
  1074. Mon Oct 24 05:46:01 2016 reading relations for dependency 2
  1075. Mon Oct 24 05:46:17 2016 read 7125946 cycles
  1076. Mon Oct 24 05:46:27 2016 cycles contain 19186256 unique relations
  1077. Mon Oct 24 06:39:53 2016 read 19186256 relations
  1078. Mon Oct 24 06:41:40 2016 multiplying 19186256 relations
  1079. Mon Oct 24 07:04:22 2016 multiply complete, coefficients have about 764.94 million bits
  1080. Mon Oct 24 07:04:26 2016 initial square root is modulo 7288531
  1081. Mon Oct 24 07:30:45 2016 GCD is 1, no factor found
  1082. Mon Oct 24 07:30:45 2016 reading relations for dependency 3
  1083. Mon Oct 24 07:31:19 2016 read 7123483 cycles
  1084. Mon Oct 24 07:31:29 2016 cycles contain 19185272 unique relations
  1085. Mon Oct 24 09:06:34 2016 read 19185272 relations
  1086. Mon Oct 24 09:08:30 2016 multiplying 19185272 relations
  1087. Mon Oct 24 09:31:20 2016 multiply complete, coefficients have about 764.89 million bits
  1088. Mon Oct 24 09:31:25 2016 initial square root is modulo 7282183
  1089. Mon Oct 24 09:57:48 2016 GCD is 1, no factor found
  1090. Mon Oct 24 09:57:48 2016 reading relations for dependency 4
  1091. Mon Oct 24 09:57:59 2016 read 7126570 cycles
  1092. Mon Oct 24 09:58:09 2016 cycles contain 19190206 unique relations
  1093. Mon Oct 24 10:10:18 2016 read 19190206 relations
  1094. Mon Oct 24 10:12:11 2016 multiplying 19190206 relations
  1095. Mon Oct 24 10:35:24 2016 multiply complete, coefficients have about 765.10 million bits
  1096. Mon Oct 24 10:35:28 2016 initial square root is modulo 7313671
  1097. Mon Oct 24 11:01:50 2016 GCD is 1, no factor found
  1098. Mon Oct 24 11:01:50 2016 reading relations for dependency 5
  1099. Mon Oct 24 11:02:01 2016 read 7125374 cycles
  1100. Mon Oct 24 11:02:10 2016 cycles contain 19184966 unique relations
  1101. Mon Oct 24 11:14:12 2016 read 19184966 relations
  1102. Mon Oct 24 11:15:57 2016 multiplying 19184966 relations
  1103. Mon Oct 24 11:38:16 2016 multiply complete, coefficients have about 764.89 million bits
  1104. Mon Oct 24 11:38:21 2016 initial square root is modulo 7280863
  1105. Mon Oct 24 12:04:07 2016 GCD is 1, no factor found
  1106. Mon Oct 24 12:04:07 2016 reading relations for dependency 6
  1107. Mon Oct 24 12:04:17 2016 read 7126976 cycles
  1108. Mon Oct 24 12:04:26 2016 cycles contain 19193140 unique relations
  1109. Mon Oct 24 12:16:28 2016 read 19193140 relations
  1110. Mon Oct 24 12:18:13 2016 multiplying 19193140 relations
  1111. Mon Oct 24 12:40:34 2016 multiply complete, coefficients have about 765.21 million bits
  1112. Mon Oct 24 12:40:38 2016 initial square root is modulo 7330579
  1113. Mon Oct 24 13:06:25 2016 GCD is N, no factor found
  1114. Mon Oct 24 13:06:25 2016 reading relations for dependency 7
  1115. Mon Oct 24 13:06:35 2016 read 7126336 cycles
  1116. Mon Oct 24 13:06:44 2016 cycles contain 19189992 unique relations
  1117. Mon Oct 24 13:18:41 2016 read 19189992 relations
  1118. Mon Oct 24 13:20:28 2016 multiplying 19189992 relations
  1119. Mon Oct 24 13:43:01 2016 multiply complete, coefficients have about 765.09 million bits
  1120. Mon Oct 24 13:43:05 2016 initial square root is modulo 7312069
  1121. Mon Oct 24 14:09:15 2016 sqrtTime: 33951
  1122. Mon Oct 24 14:09:15 2016 p56 factor: 31928030280997422074476829780556747313259655128542411787
  1123. Mon Oct 24 14:09:15 2016 p169 factor: 1216833347550261763070388776481252061783490423427157146012676067097250598605778453883807242296229362943560260300280137108963740312067366333691088299312574732809579565777
  1124. Mon Oct 24 14:09:15 2016 elapsed time 159:15:48
Add Comment
Please, Sign In to add comment
Public Pastes
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!