forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path169-153.log
224 lines (223 loc) · 24.4 KB
/
169-153.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
( 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]