Guest User

Msieve log of 223__727_5m1

a guest
Jul 14th, 2020
256
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 42.52 KB | None | 0 0
  1. Tue Jul 14 11:20:26 2020
  2. Tue Jul 14 11:20:26 2020
  3. Tue Jul 14 11:20:26 2020 Msieve v. 1.54 (SVN Unversioned directory)
  4. Tue Jul 14 11:20:26 2020 random seeds: 0cb785ac 61899590
  5. Tue Jul 14 11:20:26 2020 factoring 1189692015999409867531903421242533884310558972810000410035970197934250506751439380884139457363482775194960342952496285066125125885429840381442208952941466301 (157 digits)
  6. Tue Jul 14 11:20:27 2020 searching for 15-digit factors
  7. Tue Jul 14 11:20:27 2020 commencing number field sieve (157-digit input)
  8. Tue Jul 14 11:20:27 2020 R0: -2080729133527276751564359371815
  9. Tue Jul 14 11:20:27 2020 R1: 4244709510705097
  10. Tue Jul 14 11:20:27 2020 A0: 32304279591534351427446570947252844528
  11. Tue Jul 14 11:20:27 2020 A1: 58292227231475667519838289603792
  12. Tue Jul 14 11:20:27 2020 A2: -21072389131947702283737658
  13. Tue Jul 14 11:20:27 2020 A3: -1360185389652721555
  14. Tue Jul 14 11:20:27 2020 A4: 504061234836
  15. Tue Jul 14 11:20:27 2020 A5: 30504
  16. Tue Jul 14 11:20:27 2020 skew 1.00, size 3.577e-015, alpha -6.179, combined = 1.478e-014 rroots = 3
  17. Tue Jul 14 11:20:27 2020
  18. Tue Jul 14 11:20:27 2020 commencing relation filtering
  19. Tue Jul 14 11:20:27 2020 setting target matrix density to 116.0
  20. Tue Jul 14 11:20:27 2020 estimated available RAM is 32685.6 MB
  21. Tue Jul 14 11:20:27 2020 commencing duplicate removal, pass 1
  22. Tue Jul 14 11:21:44 2020 error -9 reading relation 12999818
  23. Tue Jul 14 11:21:53 2020 error -5 reading relation 14551160
  24. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969343
  25. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969344
  26. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969345
  27. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969346
  28. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969347
  29. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969348
  30. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969349
  31. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969350
  32. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969351
  33. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969352
  34. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969353
  35. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969354
  36. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969355
  37. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969356
  38. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969357
  39. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969358
  40. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969359
  41. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969360
  42. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969361
  43. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969362
  44. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969363
  45. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969364
  46. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969365
  47. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969366
  48. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969367
  49. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969368
  50. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969369
  51. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969370
  52. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969371
  53. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969372
  54. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969373
  55. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969374
  56. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969375
  57. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969376
  58. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969377
  59. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969378
  60. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969379
  61. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969380
  62. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969381
  63. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969382
  64. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969383
  65. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969384
  66. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969385
  67. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969386
  68. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969387
  69. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969388
  70. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969389
  71. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969390
  72. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969391
  73. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969392
  74. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969393
  75. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969394
  76. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969395
  77. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969396
  78. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969397
  79. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969398
  80. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969399
  81. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969400
  82. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969401
  83. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969402
  84. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969403
  85. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969404
  86. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969405
  87. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969406
  88. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969407
  89. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969408
  90. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969409
  91. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969410
  92. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969411
  93. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969412
  94. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969413
  95. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969414
  96. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969415
  97. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969416
  98. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969417
  99. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969418
  100. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969419
  101. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969420
  102. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969421
  103. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969422
  104. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969423
  105. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969424
  106. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969425
  107. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969426
  108. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969427
  109. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969428
  110. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969429
  111. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969430
  112. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969431
  113. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969432
  114. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969433
  115. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969434
  116. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969435
  117. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969436
  118. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969437
  119. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969438
  120. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969439
  121. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969440
  122. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969441
  123. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969442
  124. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969443
  125. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969444
  126. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969445
  127. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969446
  128. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969447
  129. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969448
  130. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969449
  131. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969450
  132. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969451
  133. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969452
  134. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969453
  135. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969454
  136. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969455
  137. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969456
  138. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969457
  139. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969458
  140. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969459
  141. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969460
  142. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969461
  143. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969462
  144. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969463
  145. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969464
  146. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969465
  147. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969466
  148. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969467
  149. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969468
  150. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969469
  151. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969470
  152. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969471
  153. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969472
  154. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969473
  155. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969474
  156. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969475
  157. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969476
  158. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969477
  159. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969478
  160. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969479
  161. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969480
  162. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969481
  163. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969482
  164. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969483
  165. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969484
  166. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969485
  167. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969486
  168. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969487
  169. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969488
  170. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969489
  171. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969490
  172. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969491
  173. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969492
  174. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969493
  175. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969494
  176. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969495
  177. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969496
  178. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969497
  179. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969498
  180. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969499
  181. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969500
  182. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969501
  183. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969502
  184. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969503
  185. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969504
  186. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969505
  187. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969506
  188. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969507
  189. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969508
  190. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969509
  191. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969510
  192. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969511
  193. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969512
  194. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969513
  195. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969514
  196. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969515
  197. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969516
  198. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969517
  199. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969518
  200. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969519
  201. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969520
  202. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969521
  203. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969522
  204. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969523
  205. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969524
  206. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969525
  207. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969526
  208. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969527
  209. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969528
  210. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969529
  211. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969530
  212. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969531
  213. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969532
  214. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969533
  215. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969534
  216. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969535
  217. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969536
  218. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969537
  219. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969538
  220. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969539
  221. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969540
  222. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969541
  223. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969542
  224. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969543
  225. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969544
  226. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969545
  227. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969546
  228. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969547
  229. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969548
  230. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969549
  231. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969550
  232. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969551
  233. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969552
  234. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969553
  235. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969554
  236. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969555
  237. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969556
  238. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969557
  239. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969558
  240. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969559
  241. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969560
  242. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969561
  243. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969562
  244. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969563
  245. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969564
  246. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969565
  247. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969566
  248. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969567
  249. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969568
  250. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969569
  251. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969570
  252. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969571
  253. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969572
  254. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969573
  255. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969574
  256. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969575
  257. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969576
  258. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969577
  259. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969578
  260. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969579
  261. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969580
  262. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969581
  263. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969582
  264. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969583
  265. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969584
  266. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969585
  267. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969586
  268. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969587
  269. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969588
  270. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969589
  271. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969590
  272. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969591
  273. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969592
  274. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969593
  275. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969594
  276. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969595
  277. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969596
  278. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969597
  279. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969598
  280. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969599
  281. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969600
  282. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969601
  283. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969602
  284. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969603
  285. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969604
  286. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969605
  287. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969606
  288. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969607
  289. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969608
  290. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969609
  291. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969610
  292. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969611
  293. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969612
  294. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969613
  295. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969614
  296. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969615
  297. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969616
  298. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969617
  299. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969618
  300. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969619
  301. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969620
  302. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969621
  303. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969622
  304. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969623
  305. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969624
  306. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969625
  307. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969626
  308. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969627
  309. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969628
  310. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969629
  311. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969630
  312. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969631
  313. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969632
  314. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969633
  315. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969634
  316. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969635
  317. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969636
  318. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969637
  319. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969638
  320. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969639
  321. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969640
  322. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969641
  323. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969642
  324. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969643
  325. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969644
  326. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969645
  327. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969646
  328. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969647
  329. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969648
  330. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969649
  331. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969650
  332. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969651
  333. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969652
  334. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969653
  335. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969654
  336. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969655
  337. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969656
  338. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969657
  339. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969658
  340. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969659
  341. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969660
  342. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969661
  343. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969662
  344. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969663
  345. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969664
  346. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969665
  347. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969666
  348. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969667
  349. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969668
  350. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969669
  351. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969670
  352. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969671
  353. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969672
  354. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969673
  355. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969674
  356. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969675
  357. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969676
  358. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969677
  359. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969678
  360. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969679
  361. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969680
  362. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969681
  363. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969682
  364. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969683
  365. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969684
  366. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969685
  367. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969686
  368. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969687
  369. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969688
  370. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969689
  371. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969690
  372. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969691
  373. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969692
  374. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969693
  375. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969694
  376. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969695
  377. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969696
  378. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969697
  379. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969698
  380. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969699
  381. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969700
  382. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969701
  383. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969702
  384. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969703
  385. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969704
  386. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969705
  387. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969706
  388. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969707
  389. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969708
  390. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969709
  391. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969710
  392. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969711
  393. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969712
  394. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969713
  395. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969714
  396. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969715
  397. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969716
  398. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969717
  399. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969718
  400. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969719
  401. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969720
  402. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969721
  403. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969722
  404. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969723
  405. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969724
  406. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969725
  407. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969726
  408. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969727
  409. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969728
  410. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969729
  411. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969730
  412. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969731
  413. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969732
  414. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969733
  415. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969734
  416. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969735
  417. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969736
  418. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969737
  419. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969738
  420. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969739
  421. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969740
  422. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969741
  423. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969742
  424. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969743
  425. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969744
  426. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969745
  427. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969746
  428. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969747
  429. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969748
  430. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969749
  431. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969750
  432. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969751
  433. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969752
  434. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969753
  435. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969754
  436. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969755
  437. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969756
  438. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969757
  439. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969758
  440. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969759
  441. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969760
  442. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969761
  443. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969762
  444. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969763
  445. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969764
  446. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969765
  447. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969766
  448. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969767
  449. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969768
  450. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969769
  451. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969770
  452. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969771
  453. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969772
  454. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969773
  455. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969774
  456. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969775
  457. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969776
  458. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969777
  459. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969778
  460. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969779
  461. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969780
  462. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969781
  463. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969782
  464. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969783
  465. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969784
  466. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969785
  467. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969786
  468. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969787
  469. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969788
  470. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969789
  471. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969790
  472. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969791
  473. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969792
  474. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969793
  475. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969794
  476. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969795
  477. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969796
  478. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969797
  479. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969798
  480. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969799
  481. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969800
  482. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969801
  483. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969802
  484. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969803
  485. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969804
  486. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969805
  487. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969806
  488. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969807
  489. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969808
  490. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969809
  491. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969810
  492. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969811
  493. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969812
  494. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969813
  495. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969814
  496. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969815
  497. Tue Jul 14 11:22:02 2020 error -1 reading relation 15969816
  498. Tue Jul 14 11:22:18 2020 error -9 reading relation 18625317
  499. Tue Jul 14 11:22:18 2020 error -15 reading relation 18698911
  500. Tue Jul 14 11:22:33 2020 error -9 reading relation 21127418
  501. Tue Jul 14 11:23:17 2020 error -15 reading relation 28438774
  502. Tue Jul 14 11:23:22 2020 error -15 reading relation 29277150
  503. Tue Jul 14 11:23:25 2020 error -9 reading relation 29853518
  504. Tue Jul 14 11:23:26 2020 error -15 reading relation 29957017
  505. Tue Jul 14 11:24:06 2020 error -15 reading relation 36532041
  506. Tue Jul 14 11:24:06 2020 error -15 reading relation 36679535
  507. Tue Jul 14 11:24:12 2020 error -15 reading relation 37606928
  508. Tue Jul 14 11:24:12 2020 error -15 reading relation 37695285
  509. Tue Jul 14 11:24:13 2020 error -9 reading relation 37728950
  510. Tue Jul 14 11:24:13 2020 error -15 reading relation 37790479
  511. Tue Jul 14 11:24:13 2020 error -1 reading relation 37820087
  512. Tue Jul 14 11:24:14 2020 error -9 reading relation 37972726
  513. Tue Jul 14 11:24:15 2020 error -9 reading relation 38065643
  514. Tue Jul 14 11:24:15 2020 error -9 reading relation 38160359
  515. Tue Jul 14 11:24:16 2020 error -9 reading relation 38256251
  516. Tue Jul 14 11:24:16 2020 error -15 reading relation 38286372
  517. Tue Jul 14 11:24:22 2020 error -1 reading relation 39222212
  518. Tue Jul 14 11:24:22 2020 error -15 reading relation 39353983
  519. Tue Jul 14 11:24:23 2020 error -5 reading relation 39386762
  520. Tue Jul 14 11:24:25 2020 error -15 reading relation 39847481
  521. Tue Jul 14 11:24:34 2020 error -15 reading relation 41302786
  522. Tue Jul 14 11:24:55 2020 error -1 reading relation 44800161
  523. Tue Jul 14 11:25:10 2020 error -5 reading relation 47219434
  524. Tue Jul 14 11:25:12 2020 error -15 reading relation 47630106
  525. Tue Jul 14 11:25:24 2020 error -9 reading relation 49651873
  526. Tue Jul 14 11:25:25 2020 error -15 reading relation 49791482
  527. Tue Jul 14 11:25:28 2020 error -15 reading relation 50298462
  528. Tue Jul 14 11:25:29 2020 error -9 reading relation 50353185
  529. Tue Jul 14 11:25:32 2020 error -9 reading relation 50874675
  530. Tue Jul 14 11:25:33 2020 error -15 reading relation 51007910
  531. Tue Jul 14 11:25:35 2020 error -15 reading relation 51421866
  532. Tue Jul 14 11:25:43 2020 error -9 reading relation 52812591
  533. Tue Jul 14 11:25:45 2020 error -15 reading relation 53149960
  534. Tue Jul 14 11:25:46 2020 error -9 reading relation 53300240
  535. Tue Jul 14 11:25:50 2020 error -9 reading relation 53941392
  536. Tue Jul 14 11:25:51 2020 error -15 reading relation 54052402
  537. Tue Jul 14 11:25:51 2020 error -15 reading relation 54060792
  538. Tue Jul 14 11:25:51 2020 error -15 reading relation 54147316
  539. Tue Jul 14 11:25:57 2020 error -9 reading relation 55096341
  540. Tue Jul 14 11:25:57 2020 error -9 reading relation 55101725
  541. Tue Jul 14 11:26:20 2020 error -15 reading relation 58947559
  542. Tue Jul 14 11:26:20 2020 error -15 reading relation 59019338
  543. Tue Jul 14 11:26:24 2020 error -9 reading relation 59611385
  544. Tue Jul 14 11:26:27 2020 error -15 reading relation 60176587
  545. Tue Jul 14 11:26:28 2020 error -15 reading relation 60305270
  546. Tue Jul 14 11:26:36 2020 error -9 reading relation 61725857
  547. Tue Jul 14 11:26:36 2020 error -5 reading relation 61727054
  548. Tue Jul 14 11:26:37 2020 error -9 reading relation 61733661
  549. Tue Jul 14 11:26:37 2020 error -9 reading relation 61761424
  550. Tue Jul 14 11:26:37 2020 error -1 reading relation 61771083
  551. Tue Jul 14 11:26:37 2020 error -5 reading relation 61774362
  552. Tue Jul 14 11:26:40 2020 error -15 reading relation 62317828
  553. Tue Jul 14 11:26:41 2020 error -9 reading relation 62515664
  554. Tue Jul 14 11:26:41 2020 error -1 reading relation 62524897
  555. Tue Jul 14 11:26:41 2020 error -15 reading relation 62550403
  556. Tue Jul 14 11:26:46 2020 error -9 reading relation 63316206
  557. Tue Jul 14 11:26:50 2020 error -15 reading relation 64094891
  558. Tue Jul 14 11:27:06 2020 error -9 reading relation 66567854
  559. Tue Jul 14 11:27:17 2020 error -15 reading relation 68406959
  560. Tue Jul 14 11:27:19 2020 error -15 reading relation 68846819
  561. Tue Jul 14 11:27:22 2020 error -15 reading relation 69366360
  562. Tue Jul 14 11:27:22 2020 skipped 24 relations with composite factors
  563. Tue Jul 14 11:27:22 2020 found 16147583 hash collisions in 69381317 relations
  564. Tue Jul 14 11:27:49 2020 added 121656 free relations
  565. Tue Jul 14 11:27:49 2020 commencing duplicate removal, pass 2
  566. Tue Jul 14 11:28:19 2020 found 18578161 duplicates and 50924812 unique relations
  567. Tue Jul 14 11:28:19 2020 memory use: 426.4 MB
  568. Tue Jul 14 11:28:19 2020 reading ideals above 720000
  569. Tue Jul 14 11:28:19 2020 commencing singleton removal, initial pass
  570. Tue Jul 14 11:32:58 2020 memory use: 1378.0 MB
  571. Tue Jul 14 11:32:58 2020 reading all ideals from disk
  572. Tue Jul 14 11:32:58 2020 memory use: 1848.5 MB
  573. Tue Jul 14 11:33:01 2020 keeping 47528212 ideals with weight <= 200, target excess is 265715
  574. Tue Jul 14 11:33:04 2020 commencing in-memory singleton removal
  575. Tue Jul 14 11:33:06 2020 begin with 50924812 relations and 47528212 unique ideals
  576. Tue Jul 14 11:33:27 2020 reduce to 33918534 relations and 28897725 ideals in 12 passes
  577. Tue Jul 14 11:33:27 2020 max relations containing the same ideal: 162
  578. Tue Jul 14 11:33:38 2020 removing 4553339 relations and 3553339 ideals in 1000000 cliques
  579. Tue Jul 14 11:33:39 2020 commencing in-memory singleton removal
  580. Tue Jul 14 11:33:40 2020 begin with 29365195 relations and 28897725 unique ideals
  581. Tue Jul 14 11:33:51 2020 reduce to 28858669 relations and 24819332 ideals in 8 passes
  582. Tue Jul 14 11:33:51 2020 max relations containing the same ideal: 144
  583. Tue Jul 14 11:34:00 2020 removing 3649836 relations and 2649836 ideals in 1000000 cliques
  584. Tue Jul 14 11:34:01 2020 commencing in-memory singleton removal
  585. Tue Jul 14 11:34:02 2020 begin with 25208833 relations and 24819332 unique ideals
  586. Tue Jul 14 11:34:11 2020 reduce to 24827485 relations and 21774993 ideals in 8 passes
  587. Tue Jul 14 11:34:11 2020 max relations containing the same ideal: 135
  588. Tue Jul 14 11:34:20 2020 removing 3427417 relations and 2427417 ideals in 1000000 cliques
  589. Tue Jul 14 11:34:20 2020 commencing in-memory singleton removal
  590. Tue Jul 14 11:34:21 2020 begin with 21400068 relations and 21774993 unique ideals
  591. Tue Jul 14 11:34:29 2020 reduce to 21014976 relations and 18948271 ideals in 8 passes
  592. Tue Jul 14 11:34:29 2020 max relations containing the same ideal: 118
  593. Tue Jul 14 11:34:36 2020 removing 3353301 relations and 2353301 ideals in 1000000 cliques
  594. Tue Jul 14 11:34:36 2020 commencing in-memory singleton removal
  595. Tue Jul 14 11:34:37 2020 begin with 17661675 relations and 18948271 unique ideals
  596. Tue Jul 14 11:34:43 2020 reduce to 17230028 relations and 16144727 ideals in 8 passes
  597. Tue Jul 14 11:34:43 2020 max relations containing the same ideal: 103
  598. Tue Jul 14 11:34:49 2020 removing 2758411 relations and 1981340 ideals in 777071 cliques
  599. Tue Jul 14 11:34:50 2020 commencing in-memory singleton removal
  600. Tue Jul 14 11:34:50 2020 begin with 14471617 relations and 16144727 unique ideals
  601. Tue Jul 14 11:34:56 2020 reduce to 14117050 relations and 13794661 ideals in 10 passes
  602. Tue Jul 14 11:34:56 2020 max relations containing the same ideal: 89
  603. Tue Jul 14 11:35:01 2020 removing 107399 relations and 93240 ideals in 14159 cliques
  604. Tue Jul 14 11:35:01 2020 commencing in-memory singleton removal
  605. Tue Jul 14 11:35:02 2020 begin with 14009651 relations and 13794661 unique ideals
  606. Tue Jul 14 11:35:05 2020 reduce to 14009112 relations and 13700879 ideals in 6 passes
  607. Tue Jul 14 11:35:05 2020 max relations containing the same ideal: 89
  608. Tue Jul 14 11:35:07 2020 relations with 0 large ideals: 833
  609. Tue Jul 14 11:35:07 2020 relations with 1 large ideals: 2551
  610. Tue Jul 14 11:35:07 2020 relations with 2 large ideals: 39891
  611. Tue Jul 14 11:35:07 2020 relations with 3 large ideals: 290091
  612. Tue Jul 14 11:35:07 2020 relations with 4 large ideals: 1133296
  613. Tue Jul 14 11:35:07 2020 relations with 5 large ideals: 2636232
  614. Tue Jul 14 11:35:07 2020 relations with 6 large ideals: 3821126
  615. Tue Jul 14 11:35:07 2020 relations with 7+ large ideals: 6085092
  616. Tue Jul 14 11:35:07 2020 commencing 2-way merge
  617. Tue Jul 14 11:35:14 2020 reduce to 9109562 relation sets and 8801329 unique ideals
  618. Tue Jul 14 11:35:14 2020 commencing full merge
  619. Tue Jul 14 11:37:41 2020 memory use: 1104.1 MB
  620. Tue Jul 14 11:37:42 2020 found 4039212 cycles, need 4027529
  621. Tue Jul 14 11:37:42 2020 weight of 4027529 cycles is about 467939562 (116.19/cycle)
  622. Tue Jul 14 11:37:42 2020 distribution of cycle lengths:
  623. Tue Jul 14 11:37:42 2020 1 relations: 225883
  624. Tue Jul 14 11:37:42 2020 2 relations: 276505
  625. Tue Jul 14 11:37:42 2020 3 relations: 304703
  626. Tue Jul 14 11:37:42 2020 4 relations: 302100
  627. Tue Jul 14 11:37:42 2020 5 relations: 306790
  628. Tue Jul 14 11:37:42 2020 6 relations: 294876
  629. Tue Jul 14 11:37:42 2020 7 relations: 285559
  630. Tue Jul 14 11:37:42 2020 8 relations: 267945
  631. Tue Jul 14 11:37:42 2020 9 relations: 250426
  632. Tue Jul 14 11:37:42 2020 10+ relations: 1512742
  633. Tue Jul 14 11:37:42 2020 heaviest cycle: 28 relations
  634. Tue Jul 14 11:37:44 2020 commencing cycle optimization
  635. Tue Jul 14 11:37:49 2020 start with 34466839 relations
  636. Tue Jul 14 11:38:53 2020 pruned 1590265 relations
  637. Tue Jul 14 11:38:53 2020 memory use: 930.3 MB
  638. Tue Jul 14 11:38:53 2020 distribution of cycle lengths:
  639. Tue Jul 14 11:38:53 2020 1 relations: 225883
  640. Tue Jul 14 11:38:53 2020 2 relations: 284468
  641. Tue Jul 14 11:38:53 2020 3 relations: 318536
  642. Tue Jul 14 11:38:53 2020 4 relations: 315847
  643. Tue Jul 14 11:38:53 2020 5 relations: 321724
  644. Tue Jul 14 11:38:53 2020 6 relations: 308966
  645. Tue Jul 14 11:38:53 2020 7 relations: 300049
  646. Tue Jul 14 11:38:53 2020 8 relations: 279711
  647. Tue Jul 14 11:38:53 2020 9 relations: 260763
  648. Tue Jul 14 11:38:53 2020 10+ relations: 1411582
  649. Tue Jul 14 11:38:53 2020 heaviest cycle: 28 relations
  650. Tue Jul 14 11:38:57 2020 RelProcTime: 1110
  651. Tue Jul 14 11:38:57 2020
  652. Tue Jul 14 11:38:57 2020 commencing linear algebra
  653. Tue Jul 14 11:38:57 2020 read 4027529 cycles
  654. Tue Jul 14 11:39:04 2020 cycles contain 13819309 unique relations
  655. Tue Jul 14 11:40:00 2020 read 13819309 relations
  656. Tue Jul 14 11:40:20 2020 using 20 quadratic characters above 4294917295
  657. Tue Jul 14 11:40:59 2020 building initial matrix
  658. Tue Jul 14 11:43:01 2020 memory use: 1879.9 MB
  659. Tue Jul 14 11:43:04 2020 read 4027529 cycles
  660. Tue Jul 14 11:43:05 2020 matrix is 4027350 x 4027529 (1840.0 MB) with weight 561073557 (139.31/col)
  661. Tue Jul 14 11:43:05 2020 sparse part has weight 434024378 (107.76/col)
  662. Tue Jul 14 11:43:34 2020 filtering completed in 2 passes
  663. Tue Jul 14 11:43:35 2020 matrix is 4027257 x 4027433 (1840.0 MB) with weight 561068268 (139.31/col)
  664. Tue Jul 14 11:43:35 2020 sparse part has weight 434022292 (107.77/col)
  665. Tue Jul 14 11:43:42 2020 matrix starts at (0, 0)
  666. Tue Jul 14 11:43:42 2020 matrix is 4027257 x 4027433 (1840.0 MB) with weight 561068268 (139.31/col)
  667. Tue Jul 14 11:43:42 2020 sparse part has weight 434022292 (107.77/col)
  668. Tue Jul 14 11:43:42 2020 saving the first 240 matrix rows for later
  669. Tue Jul 14 11:43:43 2020 matrix includes 256 packed rows
  670. Tue Jul 14 11:43:44 2020 matrix is 4027017 x 4027433 (1638.9 MB) with weight 393042701 (97.59/col)
  671. Tue Jul 14 11:43:44 2020 sparse part has weight 365194306 (90.68/col)
  672. Tue Jul 14 11:43:44 2020 using block size 8192 and superblock size 1572864 for processor cache size 65536 kB
  673. Tue Jul 14 11:43:55 2020 commencing Lanczos iteration (23 threads)
  674. Tue Jul 14 11:43:55 2020 memory use: 2270.0 MB
  675. Tue Jul 14 11:44:00 2020 linear algebra at 0.0%, ETA 2h55m
  676. Tue Jul 14 11:44:02 2020 checkpointing every 1230000 dimensions
  677. Tue Jul 14 14:47:34 2020 lanczos halted after 15779 iterations (dim = 4027016)
  678. Tue Jul 14 14:47:47 2020 recovered 32 nontrivial dependencies
  679. Tue Jul 14 14:47:48 2020 BLanczosTime: 11331
  680. Tue Jul 14 14:47:48 2020
  681. Tue Jul 14 14:47:48 2020 commencing square root phase
  682. Tue Jul 14 14:47:48 2020 handling dependencies 1 to 64
  683. Tue Jul 14 14:47:48 2020 reading relations for dependency 1
  684. Tue Jul 14 14:47:48 2020 read 2014392 cycles
  685. Tue Jul 14 14:47:51 2020 cycles contain 6911088 unique relations
  686. Tue Jul 14 14:48:23 2020 read 6911088 relations
  687. Tue Jul 14 14:48:44 2020 multiplying 6911088 relations
  688. Tue Jul 14 14:52:58 2020 multiply complete, coefficients have about 349.87 million bits
  689. Tue Jul 14 14:53:00 2020 initial square root is modulo 1895851
  690. Tue Jul 14 14:57:34 2020 sqrtTime: 586
  691. Tue Jul 14 14:57:34 2020 p51 factor: 165575181446411460205828705575691615869005925901441
  692. Tue Jul 14 14:57:34 2020 p106 factor: 7185207381967777817292364114317982628364500160381105212878698339416404696843526675114572666774815941222461
  693. Tue Jul 14 14:57:34 2020 elapsed time 03:37:08
Add Comment
Please, Sign In to add comment