( 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" JobID Partition AllocCPUS State ExitCode Elapsed MaxRSS ------------ ---------- ---------- ---------- -------- ---------- ----------- 40761177 optane_low 64 COMPLETED 0:0 02:17:24 40761177.ba+ 64 COMPLETED 0:0 02:17:24 1200083436K 40761177.ex+ 64 COMPLETED 0:0 02:17:24 4K By 1200083436 KiB = (1200083436 / 1024^2) GiB = 1144.488750457763671875 GiB, it used approximately 1144.49 gibibytes of memory. ) Mon Nov 13 16:09:58 2023: Process started. [pid: 88365, tid:23121394108288] 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). Mon Nov 13 16:09:58 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered] 0.01 ms taken to load initial representatives. 5.56 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs3.txt. [tid:23121333860096] 6.08 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs5.txt. [tid:23121331758848] 0.20 ms taken to read 6 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs23.txt. [tid:23121314948864] 0.01 ms taken to read 14 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs31.txt. [tid:23121306543872] 0.08 ms taken to read 21 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs35.txt. [tid:23121302341376] 0.52 ms taken to read 28 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs39.txt. [tid:23121298138880] 0.09 ms taken to read 44 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs41.txt. [tid:23121296037632] 0.06 ms taken to read 56 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs43.txt. [tid:23121293936384] 0.86 ms taken to read 3 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs21.txt. [tid:23121317050112] 1.88 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs7.txt. [tid:23121329657600] 1.83 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs15.txt. [tid:23121323353856] 7635.84 ms (7 s 635.84 ms) taken to read 560926 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs131.txt. [tid:23121333860096] 8611.56 ms (8 s 611.56 ms) taken to read 693346 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs133.txt. [tid:23121331758848] 19047.50 ms (19 s 47.50 ms) taken to read 3676539 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs149.txt. [tid:23121329657600] 8.74 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs9.txt. [tid:23121327556352] 9.31 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs11.txt. [tid:23121325455104] 12.79 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs13.txt. [tid:23121218238208] 19195.15 ms (19 s 195.15 ms) taken to read 4527348 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs151.txt. [tid:23121323353856] 1.99 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs17.txt. [tid:23121321252608] 4.79 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs19.txt. [tid:23121319151360] 17662.23 ms (17 s 662.23 ms) taken to read 2983754 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs147.txt. [tid:23121317050112] 9225.96 ms (9 s 225.96 ms) taken to read 853090 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs135.txt. [tid:23121314948864] 1.30 ms taken to read 10 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs25.txt. [tid:23121312847616] 0.49 ms taken to read 7 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs27.txt. [tid:23121310746368] 12.07 ms taken to read 12 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs29.txt. [tid:23121308645120] 15264.15 ms (15 s 264.14 ms) taken to read 1051251 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs137.txt. [tid:23121306543872] 3.24 ms taken to read 17 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs33.txt. [tid:23121304442624] 12565.58 ms (12 s 565.58 ms) taken to read 1294413 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs139.txt. [tid:23121302341376] 11.90 ms taken to read 30 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs37.txt. [tid:23121300240128] 13686.46 ms (13 s 686.46 ms) taken to read 1597383 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs141.txt. [tid:23121298138880] 15796.97 ms (15 s 796.97 ms) taken to read 1963944 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs143.txt. [tid:23121296037632] 16864.39 ms (16 s 864.39 ms) taken to read 2423655 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs145.txt. [tid:23121293936384] 4.66 ms taken to read 66 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs45.txt. [tid:23121291835136] 11.87 ms taken to read 80 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs47.txt. [tid:23121289733888] 2.99 ms taken to read 108 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs49.txt. [tid:23121287632640] 8.01 ms taken to read 123 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs51.txt. [tid:23121216136960] 0.83 ms taken to read 168 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs53.txt. [tid:23121214035712] 12.87 ms taken to read 197 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs55.txt. [tid:23121211934464] 14.76 ms taken to read 241 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs57.txt. [tid:23121209833216] 19.65 ms taken to read 303 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs59.txt. [tid:23121207731968] 0.98 ms taken to read 390 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs61.txt. [tid:23121205630720] 20.51 ms taken to read 444 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs63.txt. [tid:23121203529472] 8.42 ms taken to read 570 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs65.txt. [tid:23121201428224] 15.37 ms taken to read 707 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs67.txt. [tid:23121199326976] 10.38 ms taken to read 863 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs69.txt. [tid:23121197225728] 27.11 ms taken to read 1052 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs71.txt. [tid:23121195124480] 20.88 ms taken to read 1340 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs73.txt. [tid:23121193023232] 36.08 ms taken to read 1586 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs75.txt. [tid:23121190921984] 27.69 ms taken to read 1990 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs77.txt. [tid:23121188820736] 39.02 ms taken to read 2467 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs79.txt. [tid:23121186719488] 31.19 ms taken to read 3018 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs81.txt. [tid:23121184618240] 19.68 ms taken to read 3679 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs83.txt. [tid:23121182516992] 465.46 ms taken to read 4661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs85.txt. [tid:23121180415744] 338.87 ms taken to read 5632 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs87.txt. [tid:23121178314496] 37.89 ms taken to read 6994 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs89.txt. [tid:23121176213248] 373.90 ms taken to read 8637 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs91.txt. [tid:23121174112000] 58.48 ms taken to read 10677 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs93.txt. [tid:23121172010752] 867.36 ms taken to read 13008 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs95.txt. [tid:23121169909504] 899.10 ms taken to read 16295 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs97.txt. [tid:23121167808256] 88.56 ms taken to read 19833 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs99.txt. [tid:23121165707008] 1278.01 ms (1 s 278.01 ms) taken to read 24567 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs101.txt. [tid:23121163605760] 1099.55 ms (1 s 99.55 ms) taken to read 30296 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs103.txt. [tid:23121161504512] 1061.54 ms (1 s 61.54 ms) taken to read 37377 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs105.txt. [tid:23121159403264] 1799.46 ms (1 s 799.46 ms) taken to read 45724 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs107.txt. [tid:23121157302016] 2007.12 ms (2 s 7.12 ms) taken to read 56922 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs109.txt. [tid:23121155200768] 2968.49 ms (2 s 968.49 ms) taken to read 69661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs111.txt. [tid:23118668101376] 3262.21 ms (3 s 262.21 ms) taken to read 85894 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs113.txt. [tid:23118666000128] 3662.88 ms (3 s 662.88 ms) taken to read 105871 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs115.txt. [tid:23118663898880] 6874.54 ms (6 s 874.54 ms) taken to read 130737 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs117.txt. [tid:23118661797632] 7138.94 ms (7 s 138.94 ms) taken to read 160270 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs119.txt. [tid:23118659696384] 3745.33 ms (3 s 745.33 ms) taken to read 198446 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs121.txt. [tid:23118657595136] 5147.82 ms (5 s 147.82 ms) taken to read 243740 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs123.txt. [tid:23118655493888] 4936.06 ms (4 s 936.06 ms) taken to read 300530 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs125.txt. [tid:23118653392640] 4015.99 ms (4 s 15.99 ms) taken to read 370216 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs127.txt. [tid:23118651291392] 6525.48 ms (6 s 525.48 ms) taken to read 456911 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs129.txt. [tid:23118649190144] 19349.62 ms (19 s 349.62 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. 170941.86 ms (2 min 50 s 941.86 ms) taken to read 21395853 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs153-unfiltered153+.txt. [tid:23118649190144] 232008.15 ms (3 min 52 s 8.14 ms) taken to read 28040847 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs155-unfiltered153+.txt. [tid:23118651291392] 316150.84 ms (5 min 16 s 150.84 ms) taken to read 38836822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs157-unfiltered153+.txt. [tid:23118653392640] 349297.42 ms (5 min 49 s 297.42 ms) taken to read 50013506 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs159-unfiltered153+.txt. [tid:23118655493888] 427542.69 ms (7 min 7 s 542.69 ms) taken to read 78239557 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs161-unfiltered153+.txt. [tid:23118657595136] 472695.87 ms (7 min 52 s 695.87 ms) taken to read 101757325 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs163-unfiltered153+.txt. [tid:23118659696384] 571209.61 ms (9 min 31 s 209.61 ms) taken to read 147063822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs165-unfiltered153+.txt. [tid:23118661797632] 628701.77 ms (10 min 28 s 701.77 ms) taken to read 205771643 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs167-unfiltered153+.txt. [tid:23118663898880] 628733.84 ms (10 min 28 s 733.84 ms) additional read duration. Loaded 8 more representative collections of sizes: 153 : 21395853 155 : 28040847 157 : 38836822 159 : 50013506 161 : 78239557 163 : 101757325 165 : 147063822 167 : 205771643 695167585 representatives in total. Mon Nov 13 16:22:33 2023: Inserted ≈ 5% of D-proof conclusions. [ 34758379 of 695167585] (ETC: Mon Nov 13 16:56:07 2023 ; 33 min 34 s 760.85 ms remaining ; 35 min 20 s 800.89 ms total) Mon Nov 13 16:24:37 2023: Inserted ≈10% of D-proof conclusions. [ 69516758 of 695167585] (ETC: Mon Nov 13 16:59:13 2023 ; 34 min 35 s 970.62 ms remaining ; 38 min 26 s 634.02 ms total) Mon Nov 13 16:26:22 2023: Inserted ≈15% of D-proof conclusions. [104275137 of 695167585] (ETC: Mon Nov 13 16:58:00 2023 ; 31 min 38 s 670.93 ms remaining ; 37 min 13 s 730.50 ms total) Mon Nov 13 16:28:25 2023: Inserted ≈20% of D-proof conclusions. [139033517 of 695167585] (ETC: Mon Nov 13 16:58:58 2023 ; 30 min 33 s 420.89 ms remaining ; 38 min 11 s 776.11 ms total) Mon Nov 13 16:30:28 2023: Inserted ≈25% of D-proof conclusions. [173791896 of 695167585] (ETC: Mon Nov 13 16:59:33 2023 ; 29 min 4 s 429.06 ms remaining ; 38 min 45 s 905.41 ms total) Mon Nov 13 16:32:37 2023: Inserted ≈30% of D-proof conclusions. [208550275 of 695167585] (ETC: Mon Nov 13 17:00:15 2023 ; 27 min 37 s 648.58 ms remaining ; 39 min 28 s 69.39 ms total) Mon Nov 13 16:34:58 2023: Inserted ≈35% of D-proof conclusions. [243308654 of 695167585] (ETC: Mon Nov 13 17:01:18 2023 ; 26 min 20 s 652.39 ms remaining ; 40 min 31 s 772.90 ms total) Mon Nov 13 16:37:08 2023: Inserted ≈40% of D-proof conclusions. [278067034 of 695167585] (ETC: Mon Nov 13 17:01:40 2023 ; 24 min 32 s 194.33 ms remaining ; 40 min 53 s 657.22 ms total) Mon Nov 13 16:39:21 2023: Inserted ≈45% of D-proof conclusions. [312825413 of 695167585] (ETC: Mon Nov 13 17:02:03 2023 ; 22 min 41 s 740.22 ms remaining ; 41 min 15 s 891.31 ms total) Mon Nov 13 16:41:56 2023: Inserted ≈50% of D-proof conclusions. [347583792 of 695167585] (ETC: Mon Nov 13 17:03:05 2023 ; 21 min 8 s 982.48 ms remaining ; 42 min 17 s 964.95 ms total) Mon Nov 13 16:43:37 2023: Inserted ≈55% of D-proof conclusions. [382342171 of 695167585] (ETC: Mon Nov 13 17:02:19 2023 ; 18 min 41 s 435.11 ms remaining ; 41 min 32 s 78.02 ms total) Mon Nov 13 16:45:46 2023: Inserted ≈60% of D-proof conclusions. [417100551 of 695167585] (ETC: Mon Nov 13 17:02:25 2023 ; 16 min 39 s 530.38 ms remaining ; 41 min 38 s 825.95 ms total) Mon Nov 13 16:48:04 2023: Inserted ≈65% of D-proof conclusions. [451858930 of 695167585] (ETC: Mon Nov 13 17:02:46 2023 ; 14 min 41 s 839.25 ms remaining ; 41 min 59 s 540.73 ms total) Mon Nov 13 16:50:36 2023: Inserted ≈70% of D-proof conclusions. [486617309 of 695167585] (ETC: Mon Nov 13 17:03:22 2023 ; 12 min 46 s 755.56 ms remaining ; 42 min 35 s 851.86 ms total) Mon Nov 13 16:52:33 2023: Inserted ≈75% of D-proof conclusions. [521375688 of 695167585] (ETC: Mon Nov 13 17:03:09 2023 ; 10 min 35 s 602.40 ms remaining ; 42 min 22 s 409.61 ms total) Mon Nov 13 16:54:33 2023: Inserted ≈80% of D-proof conclusions. [556134068 of 695167585] (ETC: Mon Nov 13 17:02:59 2023 ; 8 min 26 s 554.80 ms remaining ; 42 min 12 s 774.01 ms total) Mon Nov 13 16:56:27 2023: Inserted ≈85% of D-proof conclusions. [590892447 of 695167585] (ETC: Mon Nov 13 17:02:44 2023 ; 6 min 17 s 673.30 ms remaining ; 41 min 57 s 822.03 ms total) Mon Nov 13 16:58:21 2023: Inserted ≈90% of D-proof conclusions. [625650826 of 695167585] (ETC: Mon Nov 13 17:02:32 2023 ; 4 min 10 s 499.74 ms remaining ; 41 min 44 s 997.43 ms total) Mon Nov 13 17:00:19 2023: Inserted ≈95% of D-proof conclusions. [660409205 of 695167585] (ETC: Mon Nov 13 17:02:24 2023 ; 2 min 4 s 845.11 ms remaining ; 41 min 36 s 902.22 ms total) Mon Nov 13 17:02:35 2023: Inserted 100% of D-proof conclusions. [695167585 of 695167585] (ETC: Mon Nov 13 17:02:35 2023 ; 0.00 ms remaining ; 41 min 48 s 203.52 ms total) 2508204.88 ms (41 min 48 s 204.88 ms) total insertion duration. Mon Nov 13 17:02:35 2023: Starting to iterate D-proof candidates of length 169. 2633382.46 ms (43 min 53 s 382.46 ms) taken to iterate 2734328708 condensed detachment proof strings of length 169. [Copy] Next iteration count (unfiltered153+): { 169, 2734328708 } Mon Nov 13 17:46:28 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered] Mon Nov 13 18:25:55 2023: Process terminated. [pid: 88365, tid:23121394108288]