-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
71-65.log
126 lines (125 loc) · 13.8 KB
/
71-65.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
( This log file was generated by executing 'pmGenerator -c -n -s CpCCNqCCNrsCptCCtqCrq --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
------------ ---------- ---------- ---------- -------- ---------- ----------
40532099 optane_low 64 COMPLETED 0:0 00:48:26
40532099.ba+ 64 COMPLETED 0:0 00:48:26 424913916K
40532099.ex+ 64 COMPLETED 0:0 00:48:26 4K
By 424913916 KiB = (424913916 / 1024^2) GiB = 405.229488372802734375 GiB, it used approximately 405.23 gibibytes of memory. )
Sat Nov 4 02:19:07 2023: Process started. [pid: 243035, tid:22596350494592]
Tasks:
1. resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true)
2. countNextIterationAmount(false, true)
[Main] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314]
(1) C0CCN1CCN2.3C0.4CC4.1C2.1 - CpCCNqCCNrsCptCCtqCrq - 0\imply((\not1\imply((\not2\imply3)\imply(0\imply4)))\imply((4\imply1)\imply(2\imply1)))
[Main] Calling countNextIterationAmount(false, true).
Sat Nov 4 02:19:07 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
19.90 ms taken to read 1 condensed detachment proof and conclusion from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs3.txt. [tid:22596290246400]
30.14 ms taken to read 2 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs5.txt. [tid:22596288145152]
25.80 ms taken to read 4 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs7.txt. [tid:22596286043904]
20.46 ms taken to read 7 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs9.txt. [tid:22596283942656]
22.00 ms taken to read 14 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs11.txt. [tid:22596281841408]
26.07 ms taken to read 23 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs13.txt. [tid:22596279740160]
16.89 ms taken to read 42 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs15.txt. [tid:22596277638912]
24.35 ms taken to read 72 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs17.txt. [tid:22596275537664]
15.39 ms taken to read 119 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs19.txt. [tid:22596273436416]
28.91 ms taken to read 180 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs21.txt. [tid:22596271335168]
24.62 ms taken to read 296 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs23.txt. [tid:22596269233920]
35.29 ms taken to read 493 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs25.txt. [tid:22596267132672]
51.52 ms taken to read 809 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs27.txt. [tid:22596265031424]
47.77 ms taken to read 1330 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs29.txt. [tid:22596262930176]
52.23 ms taken to read 2190 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs31.txt. [tid:22596260828928]
195.28 ms taken to read 3606 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs33.txt. [tid:22596258727680]
68.85 ms taken to read 5925 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs35.txt. [tid:22596256626432]
141.58 ms taken to read 9738 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs37.txt. [tid:22596254525184]
99.59 ms taken to read 15948 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs39.txt. [tid:22596252423936]
522.64 ms taken to read 26109 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs41.txt. [tid:22596250322688]
762.91 ms taken to read 42844 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs43.txt. [tid:22596248221440]
1207.26 ms (1 s 207.25 ms) taken to read 70083 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs45.txt. [tid:22596246120192]
4592.12 ms (4 s 592.12 ms) taken to read 115027 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs47.txt. [tid:22596244018944]
2354.34 ms (2 s 354.34 ms) taken to read 188519 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs49.txt. [tid:22596241917696]
2804.52 ms (2 s 804.51 ms) taken to read 308975 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs51.txt. [tid:22596239816448]
3988.60 ms (3 s 988.61 ms) taken to read 506415 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs53.txt. [tid:22596237715200]
5618.80 ms (5 s 618.80 ms) taken to read 830126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs55.txt. [tid:22596235613952]
6003.35 ms (6 s 3.35 ms) taken to read 1360461 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs57.txt. [tid:22596233512704]
7142.58 ms (7 s 142.58 ms) taken to read 2229126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs59.txt. [tid:22596231411456]
8379.34 ms (8 s 379.34 ms) taken to read 3652191 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt. [tid:22596229310208]
9894.90 ms (9 s 894.89 ms) taken to read 5983166 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63.txt. [tid:22595755833088]
10862.18 ms (10 s 862.18 ms) total read duration.
Loaded 32 representative collections of sizes:
1 : 1
3 : 1
5 : 2
7 : 4
9 : 7
11 : 14
13 : 23
15 : 42
17 : 72
19 : 119
21 : 180
23 : 296
25 : 493
27 : 809
29 : 1330
31 : 2190
33 : 3606
35 : 5925
37 : 9738
39 : 15948
41 : 26109
43 : 42844
45 : 70083
47 : 115027
49 : 188519
51 : 308975
53 : 506415
55 : 830126
57 : 1360461
59 : 2229126
61 : 3652191
63 : 5983166
15353842 representatives in total.
36168.97 ms (36 s 168.97 ms) taken to read 15025264 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs65-unfiltered65+.txt. [tid:22595755833088]
69488.49 ms (1 min 9 s 488.49 ms) taken to read 32295163 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs67-unfiltered65+.txt. [tid:22596229310208]
119520.39 ms (1 min 59 s 520.39 ms) taken to read 63892072 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs69-unfiltered65+.txt. [tid:22596231411456]
169637.43 ms (2 min 49 s 637.43 ms) taken to read 123578255 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs71-unfiltered65+.txt. [tid:22596233512704]
169701.79 ms (2 min 49 s 701.79 ms) additional read duration.
Loaded 4 more representative collections of sizes:
65 : 15025264
67 : 32295163
69 : 63892072
71 : 123578255
250144596 representatives in total.
Sat Nov 4 02:22:35 2023: Inserted ≈ 5% of D-proof conclusions. [ 12507229 of 250144596] (ETC: Sat Nov 4 02:31:12 2023 ; 8 min 36 s 768.86 ms remaining ; 9 min 3 s 967.21 ms total)
Sat Nov 4 02:23:08 2023: Inserted ≈10% of D-proof conclusions. [ 25014459 of 250144596] (ETC: Sat Nov 4 02:32:05 2023 ; 8 min 57 s 99.90 ms remaining ; 9 min 56 s 777.66 ms total)
Sat Nov 4 02:23:47 2023: Inserted ≈15% of D-proof conclusions. [ 37521689 of 250144596] (ETC: Sat Nov 4 02:33:08 2023 ; 9 min 21 s 238.62 ms remaining ; 11 min 280.73 ms total)
Sat Nov 4 02:24:34 2023: Inserted ≈20% of D-proof conclusions. [ 50028919 of 250144596] (ETC: Sat Nov 4 02:34:18 2023 ; 9 min 44 s 90.08 ms remaining ; 12 min 10 s 112.60 ms total)
Sat Nov 4 02:25:21 2023: Inserted ≈25% of D-proof conclusions. [ 62536149 of 250144596] (ETC: Sat Nov 4 02:35:00 2023 ; 9 min 39 s 274.24 ms remaining ; 12 min 52 s 365.65 ms total)
Sat Nov 4 02:25:59 2023: Inserted ≈30% of D-proof conclusions. [ 75043378 of 250144596] (ETC: Sat Nov 4 02:34:59 2023 ; 8 min 59 s 656.36 ms remaining ; 12 min 50 s 937.65 ms total)
Sat Nov 4 02:26:39 2023: Inserted ≈35% of D-proof conclusions. [ 87550608 of 250144596] (ETC: Sat Nov 4 02:35:01 2023 ; 8 min 22 s 693.85 ms remaining ; 12 min 53 s 375.15 ms total)
Sat Nov 4 02:27:21 2023: Inserted ≈40% of D-proof conclusions. [100057838 of 250144596] (ETC: Sat Nov 4 02:35:10 2023 ; 7 min 48 s 920.41 ms remaining ; 13 min 1 s 534.01 ms total)
Sat Nov 4 02:28:05 2023: Inserted ≈45% of D-proof conclusions. [112565068 of 250144596] (ETC: Sat Nov 4 02:35:21 2023 ; 7 min 16 s 179.67 ms remaining ; 13 min 13 s 53.94 ms total)
Sat Nov 4 02:28:48 2023: Inserted ≈50% of D-proof conclusions. [125072298 of 250144596] (ETC: Sat Nov 4 02:35:28 2023 ; 6 min 40 s 52.14 ms remaining ; 13 min 20 s 104.28 ms total)
Sat Nov 4 02:29:25 2023: Inserted ≈55% of D-proof conclusions. [137579527 of 250144596] (ETC: Sat Nov 4 02:35:23 2023 ; 5 min 57 s 743.02 ms remaining ; 13 min 14 s 984.49 ms total)
Sat Nov 4 02:30:02 2023: Inserted ≈60% of D-proof conclusions. [150086757 of 250144596] (ETC: Sat Nov 4 02:35:17 2023 ; 5 min 15 s 662.64 ms remaining ; 13 min 9 s 156.60 ms total)
Sat Nov 4 02:30:42 2023: Inserted ≈65% of D-proof conclusions. [162593987 of 250144596] (ETC: Sat Nov 4 02:35:18 2023 ; 4 min 36 s 567.98 ms remaining ; 13 min 10 s 194.23 ms total)
Sat Nov 4 02:31:24 2023: Inserted ≈70% of D-proof conclusions. [175101217 of 250144596] (ETC: Sat Nov 4 02:35:22 2023 ; 3 min 58 s 85.21 ms remaining ; 13 min 13 s 617.37 ms total)
Sat Nov 4 02:32:07 2023: Inserted ≈75% of D-proof conclusions. [187608447 of 250144596] (ETC: Sat Nov 4 02:35:26 2023 ; 3 min 19 s 528.21 ms remaining ; 13 min 18 s 112.85 ms total)
Sat Nov 4 02:32:49 2023: Inserted ≈80% of D-proof conclusions. [200115676 of 250144596] (ETC: Sat Nov 4 02:35:29 2023 ; 2 min 40 s 239.49 ms remaining ; 13 min 21 s 197.45 ms total)
Sat Nov 4 02:33:30 2023: Inserted ≈85% of D-proof conclusions. [212622906 of 250144596] (ETC: Sat Nov 4 02:35:30 2023 ; 2 min 257.32 ms remaining ; 13 min 21 s 715.45 ms total)
Sat Nov 4 02:34:10 2023: Inserted ≈90% of D-proof conclusions. [225130136 of 250144596] (ETC: Sat Nov 4 02:35:31 2023 ; 1 min 20 s 261.14 ms remaining ; 13 min 22 s 611.42 ms total)
Sat Nov 4 02:34:47 2023: Inserted ≈95% of D-proof conclusions. [237637366 of 250144596] (ETC: Sat Nov 4 02:35:27 2023 ; 39 s 953.97 ms remaining ; 13 min 19 s 79.47 ms total)
Sat Nov 4 02:35:36 2023: Inserted 100% of D-proof conclusions. [250144596 of 250144596] (ETC: Sat Nov 4 02:35:36 2023 ; 0.00 ms remaining ; 13 min 27 s 544.09 ms total)
807544.35 ms (13 min 27 s 544.35 ms) total insertion duration.
Sat Nov 4 02:35:36 2023: Starting to iterate D-proof candidates of length 73.
1256620.95 ms (20 min 56 s 620.96 ms) taken to iterate 2175612424 condensed detachment proof strings of length 73.
[Copy] Next iteration count (unfiltered65+): { 73, 2175612424 }
Sat Nov 4 02:56:32 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Sat Nov 4 03:07:04 2023: Process terminated. [pid: 243035, tid:22596350494592]