( This log file was generated by executing 'pmGenerator -c -n -s CCpCCNpqrCsCCNtCrtCpt --iterate -u' (pmGenerator 1.2, master branch), compiled by 'Intel(R) oneAPI DPC++/C++ Compiler 2022.1.0 (2022.1.0.20220316)'. The run was executed on a CLAIX-2018-OPTANE MPI node — 2-socket Intel Xeon Gold 6338, 32 cores each (64 cores total per node), 2.0 GHz, 3.20 GHz turbo mode, 512 GiB DDR4-3200 caching for 2 TiB non-volatile memory (NVM) (Intel Optane DC Persistent Memory DIMMs) — running Linux, Rocky 8.8. The job led to the following output: $ sacct --format="JobID,Partition,AllocCPUS,State,ExitCode,Elapsed,MaxRSS" JobID Partition AllocCPUS State ExitCode Elapsed MaxRSS ------------ ---------- ---------- ---------- -------- ---------- ---------- 40644356 optane_low 64 COMPLETED 0:0 02:05:46 40644356.ba+ 64 COMPLETED 0:0 02:05:46 678898524K 40644356.ex+ 64 COMPLETED 0:0 02:05:46 12K By 678898524 KiB = (678898524 / 1024^2) GiB = 647.448085784912109375 GiB, it used approximately 647.45 gibibytes of memory. ) Wed Nov 8 21:38:19 2023: Process started. [pid: 234070, tid:23152951314304] Tasks: 1. resetRepresentativesFor("CCpCCNpqrCsCCNtCrtCpt", true, 0, true) 2. countNextIterationAmount(false, true) [Main] Calling resetRepresentativesFor("CCpCCNpqrCsCCNtCrtCpt", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: 02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c] (1) CC0CCN0.1.2C3CCN4C2.4C0.4 - CCpCCNpqrCsCCNtCrtCpt - (0\imply((\not0\imply1)\imply2))\imply(3\imply((\not4\imply(2\imply4))\imply(0\imply4))) [Main] Calling countNextIterationAmount(false, true). Wed Nov 8 21:38:19 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered] 0.04 ms taken to load initial representatives. 0.29 ms taken to read 2 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs7.txt. [tid:23152886863616] 0.26 ms taken to read 0 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs11.txt. [tid:23152884762368] 2.50 ms taken to read 4 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs19.txt. [tid:23152876357376] 2.85 ms taken to read 5 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs25.txt. [tid:23152870053632] 3.28 ms taken to read 7 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs29.txt. [tid:23152865851136] 6.48 ms taken to read 1 condensed detachment proof and conclusion from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs3.txt. [tid:23152891066112] 6.16 ms taken to read 2 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs5.txt. [tid:23152888964864] 11644.40 ms (11 s 644.40 ms) taken to read 1965596 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs131.txt. [tid:23152886863616] 6.76 ms taken to read 1 condensed detachment proof and conclusion from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs9.txt. [tid:23152759404288] 12100.14 ms (12 s 100.14 ms) taken to read 2509883 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs133.txt. [tid:23152884762368] 6.76 ms taken to read 1 condensed detachment proof and conclusion from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs13.txt. [tid:23152882661120] 10.38 ms taken to read 2 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs15.txt. [tid:23152880559872] 6.49 ms taken to read 3 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs17.txt. [tid:23152878458624] 13327.59 ms (13 s 327.59 ms) taken to read 3196594 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs135.txt. [tid:23152876357376] 8.68 ms taken to read 5 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs21.txt. [tid:23152874256128] 10.90 ms taken to read 5 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs23.txt. [tid:23152872154880] 13414.82 ms (13 s 414.82 ms) taken to read 4066027 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs137.txt. [tid:23152870053632] 3.04 ms taken to read 6 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs27.txt. [tid:23152867952384] 13979.85 ms (13 s 979.85 ms) taken to read 5180139 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs139.txt. [tid:23152865851136] 7.88 ms taken to read 15 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs31.txt. [tid:23152863749888] 15.40 ms taken to read 20 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs33.txt. [tid:23152861648640] 12.84 ms taken to read 25 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs35.txt. [tid:23152859547392] 10.63 ms taken to read 30 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs37.txt. [tid:23152857446144] 2.55 ms taken to read 37 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs39.txt. [tid:23152855344896] 11.13 ms taken to read 42 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs41.txt. [tid:23152853243648] 1.28 ms taken to read 51 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs43.txt. [tid:23152851142400] 13.36 ms taken to read 63 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs45.txt. [tid:23152849041152] 26.96 ms taken to read 85 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs47.txt. [tid:23152846939904] 14.96 ms taken to read 122 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs49.txt. [tid:23152844838656] 26.58 ms taken to read 162 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs51.txt. [tid:23152842737408] 0.16 ms taken to read 206 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs53.txt. [tid:23152840636160] 23.92 ms taken to read 251 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs55.txt. [tid:23152838534912] 22.72 ms taken to read 292 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs57.txt. [tid:23152836433664] 26.39 ms taken to read 339 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs59.txt. [tid:23152834332416] 49.63 ms taken to read 444 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs61.txt. [tid:23152832231168] 5.13 ms taken to read 598 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs63.txt. [tid:23152830129920] 9.15 ms taken to read 781 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs65.txt. [tid:23152757303040] 33.72 ms taken to read 1016 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs67.txt. [tid:23152755201792] 47.15 ms taken to read 1303 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs69.txt. [tid:23152753100544] 18.64 ms taken to read 1593 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs71.txt. [tid:23152750999296] 38.87 ms taken to read 1922 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs73.txt. [tid:23152748898048] 47.19 ms taken to read 2359 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs75.txt. [tid:23152746796800] 48.75 ms taken to read 2986 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs77.txt. [tid:23152744695552] 39.59 ms taken to read 3875 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs79.txt. [tid:23152742594304] 45.90 ms taken to read 5006 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs81.txt. [tid:23152740493056] 271.51 ms taken to read 6466 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs83.txt. [tid:23152738391808] 142.18 ms taken to read 8184 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs85.txt. [tid:23152736290560] 320.41 ms taken to read 10182 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs87.txt. [tid:23152734189312] 428.44 ms taken to read 12488 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs89.txt. [tid:23152732088064] 52.01 ms taken to read 15534 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs91.txt. [tid:23152729986816] 215.49 ms taken to read 19614 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs93.txt. [tid:23152727885568] 820.30 ms taken to read 25087 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs95.txt. [tid:23152725784320] 123.82 ms taken to read 32452 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs97.txt. [tid:23152723683072] 267.00 ms taken to read 41840 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs99.txt. [tid:23152721581824] 1387.42 ms (1 s 387.42 ms) taken to read 53343 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs101.txt. [tid:23152719480576] 1848.13 ms (1 s 848.13 ms) taken to read 67105 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs103.txt. [tid:23152717379328] 1866.83 ms (1 s 866.83 ms) taken to read 84222 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs105.txt. [tid:23152715278080] 2390.02 ms (2 s 390.02 ms) taken to read 105925 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs107.txt. [tid:23152713176832] 3935.46 ms (3 s 935.47 ms) taken to read 134564 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs109.txt. [tid:23152711075584] 6185.81 ms (6 s 185.81 ms) taken to read 172053 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs111.txt. [tid:23152708974336] 8894.27 ms (8 s 894.27 ms) taken to read 221055 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs113.txt. [tid:23152706873088] 3354.41 ms (3 s 354.41 ms) taken to read 283569 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs115.txt. [tid:23152704771840] 3184.21 ms (3 s 184.22 ms) taken to read 361751 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs117.txt. [tid:23152702670592] 5424.81 ms (5 s 424.81 ms) taken to read 458509 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs119.txt. [tid:23152700569344] 6574.91 ms (6 s 574.91 ms) taken to read 579502 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs121.txt. [tid:23152698468096] 6373.38 ms (6 s 373.38 ms) taken to read 734352 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs123.txt. [tid:23152696366848] 9592.72 ms (9 s 592.72 ms) taken to read 935212 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs125.txt. [tid:23150142158592] 9721.52 ms (9 s 721.52 ms) taken to read 1197027 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs127.txt. [tid:23150140057344] 10071.23 ms (10 s 71.23 ms) taken to read 1534565 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs129.txt. [tid:23150137956096] 14140.89 ms (14 s 140.89 ms) total read duration. Loaded 70 representative collections of sizes: 1 : 1 3 : 1 5 : 2 7 : 2 9 : 1 11 : 0 13 : 1 15 : 2 17 : 3 19 : 4 21 : 5 23 : 5 25 : 5 27 : 6 29 : 7 31 : 15 33 : 20 35 : 25 37 : 30 39 : 37 41 : 42 43 : 51 45 : 63 47 : 85 49 : 122 51 : 162 53 : 206 55 : 251 57 : 292 59 : 339 61 : 444 63 : 598 65 : 781 67 : 1016 69 : 1303 71 : 1593 73 : 1922 75 : 2359 77 : 2986 79 : 3875 81 : 5006 83 : 6466 85 : 8184 87 : 10182 89 : 12488 91 : 15534 93 : 19614 95 : 25087 97 : 32452 99 : 41840 101 : 53343 103 : 67105 105 : 84222 107 : 105925 109 : 134564 111 : 172053 113 : 221055 115 : 283569 117 : 361751 119 : 458509 121 : 579502 123 : 734352 125 : 935212 127 : 1197027 129 : 1534565 131 : 1965596 133 : 2509883 135 : 3196594 137 : 4066027 139 : 5180139 24036508 representatives in total. 91410.51 ms (1 min 31 s 410.51 ms) taken to read 16952082 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs141-unfiltered141+.txt. [tid:23150137956096] 136747.39 ms (2 min 16 s 747.39 ms) taken to read 26431403 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs143-unfiltered141+.txt. [tid:23150140057344] 187034.90 ms (3 min 7 s 34.91 ms) taken to read 36855440 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs145-unfiltered141+.txt. [tid:23150142158592] 228683.26 ms (3 min 48 s 683.25 ms) taken to read 47814846 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs147-unfiltered141+.txt. [tid:23152696366848] 270071.10 ms (4 min 30 s 71.10 ms) taken to read 62366737 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs149-unfiltered141+.txt. [tid:23152698468096] 315087.62 ms (5 min 15 s 87.62 ms) taken to read 82234537 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs151-unfiltered141+.txt. [tid:23152700569344] 343093.66 ms (5 min 43 s 93.66 ms) taken to read 109705510 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs153-unfiltered141+.txt. [tid:23152702670592] 369484.28 ms (6 min 9 s 484.28 ms) taken to read 144348401 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs155-unfiltered141+.txt. [tid:23152704771840] 392688.60 ms (6 min 32 s 688.60 ms) taken to read 192661720 condensed detachment proofs and conclusions from data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/dProofs-withConclusions/dProofs157-unfiltered141+.txt. [tid:23152706873088] 392708.99 ms (6 min 32 s 708.99 ms) additional read duration. Loaded 9 more representative collections of sizes: 141 : 16952082 143 : 26431403 145 : 36855440 147 : 47814846 149 : 62366737 151 : 82234537 153 : 109705510 155 : 144348401 157 : 192661720 743407184 representatives in total. Wed Nov 8 21:45:58 2023: Inserted ≈ 5% of D-proof conclusions. [ 37170359 of 743407184] (ETC: Wed Nov 8 22:02:19 2023 ; 16 min 20 s 920.99 ms remaining ; 17 min 12 s 548.40 ms total) Wed Nov 8 21:46:40 2023: Inserted ≈10% of D-proof conclusions. [ 74340718 of 743407184] (ETC: Wed Nov 8 22:00:49 2023 ; 14 min 8 s 910.83 ms remaining ; 15 min 43 s 234.25 ms total) Wed Nov 8 21:47:23 2023: Inserted ≈15% of D-proof conclusions. [111511077 of 743407184] (ETC: Wed Nov 8 22:00:18 2023 ; 12 min 54 s 883.45 ms remaining ; 15 min 11 s 627.59 ms total) Wed Nov 8 21:48:06 2023: Inserted ≈20% of D-proof conclusions. [148681436 of 743407184] (ETC: Wed Nov 8 22:00:07 2023 ; 12 min 554.37 ms remaining ; 15 min 692.96 ms total) Wed Nov 8 21:48:50 2023: Inserted ≈25% of D-proof conclusions. [185851796 of 743407184] (ETC: Wed Nov 8 22:00:02 2023 ; 11 min 12 s 95.18 ms remaining ; 14 min 56 s 126.90 ms total) Wed Nov 8 21:49:39 2023: Inserted ≈30% of D-proof conclusions. [223022155 of 743407184] (ETC: Wed Nov 8 22:00:15 2023 ; 10 min 36 s 646.02 ms remaining ; 15 min 9 s 494.32 ms total) Wed Nov 8 21:50:35 2023: Inserted ≈35% of D-proof conclusions. [260192514 of 743407184] (ETC: Wed Nov 8 22:00:45 2023 ; 10 min 10 s 162.83 ms remaining ; 15 min 38 s 712.04 ms total) Wed Nov 8 21:51:39 2023: Inserted ≈40% of D-proof conclusions. [297362873 of 743407184] (ETC: Wed Nov 8 22:01:29 2023 ; 9 min 49 s 617.90 ms remaining ; 16 min 22 s 696.51 ms total) Wed Nov 8 21:52:59 2023: Inserted ≈45% of D-proof conclusions. [334533232 of 743407184] (ETC: Wed Nov 8 22:02:38 2023 ; 9 min 38 s 690.78 ms remaining ; 17 min 32 s 165.06 ms total) Wed Nov 8 21:54:17 2023: Inserted ≈50% of D-proof conclusions. [371703592 of 743407184] (ETC: Wed Nov 8 22:03:28 2023 ; 9 min 11 s 139.60 ms remaining ; 18 min 22 s 279.20 ms total) Wed Nov 8 21:55:21 2023: Inserted ≈55% of D-proof conclusions. [408873951 of 743407184] (ETC: Wed Nov 8 22:03:44 2023 ; 8 min 23 s 236.51 ms remaining ; 18 min 38 s 303.36 ms total) Wed Nov 8 21:56:19 2023: Inserted ≈60% of D-proof conclusions. [446044310 of 743407184] (ETC: Wed Nov 8 22:03:48 2023 ; 7 min 28 s 668.66 ms remaining ; 18 min 41 s 671.64 ms total) Wed Nov 8 21:57:19 2023: Inserted ≈65% of D-proof conclusions. [483214669 of 743407184] (ETC: Wed Nov 8 22:03:54 2023 ; 6 min 34 s 707.75 ms remaining ; 18 min 47 s 736.44 ms total) Wed Nov 8 21:58:29 2023: Inserted ≈70% of D-proof conclusions. [520385028 of 743407184] (ETC: Wed Nov 8 22:04:13 2023 ; 5 min 44 s 93.90 ms remaining ; 19 min 6 s 979.67 ms total) Wed Nov 8 21:59:40 2023: Inserted ≈75% of D-proof conclusions. [557555388 of 743407184] (ETC: Wed Nov 8 22:04:31 2023 ; 4 min 51 s 196.57 ms remaining ; 19 min 24 s 786.27 ms total) Wed Nov 8 22:00:39 2023: Inserted ≈80% of D-proof conclusions. [594725747 of 743407184] (ETC: Wed Nov 8 22:04:32 2023 ; 3 min 53 s 172.50 ms remaining ; 19 min 25 s 862.48 ms total) Wed Nov 8 22:01:43 2023: Inserted ≈85% of D-proof conclusions. [631896106 of 743407184] (ETC: Wed Nov 8 22:04:39 2023 ; 2 min 56 s 19.82 ms remaining ; 19 min 33 s 465.49 ms total) Wed Nov 8 22:02:51 2023: Inserted ≈90% of D-proof conclusions. [669066465 of 743407184] (ETC: Wed Nov 8 22:04:49 2023 ; 1 min 58 s 325.51 ms remaining ; 19 min 43 s 255.14 ms total) Wed Nov 8 22:03:58 2023: Inserted ≈95% of D-proof conclusions. [706236824 of 743407184] (ETC: Wed Nov 8 22:04:57 2023 ; 59 s 554.24 ms remaining ; 19 min 51 s 84.75 ms total) Wed Nov 8 22:05:00 2023: Inserted 100% of D-proof conclusions. [743407184 of 743407184] (ETC: Wed Nov 8 22:05:00 2023 ; 0.00 ms remaining ; 19 min 53 s 818.22 ms total) 1193819.41 ms (19 min 53 s 819.41 ms) total insertion duration. Wed Nov 8 22:05:00 2023: Starting to iterate D-proof candidates of length 159. 3859068.97 ms (1 h 4 min 19 s 68.97 ms) taken to iterate 2814993667 condensed detachment proof strings of length 159. [Copy] Next iteration count (unfiltered141+): { 159, 2814993667 } Wed Nov 8 23:09:19 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered] Wed Nov 8 23:43:26 2023: Process terminated. [pid: 234070, tid:23152951314304]