Fri Sep 11 19:16:24 2020 Fri Sep 11 19:16:24 2020 Fri Sep 11 19:16:24 2020 Msieve v. 1.53 (SVN unknown) Fri Sep 11 19:16:24 2020 random seeds: 52b73a84 2c50284a Fri Sep 11 19:16:24 2020 factoring 955011579711959270969296578328321670028116990111701157916807199470743288374083220360538821547941640149129430082942660300667025604537019860045559886099004761051387061854119856160911861664450215392800419776782224256254336106599720689 (231 digits) Fri Sep 11 19:16:25 2020 searching for 15-digit factors Fri Sep 11 19:16:26 2020 commencing number field sieve (231-digit input) Fri Sep 11 19:16:26 2020 R0: -12589255298531885028495656347063103211069490 Fri Sep 11 19:16:26 2020 R1: 3408816497768172800222167375561503 Fri Sep 11 19:16:26 2020 A0: -343 Fri Sep 11 19:16:26 2020 A1: 2058 Fri Sep 11 19:16:26 2020 A2: -2646 Fri Sep 11 19:16:26 2020 A3: 882 Fri Sep 11 19:16:26 2020 A4: 252 Fri Sep 11 19:16:26 2020 A5: -189 Fri Sep 11 19:16:26 2020 A6: 27 Fri Sep 11 19:16:26 2020 skew 1.53, size 6.084e-13, alpha 1.443, combined = 7.501e-14 rroots = 6 Fri Sep 11 19:16:26 2020 Fri Sep 11 19:16:26 2020 commencing relation filtering Fri Sep 11 19:16:26 2020 setting target matrix density to 110.0 Fri Sep 11 19:16:26 2020 estimated available RAM is 16335.3 MB Fri Sep 11 19:16:26 2020 commencing duplicate removal, pass 1 Fri Sep 11 19:16:36 2020 error -9 reading relation 645377 Fri Sep 11 19:16:53 2020 error -9 reading relation 1858153 Fri Sep 11 19:16:54 2020 error -15 reading relation 1931929 Fri Sep 11 19:16:55 2020 error -9 reading relation 1961848 Fri Sep 11 19:16:55 2020 error -15 reading relation 1983721 Fri Sep 11 19:16:56 2020 error -15 reading relation 2080943 Fri Sep 11 19:16:57 2020 error -5 reading relation 2103623 Fri Sep 11 19:17:16 2020 error -15 reading relation 3463446 Fri Sep 11 19:17:27 2020 error -15 reading relation 4229068 Fri Sep 11 19:17:46 2020 error -9 reading relation 5558224 Fri Sep 11 19:18:28 2020 error -9 reading relation 8422968 Fri Sep 11 19:18:35 2020 error -9 reading relation 8961123 Fri Sep 11 19:19:03 2020 error -1 reading relation 10852038 Fri Sep 11 19:19:09 2020 error -1 reading relation 11320761 Fri Sep 11 19:19:29 2020 error -5 reading relation 12683542 Fri Sep 11 19:19:29 2020 error -9 reading relation 12717849 Fri Sep 11 19:19:41 2020 error -9 reading relation 13522653 Fri Sep 11 19:19:44 2020 error -5 reading relation 13723874 Fri Sep 11 19:20:04 2020 error -9 reading relation 15090793 Fri Sep 11 19:20:04 2020 error -9 reading relation 15128093 Fri Sep 11 19:20:05 2020 error -9 reading relation 15185949 Fri Sep 11 19:20:18 2020 error -15 reading relation 16071533 Fri Sep 11 19:20:32 2020 error -9 reading relation 17041222 Fri Sep 11 19:20:32 2020 error -15 reading relation 17041807 Fri Sep 11 19:20:33 2020 error -1 reading relation 17103986 Fri Sep 11 19:20:33 2020 error -15 reading relation 17122585 Fri Sep 11 19:20:34 2020 error -9 reading relation 17214246 Fri Sep 11 19:21:15 2020 error -1 reading relation 20036463 Fri Sep 11 19:21:19 2020 error -15 reading relation 20317746 Fri Sep 11 19:21:28 2020 error -15 reading relation 20980592 Fri Sep 11 19:21:30 2020 error -9 reading relation 21080248 Fri Sep 11 19:21:37 2020 error -15 reading relation 21604610 Fri Sep 11 19:21:43 2020 error -5 reading relation 21997508 Fri Sep 11 19:21:55 2020 error -9 reading relation 22802765 Fri Sep 11 19:22:00 2020 error -15 reading relation 23144672 Fri Sep 11 19:22:08 2020 error -9 reading relation 23699903 Fri Sep 11 19:22:24 2020 error -9 reading relation 24794068 Fri Sep 11 19:22:30 2020 error -9 reading relation 25194077 Fri Sep 11 19:22:42 2020 error -15 reading relation 26036924 Fri Sep 11 19:23:02 2020 error -5 reading relation 27452828 Fri Sep 11 19:23:18 2020 error -9 reading relation 28525073 Fri Sep 11 19:23:22 2020 error -1 reading relation 28812469 Fri Sep 11 19:23:42 2020 error -15 reading relation 30193474 Fri Sep 11 19:23:42 2020 error -15 reading relation 30193510 Fri Sep 11 19:23:42 2020 error -11 reading relation 30193607 Fri Sep 11 19:23:42 2020 error -11 reading relation 30193716 Fri Sep 11 19:23:45 2020 error -15 reading relation 30437630 Fri Sep 11 19:23:45 2020 error -5 reading relation 30437684 Fri Sep 11 19:23:45 2020 error -9 reading relation 30437721 Fri Sep 11 19:23:45 2020 error -11 reading relation 30437798 Fri Sep 11 19:23:45 2020 error -5 reading relation 30437834 Fri Sep 11 19:23:45 2020 error -9 reading relation 30437871 Fri Sep 11 19:23:45 2020 error -5 reading relation 30437954 Fri Sep 11 19:24:18 2020 error -15 reading relation 32727229 Fri Sep 11 19:24:19 2020 error -5 reading relation 32786384 Fri Sep 11 19:24:44 2020 error -15 reading relation 34520046 Fri Sep 11 19:24:59 2020 error -5 reading relation 35565067 Fri Sep 11 19:25:40 2020 error -9 reading relation 38463047 Fri Sep 11 19:25:40 2020 error -15 reading relation 38463482 Fri Sep 11 19:25:47 2020 error -1 reading relation 38908706 Fri Sep 11 19:25:48 2020 error -9 reading relation 39035537 Fri Sep 11 19:25:56 2020 error -1 reading relation 39588022 Fri Sep 11 19:26:23 2020 error -15 reading relation 41443929 Fri Sep 11 19:26:23 2020 error -1 reading relation 41443930 Fri Sep 11 19:26:33 2020 error -9 reading relation 42133271 Fri Sep 11 19:26:36 2020 error -9 reading relation 42339796 Fri Sep 11 19:26:40 2020 error -9 reading relation 42607529 Fri Sep 11 19:26:44 2020 error -9 reading relation 42893045 Fri Sep 11 19:26:47 2020 error -15 reading relation 43103418 Fri Sep 11 19:27:23 2020 error -9 reading relation 45598092 Fri Sep 11 19:27:27 2020 error -15 reading relation 45893249 Fri Sep 11 19:27:40 2020 error -15 reading relation 46754520 Fri Sep 11 19:27:46 2020 error -1 reading relation 47177878 Fri Sep 11 19:27:53 2020 error -15 reading relation 47642238 Fri Sep 11 19:27:54 2020 error -9 reading relation 47714069 Fri Sep 11 19:28:04 2020 error -9 reading relation 48402244 Fri Sep 11 19:28:06 2020 error -1 reading relation 48581301 Fri Sep 11 19:28:34 2020 error -9 reading relation 50480304 Fri Sep 11 19:28:39 2020 error -5 reading relation 50834811 Fri Sep 11 19:29:00 2020 error -5 reading relation 52279525 Fri Sep 11 19:29:02 2020 error -9 reading relation 52418785 Fri Sep 11 19:29:17 2020 error -5 reading relation 53477605 Fri Sep 11 19:29:32 2020 error -9 reading relation 54529269 Fri Sep 11 19:29:33 2020 error -15 reading relation 54605381 Fri Sep 11 19:29:44 2020 error -9 reading relation 55302135 Fri Sep 11 19:29:52 2020 error -15 reading relation 55862135 Fri Sep 11 19:30:10 2020 error -9 reading relation 57065166 Fri Sep 11 19:30:18 2020 error -15 reading relation 57629600 Fri Sep 11 19:30:27 2020 error -15 reading relation 58229580 Fri Sep 11 19:30:29 2020 error -9 reading relation 58358162 Fri Sep 11 19:30:34 2020 error -15 reading relation 58720144 Fri Sep 11 19:31:03 2020 error -9 reading relation 60714951 Fri Sep 11 19:31:12 2020 error -9 reading relation 61379975 Fri Sep 11 19:31:13 2020 error -15 reading relation 61452327 Fri Sep 11 19:31:14 2020 error -9 reading relation 61474322 Fri Sep 11 19:31:37 2020 error -15 reading relation 63101514 Fri Sep 11 19:31:43 2020 error -9 reading relation 63519725 Fri Sep 11 19:31:44 2020 error -9 reading relation 63609106 Fri Sep 11 19:31:46 2020 error -9 reading relation 63731425 Fri Sep 11 19:31:47 2020 error -9 reading relation 63837305 Fri Sep 11 19:31:57 2020 error -5 reading relation 64542048 Fri Sep 11 19:32:00 2020 error -15 reading relation 64701127 Fri Sep 11 19:32:08 2020 error -15 reading relation 65292164 Fri Sep 11 19:32:14 2020 error -9 reading relation 65700285 Fri Sep 11 19:32:17 2020 error -15 reading relation 65900273 Fri Sep 11 19:32:17 2020 error -1 reading relation 65905394 Fri Sep 11 19:33:08 2020 error -9 reading relation 69391354 Fri Sep 11 19:33:08 2020 error -9 reading relation 69392870 Fri Sep 11 19:33:11 2020 error -9 reading relation 69604415 Fri Sep 11 19:33:11 2020 error -5 reading relation 69604416 Fri Sep 11 19:33:24 2020 error -5 reading relation 70502550 Fri Sep 11 19:33:24 2020 error -9 reading relation 70509451 Fri Sep 11 19:33:24 2020 error -9 reading relation 70515168 Fri Sep 11 19:33:24 2020 error -1 reading relation 70544566 Fri Sep 11 19:33:28 2020 error -1 reading relation 70784242 Fri Sep 11 19:33:40 2020 error -1 reading relation 71661785 Fri Sep 11 19:33:44 2020 error -9 reading relation 71936583 Fri Sep 11 19:33:51 2020 error -9 reading relation 72404044 Fri Sep 11 19:33:54 2020 error -15 reading relation 72594999 Fri Sep 11 19:34:09 2020 error -1 reading relation 73637632 Fri Sep 11 19:34:09 2020 error -5 reading relation 73639971 Fri Sep 11 19:34:11 2020 error -9 reading relation 73776482 Fri Sep 11 19:34:11 2020 error -15 reading relation 73781685 Fri Sep 11 19:34:27 2020 error -9 reading relation 74903328 Fri Sep 11 19:34:35 2020 error -5 reading relation 75470793 Fri Sep 11 19:34:37 2020 error -9 reading relation 75574804 Fri Sep 11 19:34:42 2020 error -15 reading relation 75981576 Fri Sep 11 19:34:45 2020 error -1 reading relation 76154856 Fri Sep 11 19:35:20 2020 error -9 reading relation 78582765 Fri Sep 11 19:35:26 2020 error -9 reading relation 78993315 Fri Sep 11 19:35:27 2020 error -15 reading relation 79081036 Fri Sep 11 19:35:40 2020 error -15 reading relation 80020370 Fri Sep 11 19:36:06 2020 error -1 reading relation 81798553 Fri Sep 11 19:36:22 2020 error -15 reading relation 82936541 Fri Sep 11 19:36:28 2020 error -9 reading relation 83344357 Fri Sep 11 19:36:28 2020 error -15 reading relation 83351452 Fri Sep 11 19:36:29 2020 error -9 reading relation 83423066 Fri Sep 11 19:36:44 2020 error -9 reading relation 84425600 Fri Sep 11 19:37:15 2020 error -5 reading relation 86616441 Fri Sep 11 19:37:34 2020 error -15 reading relation 87930908 Fri Sep 11 19:37:38 2020 error -15 reading relation 88207815 Fri Sep 11 19:37:39 2020 error -1 reading relation 88252463 Fri Sep 11 19:37:45 2020 error -15 reading relation 88638133 Fri Sep 11 19:37:45 2020 error -1 reading relation 88677916 Fri Sep 11 19:37:46 2020 error -1 reading relation 88730980 Fri Sep 11 19:37:49 2020 error -15 reading relation 88956322 Fri Sep 11 19:37:57 2020 error -9 reading relation 89501927 Fri Sep 11 19:37:59 2020 error -5 reading relation 89661252 Fri Sep 11 19:38:11 2020 error -9 reading relation 90444366 Fri Sep 11 19:38:13 2020 error -15 reading relation 90627343 Fri Sep 11 19:38:15 2020 error -15 reading relation 90727288 Fri Sep 11 19:38:39 2020 error -9 reading relation 92405019 Fri Sep 11 19:38:40 2020 error -15 reading relation 92469951 Fri Sep 11 19:39:07 2020 error -9 reading relation 94358571 Fri Sep 11 19:39:09 2020 error -9 reading relation 94495079 Fri Sep 11 19:39:20 2020 error -9 reading relation 95232826 Fri Sep 11 19:39:23 2020 error -1 reading relation 95464040 Fri Sep 11 19:39:25 2020 error -15 reading relation 95641967 Fri Sep 11 19:39:46 2020 error -1 reading relation 97058560 Fri Sep 11 19:39:59 2020 error -15 reading relation 97965790 Fri Sep 11 19:40:04 2020 error -1 reading relation 98352705 Fri Sep 11 19:40:17 2020 error -5 reading relation 99224527 Fri Sep 11 19:40:17 2020 error -9 reading relation 99225989 Fri Sep 11 19:40:23 2020 error -9 reading relation 99625563 Fri Sep 11 19:40:32 2020 error -9 reading relation 100275575 Fri Sep 11 19:40:34 2020 error -5 reading relation 100440206 Fri Sep 11 19:40:47 2020 error -15 reading relation 101297093 Fri Sep 11 19:41:02 2020 error -9 reading relation 102368235 Fri Sep 11 19:41:15 2020 error -9 reading relation 103288383 Fri Sep 11 19:41:24 2020 error -5 reading relation 103859037 Fri Sep 11 19:41:26 2020 error -1 reading relation 104037775 Fri Sep 11 19:41:37 2020 error -9 reading relation 104763281 Fri Sep 11 19:42:05 2020 error -15 reading relation 106735365 Fri Sep 11 19:42:24 2020 error -9 reading relation 108021321 Fri Sep 11 19:42:26 2020 error -15 reading relation 108155544 Fri Sep 11 19:42:29 2020 error -5 reading relation 108399448 Fri Sep 11 19:42:41 2020 error -9 reading relation 109197530 Fri Sep 11 19:42:52 2020 error -9 reading relation 109965822 Fri Sep 11 19:42:55 2020 error -9 reading relation 110150437 Fri Sep 11 19:43:12 2020 error -9 reading relation 111326497 Fri Sep 11 19:43:17 2020 error -1 reading relation 111712242 Fri Sep 11 19:43:20 2020 error -9 reading relation 111938732 Fri Sep 11 19:43:36 2020 error -9 reading relation 113001222 Fri Sep 11 19:43:40 2020 error -15 reading relation 113305732 Fri Sep 11 19:43:49 2020 error -1 reading relation 113939058 Fri Sep 11 19:43:52 2020 error -9 reading relation 114111978 Fri Sep 11 19:43:57 2020 error -15 reading relation 114483868 Fri Sep 11 19:44:04 2020 error -5 reading relation 114938945 Fri Sep 11 19:44:14 2020 error -9 reading relation 115653833 Fri Sep 11 19:44:14 2020 error -6 reading relation 115653834 Fri Sep 11 19:44:21 2020 error -9 reading relation 116175643 Fri Sep 11 19:44:23 2020 error -15 reading relation 116245878 Fri Sep 11 19:44:24 2020 error -9 reading relation 116355744 Fri Sep 11 19:44:29 2020 error -9 reading relation 116673556 Fri Sep 11 19:44:30 2020 error -9 reading relation 116683538 Fri Sep 11 19:44:31 2020 error -9 reading relation 116797593 Fri Sep 11 19:44:34 2020 error -15 reading relation 116957041 Fri Sep 11 19:44:37 2020 error -5 reading relation 117200117 Fri Sep 11 19:44:38 2020 error -5 reading relation 117232002 Fri Sep 11 19:44:38 2020 error -5 reading relation 117232471 Fri Sep 11 19:44:40 2020 error -15 reading relation 117412756 Fri Sep 11 19:44:59 2020 error -9 reading relation 118677346 Fri Sep 11 19:44:59 2020 error -9 reading relation 118735665 Fri Sep 11 19:45:02 2020 error -15 reading relation 118908446 Fri Sep 11 19:45:02 2020 error -1 reading relation 118943425 Fri Sep 11 19:45:06 2020 error -9 reading relation 119223802 Fri Sep 11 19:45:10 2020 error -15 reading relation 119483173 Fri Sep 11 19:45:11 2020 error -5 reading relation 119561201 Fri Sep 11 19:45:11 2020 error -1 reading relation 119570274 Fri Sep 11 19:45:12 2020 error -5 reading relation 119616329 Fri Sep 11 19:45:12 2020 error -15 reading relation 119633154 Fri Sep 11 19:45:18 2020 error -9 reading relation 120055451 Fri Sep 11 19:45:19 2020 error -15 reading relation 120067021 Fri Sep 11 19:45:20 2020 error -9 reading relation 120145864 Fri Sep 11 19:45:23 2020 error -15 reading relation 120389799 Fri Sep 11 19:45:25 2020 error -1 reading relation 120480010 Fri Sep 11 19:45:26 2020 error -5 reading relation 120565045 Fri Sep 11 19:45:28 2020 error -1 reading relation 120711558 Fri Sep 11 19:45:29 2020 error -1 reading relation 120766126 Fri Sep 11 19:45:31 2020 error -9 reading relation 120884270 Fri Sep 11 19:45:31 2020 error -5 reading relation 120932162 Fri Sep 11 19:45:33 2020 error -15 reading relation 121062832 Fri Sep 11 19:45:45 2020 error -5 reading relation 121877081 Fri Sep 11 19:45:50 2020 error -15 reading relation 122180814 Fri Sep 11 19:46:19 2020 error -9 reading relation 124192162 Fri Sep 11 19:46:24 2020 error -9 reading relation 124571176 Fri Sep 11 19:46:30 2020 error -9 reading relation 124932266 Fri Sep 11 19:46:31 2020 error -9 reading relation 124996538 Fri Sep 11 19:47:02 2020 error -5 reading relation 127100142 Fri Sep 11 19:47:11 2020 error -1 reading relation 127747439 Fri Sep 11 19:47:28 2020 error -5 reading relation 128872971 Fri Sep 11 19:47:29 2020 error -9 reading relation 128939188 Fri Sep 11 19:47:30 2020 error -9 reading relation 129043562 Fri Sep 11 19:47:37 2020 error -5 reading relation 129480709 Fri Sep 11 19:47:50 2020 error -5 reading relation 130381822 Fri Sep 11 19:48:13 2020 error -9 reading relation 131967378 Fri Sep 11 19:48:19 2020 error -9 reading relation 132395177 Fri Sep 11 19:48:30 2020 error -9 reading relation 133150234 Fri Sep 11 19:49:00 2020 error -9 reading relation 135271616 Fri Sep 11 19:49:41 2020 error -15 reading relation 138090052 Fri Sep 11 19:49:53 2020 error -1 reading relation 138879262 Fri Sep 11 19:49:53 2020 error -15 reading relation 138879696 Fri Sep 11 19:49:53 2020 error -9 reading relation 138933535 Fri Sep 11 19:50:08 2020 error -9 reading relation 139992563 Fri Sep 11 19:50:12 2020 error -9 reading relation 140244926 Fri Sep 11 19:50:30 2020 error -9 reading relation 141521620 Fri Sep 11 19:50:40 2020 error -9 reading relation 142157022 Fri Sep 11 19:51:11 2020 error -9 reading relation 144366140 Fri Sep 11 19:51:14 2020 error -9 reading relation 144568741 Fri Sep 11 19:51:15 2020 error -15 reading relation 144583355 Fri Sep 11 19:51:21 2020 error -9 reading relation 145023567 Fri Sep 11 19:51:21 2020 error -1 reading relation 145051937 Fri Sep 11 19:51:24 2020 error -9 reading relation 145237310 Fri Sep 11 19:51:24 2020 error -15 reading relation 145242170 Fri Sep 11 19:51:25 2020 error -15 reading relation 145319654 Fri Sep 11 19:51:26 2020 error -5 reading relation 145369385 Fri Sep 11 19:51:27 2020 error -9 reading relation 145426765 Fri Sep 11 19:51:27 2020 error -5 reading relation 145459309 Fri Sep 11 19:51:35 2020 error -9 reading relation 146029201 Fri Sep 11 19:51:36 2020 error -5 reading relation 146094722 Fri Sep 11 19:51:45 2020 error -9 reading relation 146692373 Fri Sep 11 19:52:04 2020 error -5 reading relation 147980560 Fri Sep 11 19:52:05 2020 error -9 reading relation 148057603 Fri Sep 11 19:52:15 2020 error -9 reading relation 148740305 Fri Sep 11 19:52:15 2020 error -15 reading relation 148773501 Fri Sep 11 19:52:30 2020 error -9 reading relation 149752761 Fri Sep 11 19:52:35 2020 error -9 reading relation 150097934 Fri Sep 11 19:52:37 2020 error -15 reading relation 150234089 Fri Sep 11 19:52:38 2020 error -9 reading relation 150296595 Fri Sep 11 19:52:53 2020 error -9 reading relation 151336211 Fri Sep 11 19:52:58 2020 error -9 reading relation 151707139 Fri Sep 11 19:53:08 2020 error -9 reading relation 152375583 Fri Sep 11 19:53:17 2020 error -1 reading relation 152972610 Fri Sep 11 19:53:17 2020 error -9 reading relation 152973843 Fri Sep 11 19:53:17 2020 error -9 reading relation 153003957 Fri Sep 11 19:53:28 2020 error -1 reading relation 153694157 Fri Sep 11 19:53:30 2020 error -9 reading relation 153828979 Fri Sep 11 19:53:30 2020 error -5 reading relation 153848299 Fri Sep 11 19:53:39 2020 error -1 reading relation 154484250 Fri Sep 11 19:53:50 2020 error -9 reading relation 155175054 Fri Sep 11 19:54:01 2020 error -9 reading relation 155997788 Fri Sep 11 19:54:26 2020 error -9 reading relation 157706780 Fri Sep 11 19:54:31 2020 error -9 reading relation 158040804 Fri Sep 11 19:54:34 2020 error -15 reading relation 158260537 Fri Sep 11 19:54:36 2020 error -9 reading relation 158381006 Fri Sep 11 19:54:38 2020 error -9 reading relation 158508374 Fri Sep 11 19:54:39 2020 error -9 reading relation 158553733 Fri Sep 11 19:54:49 2020 error -9 reading relation 159247336 Fri Sep 11 19:54:52 2020 error -9 reading relation 159477368 Fri Sep 11 19:55:00 2020 error -1 reading relation 159986401 Fri Sep 11 19:55:01 2020 error -5 reading relation 160051339 Fri Sep 11 19:55:07 2020 error -1 reading relation 160486559 Fri Sep 11 19:55:13 2020 error -5 reading relation 160904168 Fri Sep 11 19:55:14 2020 error -15 reading relation 160906823 Fri Sep 11 19:55:21 2020 error -9 reading relation 161421482 Fri Sep 11 19:55:29 2020 error -15 reading relation 162025863 Fri Sep 11 19:55:36 2020 error -9 reading relation 162491424 Fri Sep 11 19:55:36 2020 error -15 reading relation 162495403 Fri Sep 11 19:55:39 2020 error -1 reading relation 162691238 Fri Sep 11 19:55:42 2020 error -9 reading relation 162878301 Fri Sep 11 19:55:44 2020 error -9 reading relation 163014348 Fri Sep 11 19:55:46 2020 error -1 reading relation 163160526 Fri Sep 11 19:55:46 2020 error -9 reading relation 163165837 Fri Sep 11 19:55:48 2020 error -9 reading relation 163309058 Fri Sep 11 19:55:52 2020 error -5 reading relation 163563650 Fri Sep 11 19:55:56 2020 error -1 reading relation 163853282 Fri Sep 11 19:56:01 2020 error -15 reading relation 164213652 Fri Sep 11 19:56:10 2020 error -5 reading relation 164866371 Fri Sep 11 19:56:11 2020 error -9 reading relation 164912634 Fri Sep 11 19:56:18 2020 error -15 reading relation 165354348 Fri Sep 11 19:56:18 2020 error -9 reading relation 165354888 Fri Sep 11 19:56:20 2020 error -1 reading relation 165517009 Fri Sep 11 19:56:28 2020 error -15 reading relation 166039908 Fri Sep 11 19:56:29 2020 error -9 reading relation 166171258 Fri Sep 11 19:56:32 2020 error -9 reading relation 166325718 Fri Sep 11 19:56:36 2020 error -5 reading relation 166615484 Fri Sep 11 19:56:43 2020 error -15 reading relation 167100336 Fri Sep 11 19:56:47 2020 error -1 reading relation 167400471 Fri Sep 11 19:56:47 2020 error -15 reading relation 167415983 Fri Sep 11 19:56:52 2020 error -15 reading relation 167721593 Fri Sep 11 19:56:52 2020 error -15 reading relation 167744698 Fri Sep 11 19:57:01 2020 error -9 reading relation 168344479 Fri Sep 11 19:57:02 2020 error -15 reading relation 168442732 Fri Sep 11 19:57:03 2020 error -9 reading relation 168525850 Fri Sep 11 19:57:07 2020 error -9 reading relation 168781418 Fri Sep 11 19:57:21 2020 error -9 reading relation 169755378 Fri Sep 11 19:57:22 2020 error -9 reading relation 169806886 Fri Sep 11 19:57:29 2020 error -9 reading relation 170278644 Fri Sep 11 19:57:30 2020 error -15 reading relation 170307495 Fri Sep 11 19:57:30 2020 error -5 reading relation 170310821 Fri Sep 11 19:57:36 2020 error -9 reading relation 170718739 Fri Sep 11 19:58:05 2020 error -15 reading relation 172664799 Fri Sep 11 19:58:06 2020 error -9 reading relation 172782707 Fri Sep 11 19:58:08 2020 error -9 reading relation 172858596 Fri Sep 11 19:58:08 2020 error -9 reading relation 172887104 Fri Sep 11 19:58:16 2020 error -15 reading relation 173424279 Fri Sep 11 19:58:16 2020 error -9 reading relation 173466870 Fri Sep 11 19:58:31 2020 error -5 reading relation 174430237 Fri Sep 11 19:58:31 2020 error -9 reading relation 174457728 Fri Sep 11 19:58:32 2020 error -9 reading relation 174495985 Fri Sep 11 19:58:32 2020 error -1 reading relation 174546197 Fri Sep 11 19:58:33 2020 error -1 reading relation 174571421 Fri Sep 11 19:58:33 2020 error -9 reading relation 174576830 Fri Sep 11 19:58:45 2020 error -9 reading relation 175406920 Fri Sep 11 19:58:45 2020 error -1 reading relation 175430690 Fri Sep 11 19:58:47 2020 error -5 reading relation 175533615 Fri Sep 11 19:58:47 2020 error -15 reading relation 175538322 Fri Sep 11 19:58:47 2020 error -9 reading relation 175543433 Fri Sep 11 19:58:51 2020 error -1 reading relation 175784557 Fri Sep 11 19:58:51 2020 error -9 reading relation 175806327 Fri Sep 11 19:58:51 2020 error -15 reading relation 175808772 Fri Sep 11 19:59:19 2020 error -9 reading relation 177762756 Fri Sep 11 19:59:24 2020 error -9 reading relation 178105448 Fri Sep 11 19:59:25 2020 error -1 reading relation 178148637 Fri Sep 11 19:59:35 2020 error -15 reading relation 178834548 Fri Sep 11 19:59:37 2020 error -5 reading relation 178999129 Fri Sep 11 19:59:47 2020 error -15 reading relation 179646994 Fri Sep 11 19:59:47 2020 error -5 reading relation 179695404 Fri Sep 11 19:59:50 2020 error -9 reading relation 179899629 Fri Sep 11 19:59:55 2020 error -9 reading relation 180194971 Fri Sep 11 19:59:58 2020 error -9 reading relation 180460807 Fri Sep 11 20:00:09 2020 error -15 reading relation 181198832 Fri Sep 11 20:00:10 2020 error -15 reading relation 181220456 Fri Sep 11 20:00:10 2020 error -9 reading relation 181220718 Fri Sep 11 20:00:19 2020 error -1 reading relation 181844814 Fri Sep 11 20:00:21 2020 error -15 reading relation 182047469 Fri Sep 11 20:00:26 2020 error -15 reading relation 182359906 Fri Sep 11 20:00:28 2020 error -9 reading relation 182523280 Fri Sep 11 20:00:42 2020 error -9 reading relation 183477462 Fri Sep 11 20:00:44 2020 error -15 reading relation 183560319 Fri Sep 11 20:00:51 2020 error -15 reading relation 184032159 Fri Sep 11 20:00:57 2020 error -9 reading relation 184476792 Fri Sep 11 20:01:06 2020 error -1 reading relation 185059429 Fri Sep 11 20:01:11 2020 error -9 reading relation 185437475 Fri Sep 11 20:01:13 2020 error -9 reading relation 185531811 Fri Sep 11 20:01:13 2020 error -9 reading relation 185580450 Fri Sep 11 20:01:17 2020 error -1 reading relation 185802340 Fri Sep 11 20:01:24 2020 error -15 reading relation 186301804 Fri Sep 11 20:01:38 2020 error -9 reading relation 187247297 Fri Sep 11 20:02:07 2020 error -9 reading relation 189207746 Fri Sep 11 20:02:08 2020 error -15 reading relation 189244960 Fri Sep 11 20:02:15 2020 error -9 reading relation 189716381 Fri Sep 11 20:02:30 2020 error -1 reading relation 190743548 Fri Sep 11 20:02:40 2020 error -1 reading relation 191425443 Fri Sep 11 20:02:43 2020 error -1 reading relation 191659033 Fri Sep 11 20:03:03 2020 error -9 reading relation 193013816 Fri Sep 11 20:03:12 2020 error -15 reading relation 193687316 Fri Sep 11 20:03:17 2020 error -5 reading relation 194005215 Fri Sep 11 20:03:23 2020 error -9 reading relation 194440853 Fri Sep 11 20:03:29 2020 error -9 reading relation 194860723 Fri Sep 11 20:03:29 2020 error -15 reading relation 194862259 Fri Sep 11 20:03:47 2020 error -15 reading relation 196062617 Fri Sep 11 20:03:52 2020 error -9 reading relation 196455464 Fri Sep 11 20:03:55 2020 error -1 reading relation 196672671 Fri Sep 11 20:03:57 2020 error -1 reading relation 196798969 Fri Sep 11 20:04:09 2020 error -15 reading relation 197595578 Fri Sep 11 20:04:11 2020 error -9 reading relation 197758941 Fri Sep 11 20:04:22 2020 error -15 reading relation 198533666 Fri Sep 11 20:04:28 2020 error -9 reading relation 198948342 Fri Sep 11 20:04:35 2020 error -9 reading relation 199432561 Fri Sep 11 20:04:44 2020 error -1 reading relation 200058256 Fri Sep 11 20:04:49 2020 error -9 reading relation 200360739 Fri Sep 11 20:04:51 2020 error -9 reading relation 200486167 Fri Sep 11 20:04:52 2020 error -9 reading relation 200591368 Fri Sep 11 20:05:00 2020 error -9 reading relation 201139923 Fri Sep 11 20:05:08 2020 error -9 reading relation 201665238 Fri Sep 11 20:05:22 2020 error -15 reading relation 202662399 Fri Sep 11 20:05:47 2020 error -15 reading relation 204444278 Fri Sep 11 20:05:51 2020 error -9 reading relation 204695407 Fri Sep 11 20:05:52 2020 error -15 reading relation 204746571 Fri Sep 11 20:05:52 2020 error -1 reading relation 204773182 Fri Sep 11 20:05:58 2020 error -15 reading relation 205172874 Fri Sep 11 20:05:58 2020 error -9 reading relation 205196458 Fri Sep 11 20:05:59 2020 error -9 reading relation 205264208 Fri Sep 11 20:06:14 2020 error -15 reading relation 206283173 Fri Sep 11 20:06:16 2020 error -9 reading relation 206394522 Fri Sep 11 20:06:16 2020 error -15 reading relation 206396876 Fri Sep 11 20:06:16 2020 error -15 reading relation 206419496 Fri Sep 11 20:06:20 2020 error -1 reading relation 206686475 Fri Sep 11 20:06:20 2020 error -9 reading relation 206727516 Fri Sep 11 20:06:25 2020 error -1 reading relation 207061717 Fri Sep 11 20:06:33 2020 error -15 reading relation 207580924 Fri Sep 11 20:06:37 2020 error -9 reading relation 207868790 Fri Sep 11 20:06:37 2020 error -9 reading relation 207893758 Fri Sep 11 20:06:45 2020 error -9 reading relation 208428500 Fri Sep 11 20:06:48 2020 error -9 reading relation 208620720 Fri Sep 11 20:07:04 2020 error -9 reading relation 209710454 Fri Sep 11 20:07:10 2020 error -5 reading relation 210164030 Fri Sep 11 20:07:15 2020 error -9 reading relation 210463882 Fri Sep 11 20:07:19 2020 error -15 reading relation 210801827 Fri Sep 11 20:07:20 2020 error -9 reading relation 210809231 Fri Sep 11 20:07:29 2020 error -1 reading relation 211480783 Fri Sep 11 20:07:31 2020 error -9 reading relation 211614674 Fri Sep 11 20:07:49 2020 error -15 reading relation 212818126 Fri Sep 11 20:07:49 2020 error -1 reading relation 212858377 Fri Sep 11 20:07:55 2020 error -5 reading relation 213276705 Fri Sep 11 20:08:08 2020 error -15 reading relation 214176017 Fri Sep 11 20:08:20 2020 error -9 reading relation 214949572 Fri Sep 11 20:08:20 2020 error -9 reading relation 214959676 Fri Sep 11 20:08:44 2020 error -5 reading relation 216640504 Fri Sep 11 20:08:54 2020 error -1 reading relation 217280497 Fri Sep 11 20:09:05 2020 error -1 reading relation 218031331 Fri Sep 11 20:09:05 2020 error -15 reading relation 218070989 Fri Sep 11 20:09:13 2020 error -1 reading relation 218618539 Fri Sep 11 20:09:20 2020 error -15 reading relation 219107463 Fri Sep 11 20:09:22 2020 error -15 reading relation 219236297 Fri Sep 11 20:09:28 2020 error -9 reading relation 219631454 Fri Sep 11 20:09:31 2020 error -9 reading relation 219860192 Fri Sep 11 20:09:31 2020 error -9 reading relation 219863052 Fri Sep 11 20:09:31 2020 error -15 reading relation 219865029 Fri Sep 11 20:09:41 2020 error -9 reading relation 220574599 Fri Sep 11 20:09:56 2020 error -5 reading relation 221579840 Fri Sep 11 20:09:58 2020 error -5 reading relation 221702876 Fri Sep 11 20:10:00 2020 error -5 reading relation 221833842 Fri Sep 11 20:10:00 2020 error -15 reading relation 221877966 Fri Sep 11 20:10:02 2020 error -15 reading relation 221986292 Fri Sep 11 20:10:02 2020 error -1 reading relation 222012016 Fri Sep 11 20:10:07 2020 error -5 reading relation 222316742 Fri Sep 11 20:10:07 2020 error -15 reading relation 222318066 Fri Sep 11 20:10:08 2020 error -9 reading relation 222434076 Fri Sep 11 20:10:08 2020 error -9 reading relation 222434846 Fri Sep 11 20:10:09 2020 error -9 reading relation 222443925 Fri Sep 11 20:10:12 2020 error -15 reading relation 222701747 Fri Sep 11 20:10:12 2020 error -1 reading relation 222704783 Fri Sep 11 20:10:12 2020 error -9 reading relation 222712382 Fri Sep 11 20:10:12 2020 error -15 reading relation 222717772 Fri Sep 11 20:10:12 2020 error -15 reading relation 222721186 Fri Sep 11 20:10:17 2020 error -15 reading relation 223025244 Fri Sep 11 20:10:17 2020 error -15 reading relation 223025451 Fri Sep 11 20:10:18 2020 error -5 reading relation 223110586 Fri Sep 11 20:10:23 2020 error -15 reading relation 223410483 Fri Sep 11 20:10:24 2020 error -1 reading relation 223497214 Fri Sep 11 20:10:27 2020 error -9 reading relation 223679766 Fri Sep 11 20:10:27 2020 error -9 reading relation 223687802 Fri Sep 11 20:10:27 2020 error -15 reading relation 223705212 Fri Sep 11 20:10:28 2020 error -15 reading relation 223775367 Fri Sep 11 20:10:32 2020 error -9 reading relation 224064489 Fri Sep 11 20:10:35 2020 error -1 reading relation 224247137 Fri Sep 11 20:10:37 2020 error -15 reading relation 224410962 Fri Sep 11 20:10:40 2020 error -9 reading relation 224601567 Fri Sep 11 20:10:41 2020 error -1 reading relation 224626153 Fri Sep 11 20:10:46 2020 error -1 reading relation 224958708 Fri Sep 11 20:10:49 2020 error -5 reading relation 225166465 Fri Sep 11 20:10:53 2020 error -9 reading relation 225461267 Fri Sep 11 20:10:53 2020 error -9 reading relation 225461444 Fri Sep 11 20:10:54 2020 error -5 reading relation 225566337 Fri Sep 11 20:10:57 2020 error -9 reading relation 225704746 Fri Sep 11 20:10:58 2020 error -1 reading relation 225814957 Fri Sep 11 20:11:00 2020 error -9 reading relation 225913100 Fri Sep 11 20:11:01 2020 error -5 reading relation 225985106 Fri Sep 11 20:11:02 2020 error -15 reading relation 226048410 Fri Sep 11 20:11:08 2020 error -5 reading relation 226469108 Fri Sep 11 20:11:10 2020 error -9 reading relation 226599366 Fri Sep 11 20:11:10 2020 error -5 reading relation 226602917 Fri Sep 11 20:11:11 2020 error -1 reading relation 226715322 Fri Sep 11 20:11:12 2020 error -1 reading relation 226745552 Fri Sep 11 20:11:14 2020 error -9 reading relation 226902516 Fri Sep 11 20:11:33 2020 error -9 reading relation 228221269 Fri Sep 11 20:11:34 2020 error -5 reading relation 228290561 Fri Sep 11 20:11:38 2020 error -9 reading relation 228566683 Fri Sep 11 20:11:40 2020 error -15 reading relation 228681561 Fri Sep 11 20:11:40 2020 error -9 reading relation 228687383 Fri Sep 11 20:11:47 2020 error -9 reading relation 229205856 Fri Sep 11 20:11:47 2020 error -15 reading relation 229207254 Fri Sep 11 20:12:01 2020 error -5 reading relation 230112766 Fri Sep 11 20:12:03 2020 error -9 reading relation 230287245 Fri Sep 11 20:12:28 2020 error -9 reading relation 232034916 Fri Sep 11 20:12:41 2020 error -15 reading relation 232945605 Fri Sep 11 20:12:47 2020 error -9 reading relation 233322781 Fri Sep 11 20:12:47 2020 error -15 reading relation 233330106 Fri Sep 11 20:12:50 2020 error -9 reading relation 233573793 Fri Sep 11 20:12:50 2020 error -5 reading relation 233581273 Fri Sep 11 20:12:50 2020 error -9 reading relation 233581309 Fri Sep 11 20:12:51 2020 error -9 reading relation 233590015 Fri Sep 11 20:12:51 2020 error -11 reading relation 233603236 Fri Sep 11 20:12:51 2020 error -9 reading relation 233603272 Fri Sep 11 20:12:53 2020 error -1 reading relation 233767323 Fri Sep 11 20:12:53 2020 error -1 reading relation 233784217 Fri Sep 11 20:12:53 2020 error -5 reading relation 233790335 Fri Sep 11 20:13:11 2020 error -9 reading relation 235006475 Fri Sep 11 20:13:17 2020 error -15 reading relation 235432664 Fri Sep 11 20:13:43 2020 error -15 reading relation 237207371 Fri Sep 11 20:13:43 2020 error -15 reading relation 237227708 Fri Sep 11 20:13:46 2020 error -9 reading relation 237428081 Fri Sep 11 20:13:47 2020 error -5 reading relation 237505661 Fri Sep 11 20:13:50 2020 error -9 reading relation 237720173 Fri Sep 11 20:13:51 2020 error -9 reading relation 237756102 Fri Sep 11 20:13:51 2020 error -15 reading relation 237782861 Fri Sep 11 20:13:52 2020 error -15 reading relation 237822616 Fri Sep 11 20:13:54 2020 error -9 reading relation 237932511 Fri Sep 11 20:13:54 2020 error -9 reading relation 237963431 Fri Sep 11 20:14:03 2020 error -15 reading relation 238539867 Fri Sep 11 20:14:03 2020 error -1 reading relation 238587047 Fri Sep 11 20:14:09 2020 error -1 reading relation 238992879 Fri Sep 11 20:14:09 2020 error -1 reading relation 239016494 Fri Sep 11 20:14:13 2020 error -1 reading relation 239276916 Fri Sep 11 20:14:28 2020 error -9 reading relation 240267442 Fri Sep 11 20:14:29 2020 error -9 reading relation 240396971 Fri Sep 11 20:14:30 2020 error -9 reading relation 240448520 Fri Sep 11 20:14:35 2020 error -15 reading relation 240762939 Fri Sep 11 20:14:36 2020 error -5 reading relation 240867032 Fri Sep 11 20:14:40 2020 error -15 reading relation 241166251 Fri Sep 11 20:14:41 2020 error -9 reading relation 241168415 Fri Sep 11 20:14:44 2020 error -9 reading relation 241439847 Fri Sep 11 20:14:48 2020 error -9 reading relation 241665133 Fri Sep 11 20:14:48 2020 error -9 reading relation 241665518 Fri Sep 11 20:14:54 2020 error -9 reading relation 242135615 Fri Sep 11 20:14:55 2020 error -9 reading relation 242148341 Fri Sep 11 20:14:55 2020 error -15 reading relation 242156668 Fri Sep 11 20:14:55 2020 error -9 reading relation 242160967 Fri Sep 11 20:14:55 2020 error -1 reading relation 242204895 Fri Sep 11 20:15:00 2020 error -9 reading relation 242483109 Fri Sep 11 20:15:03 2020 error -9 reading relation 242723147 Fri Sep 11 20:15:03 2020 error -9 reading relation 242752768 Fri Sep 11 20:15:05 2020 error -5 reading relation 242828319 Fri Sep 11 20:15:08 2020 error -9 reading relation 243065873 Fri Sep 11 20:15:18 2020 error -9 reading relation 243772526 Fri Sep 11 20:15:24 2020 error -15 reading relation 244147507 Fri Sep 11 20:15:25 2020 error -9 reading relation 244261202 Fri Sep 11 20:15:25 2020 error -1 reading relation 244275095 Fri Sep 11 20:15:26 2020 error -9 reading relation 244283095 Fri Sep 11 20:15:26 2020 error -1 reading relation 244290804 Fri Sep 11 20:15:27 2020 error -9 reading relation 244402142 Fri Sep 11 20:15:28 2020 error -15 reading relation 244445504 Fri Sep 11 20:15:28 2020 error -9 reading relation 244489429 Fri Sep 11 20:15:29 2020 error -9 reading relation 244532226 Fri Sep 11 20:15:29 2020 error -9 reading relation 244534176 Fri Sep 11 20:15:31 2020 error -9 reading relation 244681594 Fri Sep 11 20:15:32 2020 error -1 reading relation 244735075 Fri Sep 11 20:15:34 2020 error -9 reading relation 244862523 Fri Sep 11 20:15:34 2020 error -9 reading relation 244863552 Fri Sep 11 20:15:34 2020 error -15 reading relation 244865262 Fri Sep 11 20:15:35 2020 error -9 reading relation 244953295 Fri Sep 11 20:15:43 2020 error -1 reading relation 245484463 Fri Sep 11 20:15:46 2020 error -5 reading relation 245728739 Fri Sep 11 20:15:52 2020 error -15 reading relation 246139369 Fri Sep 11 20:16:04 2020 error -9 reading relation 246994919 Fri Sep 11 20:16:04 2020 error -1 reading relation 246994979 Fri Sep 11 20:16:11 2020 error -9 reading relation 247458262 Fri Sep 11 20:16:11 2020 error -9 reading relation 247468203 Fri Sep 11 20:16:20 2020 error -15 reading relation 248033688 Fri Sep 11 20:16:31 2020 error -9 reading relation 248790472 Fri Sep 11 20:16:31 2020 error -9 reading relation 248790707 Fri Sep 11 20:16:32 2020 error -5 reading relation 248882431 Fri Sep 11 20:16:37 2020 error -9 reading relation 249190637 Fri Sep 11 20:16:39 2020 error -15 reading relation 249349834 Fri Sep 11 20:16:40 2020 error -1 reading relation 249387143 Fri Sep 11 20:16:40 2020 error -9 reading relation 249410142 Fri Sep 11 20:16:40 2020 error -9 reading relation 249410642 Fri Sep 11 20:16:44 2020 error -1 reading relation 249668434 Fri Sep 11 20:16:46 2020 error -9 reading relation 249822878 Fri Sep 11 20:16:50 2020 error -9 reading relation 250064032 Fri Sep 11 20:16:51 2020 error -15 reading relation 250127766 Fri Sep 11 20:16:51 2020 error -9 reading relation 250129160 Fri Sep 11 20:16:58 2020 error -15 reading relation 250616294 Fri Sep 11 20:16:58 2020 error -1 reading relation 250618728 Fri Sep 11 20:17:11 2020 error -9 reading relation 251522563 Fri Sep 11 20:17:15 2020 error -9 reading relation 251787048 Fri Sep 11 20:17:16 2020 error -9 reading relation 251840835 Fri Sep 11 20:17:19 2020 error -9 reading relation 252096961 Fri Sep 11 20:17:20 2020 error -1 reading relation 252156086 Fri Sep 11 20:17:25 2020 error -15 reading relation 252476987 Fri Sep 11 20:17:29 2020 error -1 reading relation 252765741 Fri Sep 11 20:17:29 2020 error -9 reading relation 252789270 Fri Sep 11 20:17:30 2020 error -9 reading relation 252839685 Fri Sep 11 20:17:31 2020 error -5 reading relation 252901051 Fri Sep 11 20:17:36 2020 error -5 reading relation 253236122 Fri Sep 11 20:17:36 2020 error -9 reading relation 253236897 Fri Sep 11 20:17:39 2020 error -1 reading relation 253482545 Fri Sep 11 20:17:40 2020 error -9 reading relation 253549991 Fri Sep 11 20:17:42 2020 error -9 reading relation 253678268 Fri Sep 11 20:17:44 2020 error -9 reading relation 253833816 Fri Sep 11 20:17:44 2020 error -15 reading relation 253839612 Fri Sep 11 20:17:45 2020 error -1 reading relation 253902958 Fri Sep 11 20:17:45 2020 error -9 reading relation 253903030 Fri Sep 11 20:17:45 2020 error -15 reading relation 253908862 Fri Sep 11 20:17:45 2020 error -15 reading relation 253909699 Fri Sep 11 20:17:45 2020 error -9 reading relation 253915213 Fri Sep 11 20:17:45 2020 error -9 reading relation 253918386 Fri Sep 11 20:17:45 2020 error -1 reading relation 253924569 Fri Sep 11 20:17:47 2020 error -15 reading relation 254043465 Fri Sep 11 20:17:47 2020 error -1 reading relation 254044174 Fri Sep 11 20:17:54 2020 error -15 reading relation 254519780 Fri Sep 11 20:18:00 2020 error -9 reading relation 254937276 Fri Sep 11 20:18:02 2020 skipped 453 relations with b > 2^32 Fri Sep 11 20:18:02 2020 skipped 401 relations with composite factors Fri Sep 11 20:18:02 2020 found 56888400 hash collisions in 255119731 relations Fri Sep 11 20:18:18 2020 added 2437924 free relations Fri Sep 11 20:18:18 2020 commencing duplicate removal, pass 2 Fri Sep 11 20:25:19 2020 found 60284691 duplicates and 197272964 unique relations Fri Sep 11 20:25:19 2020 memory use: 1449.5 MB Fri Sep 11 20:25:19 2020 reading ideals above 229834752 Fri Sep 11 20:25:19 2020 commencing singleton removal, initial pass Fri Sep 11 21:02:08 2020 memory use: 3012.0 MB Fri Sep 11 21:02:08 2020 reading all ideals from disk Fri Sep 11 21:02:33 2020 memory use: 3253.7 MB Fri Sep 11 21:02:40 2020 commencing in-memory singleton removal Fri Sep 11 21:02:46 2020 begin with 197272964 relations and 156473337 unique ideals Fri Sep 11 21:04:04 2020 reduce to 134203217 relations and 87511598 ideals in 15 passes Fri Sep 11 21:04:04 2020 max relations containing the same ideal: 31 Fri Sep 11 21:04:14 2020 reading ideals above 720000 Fri Sep 11 21:04:14 2020 commencing singleton removal, initial pass Fri Sep 11 21:36:08 2020 memory use: 3012.0 MB Fri Sep 11 21:36:08 2020 reading all ideals from disk Fri Sep 11 21:37:00 2020 memory use: 5546.5 MB Fri Sep 11 21:37:15 2020 keeping 112068808 ideals with weight <= 200, target excess is 708741 Fri Sep 11 21:37:32 2020 commencing in-memory singleton removal Fri Sep 11 21:37:45 2020 begin with 134203217 relations and 112068808 unique ideals Fri Sep 11 21:39:39 2020 reduce to 134191550 relations and 112057092 ideals in 9 passes Fri Sep 11 21:39:39 2020 max relations containing the same ideal: 200 Fri Sep 11 21:40:40 2020 removing 11201920 relations and 9201920 ideals in 2000000 cliques Fri Sep 11 21:40:44 2020 commencing in-memory singleton removal Fri Sep 11 21:40:55 2020 begin with 122989630 relations and 112057092 unique ideals Fri Sep 11 21:42:39 2020 reduce to 122218499 relations and 102068823 ideals in 9 passes Fri Sep 11 21:42:39 2020 max relations containing the same ideal: 196 Fri Sep 11 21:43:35 2020 removing 8601747 relations and 6601747 ideals in 2000000 cliques Fri Sep 11 21:43:38 2020 commencing in-memory singleton removal Fri Sep 11 21:43:48 2020 begin with 113616752 relations and 102068823 unique ideals Fri Sep 11 21:45:02 2020 reduce to 113106334 relations and 94947767 ideals in 7 passes Fri Sep 11 21:45:02 2020 max relations containing the same ideal: 188 Fri Sep 11 21:45:54 2020 removing 7815851 relations and 5815851 ideals in 2000000 cliques Fri Sep 11 21:45:57 2020 commencing in-memory singleton removal Fri Sep 11 21:46:07 2020 begin with 105290483 relations and 94947767 unique ideals Fri Sep 11 21:47:15 2020 reduce to 104840636 relations and 88674304 ideals in 7 passes Fri Sep 11 21:47:15 2020 max relations containing the same ideal: 181 Fri Sep 11 21:48:04 2020 removing 7418494 relations and 5418494 ideals in 2000000 cliques Fri Sep 11 21:48:07 2020 commencing in-memory singleton removal Fri Sep 11 21:48:15 2020 begin with 97422142 relations and 88674304 unique ideals Fri Sep 11 21:49:28 2020 reduce to 96995973 relations and 82822152 ideals in 8 passes Fri Sep 11 21:49:28 2020 max relations containing the same ideal: 174 Fri Sep 11 21:50:13 2020 removing 7177542 relations and 5177542 ideals in 2000000 cliques Fri Sep 11 21:50:16 2020 commencing in-memory singleton removal Fri Sep 11 21:50:24 2020 begin with 89818431 relations and 82822152 unique ideals Fri Sep 11 21:51:22 2020 reduce to 89400080 relations and 77218509 ideals in 7 passes Fri Sep 11 21:51:22 2020 max relations containing the same ideal: 166 Fri Sep 11 21:52:05 2020 removing 7014495 relations and 5014495 ideals in 2000000 cliques Fri Sep 11 21:52:07 2020 commencing in-memory singleton removal Fri Sep 11 21:52:15 2020 begin with 82385585 relations and 77218509 unique ideals Fri Sep 11 21:53:07 2020 reduce to 81960923 relations and 71770829 ideals in 7 passes Fri Sep 11 21:53:07 2020 max relations containing the same ideal: 153 Fri Sep 11 21:53:47 2020 removing 6904679 relations and 4904679 ideals in 2000000 cliques Fri Sep 11 21:53:49 2020 commencing in-memory singleton removal Fri Sep 11 21:53:56 2020 begin with 75056244 relations and 71770829 unique ideals Fri Sep 11 21:54:44 2020 reduce to 74619635 relations and 66420302 ideals in 7 passes Fri Sep 11 21:54:44 2020 max relations containing the same ideal: 145 Fri Sep 11 21:55:20 2020 removing 6833738 relations and 4833738 ideals in 2000000 cliques Fri Sep 11 21:55:22 2020 commencing in-memory singleton removal Fri Sep 11 21:55:28 2020 begin with 67785897 relations and 66420302 unique ideals Fri Sep 11 21:56:11 2020 reduce to 67326115 relations and 61116112 ideals in 7 passes Fri Sep 11 21:56:11 2020 max relations containing the same ideal: 136 Fri Sep 11 21:56:44 2020 removing 6783856 relations and 4783856 ideals in 2000000 cliques Fri Sep 11 21:56:46 2020 commencing in-memory singleton removal Fri Sep 11 21:56:51 2020 begin with 60542259 relations and 61116112 unique ideals Fri Sep 11 21:57:29 2020 reduce to 60048995 relations and 55826242 ideals in 7 passes Fri Sep 11 21:57:29 2020 max relations containing the same ideal: 124 Fri Sep 11 21:58:01 2020 removing 6760811 relations and 4760811 ideals in 2000000 cliques Fri Sep 11 21:58:03 2020 commencing in-memory singleton removal Fri Sep 11 21:58:07 2020 begin with 53288184 relations and 55826242 unique ideals Fri Sep 11 21:58:40 2020 reduce to 52739562 relations and 50501321 ideals in 7 passes Fri Sep 11 21:58:40 2020 max relations containing the same ideal: 116 Fri Sep 11 21:59:06 2020 removing 5110387 relations and 3694286 ideals in 1416101 cliques Fri Sep 11 21:59:08 2020 commencing in-memory singleton removal Fri Sep 11 21:59:12 2020 begin with 47629175 relations and 50501321 unique ideals Fri Sep 11 21:59:40 2020 reduce to 47274065 relations and 46443724 ideals in 7 passes Fri Sep 11 21:59:40 2020 max relations containing the same ideal: 107 Fri Sep 11 22:00:04 2020 removing 61298 relations and 53097 ideals in 8201 cliques Fri Sep 11 22:00:04 2020 commencing in-memory singleton removal Fri Sep 11 22:00:08 2020 begin with 47212767 relations and 46443724 unique ideals Fri Sep 11 22:00:25 2020 reduce to 47212724 relations and 46390584 ideals in 4 passes Fri Sep 11 22:00:25 2020 max relations containing the same ideal: 107 Fri Sep 11 22:00:36 2020 relations with 0 large ideals: 52951 Fri Sep 11 22:00:36 2020 relations with 1 large ideals: 10294 Fri Sep 11 22:00:36 2020 relations with 2 large ideals: 75628 Fri Sep 11 22:00:36 2020 relations with 3 large ideals: 580891 Fri Sep 11 22:00:36 2020 relations with 4 large ideals: 2505512 Fri Sep 11 22:00:36 2020 relations with 5 large ideals: 6584528 Fri Sep 11 22:00:36 2020 relations with 6 large ideals: 11007900 Fri Sep 11 22:00:36 2020 relations with 7+ large ideals: 26395020 Fri Sep 11 22:00:36 2020 commencing 2-way merge Fri Sep 11 22:01:08 2020 reduce to 32037118 relation sets and 31214978 unique ideals Fri Sep 11 22:01:08 2020 commencing full merge Fri Sep 11 22:16:11 2020 memory use: 4370.5 MB Fri Sep 11 22:16:15 2020 found 14968168 cycles, need 14919178 Fri Sep 11 22:16:16 2020 weight of 14919178 cycles is about 1641763348 (110.04/cycle) Fri Sep 11 22:16:16 2020 distribution of cycle lengths: Fri Sep 11 22:16:16 2020 1 relations: 771044 Fri Sep 11 22:16:16 2020 2 relations: 1028520 Fri Sep 11 22:16:16 2020 3 relations: 1183672 Fri Sep 11 22:16:16 2020 4 relations: 1204549 Fri Sep 11 22:16:16 2020 5 relations: 1200958 Fri Sep 11 22:16:16 2020 6 relations: 1167388 Fri Sep 11 22:16:16 2020 7 relations: 1115039 Fri Sep 11 22:16:16 2020 8 relations: 1045242 Fri Sep 11 22:16:16 2020 9 relations: 960900 Fri Sep 11 22:16:16 2020 10+ relations: 5241866 Fri Sep 11 22:16:16 2020 heaviest cycle: 28 relations Fri Sep 11 22:16:19 2020 commencing cycle optimization Fri Sep 11 22:16:45 2020 start with 122480541 relations Fri Sep 11 22:22:37 2020 pruned 5426919 relations Fri Sep 11 22:22:38 2020 memory use: 3236.8 MB Fri Sep 11 22:22:38 2020 distribution of cycle lengths: Fri Sep 11 22:22:38 2020 1 relations: 771044 Fri Sep 11 22:22:38 2020 2 relations: 1051673 Fri Sep 11 22:22:38 2020 3 relations: 1231629 Fri Sep 11 22:22:38 2020 4 relations: 1252943 Fri Sep 11 22:22:38 2020 5 relations: 1259888 Fri Sep 11 22:22:38 2020 6 relations: 1221550 Fri Sep 11 22:22:38 2020 7 relations: 1169874 Fri Sep 11 22:22:38 2020 8 relations: 1088545 Fri Sep 11 22:22:38 2020 9 relations: 998991 Fri Sep 11 22:22:38 2020 10+ relations: 4873041 Fri Sep 11 22:22:38 2020 heaviest cycle: 28 relations Fri Sep 11 22:23:19 2020 RelProcTime: 11213 Fri Sep 11 22:23:19 2020 Fri Sep 11 22:23:19 2020 commencing linear algebra Fri Sep 11 22:23:21 2020 read 14919178 cycles Fri Sep 11 22:23:53 2020 cycles contain 46777913 unique relations Fri Sep 11 22:36:40 2020 read 46777913 relations Fri Sep 11 22:38:32 2020 using 20 quadratic characters above 4294917295 Fri Sep 11 22:41:42 2020 building initial matrix Fri Sep 11 22:51:39 2020 memory use: 6171.7 MB Fri Sep 11 22:52:01 2020 read 14919178 cycles Fri Sep 11 22:52:05 2020 matrix is 14919001 x 14919178 (6519.8 MB) with weight 1862398098 (124.83/col) Fri Sep 11 22:52:05 2020 sparse part has weight 1545024736 (103.56/col) Fri Sep 11 22:55:37 2020 filtering completed in 2 passes Fri Sep 11 22:55:42 2020 matrix is 14918724 x 14918901 (6519.8 MB) with weight 1862389289 (124.83/col) Fri Sep 11 22:55:42 2020 sparse part has weight 1545021989 (103.56/col) Fri Sep 11 22:57:57 2020 matrix starts at (0, 0) Fri Sep 11 22:58:02 2020 matrix is 14918724 x 14918901 (6519.8 MB) with weight 1862389289 (124.83/col) Fri Sep 11 22:58:02 2020 sparse part has weight 1545021989 (103.56/col) Fri Sep 11 22:58:02 2020 saving the first 48 matrix rows for later Fri Sep 11 22:58:06 2020 matrix includes 64 packed rows Fri Sep 11 22:58:09 2020 matrix is 14918676 x 14918901 (6262.0 MB) with weight 1590176030 (106.59/col) Fri Sep 11 22:58:09 2020 sparse part has weight 1492349133 (100.03/col) Fri Sep 11 22:58:09 2020 using block size 8192 and superblock size 589824 for processor cache size 6144 kB Fri Sep 11 22:59:49 2020 commencing Lanczos iteration (8 threads) Fri Sep 11 22:59:49 2020 memory use: 5381.2 MB Fri Sep 11 23:01:08 2020 linear algebra at 0.0%, ETA 204h11m Fri Sep 11 23:01:34 2020 checkpointing every 80000 dimensions Sun Sep 20 19:10:51 2020 lanczos halted after 235922 iterations (dim = 14918674) Sun Sep 20 19:11:33 2020 recovered 33 nontrivial dependencies Sun Sep 20 19:11:50 2020 BLanczosTime: 766111 Sun Sep 20 19:11:50 2020 Sun Sep 20 19:11:50 2020 commencing square root phase Sun Sep 20 19:11:50 2020 handling dependencies 1 to 64 Sun Sep 20 19:11:50 2020 reading relations for dependency 1 Sun Sep 20 19:11:55 2020 read 7458762 cycles Sun Sep 20 19:12:10 2020 cycles contain 23388502 unique relations Sun Sep 20 19:20:03 2020 read 23388502 relations Sun Sep 20 19:22:06 2020 multiplying 23388502 relations Sun Sep 20 19:43:32 2020 multiply complete, coefficients have about 734.23 million bits Sun Sep 20 19:43:38 2020 initial square root is modulo 3864977 Sun Sep 20 20:08:20 2020 GCD is 1, no factor found Sun Sep 20 20:08:20 2020 reading relations for dependency 2 Sun Sep 20 20:08:23 2020 read 7460442 cycles Sun Sep 20 20:08:38 2020 cycles contain 23387348 unique relations Sun Sep 20 20:16:30 2020 read 23387348 relations Sun Sep 20 20:18:33 2020 multiplying 23387348 relations Sun Sep 20 20:39:56 2020 multiply complete, coefficients have about 734.19 million bits Sun Sep 20 20:40:02 2020 initial square root is modulo 3862267 Sun Sep 20 21:04:58 2020 sqrtTime: 6788 Sun Sep 20 21:04:58 2020 p59 factor: 32259627287265089267855311069399608930082347651491058747619 Sun Sep 20 21:04:58 2020 p173 factor: 29603924782136668094455417188078478568355174391567263676042860780537825582426197864670448511254304441772497192717530441974172149836810175091601787138620879014730598000565531 Sun Sep 20 21:04:58 2020 elapsed time 217:48:34