163-153.log

( 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 
   ------------ ---------- ---------- ---------- -------- ---------- ---------- 
   40729403     optane_low         64  COMPLETED      0:0   01:15:04            
   40729403.ba+                    64  COMPLETED      0:0   01:15:04 530624364K 
   40729403.ex+                    64  COMPLETED      0:0   01:15:04          0 
  By 530624364 KiB = (530624364 / 1024^2) GiB = 506.042827606201171875 GiB, it used approximately 506.04 gibibytes of memory. )
Fri Nov 10 10:15:21 2023: Process started. [pid: 224188, tid:22894692132736]
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).
Fri Nov 10 10:15:21 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
0.33 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs13.txt. [tid:22894621378304]
0.33 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs17.txt. [tid:22894617175808]
1.48 ms taken to read 6 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs23.txt. [tid:22894610872064]
0.57 ms taken to read 108 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs49.txt. [tid:22894046328576]
2.38 ms taken to read 707 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs67.txt. [tid:22894027417344]
3.15 ms taken to read 28 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs39.txt. [tid:22894594062080]
0.13 ms taken to read 12 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs29.txt. [tid:22894604568320]
0.41 ms taken to read 303 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs59.txt. [tid:22894035822336]
0.42 ms taken to read 444 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs63.txt. [tid:22894031619840]
0.49 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs15.txt. [tid:22894619277056]
0.78 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs7.txt. [tid:22894627682048]
10.01 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs3.txt. [tid:22894631884544]
9.29 ms taken to read 1 condensed detachment proof and conclusion from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs5.txt. [tid:22894629783296]
17390.37 ms (17 s 390.37 ms) taken to read 4527348 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs151.txt. [tid:22894627682048]
7.46 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs9.txt. [tid:22894625580800]
6.92 ms taken to read 2 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs11.txt. [tid:22894623479552]
6908.77 ms (6 s 908.77 ms) taken to read 560926 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs131.txt. [tid:22894621378304]
16751.59 ms (16 s 751.59 ms) taken to read 3676539 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs149.txt. [tid:22894619277056]
9273.52 ms (9 s 273.52 ms) taken to read 693346 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs133.txt. [tid:22894617175808]
4.43 ms taken to read 5 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs19.txt. [tid:22894615074560]
8.33 ms taken to read 3 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs21.txt. [tid:22894612973312]
8940.07 ms (8 s 940.07 ms) taken to read 853090 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs135.txt. [tid:22894610872064]
0.51 ms taken to read 10 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs25.txt. [tid:22894608770816]
5.33 ms taken to read 7 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs27.txt. [tid:22894606669568]
14312.02 ms (14 s 312.02 ms) taken to read 1963944 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs143.txt. [tid:22894604568320]
1.52 ms taken to read 14 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs31.txt. [tid:22894602467072]
5.33 ms taken to read 17 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs33.txt. [tid:22894600365824]
4.78 ms taken to read 21 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs35.txt. [tid:22894598264576]
4.28 ms taken to read 30 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs37.txt. [tid:22894596163328]
13307.24 ms (13 s 307.24 ms) taken to read 1597383 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs141.txt. [tid:22894594062080]
14.04 ms taken to read 44 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs41.txt. [tid:22894054733568]
3.66 ms taken to read 56 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs43.txt. [tid:22894052632320]
9.86 ms taken to read 66 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs45.txt. [tid:22894050531072]
4.20 ms taken to read 80 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs47.txt. [tid:22894048429824]
9856.07 ms (9 s 856.07 ms) taken to read 1051251 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs137.txt. [tid:22894046328576]
2.36 ms taken to read 123 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs51.txt. [tid:22894044227328]
8.59 ms taken to read 168 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs53.txt. [tid:22894042126080]
9.02 ms taken to read 197 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs55.txt. [tid:22894040024832]
1.05 ms taken to read 241 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs57.txt. [tid:22894037923584]
15364.13 ms (15 s 364.13 ms) taken to read 2423655 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs145.txt. [tid:22894035822336]
7.73 ms taken to read 390 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs61.txt. [tid:22894033721088]
16332.82 ms (16 s 332.82 ms) taken to read 2983754 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs147.txt. [tid:22894031619840]
9.09 ms taken to read 570 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs65.txt. [tid:22894029518592]
13499.74 ms (13 s 499.74 ms) taken to read 1294413 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs139.txt. [tid:22894027417344]
444.48 ms taken to read 863 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs69.txt. [tid:22894025316096]
55.79 ms taken to read 1052 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs71.txt. [tid:22894023214848]
19.52 ms taken to read 1340 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs73.txt. [tid:22894021113600]
30.02 ms taken to read 1586 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs75.txt. [tid:22894019012352]
36.76 ms taken to read 1990 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs77.txt. [tid:22894016911104]
43.27 ms taken to read 2467 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs79.txt. [tid:22894014809856]
137.68 ms taken to read 3018 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs81.txt. [tid:22894012708608]
29.87 ms taken to read 3679 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs83.txt. [tid:22894010607360]
431.83 ms taken to read 4661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs85.txt. [tid:22894008506112]
627.67 ms taken to read 5632 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs87.txt. [tid:22894006404864]
488.93 ms taken to read 6994 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs89.txt. [tid:22894004303616]
311.80 ms taken to read 8637 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs91.txt. [tid:22894002202368]
49.12 ms taken to read 10677 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs93.txt. [tid:22894000101120]
61.89 ms taken to read 13008 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs95.txt. [tid:22893997999872]
76.91 ms taken to read 16295 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs97.txt. [tid:22893995898624]
753.04 ms taken to read 19833 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs99.txt. [tid:22893993797376]
1123.37 ms (1 s 123.37 ms) taken to read 24567 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs101.txt. [tid:22893991696128]
1264.21 ms (1 s 264.21 ms) taken to read 30296 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs103.txt. [tid:22892980991744]
1533.08 ms (1 s 533.08 ms) taken to read 37377 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs105.txt. [tid:22892978890496]
1624.21 ms (1 s 624.21 ms) taken to read 45724 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs107.txt. [tid:22892976789248]
1843.24 ms (1 s 843.24 ms) taken to read 56922 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs109.txt. [tid:22892974688000]
2255.21 ms (2 s 255.22 ms) taken to read 69661 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs111.txt. [tid:22892972586752]
2931.82 ms (2 s 931.82 ms) taken to read 85894 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs113.txt. [tid:22892970485504]
2977.12 ms (2 s 977.12 ms) taken to read 105871 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs115.txt. [tid:22892968384256]
5352.47 ms (5 s 352.48 ms) taken to read 130737 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs117.txt. [tid:22892966283008]
7975.61 ms (7 s 975.61 ms) taken to read 160270 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs119.txt. [tid:22892964181760]
5452.44 ms (5 s 452.44 ms) taken to read 198446 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs121.txt. [tid:22892962080512]
3911.91 ms (3 s 911.91 ms) taken to read 243740 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs123.txt. [tid:22892959979264]
4762.61 ms (4 s 762.61 ms) taken to read 300530 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs125.txt. [tid:22892957878016]
5384.12 ms (5 s 384.12 ms) taken to read 370216 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs127.txt. [tid:22892955776768]
5516.38 ms (5 s 516.38 ms) taken to read 456911 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs129.txt. [tid:22892953675520]
17548.94 ms (17 s 548.94 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.
151768.73 ms (2 min 31 s 768.73 ms) taken to read 21395853 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs153-unfiltered153+.txt. [tid:22892953675520]
153210.75 ms (2 min 33 s 210.75 ms) taken to read 28040847 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs155-unfiltered153+.txt. [tid:22892955776768]
184232.15 ms (3 min 4 s 232.15 ms) taken to read 38836822 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs157-unfiltered153+.txt. [tid:22892957878016]
205765.71 ms (3 min 25 s 765.71 ms) taken to read 50013506 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs159-unfiltered153+.txt. [tid:22892959979264]
243681.33 ms (4 min 3 s 681.33 ms) taken to read 78239557 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs161-unfiltered153+.txt. [tid:22892962080512]
262868.69 ms (4 min 22 s 868.69 ms) taken to read 101757325 condensed detachment proofs and conclusions from data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/dProofs-withConclusions/dProofs163-unfiltered153+.txt. [tid:22892964181760]
262894.24 ms (4 min 22 s 894.24 ms) additional read duration.
Loaded 6 more representative collections of sizes:
153 : 21395853
155 : 28040847
157 : 38836822
159 : 50013506
161 : 78239557
163 : 101757325
342332120 representatives in total.
Fri Nov 10 10:20:34 2023: Inserted ≈ 5% of D-proof conclusions. [ 17116606 of 342332120] (ETC: Fri Nov 10 10:30:55 2023 ; 10 min 21 s 354.23 ms remaining ; 10 min 54 s  57.08 ms total)
Fri Nov 10 10:21:06 2023: Inserted ≈10% of D-proof conclusions. [ 34233212 of 342332120] (ETC: Fri Nov 10 10:30:48 2023 ; 9 min 41 s 970.45 ms remaining ; 10 min 46 s 633.83 ms total)
Fri Nov 10 10:21:36 2023: Inserted ≈15% of D-proof conclusions. [ 51349818 of 342332120] (ETC: Fri Nov 10 10:30:31 2023 ; 8 min 55 s  35.37 ms remaining ; 10 min 29 s 453.38 ms total)
Fri Nov 10 10:22:08 2023: Inserted ≈20% of D-proof conclusions. [ 68466424 of 342332120] (ETC: Fri Nov 10 10:30:35 2023 ; 8 min 26 s 581.68 ms remaining ; 10 min 33 s 227.09 ms total)
Fri Nov 10 10:22:37 2023: Inserted ≈25% of D-proof conclusions. [ 85583030 of 342332120] (ETC: Fri Nov 10 10:30:26 2023 ; 7 min 48 s 633.41 ms remaining ; 10 min 24 s 844.55 ms total)
Fri Nov 10 10:23:12 2023: Inserted ≈30% of D-proof conclusions. [102699636 of 342332120] (ETC: Fri Nov 10 10:30:36 2023 ; 7 min 24 s 307.09 ms remaining ; 10 min 34 s 724.41 ms total)
Fri Nov 10 10:23:44 2023: Inserted ≈35% of D-proof conclusions. [119816242 of 342332120] (ETC: Fri Nov 10 10:30:36 2023 ; 6 min 52 s 715.33 ms remaining ; 10 min 34 s 946.66 ms total)
Fri Nov 10 10:24:14 2023: Inserted ≈40% of D-proof conclusions. [136932848 of 342332120] (ETC: Fri Nov 10 10:30:32 2023 ; 6 min 18 s 627.70 ms remaining ; 10 min 31 s  46.17 ms total)
Fri Nov 10 10:24:46 2023: Inserted ≈45% of D-proof conclusions. [154049454 of 342332120] (ETC: Fri Nov 10 10:30:33 2023 ; 5 min 47 s 503.97 ms remaining ; 10 min 31 s 825.41 ms total)
Fri Nov 10 10:25:21 2023: Inserted ≈50% of D-proof conclusions. [171166060 of 342332120] (ETC: Fri Nov 10 10:30:41 2023 ; 5 min 19 s 745.64 ms remaining ; 10 min 39 s 491.28 ms total)
Fri Nov 10 10:25:54 2023: Inserted ≈55% of D-proof conclusions. [188282666 of 342332120] (ETC: Fri Nov 10 10:30:43 2023 ; 4 min 48 s 870.41 ms remaining ; 10 min 41 s 934.25 ms total)
Fri Nov 10 10:26:31 2023: Inserted ≈60% of D-proof conclusions. [205399272 of 342332120] (ETC: Fri Nov 10 10:30:50 2023 ; 4 min 19 s 629.99 ms remaining ; 10 min 49 s  74.97 ms total)
Fri Nov 10 10:27:10 2023: Inserted ≈65% of D-proof conclusions. [222515878 of 342332120] (ETC: Fri Nov 10 10:31:01 2023 ; 3 min 51 s  54.33 ms remaining ; 11 min      155.22 ms total)
Fri Nov 10 10:27:59 2023: Inserted ≈70% of D-proof conclusions. [239632484 of 342332120] (ETC: Fri Nov 10 10:31:24 2023 ; 3 min 24 s 760.87 ms remaining ; 11 min 22 s 536.23 ms total)
Fri Nov 10 10:28:41 2023: Inserted ≈75% of D-proof conclusions. [256749090 of 342332120] (ETC: Fri Nov 10 10:31:35 2023 ; 2 min 53 s 319.80 ms remaining ; 11 min 33 s 279.20 ms total)
Fri Nov 10 10:29:21 2023: Inserted ≈80% of D-proof conclusions. [273865696 of 342332120] (ETC: Fri Nov 10 10:31:41 2023 ; 2 min 19 s 879.63 ms remaining ; 11 min 39 s 398.17 ms total)
Fri Nov 10 10:29:57 2023: Inserted ≈85% of D-proof conclusions. [290982302 of 342332120] (ETC: Fri Nov 10 10:31:42 2023 ; 1 min 45 s 153.71 ms remaining ; 11 min 41 s  24.70 ms total)
Fri Nov 10 10:30:37 2023: Inserted ≈90% of D-proof conclusions. [308098908 of 342332120] (ETC: Fri Nov 10 10:31:48 2023 ; 1 min 10 s 662.97 ms remaining ; 11 min 46 s 629.72 ms total)
Fri Nov 10 10:31:25 2023: Inserted ≈95% of D-proof conclusions. [325215514 of 342332120] (ETC: Fri Nov 10 10:32:01 2023 ; 36 s   7.14 ms remaining ; 12 min      142.88 ms total)
Fri Nov 10 10:32:26 2023: Inserted 100% of D-proof conclusions. [342332120 of 342332120] (ETC: Fri Nov 10 10:32:26 2023 ; 0.00 ms remaining ; 12 min 24 s 583.69 ms total)
744584.65 ms (12 min 24 s 584.65 ms) total insertion duration.
Fri Nov 10 10:32:26 2023: Starting to iterate D-proof candidates of length 165.
2364078.90 ms (39 min 24 s 78.90 ms) taken to iterate 1480315260 condensed detachment proof strings of length 165.
[Copy] Next iteration count (unfiltered153+): { 165, 1480315260 }
Fri Nov 10 11:11:50 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Fri Nov 10 11:29:57 2023: Process terminated. [pid: 224188, tid:22894692132736]