-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
53-53.log
108 lines (107 loc) · 11.7 KB
/
53-53.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
( This log file was generated by executing 'pmGenerator -c -n -s CCpqCCCrCstCqCNsNpCps --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
------------ ---------- ---------- ---------- -------- ---------- ----------
40419052 optane_low 64 COMPLETED 0:0 00:09:50
40419052.ba+ 64 COMPLETED 0:0 00:09:50 336478380K
40419052.ex+ 64 COMPLETED 0:0 00:09:50 0
By 336478380 KiB = (336478380 / 1024^2) GiB = 320.890789031982421875 GiB, it used approximately 320.89 gibibytes of memory. )
Sat Oct 28 06:14:57 2023: Process started. [pid: 39257, tid:22967169423232]
Tasks:
1. resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true)
2. countNextIterationAmount(false, true)
[Main] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72]
(1) CC0.1CCC2C3.4C1CN3N0C0.3 - CCpqCCCrCstCqCNsNpCps - (0\imply1)\imply(((2\imply(3\imply4))\imply(1\imply(\not3\imply\not0)))\imply(0\imply3))
[Main] Calling countNextIterationAmount(false, true).
Sat Oct 28 06:14:57 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.00 ms taken to load initial representatives.
19.33 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs3.txt. [tid:22967109199616]
13.18 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs5.txt. [tid:22967107098368]
22.24 ms taken to read 2 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs7.txt. [tid:22967104997120]
10.58 ms taken to read 4 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs9.txt. [tid:22967102895872]
21.79 ms taken to read 7 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs11.txt. [tid:22967100794624]
35.16 ms taken to read 12 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs13.txt. [tid:22967098693376]
15.41 ms taken to read 22 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs15.txt. [tid:22967096592128]
14.64 ms taken to read 42 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs17.txt. [tid:22967094490880]
21.73 ms taken to read 80 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs19.txt. [tid:22967092389632]
26.00 ms taken to read 151 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs21.txt. [tid:22967090288384]
192.17 ms taken to read 287 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs23.txt. [tid:22967088187136]
204.60 ms taken to read 555 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs25.txt. [tid:22967086085888]
324.96 ms taken to read 1081 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs27.txt. [tid:22967083984640]
351.28 ms taken to read 2107 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs29.txt. [tid:22967081883392]
411.09 ms taken to read 4123 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs31.txt. [tid:22967079782144]
711.69 ms taken to read 8112 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs33.txt. [tid:22967077680896]
2684.34 ms (2 s 684.34 ms) taken to read 16029 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs35.txt. [tid:22967075579648]
2389.43 ms (2 s 389.43 ms) taken to read 31774 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs37.txt. [tid:22967073478400]
2217.17 ms (2 s 217.17 ms) taken to read 63152 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs39.txt. [tid:22967071377152]
3667.08 ms (3 s 667.08 ms) taken to read 125873 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs41.txt. [tid:22966196762368]
6432.01 ms (6 s 432.01 ms) taken to read 251561 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs43.txt. [tid:22966194661120]
12706.32 ms (12 s 706.33 ms) taken to read 503956 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs45.txt. [tid:22966192559872]
24550.64 ms (24 s 550.64 ms) taken to read 1011747 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs47.txt. [tid:22966190458624]
41653.05 ms (41 s 653.05 ms) taken to read 2035230 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs49.txt. [tid:22966188357376]
62029.57 ms (1 min 2 s 29.57 ms) taken to read 4101770 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51.txt. [tid:22966186256128]
62091.00 ms (1 min 2 s 91.00 ms) total read duration.
Loaded 26 representative collections of sizes:
1 : 1
3 : 1
5 : 1
7 : 2
9 : 4
11 : 7
13 : 12
15 : 22
17 : 42
19 : 80
21 : 151
23 : 287
25 : 555
27 : 1081
29 : 2107
31 : 4123
33 : 8112
35 : 16029
37 : 31774
39 : 63152
41 : 125873
43 : 251561
45 : 503956
47 : 1011747
49 : 2035230
51 : 4101770
8157680 representatives in total.
84634.18 ms (1 min 24 s 634.18 ms) taken to read 8360537 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs53-unfiltered53+.txt. [tid:22966186256128]
84637.51 ms (1 min 24 s 637.51 ms) additional read duration.
Loaded 1 more representative collection of size:
53 : 8360537
16518217 representatives in total.
Sat Oct 28 06:17:34 2023: Inserted ≈ 5% of D-proof conclusions. [ 825910 of 16518217] (ETC: Sat Oct 28 06:20:48 2023 ; 3 min 14 s 460.38 ms remaining ; 3 min 24 s 695.13 ms total)
Sat Oct 28 06:17:42 2023: Inserted ≈10% of D-proof conclusions. [ 1651821 of 16518217] (ETC: Sat Oct 28 06:20:34 2023 ; 2 min 51 s 140.03 ms remaining ; 3 min 10 s 155.58 ms total)
Sat Oct 28 06:17:54 2023: Inserted ≈15% of D-proof conclusions. [ 2477732 of 16518217] (ETC: Sat Oct 28 06:20:47 2023 ; 2 min 52 s 746.98 ms remaining ; 3 min 23 s 231.74 ms total)
Sat Oct 28 06:18:04 2023: Inserted ≈20% of D-proof conclusions. [ 3303643 of 16518217] (ETC: Sat Oct 28 06:20:45 2023 ; 2 min 41 s 289.05 ms remaining ; 3 min 21 s 611.31 ms total)
Sat Oct 28 06:18:20 2023: Inserted ≈25% of D-proof conclusions. [ 4129554 of 16518217] (ETC: Sat Oct 28 06:21:08 2023 ; 2 min 48 s 475.05 ms remaining ; 3 min 44 s 633.40 ms total)
Sat Oct 28 06:18:34 2023: Inserted ≈30% of D-proof conclusions. [ 4955465 of 16518217] (ETC: Sat Oct 28 06:21:19 2023 ; 2 min 44 s 862.09 ms remaining ; 3 min 55 s 517.27 ms total)
Sat Oct 28 06:18:52 2023: Inserted ≈35% of D-proof conclusions. [ 5781375 of 16518217] (ETC: Sat Oct 28 06:21:37 2023 ; 2 min 44 s 793.25 ms remaining ; 4 min 13 s 528.06 ms total)
Sat Oct 28 06:19:14 2023: Inserted ≈40% of D-proof conclusions. [ 6607286 of 16518217] (ETC: Sat Oct 28 06:22:00 2023 ; 2 min 45 s 818.88 ms remaining ; 4 min 36 s 364.78 ms total)
Sat Oct 28 06:19:29 2023: Inserted ≈45% of D-proof conclusions. [ 7433197 of 16518217] (ETC: Sat Oct 28 06:22:03 2023 ; 2 min 33 s 758.47 ms remaining ; 4 min 39 s 560.83 ms total)
Sat Oct 28 06:19:50 2023: Inserted ≈50% of D-proof conclusions. [ 8259108 of 16518217] (ETC: Sat Oct 28 06:22:16 2023 ; 2 min 26 s 435.04 ms remaining ; 4 min 52 s 870.06 ms total)
Sat Oct 28 06:19:58 2023: Inserted ≈55% of D-proof conclusions. [ 9085019 of 16518217] (ETC: Sat Oct 28 06:22:04 2023 ; 2 min 6 s 419.03 ms remaining ; 4 min 40 s 931.15 ms total)
Sat Oct 28 06:20:07 2023: Inserted ≈60% of D-proof conclusions. [ 9910930 of 16518217] (ETC: Sat Oct 28 06:21:57 2023 ; 1 min 49 s 282.43 ms remaining ; 4 min 33 s 206.07 ms total)
Sat Oct 28 06:20:18 2023: Inserted ≈65% of D-proof conclusions. [10736841 of 16518217] (ETC: Sat Oct 28 06:21:52 2023 ; 1 min 33 s 930.75 ms remaining ; 4 min 28 s 373.58 ms total)
Sat Oct 28 06:20:29 2023: Inserted ≈70% of D-proof conclusions. [11562751 of 16518217] (ETC: Sat Oct 28 06:21:48 2023 ; 1 min 19 s 478.09 ms remaining ; 4 min 24 s 926.92 ms total)
Sat Oct 28 06:20:40 2023: Inserted ≈75% of D-proof conclusions. [12388662 of 16518217] (ETC: Sat Oct 28 06:21:46 2023 ; 1 min 5 s 681.53 ms remaining ; 4 min 22 s 726.07 ms total)
Sat Oct 28 06:20:54 2023: Inserted ≈80% of D-proof conclusions. [13214573 of 16518217] (ETC: Sat Oct 28 06:21:46 2023 ; 52 s 579.17 ms remaining ; 4 min 22 s 895.82 ms total)
Sat Oct 28 06:21:09 2023: Inserted ≈85% of D-proof conclusions. [14040484 of 16518217] (ETC: Sat Oct 28 06:21:48 2023 ; 39 s 758.65 ms remaining ; 4 min 25 s 57.60 ms total)
Sat Oct 28 06:21:25 2023: Inserted ≈90% of D-proof conclusions. [14866395 of 16518217] (ETC: Sat Oct 28 06:21:52 2023 ; 26 s 862.13 ms remaining ; 4 min 28 s 621.26 ms total)
Sat Oct 28 06:21:49 2023: Inserted ≈95% of D-proof conclusions. [15692306 of 16518217] (ETC: Sat Oct 28 06:22:02 2023 ; 13 s 953.94 ms remaining ; 4 min 39 s 78.82 ms total)
Sat Oct 28 06:22:17 2023: Inserted 100% of D-proof conclusions. [16518217 of 16518217] (ETC: Sat Oct 28 06:22:17 2023 ; 0.00 ms remaining ; 4 min 53 s 90.34 ms total)
293090.74 ms (4 min 53 s 90.75 ms) total insertion duration.
Sat Oct 28 06:22:17 2023: Starting to iterate D-proof candidates of length 55.
88836.50 ms (1 min 28 s 836.50 ms) taken to iterate 59952617 condensed detachment proof strings of length 55.
[Copy] Next iteration count (unfiltered53+): { 55, 59952617 }
Sat Oct 28 06:24:08 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Sat Oct 28 06:24:29 2023: Process terminated. [pid: 39257, tid:22967169423232]