API tools faq
paste
Advertisement
Guest User

Msieve log of C190_3372531985651_17

a guest
Oct 2nd, 2017
421
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 43.53 KB | None | 0 0
raw download clone embed print report
  1. Sat Sep 23 06:37:54 2017
  2. Sat Sep 23 06:37:54 2017
  3. Sat Sep 23 06:37:54 2017 Msieve v. 1.53 (SVN 988)
  4. Sat Sep 23 06:37:54 2017 random seeds: dc0c0e00 54324297
  5. Sat Sep 23 06:37:54 2017 factoring 1325324320557455001788448610477140077418405659119617768498841818222068356580398973924102880049921589071941214074318867551198468474818336266697692700377681173952307422757757209614714956777867 (190 digits)
  6. Sat Sep 23 06:37:55 2017 searching for 15-digit factors
  7. Sat Sep 23 06:37:56 2017 commencing number field sieve (190-digit input)
  8. Sat Sep 23 06:37:56 2017 R0: 38359084354469978248840166468025849451
  9. Sat Sep 23 06:37:56 2017 R1: -1
  10. Sat Sep 23 06:37:56 2017 A0: -3372531985651
  11. Sat Sep 23 06:37:56 2017 A1: 0
  12. Sat Sep 23 06:37:56 2017 A2: 0
  13. Sat Sep 23 06:37:56 2017 A3: 0
  14. Sat Sep 23 06:37:56 2017 A4: 0
  15. Sat Sep 23 06:37:56 2017 A5: 0
  16. Sat Sep 23 06:37:56 2017 A6: 1
  17. Sat Sep 23 06:37:56 2017 skew 122.46, size 3.385e-012, alpha -0.938, combined = 3.024e-013 rroots = 2
  18. Sat Sep 23 06:37:56 2017
  19. Sat Sep 23 06:37:56 2017 commencing relation filtering
  20. Sat Sep 23 06:37:56 2017 setting target matrix density to 130.0
  21. Sat Sep 23 06:37:56 2017 estimated available RAM is 8106.1 MB
  22. Sat Sep 23 06:37:56 2017 commencing duplicate removal, pass 1
  23. Sat Sep 23 06:38:27 2017 error -9 reading relation 1766708
  24. Sat Sep 23 06:38:35 2017 error -9 reading relation 2229779
  25. Sat Sep 23 06:42:03 2017 error -15 reading relation 14051012
  26. Sat Sep 23 06:44:36 2017 error -15 reading relation 22653995
  27. Sat Sep 23 06:45:37 2017 error -9 reading relation 25989111
  28. Sat Sep 23 06:45:40 2017 error -15 reading relation 26187884
  29. Sat Sep 23 06:45:41 2017 error -15 reading relation 26235681
  30. Sat Sep 23 06:45:44 2017 error -9 reading relation 26377432
  31. Sat Sep 23 06:45:46 2017 error -15 reading relation 26497004
  32. Sat Sep 23 06:45:50 2017 error -15 reading relation 26711382
  33. Sat Sep 23 06:45:52 2017 error -15 reading relation 26827356
  34. Sat Sep 23 06:45:53 2017 error -9 reading relation 26891949
  35. Sat Sep 23 06:47:50 2017 error -5 reading relation 33421384
  36. Sat Sep 23 06:47:51 2017 error -15 reading relation 33511562
  37. Sat Sep 23 06:47:53 2017 error -5 reading relation 33595867
  38. Sat Sep 23 06:48:00 2017 error -9 reading relation 34014031
  39. Sat Sep 23 06:48:14 2017 error -1 reading relation 34793259
  40. Sat Sep 23 06:48:53 2017 error -15 reading relation 37004784
  41. Sat Sep 23 06:53:19 2017 error -9 reading relation 51800297
  42. Sat Sep 23 06:53:23 2017 error -15 reading relation 52032396
  43. Sat Sep 23 06:53:27 2017 error -9 reading relation 52247661
  44. Sat Sep 23 06:53:30 2017 error -1 reading relation 52454217
  45. Sat Sep 23 06:53:33 2017 error -9 reading relation 52615640
  46. Sat Sep 23 06:53:35 2017 error -1 reading relation 52695835
  47. Sat Sep 23 06:53:36 2017 error -1 reading relation 52751394
  48. Sat Sep 23 06:53:39 2017 error -1 reading relation 52947671
  49. Sat Sep 23 06:53:46 2017 error -1 reading relation 53319442
  50. Sat Sep 23 06:54:20 2017 error -9 reading relation 55261778
  51. Sat Sep 23 06:54:34 2017 error -9 reading relation 56068596
  52. Sat Sep 23 06:54:37 2017 error -15 reading relation 56205736
  53. Sat Sep 23 06:56:12 2017 error -9 reading relation 61556543
  54. Sat Sep 23 06:56:12 2017 error -1 reading relation 61574083
  55. Sat Sep 23 06:56:39 2017 error -15 reading relation 63077609
  56. Sat Sep 23 06:59:02 2017 error -5 reading relation 71147230
  57. Sat Sep 23 06:59:04 2017 error -1 reading relation 71214313
  58. Sat Sep 23 06:59:16 2017 error -9 reading relation 71906665
  59. Sat Sep 23 07:02:15 2017 error -15 reading relation 81923927
  60. Sat Sep 23 07:02:34 2017 error -1 reading relation 82997918
  61. Sat Sep 23 07:02:44 2017 error -15 reading relation 83562640
  62. Sat Sep 23 07:02:44 2017 error -5 reading relation 83564748
  63. Sat Sep 23 07:03:12 2017 error -5 reading relation 85140463
  64. Sat Sep 23 07:03:59 2017 error -9 reading relation 87864368
  65. Sat Sep 23 07:04:13 2017 error -15 reading relation 88643006
  66. Sat Sep 23 07:04:21 2017 error -9 reading relation 89110283
  67. Sat Sep 23 07:04:21 2017 error -9 reading relation 89112050
  68. Sat Sep 23 07:05:07 2017 error -9 reading relation 91756875
  69. Sat Sep 23 07:06:29 2017 error -15 reading relation 96453736
  70. Sat Sep 23 07:08:18 2017 error -5 reading relation 102394573
  71. Sat Sep 23 07:08:18 2017 error -5 reading relation 102401906
  72. Sat Sep 23 07:08:35 2017 error -9 reading relation 103309139
  73. Sat Sep 23 07:08:39 2017 error -5 reading relation 103505587
  74. Sat Sep 23 07:08:50 2017 error -15 reading relation 103958154
  75. Sat Sep 23 07:09:07 2017 error -1 reading relation 104927548
  76. Sat Sep 23 07:09:22 2017 error -15 reading relation 105766911
  77. Sat Sep 23 07:10:07 2017 error -9 reading relation 108309735
  78. Sat Sep 23 07:10:18 2017 error -9 reading relation 108971564
  79. Sat Sep 23 07:10:28 2017 error -9 reading relation 109544711
  80. Sat Sep 23 07:11:02 2017 error -5 reading relation 111458235
  81. Sat Sep 23 07:11:10 2017 error -15 reading relation 111941453
  82. Sat Sep 23 07:11:24 2017 error -9 reading relation 112750425
  83. Sat Sep 23 07:11:46 2017 error -15 reading relation 114029962
  84. Sat Sep 23 07:11:54 2017 error -15 reading relation 114470304
  85. Sat Sep 23 07:11:54 2017 error -9 reading relation 114490663
  86. Sat Sep 23 07:11:55 2017 error -9 reading relation 114552020
  87. Sat Sep 23 07:11:57 2017 error -15 reading relation 114639472
  88. Sat Sep 23 07:12:00 2017 error -9 reading relation 114792097
  89. Sat Sep 23 07:12:01 2017 error -15 reading relation 114843472
  90. Sat Sep 23 07:12:01 2017 error -1 reading relation 114846390
  91. Sat Sep 23 07:12:01 2017 error -9 reading relation 114851280
  92. Sat Sep 23 07:12:04 2017 error -15 reading relation 115043643
  93. Sat Sep 23 07:12:09 2017 error -9 reading relation 115331412
  94. Sat Sep 23 07:14:01 2017 error -9 reading relation 121608949
  95. Sat Sep 23 07:14:01 2017 error -15 reading relation 121616238
  96. Sat Sep 23 07:14:43 2017 error -1 reading relation 123942627
  97. Sat Sep 23 07:14:51 2017 error -9 reading relation 124409146
  98. Sat Sep 23 07:14:56 2017 error -9 reading relation 124651704
  99. Sat Sep 23 07:15:05 2017 error -9 reading relation 125180618
  100. Sat Sep 23 07:15:14 2017 error -9 reading relation 125680406
  101. Sat Sep 23 07:15:39 2017 error -15 reading relation 127088151
  102. Sat Sep 23 07:15:55 2017 error -1 reading relation 128016559
  103. Sat Sep 23 07:16:04 2017 error -15 reading relation 128543860
  104. Sat Sep 23 07:16:15 2017 error -9 reading relation 129177218
  105. Sat Sep 23 07:16:55 2017 error -9 reading relation 131455518
  106. Sat Sep 23 07:16:56 2017 error -9 reading relation 131497614
  107. Sat Sep 23 07:16:58 2017 error -15 reading relation 131622434
  108. Sat Sep 23 07:18:40 2017 error -15 reading relation 137395044
  109. Sat Sep 23 07:18:43 2017 error -15 reading relation 137565526
  110. Sat Sep 23 07:18:44 2017 error -9 reading relation 137641074
  111. Sat Sep 23 07:18:47 2017 error -15 reading relation 137790546
  112. Sat Sep 23 07:20:46 2017 error -15 reading relation 144424307
  113. Sat Sep 23 07:20:54 2017 error -9 reading relation 144846212
  114. Sat Sep 23 07:21:27 2017 error -15 reading relation 146651939
  115. Sat Sep 23 07:21:28 2017 error -15 reading relation 146698744
  116. Sat Sep 23 07:21:36 2017 error -15 reading relation 147158268
  117. Sat Sep 23 07:22:13 2017 error -5 reading relation 149232464
  118. Sat Sep 23 07:22:13 2017 error -15 reading relation 149236186
  119. Sat Sep 23 07:22:45 2017 error -15 reading relation 150966553
  120. Sat Sep 23 07:22:50 2017 error -9 reading relation 151254159
  121. Sat Sep 23 07:23:11 2017 error -1 reading relation 152441493
  122. Sat Sep 23 07:23:11 2017 error -1 reading relation 152448641
  123. Sat Sep 23 07:23:28 2017 error -15 reading relation 153404034
  124. Sat Sep 23 07:23:28 2017 error -9 reading relation 153417538
  125. Sat Sep 23 07:23:31 2017 error -9 reading relation 153616580
  126. Sat Sep 23 07:23:32 2017 error -9 reading relation 153657743
  127. Sat Sep 23 07:23:36 2017 error -9 reading relation 153867721
  128. Sat Sep 23 07:23:43 2017 error -1 reading relation 154290265
  129. Sat Sep 23 07:23:52 2017 error -9 reading relation 154829162
  130. Sat Sep 23 07:23:54 2017 error -9 reading relation 154934790
  131. Sat Sep 23 07:23:56 2017 error -1 reading relation 155026269
  132. Sat Sep 23 07:24:10 2017 error -9 reading relation 155859233
  133. Sat Sep 23 07:24:10 2017 error -1 reading relation 155874954
  134. Sat Sep 23 07:24:27 2017 error -15 reading relation 156852024
  135. Sat Sep 23 07:24:27 2017 error -9 reading relation 156852775
  136. Sat Sep 23 07:24:36 2017 error -15 reading relation 157321705
  137. Sat Sep 23 07:24:39 2017 error -15 reading relation 157497081
  138. Sat Sep 23 07:24:40 2017 error -9 reading relation 157530410
  139. Sat Sep 23 07:24:42 2017 error -5 reading relation 157683450
  140. Sat Sep 23 07:24:52 2017 error -9 reading relation 158268328
  141. Sat Sep 23 07:25:00 2017 error -9 reading relation 158680516
  142. Sat Sep 23 07:25:02 2017 error -9 reading relation 158815785
  143. Sat Sep 23 07:25:02 2017 error -1 reading relation 158817631
  144. Sat Sep 23 07:25:03 2017 error -15 reading relation 158876659
  145. Sat Sep 23 07:25:08 2017 error -1 reading relation 159148969
  146. Sat Sep 23 07:25:08 2017 error -9 reading relation 159167863
  147. Sat Sep 23 07:25:11 2017 error -1 reading relation 159304050
  148. Sat Sep 23 07:25:12 2017 error -5 reading relation 159400157
  149. Sat Sep 23 07:25:19 2017 error -9 reading relation 159798313
  150. Sat Sep 23 07:25:23 2017 error -15 reading relation 160001451
  151. Sat Sep 23 07:25:24 2017 error -15 reading relation 160055622
  152. Sat Sep 23 07:25:25 2017 error -9 reading relation 160129193
  153. Sat Sep 23 07:25:28 2017 error -15 reading relation 160274778
  154. Sat Sep 23 07:25:56 2017 error -15 reading relation 161779012
  155. Sat Sep 23 07:26:03 2017 error -9 reading relation 162152097
  156. Sat Sep 23 07:26:05 2017 error -15 reading relation 162256717
  157. Sat Sep 23 07:26:05 2017 error -15 reading relation 162268832
  158. Sat Sep 23 07:26:08 2017 error -15 reading relation 162439494
  159. Sat Sep 23 07:26:09 2017 error -1 reading relation 162464664
  160. Sat Sep 23 07:26:12 2017 error -9 reading relation 162627379
  161. Sat Sep 23 07:26:13 2017 error -5 reading relation 162714979
  162. Sat Sep 23 07:26:18 2017 error -9 reading relation 162947551
  163. Sat Sep 23 07:26:29 2017 error -1 reading relation 163569714
  164. Sat Sep 23 07:26:36 2017 error -9 reading relation 163905138
  165. Sat Sep 23 07:26:52 2017 error -15 reading relation 164804927
  166. Sat Sep 23 07:26:57 2017 error -15 reading relation 165059328
  167. Sat Sep 23 07:26:58 2017 error -9 reading relation 165129128
  168. Sat Sep 23 07:26:58 2017 error -15 reading relation 165129912
  169. Sat Sep 23 07:27:05 2017 error -9 reading relation 165547404
  170. Sat Sep 23 07:27:06 2017 error -15 reading relation 165588796
  171. Sat Sep 23 07:27:11 2017 error -9 reading relation 165847058
  172. Sat Sep 23 07:27:11 2017 error -15 reading relation 165865455
  173. Sat Sep 23 07:27:13 2017 error -15 reading relation 165953458
  174. Sat Sep 23 07:27:16 2017 error -9 reading relation 166130409
  175. Sat Sep 23 07:27:16 2017 error -15 reading relation 166137501
  176. Sat Sep 23 07:27:17 2017 error -9 reading relation 166178021
  177. Sat Sep 23 07:27:19 2017 error -9 reading relation 166292110
  178. Sat Sep 23 07:27:30 2017 error -9 reading relation 166912579
  179. Sat Sep 23 07:27:37 2017 error -9 reading relation 167297789
  180. Sat Sep 23 07:27:46 2017 error -9 reading relation 167815873
  181. Sat Sep 23 07:27:52 2017 error -1 reading relation 168151575
  182. Sat Sep 23 07:27:53 2017 error -15 reading relation 168202523
  183. Sat Sep 23 07:27:55 2017 error -15 reading relation 168347504
  184. Sat Sep 23 07:27:59 2017 error -1 reading relation 168554689
  185. Sat Sep 23 07:28:00 2017 error -9 reading relation 168638303
  186. Sat Sep 23 07:28:02 2017 error -1 reading relation 168745226
  187. Sat Sep 23 07:28:04 2017 error -1 reading relation 168852840
  188. Sat Sep 23 07:28:05 2017 error -9 reading relation 168900704
  189. Sat Sep 23 07:28:07 2017 error -9 reading relation 169033823
  190. Sat Sep 23 07:28:09 2017 error -9 reading relation 169149979
  191. Sat Sep 23 07:28:12 2017 error -1 reading relation 169300304
  192. Sat Sep 23 07:28:25 2017 error -15 reading relation 170040034
  193. Sat Sep 23 07:28:30 2017 error -15 reading relation 170341114
  194. Sat Sep 23 07:28:30 2017 error -9 reading relation 170360007
  195. Sat Sep 23 07:28:34 2017 error -9 reading relation 170553059
  196. Sat Sep 23 07:28:35 2017 error -9 reading relation 170611813
  197. Sat Sep 23 07:28:40 2017 error -5 reading relation 170876048
  198. Sat Sep 23 07:28:40 2017 error -5 reading relation 170888344
  199. Sat Sep 23 07:28:45 2017 error -15 reading relation 171179270
  200. Sat Sep 23 07:28:45 2017 error -9 reading relation 171199430
  201. Sat Sep 23 07:29:06 2017 error -9 reading relation 172379678
  202. Sat Sep 23 07:29:06 2017 error -1 reading relation 172387607
  203. Sat Sep 23 07:29:20 2017 error -15 reading relation 173153792
  204. Sat Sep 23 07:29:29 2017 error -9 reading relation 173675620
  205. Sat Sep 23 07:29:33 2017 error -9 reading relation 173921975
  206. Sat Sep 23 07:29:36 2017 error -9 reading relation 174095059
  207. Sat Sep 23 07:29:40 2017 error -5 reading relation 174322883
  208. Sat Sep 23 07:29:41 2017 error -5 reading relation 174389681
  209. Sat Sep 23 07:29:44 2017 error -15 reading relation 174568543
  210. Sat Sep 23 07:29:57 2017 error -5 reading relation 175289168
  211. Sat Sep 23 07:29:57 2017 error -1 reading relation 175289169
  212. Sat Sep 23 07:29:58 2017 error -1 reading relation 175375464
  213. Sat Sep 23 07:30:00 2017 error -1 reading relation 175450946
  214. Sat Sep 23 07:30:11 2017 error -9 reading relation 176084492
  215. Sat Sep 23 07:30:16 2017 error -5 reading relation 176354196
  216. Sat Sep 23 07:30:16 2017 error -15 reading relation 176367457
  217. Sat Sep 23 07:30:21 2017 error -5 reading relation 176653603
  218. Sat Sep 23 07:30:28 2017 error -9 reading relation 177031314
  219. Sat Sep 23 07:30:28 2017 error -9 reading relation 177037999
  220. Sat Sep 23 07:30:31 2017 error -9 reading relation 177218765
  221. Sat Sep 23 07:30:34 2017 error -15 reading relation 177374217
  222. Sat Sep 23 07:30:34 2017 error -9 reading relation 177399305
  223. Sat Sep 23 07:30:39 2017 error -9 reading relation 177714447
  224. Sat Sep 23 07:30:45 2017 error -1 reading relation 178033320
  225. Sat Sep 23 07:30:48 2017 error -15 reading relation 178187241
  226. Sat Sep 23 07:30:52 2017 error -15 reading relation 178432296
  227. Sat Sep 23 07:31:22 2017 error -9 reading relation 180045251
  228. Sat Sep 23 07:31:26 2017 error -9 reading relation 180059400
  229. Sat Sep 23 07:31:37 2017 error -1 reading relation 180666583
  230. Sat Sep 23 07:31:39 2017 error -9 reading relation 180794251
  231. Sat Sep 23 07:31:39 2017 error -15 reading relation 180807211
  232. Sat Sep 23 07:31:41 2017 error -1 reading relation 180905094
  233. Sat Sep 23 07:31:42 2017 error -9 reading relation 180941624
  234. Sat Sep 23 07:31:46 2017 error -15 reading relation 181152434
  235. Sat Sep 23 07:31:47 2017 error -1 reading relation 181220928
  236. Sat Sep 23 07:31:48 2017 error -15 reading relation 181259990
  237. Sat Sep 23 07:31:53 2017 error -9 reading relation 181549174
  238. Sat Sep 23 07:31:53 2017 error -1 reading relation 181558446
  239. Sat Sep 23 07:31:54 2017 error -15 reading relation 181596037
  240. Sat Sep 23 07:31:57 2017 error -9 reading relation 181763090
  241. Sat Sep 23 07:31:57 2017 error -9 reading relation 181775006
  242. Sat Sep 23 07:32:01 2017 error -5 reading relation 182003884
  243. Sat Sep 23 07:32:04 2017 error -9 reading relation 182166249
  244. Sat Sep 23 07:32:09 2017 error -9 reading relation 182468093
  245. Sat Sep 23 07:32:11 2017 error -1 reading relation 182590836
  246. Sat Sep 23 07:32:11 2017 error -9 reading relation 182591238
  247. Sat Sep 23 07:32:13 2017 error -15 reading relation 182680370
  248. Sat Sep 23 07:32:15 2017 error -9 reading relation 182823944
  249. Sat Sep 23 07:32:21 2017 error -9 reading relation 183167290
  250. Sat Sep 23 07:32:25 2017 error -15 reading relation 183362825
  251. Sat Sep 23 07:32:27 2017 error -9 reading relation 183495626
  252. Sat Sep 23 07:32:28 2017 error -15 reading relation 183510488
  253. Sat Sep 23 07:32:31 2017 error -1 reading relation 183683949
  254. Sat Sep 23 07:32:31 2017 error -1 reading relation 183725433
  255. Sat Sep 23 07:32:36 2017 error -15 reading relation 183958321
  256. Sat Sep 23 07:32:36 2017 error -9 reading relation 183997423
  257. Sat Sep 23 07:32:39 2017 error -15 reading relation 184142755
  258. Sat Sep 23 07:32:39 2017 error -9 reading relation 184149931
  259. Sat Sep 23 07:32:39 2017 error -15 reading relation 184161619
  260. Sat Sep 23 07:32:40 2017 error -5 reading relation 184205422
  261. Sat Sep 23 07:32:47 2017 error -15 reading relation 184586109
  262. Sat Sep 23 07:33:01 2017 error -9 reading relation 185362230
  263. Sat Sep 23 07:33:05 2017 error -1 reading relation 185575492
  264. Sat Sep 23 07:33:07 2017 error -9 reading relation 185703939
  265. Sat Sep 23 07:33:08 2017 error -5 reading relation 185739529
  266. Sat Sep 23 07:33:08 2017 error -9 reading relation 185741397
  267. Sat Sep 23 07:33:16 2017 error -1 reading relation 186196641
  268. Sat Sep 23 07:33:18 2017 error -1 reading relation 186323159
  269. Sat Sep 23 07:33:20 2017 error -9 reading relation 186431806
  270. Sat Sep 23 07:33:21 2017 error -9 reading relation 186485952
  271. Sat Sep 23 07:33:23 2017 error -15 reading relation 186592851
  272. Sat Sep 23 07:33:23 2017 error -9 reading relation 186598100
  273. Sat Sep 23 07:33:23 2017 error -15 reading relation 186601223
  274. Sat Sep 23 07:33:26 2017 error -9 reading relation 186720502
  275. Sat Sep 23 07:33:27 2017 error -9 reading relation 186822804
  276. Sat Sep 23 07:33:33 2017 error -9 reading relation 187120376
  277. Sat Sep 23 07:33:41 2017 error -9 reading relation 187585255
  278. Sat Sep 23 07:33:41 2017 error -1 reading relation 187599016
  279. Sat Sep 23 07:33:42 2017 error -9 reading relation 187635645
  280. Sat Sep 23 07:33:42 2017 error -15 reading relation 187648539
  281. Sat Sep 23 07:33:42 2017 error -15 reading relation 187654254
  282. Sat Sep 23 07:33:55 2017 error -9 reading relation 188372793
  283. Sat Sep 23 07:34:01 2017 error -5 reading relation 188712444
  284. Sat Sep 23 07:34:01 2017 error -9 reading relation 188713073
  285. Sat Sep 23 07:34:01 2017 error -9 reading relation 188713963
  286. Sat Sep 23 07:34:02 2017 error -15 reading relation 188772958
  287. Sat Sep 23 07:34:03 2017 error -15 reading relation 188814467
  288. Sat Sep 23 07:34:06 2017 error -15 reading relation 188984740
  289. Sat Sep 23 07:34:06 2017 error -9 reading relation 189000896
  290. Sat Sep 23 07:34:07 2017 error -1 reading relation 189057898
  291. Sat Sep 23 07:34:09 2017 error -1 reading relation 189197895
  292. Sat Sep 23 07:34:13 2017 error -9 reading relation 189389397
  293. Sat Sep 23 07:34:18 2017 error -5 reading relation 189666022
  294. Sat Sep 23 07:34:30 2017 error -9 reading relation 190370058
  295. Sat Sep 23 07:34:35 2017 error -9 reading relation 190691327
  296. Sat Sep 23 07:34:39 2017 error -9 reading relation 190884051
  297. Sat Sep 23 07:34:42 2017 error -9 reading relation 191045452
  298. Sat Sep 23 07:34:42 2017 error -15 reading relation 191063084
  299. Sat Sep 23 07:34:43 2017 error -1 reading relation 191130562
  300. Sat Sep 23 07:34:44 2017 error -1 reading relation 191148826
  301. Sat Sep 23 07:34:44 2017 error -1 reading relation 191175048
  302. Sat Sep 23 07:34:45 2017 error -9 reading relation 191232836
  303. Sat Sep 23 07:34:45 2017 error -9 reading relation 191233831
  304. Sat Sep 23 07:34:48 2017 error -15 reading relation 191416942
  305. Sat Sep 23 07:34:54 2017 error -9 reading relation 191746093
  306. Sat Sep 23 07:34:59 2017 error -5 reading relation 192035714
  307. Sat Sep 23 07:35:00 2017 error -15 reading relation 192045345
  308. Sat Sep 23 07:35:00 2017 error -15 reading relation 192058794
  309. Sat Sep 23 07:35:00 2017 error -9 reading relation 192068395
  310. Sat Sep 23 07:35:02 2017 error -15 reading relation 192164011
  311. Sat Sep 23 07:35:02 2017 error -9 reading relation 192199077
  312. Sat Sep 23 07:35:03 2017 error -1 reading relation 192204235
  313. Sat Sep 23 07:35:03 2017 error -15 reading relation 192233727
  314. Sat Sep 23 07:35:03 2017 error -15 reading relation 192242129
  315. Sat Sep 23 07:35:06 2017 error -5 reading relation 192397515
  316. Sat Sep 23 07:35:10 2017 error -9 reading relation 192631844
  317. Sat Sep 23 07:35:17 2017 error -1 reading relation 192960762
  318. Sat Sep 23 07:35:17 2017 error -15 reading relation 192989231
  319. Sat Sep 23 07:35:17 2017 error -15 reading relation 192996308
  320. Sat Sep 23 07:35:20 2017 error -15 reading relation 193127382
  321. Sat Sep 23 07:35:20 2017 error -15 reading relation 193133818
  322. Sat Sep 23 07:35:21 2017 error -15 reading relation 193212879
  323. Sat Sep 23 07:35:22 2017 error -9 reading relation 193265448
  324. Sat Sep 23 07:35:27 2017 error -9 reading relation 193515249
  325. Sat Sep 23 07:35:49 2017 error -9 reading relation 194723359
  326. Sat Sep 23 07:35:49 2017 error -9 reading relation 194730563
  327. Sat Sep 23 07:35:54 2017 error -15 reading relation 194986270
  328. Sat Sep 23 07:35:55 2017 error -9 reading relation 195004809
  329. Sat Sep 23 07:35:57 2017 error -9 reading relation 195122045
  330. Sat Sep 23 07:36:04 2017 error -1 reading relation 195493716
  331. Sat Sep 23 07:36:06 2017 error -15 reading relation 195594120
  332. Sat Sep 23 07:36:34 2017 error -9 reading relation 197181134
  333. Sat Sep 23 07:36:34 2017 error -9 reading relation 197207604
  334. Sat Sep 23 07:36:49 2017 error -9 reading relation 198034700
  335. Sat Sep 23 07:37:00 2017 error -1 reading relation 198667488
  336. Sat Sep 23 07:37:01 2017 error -1 reading relation 198677645
  337. Sat Sep 23 07:37:08 2017 error -15 reading relation 199128272
  338. Sat Sep 23 07:37:24 2017 error -9 reading relation 200025471
  339. Sat Sep 23 07:37:32 2017 error -9 reading relation 200491952
  340. Sat Sep 23 07:37:34 2017 error -1 reading relation 200554362
  341. Sat Sep 23 07:37:48 2017 error -15 reading relation 201376081
  342. Sat Sep 23 07:37:48 2017 error -9 reading relation 201389378
  343. Sat Sep 23 07:38:01 2017 error -9 reading relation 202106211
  344. Sat Sep 23 07:38:07 2017 error -9 reading relation 202470674
  345. Sat Sep 23 07:38:08 2017 error -5 reading relation 202488149
  346. Sat Sep 23 07:38:14 2017 error -15 reading relation 202850847
  347. Sat Sep 23 07:38:20 2017 error -9 reading relation 203161385
  348. Sat Sep 23 07:38:20 2017 error -1 reading relation 203170781
  349. Sat Sep 23 07:38:21 2017 error -9 reading relation 203270017
  350. Sat Sep 23 07:38:31 2017 error -1 reading relation 203783496
  351. Sat Sep 23 07:38:37 2017 error -9 reading relation 204161269
  352. Sat Sep 23 07:38:38 2017 error -1 reading relation 204187101
  353. Sat Sep 23 07:38:38 2017 error -9 reading relation 204190681
  354. Sat Sep 23 07:38:49 2017 error -9 reading relation 204833570
  355. Sat Sep 23 07:38:53 2017 error -1 reading relation 205030261
  356. Sat Sep 23 07:38:53 2017 error -5 reading relation 205047489
  357. Sat Sep 23 07:38:53 2017 error -9 reading relation 205058158
  358. Sat Sep 23 07:38:54 2017 error -15 reading relation 205076400
  359. Sat Sep 23 07:38:58 2017 error -5 reading relation 205320916
  360. Sat Sep 23 07:38:59 2017 error -5 reading relation 205355503
  361. Sat Sep 23 07:39:01 2017 error -15 reading relation 205494913
  362. Sat Sep 23 07:39:01 2017 error -9 reading relation 205509596
  363. Sat Sep 23 07:39:04 2017 error -9 reading relation 205654013
  364. Sat Sep 23 07:39:05 2017 error -9 reading relation 205729464
  365. Sat Sep 23 07:39:11 2017 error -9 reading relation 206042118
  366. Sat Sep 23 07:39:11 2017 error -15 reading relation 206079166
  367. Sat Sep 23 07:39:13 2017 error -9 reading relation 206159542
  368. Sat Sep 23 07:39:14 2017 error -9 reading relation 206217835
  369. Sat Sep 23 07:39:14 2017 error -9 reading relation 206254847
  370. Sat Sep 23 07:39:15 2017 error -1 reading relation 206290968
  371. Sat Sep 23 07:39:17 2017 error -9 reading relation 206383647
  372. Sat Sep 23 07:39:19 2017 error -15 reading relation 206512823
  373. Sat Sep 23 07:39:22 2017 error -9 reading relation 206681913
  374. Sat Sep 23 07:39:22 2017 error -15 reading relation 206695213
  375. Sat Sep 23 07:39:23 2017 error -9 reading relation 206749194
  376. Sat Sep 23 07:39:25 2017 error -9 reading relation 206860363
  377. Sat Sep 23 07:39:25 2017 error -1 reading relation 206868106
  378. Sat Sep 23 07:39:27 2017 error -9 reading relation 206959893
  379. Sat Sep 23 07:39:28 2017 error -9 reading relation 207044536
  380. Sat Sep 23 07:39:30 2017 error -9 reading relation 207162116
  381. Sat Sep 23 07:39:33 2017 error -9 reading relation 207277724
  382. Sat Sep 23 07:39:34 2017 error -1 reading relation 207356742
  383. Sat Sep 23 07:39:37 2017 error -9 reading relation 207497888
  384. Sat Sep 23 07:39:42 2017 error -15 reading relation 207776709
  385. Sat Sep 23 07:39:42 2017 error -9 reading relation 207793903
  386. Sat Sep 23 07:39:42 2017 error -1 reading relation 207796080
  387. Sat Sep 23 07:40:10 2017 error -1 reading relation 209348738
  388. Sat Sep 23 07:40:13 2017 error -1 reading relation 209495720
  389. Sat Sep 23 07:40:13 2017 error -5 reading relation 209506298
  390. Sat Sep 23 07:40:15 2017 error -15 reading relation 209642272
  391. Sat Sep 23 07:40:15 2017 error -5 reading relation 209648740
  392. Sat Sep 23 07:40:16 2017 error -15 reading relation 209694108
  393. Sat Sep 23 07:40:16 2017 error -9 reading relation 209700029
  394. Sat Sep 23 07:40:16 2017 error -9 reading relation 209701530
  395. Sat Sep 23 07:40:17 2017 error -9 reading relation 209713646
  396. Sat Sep 23 07:40:17 2017 error -15 reading relation 209718447
  397. Sat Sep 23 07:40:20 2017 error -5 reading relation 209918412
  398. Sat Sep 23 07:40:20 2017 error -15 reading relation 209921523
  399. Sat Sep 23 07:40:21 2017 error -15 reading relation 209950571
  400. Sat Sep 23 07:40:24 2017 error -15 reading relation 210156250
  401. Sat Sep 23 07:40:25 2017 error -9 reading relation 210164552
  402. Sat Sep 23 07:40:25 2017 error -1 reading relation 210187760
  403. Sat Sep 23 07:40:25 2017 error -9 reading relation 210191154
  404. Sat Sep 23 07:40:25 2017 error -1 reading relation 210211715
  405. Sat Sep 23 07:40:25 2017 error -9 reading relation 210213168
  406. Sat Sep 23 07:40:26 2017 error -15 reading relation 210239087
  407. Sat Sep 23 07:40:26 2017 error -9 reading relation 210257113
  408. Sat Sep 23 07:40:26 2017 error -9 reading relation 210266754
  409. Sat Sep 23 07:40:27 2017 error -15 reading relation 210280238
  410. Sat Sep 23 07:40:32 2017 error -5 reading relation 210563725
  411. Sat Sep 23 07:40:33 2017 error -9 reading relation 210658030
  412. Sat Sep 23 07:40:34 2017 error -9 reading relation 210688689
  413. Sat Sep 23 07:40:35 2017 error -9 reading relation 210748422
  414. Sat Sep 23 07:40:35 2017 error -9 reading relation 210761006
  415. Sat Sep 23 07:40:41 2017 error -1 reading relation 211096319
  416. Sat Sep 23 07:40:43 2017 error -9 reading relation 211187934
  417. Sat Sep 23 07:40:43 2017 error -15 reading relation 211189568
  418. Sat Sep 23 07:40:43 2017 error -1 reading relation 211201987
  419. Sat Sep 23 07:40:52 2017 error -15 reading relation 211676331
  420. Sat Sep 23 07:40:52 2017 error -1 reading relation 211691895
  421. Sat Sep 23 07:40:53 2017 error -9 reading relation 211755212
  422. Sat Sep 23 07:40:58 2017 error -9 reading relation 212034771
  423. Sat Sep 23 07:41:03 2017 error -1 reading relation 212346933
  424. Sat Sep 23 07:41:03 2017 error -9 reading relation 212347265
  425. Sat Sep 23 07:41:07 2017 error -9 reading relation 212550599
  426. Sat Sep 23 07:41:07 2017 error -9 reading relation 212551251
  427. Sat Sep 23 07:41:08 2017 error -9 reading relation 212579151
  428. Sat Sep 23 07:41:11 2017 error -5 reading relation 212748033
  429. Sat Sep 23 07:41:11 2017 error -15 reading relation 212753618
  430. Sat Sep 23 07:41:23 2017 error -1 reading relation 213415795
  431. Sat Sep 23 07:41:23 2017 error -1 reading relation 213415988
  432. Sat Sep 23 07:41:29 2017 error -9 reading relation 213700628
  433. Sat Sep 23 07:41:48 2017 error -9 reading relation 214689932
  434. Sat Sep 23 07:41:48 2017 error -15 reading relation 214693240
  435. Sat Sep 23 07:41:49 2017 error -15 reading relation 214724193
  436. Sat Sep 23 07:41:51 2017 error -1 reading relation 214806487
  437. Sat Sep 23 07:42:07 2017 error -9 reading relation 215675855
  438. Sat Sep 23 07:42:12 2017 error -9 reading relation 215936558
  439. Sat Sep 23 07:42:15 2017 error -9 reading relation 216098964
  440. Sat Sep 23 07:42:17 2017 error -15 reading relation 216178205
  441. Sat Sep 23 07:42:17 2017 error -9 reading relation 216189116
  442. Sat Sep 23 07:42:18 2017 error -1 reading relation 216237407
  443. Sat Sep 23 07:42:18 2017 error -1 reading relation 216238440
  444. Sat Sep 23 07:42:22 2017 error -5 reading relation 216438648
  445. Sat Sep 23 07:42:23 2017 error -15 reading relation 216489469
  446. Sat Sep 23 07:42:25 2017 error -9 reading relation 216599926
  447. Sat Sep 23 07:42:25 2017 error -15 reading relation 216613730
  448. Sat Sep 23 07:42:28 2017 error -15 reading relation 216747483
  449. Sat Sep 23 07:42:30 2017 error -1 reading relation 216876771
  450. Sat Sep 23 07:42:31 2017 error -1 reading relation 216892932
  451. Sat Sep 23 07:42:34 2017 error -9 reading relation 217060914
  452. Sat Sep 23 07:42:34 2017 error -9 reading relation 217076934
  453. Sat Sep 23 07:42:36 2017 error -15 reading relation 217158506
  454. Sat Sep 23 07:42:36 2017 error -9 reading relation 217169444
  455. Sat Sep 23 07:42:39 2017 error -15 reading relation 217341850
  456. Sat Sep 23 07:42:40 2017 error -15 reading relation 217360579
  457. Sat Sep 23 07:42:40 2017 error -9 reading relation 217361552
  458. Sat Sep 23 07:42:40 2017 error -15 reading relation 217362068
  459. Sat Sep 23 07:42:41 2017 error -1 reading relation 217421963
  460. Sat Sep 23 07:42:41 2017 error -9 reading relation 217442008
  461. Sat Sep 23 07:42:45 2017 error -9 reading relation 217610341
  462. Sat Sep 23 07:42:46 2017 error -9 reading relation 217660864
  463. Sat Sep 23 07:42:46 2017 error -5 reading relation 217684140
  464. Sat Sep 23 07:42:50 2017 error -9 reading relation 217862950
  465. Sat Sep 23 07:42:50 2017 error -9 reading relation 217894891
  466. Sat Sep 23 07:42:50 2017 error -1 reading relation 217904634
  467. Sat Sep 23 07:42:51 2017 error -9 reading relation 217926320
  468. Sat Sep 23 07:42:58 2017 error -9 reading relation 218312016
  469. Sat Sep 23 07:43:09 2017 error -1 reading relation 218867741
  470. Sat Sep 23 07:43:10 2017 error -5 reading relation 218914200
  471. Sat Sep 23 07:43:12 2017 error -9 reading relation 219043399
  472. Sat Sep 23 07:43:12 2017 error -15 reading relation 219044352
  473. Sat Sep 23 07:43:12 2017 error -9 reading relation 219050509
  474. Sat Sep 23 07:43:12 2017 error -15 reading relation 219058994
  475. Sat Sep 23 07:43:13 2017 error -1 reading relation 219070501
  476. Sat Sep 23 07:43:13 2017 error -15 reading relation 219077201
  477. Sat Sep 23 07:43:13 2017 error -1 reading relation 219077756
  478. Sat Sep 23 07:43:13 2017 error -9 reading relation 219078886
  479. Sat Sep 23 07:43:13 2017 error -9 reading relation 219085525
  480. Sat Sep 23 07:43:19 2017 error -15 reading relation 219428263
  481. Sat Sep 23 07:43:20 2017 error -9 reading relation 219433225
  482. Sat Sep 23 07:43:35 2017 error -9 reading relation 220321464
  483. Sat Sep 23 07:43:41 2017 error -15 reading relation 220637669
  484. Sat Sep 23 07:43:42 2017 error -5 reading relation 220689232
  485. Sat Sep 23 07:43:46 2017 error -5 reading relation 220917567
  486. Sat Sep 23 07:43:46 2017 error -15 reading relation 220925132
  487. Sat Sep 23 07:43:48 2017 error -1 reading relation 221012099
  488. Sat Sep 23 07:43:49 2017 error -9 reading relation 221041326
  489. Sat Sep 23 07:43:50 2017 error -9 reading relation 221116620
  490. Sat Sep 23 07:43:52 2017 error -5 reading relation 221206370
  491. Sat Sep 23 07:43:52 2017 error -9 reading relation 221211190
  492. Sat Sep 23 07:43:52 2017 error -1 reading relation 221225442
  493. Sat Sep 23 07:43:55 2017 error -9 reading relation 221418013
  494. Sat Sep 23 07:43:57 2017 error -15 reading relation 221525150
  495. Sat Sep 23 07:43:58 2017 error -9 reading relation 221543247
  496. Sat Sep 23 07:43:58 2017 error -5 reading relation 221545141
  497. Sat Sep 23 07:43:58 2017 error -15 reading relation 221560814
  498. Sat Sep 23 07:43:58 2017 error -5 reading relation 221563444
  499. Sat Sep 23 07:44:15 2017 error -9 reading relation 222494097
  500. Sat Sep 23 07:44:19 2017 error -5 reading relation 222719417
  501. Sat Sep 23 07:44:19 2017 error -15 reading relation 222722494
  502. Sat Sep 23 07:44:21 2017 error -9 reading relation 222784182
  503. Sat Sep 23 07:44:23 2017 error -5 reading relation 222911492
  504. Sat Sep 23 07:44:30 2017 error -9 reading relation 223307731
  505. Sat Sep 23 07:44:30 2017 error -9 reading relation 223309487
  506. Sat Sep 23 07:44:38 2017 error -1 reading relation 223786221
  507. Sat Sep 23 07:44:46 2017 error -9 reading relation 224224225
  508. Sat Sep 23 07:44:46 2017 error -9 reading relation 224224573
  509. Sat Sep 23 07:44:56 2017 error -15 reading relation 224739158
  510. Sat Sep 23 07:44:58 2017 error -9 reading relation 224831903
  511. Sat Sep 23 07:44:59 2017 error -1 reading relation 224905335
  512. Sat Sep 23 07:44:59 2017 error -1 reading relation 224929281
  513. Sat Sep 23 07:45:04 2017 error -9 reading relation 225183056
  514. Sat Sep 23 07:45:04 2017 error -5 reading relation 225206698
  515. Sat Sep 23 07:45:05 2017 error -9 reading relation 225219449
  516. Sat Sep 23 07:45:05 2017 error -15 reading relation 225222127
  517. Sat Sep 23 07:45:05 2017 error -15 reading relation 225237892
  518. Sat Sep 23 07:45:05 2017 error -15 reading relation 225239913
  519. Sat Sep 23 07:45:05 2017 error -1 reading relation 225245644
  520. Sat Sep 23 07:45:05 2017 error -9 reading relation 225245983
  521. Sat Sep 23 07:45:12 2017 error -9 reading relation 225589336
  522. Sat Sep 23 07:45:12 2017 error -9 reading relation 225610159
  523. Sat Sep 23 07:45:16 2017 error -5 reading relation 225809603
  524. Sat Sep 23 07:45:16 2017 error -9 reading relation 225829651
  525. Sat Sep 23 07:45:16 2017 error -5 reading relation 225830250
  526. Sat Sep 23 07:45:16 2017 error -15 reading relation 225836095
  527. Sat Sep 23 07:45:22 2017 skipped 372 relations with composite factors
  528. Sat Sep 23 07:45:22 2017 found 44273099 hash collisions in 226107884 relations
  529. Sat Sep 23 07:45:59 2017 added 1219220 free relations
  530. Sat Sep 23 07:45:59 2017 commencing duplicate removal, pass 2
  531. Sat Sep 23 07:51:33 2017 found 43619911 duplicates and 183707193 unique relations
  532. Sat Sep 23 07:51:33 2017 memory use: 1321.5 MB
  533. Sat Sep 23 07:51:34 2017 reading ideals above 149880832
  534. Sat Sep 23 07:51:34 2017 commencing singleton removal, initial pass
  535. Sat Sep 23 08:38:00 2017 memory use: 3012.0 MB
  536. Sat Sep 23 08:38:01 2017 reading all ideals from disk
  537. Sat Sep 23 08:38:45 2017 memory use: 3084.4 MB
  538. Sat Sep 23 08:39:01 2017 commencing in-memory singleton removal
  539. Sat Sep 23 08:39:16 2017 begin with 183707193 relations and 155679981 unique ideals
  540. Sat Sep 23 08:42:34 2017 reduce to 112146862 relations and 76093220 ideals in 15 passes
  541. Sat Sep 23 08:42:34 2017 max relations containing the same ideal: 38
  542. Sat Sep 23 08:42:56 2017 reading ideals above 720000
  543. Sat Sep 23 08:42:57 2017 commencing singleton removal, initial pass
  544. Sat Sep 23 09:22:01 2017 memory use: 2756.0 MB
  545. Sat Sep 23 09:22:01 2017 reading large ideals from disk
  546. Sat Sep 23 09:25:52 2017 keeping 83122170 ideals with weight <= 20, target excess is 9852086
  547. Sat Sep 23 09:29:40 2017 memory use: 2679.5 MB
  548. Sat Sep 23 09:29:40 2017 commencing in-memory singleton removal
  549. Sat Sep 23 09:29:50 2017 begin with 112146862 relations and 83122170 unique ideals
  550. Sat Sep 23 09:31:28 2017 reduce to 112130341 relations and 83105647 ideals in 8 passes
  551. Sat Sep 23 09:31:28 2017 max relations containing the same ideal: 20
  552. Sat Sep 23 09:32:30 2017 removing 10787337 relations and 8787337 ideals in 2000000 cliques
  553. Sat Sep 23 09:32:36 2017 commencing in-memory singleton removal
  554. Sat Sep 23 09:32:44 2017 begin with 101343004 relations and 83105647 unique ideals
  555. Sat Sep 23 09:34:10 2017 reduce to 100452025 relations and 73406900 ideals in 8 passes
  556. Sat Sep 23 09:34:10 2017 max relations containing the same ideal: 20
  557. Sat Sep 23 09:35:06 2017 removing 8183628 relations and 6183628 ideals in 2000000 cliques
  558. Sat Sep 23 09:35:11 2017 commencing in-memory singleton removal
  559. Sat Sep 23 09:35:17 2017 begin with 92268397 relations and 73406900 unique ideals
  560. Sat Sep 23 09:36:42 2017 reduce to 91659391 relations and 66601672 ideals in 9 passes
  561. Sat Sep 23 09:36:42 2017 max relations containing the same ideal: 20
  562. Sat Sep 23 09:37:33 2017 removing 7478868 relations and 5478868 ideals in 2000000 cliques
  563. Sat Sep 23 09:37:37 2017 commencing in-memory singleton removal
  564. Sat Sep 23 09:37:43 2017 begin with 84180523 relations and 66601672 unique ideals
  565. Sat Sep 23 09:38:58 2017 reduce to 83639293 relations and 60570166 ideals in 9 passes
  566. Sat Sep 23 09:38:58 2017 max relations containing the same ideal: 20
  567. Sat Sep 23 09:39:44 2017 removing 7121352 relations and 5121352 ideals in 2000000 cliques
  568. Sat Sep 23 09:39:48 2017 commencing in-memory singleton removal
  569. Sat Sep 23 09:39:53 2017 begin with 76517941 relations and 60570166 unique ideals
  570. Sat Sep 23 09:40:51 2017 reduce to 75986599 relations and 54905837 ideals in 8 passes
  571. Sat Sep 23 09:40:51 2017 max relations containing the same ideal: 20
  572. Sat Sep 23 09:41:33 2017 removing 6917503 relations and 4917503 ideals in 2000000 cliques
  573. Sat Sep 23 09:41:36 2017 commencing in-memory singleton removal
  574. Sat Sep 23 09:41:41 2017 begin with 69069096 relations and 54905837 unique ideals
  575. Sat Sep 23 09:42:32 2017 reduce to 68529646 relations and 49435841 ideals in 8 passes
  576. Sat Sep 23 09:42:32 2017 max relations containing the same ideal: 20
  577. Sat Sep 23 09:43:10 2017 removing 6766736 relations and 4766736 ideals in 2000000 cliques
  578. Sat Sep 23 09:43:13 2017 commencing in-memory singleton removal
  579. Sat Sep 23 09:43:17 2017 begin with 61762910 relations and 49435841 unique ideals
  580. Sat Sep 23 09:44:06 2017 reduce to 61187888 relations and 44078679 ideals in 9 passes
  581. Sat Sep 23 09:44:06 2017 max relations containing the same ideal: 20
  582. Sat Sep 23 09:44:40 2017 removing 6708818 relations and 4708818 ideals in 2000000 cliques
  583. Sat Sep 23 09:44:43 2017 commencing in-memory singleton removal
  584. Sat Sep 23 09:44:47 2017 begin with 54479070 relations and 44078679 unique ideals
  585. Sat Sep 23 09:45:24 2017 reduce to 53859643 relations and 38731996 ideals in 8 passes
  586. Sat Sep 23 09:45:24 2017 max relations containing the same ideal: 19
  587. Sat Sep 23 09:45:54 2017 removing 6683350 relations and 4683350 ideals in 2000000 cliques
  588. Sat Sep 23 09:45:57 2017 commencing in-memory singleton removal
  589. Sat Sep 23 09:46:00 2017 begin with 47176293 relations and 38731996 unique ideals
  590. Sat Sep 23 09:46:34 2017 reduce to 46488162 relations and 33337317 ideals in 9 passes
  591. Sat Sep 23 09:46:34 2017 max relations containing the same ideal: 18
  592. Sat Sep 23 09:46:59 2017 removing 5856714 relations and 4134289 ideals in 1722425 cliques
  593. Sat Sep 23 09:47:02 2017 commencing in-memory singleton removal
  594. Sat Sep 23 09:47:05 2017 begin with 40631448 relations and 33337317 unique ideals
  595. Sat Sep 23 09:47:36 2017 reduce to 40007313 relations and 28557304 ideals in 10 passes
  596. Sat Sep 23 09:47:36 2017 max relations containing the same ideal: 17
  597. Sat Sep 23 09:47:58 2017 removing 105822 relations and 84233 ideals in 21589 cliques
  598. Sat Sep 23 09:47:59 2017 commencing in-memory singleton removal
  599. Sat Sep 23 09:48:01 2017 begin with 39901491 relations and 28557304 unique ideals
  600. Sat Sep 23 09:48:16 2017 reduce to 39900993 relations and 28472573 ideals in 5 passes
  601. Sat Sep 23 09:48:16 2017 max relations containing the same ideal: 17
  602. Sat Sep 23 09:48:21 2017 relations with 0 large ideals: 1999635
  603. Sat Sep 23 09:48:21 2017 relations with 1 large ideals: 8272915
  604. Sat Sep 23 09:48:21 2017 relations with 2 large ideals: 14100274
  605. Sat Sep 23 09:48:21 2017 relations with 3 large ideals: 10711027
  606. Sat Sep 23 09:48:21 2017 relations with 4 large ideals: 3935008
  607. Sat Sep 23 09:48:21 2017 relations with 5 large ideals: 763169
  608. Sat Sep 23 09:48:21 2017 relations with 6 large ideals: 92963
  609. Sat Sep 23 09:48:21 2017 relations with 7+ large ideals: 26002
  610. Sat Sep 23 09:48:21 2017 commencing 2-way merge
  611. Sat Sep 23 09:48:50 2017 reduce to 24625112 relation sets and 13196692 unique ideals
  612. Sat Sep 23 09:48:50 2017 commencing full merge
  613. Sat Sep 23 09:53:47 2017 memory use: 1183.1 MB
  614. Sat Sep 23 09:54:03 2017 found 11620260 cycles, need 10521286
  615. Sat Sep 23 09:54:05 2017 weight of 10521286 cycles is about 1136817872 (108.05/cycle)
  616. Sat Sep 23 09:54:05 2017 distribution of cycle lengths:
  617. Sat Sep 23 09:54:05 2017 1 relations: 2003369
  618. Sat Sep 23 09:54:05 2017 2 relations: 811374
  619. Sat Sep 23 09:54:05 2017 3 relations: 642950
  620. Sat Sep 23 09:54:05 2017 4 relations: 583626
  621. Sat Sep 23 09:54:05 2017 5 relations: 565125
  622. Sat Sep 23 09:54:05 2017 6 relations: 544873
  623. Sat Sep 23 09:54:05 2017 7 relations: 535955
  624. Sat Sep 23 09:54:05 2017 8 relations: 520223
  625. Sat Sep 23 09:54:05 2017 9 relations: 504159
  626. Sat Sep 23 09:54:05 2017 10+ relations: 3809632
  627. Sat Sep 23 09:54:05 2017 heaviest cycle: 24 relations
  628. Sat Sep 23 09:54:06 2017 commencing cycle optimization
  629. Sat Sep 23 09:54:44 2017 start with 80534867 relations
  630. Sat Sep 23 10:00:24 2017 pruned 6244919 relations
  631. Sat Sep 23 10:00:24 2017 memory use: 2150.4 MB
  632. Sat Sep 23 10:00:24 2017 distribution of cycle lengths:
  633. Sat Sep 23 10:00:24 2017 1 relations: 2003369
  634. Sat Sep 23 10:00:24 2017 2 relations: 844390
  635. Sat Sep 23 10:00:24 2017 3 relations: 685009
  636. Sat Sep 23 10:00:24 2017 4 relations: 629828
  637. Sat Sep 23 10:00:24 2017 5 relations: 619907
  638. Sat Sep 23 10:00:24 2017 6 relations: 605030
  639. Sat Sep 23 10:00:24 2017 7 relations: 601568
  640. Sat Sep 23 10:00:24 2017 8 relations: 584274
  641. Sat Sep 23 10:00:24 2017 9 relations: 567256
  642. Sat Sep 23 10:00:24 2017 10+ relations: 3380655
  643. Sat Sep 23 10:00:24 2017 heaviest cycle: 24 relations
  644. Sat Sep 23 10:01:02 2017 RelProcTime: 12186
  645. Sat Sep 23 10:01:02 2017
  646. Sat Sep 23 10:01:02 2017 commencing linear algebra
  647. Sat Sep 23 10:01:08 2017 read 10521286 cycles
  648. Sat Sep 23 10:01:46 2017 cycles contain 33577157 unique relations
  649. Sat Sep 23 10:10:31 2017 read 33577157 relations
  650. Sat Sep 23 10:12:20 2017 using 20 quadratic characters above 4294917295
  651. Sat Sep 23 10:16:35 2017 building initial matrix
  652. Sat Sep 23 10:35:17 2017 memory use: 4491.9 MB
  653. Sat Sep 23 10:36:30 2017 read 10521286 cycles
  654. Sat Sep 23 10:36:34 2017 matrix is 10520800 x 10521286 (4256.0 MB) with weight 1256198596 (119.40/col)
  655. Sat Sep 23 10:36:34 2017 sparse part has weight 999958239 (95.04/col)
  656. Sat Sep 23 10:42:06 2017 filtering completed in 3 passes
  657. Sat Sep 23 10:42:10 2017 matrix is 10511341 x 10511541 (4253.9 MB) with weight 1255526029 (119.44/col)
  658. Sat Sep 23 10:42:10 2017 sparse part has weight 999512944 (95.09/col)
  659. Sat Sep 23 10:44:47 2017 matrix starts at (0, 0)
  660. Sat Sep 23 10:44:51 2017 matrix is 10511341 x 10511541 (4253.9 MB) with weight 1255526029 (119.44/col)
  661. Sat Sep 23 10:44:51 2017 sparse part has weight 999512944 (95.09/col)
  662. Sat Sep 23 10:44:51 2017 saving the first 48 matrix rows for later
  663. Sat Sep 23 10:44:59 2017 matrix includes 64 packed rows
  664. Sat Sep 23 10:45:02 2017 matrix is 10511293 x 10511541 (4091.6 MB) with weight 1057346963 (100.59/col)
  665. Sat Sep 23 10:45:02 2017 sparse part has weight 967482050 (92.04/col)
  666. Sat Sep 23 10:45:02 2017 using block size 8192 and superblock size 393216 for processor cache size 4096 kB
  667. Sat Sep 23 10:46:41 2017 commencing Lanczos iteration (6 threads)
  668. Sat Sep 23 10:46:41 2017 memory use: 3425.0 MB
  669. Sat Sep 23 10:48:35 2017 linear algebra at 0.0%, ETA 207h58m
  670. Sat Sep 23 10:49:11 2017 checkpointing every 60000 dimensions
  671. Mon Oct 02 02:50:11 2017 lanczos halted after 166235 iterations (dim = 10511289)
  672. Mon Oct 02 02:50:44 2017 recovered 35 nontrivial dependencies
  673. Mon Oct 02 02:51:11 2017 BLanczosTime: 751809
  674. Mon Oct 02 02:51:11 2017
  675. Mon Oct 02 02:51:11 2017 commencing square root phase
  676. Mon Oct 02 02:51:12 2017 handling dependencies 1 to 64
  677. Mon Oct 02 02:51:12 2017 reading relations for dependency 1
  678. Mon Oct 02 02:51:25 2017 read 5255711 cycles
  679. Mon Oct 02 02:51:45 2017 cycles contain 16786676 unique relations
  680. Mon Oct 02 02:57:25 2017 read 16786676 relations
  681. Mon Oct 02 03:01:05 2017 multiplying 16786676 relations
  682. Mon Oct 02 03:33:32 2017 multiply complete, coefficients have about 475.20 million bits
  683. Mon Oct 02 03:33:35 2017 initial square root is modulo 336219907
  684. Mon Oct 02 04:05:11 2017 GCD is 1, no factor found
  685. Mon Oct 02 04:05:11 2017 reading relations for dependency 2
  686. Mon Oct 02 04:05:17 2017 read 5254186 cycles
  687. Mon Oct 02 04:05:37 2017 cycles contain 16777500 unique relations
  688. Mon Oct 02 04:11:28 2017 read 16777500 relations
  689. Mon Oct 02 04:15:09 2017 multiplying 16777500 relations
  690. Mon Oct 02 04:47:48 2017 multiply complete, coefficients have about 474.95 million bits
  691. Mon Oct 02 04:47:51 2017 initial square root is modulo 332689933
  692. Mon Oct 02 05:19:44 2017 sqrtTime: 8912
  693. Mon Oct 02 05:19:44 2017 p80 factor: 19468330155109623431655360784279286208259306606135024715280715820427677505452477
  694. Mon Oct 02 05:19:44 2017 p110 factor: 68075911493087799792221558938989463052280916753086931192532185422686984023634755786378066720271997153818276071
  695. Mon Oct 02 05:19:44 2017 elapsed time 214:41:50
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!