-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
39-39.log
94 lines (93 loc) · 10 KB
/
39-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
( 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 MPI node
— 2-socket Intel Xeon Platinum 8160 (Skylake), 24 cores each (48 cores total per node), 2.1 GHz, 3.7 GHz turbo mode, 192 GiB main memory —
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
------------ ---------- ---------- ---------- -------- ---------- ----------
40050211 c18m_low 48 COMPLETED 0:0 00:04:29
40050211.ba+ 48 COMPLETED 0:0 00:04:29 84931484K
40050211.ex+ 48 COMPLETED 0:0 00:04:29 0
By 84931484 KiB = (84931484 / 1024^2) GiB = 80.996974945068359375 GiB, it used approximately 81.00 gibibytes of memory. )
Thu Oct 12 21:51:11 2023: Process started. [pid: 174621, tid:22357469009792]
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).
Thu Oct 12 21:51:11 2023: Next iteration amount counter started. [parallel ; 48 hardware thread contexts, unfiltered]
0.02 ms taken to load initial representatives.
13.69 ms taken to read 1 condensed detachment proof and conclusion from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs3.txt. [tid:22357408761600]
21.44 ms taken to read 2 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs5.txt. [tid:22357406660352]
13.93 ms taken to read 5 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs7.txt. [tid:22357404559104]
19.06 ms taken to read 10 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs9.txt. [tid:22357402457856]
16.08 ms taken to read 24 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs11.txt. [tid:22357400356608]
34.38 ms taken to read 57 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs13.txt. [tid:22357398255360]
45.92 ms taken to read 137 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs15.txt. [tid:22357396154112]
24.80 ms taken to read 339 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs17.txt. [tid:22357394052864]
50.32 ms taken to read 854 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs19.txt. [tid:22357391951616]
52.66 ms taken to read 2171 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs21.txt. [tid:22357389850368]
113.98 ms taken to read 5583 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs23.txt. [tid:22357387749120]
518.09 ms taken to read 14478 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs25.txt. [tid:22356646950656]
3638.87 ms (3 s 638.87 ms) taken to read 37874 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs27.txt. [tid:22356644849408]
413.65 ms taken to read 99756 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs29.txt. [tid:22356642748160]
1262.55 ms (1 s 262.56 ms) taken to read 264466 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs31.txt. [tid:22356640646912]
2353.01 ms (2 s 353.01 ms) taken to read 705026 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs33.txt. [tid:22356638545664]
5275.52 ms (5 s 275.52 ms) taken to read 1888450 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35.txt. [tid:22356636444416]
12895.99 ms (12 s 895.99 ms) taken to read 5081180 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs37.txt. [tid:22356634343168]
12909.16 ms (12 s 909.16 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.
34954.08 ms (34 s 954.08 ms) taken to read 13863883 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs39-unfiltered39+.txt. [tid:22356634343168]
34957.04 ms (34 s 957.04 ms) additional read duration.
Loaded 1 more representative collection of size:
39 : 13863883
21964297 representatives in total.
Thu Oct 12 21:52:03 2023: Inserted ≈ 5% of D-proof conclusions. [ 1098214 of 21964297] (ETC: Thu Oct 12 21:53:13 2023 ; 1 min 10 s 275.47 ms remaining ; 1 min 13 s 974.18 ms total)
Thu Oct 12 21:52:07 2023: Inserted ≈10% of D-proof conclusions. [ 2196429 of 21964297] (ETC: Thu Oct 12 21:53:17 2023 ; 1 min 9 s 687.34 ms remaining ; 1 min 17 s 430.37 ms total)
Thu Oct 12 21:52:11 2023: Inserted ≈15% of D-proof conclusions. [ 3294644 of 21964297] (ETC: Thu Oct 12 21:53:20 2023 ; 1 min 8 s 572.66 ms remaining ; 1 min 20 s 673.71 ms total)
Thu Oct 12 21:52:15 2023: Inserted ≈20% of D-proof conclusions. [ 4392859 of 21964297] (ETC: Thu Oct 12 21:53:19 2023 ; 1 min 3 s 873.07 ms remaining ; 1 min 19 s 841.34 ms total)
Thu Oct 12 21:52:19 2023: Inserted ≈25% of D-proof conclusions. [ 5491074 of 21964297] (ETC: Thu Oct 12 21:53:19 2023 ; 1 min 116.47 ms remaining ; 1 min 20 s 155.29 ms total)
Thu Oct 12 21:52:23 2023: Inserted ≈30% of D-proof conclusions. [ 6589289 of 21964297] (ETC: Thu Oct 12 21:53:20 2023 ; 56 s 550.29 ms remaining ; 1 min 20 s 786.13 ms total)
Thu Oct 12 21:52:28 2023: Inserted ≈35% of D-proof conclusions. [ 7687503 of 21964297] (ETC: Thu Oct 12 21:53:20 2023 ; 52 s 672.63 ms remaining ; 1 min 21 s 34.81 ms total)
Thu Oct 12 21:52:31 2023: Inserted ≈40% of D-proof conclusions. [ 8785718 of 21964297] (ETC: Thu Oct 12 21:53:20 2023 ; 48 s 212.28 ms remaining ; 1 min 20 s 353.80 ms total)
Thu Oct 12 21:52:35 2023: Inserted ≈45% of D-proof conclusions. [ 9883933 of 21964297] (ETC: Thu Oct 12 21:53:18 2023 ; 43 s 420.81 ms remaining ; 1 min 18 s 946.92 ms total)
Thu Oct 12 21:52:38 2023: Inserted ≈50% of D-proof conclusions. [10982148 of 21964297] (ETC: Thu Oct 12 21:53:17 2023 ; 38 s 824.19 ms remaining ; 1 min 17 s 648.37 ms total)
Thu Oct 12 21:52:41 2023: Inserted ≈55% of D-proof conclusions. [12080363 of 21964297] (ETC: Thu Oct 12 21:53:16 2023 ; 34 s 407.09 ms remaining ; 1 min 16 s 460.19 ms total)
Thu Oct 12 21:52:45 2023: Inserted ≈60% of D-proof conclusions. [13178578 of 21964297] (ETC: Thu Oct 12 21:53:15 2023 ; 30 s 264.10 ms remaining ; 1 min 15 s 660.25 ms total)
Thu Oct 12 21:52:48 2023: Inserted ≈65% of D-proof conclusions. [14276793 of 21964297] (ETC: Thu Oct 12 21:53:15 2023 ; 26 s 347.32 ms remaining ; 1 min 15 s 278.06 ms total)
Thu Oct 12 21:52:52 2023: Inserted ≈70% of D-proof conclusions. [15375007 of 21964297] (ETC: Thu Oct 12 21:53:14 2023 ; 22 s 511.00 ms remaining ; 1 min 15 s 36.66 ms total)
Thu Oct 12 21:52:55 2023: Inserted ≈75% of D-proof conclusions. [16473222 of 21964297] (ETC: Thu Oct 12 21:53:14 2023 ; 18 s 680.12 ms remaining ; 1 min 14 s 720.47 ms total)
Thu Oct 12 21:52:59 2023: Inserted ≈80% of D-proof conclusions. [17571437 of 21964297] (ETC: Thu Oct 12 21:53:13 2023 ; 14 s 824.33 ms remaining ; 1 min 14 s 121.62 ms total)
Thu Oct 12 21:53:01 2023: Inserted ≈85% of D-proof conclusions. [18669652 of 21964297] (ETC: Thu Oct 12 21:53:12 2023 ; 10 s 967.01 ms remaining ; 1 min 13 s 113.39 ms total)
Thu Oct 12 21:53:04 2023: Inserted ≈90% of D-proof conclusions. [19767867 of 21964297] (ETC: Thu Oct 12 21:53:12 2023 ; 7 s 228.12 ms remaining ; 1 min 12 s 281.21 ms total)
Thu Oct 12 21:53:08 2023: Inserted ≈95% of D-proof conclusions. [20866082 of 21964297] (ETC: Thu Oct 12 21:53:11 2023 ; 3 s 595.24 ms remaining ; 1 min 11 s 904.82 ms total)
Thu Oct 12 21:53:10 2023: Inserted 100% of D-proof conclusions. [21964297 of 21964297] (ETC: Thu Oct 12 21:53:10 2023 ; 0.00 ms remaining ; 1 min 10 s 996.10 ms total)
71030.33 ms (1 min 11 s 30.33 ms) total insertion duration.
Thu Oct 12 21:53:10 2023: Starting to iterate D-proof candidates of length 41.
70419.70 ms (1 min 10 s 419.70 ms) taken to iterate 78349744 condensed detachment proof strings of length 41.
[Copy] Next iteration count (unfiltered39+): { 41, 78349744 }
Thu Oct 12 21:54:21 2023: Next iteration amount counter complete. [parallel ; 48 hardware thread contexts, unfiltered]
Thu Oct 12 21:55:30 2023: Process terminated. [pid: 174621, tid:22357469009792]