-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path41-39.log
96 lines (95 loc) · 10.4 KB
/
41-39.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
( This log file was generated by executing 'pmGenerator -c -n -s CpCCqCprCCNrCCNstqCsr --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
------------ ---------- ---------- ---------- -------- ---------- ----------
40401551 optane_low 64 COMPLETED 0:0 00:11:07
40401551.ba+ 64 COMPLETED 0:0 00:11:07 258294408K
40401551.ex+ 64 COMPLETED 0:0 00:11:07 0
By 258294408 KiB = (258294408 / 1024^2) GiB = 246.32874298095703125 GiB, it used approximately 246.33 gibibytes of memory. )
Fri Oct 27 04:00:31 2023: Process started. [pid: 150906, tid:22691773970304]
Tasks:
1. resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true)
2. countNextIterationAmount(false, true)
[Main] 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)))
[Main] Calling countNextIterationAmount(false, true).
Fri Oct 27 04:00:31 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.02 ms taken to load initial representatives.
24.49 ms taken to read 1 condensed detachment proof and conclusion from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs3.txt. [tid:22691713722112]
24.63 ms taken to read 2 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs5.txt. [tid:22691711620864]
25.70 ms taken to read 5 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs7.txt. [tid:22691709519616]
20.43 ms taken to read 10 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs9.txt. [tid:22691707418368]
15.02 ms taken to read 24 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs11.txt. [tid:22691705317120]
22.46 ms taken to read 57 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs13.txt. [tid:22691703215872]
13.89 ms taken to read 137 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs15.txt. [tid:22691701114624]
26.03 ms taken to read 339 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs17.txt. [tid:22691699013376]
53.33 ms taken to read 854 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs19.txt. [tid:22691696912128]
58.35 ms taken to read 2171 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs21.txt. [tid:22691694810880]
200.78 ms taken to read 5583 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs23.txt. [tid:22691692709632]
248.54 ms taken to read 14478 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs25.txt. [tid:22691690608384]
1749.35 ms (1 s 749.35 ms) taken to read 37874 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs27.txt. [tid:22691688507136]
1305.50 ms (1 s 305.50 ms) taken to read 99756 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs29.txt. [tid:22691686405888]
1940.47 ms (1 s 940.48 ms) taken to read 264466 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs31.txt. [tid:22691684304640]
3185.30 ms (3 s 185.30 ms) taken to read 705026 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs33.txt. [tid:22691682203392]
6865.90 ms (6 s 865.90 ms) taken to read 1888450 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35.txt. [tid:22691680102144]
11906.77 ms (11 s 906.77 ms) taken to read 5081180 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs37.txt. [tid:22691678000896]
11951.77 ms (11 s 951.77 ms) total read duration.
Loaded 19 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
35 : 1888450
37 : 5081180
8100414 representatives in total.
48449.39 ms (48 s 449.39 ms) taken to read 13863883 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs39-unfiltered39+.txt. [tid:22691678000896]
99121.89 ms (1 min 39 s 121.89 ms) taken to read 37699564 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs41-unfiltered39+.txt. [tid:22691680102144]
99127.29 ms (1 min 39 s 127.30 ms) additional read duration.
Loaded 2 more representative collections of sizes:
39 : 13863883
41 : 37699564
59663861 representatives in total.
Fri Oct 27 04:02:40 2023: Inserted ≈ 5% of D-proof conclusions. [ 2983193 of 59663861] (ETC: Fri Oct 27 04:08:17 2023 ; 5 min 36 s 767.39 ms remaining ; 5 min 54 s 491.99 ms total)
Fri Oct 27 04:02:55 2023: Inserted ≈10% of D-proof conclusions. [ 5966386 of 59663861] (ETC: Fri Oct 27 04:07:50 2023 ; 4 min 54 s 974.50 ms remaining ; 5 min 27 s 749.45 ms total)
Fri Oct 27 04:03:13 2023: Inserted ≈15% of D-proof conclusions. [ 8949579 of 59663861] (ETC: Fri Oct 27 04:07:58 2023 ; 4 min 45 s 260.63 ms remaining ; 5 min 35 s 600.74 ms total)
Fri Oct 27 04:03:25 2023: Inserted ≈20% of D-proof conclusions. [11932772 of 59663861] (ETC: Fri Oct 27 04:07:35 2023 ; 4 min 10 s 220.09 ms remaining ; 5 min 12 s 775.12 ms total)
Fri Oct 27 04:03:37 2023: Inserted ≈25% of D-proof conclusions. [14915965 of 59663861] (ETC: Fri Oct 27 04:07:23 2023 ; 3 min 45 s 252.58 ms remaining ; 5 min 336.77 ms total)
Fri Oct 27 04:03:52 2023: Inserted ≈30% of D-proof conclusions. [17899158 of 59663861] (ETC: Fri Oct 27 04:07:21 2023 ; 3 min 29 s 378.58 ms remaining ; 4 min 59 s 112.25 ms total)
Fri Oct 27 04:04:08 2023: Inserted ≈35% of D-proof conclusions. [20882351 of 59663861] (ETC: Fri Oct 27 04:07:24 2023 ; 3 min 15 s 947.40 ms remaining ; 5 min 1 s 457.54 ms total)
Fri Oct 27 04:04:24 2023: Inserted ≈40% of D-proof conclusions. [23865544 of 59663861] (ETC: Fri Oct 27 04:07:26 2023 ; 3 min 2 s 342.34 ms remaining ; 5 min 3 s 903.90 ms total)
Fri Oct 27 04:04:37 2023: Inserted ≈45% of D-proof conclusions. [26848737 of 59663861] (ETC: Fri Oct 27 04:07:22 2023 ; 2 min 44 s 741.09 ms remaining ; 4 min 59 s 529.25 ms total)
Fri Oct 27 04:04:51 2023: Inserted ≈50% of D-proof conclusions. [29831930 of 59663861] (ETC: Fri Oct 27 04:07:20 2023 ; 2 min 28 s 851.99 ms remaining ; 4 min 57 s 703.98 ms total)
Fri Oct 27 04:05:04 2023: Inserted ≈55% of D-proof conclusions. [32815123 of 59663861] (ETC: Fri Oct 27 04:07:17 2023 ; 2 min 12 s 508.36 ms remaining ; 4 min 54 s 463.01 ms total)
Fri Oct 27 04:05:17 2023: Inserted ≈60% of D-proof conclusions. [35798316 of 59663861] (ETC: Fri Oct 27 04:07:14 2023 ; 1 min 56 s 770.00 ms remaining ; 4 min 51 s 924.99 ms total)
Fri Oct 27 04:05:32 2023: Inserted ≈65% of D-proof conclusions. [38781509 of 59663861] (ETC: Fri Oct 27 04:07:14 2023 ; 1 min 42 s 31.30 ms remaining ; 4 min 51 s 517.98 ms total)
Fri Oct 27 04:05:46 2023: Inserted ≈70% of D-proof conclusions. [41764702 of 59663861] (ETC: Fri Oct 27 04:07:14 2023 ; 1 min 27 s 462.74 ms remaining ; 4 min 51 s 542.45 ms total)
Fri Oct 27 04:06:01 2023: Inserted ≈75% of D-proof conclusions. [44747895 of 59663861] (ETC: Fri Oct 27 04:07:14 2023 ; 1 min 12 s 897.36 ms remaining ; 4 min 51 s 589.42 ms total)
Fri Oct 27 04:06:16 2023: Inserted ≈80% of D-proof conclusions. [47731088 of 59663861] (ETC: Fri Oct 27 04:07:15 2023 ; 58 s 525.49 ms remaining ; 4 min 52 s 627.44 ms total)
Fri Oct 27 04:06:33 2023: Inserted ≈85% of D-proof conclusions. [50714281 of 59663861] (ETC: Fri Oct 27 04:07:17 2023 ; 44 s 177.92 ms remaining ; 4 min 54 s 519.47 ms total)
Fri Oct 27 04:06:49 2023: Inserted ≈90% of D-proof conclusions. [53697474 of 59663861] (ETC: Fri Oct 27 04:07:19 2023 ; 29 s 692.62 ms remaining ; 4 min 56 s 926.20 ms total)
Fri Oct 27 04:07:08 2023: Inserted ≈95% of D-proof conclusions. [56680667 of 59663861] (ETC: Fri Oct 27 04:07:23 2023 ; 15 s 34.03 ms remaining ; 5 min 680.45 ms total)
Fri Oct 27 04:07:31 2023: Inserted 100% of D-proof conclusions. [59663861 of 59663861] (ETC: Fri Oct 27 04:07:31 2023 ; 0.00 ms remaining ; 5 min 8 s 960.16 ms total)
308962.17 ms (5 min 8 s 962.17 ms) total insertion duration.
Fri Oct 27 04:07:31 2023: Starting to iterate D-proof candidates of length 43.
114905.56 ms (1 min 54 s 905.56 ms) taken to iterate 214945751 condensed detachment proof strings of length 43.
[Copy] Next iteration count (unfiltered39+): { 43, 214945751 }
Fri Oct 27 04:09:26 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Fri Oct 27 04:11:24 2023: Process terminated. [pid: 150906, tid:22691773970304]