API tools faq
paste
Advertisement
debrouxl

L1354

debrouxl
May 30th, 2016
515
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 65.54 KB | None | 0 0
raw download clone embed print report
  1. Tue Jul 2 21:22:03 2013
  2. Tue Jul 2 21:22:03 2013
  3. Tue Jul 2 21:22:03 2013 Msieve v. 1.52 (SVN 901M)
  4. Tue Jul 2 21:22:03 2013 random seeds: fbb88370 ee9e1ab7
  5. Tue Jul 2 21:22:03 2013 MPI process 0 of 1
  6. Tue Jul 2 21:22:03 2013 factoring 5113279047026155366923488361904718893576499307633150703581649036508689574262713891590346976949837309594870755257064378541954359215816945515685517630109059451968763 (163 digits)
  7. Tue Jul 2 21:22:05 2013 no P-1/P+1/ECM available, skipping
  8. Tue Jul 2 21:22:05 2013 commencing number field sieve (163-digit input)
  9. Tue Jul 2 21:22:05 2013 R0: -29235805883362523967006273906453
  10. Tue Jul 2 21:22:05 2013 R1: 157436942706593
  11. Tue Jul 2 21:22:05 2013 A0: 24314061011259926557229112760819657050404
  12. Tue Jul 2 21:22:05 2013 A1: 29272454099953006541732814195499324
  13. Tue Jul 2 21:22:05 2013 A2: 6155086295750084678036275649
  14. Tue Jul 2 21:22:05 2013 A3: -155342516404051657786
  15. Tue Jul 2 21:22:05 2013 A4: -15136654243780
  16. Tue Jul 2 21:22:05 2013 A5: 239400
  17. Tue Jul 2 21:22:05 2013 skew 17609824.82, size 7.407e-16, alpha -8.549, combined = 9.339e-13 rroots = 5
  18. Tue Jul 2 21:22:05 2013
  19. Tue Jul 2 21:22:05 2013 commencing relation filtering
  20. Tue Jul 2 21:22:05 2013 setting target matrix density to 110.0
  21. Tue Jul 2 21:22:05 2013 estimated available RAM is 7963.7 MB
  22. Tue Jul 2 21:22:05 2013 commencing duplicate removal, pass 1
  23. Tue Jul 2 21:31:36 2013 error -15 reading relation 53973622
  24. Tue Jul 2 21:53:19 2013 error -11 reading relation 177961153
  25. Tue Jul 2 21:54:31 2013 error -11 reading relation 184911649
  26. Tue Jul 2 21:55:43 2013 error -11 reading relation 191676018
  27. Tue Jul 2 22:01:11 2013 found 10751563 hash collisions in 222255399 relations
  28. Tue Jul 2 22:02:00 2013 commencing duplicate removal, pass 2
  29. Tue Jul 2 22:08:03 2013 found 15 duplicates and 222255384 unique relations
  30. Tue Jul 2 22:08:03 2013 memory use: 756.8 MB
  31. Tue Jul 2 22:08:03 2013 reading ideals above 113836032
  32. Tue Jul 2 22:08:03 2013 commencing singleton removal, initial pass
  33. Tue Jul 2 22:51:18 2013 memory use: 5512.0 MB
  34. Tue Jul 2 22:51:18 2013 reading all ideals from disk
  35. Tue Jul 2 22:52:22 2013 memory use: 3780.4 MB
  36. Tue Jul 2 22:52:37 2013 commencing in-memory singleton removal
  37. Tue Jul 2 22:52:50 2013 begin with 222255384 relations and 165101621 unique ideals
  38. Tue Jul 2 22:55:41 2013 reduce to 161306723 relations and 99068079 ideals in 11 passes
  39. Tue Jul 2 22:55:41 2013 max relations containing the same ideal: 68
  40. Tue Jul 2 22:55:55 2013 reading ideals above 720000
  41. Tue Jul 2 22:55:55 2013 commencing singleton removal, initial pass
  42. Tue Jul 2 23:36:39 2013 memory use: 3012.0 MB
  43. Tue Jul 2 23:36:40 2013 reading large ideals from disk
  44. Tue Jul 2 23:39:17 2013 keeping 102819054 ideals with weight <= 20, target excess is 9263342
  45. Tue Jul 2 23:41:56 2013 memory use: 3682.5 MB
  46. Tue Jul 2 23:41:56 2013 commencing in-memory singleton removal
  47. Tue Jul 2 23:42:05 2013 begin with 161306723 relations and 102819054 unique ideals
  48. Tue Jul 2 23:43:08 2013 reduce to 161306462 relations and 102818793 ideals in 4 passes
  49. Tue Jul 2 23:43:08 2013 max relations containing the same ideal: 20
  50. Tue Jul 2 23:44:05 2013 removing 8524310 relations and 6524310 ideals in 2000000 cliques
  51. Tue Jul 2 23:44:10 2013 commencing in-memory singleton removal
  52. Tue Jul 2 23:44:19 2013 begin with 152782152 relations and 102818793 unique ideals
  53. Tue Jul 2 23:46:02 2013 reduce to 152366138 relations and 95871601 ideals in 7 passes
  54. Tue Jul 2 23:46:02 2013 max relations containing the same ideal: 20
  55. Tue Jul 2 23:46:56 2013 removing 6595929 relations and 4595929 ideals in 2000000 cliques
  56. Tue Jul 2 23:47:01 2013 commencing in-memory singleton removal
  57. Tue Jul 2 23:47:09 2013 begin with 145770209 relations and 95871601 unique ideals
  58. Tue Jul 2 23:48:45 2013 reduce to 145494435 relations and 90995904 ideals in 7 passes
  59. Tue Jul 2 23:48:45 2013 max relations containing the same ideal: 20
  60. Tue Jul 2 23:49:36 2013 removing 6128105 relations and 4128105 ideals in 2000000 cliques
  61. Tue Jul 2 23:49:40 2013 commencing in-memory singleton removal
  62. Tue Jul 2 23:49:48 2013 begin with 139366330 relations and 90995904 unique ideals
  63. Tue Jul 2 23:51:06 2013 reduce to 139137824 relations and 86636053 ideals in 6 passes
  64. Tue Jul 2 23:51:06 2013 max relations containing the same ideal: 20
  65. Tue Jul 2 23:51:55 2013 removing 5850410 relations and 3850410 ideals in 2000000 cliques
  66. Tue Jul 2 23:51:59 2013 commencing in-memory singleton removal
  67. Tue Jul 2 23:52:07 2013 begin with 133287414 relations and 86636053 unique ideals
  68. Tue Jul 2 23:53:44 2013 reduce to 133078297 relations and 82573421 ideals in 8 passes
  69. Tue Jul 2 23:53:44 2013 max relations containing the same ideal: 20
  70. Tue Jul 2 23:54:30 2013 removing 5689836 relations and 3689836 ideals in 2000000 cliques
  71. Tue Jul 2 23:54:34 2013 commencing in-memory singleton removal
  72. Tue Jul 2 23:54:41 2013 begin with 127388461 relations and 82573421 unique ideals
  73. Tue Jul 2 23:56:00 2013 reduce to 127198646 relations and 78691055 ideals in 7 passes
  74. Tue Jul 2 23:56:00 2013 max relations containing the same ideal: 20
  75. Tue Jul 2 23:56:45 2013 removing 5534452 relations and 3534452 ideals in 2000000 cliques
  76. Tue Jul 2 23:56:48 2013 commencing in-memory singleton removal
  77. Tue Jul 2 23:56:55 2013 begin with 121664194 relations and 78691055 unique ideals
  78. Tue Jul 2 23:58:09 2013 reduce to 121469307 relations and 74958620 ideals in 7 passes
  79. Tue Jul 2 23:58:09 2013 max relations containing the same ideal: 20
  80. Tue Jul 2 23:58:51 2013 removing 5463290 relations and 3463290 ideals in 2000000 cliques
  81. Tue Jul 2 23:58:55 2013 commencing in-memory singleton removal
  82. Tue Jul 2 23:59:01 2013 begin with 116006017 relations and 74958620 unique ideals
  83. Wed Jul 3 00:00:02 2013 reduce to 115828067 relations and 71314405 ideals in 6 passes
  84. Wed Jul 3 00:00:02 2013 max relations containing the same ideal: 20
  85. Wed Jul 3 00:00:42 2013 removing 5346034 relations and 3346034 ideals in 2000000 cliques
  86. Wed Jul 3 00:00:45 2013 commencing in-memory singleton removal
  87. Wed Jul 3 00:00:51 2013 begin with 110482033 relations and 71314405 unique ideals
  88. Wed Jul 3 00:01:47 2013 reduce to 110290916 relations and 67773819 ideals in 6 passes
  89. Wed Jul 3 00:01:47 2013 max relations containing the same ideal: 20
  90. Wed Jul 3 00:02:25 2013 removing 5345099 relations and 3345099 ideals in 2000000 cliques
  91. Wed Jul 3 00:02:28 2013 commencing in-memory singleton removal
  92. Wed Jul 3 00:02:34 2013 begin with 104945817 relations and 67773819 unique ideals
  93. Wed Jul 3 00:03:26 2013 reduce to 104774494 relations and 64254354 ideals in 6 passes
  94. Wed Jul 3 00:03:26 2013 max relations containing the same ideal: 20
  95. Wed Jul 3 00:04:02 2013 removing 5256181 relations and 3256181 ideals in 2000000 cliques
  96. Wed Jul 3 00:04:05 2013 commencing in-memory singleton removal
  97. Wed Jul 3 00:04:10 2013 begin with 99518313 relations and 64254354 unique ideals
  98. Wed Jul 3 00:04:58 2013 reduce to 99334573 relations and 60810907 ideals in 6 passes
  99. Wed Jul 3 00:04:58 2013 max relations containing the same ideal: 20
  100. Wed Jul 3 00:05:32 2013 removing 5224423 relations and 3224423 ideals in 2000000 cliques
  101. Wed Jul 3 00:05:35 2013 commencing in-memory singleton removal
  102. Wed Jul 3 00:05:39 2013 begin with 94110150 relations and 60810907 unique ideals
  103. Wed Jul 3 00:06:25 2013 reduce to 93930368 relations and 57403113 ideals in 6 passes
  104. Wed Jul 3 00:06:25 2013 max relations containing the same ideal: 20
  105. Wed Jul 3 00:06:57 2013 removing 5185736 relations and 3185736 ideals in 2000000 cliques
  106. Wed Jul 3 00:07:00 2013 commencing in-memory singleton removal
  107. Wed Jul 3 00:07:04 2013 begin with 88744632 relations and 57403113 unique ideals
  108. Wed Jul 3 00:08:00 2013 reduce to 88560165 relations and 54029139 ideals in 8 passes
  109. Wed Jul 3 00:08:00 2013 max relations containing the same ideal: 20
  110. Wed Jul 3 00:08:29 2013 removing 5176872 relations and 3176872 ideals in 2000000 cliques
  111. Wed Jul 3 00:08:33 2013 commencing in-memory singleton removal
  112. Wed Jul 3 00:08:36 2013 begin with 83383293 relations and 54029139 unique ideals
  113. Wed Jul 3 00:09:22 2013 reduce to 83190451 relations and 50655066 ideals in 7 passes
  114. Wed Jul 3 00:09:22 2013 max relations containing the same ideal: 20
  115. Wed Jul 3 00:09:50 2013 removing 5108875 relations and 3108875 ideals in 2000000 cliques
  116. Wed Jul 3 00:09:52 2013 commencing in-memory singleton removal
  117. Wed Jul 3 00:09:56 2013 begin with 78081576 relations and 50655066 unique ideals
  118. Wed Jul 3 00:10:39 2013 reduce to 77876902 relations and 47336690 ideals in 8 passes
  119. Wed Jul 3 00:10:39 2013 max relations containing the same ideal: 20
  120. Wed Jul 3 00:11:05 2013 removing 5097207 relations and 3097207 ideals in 2000000 cliques
  121. Wed Jul 3 00:11:08 2013 commencing in-memory singleton removal
  122. Wed Jul 3 00:11:11 2013 begin with 72779695 relations and 47336690 unique ideals
  123. Wed Jul 3 00:11:48 2013 reduce to 72561957 relations and 44016323 ideals in 7 passes
  124. Wed Jul 3 00:11:48 2013 max relations containing the same ideal: 20
  125. Wed Jul 3 00:12:12 2013 removing 5110380 relations and 3110380 ideals in 2000000 cliques
  126. Wed Jul 3 00:12:15 2013 commencing in-memory singleton removal
  127. Wed Jul 3 00:12:18 2013 begin with 67451577 relations and 44016323 unique ideals
  128. Wed Jul 3 00:12:52 2013 reduce to 67233895 relations and 40682725 ideals in 7 passes
  129. Wed Jul 3 00:12:52 2013 max relations containing the same ideal: 20
  130. Wed Jul 3 00:13:15 2013 removing 5120002 relations and 3120002 ideals in 2000000 cliques
  131. Wed Jul 3 00:13:17 2013 commencing in-memory singleton removal
  132. Wed Jul 3 00:13:20 2013 begin with 62113893 relations and 40682725 unique ideals
  133. Wed Jul 3 00:13:46 2013 reduce to 61899315 relations and 37342398 ideals in 6 passes
  134. Wed Jul 3 00:13:46 2013 max relations containing the same ideal: 19
  135. Wed Jul 3 00:14:07 2013 removing 5125175 relations and 3125175 ideals in 2000000 cliques
  136. Wed Jul 3 00:14:09 2013 commencing in-memory singleton removal
  137. Wed Jul 3 00:14:11 2013 begin with 56774140 relations and 37342398 unique ideals
  138. Wed Jul 3 00:14:35 2013 reduce to 56533013 relations and 33969485 ideals in 6 passes
  139. Wed Jul 3 00:14:35 2013 max relations containing the same ideal: 18
  140. Wed Jul 3 00:14:53 2013 removing 5028023 relations and 3028023 ideals in 2000000 cliques
  141. Wed Jul 3 00:14:55 2013 commencing in-memory singleton removal
  142. Wed Jul 3 00:14:57 2013 begin with 51504990 relations and 33969485 unique ideals
  143. Wed Jul 3 00:15:22 2013 reduce to 51135270 relations and 30558911 ideals in 7 passes
  144. Wed Jul 3 00:15:22 2013 max relations containing the same ideal: 17
  145. Wed Jul 3 00:15:38 2013 removing 5121465 relations and 3121465 ideals in 2000000 cliques
  146. Wed Jul 3 00:15:41 2013 commencing in-memory singleton removal
  147. Wed Jul 3 00:15:42 2013 begin with 46013805 relations and 30558911 unique ideals
  148. Wed Jul 3 00:16:06 2013 reduce to 45688501 relations and 27099537 ideals in 8 passes
  149. Wed Jul 3 00:16:06 2013 max relations containing the same ideal: 17
  150. Wed Jul 3 00:16:21 2013 removing 5144365 relations and 3144365 ideals in 2000000 cliques
  151. Wed Jul 3 00:16:23 2013 commencing in-memory singleton removal
  152. Wed Jul 3 00:16:24 2013 begin with 40544136 relations and 27099537 unique ideals
  153. Wed Jul 3 00:16:44 2013 reduce to 40185559 relations and 23581692 ideals in 8 passes
  154. Wed Jul 3 00:16:44 2013 max relations containing the same ideal: 16
  155. Wed Jul 3 00:16:58 2013 removing 5148236 relations and 3148236 ideals in 2000000 cliques
  156. Wed Jul 3 00:17:00 2013 commencing in-memory singleton removal
  157. Wed Jul 3 00:17:01 2013 begin with 35037323 relations and 23581692 unique ideals
  158. Wed Jul 3 00:17:17 2013 reduce to 34593749 relations and 19969191 ideals in 8 passes
  159. Wed Jul 3 00:17:17 2013 max relations containing the same ideal: 16
  160. Wed Jul 3 00:17:29 2013 removing 5195566 relations and 3195566 ideals in 2000000 cliques
  161. Wed Jul 3 00:17:31 2013 commencing in-memory singleton removal
  162. Wed Jul 3 00:17:32 2013 begin with 29398183 relations and 19969191 unique ideals
  163. Wed Jul 3 00:17:46 2013 reduce to 28898575 relations and 16245659 ideals in 9 passes
  164. Wed Jul 3 00:17:46 2013 max relations containing the same ideal: 14
  165. Wed Jul 3 00:17:56 2013 removing 5045472 relations and 3138033 ideals in 1907439 cliques
  166. Wed Jul 3 00:17:57 2013 commencing in-memory singleton removal
  167. Wed Jul 3 00:17:58 2013 begin with 23853103 relations and 16245659 unique ideals
  168. Wed Jul 3 00:18:08 2013 reduce to 23395900 relations and 12623371 ideals in 8 passes
  169. Wed Jul 3 00:18:08 2013 max relations containing the same ideal: 13
  170. Wed Jul 3 00:18:15 2013 removing 73974 relations and 46922 ideals in 27052 cliques
  171. Wed Jul 3 00:18:15 2013 commencing in-memory singleton removal
  172. Wed Jul 3 00:18:16 2013 begin with 23321926 relations and 12623371 unique ideals
  173. Wed Jul 3 00:18:22 2013 reduce to 23320389 relations and 12574907 ideals in 5 passes
  174. Wed Jul 3 00:18:22 2013 max relations containing the same ideal: 13
  175. Wed Jul 3 00:18:23 2013 relations with 0 large ideals: 3329104
  176. Wed Jul 3 00:18:23 2013 relations with 1 large ideals: 10573311
  177. Wed Jul 3 00:18:23 2013 relations with 2 large ideals: 7843825
  178. Wed Jul 3 00:18:23 2013 relations with 3 large ideals: 1446489
  179. Wed Jul 3 00:18:23 2013 relations with 4 large ideals: 122112
  180. Wed Jul 3 00:18:23 2013 relations with 5 large ideals: 4786
  181. Wed Jul 3 00:18:23 2013 relations with 6 large ideals: 762
  182. Wed Jul 3 00:18:23 2013 relations with 7+ large ideals: 0
  183. Wed Jul 3 00:18:23 2013 commencing 2-way merge
  184. Wed Jul 3 00:18:32 2013 reduce to 14642070 relation sets and 3896588 unique ideals
  185. Wed Jul 3 00:18:32 2013 commencing full merge
  186. Wed Jul 3 00:18:51 2013 memory use: 468.8 MB
  187. Wed Jul 3 00:18:52 2013 found 10745480 cycles, need 9263542
  188. Wed Jul 3 00:18:55 2013 weight of 9263542 cycles is about 313137777 (33.80/cycle)
  189. Wed Jul 3 00:18:55 2013 distribution of cycle lengths:
  190. Wed Jul 3 00:18:55 2013 1 relations: 3329104
  191. Wed Jul 3 00:18:55 2013 2 relations: 1963909
  192. Wed Jul 3 00:18:55 2013 3 relations: 1777355
  193. Wed Jul 3 00:18:55 2013 4 relations: 1296291
  194. Wed Jul 3 00:18:55 2013 5 relations: 873989
  195. Wed Jul 3 00:18:55 2013 6 relations: 22885
  196. Wed Jul 3 00:18:55 2013 7 relations: 9
  197. Wed Jul 3 00:18:55 2013 8 relations: 0
  198. Wed Jul 3 00:18:55 2013 9 relations: 0
  199. Wed Jul 3 00:18:55 2013 10+ relations: 0
  200. Wed Jul 3 00:18:55 2013 heaviest cycle: 7 relations
  201. Wed Jul 3 00:18:55 2013 matrix not dense enough, retrying
  202. Wed Jul 3 00:18:56 2013 reading large ideals from disk
  203. Wed Jul 3 00:21:35 2013 keeping 103557252 ideals with weight <= 25, target excess is 8525144
  204. Wed Jul 3 00:24:17 2013 memory use: 3682.5 MB
  205. Wed Jul 3 00:24:17 2013 commencing in-memory singleton removal
  206. Wed Jul 3 00:24:27 2013 begin with 161306723 relations and 103557252 unique ideals
  207. Wed Jul 3 00:25:31 2013 reduce to 161306462 relations and 103556991 ideals in 4 passes
  208. Wed Jul 3 00:25:31 2013 max relations containing the same ideal: 25
  209. Wed Jul 3 00:26:30 2013 removing 8558284 relations and 6558284 ideals in 2000000 cliques
  210. Wed Jul 3 00:26:35 2013 commencing in-memory singleton removal
  211. Wed Jul 3 00:26:44 2013 begin with 152748178 relations and 103556991 unique ideals
  212. Wed Jul 3 00:28:30 2013 reduce to 152333389 relations and 96577092 ideals in 7 passes
  213. Wed Jul 3 00:28:30 2013 max relations containing the same ideal: 25
  214. Wed Jul 3 00:29:26 2013 removing 6633797 relations and 4633797 ideals in 2000000 cliques
  215. Wed Jul 3 00:29:30 2013 commencing in-memory singleton removal
  216. Wed Jul 3 00:29:39 2013 begin with 145699592 relations and 96577092 unique ideals
  217. Wed Jul 3 00:31:20 2013 reduce to 145424774 relations and 91664526 ideals in 7 passes
  218. Wed Jul 3 00:31:20 2013 max relations containing the same ideal: 25
  219. Wed Jul 3 00:32:13 2013 removing 6136309 relations and 4136309 ideals in 2000000 cliques
  220. Wed Jul 3 00:32:18 2013 commencing in-memory singleton removal
  221. Wed Jul 3 00:32:25 2013 begin with 139288465 relations and 91664526 unique ideals
  222. Wed Jul 3 00:33:45 2013 reduce to 139061653 relations and 87298178 ideals in 6 passes
  223. Wed Jul 3 00:33:45 2013 max relations containing the same ideal: 25
  224. Wed Jul 3 00:34:36 2013 removing 5848828 relations and 3848828 ideals in 2000000 cliques
  225. Wed Jul 3 00:34:40 2013 commencing in-memory singleton removal
  226. Wed Jul 3 00:34:47 2013 begin with 133212825 relations and 87298178 unique ideals
  227. Wed Jul 3 00:36:27 2013 reduce to 133003290 relations and 83236681 ideals in 8 passes
  228. Wed Jul 3 00:36:27 2013 max relations containing the same ideal: 25
  229. Wed Jul 3 00:37:15 2013 removing 5695668 relations and 3695668 ideals in 2000000 cliques
  230. Wed Jul 3 00:37:19 2013 commencing in-memory singleton removal
  231. Wed Jul 3 00:37:26 2013 begin with 127307622 relations and 83236681 unique ideals
  232. Wed Jul 3 00:38:51 2013 reduce to 127114363 relations and 79344903 ideals in 7 passes
  233. Wed Jul 3 00:38:51 2013 max relations containing the same ideal: 25
  234. Wed Jul 3 00:39:37 2013 removing 5560817 relations and 3560817 ideals in 2000000 cliques
  235. Wed Jul 3 00:39:41 2013 commencing in-memory singleton removal
  236. Wed Jul 3 00:39:48 2013 begin with 121553546 relations and 79344903 unique ideals
  237. Wed Jul 3 00:40:55 2013 reduce to 121361871 relations and 75589503 ideals in 6 passes
  238. Wed Jul 3 00:40:55 2013 max relations containing the same ideal: 25
  239. Wed Jul 3 00:41:39 2013 removing 5476137 relations and 3476137 ideals in 2000000 cliques
  240. Wed Jul 3 00:41:43 2013 commencing in-memory singleton removal
  241. Wed Jul 3 00:41:49 2013 begin with 115885734 relations and 75589503 unique ideals
  242. Wed Jul 3 00:42:49 2013 reduce to 115705885 relations and 71930524 ideals in 6 passes
  243. Wed Jul 3 00:42:49 2013 max relations containing the same ideal: 25
  244. Wed Jul 3 00:43:31 2013 removing 5400894 relations and 3400894 ideals in 2000000 cliques
  245. Wed Jul 3 00:43:34 2013 commencing in-memory singleton removal
  246. Wed Jul 3 00:43:40 2013 begin with 110304991 relations and 71930524 unique ideals
  247. Wed Jul 3 00:44:39 2013 reduce to 110133488 relations and 68355197 ideals in 6 passes
  248. Wed Jul 3 00:44:39 2013 max relations containing the same ideal: 25
  249. Wed Jul 3 00:45:19 2013 removing 5293722 relations and 3293722 ideals in 2000000 cliques
  250. Wed Jul 3 00:45:22 2013 commencing in-memory singleton removal
  251. Wed Jul 3 00:45:28 2013 begin with 104839766 relations and 68355197 unique ideals
  252. Wed Jul 3 00:46:23 2013 reduce to 104653451 relations and 64871809 ideals in 6 passes
  253. Wed Jul 3 00:46:23 2013 max relations containing the same ideal: 25
  254. Wed Jul 3 00:46:59 2013 removing 5305636 relations and 3305636 ideals in 2000000 cliques
  255. Wed Jul 3 00:47:02 2013 commencing in-memory singleton removal
  256. Wed Jul 3 00:47:05 2013 begin with 99347815 relations and 64871809 unique ideals
  257. Wed Jul 3 00:47:54 2013 reduce to 99176297 relations and 61391420 ideals in 6 passes
  258. Wed Jul 3 00:47:54 2013 max relations containing the same ideal: 25
  259. Wed Jul 3 00:48:29 2013 removing 5216025 relations and 3216025 ideals in 2000000 cliques
  260. Wed Jul 3 00:48:32 2013 commencing in-memory singleton removal
  261. Wed Jul 3 00:48:37 2013 begin with 93960272 relations and 61391420 unique ideals
  262. Wed Jul 3 00:49:32 2013 reduce to 93775123 relations and 57986616 ideals in 7 passes
  263. Wed Jul 3 00:49:32 2013 max relations containing the same ideal: 25
  264. Wed Jul 3 00:50:05 2013 removing 5159381 relations and 3159381 ideals in 2000000 cliques
  265. Wed Jul 3 00:50:08 2013 commencing in-memory singleton removal
  266. Wed Jul 3 00:50:13 2013 begin with 88615742 relations and 57986616 unique ideals
  267. Wed Jul 3 00:50:57 2013 reduce to 88422664 relations and 54630059 ideals in 6 passes
  268. Wed Jul 3 00:50:57 2013 max relations containing the same ideal: 24
  269. Wed Jul 3 00:51:28 2013 removing 5169650 relations and 3169650 ideals in 2000000 cliques
  270. Wed Jul 3 00:51:31 2013 commencing in-memory singleton removal
  271. Wed Jul 3 00:51:35 2013 begin with 83253014 relations and 54630059 unique ideals
  272. Wed Jul 3 00:52:29 2013 reduce to 83061862 relations and 51265079 ideals in 8 passes
  273. Wed Jul 3 00:52:29 2013 max relations containing the same ideal: 23
  274. Wed Jul 3 00:52:58 2013 removing 5163337 relations and 3163337 ideals in 2000000 cliques
  275. Wed Jul 3 00:53:01 2013 commencing in-memory singleton removal
  276. Wed Jul 3 00:53:05 2013 begin with 77898525 relations and 51265079 unique ideals
  277. Wed Jul 3 00:53:42 2013 reduce to 77705593 relations and 47904368 ideals in 6 passes
  278. Wed Jul 3 00:53:42 2013 max relations containing the same ideal: 23
  279. Wed Jul 3 00:54:09 2013 removing 5102678 relations and 3102678 ideals in 2000000 cliques
  280. Wed Jul 3 00:54:12 2013 commencing in-memory singleton removal
  281. Wed Jul 3 00:54:15 2013 begin with 72602915 relations and 47904368 unique ideals
  282. Wed Jul 3 00:54:49 2013 reduce to 72390859 relations and 44584433 ideals in 6 passes
  283. Wed Jul 3 00:54:49 2013 max relations containing the same ideal: 23
  284. Wed Jul 3 00:55:14 2013 removing 5095093 relations and 3095093 ideals in 2000000 cliques
  285. Wed Jul 3 00:55:17 2013 commencing in-memory singleton removal
  286. Wed Jul 3 00:55:20 2013 begin with 67295766 relations and 44584433 unique ideals
  287. Wed Jul 3 00:55:56 2013 reduce to 67068335 relations and 41255806 ideals in 7 passes
  288. Wed Jul 3 00:55:56 2013 max relations containing the same ideal: 22
  289. Wed Jul 3 00:56:19 2013 removing 5111838 relations and 3111838 ideals in 2000000 cliques
  290. Wed Jul 3 00:56:22 2013 commencing in-memory singleton removal
  291. Wed Jul 3 00:56:25 2013 begin with 61956497 relations and 41255806 unique ideals
  292. Wed Jul 3 00:56:57 2013 reduce to 61723595 relations and 37904559 ideals in 7 passes
  293. Wed Jul 3 00:56:57 2013 max relations containing the same ideal: 22
  294. Wed Jul 3 00:57:18 2013 removing 5123019 relations and 3123019 ideals in 2000000 cliques
  295. Wed Jul 3 00:57:21 2013 commencing in-memory singleton removal
  296. Wed Jul 3 00:57:23 2013 begin with 56600576 relations and 37904559 unique ideals
  297. Wed Jul 3 00:57:52 2013 reduce to 56358270 relations and 34532165 ideals in 7 passes
  298. Wed Jul 3 00:57:52 2013 max relations containing the same ideal: 21
  299. Wed Jul 3 00:58:11 2013 removing 5119080 relations and 3119080 ideals in 2000000 cliques
  300. Wed Jul 3 00:58:14 2013 commencing in-memory singleton removal
  301. Wed Jul 3 00:58:16 2013 begin with 51239190 relations and 34532165 unique ideals
  302. Wed Jul 3 00:58:41 2013 reduce to 50981770 relations and 31147951 ideals in 7 passes
  303. Wed Jul 3 00:58:41 2013 max relations containing the same ideal: 20
  304. Wed Jul 3 00:58:59 2013 removing 5074125 relations and 3074125 ideals in 2000000 cliques
  305. Wed Jul 3 00:59:01 2013 commencing in-memory singleton removal
  306. Wed Jul 3 00:59:03 2013 begin with 45907645 relations and 31147951 unique ideals
  307. Wed Jul 3 00:59:25 2013 reduce to 45521497 relations and 27672952 ideals in 7 passes
  308. Wed Jul 3 00:59:25 2013 max relations containing the same ideal: 20
  309. Wed Jul 3 00:59:40 2013 removing 5139265 relations and 3139265 ideals in 2000000 cliques
  310. Wed Jul 3 00:59:43 2013 commencing in-memory singleton removal
  311. Wed Jul 3 00:59:44 2013 begin with 40382232 relations and 27672952 unique ideals
  312. Wed Jul 3 01:00:06 2013 reduce to 40009175 relations and 24145047 ideals in 8 passes
  313. Wed Jul 3 01:00:06 2013 max relations containing the same ideal: 18
  314. Wed Jul 3 01:00:19 2013 removing 5188239 relations and 3188239 ideals in 2000000 cliques
  315. Wed Jul 3 01:00:21 2013 commencing in-memory singleton removal
  316. Wed Jul 3 01:00:23 2013 begin with 34820936 relations and 24145047 unique ideals
  317. Wed Jul 3 01:00:40 2013 reduce to 34406452 relations and 20522860 ideals in 8 passes
  318. Wed Jul 3 01:00:40 2013 max relations containing the same ideal: 17
  319. Wed Jul 3 01:00:52 2013 removing 5210200 relations and 3210200 ideals in 2000000 cliques
  320. Wed Jul 3 01:00:54 2013 commencing in-memory singleton removal
  321. Wed Jul 3 01:00:55 2013 begin with 29196252 relations and 20522860 unique ideals
  322. Wed Jul 3 01:01:08 2013 reduce to 28680142 relations and 16768238 ideals in 8 passes
  323. Wed Jul 3 01:01:08 2013 max relations containing the same ideal: 16
  324. Wed Jul 3 01:01:18 2013 removing 5262925 relations and 3262925 ideals in 2000000 cliques
  325. Wed Jul 3 01:01:20 2013 commencing in-memory singleton removal
  326. Wed Jul 3 01:01:21 2013 begin with 23417217 relations and 16768238 unique ideals
  327. Wed Jul 3 01:01:30 2013 reduce to 22832542 relations and 12881029 ideals in 8 passes
  328. Wed Jul 3 01:01:30 2013 max relations containing the same ideal: 15
  329. Wed Jul 3 01:01:38 2013 removing 176787 relations and 114442 ideals in 62345 cliques
  330. Wed Jul 3 01:01:39 2013 commencing in-memory singleton removal
  331. Wed Jul 3 01:01:39 2013 begin with 22655755 relations and 12881029 unique ideals
  332. Wed Jul 3 01:01:47 2013 reduce to 22649806 relations and 12760596 ideals in 6 passes
  333. Wed Jul 3 01:01:47 2013 max relations containing the same ideal: 15
  334. Wed Jul 3 01:01:48 2013 relations with 0 large ideals: 2768808
  335. Wed Jul 3 01:01:48 2013 relations with 1 large ideals: 9475229
  336. Wed Jul 3 01:01:48 2013 relations with 2 large ideals: 8164508
  337. Wed Jul 3 01:01:48 2013 relations with 3 large ideals: 2030866
  338. Wed Jul 3 01:01:48 2013 relations with 4 large ideals: 200046
  339. Wed Jul 3 01:01:48 2013 relations with 5 large ideals: 9490
  340. Wed Jul 3 01:01:48 2013 relations with 6 large ideals: 859
  341. Wed Jul 3 01:01:48 2013 relations with 7+ large ideals: 0
  342. Wed Jul 3 01:01:48 2013 commencing 2-way merge
  343. Wed Jul 3 01:01:57 2013 reduce to 14118235 relation sets and 4229025 unique ideals
  344. Wed Jul 3 01:01:57 2013 commencing full merge
  345. Wed Jul 3 01:02:22 2013 memory use: 481.0 MB
  346. Wed Jul 3 01:02:23 2013 found 9889169 cycles, need 8525344
  347. Wed Jul 3 01:02:26 2013 weight of 8525344 cycles is about 331202486 (38.85/cycle)
  348. Wed Jul 3 01:02:26 2013 distribution of cycle lengths:
  349. Wed Jul 3 01:02:26 2013 1 relations: 2768808
  350. Wed Jul 3 01:02:26 2013 2 relations: 1586970
  351. Wed Jul 3 01:02:26 2013 3 relations: 1401992
  352. Wed Jul 3 01:02:26 2013 4 relations: 1151709
  353. Wed Jul 3 01:02:26 2013 5 relations: 879170
  354. Wed Jul 3 01:02:26 2013 6 relations: 625483
  355. Wed Jul 3 01:02:26 2013 7 relations: 111006
  356. Wed Jul 3 01:02:26 2013 8 relations: 206
  357. Wed Jul 3 01:02:26 2013 9 relations: 0
  358. Wed Jul 3 01:02:26 2013 10+ relations: 0
  359. Wed Jul 3 01:02:26 2013 heaviest cycle: 8 relations
  360. Wed Jul 3 01:02:26 2013 matrix not dense enough, retrying
  361. Wed Jul 3 01:02:27 2013 reading large ideals from disk
  362. Wed Jul 3 01:05:01 2013 keeping 104043221 ideals with weight <= 30, target excess is 8039175
  363. Wed Jul 3 01:07:42 2013 memory use: 3682.5 MB
  364. Wed Jul 3 01:07:42 2013 commencing in-memory singleton removal
  365. Wed Jul 3 01:07:52 2013 begin with 161306723 relations and 104043221 unique ideals
  366. Wed Jul 3 01:09:01 2013 reduce to 161306462 relations and 104042960 ideals in 4 passes
  367. Wed Jul 3 01:09:01 2013 max relations containing the same ideal: 30
  368. Wed Jul 3 01:10:03 2013 removing 8578732 relations and 6578732 ideals in 2000000 cliques
  369. Wed Jul 3 01:10:08 2013 commencing in-memory singleton removal
  370. Wed Jul 3 01:10:17 2013 begin with 152727730 relations and 104042960 unique ideals
  371. Wed Jul 3 01:12:09 2013 reduce to 152314015 relations and 97043718 ideals in 7 passes
  372. Wed Jul 3 01:12:09 2013 max relations containing the same ideal: 30
  373. Wed Jul 3 01:13:07 2013 removing 6651825 relations and 4651825 ideals in 2000000 cliques
  374. Wed Jul 3 01:13:12 2013 commencing in-memory singleton removal
  375. Wed Jul 3 01:13:20 2013 begin with 145662190 relations and 97043718 unique ideals
  376. Wed Jul 3 01:15:04 2013 reduce to 145388093 relations and 92113909 ideals in 7 passes
  377. Wed Jul 3 01:15:04 2013 max relations containing the same ideal: 30
  378. Wed Jul 3 01:15:59 2013 removing 6143606 relations and 4143606 ideals in 2000000 cliques
  379. Wed Jul 3 01:16:03 2013 commencing in-memory singleton removal
  380. Wed Jul 3 01:16:12 2013 begin with 139244487 relations and 92113909 unique ideals
  381. Wed Jul 3 01:17:38 2013 reduce to 139015757 relations and 87738288 ideals in 6 passes
  382. Wed Jul 3 01:17:38 2013 max relations containing the same ideal: 30
  383. Wed Jul 3 01:18:30 2013 removing 5886472 relations and 3886472 ideals in 2000000 cliques
  384. Wed Jul 3 01:18:35 2013 commencing in-memory singleton removal
  385. Wed Jul 3 01:18:42 2013 begin with 133129285 relations and 87738288 unique ideals
  386. Wed Jul 3 01:20:27 2013 reduce to 132924373 relations and 83643908 ideals in 8 passes
  387. Wed Jul 3 01:20:27 2013 max relations containing the same ideal: 30
  388. Wed Jul 3 01:21:17 2013 removing 5692265 relations and 3692265 ideals in 2000000 cliques
  389. Wed Jul 3 01:21:21 2013 commencing in-memory singleton removal
  390. Wed Jul 3 01:21:29 2013 begin with 127232108 relations and 83643908 unique ideals
  391. Wed Jul 3 01:22:54 2013 reduce to 127035965 relations and 79752652 ideals in 7 passes
  392. Wed Jul 3 01:22:54 2013 max relations containing the same ideal: 30
  393. Wed Jul 3 01:23:42 2013 removing 5562119 relations and 3562119 ideals in 2000000 cliques
  394. Wed Jul 3 01:23:45 2013 commencing in-memory singleton removal
  395. Wed Jul 3 01:23:52 2013 begin with 121473846 relations and 79752652 unique ideals
  396. Wed Jul 3 01:25:02 2013 reduce to 121285486 relations and 75999294 ideals in 6 passes
  397. Wed Jul 3 01:25:02 2013 max relations containing the same ideal: 30
  398. Wed Jul 3 01:25:47 2013 removing 5472558 relations and 3472558 ideals in 2000000 cliques
  399. Wed Jul 3 01:25:50 2013 commencing in-memory singleton removal
  400. Wed Jul 3 01:25:57 2013 begin with 115812928 relations and 75999294 unique ideals
  401. Wed Jul 3 01:27:02 2013 reduce to 115631156 relations and 72341959 ideals in 6 passes
  402. Wed Jul 3 01:27:02 2013 max relations containing the same ideal: 30
  403. Wed Jul 3 01:27:45 2013 removing 5409641 relations and 3409641 ideals in 2000000 cliques
  404. Wed Jul 3 01:27:48 2013 commencing in-memory singleton removal
  405. Wed Jul 3 01:27:55 2013 begin with 110221515 relations and 72341959 unique ideals
  406. Wed Jul 3 01:29:05 2013 reduce to 110048418 relations and 68756179 ideals in 7 passes
  407. Wed Jul 3 01:29:05 2013 max relations containing the same ideal: 30
  408. Wed Jul 3 01:29:46 2013 removing 5304867 relations and 3304867 ideals in 2000000 cliques
  409. Wed Jul 3 01:29:49 2013 commencing in-memory singleton removal
  410. Wed Jul 3 01:29:55 2013 begin with 104743551 relations and 68756179 unique ideals
  411. Wed Jul 3 01:30:52 2013 reduce to 104557392 relations and 65261729 ideals in 6 passes
  412. Wed Jul 3 01:30:52 2013 max relations containing the same ideal: 29
  413. Wed Jul 3 01:31:30 2013 removing 5287504 relations and 3287504 ideals in 2000000 cliques
  414. Wed Jul 3 01:31:34 2013 commencing in-memory singleton removal
  415. Wed Jul 3 01:31:39 2013 begin with 99269888 relations and 65261729 unique ideals
  416. Wed Jul 3 01:32:32 2013 reduce to 99096687 relations and 61797636 ideals in 6 passes
  417. Wed Jul 3 01:32:32 2013 max relations containing the same ideal: 29
  418. Wed Jul 3 01:33:08 2013 removing 5223297 relations and 3223297 ideals in 2000000 cliques
  419. Wed Jul 3 01:33:11 2013 commencing in-memory singleton removal
  420. Wed Jul 3 01:33:16 2013 begin with 93873390 relations and 61797636 unique ideals
  421. Wed Jul 3 01:34:04 2013 reduce to 93688850 relations and 58386123 ideals in 6 passes
  422. Wed Jul 3 01:34:04 2013 max relations containing the same ideal: 28
  423. Wed Jul 3 01:34:38 2013 removing 5223076 relations and 3223076 ideals in 2000000 cliques
  424. Wed Jul 3 01:34:41 2013 commencing in-memory singleton removal
  425. Wed Jul 3 01:34:45 2013 begin with 88465774 relations and 58386123 unique ideals
  426. Wed Jul 3 01:35:31 2013 reduce to 88288941 relations and 54982525 ideals in 6 passes
  427. Wed Jul 3 01:35:31 2013 max relations containing the same ideal: 28
  428. Wed Jul 3 01:36:03 2013 removing 5142491 relations and 3142491 ideals in 2000000 cliques
  429. Wed Jul 3 01:36:06 2013 commencing in-memory singleton removal
  430. Wed Jul 3 01:36:10 2013 begin with 83146450 relations and 54982525 unique ideals
  431. Wed Jul 3 01:37:08 2013 reduce to 82950722 relations and 51639863 ideals in 8 passes
  432. Wed Jul 3 01:37:08 2013 max relations containing the same ideal: 28
  433. Wed Jul 3 01:37:38 2013 removing 5152745 relations and 3152745 ideals in 2000000 cliques
  434. Wed Jul 3 01:37:40 2013 commencing in-memory singleton removal
  435. Wed Jul 3 01:37:44 2013 begin with 77797977 relations and 51639863 unique ideals
  436. Wed Jul 3 01:38:23 2013 reduce to 77601444 relations and 48286185 ideals in 6 passes
  437. Wed Jul 3 01:38:23 2013 max relations containing the same ideal: 27
  438. Wed Jul 3 01:38:51 2013 removing 5103053 relations and 3103053 ideals in 2000000 cliques
  439. Wed Jul 3 01:38:54 2013 commencing in-memory singleton removal
  440. Wed Jul 3 01:38:57 2013 begin with 72498391 relations and 48286185 unique ideals
  441. Wed Jul 3 01:39:39 2013 reduce to 72289678 relations and 44969307 ideals in 7 passes
  442. Wed Jul 3 01:39:39 2013 max relations containing the same ideal: 27
  443. Wed Jul 3 01:40:05 2013 removing 5125568 relations and 3125568 ideals in 2000000 cliques
  444. Wed Jul 3 01:40:08 2013 commencing in-memory singleton removal
  445. Wed Jul 3 01:40:11 2013 begin with 67164110 relations and 44969307 unique ideals
  446. Wed Jul 3 01:40:48 2013 reduce to 66943448 relations and 41617354 ideals in 7 passes
  447. Wed Jul 3 01:40:48 2013 max relations containing the same ideal: 26
  448. Wed Jul 3 01:41:12 2013 removing 5089023 relations and 3089023 ideals in 2000000 cliques
  449. Wed Jul 3 01:41:14 2013 commencing in-memory singleton removal
  450. Wed Jul 3 01:41:17 2013 begin with 61854425 relations and 41617354 unique ideals
  451. Wed Jul 3 01:41:45 2013 reduce to 61613896 relations and 38281078 ideals in 6 passes
  452. Wed Jul 3 01:41:45 2013 max relations containing the same ideal: 25
  453. Wed Jul 3 01:42:07 2013 removing 5104254 relations and 3104254 ideals in 2000000 cliques
  454. Wed Jul 3 01:42:09 2013 commencing in-memory singleton removal
  455. Wed Jul 3 01:42:12 2013 begin with 56509642 relations and 38281078 unique ideals
  456. Wed Jul 3 01:42:41 2013 reduce to 56253610 relations and 34913300 ideals in 7 passes
  457. Wed Jul 3 01:42:41 2013 max relations containing the same ideal: 25
  458. Wed Jul 3 01:43:01 2013 removing 5130637 relations and 3130637 ideals in 2000000 cliques
  459. Wed Jul 3 01:43:03 2013 commencing in-memory singleton removal
  460. Wed Jul 3 01:43:06 2013 begin with 51122973 relations and 34913300 unique ideals
  461. Wed Jul 3 01:43:32 2013 reduce to 50859720 relations and 31511104 ideals in 7 passes
  462. Wed Jul 3 01:43:32 2013 max relations containing the same ideal: 23
  463. Wed Jul 3 01:43:50 2013 removing 5148843 relations and 3148843 ideals in 2000000 cliques
  464. Wed Jul 3 01:43:52 2013 commencing in-memory singleton removal
  465. Wed Jul 3 01:43:54 2013 begin with 45710877 relations and 31511104 unique ideals
  466. Wed Jul 3 01:44:17 2013 reduce to 45422095 relations and 28064035 ideals in 7 passes
  467. Wed Jul 3 01:44:17 2013 max relations containing the same ideal: 23
  468. Wed Jul 3 01:44:33 2013 removing 5095897 relations and 3095897 ideals in 2000000 cliques
  469. Wed Jul 3 01:44:35 2013 commencing in-memory singleton removal
  470. Wed Jul 3 01:44:36 2013 begin with 40326198 relations and 28064035 unique ideals
  471. Wed Jul 3 01:44:55 2013 reduce to 39897325 relations and 24521413 ideals in 7 passes
  472. Wed Jul 3 01:44:55 2013 max relations containing the same ideal: 21
  473. Wed Jul 3 01:45:09 2013 removing 5194647 relations and 3194647 ideals in 2000000 cliques
  474. Wed Jul 3 01:45:12 2013 commencing in-memory singleton removal
  475. Wed Jul 3 01:45:13 2013 begin with 34702678 relations and 24521413 unique ideals
  476. Wed Jul 3 01:45:29 2013 reduce to 34289292 relations and 20894011 ideals in 7 passes
  477. Wed Jul 3 01:45:29 2013 max relations containing the same ideal: 19
  478. Wed Jul 3 01:45:41 2013 removing 5212676 relations and 3212676 ideals in 2000000 cliques
  479. Wed Jul 3 01:45:43 2013 commencing in-memory singleton removal
  480. Wed Jul 3 01:45:44 2013 begin with 29076616 relations and 20894011 unique ideals
  481. Wed Jul 3 01:45:57 2013 reduce to 28562126 relations and 17138232 ideals in 7 passes
  482. Wed Jul 3 01:45:57 2013 max relations containing the same ideal: 18
  483. Wed Jul 3 01:46:06 2013 removing 5287006 relations and 3287006 ideals in 2000000 cliques
  484. Wed Jul 3 01:46:08 2013 commencing in-memory singleton removal
  485. Wed Jul 3 01:46:09 2013 begin with 23275120 relations and 17138232 unique ideals
  486. Wed Jul 3 01:46:20 2013 reduce to 22678459 relations and 13214122 ideals in 8 passes
  487. Wed Jul 3 01:46:20 2013 max relations containing the same ideal: 16
  488. Wed Jul 3 01:46:27 2013 removing 386758 relations and 247865 ideals in 138893 cliques
  489. Wed Jul 3 01:46:28 2013 commencing in-memory singleton removal
  490. Wed Jul 3 01:46:29 2013 begin with 22291701 relations and 13214122 unique ideals
  491. Wed Jul 3 01:46:37 2013 reduce to 22271040 relations and 12945373 ideals in 7 passes
  492. Wed Jul 3 01:46:37 2013 max relations containing the same ideal: 15
  493. Wed Jul 3 01:46:46 2013 relations with 0 large ideals: 2376684
  494. Wed Jul 3 01:46:46 2013 relations with 1 large ideals: 8730181
  495. Wed Jul 3 01:46:46 2013 relations with 2 large ideals: 8411174
  496. Wed Jul 3 01:46:46 2013 relations with 3 large ideals: 2471146
  497. Wed Jul 3 01:46:46 2013 relations with 4 large ideals: 266502
  498. Wed Jul 3 01:46:46 2013 relations with 5 large ideals: 14410
  499. Wed Jul 3 01:46:46 2013 relations with 6 large ideals: 943
  500. Wed Jul 3 01:46:46 2013 relations with 7+ large ideals: 0
  501. Wed Jul 3 01:46:46 2013 commencing 2-way merge
  502. Wed Jul 3 01:46:55 2013 reduce to 13857696 relation sets and 4532029 unique ideals
  503. Wed Jul 3 01:46:55 2013 commencing full merge
  504. Wed Jul 3 01:47:24 2013 memory use: 496.5 MB
  505. Wed Jul 3 01:47:25 2013 found 9325401 cycles, need 8039375
  506. Wed Jul 3 01:47:27 2013 weight of 8039375 cycles is about 353389305 (43.96/cycle)
  507. Wed Jul 3 01:47:27 2013 distribution of cycle lengths:
  508. Wed Jul 3 01:47:27 2013 1 relations: 2376684
  509. Wed Jul 3 01:47:27 2013 2 relations: 1344750
  510. Wed Jul 3 01:47:27 2013 3 relations: 1167873
  511. Wed Jul 3 01:47:27 2013 4 relations: 1016756
  512. Wed Jul 3 01:47:27 2013 5 relations: 858675
  513. Wed Jul 3 01:47:27 2013 6 relations: 657925
  514. Wed Jul 3 01:47:27 2013 7 relations: 490311
  515. Wed Jul 3 01:47:27 2013 8 relations: 125922
  516. Wed Jul 3 01:47:27 2013 9 relations: 478
  517. Wed Jul 3 01:47:27 2013 10+ relations: 1
  518. Wed Jul 3 01:47:27 2013 heaviest cycle: 10 relations
  519. Wed Jul 3 01:47:28 2013 matrix not dense enough, retrying
  520. Wed Jul 3 01:47:28 2013 reading large ideals from disk
  521. Wed Jul 3 01:50:00 2013 keeping 104446264 ideals with weight <= 35, target excess is 7636132
  522. Wed Jul 3 01:52:32 2013 memory use: 3682.5 MB
  523. Wed Jul 3 01:52:32 2013 commencing in-memory singleton removal
  524. Wed Jul 3 01:52:43 2013 begin with 161306723 relations and 104446264 unique ideals
  525. Wed Jul 3 01:53:53 2013 reduce to 161306462 relations and 104446003 ideals in 4 passes
  526. Wed Jul 3 01:53:53 2013 max relations containing the same ideal: 35
  527. Wed Jul 3 01:54:56 2013 removing 8602877 relations and 6602877 ideals in 2000000 cliques
  528. Wed Jul 3 01:55:01 2013 commencing in-memory singleton removal
  529. Wed Jul 3 01:55:10 2013 begin with 152703585 relations and 104446003 unique ideals
  530. Wed Jul 3 01:57:01 2013 reduce to 152291712 relations and 97424476 ideals in 7 passes
  531. Wed Jul 3 01:57:01 2013 max relations containing the same ideal: 35
  532. Wed Jul 3 01:57:59 2013 removing 6657500 relations and 4657500 ideals in 2000000 cliques
  533. Wed Jul 3 01:58:04 2013 commencing in-memory singleton removal
  534. Wed Jul 3 01:58:13 2013 begin with 145634212 relations and 97424476 unique ideals
  535. Wed Jul 3 02:00:00 2013 reduce to 145360743 relations and 92489619 ideals in 7 passes
  536. Wed Jul 3 02:00:00 2013 max relations containing the same ideal: 35
  537. Wed Jul 3 02:00:55 2013 removing 6157333 relations and 4157333 ideals in 2000000 cliques
  538. Wed Jul 3 02:01:00 2013 commencing in-memory singleton removal
  539. Wed Jul 3 02:01:08 2013 begin with 139203410 relations and 92489619 unique ideals
  540. Wed Jul 3 02:02:35 2013 reduce to 138974993 relations and 88100597 ideals in 6 passes
  541. Wed Jul 3 02:02:35 2013 max relations containing the same ideal: 35
  542. Wed Jul 3 02:03:28 2013 removing 5891438 relations and 3891438 ideals in 2000000 cliques
  543. Wed Jul 3 02:03:32 2013 commencing in-memory singleton removal
  544. Wed Jul 3 02:03:40 2013 begin with 133083555 relations and 88100597 unique ideals
  545. Wed Jul 3 02:05:27 2013 reduce to 132878164 relations and 84000722 ideals in 8 passes
  546. Wed Jul 3 02:05:27 2013 max relations containing the same ideal: 35
  547. Wed Jul 3 02:06:18 2013 removing 5707892 relations and 3707892 ideals in 2000000 cliques
  548. Wed Jul 3 02:06:22 2013 commencing in-memory singleton removal
  549. Wed Jul 3 02:06:29 2013 begin with 127170272 relations and 84000722 unique ideals
  550. Wed Jul 3 02:07:58 2013 reduce to 126977115 relations and 80096753 ideals in 7 passes
  551. Wed Jul 3 02:07:58 2013 max relations containing the same ideal: 35
  552. Wed Jul 3 02:08:46 2013 removing 5575250 relations and 3575250 ideals in 2000000 cliques
  553. Wed Jul 3 02:08:50 2013 commencing in-memory singleton removal
  554. Wed Jul 3 02:08:57 2013 begin with 121401865 relations and 80096753 unique ideals
  555. Wed Jul 3 02:10:07 2013 reduce to 121217388 relations and 76334174 ideals in 6 passes
  556. Wed Jul 3 02:10:07 2013 max relations containing the same ideal: 35
  557. Wed Jul 3 02:10:53 2013 removing 5462156 relations and 3462156 ideals in 2000000 cliques
  558. Wed Jul 3 02:10:57 2013 commencing in-memory singleton removal
  559. Wed Jul 3 02:11:04 2013 begin with 115755232 relations and 76334174 unique ideals
  560. Wed Jul 3 02:12:11 2013 reduce to 115571720 relations and 72685414 ideals in 6 passes
  561. Wed Jul 3 02:12:11 2013 max relations containing the same ideal: 35
  562. Wed Jul 3 02:12:54 2013 removing 5401116 relations and 3401116 ideals in 2000000 cliques
  563. Wed Jul 3 02:12:58 2013 commencing in-memory singleton removal
  564. Wed Jul 3 02:13:04 2013 begin with 110170604 relations and 72685414 unique ideals
  565. Wed Jul 3 02:14:06 2013 reduce to 109994573 relations and 69105203 ideals in 6 passes
  566. Wed Jul 3 02:14:06 2013 max relations containing the same ideal: 35
  567. Wed Jul 3 02:14:48 2013 removing 5329078 relations and 3329078 ideals in 2000000 cliques
  568. Wed Jul 3 02:14:51 2013 commencing in-memory singleton removal
  569. Wed Jul 3 02:14:57 2013 begin with 104665495 relations and 69105203 unique ideals
  570. Wed Jul 3 02:15:56 2013 reduce to 104486191 relations and 65593610 ideals in 6 passes
  571. Wed Jul 3 02:15:56 2013 max relations containing the same ideal: 35
  572. Wed Jul 3 02:16:35 2013 removing 5277700 relations and 3277700 ideals in 2000000 cliques
  573. Wed Jul 3 02:16:38 2013 commencing in-memory singleton removal
  574. Wed Jul 3 02:16:44 2013 begin with 99208491 relations and 65593610 unique ideals
  575. Wed Jul 3 02:17:39 2013 reduce to 99031129 relations and 62135196 ideals in 6 passes
  576. Wed Jul 3 02:17:39 2013 max relations containing the same ideal: 35
  577. Wed Jul 3 02:18:12 2013 removing 5262918 relations and 3262918 ideals in 2000000 cliques
  578. Wed Jul 3 02:18:15 2013 commencing in-memory singleton removal
  579. Wed Jul 3 02:18:20 2013 begin with 93768211 relations and 62135196 unique ideals
  580. Wed Jul 3 02:19:11 2013 reduce to 93592422 relations and 58693083 ideals in 6 passes
  581. Wed Jul 3 02:19:11 2013 max relations containing the same ideal: 34
  582. Wed Jul 3 02:19:46 2013 removing 5195228 relations and 3195228 ideals in 2000000 cliques
  583. Wed Jul 3 02:19:50 2013 commencing in-memory singleton removal
  584. Wed Jul 3 02:19:54 2013 begin with 88397194 relations and 58693083 unique ideals
  585. Wed Jul 3 02:20:42 2013 reduce to 88211648 relations and 55308452 ideals in 6 passes
  586. Wed Jul 3 02:20:42 2013 max relations containing the same ideal: 32
  587. Wed Jul 3 02:21:15 2013 removing 5135775 relations and 3135775 ideals in 2000000 cliques
  588. Wed Jul 3 02:21:18 2013 commencing in-memory singleton removal
  589. Wed Jul 3 02:21:22 2013 begin with 83075873 relations and 55308452 unique ideals
  590. Wed Jul 3 02:22:06 2013 reduce to 82878439 relations and 51970808 ideals in 6 passes
  591. Wed Jul 3 02:22:06 2013 max relations containing the same ideal: 32
  592. Wed Jul 3 02:22:37 2013 removing 5167486 relations and 3167486 ideals in 2000000 cliques
  593. Wed Jul 3 02:22:40 2013 commencing in-memory singleton removal
  594. Wed Jul 3 02:22:44 2013 begin with 77710953 relations and 51970808 unique ideals
  595. Wed Jul 3 02:23:24 2013 reduce to 77520219 relations and 48608202 ideals in 6 passes
  596. Wed Jul 3 02:23:24 2013 max relations containing the same ideal: 31
  597. Wed Jul 3 02:23:53 2013 removing 5131861 relations and 3131861 ideals in 2000000 cliques
  598. Wed Jul 3 02:23:55 2013 commencing in-memory singleton removal
  599. Wed Jul 3 02:23:59 2013 begin with 72388358 relations and 48608202 unique ideals
  600. Wed Jul 3 02:24:42 2013 reduce to 72178314 relations and 45261232 ideals in 7 passes
  601. Wed Jul 3 02:24:42 2013 max relations containing the same ideal: 31
  602. Wed Jul 3 02:25:08 2013 removing 5092899 relations and 3092899 ideals in 2000000 cliques
  603. Wed Jul 3 02:25:11 2013 commencing in-memory singleton removal
  604. Wed Jul 3 02:25:14 2013 begin with 67085415 relations and 45261232 unique ideals
  605. Wed Jul 3 02:25:53 2013 reduce to 66862305 relations and 41939404 ideals in 7 passes
  606. Wed Jul 3 02:25:53 2013 max relations containing the same ideal: 31
  607. Wed Jul 3 02:26:17 2013 removing 5129497 relations and 3129497 ideals in 2000000 cliques
  608. Wed Jul 3 02:26:20 2013 commencing in-memory singleton removal
  609. Wed Jul 3 02:26:23 2013 begin with 61732808 relations and 41939404 unique ideals
  610. Wed Jul 3 02:26:58 2013 reduce to 61499732 relations and 38570280 ideals in 7 passes
  611. Wed Jul 3 02:26:58 2013 max relations containing the same ideal: 30
  612. Wed Jul 3 02:27:20 2013 removing 5098828 relations and 3098828 ideals in 2000000 cliques
  613. Wed Jul 3 02:27:23 2013 commencing in-memory singleton removal
  614. Wed Jul 3 02:27:25 2013 begin with 56400904 relations and 38570280 unique ideals
  615. Wed Jul 3 02:27:57 2013 reduce to 56145308 relations and 35208193 ideals in 7 passes
  616. Wed Jul 3 02:27:57 2013 max relations containing the same ideal: 29
  617. Wed Jul 3 02:28:17 2013 removing 5114111 relations and 3114111 ideals in 2000000 cliques
  618. Wed Jul 3 02:28:19 2013 commencing in-memory singleton removal
  619. Wed Jul 3 02:28:22 2013 begin with 51031197 relations and 35208193 unique ideals
  620. Wed Jul 3 02:28:49 2013 reduce to 50750689 relations and 31804410 ideals in 7 passes
  621. Wed Jul 3 02:28:49 2013 max relations containing the same ideal: 28
  622. Wed Jul 3 02:29:07 2013 removing 5132702 relations and 3132702 ideals in 2000000 cliques
  623. Wed Jul 3 02:29:09 2013 commencing in-memory singleton removal
  624. Wed Jul 3 02:29:11 2013 begin with 45617987 relations and 31804410 unique ideals
  625. Wed Jul 3 02:29:35 2013 reduce to 45325308 relations and 28369267 ideals in 7 passes
  626. Wed Jul 3 02:29:35 2013 max relations containing the same ideal: 26
  627. Wed Jul 3 02:29:51 2013 removing 5171199 relations and 3171199 ideals in 2000000 cliques
  628. Wed Jul 3 02:29:53 2013 commencing in-memory singleton removal
  629. Wed Jul 3 02:29:55 2013 begin with 40154109 relations and 28369267 unique ideals
  630. Wed Jul 3 02:30:14 2013 reduce to 39804963 relations and 24835721 ideals in 7 passes
  631. Wed Jul 3 02:30:14 2013 max relations containing the same ideal: 24
  632. Wed Jul 3 02:30:28 2013 removing 5152950 relations and 3152950 ideals in 2000000 cliques
  633. Wed Jul 3 02:30:31 2013 commencing in-memory singleton removal
  634. Wed Jul 3 02:30:32 2013 begin with 34652013 relations and 24835721 unique ideals
  635. Wed Jul 3 02:30:51 2013 reduce to 34192596 relations and 21201900 ideals in 8 passes
  636. Wed Jul 3 02:30:51 2013 max relations containing the same ideal: 23
  637. Wed Jul 3 02:31:03 2013 removing 5266948 relations and 3266948 ideals in 2000000 cliques
  638. Wed Jul 3 02:31:05 2013 commencing in-memory singleton removal
  639. Wed Jul 3 02:31:06 2013 begin with 28925648 relations and 21201900 unique ideals
  640. Wed Jul 3 02:31:21 2013 reduce to 28457874 relations and 17442851 ideals in 8 passes
  641. Wed Jul 3 02:31:21 2013 max relations containing the same ideal: 22
  642. Wed Jul 3 02:31:31 2013 removing 5284933 relations and 3284933 ideals in 2000000 cliques
  643. Wed Jul 3 02:31:33 2013 commencing in-memory singleton removal
  644. Wed Jul 3 02:31:34 2013 begin with 23172941 relations and 17442851 unique ideals
  645. Wed Jul 3 02:31:43 2013 reduce to 22558890 relations and 13503972 ideals in 7 passes
  646. Wed Jul 3 02:31:43 2013 max relations containing the same ideal: 17
  647. Wed Jul 3 02:31:51 2013 removing 548874 relations and 351870 ideals in 197004 cliques
  648. Wed Jul 3 02:31:52 2013 commencing in-memory singleton removal
  649. Wed Jul 3 02:31:53 2013 begin with 22010016 relations and 13503972 unique ideals
  650. Wed Jul 3 02:32:01 2013 reduce to 21971899 relations and 13113486 ideals in 7 passes
  651. Wed Jul 3 02:32:01 2013 max relations containing the same ideal: 17
  652. Wed Jul 3 02:32:10 2013 relations with 0 large ideals: 2052947
  653. Wed Jul 3 02:32:10 2013 relations with 1 large ideals: 8053563
  654. Wed Jul 3 02:32:10 2013 relations with 2 large ideals: 8557301
  655. Wed Jul 3 02:32:10 2013 relations with 3 large ideals: 2908453
  656. Wed Jul 3 02:32:10 2013 relations with 4 large ideals: 372978
  657. Wed Jul 3 02:32:10 2013 relations with 5 large ideals: 25185
  658. Wed Jul 3 02:32:10 2013 relations with 6 large ideals: 1464
  659. Wed Jul 3 02:32:10 2013 relations with 7+ large ideals: 8
  660. Wed Jul 3 02:32:10 2013 commencing 2-way merge
  661. Wed Jul 3 02:32:19 2013 reduce to 13700813 relation sets and 4842400 unique ideals
  662. Wed Jul 3 02:32:19 2013 commencing full merge
  663. Wed Jul 3 02:32:53 2013 memory use: 516.6 MB
  664. Wed Jul 3 02:32:54 2013 found 8856823 cycles, need 7636332
  665. Wed Jul 3 02:32:57 2013 weight of 7636332 cycles is about 381872795 (50.01/cycle)
  666. Wed Jul 3 02:32:57 2013 distribution of cycle lengths:
  667. Wed Jul 3 02:32:57 2013 1 relations: 2052947
  668. Wed Jul 3 02:32:57 2013 2 relations: 1149267
  669. Wed Jul 3 02:32:57 2013 3 relations: 978637
  670. Wed Jul 3 02:32:57 2013 4 relations: 885580
  671. Wed Jul 3 02:32:57 2013 5 relations: 789237
  672. Wed Jul 3 02:32:57 2013 6 relations: 658485
  673. Wed Jul 3 02:32:57 2013 7 relations: 529669
  674. Wed Jul 3 02:32:57 2013 8 relations: 393361
  675. Wed Jul 3 02:32:57 2013 9 relations: 196874
  676. Wed Jul 3 02:32:57 2013 10+ relations: 2275
  677. Wed Jul 3 02:32:57 2013 heaviest cycle: 11 relations
  678. Wed Jul 3 02:32:57 2013 matrix not dense enough, retrying
  679. Wed Jul 3 02:32:58 2013 reading large ideals from disk
  680. Wed Jul 3 02:35:28 2013 keeping 104919600 ideals with weight <= 40, target excess is 7162796
  681. Wed Jul 3 02:38:04 2013 memory use: 3682.5 MB
  682. Wed Jul 3 02:38:04 2013 commencing in-memory singleton removal
  683. Wed Jul 3 02:38:15 2013 begin with 161306723 relations and 104919600 unique ideals
  684. Wed Jul 3 02:39:25 2013 reduce to 161306462 relations and 104919339 ideals in 4 passes
  685. Wed Jul 3 02:39:25 2013 max relations containing the same ideal: 40
  686. Wed Jul 3 02:40:28 2013 removing 8629486 relations and 6629486 ideals in 2000000 cliques
  687. Wed Jul 3 02:40:33 2013 commencing in-memory singleton removal
  688. Wed Jul 3 02:40:43 2013 begin with 152676976 relations and 104919339 unique ideals
  689. Wed Jul 3 02:42:39 2013 reduce to 152266647 relations and 97872781 ideals in 7 passes
  690. Wed Jul 3 02:42:39 2013 max relations containing the same ideal: 40
  691. Wed Jul 3 02:43:39 2013 removing 6682171 relations and 4682171 ideals in 2000000 cliques
  692. Wed Jul 3 02:43:43 2013 commencing in-memory singleton removal
  693. Wed Jul 3 02:43:53 2013 begin with 145584476 relations and 97872781 unique ideals
  694. Wed Jul 3 02:45:39 2013 reduce to 145314557 relations and 92916865 ideals in 7 passes
  695. Wed Jul 3 02:45:39 2013 max relations containing the same ideal: 40
  696. Wed Jul 3 02:46:35 2013 removing 6162697 relations and 4162697 ideals in 2000000 cliques
  697. Wed Jul 3 02:46:40 2013 commencing in-memory singleton removal
  698. Wed Jul 3 02:46:48 2013 begin with 139151860 relations and 92916865 unique ideals
  699. Wed Jul 3 02:48:16 2013 reduce to 138923470 relations and 88522544 ideals in 6 passes
  700. Wed Jul 3 02:48:16 2013 max relations containing the same ideal: 40
  701. Wed Jul 3 02:49:11 2013 removing 5887972 relations and 3887972 ideals in 2000000 cliques
  702. Wed Jul 3 02:49:15 2013 commencing in-memory singleton removal
  703. Wed Jul 3 02:49:23 2013 begin with 133035498 relations and 88522544 unique ideals
  704. Wed Jul 3 02:51:13 2013 reduce to 132828682 relations and 84424680 ideals in 8 passes
  705. Wed Jul 3 02:51:13 2013 max relations containing the same ideal: 40
  706. Wed Jul 3 02:52:05 2013 removing 5709580 relations and 3709580 ideals in 2000000 cliques
  707. Wed Jul 3 02:52:08 2013 commencing in-memory singleton removal
  708. Wed Jul 3 02:52:16 2013 begin with 127119102 relations and 84424680 unique ideals
  709. Wed Jul 3 02:53:47 2013 reduce to 126925232 relations and 80518339 ideals in 7 passes
  710. Wed Jul 3 02:53:47 2013 max relations containing the same ideal: 40
  711. Wed Jul 3 02:54:36 2013 removing 5586807 relations and 3586807 ideals in 2000000 cliques
  712. Wed Jul 3 02:54:40 2013 commencing in-memory singleton removal
  713. Wed Jul 3 02:54:48 2013 begin with 121338425 relations and 80518339 unique ideals
  714. Wed Jul 3 02:56:00 2013 reduce to 121154195 relations and 76744451 ideals in 6 passes
  715. Wed Jul 3 02:56:00 2013 max relations containing the same ideal: 40
  716. Wed Jul 3 02:56:46 2013 removing 5476855 relations and 3476855 ideals in 2000000 cliques
  717. Wed Jul 3 02:56:50 2013 commencing in-memory singleton removal
  718. Wed Jul 3 02:56:57 2013 begin with 115677340 relations and 76744451 unique ideals
  719. Wed Jul 3 02:58:27 2013 reduce to 115495652 relations and 73082927 ideals in 8 passes
  720. Wed Jul 3 02:58:27 2013 max relations containing the same ideal: 39
  721. Wed Jul 3 02:59:11 2013 removing 5413756 relations and 3413756 ideals in 2000000 cliques
  722. Wed Jul 3 02:59:15 2013 commencing in-memory singleton removal
  723. Wed Jul 3 02:59:21 2013 begin with 110081896 relations and 73082927 unique ideals
  724. Wed Jul 3 03:00:27 2013 reduce to 109904622 relations and 69488760 ideals in 6 passes
  725. Wed Jul 3 03:00:27 2013 max relations containing the same ideal: 39
  726. Wed Jul 3 03:01:09 2013 removing 5346693 relations and 3346693 ideals in 2000000 cliques
  727. Wed Jul 3 03:01:13 2013 commencing in-memory singleton removal
  728. Wed Jul 3 03:01:19 2013 begin with 104557929 relations and 69488760 unique ideals
  729. Wed Jul 3 03:02:18 2013 reduce to 104386127 relations and 65967187 ideals in 6 passes
  730. Wed Jul 3 03:02:18 2013 max relations containing the same ideal: 38
  731. Wed Jul 3 03:02:58 2013 removing 5267556 relations and 3267556 ideals in 2000000 cliques
  732. Wed Jul 3 03:03:02 2013 commencing in-memory singleton removal
  733. Wed Jul 3 03:03:07 2013 begin with 99118571 relations and 65967187 unique ideals
  734. Wed Jul 3 03:04:03 2013 reduce to 98933363 relations and 62510885 ideals in 6 passes
  735. Wed Jul 3 03:04:03 2013 max relations containing the same ideal: 37
  736. Wed Jul 3 03:04:41 2013 removing 5255470 relations and 3255470 ideals in 2000000 cliques
  737. Wed Jul 3 03:04:44 2013 commencing in-memory singleton removal
  738. Wed Jul 3 03:04:49 2013 begin with 93677893 relations and 62510885 unique ideals
  739. Wed Jul 3 03:05:41 2013 reduce to 93501880 relations and 59075934 ideals in 6 passes
  740. Wed Jul 3 03:05:41 2013 max relations containing the same ideal: 37
  741. Wed Jul 3 03:06:17 2013 removing 5187497 relations and 3187497 ideals in 2000000 cliques
  742. Wed Jul 3 03:06:20 2013 commencing in-memory singleton removal
  743. Wed Jul 3 03:06:25 2013 begin with 88314383 relations and 59075934 unique ideals
  744. Wed Jul 3 03:07:14 2013 reduce to 88127279 relations and 55697442 ideals in 6 passes
  745. Wed Jul 3 03:07:14 2013 max relations containing the same ideal: 37
  746. Wed Jul 3 03:07:47 2013 removing 5188620 relations and 3188620 ideals in 2000000 cliques
  747. Wed Jul 3 03:07:50 2013 commencing in-memory singleton removal
  748. Wed Jul 3 03:07:55 2013 begin with 82938659 relations and 55697442 unique ideals
  749. Wed Jul 3 03:08:40 2013 reduce to 82754792 relations and 52320857 ideals in 6 passes
  750. Wed Jul 3 03:08:40 2013 max relations containing the same ideal: 37
  751. Wed Jul 3 03:09:11 2013 removing 5128832 relations and 3128832 ideals in 2000000 cliques
  752. Wed Jul 3 03:09:14 2013 commencing in-memory singleton removal
  753. Wed Jul 3 03:09:18 2013 begin with 77625960 relations and 52320857 unique ideals
  754. Wed Jul 3 03:10:05 2013 reduce to 77424843 relations and 48986225 ideals in 7 passes
  755. Wed Jul 3 03:10:05 2013 max relations containing the same ideal: 35
  756. Wed Jul 3 03:10:34 2013 removing 5134370 relations and 3134370 ideals in 2000000 cliques
  757. Wed Jul 3 03:10:37 2013 commencing in-memory singleton removal
  758. Wed Jul 3 03:10:41 2013 begin with 72290473 relations and 48986225 unique ideals
  759. Wed Jul 3 03:11:23 2013 reduce to 72083852 relations and 45640232 ideals in 7 passes
  760. Wed Jul 3 03:11:23 2013 max relations containing the same ideal: 33
  761. Wed Jul 3 03:11:51 2013 removing 5132917 relations and 3132917 ideals in 2000000 cliques
  762. Wed Jul 3 03:11:53 2013 commencing in-memory singleton removal
  763. Wed Jul 3 03:11:57 2013 begin with 66950935 relations and 45640232 unique ideals
  764. Wed Jul 3 03:12:37 2013 reduce to 66734437 relations and 42285204 ideals in 7 passes
  765. Wed Jul 3 03:12:37 2013 max relations containing the same ideal: 33
  766. Wed Jul 3 03:13:02 2013 removing 5092890 relations and 3092890 ideals in 2000000 cliques
  767. Wed Jul 3 03:13:04 2013 commencing in-memory singleton removal
  768. Wed Jul 3 03:13:07 2013 begin with 61641547 relations and 42285204 unique ideals
  769. Wed Jul 3 03:13:43 2013 reduce to 61405541 relations and 38949631 ideals in 7 passes
  770. Wed Jul 3 03:13:43 2013 max relations containing the same ideal: 32
  771. Wed Jul 3 03:14:06 2013 removing 5129766 relations and 3129766 ideals in 2000000 cliques
  772. Wed Jul 3 03:14:09 2013 commencing in-memory singleton removal
  773. Wed Jul 3 03:14:12 2013 begin with 56275775 relations and 38949631 unique ideals
  774. Wed Jul 3 03:14:44 2013 reduce to 56026736 relations and 35563339 ideals in 7 passes
  775. Wed Jul 3 03:14:44 2013 max relations containing the same ideal: 30
  776. Wed Jul 3 03:15:05 2013 removing 5107088 relations and 3107088 ideals in 2000000 cliques
  777. Wed Jul 3 03:15:07 2013 commencing in-memory singleton removal
  778. Wed Jul 3 03:15:10 2013 begin with 50919648 relations and 35563339 unique ideals
  779. Wed Jul 3 03:15:38 2013 reduce to 50642128 relations and 32169669 ideals in 7 passes
  780. Wed Jul 3 03:15:38 2013 max relations containing the same ideal: 29
  781. Wed Jul 3 03:15:57 2013 removing 5127480 relations and 3127480 ideals in 2000000 cliques
  782. Wed Jul 3 03:15:59 2013 commencing in-memory singleton removal
  783. Wed Jul 3 03:16:01 2013 begin with 45514648 relations and 32169669 unique ideals
  784. Wed Jul 3 03:16:28 2013 reduce to 45199857 relations and 28716501 ideals in 8 passes
  785. Wed Jul 3 03:16:28 2013 max relations containing the same ideal: 28
  786. Wed Jul 3 03:16:45 2013 removing 5169288 relations and 3169288 ideals in 2000000 cliques
  787. Wed Jul 3 03:16:47 2013 commencing in-memory singleton removal
  788. Wed Jul 3 03:16:49 2013 begin with 40030569 relations and 28716501 unique ideals
  789. Wed Jul 3 03:17:13 2013 reduce to 39696581 relations and 25200670 ideals in 8 passes
  790. Wed Jul 3 03:17:13 2013 max relations containing the same ideal: 26
  791. Wed Jul 3 03:17:28 2013 removing 5203242 relations and 3203242 ideals in 2000000 cliques
  792. Wed Jul 3 03:17:30 2013 commencing in-memory singleton removal
  793. Wed Jul 3 03:17:31 2013 begin with 34493339 relations and 25200670 unique ideals
  794. Wed Jul 3 03:17:49 2013 reduce to 34085421 relations and 21571773 ideals in 7 passes
  795. Wed Jul 3 03:17:49 2013 max relations containing the same ideal: 23
  796. Wed Jul 3 03:18:01 2013 removing 5217645 relations and 3217645 ideals in 2000000 cliques
  797. Wed Jul 3 03:18:03 2013 commencing in-memory singleton removal
  798. Wed Jul 3 03:18:04 2013 begin with 28867776 relations and 21571773 unique ideals
  799. Wed Jul 3 03:18:20 2013 reduce to 28347267 relations and 17805272 ideals in 8 passes
  800. Wed Jul 3 03:18:20 2013 max relations containing the same ideal: 22
  801. Wed Jul 3 03:18:30 2013 removing 5310364 relations and 3310364 ideals in 2000000 cliques
  802. Wed Jul 3 03:18:32 2013 commencing in-memory singleton removal
  803. Wed Jul 3 03:18:33 2013 begin with 23036903 relations and 17805272 unique ideals
  804. Wed Jul 3 03:18:43 2013 reduce to 22442902 relations and 13862472 ideals in 7 passes
  805. Wed Jul 3 03:18:43 2013 max relations containing the same ideal: 19
  806. Wed Jul 3 03:18:51 2013 removing 764314 relations and 492728 ideals in 271586 cliques
  807. Wed Jul 3 03:18:52 2013 commencing in-memory singleton removal
  808. Wed Jul 3 03:18:53 2013 begin with 21678588 relations and 13862472 unique ideals
  809. Wed Jul 3 03:19:02 2013 reduce to 21621248 relations and 13311483 ideals in 7 passes
  810. Wed Jul 3 03:19:02 2013 max relations containing the same ideal: 19
  811. Wed Jul 3 03:19:11 2013 relations with 0 large ideals: 1716066
  812. Wed Jul 3 03:19:11 2013 relations with 1 large ideals: 7224914
  813. Wed Jul 3 03:19:11 2013 relations with 2 large ideals: 8583335
  814. Wed Jul 3 03:19:11 2013 relations with 3 large ideals: 3484439
  815. Wed Jul 3 03:19:11 2013 relations with 4 large ideals: 560243
  816. Wed Jul 3 03:19:11 2013 relations with 5 large ideals: 48853
  817. Wed Jul 3 03:19:11 2013 relations with 6 large ideals: 3339
  818. Wed Jul 3 03:19:11 2013 relations with 7+ large ideals: 59
  819. Wed Jul 3 03:19:11 2013 commencing 2-way merge
  820. Wed Jul 3 03:19:20 2013 reduce to 13523414 relation sets and 5213649 unique ideals
  821. Wed Jul 3 03:19:20 2013 commencing full merge
  822. Wed Jul 3 03:20:02 2013 memory use: 545.7 MB
  823. Wed Jul 3 03:20:04 2013 found 8298311 cycles, need 7162996
  824. Wed Jul 3 03:20:06 2013 weight of 7162996 cycles is about 429464179 (59.96/cycle)
  825. Wed Jul 3 03:20:06 2013 distribution of cycle lengths:
  826. Wed Jul 3 03:20:06 2013 1 relations: 1716066
  827. Wed Jul 3 03:20:06 2013 2 relations: 936236
  828. Wed Jul 3 03:20:06 2013 3 relations: 776941
  829. Wed Jul 3 03:20:06 2013 4 relations: 710454
  830. Wed Jul 3 03:20:06 2013 5 relations: 661222
  831. Wed Jul 3 03:20:06 2013 6 relations: 589287
  832. Wed Jul 3 03:20:06 2013 7 relations: 519952
  833. Wed Jul 3 03:20:06 2013 8 relations: 437322
  834. Wed Jul 3 03:20:06 2013 9 relations: 362226
  835. Wed Jul 3 03:20:06 2013 10+ relations: 453290
  836. Wed Jul 3 03:20:06 2013 heaviest cycle: 13 relations
  837. Wed Jul 3 03:20:07 2013 commencing cycle optimization
  838. Wed Jul 3 03:20:17 2013 start with 30722650 relations
  839. Wed Jul 3 03:20:51 2013 pruned 1982917 relations
  840. Wed Jul 3 03:20:51 2013 memory use: 1024.6 MB
  841. Wed Jul 3 03:20:51 2013 distribution of cycle lengths:
  842. Wed Jul 3 03:20:51 2013 1 relations: 1716066
  843. Wed Jul 3 03:20:51 2013 2 relations: 980162
  844. Wed Jul 3 03:20:51 2013 3 relations: 844203
  845. Wed Jul 3 03:20:51 2013 4 relations: 788777
  846. Wed Jul 3 03:20:51 2013 5 relations: 744433
  847. Wed Jul 3 03:20:51 2013 6 relations: 649057
  848. Wed Jul 3 03:20:51 2013 7 relations: 543345
  849. Wed Jul 3 03:20:51 2013 8 relations: 403555
  850. Wed Jul 3 03:20:51 2013 9 relations: 274744
  851. Wed Jul 3 03:20:51 2013 10+ relations: 218654
  852. Wed Jul 3 03:20:51 2013 heaviest cycle: 13 relations
  853. Wed Jul 3 03:20:59 2013 RelProcTime: 21534
  854. Wed Jul 3 03:21:01 2013
  855. Wed Jul 3 03:21:01 2013 commencing linear algebra
  856. Wed Jul 3 03:21:01 2013 initialized process (0,0) of 1 x 1 grid
  857. Wed Jul 3 03:21:02 2013 read 7162996 cycles
  858. Wed Jul 3 03:21:13 2013 cycles contain 17924013 unique relations
  859. Wed Jul 3 03:27:58 2013 read 17924013 relations
  860. Wed Jul 3 03:28:18 2013 using 20 quadratic characters above 2147482122
  861. Wed Jul 3 03:29:54 2013 building initial matrix
  862. Wed Jul 3 03:33:46 2013 memory use: 2549.4 MB
  863. Wed Jul 3 03:33:54 2013 read 7162996 cycles
  864. Wed Jul 3 03:33:56 2013 matrix is 7158935 x 7162996 (1829.1 MB) with weight 581192033 (81.14/col)
  865. Wed Jul 3 03:33:56 2013 sparse part has weight 393535168 (54.94/col)
  866. Wed Jul 3 03:35:49 2013 filtering completed in 3 passes
  867. Wed Jul 3 03:35:51 2013 matrix is 7083279 x 7083479 (1816.8 MB) with weight 577065932 (81.47/col)
  868. Wed Jul 3 03:35:51 2013 sparse part has weight 391269341 (55.24/col)
  869. Wed Jul 3 03:36:31 2013 matrix starts at (0, 0)
  870. Wed Jul 3 03:36:33 2013 matrix is 7083279 x 7083479 (1816.8 MB) with weight 577065932 (81.47/col)
  871. Wed Jul 3 03:36:33 2013 sparse part has weight 391269341 (55.24/col)
  872. Wed Jul 3 03:36:33 2013 saving the first 48 matrix rows for later
  873. Wed Jul 3 03:36:34 2013 matrix includes 64 packed rows
  874. Wed Jul 3 03:36:35 2013 matrix is 7083231 x 7083479 (1758.7 MB) with weight 448392284 (63.30/col)
  875. Wed Jul 3 03:36:35 2013 sparse part has weight 390205457 (55.09/col)
  876. Wed Jul 3 03:36:35 2013 using block size 8192 and superblock size 786432 for processor cache size 8192 kB
  877. Wed Jul 3 03:37:02 2013 commencing Lanczos iteration (4 threads)
  878. Wed Jul 3 03:37:02 2013 memory use: 1403.2 MB
  879. Wed Jul 3 03:37:24 2013 linear algebra at 0.0%, ETA 25h55m
  880. Wed Jul 3 03:37:31 2013 checkpointing every 270000 dimensions
  881. Thu Jul 4 06:57:38 2013 lanczos halted after 112006 iterations (dim = 7083220)
  882. Thu Jul 4 06:57:45 2013 recovered 25 nontrivial dependencies
  883. Thu Jul 4 06:57:45 2013 BLanczosTime: 99404
  884. Thu Jul 4 06:57:45 2013
  885. Thu Jul 4 06:57:45 2013 commencing square root phase
  886. Thu Jul 4 06:57:45 2013 reading relations for dependency 0
  887. Thu Jul 4 06:57:47 2013 read 7083479 cycles
  888. Thu Jul 4 06:57:55 2013 cycles contain 17853616 unique relations
  889. Thu Jul 4 07:04:59 2013 read 17853616 relations
  890. Thu Jul 4 07:06:14 2013 algebraic side is not a square!
  891. Thu Jul 4 07:06:15 2013 reading relations for dependency 1
  892. Thu Jul 4 07:06:19 2013 read 3541703 cycles
  893. Thu Jul 4 07:06:24 2013 cycles contain 8921408 unique relations
  894. Thu Jul 4 07:12:51 2013 read 8921408 relations
  895. Thu Jul 4 07:13:50 2013 multiplying 8921408 relations
  896. Thu Jul 4 07:30:10 2013 multiply complete, coefficients have about 494.44 million bits
  897. Thu Jul 4 07:30:14 2013 initial square root is modulo 744462673
  898. Thu Jul 4 07:50:04 2013 sqrtTime: 3139
  899. Thu Jul 4 07:50:04 2013 prp75 factor: 101814304324334006347720247956531431054730671614952768502158077738161907507
  900. Thu Jul 4 07:50:04 2013 prp89 factor: 50221617492347410835001189762529438377673186530427303161494399851009900695146062023971609
  901. Thu Jul 4 07:50:04 2013 elapsed time 34:28:01
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!