forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dProofs39-unfiltered35+_64cpu.log
132 lines (131 loc) · 18.5 KB
/
dProofs39-unfiltered35+_64cpu.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
( 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: 71.3591666… h
CPU utilization: 4566.98666… core-h )
Fri Oct 27 13:52:18 2023: Process started. [pid: 104235, tid:23071174027136]
Tasks:
1. generateDProofRepresentativeFiles(39, false, true)
[Main] Calling generateDProofRepresentativeFiles(39, false, true).
Fri Oct 27 13:52:18 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 39, unfiltered]
0.20 ms taken to load built-in representatives.
806.68 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:23071121508096]
62.78 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:23071119406848]
92.11 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:23071117305600]
540.07 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:23071115204352]
3852.42 ms (3 s 852.42 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:23071113103104]
1930.38 ms (1 s 930.38 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:23071111001856]
3150.98 ms (3 s 150.98 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:23071108900608]
6173.66 ms (6 s 173.66 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:23071106799360]
13053.66 ms (13 s 53.66 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:23071104698112]
13077.81 ms (13 s 77.81 ms) total read duration.
Loaded 17 representative collections of sizes:
1 : 3
3 : 6
5 : 12
7 : 38
9 : 89
11 : 229
13 : 672
15 : 1844
17 : 5221
19 : 15275
21 : 44206
23 : 129885
25 : 385789
27 : 1149058
29 : 3449251
31 : 10411430
33 : 31559297
47152305 representatives in total.
62615.53 ms (1 min 2 s 615.52 ms) taken to read 121473262 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:23071104698112]
172915.09 ms (2 min 52 s 915.09 ms) taken to read 424088648 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs37-unfiltered35+.txt. [tid:23071106799360]
172922.94 ms (2 min 52 s 922.94 ms) additional read duration.
Loaded 2 more representative collections of sizes:
35 : 121473262
37 : 424088648
592714215 representatives in total.
Fri Oct 27 13:56:06 2023: Inserted ≈ 5% of D-proof conclusions. [ 29635710 of 592714215] (ETC: Fri Oct 27 14:09:16 2023 ; 13 min 10 s 339.89 ms remaining ; 13 min 51 s 936.72 ms total)
Fri Oct 27 13:56:48 2023: Inserted ≈10% of D-proof conclusions. [ 59271421 of 592714215] (ETC: Fri Oct 27 14:09:23 2023 ; 12 min 34 s 615.13 ms remaining ; 13 min 58 s 461.26 ms total)
Fri Oct 27 13:57:25 2023: Inserted ≈15% of D-proof conclusions. [ 88907132 of 592714215] (ETC: Fri Oct 27 14:08:48 2023 ; 11 min 23 s 23.87 ms remaining ; 13 min 23 s 557.49 ms total)
Fri Oct 27 13:58:03 2023: Inserted ≈20% of D-proof conclusions. [118542843 of 592714215] (ETC: Fri Oct 27 14:08:37 2023 ; 10 min 33 s 934.48 ms remaining ; 13 min 12 s 418.10 ms total)
Fri Oct 27 13:58:44 2023: Inserted ≈25% of D-proof conclusions. [148178553 of 592714215] (ETC: Fri Oct 27 14:08:44 2023 ; 10 min 116.11 ms remaining ; 13 min 20 s 154.81 ms total)
Fri Oct 27 13:59:27 2023: Inserted ≈30% of D-proof conclusions. [177814264 of 592714215] (ETC: Fri Oct 27 14:08:54 2023 ; 9 min 26 s 801.42 ms remaining ; 13 min 29 s 716.31 ms total)
Fri Oct 27 14:00:07 2023: Inserted ≈35% of D-proof conclusions. [207449975 of 592714215] (ETC: Fri Oct 27 14:08:52 2023 ; 8 min 45 s 155.33 ms remaining ; 13 min 27 s 931.27 ms total)
Fri Oct 27 14:00:51 2023: Inserted ≈40% of D-proof conclusions. [237085686 of 592714215] (ETC: Fri Oct 27 14:09:01 2023 ; 8 min 9 s 934.82 ms remaining ; 13 min 36 s 558.02 ms total)
Fri Oct 27 14:01:42 2023: Inserted ≈45% of D-proof conclusions. [266721396 of 592714215] (ETC: Fri Oct 27 14:09:24 2023 ; 7 min 41 s 840.98 ms remaining ; 13 min 59 s 710.87 ms total)
Fri Oct 27 14:02:33 2023: Inserted ≈50% of D-proof conclusions. [296357107 of 592714215] (ETC: Fri Oct 27 14:09:41 2023 ; 7 min 8 s 556.52 ms remaining ; 14 min 17 s 113.05 ms total)
Fri Oct 27 14:03:23 2023: Inserted ≈55% of D-proof conclusions. [325992818 of 592714215] (ETC: Fri Oct 27 14:09:55 2023 ; 6 min 31 s 871.89 ms remaining ; 14 min 30 s 826.41 ms total)
Fri Oct 27 14:04:12 2023: Inserted ≈60% of D-proof conclusions. [355628529 of 592714215] (ETC: Fri Oct 27 14:10:05 2023 ; 5 min 52 s 180.14 ms remaining ; 14 min 40 s 450.34 ms total)
Fri Oct 27 14:05:04 2023: Inserted ≈65% of D-proof conclusions. [385264239 of 592714215] (ETC: Fri Oct 27 14:10:16 2023 ; 5 min 12 s 300.63 ms remaining ; 14 min 52 s 287.50 ms total)
Fri Oct 27 14:05:51 2023: Inserted ≈70% of D-proof conclusions. [414899950 of 592714215] (ETC: Fri Oct 27 14:10:19 2023 ; 4 min 28 s 527.07 ms remaining ; 14 min 55 s 90.24 ms total)
Fri Oct 27 14:06:33 2023: Inserted ≈75% of D-proof conclusions. [444535661 of 592714215] (ETC: Fri Oct 27 14:10:15 2023 ; 3 min 42 s 805.58 ms remaining ; 14 min 51 s 222.30 ms total)
Fri Oct 27 14:07:10 2023: Inserted ≈80% of D-proof conclusions. [474171372 of 592714215] (ETC: Fri Oct 27 14:10:07 2023 ; 2 min 56 s 498.20 ms remaining ; 14 min 42 s 490.98 ms total)
Fri Oct 27 14:07:49 2023: Inserted ≈85% of D-proof conclusions. [503807082 of 592714215] (ETC: Fri Oct 27 14:10:01 2023 ; 2 min 11 s 526.72 ms remaining ; 14 min 36 s 844.77 ms total)
Fri Oct 27 14:08:29 2023: Inserted ≈90% of D-proof conclusions. [533442793 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 1 min 27 s 189.69 ms remaining ; 14 min 31 s 896.93 ms total)
Fri Oct 27 14:09:13 2023: Inserted ≈95% of D-proof conclusions. [563078504 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 43 s 608.93 ms remaining ; 14 min 32 s 178.62 ms total)
Fri Oct 27 14:09:56 2023: Inserted 100% of D-proof conclusions. [592714215 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 0.00 ms remaining ; 14 min 32 s 376.84 ms total)
872377.03 ms (14 min 32 s 377.03 ms) total insertion duration.
Known iteration count loaded from 39:8383579055.
Fri Oct 27 14:09:56 2023: Starting to generate D-proof representatives of length 39.
Fri Oct 27 15:27:55 2023: Iterated ≈ 2% of D-proof candidates. [ 167671581 of 8383579055] (ETC: Mon Oct 30 06:08:56 2023 ; 2 d 15 h 41 min 1 s 224.20 ms remaining ; 2 d 16 h 59 min 24.69 ms total)
Fri Oct 27 17:00:39 2023: Iterated ≈ 4% of D-proof candidates. [ 335343162 of 8383579055] (ETC: Mon Oct 30 12:17:46 2023 ; 2 d 20 h 17 min 6 s 379.88 ms remaining ; 2 d 23 h 7 min 49 s 145.70 ms total)
Fri Oct 27 18:23:03 2023: Iterated ≈ 6% of D-proof candidates. [ 503014743 of 8383579055] (ETC: Mon Oct 30 11:28:28 2023 ; 2 d 18 h 5 min 25 s 181.01 ms remaining ; 2 d 22 h 18 min 31 s 894.68 ms total)
Fri Oct 27 20:16:27 2023: Iterated ≈ 8% of D-proof candidates. [ 670686324 of 8383579055] (ETC: Mon Oct 30 17:31:19 2023 ; 2 d 22 h 14 min 52 s 322.98 ms remaining ; 3 d 4 h 21 min 22 s 959.75 ms total)
Fri Oct 27 21:54:27 2023: Iterated ≈10% of D-proof candidates. [ 838357905 of 8383579055] (ETC: Mon Oct 30 18:34:52 2023 ; 2 d 21 h 40 min 26 s 29.05 ms remaining ; 3 d 5 h 24 min 55 s 587.82 ms total)
Fri Oct 27 23:22:20 2023: Iterated ≈12% of D-proof candidates. [1006029486 of 8383579055] (ETC: Mon Oct 30 17:53:11 2023 ; 2 d 19 h 30 min 51 s 459.17 ms remaining ; 3 d 4 h 43 min 14 s 839.94 ms total)
Sat Oct 28 00:46:09 2023: Iterated ≈14% of D-proof candidates. [1173701067 of 8383579055] (ETC: Mon Oct 30 16:54:19 2023 ; 2 d 17 h 8 min 9 s 754.93 ms remaining ; 3 d 3 h 44 min 22 s 505.70 ms total)
Sat Oct 28 02:07:34 2023: Iterated ≈16% of D-proof candidates. [1341372648 of 8383579055] (ETC: Mon Oct 30 15:55:07 2023 ; 2 d 14 h 47 min 32 s 477.72 ms remaining ; 3 d 2 h 45 min 10 s 92.49 ms total)
Sat Oct 28 03:40:48 2023: Iterated ≈18% of D-proof candidates. [1509044229 of 8383579055] (ETC: Mon Oct 30 16:14:44 2023 ; 2 d 13 h 33 min 55 s 940.66 ms remaining ; 3 d 3 h 4 min 47 s 732.47 ms total)
Sat Oct 28 05:04:44 2023: Iterated ≈20% of D-proof candidates. [1676715811 of 8383579055] (ETC: Mon Oct 30 15:43:54 2023 ; 2 d 11 h 39 min 10 s 351.90 ms remaining ; 3 d 2 h 33 min 57 s 939.87 ms total)
Sat Oct 28 06:49:58 2023: Iterated ≈22% of D-proof candidates. [1844387392 of 8383579055] (ETC: Mon Oct 30 16:55:32 2023 ; 2 d 11 h 5 min 33 s 867.24 ms remaining ; 3 d 3 h 45 min 35 s 727.22 ms total)
Sat Oct 28 08:16:59 2023: Iterated ≈24% of D-proof candidates. [2012058973 of 8383579055] (ETC: Mon Oct 30 16:39:17 2023 ; 2 d 9 h 22 min 18 s 261.28 ms remaining ; 3 d 3 h 29 min 20 s 870.10 ms total)
Sat Oct 28 09:43:24 2023: Iterated ≈26% of D-proof candidates. [2179730554 of 8383579055] (ETC: Mon Oct 30 16:23:15 2023 ; 2 d 7 h 39 min 51 s 188.03 ms remaining ; 3 d 3 h 13 min 18 s 902.73 ms total)
Sat Oct 28 11:07:53 2023: Iterated ≈28% of D-proof candidates. [2347402135 of 8383579055] (ETC: Mon Oct 30 16:02:37 2023 ; 2 d 5 h 54 min 43 s 363.93 ms remaining ; 3 d 2 h 52 min 40 s 227.66 ms total)
Sat Oct 28 12:24:04 2023: Iterated ≈30% of D-proof candidates. [2515073716 of 8383579055] (ETC: Mon Oct 30 15:17:03 2023 ; 2 d 3 h 52 min 58 s 621.94 ms remaining ; 3 d 2 h 7 min 6 s 602.75 ms total)
Sat Oct 28 13:48:12 2023: Iterated ≈32% of D-proof candidates. [2682745297 of 8383579055] (ETC: Mon Oct 30 15:01:58 2023 ; 2 d 2 h 13 min 46 s 857.42 ms remaining ; 3 d 1 h 52 min 1 s 849.12 ms total)
Sat Oct 28 15:14:29 2023: Iterated ≈34% of D-proof candidates. [2850416878 of 8383579055] (ETC: Mon Oct 30 14:55:04 2023 ; 2 d 40 min 35 s 91.33 ms remaining ; 3 d 1 h 45 min 7 s 714.10 ms total)
Sat Oct 28 16:41:10 2023: Iterated ≈36% of D-proof candidates. [3018088459 of 8383579055] (ETC: Mon Oct 30 14:50:01 2023 ; 1 d 23 h 8 min 50 s 702.42 ms remaining ; 3 d 1 h 40 min 4 s 222.49 ms total)
Sat Oct 28 18:09:10 2023: Iterated ≈38% of D-proof candidates. [3185760040 of 8383579055] (ETC: Mon Oct 30 14:48:58 2023 ; 1 d 21 h 39 min 47 s 760.78 ms remaining ; 3 d 1 h 39 min 1 s 549.60 ms total)
Sat Oct 28 19:33:14 2023: Iterated ≈40% of D-proof candidates. [3353431622 of 8383579055] (ETC: Mon Oct 30 14:38:09 2023 ; 1 d 20 h 4 min 55 s 576.28 ms remaining ; 3 d 1 h 28 min 12 s 627.13 ms total)
Sat Oct 28 20:57:20 2023: Iterated ≈42% of D-proof candidates. [3521103203 of 8383579055] (ETC: Mon Oct 30 14:28:30 2023 ; 1 d 18 h 31 min 9 s 809.18 ms remaining ; 3 d 1 h 18 min 33 s 464.09 ms total)
Sat Oct 28 22:26:17 2023: Iterated ≈44% of D-proof candidates. [3688774784 of 8383579055] (ETC: Mon Oct 30 14:30:42 2023 ; 1 d 17 h 4 min 25 s 563.09 ms remaining ; 3 d 1 h 20 min 45 s 648.36 ms total)
Sat Oct 28 23:40:49 2023: Iterated ≈46% of D-proof candidates. [3856446365 of 8383579055] (ETC: Mon Oct 30 14:01:25 2023 ; 1 d 15 h 20 min 35 s 819.19 ms remaining ; 3 d 51 min 28 s 554.03 ms total)
Sun Oct 29 00:50:57 2023: Iterated ≈48% of D-proof candidates. [4024117946 of 8383579055] (ETC: Mon Oct 30 13:25:22 2023 ; 1 d 13 h 34 min 25 s 168.05 ms remaining ; 3 d 15 min 25 s 323.15 ms total)
Sun Oct 29 02:07:58 2023: Iterated ≈50% of D-proof candidates. [4191789527 of 8383579055] (ETC: Mon Oct 30 13:06:00 2023 ; 1 d 11 h 58 min 1 s 938.74 ms remaining ; 2 d 23 h 56 min 3 s 877.45 ms total)
Sun Oct 29 02:30:40 2023: Iterated ≈52% of D-proof candidates. [4359461108 of 8383579055] (ETC: Mon Oct 30 12:59:02 2023 ; 1 d 10 h 28 min 21 s 767.91 ms remaining ; 2 d 23 h 49 min 5 s 349.78 ms total)
Sun Oct 29 03:56:04 2023: Iterated ≈54% of D-proof candidates. [4527132689 of 8383579055] (ETC: Mon Oct 30 12:57:34 2023 ; 1 d 9 h 1 min 30 s 673.88 ms remaining ; 2 d 23 h 47 min 37 s 986.66 ms total)
Sun Oct 29 05:12:34 2023: Iterated ≈56% of D-proof candidates. [4694804270 of 8383579055] (ETC: Mon Oct 30 12:40:21 2023 ; 1 d 7 h 27 min 46 s 892.58 ms remaining ; 2 d 23 h 30 min 24 s 755.81 ms total)
Sun Oct 29 06:23:59 2023: Iterated ≈58% of D-proof candidates. [4862475851 of 8383579055] (ETC: Mon Oct 30 12:15:32 2023 ; 1 d 5 h 51 min 32 s 785.44 ms remaining ; 2 d 23 h 5 min 35 s 203.36 ms total)
Sun Oct 29 07:37:25 2023: Iterated ≈60% of D-proof candidates. [5030147433 of 8383579055] (ETC: Mon Oct 30 11:55:45 2023 ; 1 d 4 h 18 min 19 s 325.18 ms remaining ; 2 d 22 h 45 min 48 s 312.96 ms total)
Sun Oct 29 08:50:49 2023: Iterated ≈62% of D-proof candidates. [5197819014 of 8383579055] (ETC: Mon Oct 30 11:37:10 2023 ; 1 d 2 h 46 min 20 s 691.90 ms remaining ; 2 d 22 h 27 min 13 s 399.74 ms total)
Sun Oct 29 10:05:55 2023: Iterated ≈64% of D-proof candidates. [5365490595 of 8383579055] (ETC: Mon Oct 30 11:22:25 2023 ; 1 d 1 h 16 min 29 s 395.17 ms remaining ; 2 d 22 h 12 min 28 s 319.89 ms total)
Sun Oct 29 11:12:15 2023: Iterated ≈66% of D-proof candidates. [5533162176 of 8383579055] (ETC: Mon Oct 30 10:55:16 2023 ; 23 h 43 min 536.33 ms remaining ; 2 d 21 h 45 min 19 s 224.48 ms total)
Sun Oct 29 12:20:25 2023: Iterated ≈68% of D-proof candidates. [5700833757 of 8383579055] (ETC: Mon Oct 30 10:32:24 2023 ; 22 h 11 min 59 s 232.39 ms remaining ; 2 d 21 h 22 min 27 s 601.18 ms total)
Sun Oct 29 13:29:56 2023: Iterated ≈70% of D-proof candidates. [5868505338 of 8383579055] (ETC: Mon Oct 30 10:12:47 2023 ; 20 h 42 min 51 s 225.40 ms remaining ; 2 d 21 h 2 min 50 s 751.27 ms total)
Sun Oct 29 14:39:42 2023: Iterated ≈72% of D-proof candidates. [6036176919 of 8383579055] (ETC: Mon Oct 30 09:54:37 2023 ; 19 h 14 min 54 s 469.90 ms remaining ; 2 d 20 h 44 min 40 s 249.57 ms total)
Sun Oct 29 15:43:09 2023: Iterated ≈74% of D-proof candidates. [6203848500 of 8383579055] (ETC: Mon Oct 30 09:28:52 2023 ; 17 h 45 min 43 s 211.33 ms remaining ; 2 d 20 h 18 min 55 s 428.10 ms total)
Sun Oct 29 16:48:35 2023: Iterated ≈76% of D-proof candidates. [6371520081 of 8383579055] (ETC: Mon Oct 30 09:07:06 2023 ; 16 h 18 min 31 s 1.36 ms remaining ; 2 d 19 h 57 min 9 s 172.22 ms total)
Sun Oct 29 17:53:53 2023: Iterated ≈78% of D-proof candidates. [6539191662 of 8383579055] (ETC: Mon Oct 30 08:46:16 2023 ; 14 h 52 min 23 s 537.65 ms remaining ; 2 d 19 h 36 min 19 s 716.47 ms total)
Sun Oct 29 18:55:53 2023: Iterated ≈80% of D-proof candidates. [6706863244 of 8383579055] (ETC: Mon Oct 30 08:22:22 2023 ; 13 h 26 min 29 s 183.91 ms remaining ; 2 d 19 h 12 min 25 s 919.56 ms total)
Sun Oct 29 19:58:41 2023: Iterated ≈82% of D-proof candidates. [6874534825 of 8383579055] (ETC: Mon Oct 30 08:00:36 2023 ; 12 h 1 min 55 s 191.40 ms remaining ; 2 d 18 h 50 min 39 s 952.22 ms total)
Sun Oct 29 21:01:06 2023: Iterated ≈84% of D-proof candidates. [7042206406 of 8383579055] (ETC: Mon Oct 30 07:39:25 2023 ; 10 h 38 min 18 s 907.83 ms remaining ; 2 d 18 h 29 min 28 s 173.92 ms total)
Sun Oct 29 22:00:59 2023: Iterated ≈86% of D-proof candidates. [7209877987 of 8383579055] (ETC: Mon Oct 30 07:16:16 2023 ; 9 h 15 min 17 s 138.61 ms remaining ; 2 d 18 h 6 min 19 s 561.46 ms total)
Sun Oct 29 23:01:41 2023: Iterated ≈88% of D-proof candidates. [7377549568 of 8383579055] (ETC: Mon Oct 30 06:55:06 2023 ; 7 h 53 min 25 s 146.96 ms remaining ; 2 d 17 h 45 min 9 s 557.87 ms total)
Mon Oct 30 00:02:21 2023: Iterated ≈90% of D-proof candidates. [7545221149 of 8383579055] (ETC: Mon Oct 30 06:34:51 2023 ; 6 h 32 min 29 s 422.33 ms remaining ; 2 d 17 h 24 min 54 s 223.18 ms total)
Mon Oct 30 01:01:28 2023: Iterated ≈92% of D-proof candidates. [7712892730 of 8383579055] (ETC: Mon Oct 30 06:13:46 2023 ; 5 h 12 min 18 s 364.20 ms remaining ; 2 d 17 h 3 min 49 s 552.31 ms total)
Mon Oct 30 02:00:57 2023: Iterated ≈94% of D-proof candidates. [7880564311 of 8383579055] (ETC: Mon Oct 30 05:54:00 2023 ; 3 h 53 min 2 s 582.55 ms remaining ; 2 d 16 h 44 min 3 s 42.24 ms total)
Mon Oct 30 03:00:29 2023: Iterated ≈96% of D-proof candidates. [8048235892 of 8383579055] (ETC: Mon Oct 30 05:35:06 2023 ; 2 h 34 min 36 s 369.25 ms remaining ; 2 d 16 h 25 min 9 s 230.63 ms total)
Mon Oct 30 03:59:34 2023: Iterated ≈98% of D-proof candidates. [8215907473 of 8383579055] (ETC: Mon Oct 30 05:16:29 2023 ; 1 h 16 min 55 s 860.08 ms remaining ; 2 d 16 h 6 min 33 s 2.82 ms total)
Mon Oct 30 04:57:57 2023: Iterated 100% of D-proof candidates. [8383579055 of 8383579055] (ETC: Mon Oct 30 04:57:57 2023 ; 0.00 ms remaining ; 2 d 15 h 48 min 556.60 ms total)
229692076.46 ms (2 d 15 h 48 min 12 s 76.46 ms) taken to collect 1413629510 D-proofs of length 39. [iterated 8383579055 condensed detachment proof strings]
[Copy] Static filtered iteration counts: { { 1, 3 }, { 3, 9 }, { 5, 36 }, { 7, 108 }, { 9, 372 }, { 11, 1134 }, { 13, 3354 }, { 15, 10360 }, { 17, 31388 }, { 19, 94907 }, { 21, 290392 }, { 23, 886041 }, { 25, 2709186 }, { 27, 8320672 }, { 29, 25589216 }, { 31, 78896376 }, { 33, 243907474 }, { 35, 755567051 } }
[Copy] Static unfiltered iteration counts: { 35, { { 37, 2497890936 }, { 39, 8383579055 } } },
15374822.23 ms (4 h 16 min 14 s 822.23 ms) taken to filter and order new representative proofs.
Found 1413629510 representative, 3273371746 redundant, and 3696577799 invalid condensed detachment proof strings.
lengths up to 39 ; amounts per length: {(1,3), (3,6), (5,12), (7,38), (9,89), (11,229), (13,672), (15,1844), (17,5221), (19,15275), (21,44206), (23,129885), (25,385789), (27,1149058), (29,3449251), (31,10411430), (33,31559297), (35,121473262), (37,424088648), (39,1413629510)} ; 1413629510 new representative proofs (3273371746 redundant, 3696577799 invalid)
Mon Oct 30 09:41:10 2023: Starting to write 1413629510 entries to data/dProofs-withConclusions/dProofs39-unfiltered35+.txt.
2782530.74 ms (46 min 22 s 530.74 ms) taken to print and save 352398833029 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs39-unfiltered35+.txt.
Mon Oct 30 11:21:31 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 39, unfiltered]
Mon Oct 30 12:13:51 2023: Process terminated. [pid: 104235, tid:23071174027136]