-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
dProofs35_24node_1152cpu.log
292 lines (291 loc) · 37 KB
/
dProofs35_24node_1152cpu.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
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
( 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 24 CLAIX-2018 MPI nodes
— 2-socket Intel Xeon Platinum 8160 (Skylake) each, 24 cores each (48 cores total per node), 2.1 GHz, 3.7 GHz turbo mode, 192 GiB main memory each —
running Linux, Rocky 8.8. Initialization and completion messages with rank numbers have been grouped and sorted for better readability.
Wall-clock time: 1.159444… h
CPU utilization: 1335.68 core-h )
Sun Oct 1 16:45:47 2023: Process started. [pid: 228649, tid:22998547466112]
Sun Oct 1 16:45:47 2023: Process started. [pid: 234363, tid:22591939237760]
Sun Oct 1 16:45:47 2023: Process started. [pid: 84261, tid:22860240627584]
Sun Oct 1 16:45:47 2023: Process started. [pid: 35220, tid:22685525501824]
Sun Oct 1 16:45:47 2023: Process started. [pid: 187283, tid:22864822781824]
Sun Oct 1 16:45:47 2023: Process started. [pid: 105028, tid:23273241442176]
Sun Oct 1 16:45:47 2023: Process started. [pid: 35576, tid:22805727061888]
Sun Oct 1 16:45:47 2023: Process started. [pid: 246763, tid:22454131910528]
Sun Oct 1 16:45:47 2023: Process started. [pid: 57997, tid:23084387182464]
Sun Oct 1 16:45:47 2023: Process started. [pid: 6574, tid:23024706516864]
Sun Oct 1 16:45:47 2023: Process started. [pid: 18037, tid:22402781771648]
Sun Oct 1 16:45:47 2023: Process started. [pid: 7008, tid:22857423812480]
Sun Oct 1 16:45:47 2023: Process started. [pid: 263089, tid:23348674676608]
Sun Oct 1 16:45:47 2023: Process started. [pid: 67291, tid:22962512615296]
Sun Oct 1 16:45:47 2023: Process started. [pid: 5100, tid:22835948205952]
Sun Oct 1 16:45:47 2023: Process started. [pid: 86222, tid:23431558317952]
Sun Oct 1 16:45:47 2023: Process started. [pid: 26259, tid:23424586233728]
Sun Oct 1 16:45:48 2023: Process started. [pid: 111396, tid:22489123829632]
Sun Oct 1 16:45:48 2023: Process started. [pid: 64704, tid:22889056765824]
Sun Oct 1 16:45:48 2023: Process started. [pid: 102636, tid:23418362541952]
Sun Oct 1 16:45:48 2023: Process started. [pid: 39295, tid:23258271111040]
Sun Oct 1 16:45:48 2023: Process started. [pid: 161153, tid:22710435694464]
Sun Oct 1 16:45:48 2023: Process started. [pid: 252034, tid:22881635145600]
Sun Oct 1 16:45:48 2023: Process started. [pid: 183362, tid:22473511454592]
Tasks:
1. resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true)
2. mpi_filterDProofRepresentativeFile(35, true)
[Rank 0 ; pid: 102636 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff]
(1) C0CC1C0.2CCN2CCN3.4.1C3.2 - CpCCqCprCCNrCCNstqCsr - 0\imply((1\imply(0\imply2))\imply((\not2\imply((\not3\imply4)\imply1))\imply(3\imply2)))
[Rank 1 ; pid: 228649 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 2 ; pid: 252034 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 3 ; pid: 111396 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 4 ; pid: 64704 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 5 ; pid: 246763 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 6 ; pid: 35220 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 7 ; pid: 57997 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 8 ; pid: 84261 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 9 ; pid: 234363 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 10 ; pid: 39295 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 11 ; pid: 26259 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 12 ; pid: 35576 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 13 ; pid: 86222 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 14 ; pid: 187283 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 15 ; pid: 105028 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 16 ; pid: 263089 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 17 ; pid: 67291 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 18 ; pid: 183362 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 19 ; pid: 161153 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 20 ; pid: 6574 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 21 ; pid: 18037 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 22 ; pid: 7008 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 23 ; pid: 5100 ; 24 processes] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true), silently.
[Rank 0 ; pid: 102636 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 1 ; pid: 228649 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 2 ; pid: 252034 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 3 ; pid: 111396 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 4 ; pid: 64704 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 5 ; pid: 246763 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 6 ; pid: 35220 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 7 ; pid: 57997 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 8 ; pid: 84261 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 9 ; pid: 234363 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 10 ; pid: 39295 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 11 ; pid: 26259 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 12 ; pid: 35576 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 13 ; pid: 86222 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 14 ; pid: 187283 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 15 ; pid: 105028 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 16 ; pid: 263089 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 17 ; pid: 67291 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 18 ; pid: 183362 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 19 ; pid: 161153 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 20 ; pid: 6574 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 21 ; pid: 18037 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 22 ; pid: 7008 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
[Rank 23 ; pid: 5100 ; 24 processes] Calling mpi_filterDProofRepresentativeFile(35, true).
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 0 on "nrm081.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 1 on "nrm082.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 2 on "nrm084.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 3 on "nrm085.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 4 on "nrm087.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 5 on "nrm088.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 6 on "nrm089.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 7 on "nrm091.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 8 on "nrm092.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 9 on "nrm095.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 10 on "nrm096.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 11 on "nrm097.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 12 on "nrm098.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 13 on "nrm099.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 14 on "nrm100.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 15 on "nrm101.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 16 on "nrm102.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 17 on "nrm103.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 18 on "nrm104.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 19 on "nrm105.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 20 on "nrm107.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 21 on "nrm109.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 22 on "nrm110.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 16:45:48 2023: MPI-based D-proof representative filter started. [rank 23 on "nrm111.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
0.03 ms taken to load initial representatives.
16.00 ms taken to read 1 condensed detachment proof and conclusion from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs3.txt. [tid:23418187384576]
24.21 ms taken to read 2 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs5.txt. [tid:23418185283328]
15.91 ms taken to read 5 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs7.txt. [tid:23418183182080]
0.01 ms taken to read 10 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs9.txt. [tid:23418181080832]
18.23 ms taken to read 24 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs11.txt. [tid:23418178979584]
22.79 ms taken to read 57 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs13.txt. [tid:23417839417088]
27.97 ms taken to read 137 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs15.txt. [tid:23417703098112]
33.64 ms taken to read 339 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs17.txt. [tid:23417837315840]
37.27 ms taken to read 854 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs19.txt. [tid:23417835214592]
61.31 ms taken to read 2171 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs21.txt. [tid:23417833113344]
88.22 ms taken to read 5583 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs23.txt. [tid:23417831012096]
544.61 ms taken to read 14478 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs25.txt. [tid:23417828910848]
3231.30 ms (3 s 231.30 ms) taken to read 37874 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs27.txt. [tid:23417826809600]
331.58 ms taken to read 99756 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs29.txt. [tid:23417824708352]
945.52 ms taken to read 264466 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs31.txt. [tid:23417822607104]
1734.94 ms (1 s 734.94 ms) taken to read 705026 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs33.txt. [tid:23417820505856]
3242.14 ms (3 s 242.14 ms) total read duration.
Loaded 17 representative collections of sizes:
1 : 1
3 : 1
5 : 2
7 : 5
9 : 10
11 : 24
13 : 57
15 : 137
17 : 339
19 : 854
21 : 2171
23 : 5583
25 : 14478
27 : 37874
29 : 99756
31 : 264466
33 : 705026
1130784 representatives in total.
3888.17 ms (3 s 888.17 ms) taken to read 1907544 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:23417820505856]
3890.88 ms (3 s 890.88 ms) additional read duration.
Loaded 1 more representative collection of size:
35 : 1907544
3038328 representatives in total.
Sun Oct 1 16:45:56 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 18452, based on entry 33:7061 and last known pair (31:2702, 33:7061) with 7061/2702 ≈ 2.61325 and 7061 * (7061/2702)^1 ≈ 18452.15.
Sun Oct 1 16:45:56 2023: Inserted ≈ 5% of D-proof conclusions. [ 151916 of 3038328] (ETC: Sun Oct 1 16:46:05 2023 ; 8 s 623.06 ms remaining ; 9 s 76.90 ms total)
Sun Oct 1 16:45:57 2023: Inserted ≈10% of D-proof conclusions. [ 303832 of 3038328] (ETC: Sun Oct 1 16:46:06 2023 ; 8 s 917.04 ms remaining ; 9 s 907.82 ms total)
Sun Oct 1 16:45:58 2023: Inserted ≈15% of D-proof conclusions. [ 455749 of 3038328] (ETC: Sun Oct 1 16:46:06 2023 ; 8 s 953.32 ms remaining ; 10 s 533.31 ms total)
Sun Oct 1 16:45:58 2023: Inserted ≈20% of D-proof conclusions. [ 607665 of 3038328] (ETC: Sun Oct 1 16:46:06 2023 ; 8 s 215.67 ms remaining ; 10 s 269.59 ms total)
Sun Oct 1 16:45:58 2023: Inserted ≈25% of D-proof conclusions. [ 759582 of 3038328] (ETC: Sun Oct 1 16:46:06 2023 ; 7 s 462.14 ms remaining ; 9 s 949.52 ms total)
Sun Oct 1 16:45:59 2023: Inserted ≈30% of D-proof conclusions. [ 911498 of 3038328] (ETC: Sun Oct 1 16:46:05 2023 ; 6 s 650.54 ms remaining ; 9 s 500.77 ms total)
Sun Oct 1 16:45:59 2023: Inserted ≈35% of D-proof conclusions. [1063414 of 3038328] (ETC: Sun Oct 1 16:46:05 2023 ; 6 s 55.82 ms remaining ; 9 s 316.65 ms total)
Sun Oct 1 16:46:00 2023: Inserted ≈40% of D-proof conclusions. [1215331 of 3038328] (ETC: Sun Oct 1 16:46:05 2023 ; 5 s 352.83 ms remaining ; 8 s 921.38 ms total)
Sun Oct 1 16:46:00 2023: Inserted ≈45% of D-proof conclusions. [1367247 of 3038328] (ETC: Sun Oct 1 16:46:04 2023 ; 4 s 656.67 ms remaining ; 8 s 466.67 ms total)
Sun Oct 1 16:46:00 2023: Inserted ≈50% of D-proof conclusions. [1519164 of 3038328] (ETC: Sun Oct 1 16:46:04 2023 ; 4 s 30.60 ms remaining ; 8 s 61.20 ms total)
Sun Oct 1 16:46:00 2023: Inserted ≈55% of D-proof conclusions. [1671080 of 3038328] (ETC: Sun Oct 1 16:46:04 2023 ; 3 s 475.82 ms remaining ; 7 s 724.04 ms total)
Sun Oct 1 16:46:00 2023: Inserted ≈60% of D-proof conclusions. [1822996 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 2 s 997.23 ms remaining ; 7 s 493.06 ms total)
Sun Oct 1 16:46:01 2023: Inserted ≈65% of D-proof conclusions. [1974913 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 2 s 558.83 ms remaining ; 7 s 310.93 ms total)
Sun Oct 1 16:46:01 2023: Inserted ≈70% of D-proof conclusions. [2126829 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 2 s 179.83 ms remaining ; 7 s 266.09 ms total)
Sun Oct 1 16:46:01 2023: Inserted ≈75% of D-proof conclusions. [2278746 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 1 s 782.67 ms remaining ; 7 s 130.66 ms total)
Sun Oct 1 16:46:02 2023: Inserted ≈80% of D-proof conclusions. [2430662 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 1 s 395.49 ms remaining ; 6 s 977.46 ms total)
Sun Oct 1 16:46:02 2023: Inserted ≈85% of D-proof conclusions. [2582578 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 1 s 33.27 ms remaining ; 6 s 888.46 ms total)
Sun Oct 1 16:46:02 2023: Inserted ≈90% of D-proof conclusions. [2734495 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 687.84 ms remaining ; 6 s 878.42 ms total)
Sun Oct 1 16:46:03 2023: Inserted ≈95% of D-proof conclusions. [2886411 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 348.88 ms remaining ; 6 s 977.49 ms total)
Sun Oct 1 16:46:03 2023: Inserted 100% of D-proof conclusions. [3038328 of 3038328] (ETC: Sun Oct 1 16:46:03 2023 ; 0.00 ms remaining ; 7 s 106.15 ms total)
7106.25 ms (7 s 106.25 ms) total insertion duration.
Reservable workloads: { 0:[52988, 79480], 1:[132469, 158961], 2:[211950, 238442], 3:[291431, 317923], 4:[370912, 397404], 5:[450393, 476885], 6:[529874, 556366], 7:[609355, 635847], 8:[688836, 715328], 9:[768317, 794809], 10:[847798, 874290], 11:[927279, 953771], 12:[1006760, 1033252], 13:[1086241, 1112733], 14:[1165722, 1192214], 15:[1245203, 1271695], 16:[1324684, 1351176], 17:[1404165, 1430657], 18:[1483646, 1510138], 19:[1563127, 1589619], 20:[1642608, 1669100], 21:[1722089, 1748581], 22:[1801570, 1828062], 23:[1881051, 1907543] }
Sun Oct 1 16:47:09 2023: Removed ≈ 2% of redundant conclusions. [ 369 of approximately 18452] (ETC: Sun Oct 1 17:41:07 2023 ; 53 min 57 s 377.49 ms remaining ; 55 min 3 s 439.11 ms total)
Sun Oct 1 16:48:27 2023: Removed ≈ 4% of redundant conclusions. [ 738 of approximately 18452] (ETC: Sun Oct 1 17:46:03 2023 ; 57 min 36 s 119.59 ms remaining ; 1 h 108.31 ms total)
Sun Oct 1 16:49:40 2023: Removed ≈ 6% of redundant conclusions. [ 1107 of approximately 18452] (ETC: Sun Oct 1 17:46:22 2023 ; 56 min 41 s 681.14 ms remaining ; 1 h 18 s 784.69 ms total)
Sun Oct 1 16:50:53 2023: Removed ≈ 8% of redundant conclusions. [ 1476 of approximately 18452] (ETC: Sun Oct 1 17:46:23 2023 ; 55 min 30 s 416.56 ms remaining ; 1 h 19 s 983.88 ms total)
Sun Oct 1 16:52:07 2023: Removed ≈ 10% of redundant conclusions. [ 1845 of approximately 18452] (ETC: Sun Oct 1 17:46:38 2023 ; 54 min 30 s 973.15 ms remaining ; 1 h 34 s 370.85 ms total)
Sun Oct 1 16:53:22 2023: Removed ≈ 12% of redundant conclusions. [ 2214 of approximately 18452] (ETC: Sun Oct 1 17:47:03 2023 ; 53 min 40 s 891.56 ms remaining ; 1 h 1 min 49.95 ms total)
Sun Oct 1 16:54:41 2023: Removed ≈ 14% of redundant conclusions. [ 2583 of approximately 18452] (ETC: Sun Oct 1 17:47:40 2023 ; 52 min 59 s 414.69 ms remaining ; 1 h 1 min 36 s 928.59 ms total)
Sun Oct 1 16:55:57 2023: Removed ≈ 16% of redundant conclusions. [ 2952 of approximately 18452] (ETC: Sun Oct 1 17:47:57 2023 ; 51 min 59 s 701.22 ms remaining ; 1 h 1 min 53 s 853.35 ms total)
Sun Oct 1 16:57:11 2023: Removed ≈ 18% of redundant conclusions. [ 3321 of approximately 18452] (ETC: Sun Oct 1 17:47:55 2023 ; 50 min 43 s 533.92 ms remaining ; 1 h 1 min 51 s 538.42 ms total)
Sun Oct 1 16:58:26 2023: Removed ≈ 20% of redundant conclusions. [ 3690 of approximately 18452] (ETC: Sun Oct 1 17:47:59 2023 ; 49 min 32 s 656.80 ms remaining ; 1 h 1 min 55 s 720.31 ms total)
Sun Oct 1 16:59:44 2023: Removed ≈ 22% of redundant conclusions. [ 4059 of approximately 18452] (ETC: Sun Oct 1 17:48:14 2023 ; 48 min 29 s 894.80 ms remaining ; 1 h 2 min 10 s 520.31 ms total)
Sun Oct 1 17:00:58 2023: Removed ≈ 24% of redundant conclusions. [ 4428 of approximately 18452] (ETC: Sun Oct 1 17:48:13 2023 ; 47 min 14 s 383.52 ms remaining ; 1 h 2 min 9 s 324.36 ms total)
Sun Oct 1 17:02:10 2023: Removed ≈ 26% of redundant conclusions. [ 4797 of approximately 18452] (ETC: Sun Oct 1 17:48:03 2023 ; 45 min 52 s 461.78 ms remaining ; 1 h 1 min 59 s 401.30 ms total)
Sun Oct 1 17:03:27 2023: Removed ≈ 28% of redundant conclusions. [ 5166 of approximately 18452] (ETC: Sun Oct 1 17:48:10 2023 ; 44 min 43 s 495.72 ms remaining ; 1 h 2 min 6 s 920.30 ms total)
Sun Oct 1 17:04:37 2023: Removed ≈ 30% of redundant conclusions. [ 5535 of approximately 18452] (ETC: Sun Oct 1 17:47:55 2023 ; 43 min 18 s 197.66 ms remaining ; 1 h 1 min 51 s 538.54 ms total)
Sun Oct 1 17:05:56 2023: Removed ≈ 32% of redundant conclusions. [ 5904 of approximately 18452] (ETC: Sun Oct 1 17:48:12 2023 ; 42 min 15 s 372.56 ms remaining ; 1 h 2 min 8 s 298.88 ms total)
Sun Oct 1 17:07:12 2023: Removed ≈ 34% of redundant conclusions. [ 6273 of approximately 18452] (ETC: Sun Oct 1 17:48:16 2023 ; 41 min 3 s 426.67 ms remaining ; 1 h 2 min 12 s 256.25 ms total)
Sun Oct 1 17:08:26 2023: Removed ≈ 36% of redundant conclusions. [ 6642 of approximately 18452] (ETC: Sun Oct 1 17:48:13 2023 ; 39 min 47 s 270.63 ms remaining ; 1 h 2 min 9 s 882.95 ms total)
Sun Oct 1 17:09:45 2023: Removed ≈ 38% of redundant conclusions. [ 7011 of approximately 18452] (ETC: Sun Oct 1 17:48:24 2023 ; 38 min 39 s 660.43 ms remaining ; 1 h 2 min 21 s 139.26 ms total)
Sun Oct 1 17:10:53 2023: Removed ≈ 40% of redundant conclusions. [ 7380 of approximately 18452] (ETC: Sun Oct 1 17:48:09 2023 ; 37 min 15 s 624.83 ms remaining ; 1 h 2 min 5 s 772.16 ms total)
Sun Oct 1 17:12:13 2023: Removed ≈ 42% of redundant conclusions. [ 7749 of approximately 18452] (ETC: Sun Oct 1 17:48:20 2023 ; 36 min 7 s 507.11 ms remaining ; 1 h 2 min 16 s 787.94 ms total)
Sun Oct 1 17:13:17 2023: Removed ≈ 44% of redundant conclusions. [ 8118 of approximately 18452] (ETC: Sun Oct 1 17:47:58 2023 ; 34 min 40 s 224.49 ms remaining ; 1 h 1 min 54 s 370.25 ms total)
Sun Oct 1 17:14:40 2023: Removed ≈ 46% of redundant conclusions. [ 8487 of approximately 18452] (ETC: Sun Oct 1 17:48:15 2023 ; 33 min 35 s 408.29 ms remaining ; 1 h 2 min 11 s 893.00 ms total)
Sun Oct 1 17:15:53 2023: Removed ≈ 48% of redundant conclusions. [ 8856 of approximately 18452] (ETC: Sun Oct 1 17:48:11 2023 ; 32 min 18 s 776.03 ms remaining ; 1 h 2 min 8 s 42.45 ms total)
Sun Oct 1 17:17:04 2023: Removed ≈ 50% of redundant conclusions. [ 9226 of approximately 18452] (ETC: Sun Oct 1 17:48:05 2023 ; 31 min 999.72 ms remaining ; 1 h 2 min 1 s 999.44 ms total)
Sun Oct 1 17:18:20 2023: Removed ≈ 52% of redundant conclusions. [ 9595 of approximately 18452] (ETC: Sun Oct 1 17:48:09 2023 ; 29 min 48 s 136.17 ms remaining ; 1 h 2 min 5 s 266.86 ms total)
Sun Oct 1 17:19:37 2023: Removed ≈ 54% of redundant conclusions. [ 9964 of approximately 18452] (ETC: Sun Oct 1 17:48:13 2023 ; 28 min 35 s 763.26 ms remaining ; 1 h 2 min 9 s 884.97 ms total)
Sun Oct 1 17:20:50 2023: Removed ≈ 56% of redundant conclusions. [10333 of approximately 18452] (ETC: Sun Oct 1 17:48:09 2023 ; 27 min 19 s 398.17 ms remaining ; 1 h 2 min 5 s 849.86 ms total)
Sun Oct 1 17:22:04 2023: Removed ≈ 58% of redundant conclusions. [10702 of approximately 18452] (ETC: Sun Oct 1 17:48:09 2023 ; 26 min 4 s 696.38 ms remaining ; 1 h 2 min 5 s 390.66 ms total)
Sun Oct 1 17:23:15 2023: Removed ≈ 60% of redundant conclusions. [11071 of approximately 18452] (ETC: Sun Oct 1 17:48:03 2023 ; 24 min 47 s 947.96 ms remaining ; 1 h 1 min 59 s 769.11 ms total)
Sun Oct 1 17:24:29 2023: Removed ≈ 62% of redundant conclusions. [11440 of approximately 18452] (ETC: Sun Oct 1 17:48:02 2023 ; 23 min 33 s 341.69 ms remaining ; 1 h 1 min 59 s 192.93 ms total)
Sun Oct 1 17:25:47 2023: Removed ≈ 64% of redundant conclusions. [11809 of approximately 18452] (ETC: Sun Oct 1 17:48:08 2023 ; 22 min 21 s 51.13 ms remaining ; 1 h 2 min 4 s 985.00 ms total)
Sun Oct 1 17:27:02 2023: Removed ≈ 66% of redundant conclusions. [12178 of approximately 18452] (ETC: Sun Oct 1 17:48:08 2023 ; 21 min 6 s 472.67 ms remaining ; 1 h 2 min 4 s 729.64 ms total)
Sun Oct 1 17:28:19 2023: Removed ≈ 68% of redundant conclusions. [12547 of approximately 18452] (ETC: Sun Oct 1 17:48:13 2023 ; 19 min 53 s 527.66 ms remaining ; 1 h 2 min 9 s 546.54 ms total)
Sun Oct 1 17:29:57 2023: Removed ≈ 70% of redundant conclusions. [12916 of approximately 18452] (ETC: Sun Oct 1 17:48:45 2023 ; 18 min 48 s 676.39 ms remaining ; 1 h 2 min 41 s 982.80 ms total)
Sun Oct 1 17:31:27 2023: Removed ≈ 72% of redundant conclusions. [13285 of approximately 18452] (ETC: Sun Oct 1 17:49:06 2023 ; 17 min 39 s 261.73 ms remaining ; 1 h 3 min 2 s 755.47 ms total)
Sun Oct 1 17:32:46 2023: Removed ≈ 74% of redundant conclusions. [13654 of approximately 18452] (ETC: Sun Oct 1 17:49:10 2023 ; 16 min 24 s 763.51 ms remaining ; 1 h 3 min 7 s 173.03 ms total)
Sun Oct 1 17:34:01 2023: Removed ≈ 76% of redundant conclusions. [14023 of approximately 18452] (ETC: Sun Oct 1 17:49:10 2023 ; 15 min 8 s 812.84 ms remaining ; 1 h 3 min 6 s 275.57 ms total)
Sun Oct 1 17:35:12 2023: Removed ≈ 78% of redundant conclusions. [14392 of approximately 18452] (ETC: Sun Oct 1 17:49:04 2023 ; 13 min 51 s 899.91 ms remaining ; 1 h 3 min 841.65 ms total)
Sun Oct 1 17:36:20 2023: Removed ≈ 80% of redundant conclusions. [14761 of approximately 18452] (ETC: Sun Oct 1 17:48:55 2023 ; 12 min 34 s 382.33 ms remaining ; 1 h 2 min 51 s 298.49 ms total)
Sun Oct 1 17:37:37 2023: Removed ≈ 82% of redundant conclusions. [15130 of approximately 18452] (ETC: Sun Oct 1 17:48:56 2023 ; 11 min 19 s 224.18 ms remaining ; 1 h 2 min 52 s 740.69 ms total)
Sun Oct 1 17:38:51 2023: Removed ≈ 84% of redundant conclusions. [15499 of approximately 18452] (ETC: Sun Oct 1 17:48:54 2023 ; 10 min 3 s 530.26 ms remaining ; 1 h 2 min 51 s 195.50 ms total)
Sun Oct 1 17:39:59 2023: Removed ≈ 86% of redundant conclusions. [15868 of approximately 18452] (ETC: Sun Oct 1 17:48:46 2023 ; 8 min 46 s 985.26 ms remaining ; 1 h 2 min 43 s 131.63 ms total)
Sun Oct 1 17:41:18 2023: Removed ≈ 88% of redundant conclusions. [16237 of approximately 18452] (ETC: Sun Oct 1 17:48:50 2023 ; 7 min 32 s 174.27 ms remaining ; 1 h 2 min 46 s 825.98 ms total)
Sun Oct 1 17:42:31 2023: Removed ≈ 90% of redundant conclusions. [16606 of approximately 18452] (ETC: Sun Oct 1 17:48:48 2023 ; 6 min 16 s 626.50 ms remaining ; 1 h 2 min 44 s 632.81 ms total)
Sun Oct 1 17:44:04 2023: Removed ≈ 92% of redundant conclusions. [16975 of approximately 18452] (ETC: Sun Oct 1 17:49:07 2023 ; 5 min 2 s 848.95 ms remaining ; 1 h 3 min 3 s 458.89 ms total)
Sun Oct 1 17:45:24 2023: Removed ≈ 94% of redundant conclusions. [17344 of approximately 18452] (ETC: Sun Oct 1 17:49:11 2023 ; 3 min 47 s 466.35 ms remaining ; 1 h 3 min 8 s 94.84 ms total)
Sun Oct 1 17:46:44 2023: Removed ≈ 96% of redundant conclusions. [17713 of approximately 18452] (ETC: Sun Oct 1 17:49:16 2023 ; 2 min 31 s 903.44 ms remaining ; 1 h 3 min 12 s 858.27 ms total)
Sun Oct 1 17:48:15 2023: Removed ≈ 98% of redundant conclusions. [18082 of approximately 18452] (ETC: Sun Oct 1 17:49:32 2023 ; 1 min 16 s 364.79 ms remaining ; 1 h 3 min 28 s 332.47 ms total)
Sun Oct 1 17:49:55 2023: Removed ≈100% of redundant conclusions. [18452 of approximately 18452] (ETC: Sun Oct 1 17:49:55 2023 ; 0.00 ms remaining ; 1 h 3 min 51 s 485.70 ms total)
[Rank 13] Workload transfer approved. Starting to work on 0:[70650, 76537].
[Rank 10] Workload transfer approved. Starting to work on 0:[76538, 78499].
[Rank 3] Workload transfer approved. Starting to work on 1:[156019, 157980].
[Rank 16] Workload transfer approved. Starting to work on 2:[235500, 237461].
[Rank 23] Workload transfer approved. Starting to work on 7:[632905, 634866].
[Rank 14] Workload transfer approved. Starting to work on 11:[950829, 952790].
[Rank 5] Workload transfer approved. Starting to work on 15:[1268753, 1270714].
[Rank 10] Workload transfer approved. Starting to work on 1:[157981, 158961].
[Rank 18] Workload transfer approved. Starting to work on 2:[237462, 238442].
[Rank 3] Workload transfer approved. Starting to work on 4:[396424, 397404].
[Rank 8] Workload transfer approved. Starting to work on 11:[952791, 953771].
[Rank 2] Workload transfer approved. Starting to work on 15:[1270715, 1271695].
[Rank 0] Workload transfer approved. Starting to work on 17:[1429677, 1430657].
[Rank 15] Workload transfer approved. Starting to work on 21:[1747601, 1748581].
4139274.23 ms (1 h 8 min 59 s 274.23 ms) taken to detect 19094 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 1888450 representative and 19094 redundant condensed detachment proof strings.
[Copy] Removal count: { 35, 19094 }
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 1 on "nrm082.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 2 on "nrm084.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 3 on "nrm085.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 4 on "nrm087.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 5 on "nrm088.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 6 on "nrm089.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 7 on "nrm091.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 8 on "nrm092.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 9 on "nrm095.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 10 on "nrm096.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 11 on "nrm097.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 12 on "nrm098.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 13 on "nrm099.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 14 on "nrm100.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 15 on "nrm101.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 16 on "nrm102.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 17 on "nrm103.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 18 on "nrm104.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 19 on "nrm105.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 20 on "nrm107.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 21 on "nrm109.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 22 on "nrm110.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:02 2023: MPI-based D-proof representative filter complete. [rank 23 on "nrm111.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
5218.49 ms (5 s 218.49 ms) taken to filter and order new representative proofs.
Sun Oct 1 17:55:08 2023: Starting to write 1888450 entries to data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35.txt.
9178.25 ms (9 s 178.25 ms) taken to print and save 2972554245 bytes of representative condensed detachment proof strings to data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35.txt.
Sun Oct 1 17:55:17 2023: MPI-based D-proof representative filter complete. [rank 0 on "nrm081.hpc.itc.rwth-aachen.de" ; 24 processes ; 48 local hardware thread contexts]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 105028, tid:23273241442176]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 111396, tid:22489123829632]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 57997, tid:23084387182464]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 161153, tid:22710435694464]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 183362, tid:22473511454592]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 64704, tid:22889056765824]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 35220, tid:22685525501824]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 228649, tid:22998547466112]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 35576, tid:22805727061888]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 5100, tid:22835948205952]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 84261, tid:22860240627584]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 252034, tid:22881635145600]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 263089, tid:23348674676608]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 6574, tid:23024706516864]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 102636, tid:23418362541952]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 86222, tid:23431558317952]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 18037, tid:22402781771648]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 39295, tid:23258271111040]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 26259, tid:23424586233728]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 246763, tid:22454131910528]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 187283, tid:22864822781824]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 234363, tid:22591939237760]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 7008, tid:22857423812480]
Sun Oct 1 17:55:21 2023: Process terminated. [pid: 67291, tid:22962512615296]