daily pastebin goal
18%
SHARE
TWEET

L1354

debrouxl May 30th, 2016 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top