-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
73-65.log
128 lines (127 loc) · 14 KB
/
73-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
127
128
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
40675585 optane_low 64 COMPLETED 0:0 01:53:23
40675585.ba+ 64 COMPLETED 0:0 01:53:23 909437352K
40675585.ex+ 64 COMPLETED 0:0 01:53:23 0
By 909437352 KiB = (909437352 / 1024^2) GiB = 867.30704498291015625 GiB, it used approximately 867.31 gibibytes of memory. )
Sat Nov 11 02:31:33 2023: Process started. [pid: 204061, tid:22423631894400]
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 11 02:31:33 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
20.09 ms taken to read 1 condensed detachment proof and conclusion from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs3.txt. [tid:22423571646208]
18.42 ms taken to read 2 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs5.txt. [tid:22423569544960]
18.53 ms taken to read 4 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs7.txt. [tid:22423567443712]
21.55 ms taken to read 7 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs9.txt. [tid:22423565342464]
20.90 ms taken to read 14 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs11.txt. [tid:22423563241216]
3.91 ms taken to read 23 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs13.txt. [tid:22423561139968]
19.66 ms taken to read 42 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs15.txt. [tid:22423559038720]
22.22 ms taken to read 72 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs17.txt. [tid:22423556937472]
19.63 ms taken to read 119 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs19.txt. [tid:22423487379200]
7.74 ms taken to read 180 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs21.txt. [tid:22423485277952]
32.01 ms taken to read 296 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs23.txt. [tid:22423483176704]
56.20 ms taken to read 493 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs25.txt. [tid:22423481075456]
45.31 ms taken to read 809 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs27.txt. [tid:22423478974208]
56.07 ms taken to read 1330 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs29.txt. [tid:22423476872960]
41.90 ms taken to read 2190 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs31.txt. [tid:22423474771712]
129.86 ms taken to read 3606 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs33.txt. [tid:22423472670464]
64.49 ms taken to read 5925 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs35.txt. [tid:22423470569216]
459.38 ms taken to read 9738 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs37.txt. [tid:22423468467968]
300.74 ms taken to read 15948 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs39.txt. [tid:22423466366720]
735.57 ms taken to read 26109 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs41.txt. [tid:22423464265472]
863.80 ms taken to read 42844 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs43.txt. [tid:22423462164224]
2536.12 ms (2 s 536.12 ms) taken to read 70083 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs45.txt. [tid:22423460062976]
5430.26 ms (5 s 430.26 ms) taken to read 115027 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs47.txt. [tid:22423457961728]
2324.50 ms (2 s 324.50 ms) taken to read 188519 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs49.txt. [tid:22423455860480]
3180.05 ms (3 s 180.05 ms) taken to read 308975 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs51.txt. [tid:22423453759232]
4659.40 ms (4 s 659.40 ms) taken to read 506415 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs53.txt. [tid:22423451657984]
5668.27 ms (5 s 668.27 ms) taken to read 830126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs55.txt. [tid:22423449556736]
6715.89 ms (6 s 715.89 ms) taken to read 1360461 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs57.txt. [tid:22423447455488]
7815.84 ms (7 s 815.84 ms) taken to read 2229126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs59.txt. [tid:22423445354240]
9322.09 ms (9 s 322.09 ms) taken to read 3652191 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt. [tid:22423443252992]
10912.24 ms (10 s 912.24 ms) taken to read 5983166 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63.txt. [tid:22423441151744]
10977.17 ms (10 s 977.17 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.
59929.71 ms (59 s 929.71 ms) taken to read 15025264 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs65-unfiltered65+.txt. [tid:22423441151744]
114204.65 ms (1 min 54 s 204.65 ms) taken to read 32295163 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs67-unfiltered65+.txt. [tid:22423443252992]
180546.00 ms (3 min 546.00 ms) taken to read 63892072 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs69-unfiltered65+.txt. [tid:22423445354240]
284519.51 ms (4 min 44 s 519.51 ms) taken to read 123578255 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs71-unfiltered65+.txt. [tid:22423447455488]
400426.07 ms (6 min 40 s 426.07 ms) taken to read 241257616 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs73-unfiltered65+.txt. [tid:22423449556736]
400473.56 ms (6 min 40 s 473.56 ms) additional read duration.
Loaded 5 more representative collections of sizes:
65 : 15025264
67 : 32295163
69 : 63892072
71 : 123578255
73 : 241257616
491402212 representatives in total.
Sat Nov 11 02:39:31 2023: Inserted ≈ 5% of D-proof conclusions. [ 24570110 of 491402212] (ETC: Sat Nov 11 03:00:21 2023 ; 20 min 50 s 42.73 ms remaining ; 21 min 55 s 834.45 ms total)
Sat Nov 11 02:40:49 2023: Inserted ≈10% of D-proof conclusions. [ 49140221 of 491402212] (ETC: Sat Nov 11 03:02:28 2023 ; 21 min 38 s 409.82 ms remaining ; 24 min 2 s 677.58 ms total)
Sat Nov 11 02:42:23 2023: Inserted ≈15% of D-proof conclusions. [ 73710331 of 491402212] (ETC: Sat Nov 11 03:04:52 2023 ; 22 min 28 s 779.61 ms remaining ; 26 min 26 s 799.54 ms total)
Sat Nov 11 02:43:58 2023: Inserted ≈20% of D-proof conclusions. [ 98280442 of 491402212] (ETC: Sat Nov 11 03:06:08 2023 ; 22 min 10 s 715.91 ms remaining ; 27 min 43 s 394.88 ms total)
Sat Nov 11 02:45:38 2023: Inserted ≈25% of D-proof conclusions. [122850553 of 491402212] (ETC: Sat Nov 11 03:07:15 2023 ; 21 min 37 s 917.03 ms remaining ; 28 min 50 s 556.04 ms total)
Sat Nov 11 02:47:09 2023: Inserted ≈30% of D-proof conclusions. [147420663 of 491402212] (ETC: Sat Nov 11 03:07:31 2023 ; 20 min 22 s 359.62 ms remaining ; 29 min 6 s 228.02 ms total)
Sat Nov 11 02:48:43 2023: Inserted ≈35% of D-proof conclusions. [171990774 of 491402212] (ETC: Sat Nov 11 03:07:52 2023 ; 19 min 8 s 832.18 ms remaining ; 29 min 27 s 434.12 ms total)
Sat Nov 11 02:50:21 2023: Inserted ≈40% of D-proof conclusions. [196560884 of 491402212] (ETC: Sat Nov 11 03:08:15 2023 ; 17 min 54 s 196.74 ms remaining ; 29 min 50 s 327.90 ms total)
Sat Nov 11 02:51:59 2023: Inserted ≈45% of D-proof conclusions. [221130995 of 491402212] (ETC: Sat Nov 11 03:08:34 2023 ; 16 min 35 s 123.36 ms remaining ; 30 min 9 s 315.20 ms total)
Sat Nov 11 02:53:53 2023: Inserted ≈50% of D-proof conclusions. [245701106 of 491402212] (ETC: Sat Nov 11 03:09:21 2023 ; 15 min 28 s 2.16 ms remaining ; 30 min 56 s 4.32 ms total)
Sat Nov 11 02:55:15 2023: Inserted ≈55% of D-proof conclusions. [270271216 of 491402212] (ETC: Sat Nov 11 03:09:02 2023 ; 13 min 46 s 556.06 ms remaining ; 30 min 36 s 791.24 ms total)
Sat Nov 11 02:56:23 2023: Inserted ≈60% of D-proof conclusions. [294841327 of 491402212] (ETC: Sat Nov 11 03:08:23 2023 ; 11 min 59 s 52.87 ms remaining ; 29 min 57 s 632.18 ms total)
Sat Nov 11 02:57:40 2023: Inserted ≈65% of D-proof conclusions. [319411437 of 491402212] (ETC: Sat Nov 11 03:08:02 2023 ; 10 min 21 s 883.83 ms remaining ; 29 min 36 s 810.92 ms total)
Sat Nov 11 02:59:13 2023: Inserted ≈70% of D-proof conclusions. [343981548 of 491402212] (ETC: Sat Nov 11 03:08:07 2023 ; 8 min 54 s 726.92 ms remaining ; 29 min 42 s 423.05 ms total)
Sat Nov 11 03:00:50 2023: Inserted ≈75% of D-proof conclusions. [368551659 of 491402212] (ETC: Sat Nov 11 03:08:19 2023 ; 7 min 28 s 501.53 ms remaining ; 29 min 54 s 6.11 ms total)
Sat Nov 11 03:02:36 2023: Inserted ≈80% of D-proof conclusions. [393121769 of 491402212] (ETC: Sat Nov 11 03:08:38 2023 ; 6 min 2 s 685.59 ms remaining ; 30 min 13 s 427.92 ms total)
Sat Nov 11 03:04:25 2023: Inserted ≈85% of D-proof conclusions. [417691880 of 491402212] (ETC: Sat Nov 11 03:09:00 2023 ; 4 min 35 s 298.20 ms remaining ; 30 min 35 s 321.32 ms total)
Sat Nov 11 03:06:15 2023: Inserted ≈90% of D-proof conclusions. [442261990 of 491402212] (ETC: Sat Nov 11 03:09:21 2023 ; 3 min 5 s 581.21 ms remaining ; 30 min 55 s 812.07 ms total)
Sat Nov 11 03:08:10 2023: Inserted ≈95% of D-proof conclusions. [466832101 of 491402212] (ETC: Sat Nov 11 03:09:44 2023 ; 1 min 33 s 936.14 ms remaining ; 31 min 18 s 722.82 ms total)
Sat Nov 11 03:10:06 2023: Inserted 100% of D-proof conclusions. [491402212 of 491402212] (ETC: Sat Nov 11 03:10:06 2023 ; 0.00 ms remaining ; 31 min 41 s 352.31 ms total)
1901353.74 ms (31 min 41 s 353.74 ms) total insertion duration.
Sat Nov 11 03:10:06 2023: Starting to iterate D-proof candidates of length 75.
2624362.84 ms (43 min 44 s 362.84 ms) taken to iterate 3953611492 condensed detachment proof strings of length 75.
[Copy] Next iteration count (unfiltered65+): { 75, 3953611492 }
Sat Nov 11 03:53:51 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Sat Nov 11 04:23:54 2023: Process terminated. [pid: 204061, tid:22423631894400]