( This log file was generated by executing 'pmGenerator -c -n -s CpCCNqCCNrsCtqCCrtCrq --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%11" JobID Partition AllocCPUS State ExitCode Elapsed MaxRSS ------------ ---------- ---------- ---------- -------- ---------- ----------- 40785872 optane_low 64 COMPLETED 0:0 03:32:13 40785872.ba+ 64 COMPLETED 0:0 03:32:13 1799948932K 40785872.ex+ 64 COMPLETED 0:0 03:32:14 84K By 1799948932 KiB = (1799948932 / 1024^2) GiB = 1716.565067291259765625 GiB, it used approximately 1716.57 gibibytes of memory. ) Wed Nov 15 23:08:50 2023: Process started. [pid: 257938, tid:22653699143552] Tasks: 1. resetRepresentativesFor("CpCCNqCCNrsCtqCCrtCrq", true, 0, true) 2. countNextIterationAmount(false, true) [Main] Calling resetRepresentativesFor("CpCCNqCCNrsCtqCCrtCrq", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9] (1) C0CCN1CCN2.3C4.1CC2.4C2.1 - CpCCNqCCNrsCtqCCrtCrq - 0\imply((\not1\imply((\not2\imply3)\imply(4\imply1)))\imply((2\imply4)\imply(2\imply1))) [Main] Calling countNextIterationAmount(false, true). Wed Nov 15 23:08:50 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered] 0.01 ms taken to load initial representatives. 1.54 ms taken to read 3 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs21.txt. [tid:22653619984128] 0.21 ms taken to read 10 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs25.txt. [tid:22653615781632] 0.71 ms taken to read 21 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs35.txt. [tid:22653066802944] 1.44 ms taken to read 7 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs27.txt. [tid:22653613680384] 0.15 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs5.txt. [tid:22653636794112] 0.99 ms taken to read 66 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs45.txt. [tid:22653056296704] 1.00 ms taken to read 12 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs29.txt. [tid:22653611579136] 0.09 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs15.txt. [tid:22653626287872] 0.24 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs7.txt. [tid:22653634692864] 0.26 ms taken to read 123 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs51.txt. [tid:22653049992960] 0.00 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs19.txt. [tid:22653622085376] 1.02 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs3.txt. [tid:22653638895360] 14004.32 ms (14 s 4.32 ms) taken to read 1294413 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs139.txt. [tid:22653636794112] 17994.86 ms (17 s 994.86 ms) taken to read 2983754 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs147.txt. [tid:22653634692864] 5.56 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs9.txt. [tid:22653632591616] 4.30 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs11.txt. [tid:22653630490368] 13.25 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs13.txt. [tid:22653628389120] 17809.20 ms (17 s 809.20 ms) taken to read 2423655 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs145.txt. [tid:22653626287872] 3.93 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs17.txt. [tid:22653624186624] 19473.49 ms (19 s 473.49 ms) taken to read 4527348 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs151.txt. [tid:22653622085376] 5159.55 ms (5 s 159.55 ms) taken to read 560926 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs131.txt. [tid:22653619984128] 6.48 ms taken to read 6 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs23.txt. [tid:22653617882880] 8241.89 ms (8 s 241.89 ms) taken to read 693346 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs133.txt. [tid:22653615781632] 11344.23 ms (11 s 344.23 ms) taken to read 1051251 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs137.txt. [tid:22653613680384] 16469.08 ms (16 s 469.08 ms) taken to read 1963944 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs143.txt. [tid:22653611579136] 0.59 ms taken to read 14 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs31.txt. [tid:22653609477888] 1.33 ms taken to read 17 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs33.txt. [tid:22653607376640] 10077.50 ms (10 s 77.50 ms) taken to read 853090 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs135.txt. [tid:22653066802944] 10.63 ms taken to read 30 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs37.txt. [tid:22653064701696] 5.92 ms taken to read 28 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs39.txt. [tid:22653062600448] 3.34 ms taken to read 44 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs41.txt. [tid:22653060499200] 6.66 ms taken to read 56 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs43.txt. [tid:22653058397952] 15845.36 ms (15 s 845.37 ms) taken to read 1597383 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs141.txt. [tid:22653056296704] 12.67 ms taken to read 80 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs47.txt. [tid:22653054195456] 5.34 ms taken to read 108 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs49.txt. [tid:22653052094208] 18734.35 ms (18 s 734.36 ms) taken to read 3676539 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs149.txt. [tid:22653049992960] 18.85 ms taken to read 168 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs53.txt. [tid:22653047891712] 11.94 ms taken to read 197 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs55.txt. [tid:22653045790464] 11.74 ms taken to read 241 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs57.txt. [tid:22653043689216] 19.99 ms taken to read 303 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs59.txt. [tid:22653041587968] 4.21 ms taken to read 390 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs61.txt. [tid:22653039486720] 4.30 ms taken to read 444 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs63.txt. [tid:22653037385472] 19.29 ms taken to read 570 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs65.txt. [tid:22653035284224] 13.61 ms taken to read 707 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs67.txt. [tid:22653033182976] 425.67 ms taken to read 863 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs69.txt. [tid:22653031081728] 434.69 ms taken to read 1052 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs71.txt. [tid:22653028980480] 22.54 ms taken to read 1340 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs73.txt. [tid:22653026879232] 38.74 ms taken to read 1586 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs75.txt. [tid:22653024777984] 34.12 ms taken to read 1990 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs77.txt. [tid:22653022676736] 27.65 ms taken to read 2467 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs79.txt. [tid:22653020575488] 45.13 ms taken to read 3018 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs81.txt. [tid:22653018474240] 34.45 ms taken to read 3679 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs83.txt. [tid:22653016372992] 506.75 ms taken to read 4661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs85.txt. [tid:22653014271744] 45.61 ms taken to read 5632 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs87.txt. [tid:22653012170496] 550.68 ms taken to read 6994 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs89.txt. [tid:22653010069248] 411.28 ms taken to read 8637 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs91.txt. [tid:22653007968000] 60.81 ms taken to read 10677 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs93.txt. [tid:22653005866752] 734.21 ms taken to read 13008 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs95.txt. [tid:22653003765504] 987.33 ms taken to read 16295 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs97.txt. [tid:22651456190208] 1538.20 ms (1 s 538.20 ms) taken to read 19833 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs99.txt. [tid:22651454088960] 588.69 ms taken to read 24567 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs101.txt. [tid:22651451987712] 993.69 ms taken to read 30296 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs103.txt. [tid:22651449886464] 1555.46 ms (1 s 555.46 ms) taken to read 37377 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs105.txt. [tid:22651447785216] 1751.22 ms (1 s 751.22 ms) taken to read 45724 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs107.txt. [tid:22651445683968] 1747.61 ms (1 s 747.61 ms) taken to read 56922 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs109.txt. [tid:22651443582720] 1923.54 ms (1 s 923.54 ms) taken to read 69661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs111.txt. [tid:22651441481472] 1961.92 ms (1 s 961.92 ms) taken to read 85894 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs113.txt. [tid:22651439380224] 4574.54 ms (4 s 574.54 ms) taken to read 105871 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs115.txt. [tid:22651437278976] 6736.54 ms (6 s 736.54 ms) taken to read 130737 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs117.txt. [tid:22651435177728] 8541.60 ms (8 s 541.61 ms) taken to read 160270 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs119.txt. [tid:22651433076480] 3775.44 ms (3 s 775.44 ms) taken to read 198446 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs121.txt. [tid:22651430975232] 4408.50 ms (4 s 408.50 ms) taken to read 243740 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs123.txt. [tid:22651428873984] 4103.70 ms (4 s 103.70 ms) taken to read 300530 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs125.txt. [tid:22651426772736] 5005.80 ms (5 s 5.80 ms) taken to read 370216 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs127.txt. [tid:22651424671488] 8317.60 ms (8 s 317.60 ms) taken to read 456911 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs129.txt. [tid:22651422570240] 19625.43 ms (19 s 625.43 ms) total read duration. Loaded 76 representative collections of sizes: 1 : 1 3 : 1 5 : 1 7 : 1 9 : 2 11 : 2 13 : 2 15 : 2 17 : 5 19 : 5 21 : 3 23 : 6 25 : 10 27 : 7 29 : 12 31 : 14 33 : 17 35 : 21 37 : 30 39 : 28 41 : 44 43 : 56 45 : 66 47 : 80 49 : 108 51 : 123 53 : 168 55 : 197 57 : 241 59 : 303 61 : 390 63 : 444 65 : 570 67 : 707 69 : 863 71 : 1052 73 : 1340 75 : 1586 77 : 1990 79 : 2467 81 : 3018 83 : 3679 85 : 4661 87 : 5632 89 : 6994 91 : 8637 93 : 10677 95 : 13008 97 : 16295 99 : 19833 101 : 24567 103 : 30296 105 : 37377 107 : 45724 109 : 56922 111 : 69661 113 : 85894 115 : 105871 117 : 130737 119 : 160270 121 : 198446 123 : 243740 125 : 300530 127 : 370216 129 : 456911 131 : 560926 133 : 693346 135 : 853090 137 : 1051251 139 : 1294413 141 : 1597383 143 : 1963944 145 : 2423655 147 : 2983754 149 : 3676539 151 : 4527348 24048210 representatives in total. 197298.99 ms (3 min 17 s 298.99 ms) taken to read 21395853 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs153-unfiltered153+.txt. [tid:22651422570240] 252531.92 ms (4 min 12 s 531.92 ms) taken to read 28040847 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs155-unfiltered153+.txt. [tid:22651424671488] 350499.56 ms (5 min 50 s 499.56 ms) taken to read 38836822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs157-unfiltered153+.txt. [tid:22651426772736] 431842.74 ms (7 min 11 s 842.74 ms) taken to read 50013506 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs159-unfiltered153+.txt. [tid:22651428873984] 571901.15 ms (9 min 31 s 901.15 ms) taken to read 78239557 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs161-unfiltered153+.txt. [tid:22651430975232] 658838.61 ms (10 min 58 s 838.61 ms) taken to read 101757325 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs163-unfiltered153+.txt. [tid:22651433076480] 796889.41 ms (13 min 16 s 889.41 ms) taken to read 147063822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs165-unfiltered153+.txt. [tid:22651435177728] 879215.96 ms (14 min 39 s 215.96 ms) taken to read 205771643 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs167-unfiltered153+.txt. [tid:22651437278976] 996575.69 ms (16 min 36 s 575.69 ms) taken to read 299846803 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs169-unfiltered153+.txt. [tid:22651439380224] 996616.89 ms (16 min 36 s 616.89 ms) additional read duration. Loaded 9 more representative collections of sizes: 153 : 21395853 155 : 28040847 157 : 38836822 159 : 50013506 161 : 78239557 163 : 101757325 165 : 147063822 167 : 205771643 169 : 299846803 995014388 representatives in total. Wed Nov 15 23:28:21 2023: Inserted ≈ 5% of D-proof conclusions. [ 49750719 of 995014388] (ETC: Thu Nov 16 00:17:10 2023 ; 48 min 48 s 725.27 ms remaining ; 51 min 22 s 868.70 ms total) Wed Nov 15 23:31:24 2023: Inserted ≈10% of D-proof conclusions. [ 99501438 of 995014388] (ETC: Thu Nov 16 00:21:59 2023 ; 50 min 34 s 584.60 ms remaining ; 56 min 11 s 760.67 ms total) Wed Nov 15 23:34:39 2023: Inserted ≈15% of D-proof conclusions. [149252158 of 995014388] (ETC: Thu Nov 16 00:24:56 2023 ; 50 min 16 s 492.78 ms remaining ; 59 min 8 s 815.03 ms total) Wed Nov 15 23:37:53 2023: Inserted ≈20% of D-proof conclusions. [199002877 of 995014388] (ETC: Thu Nov 16 00:26:17 2023 ; 48 min 24 s 127.60 ms remaining ; 1 h 30 s 159.50 ms total) Wed Nov 15 23:41:09 2023: Inserted ≈25% of D-proof conclusions. [248753597 of 995014388] (ETC: Thu Nov 16 00:27:17 2023 ; 46 min 7 s 357.35 ms remaining ; 1 h 1 min 29 s 809.80 ms total) Wed Nov 15 23:44:08 2023: Inserted ≈30% of D-proof conclusions. [298504316 of 995014388] (ETC: Thu Nov 16 00:26:59 2023 ; 42 min 50 s 182.90 ms remaining ; 1 h 1 min 11 s 689.86 ms total) Wed Nov 15 23:47:14 2023: Inserted ≈35% of D-proof conclusions. [348255035 of 995014388] (ETC: Thu Nov 16 00:27:05 2023 ; 39 min 51 s 46.26 ms remaining ; 1 h 1 min 18 s 532.71 ms total) Wed Nov 15 23:49:53 2023: Inserted ≈40% of D-proof conclusions. [398005755 of 995014388] (ETC: Thu Nov 16 00:26:03 2023 ; 36 min 9 s 728.28 ms remaining ; 1 h 16 s 213.80 ms total) Wed Nov 15 23:53:17 2023: Inserted ≈45% of D-proof conclusions. [447756474 of 995014388] (ETC: Thu Nov 16 00:26:54 2023 ; 33 min 36 s 835.42 ms remaining ; 1 h 1 min 6 s 973.49 ms total) Wed Nov 15 23:56:24 2023: Inserted ≈50% of D-proof conclusions. [497507194 of 995014388] (ETC: Thu Nov 16 00:27:01 2023 ; 30 min 37 s 234.71 ms remaining ; 1 h 1 min 14 s 469.41 ms total) Wed Nov 15 23:59:08 2023: Inserted ≈55% of D-proof conclusions. [547257913 of 995014388] (ETC: Thu Nov 16 00:26:26 2023 ; 27 min 17 s 641.34 ms remaining ; 1 h 39 s 202.96 ms total) Thu Nov 16 00:02:08 2023: Inserted ≈60% of D-proof conclusions. [597008632 of 995014388] (ETC: Thu Nov 16 00:26:22 2023 ; 24 min 14 s 117.23 ms remaining ; 1 h 35 s 293.07 ms total) Thu Nov 16 00:05:01 2023: Inserted ≈65% of D-proof conclusions. [646759352 of 995014388] (ETC: Thu Nov 16 00:26:09 2023 ; 21 min 7 s 584.39 ms remaining ; 1 h 21 s 669.70 ms total) Thu Nov 16 00:08:08 2023: Inserted ≈70% of D-proof conclusions. [696510071 of 995014388] (ETC: Thu Nov 16 00:26:17 2023 ; 18 min 8 s 934.50 ms remaining ; 1 h 29 s 781.65 ms total) Thu Nov 16 00:10:34 2023: Inserted ≈75% of D-proof conclusions. [746260791 of 995014388] (ETC: Thu Nov 16 00:25:30 2023 ; 14 min 55 s 763.63 ms remaining ; 59 min 43 s 54.54 ms total) Thu Nov 16 00:13:11 2023: Inserted ≈80% of D-proof conclusions. [796011510 of 995014388] (ETC: Thu Nov 16 00:25:02 2023 ; 11 min 50 s 944.40 ms remaining ; 59 min 14 s 721.98 ms total) Thu Nov 16 00:16:03 2023: Inserted ≈85% of D-proof conclusions. [845762229 of 995014388] (ETC: Thu Nov 16 00:24:55 2023 ; 8 min 52 s 197.08 ms remaining ; 59 min 7 s 980.52 ms total) Thu Nov 16 00:19:00 2023: Inserted ≈90% of D-proof conclusions. [895512949 of 995014388] (ETC: Thu Nov 16 00:24:55 2023 ; 5 min 54 s 813.22 ms remaining ; 59 min 8 s 132.20 ms total) Thu Nov 16 00:22:32 2023: Inserted ≈95% of D-proof conclusions. [945263668 of 995014388] (ETC: Thu Nov 16 00:25:32 2023 ; 2 min 59 s 238.20 ms remaining ; 59 min 44 s 764.05 ms total) Thu Nov 16 00:26:03 2023: Inserted 100% of D-proof conclusions. [995014388 of 995014388] (ETC: Thu Nov 16 00:26:03 2023 ; 0.00 ms remaining ; 1 h 16 s 20.19 ms total) 3616057.99 ms (1 h 16 s 57.99 ms) total insertion duration. Thu Nov 16 00:26:03 2023: Starting to iterate D-proof candidates of length 171. 4684485.98 ms (1 h 18 min 4 s 485.98 ms) taken to iterate 3843524189 condensed detachment proof strings of length 171. [Copy] Next iteration count (unfiltered153+): { 171, 3843524189 } Thu Nov 16 01:44:08 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered] Thu Nov 16 02:39:28 2023: Process terminated. [pid: 257938, tid:22653699143552]