( This log file was generated by '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.
  Wall-clock time:   7.0836111… h
  CPU utilization: 453.35111… core-h )
Wed Nov  8 13:04:53 2023: Process started. [pid: 247674, tid:22984262813568]
Tasks:
1. resetRepresentativesFor("CpCCNqCCNrsCtqCCrtCrq", true, 0, true)
2. generateDProofRepresentativeFiles(159, 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 generateDProofRepresentativeFiles(159, false, true).
Wed Nov  8 13:04:53 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 159, unfiltered]
0.01 ms taken to load initial representatives.
0.57 ms taken to read 56 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs43.txt. [tid:22984091715328]
0.10 ms taken to read 66 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs45.txt. [tid:22984089614080]
0.64 ms taken to read 168 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs53.txt. [tid:22984081209088]
1.10 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs9.txt. [tid:22984196261632]
1.15 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs3.txt. [tid:22984202565376]
2.61 ms taken to read 17 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs33.txt. [tid:22984102221568]
0.96 ms taken to read 12 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs29.txt. [tid:22984106424064]
1.06 ms taken to read 28 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs39.txt. [tid:22984095917824]
0.51 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs17.txt. [tid:22984187856640]
1.31 ms taken to read 80 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs47.txt. [tid:22984087512832]
0.13 ms taken to read 3 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs21.txt. [tid:22984114829056]
11369.09 ms (11 s 369.09 ms) taken to read 1294413 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs139.txt. [tid:22984202565376]
4.55 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs5.txt. [tid:22984200464128]
5.41 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs7.txt. [tid:22984198362880]
8050.85 ms (8 s 50.85 ms) taken to read 1051251 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs137.txt. [tid:22984196261632]
0.94 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs11.txt. [tid:22984194160384]
3.79 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs13.txt. [tid:22984192059136]
5.59 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs15.txt. [tid:22984189957888]
14110.79 ms (14 s 110.79 ms) taken to read 2983754 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs147.txt. [tid:22984187856640]
0.96 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs19.txt. [tid:22984185755392]
15119.26 ms (15 s 119.26 ms) taken to read 4527348 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs151.txt. [tid:22984114829056]
6.32 ms taken to read 6 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs23.txt. [tid:22984112727808]
1.39 ms taken to read 10 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs25.txt. [tid:22984110626560]
0.01 ms taken to read 7 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs27.txt. [tid:22984108525312]
13291.77 ms (13 s 291.77 ms) taken to read 1963944 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs143.txt. [tid:22984106424064]
7.93 ms taken to read 14 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs31.txt. [tid:22984104322816]
12089.34 ms (12 s 89.34 ms) taken to read 1597383 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs141.txt. [tid:22984102221568]
8.37 ms taken to read 21 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs35.txt. [tid:22984100120320]
0.79 ms taken to read 30 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs37.txt. [tid:22984098019072]
13446.91 ms (13 s 446.91 ms) taken to read 2423655 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs145.txt. [tid:22984095917824]
5.00 ms taken to read 44 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs41.txt. [tid:22984093816576]
6809.22 ms (6 s 809.22 ms) taken to read 560926 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs131.txt. [tid:22984091715328]
7746.55 ms (7 s 746.55 ms) taken to read 693346 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs133.txt. [tid:22984089614080]
14630.61 ms (14 s 630.61 ms) taken to read 3676539 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs149.txt. [tid:22984087512832]
0.80 ms taken to read 108 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs49.txt. [tid:22984085411584]
67.54 ms taken to read 123 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs51.txt. [tid:22984083310336]
7994.39 ms (7 s 994.39 ms) taken to read 853090 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs135.txt. [tid:22984081209088]
302.66 ms taken to read 197 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs55.txt. [tid:22984079107840]
9.10 ms taken to read 241 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs57.txt. [tid:22984077006592]
11.18 ms taken to read 303 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs59.txt. [tid:22984074905344]
18.46 ms taken to read 390 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs61.txt. [tid:22984072804096]
15.86 ms taken to read 444 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs63.txt. [tid:22984070702848]
10.88 ms taken to read 570 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs65.txt. [tid:22984068601600]
0.65 ms taken to read 707 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs67.txt. [tid:22984066500352]
15.69 ms taken to read 863 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs69.txt. [tid:22984064399104]
12.37 ms taken to read 1052 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs71.txt. [tid:22984062297856]
273.65 ms taken to read 1340 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs73.txt. [tid:22984060196608]
274.25 ms taken to read 1586 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs75.txt. [tid:22984058095360]
26.87 ms taken to read 1990 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs77.txt. [tid:22984055994112]
347.85 ms taken to read 2467 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs79.txt. [tid:22984053892864]
410.44 ms taken to read 3018 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs81.txt. [tid:22984051791616]
624.38 ms taken to read 3679 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs83.txt. [tid:22983175304960]
129.90 ms taken to read 4661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs85.txt. [tid:22983173203712]
421.71 ms taken to read 5632 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs87.txt. [tid:22983171102464]
808.61 ms taken to read 6994 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs89.txt. [tid:22983169001216]
716.28 ms taken to read 8637 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs91.txt. [tid:22983166899968]
472.08 ms taken to read 10677 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs93.txt. [tid:22983164798720]
1032.26 ms (1 s 32.26 ms) taken to read 13008 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs95.txt. [tid:22983162697472]
1111.63 ms (1 s 111.63 ms) taken to read 16295 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs97.txt. [tid:22983160596224]
645.27 ms taken to read 19833 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs99.txt. [tid:22983158494976]
1429.11 ms (1 s 429.11 ms) taken to read 24567 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs101.txt. [tid:22983156393728]
1543.70 ms (1 s 543.70 ms) taken to read 30296 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs103.txt. [tid:22983154292480]
1489.76 ms (1 s 489.76 ms) taken to read 37377 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs105.txt. [tid:22983152191232]
1738.72 ms (1 s 738.72 ms) taken to read 45724 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs107.txt. [tid:22983150089984]
1965.97 ms (1 s 965.97 ms) taken to read 56922 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs109.txt. [tid:22983147988736]
2132.98 ms (2 s 132.98 ms) taken to read 69661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs111.txt. [tid:22983145887488]
2756.87 ms (2 s 756.87 ms) taken to read 85894 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs113.txt. [tid:22983143786240]
3696.95 ms (3 s 696.95 ms) taken to read 105871 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs115.txt. [tid:22983141684992]
5467.06 ms (5 s 467.06 ms) taken to read 130737 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs117.txt. [tid:22983139583744]
6704.65 ms (6 s 704.65 ms) taken to read 160270 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs119.txt. [tid:22983137482496]
3510.35 ms (3 s 510.35 ms) taken to read 198446 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs121.txt. [tid:22983135381248]
4246.49 ms (4 s 246.49 ms) taken to read 243740 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs123.txt. [tid:22983133280000]
4901.52 ms (4 s 901.52 ms) taken to read 300530 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs125.txt. [tid:22983131178752]
4225.22 ms (4 s 225.22 ms) taken to read 370216 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs127.txt. [tid:22983129077504]
6241.38 ms (6 s 241.38 ms) taken to read 456911 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs129.txt. [tid:22983126976256]
15278.35 ms (15 s 278.35 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.
34732.11 ms (34 s 732.11 ms) taken to read 21395853 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs153-unfiltered153+.txt. [tid:22983126976256]
42883.83 ms (42 s 883.83 ms) taken to read 28040847 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs155-unfiltered153+.txt. [tid:22983129077504]
50871.53 ms (50 s 871.53 ms) taken to read 38836822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs157-unfiltered153+.txt. [tid:22983131178752]
50880.94 ms (50 s 880.94 ms) additional read duration.
Loaded 3 more representative collections of sizes:
153 : 21395853
155 : 28040847
157 : 38836822
112321732 representatives in total.
Wed Nov  8 13:06:09 2023: Inserted ≈ 5% of D-proof conclusions. [  5616086 of 112321732] (ETC: Wed Nov  8 13:09:09 2023 ; 3 min       52.93 ms remaining ; 3 min  9 s 529.40 ms total)
Wed Nov  8 13:06:19 2023: Inserted ≈10% of D-proof conclusions. [ 11232173 of 112321732] (ETC: Wed Nov  8 13:09:17 2023 ; 2 min 58 s  46.76 ms remaining ; 3 min 17 s 829.73 ms total)
Wed Nov  8 13:06:30 2023: Inserted ≈15% of D-proof conclusions. [ 16848259 of 112321732] (ETC: Wed Nov  8 13:09:26 2023 ; 2 min 55 s 844.15 ms remaining ; 3 min 26 s 875.47 ms total)
Wed Nov  8 13:06:41 2023: Inserted ≈20% of D-proof conclusions. [ 22464346 of 112321732] (ETC: Wed Nov  8 13:09:27 2023 ; 2 min 46 s  18.72 ms remaining ; 3 min 27 s 523.40 ms total)
Wed Nov  8 13:06:51 2023: Inserted ≈25% of D-proof conclusions. [ 28080433 of 112321732] (ETC: Wed Nov  8 13:09:28 2023 ; 2 min 36 s 779.72 ms remaining ; 3 min 29 s  39.63 ms total)
Wed Nov  8 13:07:02 2023: Inserted ≈30% of D-proof conclusions. [ 33696519 of 112321732] (ETC: Wed Nov  8 13:09:30 2023 ; 2 min 27 s 785.44 ms remaining ; 3 min 31 s 122.05 ms total)
Wed Nov  8 13:07:13 2023: Inserted ≈35% of D-proof conclusions. [ 39312606 of 112321732] (ETC: Wed Nov  8 13:09:31 2023 ; 2 min 17 s 822.09 ms remaining ; 3 min 32 s  33.99 ms total)
Wed Nov  8 13:07:25 2023: Inserted ≈40% of D-proof conclusions. [ 44928692 of 112321732] (ETC: Wed Nov  8 13:09:34 2023 ; 2 min  8 s 822.12 ms remaining ; 3 min 34 s 703.53 ms total)
Wed Nov  8 13:07:36 2023: Inserted ≈45% of D-proof conclusions. [ 50544779 of 112321732] (ETC: Wed Nov  8 13:09:34 2023 ; 1 min 58 s 351.41 ms remaining ; 3 min 35 s 184.38 ms total)
Wed Nov  8 13:07:47 2023: Inserted ≈50% of D-proof conclusions. [ 56160866 of 112321732] (ETC: Wed Nov  8 13:09:34 2023 ; 1 min 47 s 382.52 ms remaining ; 3 min 34 s 765.03 ms total)
Wed Nov  8 13:07:57 2023: Inserted ≈55% of D-proof conclusions. [ 61776952 of 112321732] (ETC: Wed Nov  8 13:09:33 2023 ; 1 min 36 s 161.46 ms remaining ; 3 min 33 s 692.14 ms total)
Wed Nov  8 13:08:07 2023: Inserted ≈60% of D-proof conclusions. [ 67393039 of 112321732] (ETC: Wed Nov  8 13:09:32 2023 ; 1 min 25 s 177.67 ms remaining ; 3 min 32 s 944.18 ms total)
Wed Nov  8 13:08:17 2023: Inserted ≈65% of D-proof conclusions. [ 73009125 of 112321732] (ETC: Wed Nov  8 13:09:32 2023 ; 1 min 14 s 473.55 ms remaining ; 3 min 32 s 781.58 ms total)
Wed Nov  8 13:08:26 2023: Inserted ≈70% of D-proof conclusions. [ 78625212 of 112321732] (ETC: Wed Nov  8 13:09:30 2023 ; 1 min  3 s 115.08 ms remaining ; 3 min 30 s 383.59 ms total)
Wed Nov  8 13:08:36 2023: Inserted ≈75% of D-proof conclusions. [ 84241299 of 112321732] (ETC: Wed Nov  8 13:09:29 2023 ; 52 s 366.07 ms remaining ; 3 min 29 s 464.28 ms total)
Wed Nov  8 13:08:47 2023: Inserted ≈80% of D-proof conclusions. [ 89857385 of 112321732] (ETC: Wed Nov  8 13:09:28 2023 ; 41 s 853.93 ms remaining ; 3 min 29 s 269.64 ms total)
Wed Nov  8 13:08:58 2023: Inserted ≈85% of D-proof conclusions. [ 95473472 of 112321732] (ETC: Wed Nov  8 13:09:29 2023 ; 31 s 500.15 ms remaining ; 3 min 30 s   1.00 ms total)
Wed Nov  8 13:09:09 2023: Inserted ≈90% of D-proof conclusions. [101089558 of 112321732] (ETC: Wed Nov  8 13:09:31 2023 ; 21 s 144.73 ms remaining ; 3 min 31 s 447.28 ms total)
Wed Nov  8 13:09:23 2023: Inserted ≈95% of D-proof conclusions. [106705645 of 112321732] (ETC: Wed Nov  8 13:09:34 2023 ; 10 s 728.05 ms remaining ; 3 min 34 s 560.95 ms total)
Wed Nov  8 13:09:35 2023: Inserted 100% of D-proof conclusions. [112321732 of 112321732] (ETC: Wed Nov  8 13:09:35 2023 ; 0.00 ms remaining ; 3 min 36 s 104.08 ms total)
216105.63 ms (3 min 36 s 105.63 ms) total insertion duration.
Known iteration count loaded from 159:592215521.
Wed Nov  8 13:09:35 2023: Starting to generate D-proof representatives of length 159.
Wed Nov  8 13:17:50 2023: Iterated ≈ 2% of D-proof candidates. [ 11844310 of 592215521] (ETC: Wed Nov  8 20:01:49 2023 ; 6 h 43 min 59 s 346.75 ms remaining ; 6 h 52 min 14 s  27.28 ms total)
Wed Nov  8 13:25:40 2023: Iterated ≈ 4% of D-proof candidates. [ 23688620 of 592215521] (ETC: Wed Nov  8 19:51:29 2023 ; 6 h 25 min 49 s 467.59 ms remaining ; 6 h 41 min 54 s  28.71 ms total)
Wed Nov  8 13:33:07 2023: Iterated ≈ 6% of D-proof candidates. [ 35532931 of 592215521] (ETC: Wed Nov  8 19:41:52 2023 ; 6 h  8 min 44 s 477.88 ms remaining ; 6 h 32 min 16 s 678.59 ms total)
Wed Nov  8 13:41:31 2023: Iterated ≈ 8% of D-proof candidates. [ 47377241 of 592215521] (ETC: Wed Nov  8 19:48:47 2023 ; 6 h  7 min 15 s 831.25 ms remaining ; 6 h 39 min 11 s 990.46 ms total)
Wed Nov  8 13:49:17 2023: Iterated ≈10% of D-proof candidates. [ 59221552 of 592215521] (ETC: Wed Nov  8 19:46:31 2023 ; 5 h 57 min 13 s 858.87 ms remaining ; 6 h 36 min 55 s 398.74 ms total)
Wed Nov  8 13:57:09 2023: Iterated ≈12% of D-proof candidates. [ 71065862 of 592215521] (ETC: Wed Nov  8 19:45:55 2023 ; 5 h 48 min 46 s 113.64 ms remaining ; 6 h 36 min 19 s 674.57 ms total)
Wed Nov  8 14:05:36 2023: Iterated ≈14% of D-proof candidates. [ 82910172 of 592215521] (ETC: Wed Nov  8 19:49:42 2023 ; 5 h 44 min  6 s 150.70 ms remaining ; 6 h 40 min  7 s 151.93 ms total)
Wed Nov  8 14:14:32 2023: Iterated ≈16% of D-proof candidates. [ 94754483 of 592215521] (ETC: Wed Nov  8 19:55:32 2023 ; 5 h 40 min 59 s 546.43 ms remaining ; 6 h 45 min 56 s 602.88 ms total)
Wed Nov  8 14:22:37 2023: Iterated ≈18% of D-proof candidates. [106598793 of 592215521] (ETC: Wed Nov  8 19:55:18 2023 ; 5 h 32 min 41 s 210.48 ms remaining ; 6 h 45 min 42 s 939.57 ms total)
Wed Nov  8 14:31:26 2023: Iterated ≈20% of D-proof candidates. [118443104 of 592215521] (ETC: Wed Nov  8 19:58:49 2023 ; 5 h 27 min 23 s 248.64 ms remaining ; 6 h 49 min 14 s  60.79 ms total)
Wed Nov  8 14:39:39 2023: Iterated ≈22% of D-proof candidates. [130287414 of 592215521] (ETC: Wed Nov  8 19:58:56 2023 ; 5 h 19 min 17 s 706.19 ms remaining ; 6 h 49 min 21 s 161.75 ms total)
Wed Nov  8 14:49:08 2023: Iterated ≈24% of D-proof candidates. [142131725 of 592215521] (ETC: Wed Nov  8 20:04:20 2023 ; 5 h 15 min 12 s 550.33 ms remaining ; 6 h 54 min 44 s 934.64 ms total)
Wed Nov  8 14:59:29 2023: Iterated ≈26% of D-proof candidates. [153976035 of 592215521] (ETC: Wed Nov  8 20:12:14 2023 ; 5 h 12 min 45 s 756.90 ms remaining ; 7 h  2 min 39 s 130.91 ms total)
Wed Nov  8 15:08:44 2023: Iterated ≈28% of D-proof candidates. [165820345 of 592215521] (ETC: Wed Nov  8 20:15:05 2023 ; 5 h  6 min 21 s 459.13 ms remaining ; 7 h  5 min 29 s 804.30 ms total)
Wed Nov  8 15:17:13 2023: Iterated ≈30% of D-proof candidates. [177664656 of 592215521] (ETC: Wed Nov  8 20:15:00 2023 ; 4 h 57 min 47 s 188.43 ms remaining ; 7 h  5 min 24 s 554.88 ms total)
Wed Nov  8 15:26:59 2023: Iterated ≈32% of D-proof candidates. [189508966 of 592215521] (ETC: Wed Nov  8 20:18:56 2023 ; 4 h 51 min 57 s  79.93 ms remaining ; 7 h  9 min 20 s 411.61 ms total)
Wed Nov  8 15:36:24 2023: Iterated ≈34% of D-proof candidates. [201353277 of 592215521] (ETC: Wed Nov  8 20:21:24 2023 ; 4 h 44 min 59 s 942.37 ms remaining ; 7 h 11 min 49 s   3.58 ms total)
Wed Nov  8 15:46:19 2023: Iterated ≈36% of D-proof candidates. [213197587 of 592215521] (ETC: Wed Nov  8 20:24:57 2023 ; 4 h 38 min 37 s 636.16 ms remaining ; 7 h 15 min 21 s 306.47 ms total)
Wed Nov  8 15:55:46 2023: Iterated ≈38% of D-proof candidates. [225041897 of 592215521] (ETC: Wed Nov  8 20:26:54 2023 ; 4 h 31 min  7 s 877.75 ms remaining ; 7 h 17 min 18 s 512.43 ms total)
Wed Nov  8 16:05:10 2023: Iterated ≈40% of D-proof candidates. [236886208 of 592215521] (ETC: Wed Nov  8 20:28:31 2023 ; 4 h 23 min 21 s 667.80 ms remaining ; 7 h 18 min 56 s 112.96 ms total)
Wed Nov  8 16:14:13 2023: Iterated ≈42% of D-proof candidates. [248730518 of 592215521] (ETC: Wed Nov  8 20:29:12 2023 ; 4 h 14 min 58 s 289.63 ms remaining ; 7 h 19 min 36 s 361.37 ms total)
Wed Nov  8 16:23:09 2023: Iterated ≈44% of D-proof candidates. [260574829 of 592215521] (ETC: Wed Nov  8 20:29:31 2023 ; 4 h  6 min 21 s 752.14 ms remaining ; 7 h 19 min 55 s 985.94 ms total)
Wed Nov  8 16:31:57 2023: Iterated ≈46% of D-proof candidates. [272419139 of 592215521] (ETC: Wed Nov  8 20:29:29 2023 ; 3 h 57 min 32 s 857.64 ms remaining ; 7 h 19 min 54 s 180.77 ms total)
Wed Nov  8 16:40:26 2023: Iterated ≈48% of D-proof candidates. [284263450 of 592215521] (ETC: Wed Nov  8 20:28:51 2023 ; 3 h 48 min 25 s 219.24 ms remaining ; 7 h 19 min 16 s 190.83 ms total)
Wed Nov  8 16:48:40 2023: Iterated ≈50% of D-proof candidates. [296107760 of 592215521] (ETC: Wed Nov  8 20:27:44 2023 ; 3 h 39 min  4 s 559.68 ms remaining ; 7 h 18 min  9 s 119.31 ms total)
Wed Nov  8 16:56:51 2023: Iterated ≈52% of D-proof candidates. [307952070 of 592215521] (ETC: Wed Nov  8 20:26:39 2023 ; 3 h 29 min 47 s 243.40 ms remaining ; 7 h 17 min  3 s 423.66 ms total)
Wed Nov  8 17:04:50 2023: Iterated ≈54% of D-proof candidates. [319796381 of 592215521] (ETC: Wed Nov  8 20:25:14 2023 ; 3 h 20 min 23 s 793.28 ms remaining ; 7 h 15 min 38 s 681.02 ms total)
Wed Nov  8 17:12:46 2023: Iterated ≈56% of D-proof candidates. [331640691 of 592215521] (ETC: Wed Nov  8 20:23:50 2023 ; 3 h 11 min  4 s 193.75 ms remaining ; 7 h 14 min 14 s 985.72 ms total)
Wed Nov  8 17:20:37 2023: Iterated ≈58% of D-proof candidates. [343485002 of 592215521] (ETC: Wed Nov  8 20:22:24 2023 ; 3 h  1 min 46 s 855.10 ms remaining ; 7 h 12 min 48 s 702.59 ms total)
Wed Nov  8 17:28:19 2023: Iterated ≈60% of D-proof candidates. [355329312 of 592215521] (ETC: Wed Nov  8 20:20:48 2023 ; 2 h 52 min 29 s 149.70 ms remaining ; 7 h 11 min 12 s 874.18 ms total)
Wed Nov  8 17:35:56 2023: Iterated ≈62% of D-proof candidates. [367173623 of 592215521] (ETC: Wed Nov  8 20:19:11 2023 ; 2 h 43 min 14 s 940.90 ms remaining ; 7 h  9 min 36 s 160.26 ms total)
Wed Nov  8 17:43:32 2023: Iterated ≈64% of D-proof candidates. [379017933 of 592215521] (ETC: Wed Nov  8 20:17:37 2023 ; 2 h 34 min  5 s 526.38 ms remaining ; 7 h  8 min  2 s  17.66 ms total)
Wed Nov  8 17:51:04 2023: Iterated ≈66% of D-proof candidates. [390862243 of 592215521] (ETC: Wed Nov  8 20:16:05 2023 ; 2 h 25 min      509.56 ms remaining ; 7 h  6 min 29 s 733.88 ms total)
Wed Nov  8 17:58:32 2023: Iterated ≈68% of D-proof candidates. [402706554 of 592215521] (ETC: Wed Nov  8 20:14:31 2023 ; 2 h 15 min 58 s 657.51 ms remaining ; 7 h  4 min 55 s 804.69 ms total)
Wed Nov  8 18:05:55 2023: Iterated ≈70% of D-proof candidates. [414550864 of 592215521] (ETC: Wed Nov  8 20:12:55 2023 ; 2 h  7 min       40.42 ms remaining ; 7 h  3 min 20 s 134.62 ms total)
Wed Nov  8 18:13:18 2023: Iterated ≈72% of D-proof candidates. [426395175 of 592215521] (ETC: Wed Nov  8 20:11:24 2023 ; 1 h 58 min  6 s 429.30 ms remaining ; 7 h  1 min 48 s 676.05 ms total)
Wed Nov  8 18:20:39 2023: Iterated ≈74% of D-proof candidates. [438239485 of 592215521] (ETC: Wed Nov  8 20:09:56 2023 ; 1 h 49 min 17 s 393.08 ms remaining ; 7 h        20 s 742.52 ms total)
Wed Nov  8 18:27:57 2023: Iterated ≈76% of D-proof candidates. [450083795 of 592215521] (ETC: Wed Nov  8 20:08:29 2023 ; 1 h 40 min 32 s 115.69 ms remaining ; 6 h 58 min 53 s 815.23 ms total)
Wed Nov  8 18:35:13 2023: Iterated ≈78% of D-proof candidates. [461928106 of 592215521] (ETC: Wed Nov  8 20:07:03 2023 ; 1 h 31 min 50 s 543.66 ms remaining ; 6 h 57 min 27 s 925.66 ms total)
Wed Nov  8 18:42:26 2023: Iterated ≈80% of D-proof candidates. [473772416 of 592215521] (ETC: Wed Nov  8 20:05:39 2023 ; 1 h 23 min 12 s 776.35 ms remaining ; 6 h 56 min  3 s 881.59 ms total)
Wed Nov  8 18:49:38 2023: Iterated ≈82% of D-proof candidates. [485616727 of 592215521] (ETC: Wed Nov  8 20:04:16 2023 ; 1 h 14 min 38 s 568.79 ms remaining ; 6 h 54 min 40 s 937.70 ms total)
Wed Nov  8 18:56:48 2023: Iterated ≈84% of D-proof candidates. [497461037 of 592215521] (ETC: Wed Nov  8 20:02:56 2023 ; 1 h  6 min  8 s  53.02 ms remaining ; 6 h 53 min 20 s 331.19 ms total)
Wed Nov  8 19:03:56 2023: Iterated ≈86% of D-proof candidates. [509305348 of 592215521] (ETC: Wed Nov  8 20:01:38 2023 ; 57 min 41 s 114.18 ms remaining ; 6 h 52 min  2 s 244.15 ms total)
Wed Nov  8 19:11:04 2023: Iterated ≈88% of D-proof candidates. [521149658 of 592215521] (ETC: Wed Nov  8 20:00:21 2023 ; 49 min 17 s 522.90 ms remaining ; 6 h 50 min 46 s  24.04 ms total)
Wed Nov  8 19:18:11 2023: Iterated ≈90% of D-proof candidates. [532993968 of 592215521] (ETC: Wed Nov  8 19:59:08 2023 ; 40 min 57 s 257.44 ms remaining ; 6 h 49 min 32 s 574.08 ms total)
Wed Nov  8 19:25:19 2023: Iterated ≈92% of D-proof candidates. [544838279 of 592215521] (ETC: Wed Nov  8 19:58:00 2023 ; 32 min 40 s 353.96 ms remaining ; 6 h 48 min 24 s 424.36 ms total)
Wed Nov  8 19:32:27 2023: Iterated ≈94% of D-proof candidates. [556682589 of 592215521] (ETC: Wed Nov  8 19:56:54 2023 ; 24 min 26 s 296.27 ms remaining ; 6 h 47 min 18 s 270.71 ms total)
Wed Nov  8 19:39:32 2023: Iterated ≈96% of D-proof candidates. [568526900 of 592215521] (ETC: Wed Nov  8 19:55:47 2023 ; 16 min 14 s 884.64 ms remaining ; 6 h 46 min 12 s 115.87 ms total)
Wed Nov  8 19:46:37 2023: Iterated ≈98% of D-proof candidates. [580371210 of 592215521] (ETC: Wed Nov  8 19:54:44 2023 ; 8 min  6 s 165.90 ms remaining ; 6 h 45 min  8 s 293.63 ms total)
Wed Nov  8 19:53:49 2023: Iterated 100% of D-proof candidates. [592215521 of 592215521] (ETC: Wed Nov  8 19:53:49 2023 ; 0.00 ms remaining ; 6 h 44 min 13 s 904.47 ms total)
24254631.94 ms (6 h 44 min 14 s 631.94 ms) taken to collect 50013506 D-proofs of length 159. [iterated 592215521 condensed detachment proof strings]
[Copy] Custom iteration counts: { { 1, 1 }, { 3, 1 }, { 5, 2 }, { 7, 3 }, { 9, 4 }, { 11, 7 }, { 13, 10 }, { 15, 13 }, { 17, 16 }, { 19, 26 }, { 21, 36 }, { 23, 42 }, { 25, 54 }, { 27, 80 }, { 29, 100 }, { 31, 126 }, { 33, 162 }, { 35, 221 }, { 37, 282 }, { 39, 359 }, { 41, 454 }, { 43, 615 }, { 45, 778 }, { 47, 1002 }, { 49, 1298 }, { 51, 1678 }, { 53, 2134 }, { 55, 2803 }, { 57, 3534 }, { 59, 4530 }, { 61, 5848 }, { 63, 7496 }, { 65, 9424 }, { 67, 12147 }, { 69, 15402 }, { 71, 19615 }, { 73, 24892 }, { 75, 31620 }, { 77, 39936 }, { 79, 50946 }, { 81, 64168 }, { 83, 81204 }, { 85, 102794 }, { 87, 130094 }, { 89, 163718 }, { 91, 207474 }, { 93, 261220 }, { 95, 329568 }, { 97, 415628 }, { 99, 524144 }, { 101, 658432 }, { 103, 831003 }, { 105, 1044792 }, { 107, 1313760 }, { 109, 1651616 }, { 111, 2077927 }, { 113, 2606646 }, { 115, 3277103 }, { 117, 4112052 }, { 119, 5160229 }, { 121, 6472942 }, { 123, 8122690 }, { 125, 10173684 }, { 127, 12760188 }, { 129, 15985436 }, { 131, 20022824 }, { 133, 25070468 }, { 135, 31402887 }, { 137, 39284338 }, { 139, 49176381 }, { 141, 61517174 }, { 143, 76945234 }, { 145, 96208206 }, { 147, 120320734 }, { 149, 150346484 }, { 151, 187924390 }, { 153, 234799156 }, { 155, 324945288 }, { 157, 440272080 }, { 159, 592215521 } }
401482.24 ms (6 min 41 s 482.24 ms) taken to filter and order new representative proofs.
Found 50013506 representative, 91773799 redundant, and 450428216 invalid condensed detachment proof strings.
lengths up to 159 ; amounts per length: {(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), (153,21395853), (155,28040847), (157,38836822), (159,50013506)} ; 50013506 new representative proofs (91773799 redundant, 450428216 invalid)
Wed Nov  8 20:04:58 2023: Starting to write 50013506 entries to data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs159-unfiltered153+.txt.
106059.43 ms (1 min 46 s 59.43 ms) taken to print and save 34641539688 bytes of representative condensed detachment proof strings to data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs159-unfiltered153+.txt.
Wed Nov  8 20:07:59 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 159, unfiltered]
Wed Nov  8 20:09:54 2023: Process terminated. [pid: 247674, tid:22984262813568]