forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path49.log
101 lines (100 loc) · 10.7 KB
/
49.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
( 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 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
------------ ---------- ---------- ---------- -------- ---------- ----------
40289352 c18m_low 48 COMPLETED 0:0 00:01:41
40289352.ba+ 48 COMPLETED 0:0 00:01:41 60236620K
40289352.ex+ 48 COMPLETED 0:0 00:01:41 80K
By 60236620 KiB = (60236620 / 1024^2) GiB = 57.446117401123046875 GiB, it used approximately 57.45 gibibytes of memory. )
Mon Oct 23 06:47:54 2023: Process started. [pid: 95041, tid:23194381506432]
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).
Mon Oct 23 06:47:54 2023: Next iteration amount counter started. [parallel ; 48 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
22.00 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs3.txt. [tid:23194321258240]
19.05 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs5.txt. [tid:23194319156992]
15.10 ms taken to read 2 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs7.txt. [tid:23194317055744]
22.33 ms taken to read 4 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs9.txt. [tid:23194314954496]
23.13 ms taken to read 7 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs11.txt. [tid:23194312853248]
25.41 ms taken to read 12 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs13.txt. [tid:23194310752000]
12.59 ms taken to read 22 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs15.txt. [tid:23194308650752]
31.60 ms taken to read 42 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs17.txt. [tid:23194306549504]
32.69 ms taken to read 80 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs19.txt. [tid:23194304448256]
21.55 ms taken to read 151 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs21.txt. [tid:23194302347008]
52.95 ms taken to read 287 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs23.txt. [tid:23194232682240]
49.38 ms taken to read 555 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs25.txt. [tid:23194230580992]
73.88 ms taken to read 1081 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs27.txt. [tid:23194228479744]
98.11 ms taken to read 2107 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs29.txt. [tid:23194226378496]
274.09 ms taken to read 4123 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs31.txt. [tid:23194224277248]
1125.69 ms (1 s 125.69 ms) taken to read 8112 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs33.txt. [tid:23194222176000]
5253.53 ms (5 s 253.53 ms) taken to read 16029 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs35.txt. [tid:23194220074752]
533.84 ms taken to read 31774 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs37.txt. [tid:23194217973504]
1102.48 ms (1 s 102.48 ms) taken to read 63152 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs39.txt. [tid:23194215872256]
1790.31 ms (1 s 790.31 ms) taken to read 125873 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs41.txt. [tid:23194213771008]
3305.92 ms (3 s 305.92 ms) taken to read 251561 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs43.txt. [tid:23194211669760]
5890.31 ms (5 s 890.31 ms) taken to read 503956 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs45.txt. [tid:23194209568512]
11281.88 ms (11 s 281.88 ms) taken to read 1011747 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs47.txt. [tid:23194207467264]
22225.35 ms (22 s 225.35 ms) taken to read 2035230 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs49.txt. [tid:23194205366016]
22241.72 ms (22 s 241.72 ms) total read duration.
Loaded 25 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
4055910 representatives in total.
Mon Oct 23 06:48:18 2023: Inserted ≈ 5% of D-proof conclusions. [ 202795 of 4055910] (ETC: Mon Oct 23 06:48:48 2023 ; 29 s 507.57 ms remaining ; 31 s 60.60 ms total)
Mon Oct 23 06:48:20 2023: Inserted ≈10% of D-proof conclusions. [ 405591 of 4055910] (ETC: Mon Oct 23 06:48:50 2023 ; 30 s 236.04 ms remaining ; 33 s 595.60 ms total)
Mon Oct 23 06:48:22 2023: Inserted ≈15% of D-proof conclusions. [ 608386 of 4055910] (ETC: Mon Oct 23 06:48:55 2023 ; 32 s 254.19 ms remaining ; 37 s 946.10 ms total)
Mon Oct 23 06:48:25 2023: Inserted ≈20% of D-proof conclusions. [ 811182 of 4055910] (ETC: Mon Oct 23 06:48:56 2023 ; 31 s 509.79 ms remaining ; 39 s 387.24 ms total)
Mon Oct 23 06:48:27 2023: Inserted ≈25% of D-proof conclusions. [1013977 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 32 s 42.04 ms remaining ; 42 s 722.71 ms total)
Mon Oct 23 06:48:29 2023: Inserted ≈30% of D-proof conclusions. [1216773 of 4055910] (ETC: Mon Oct 23 06:48:58 2023 ; 29 s 61.17 ms remaining ; 41 s 515.95 ms total)
Mon Oct 23 06:48:31 2023: Inserted ≈35% of D-proof conclusions. [1419568 of 4055910] (ETC: Mon Oct 23 06:48:58 2023 ; 26 s 797.56 ms remaining ; 41 s 227.00 ms total)
Mon Oct 23 06:48:33 2023: Inserted ≈40% of D-proof conclusions. [1622364 of 4055910] (ETC: Mon Oct 23 06:48:58 2023 ; 24 s 923.70 ms remaining ; 41 s 539.50 ms total)
Mon Oct 23 06:48:36 2023: Inserted ≈45% of D-proof conclusions. [1825159 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 23 s 526.73 ms remaining ; 42 s 775.87 ms total)
Mon Oct 23 06:48:39 2023: Inserted ≈50% of D-proof conclusions. [2027955 of 4055910] (ETC: Mon Oct 23 06:49:02 2023 ; 22 s 695.28 ms remaining ; 45 s 390.57 ms total)
Mon Oct 23 06:48:41 2023: Inserted ≈55% of D-proof conclusions. [2230750 of 4055910] (ETC: Mon Oct 23 06:49:01 2023 ; 19 s 914.37 ms remaining ; 44 s 254.15 ms total)
Mon Oct 23 06:48:43 2023: Inserted ≈60% of D-proof conclusions. [2433546 of 4055910] (ETC: Mon Oct 23 06:49:00 2023 ; 17 s 350.17 ms remaining ; 43 s 375.42 ms total)
Mon Oct 23 06:48:44 2023: Inserted ≈65% of D-proof conclusions. [2636341 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 14 s 867.80 ms remaining ; 42 s 479.41 ms total)
Mon Oct 23 06:48:46 2023: Inserted ≈70% of D-proof conclusions. [2839137 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 12 s 607.93 ms remaining ; 42 s 26.44 ms total)
Mon Oct 23 06:48:48 2023: Inserted ≈75% of D-proof conclusions. [3041932 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 10 s 494.01 ms remaining ; 41 s 976.03 ms total)
Mon Oct 23 06:48:50 2023: Inserted ≈80% of D-proof conclusions. [3244728 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 8 s 384.50 ms remaining ; 41 s 922.48 ms total)
Mon Oct 23 06:48:53 2023: Inserted ≈85% of D-proof conclusions. [3447523 of 4055910] (ETC: Mon Oct 23 06:48:59 2023 ; 6 s 335.68 ms remaining ; 42 s 237.80 ms total)
Mon Oct 23 06:48:55 2023: Inserted ≈90% of D-proof conclusions. [3650319 of 4055910] (ETC: Mon Oct 23 06:49:00 2023 ; 4 s 312.07 ms remaining ; 43 s 120.73 ms total)
Mon Oct 23 06:48:59 2023: Inserted ≈95% of D-proof conclusions. [3853114 of 4055910] (ETC: Mon Oct 23 06:49:01 2023 ; 2 s 224.93 ms remaining ; 44 s 498.58 ms total)
Mon Oct 23 06:49:03 2023: Inserted 100% of D-proof conclusions. [4055910 of 4055910] (ETC: Mon Oct 23 06:49:03 2023 ; 0.00 ms remaining ; 45 s 880.56 ms total)
45880.77 ms (45 s 880.77 ms) total insertion duration.
Mon Oct 23 06:49:03 2023: Starting to iterate D-proof candidates of length 51.
17310.50 ms (17 s 310.50 ms) taken to iterate 14372995 condensed detachment proof strings of length 51.
[Copy] Next iteration count (filtered): { 51, 14372995 }
Mon Oct 23 06:49:20 2023: Next iteration amount counter complete. [parallel ; 48 hardware thread contexts, unfiltered]
Mon Oct 23 06:49:27 2023: Process terminated. [pid: 95041, tid:23194381506432]