forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
29-25.log
118 lines (117 loc) · 12.9 KB
/
29-25.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
( This log file was generated by executing 'pmGenerator -c -N -1 -n -s CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp --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
------------ ---------- ---------- ---------- -------- ---------- ----------
40838466 optane_low 64 COMPLETED 0:0 03:16:07
40838466.ba+ 64 COMPLETED 0:0 03:16:07 429105928K
40838466.ex+ 64 COMPLETED 0:0 03:16:07 8K
By 429105928 KiB = (429105928 / 1024^2) GiB = 409.22730255126953125 GiB, it used approximately 409.23 gibibytes of memory. )
Sun Nov 19 02:32:20 2023: Process started. [pid: 27794, tid:22976135608192]
Tasks:
1. resetRepresentativesFor("CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp", true, 4294967295, true)
2. countNextIterationAmount(false, true)
[Main] Calling resetRepresentativesFor("CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp", true, 4294967295, true).
Loaded 6 custom axioms. [SHA-512/224 hash: d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f]
(1) C0C1.0 - CpCqp - 0\imply(1\imply0)
(2) CC0C1.2CC0.1C0.2 - CCpCqrCCpqCpr - (0\imply(1\imply2))\imply((0\imply1)\imply(0\imply2))
(3) CCN0N1C1.0 - CCNpNqCqp - (\not0\imply\not1)\imply(1\imply0)
(4) CL0.0 - CLpp - \nece0\imply0
(5) CLC0.1CL0L1 - CLCpqCLpLq - \nece(0\imply1)\imply(\nece0\imply\nece1)
(6) CNLN0LNLN0 - CNLNpLNLNp - \not\nece\not0\imply\nece\not\nece\not0
Supports necessitation steps.
[Main] Calling countNextIterationAmount(false, true).
Sun Nov 19 02:32:20 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
18.58 ms taken to read 6 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs2.txt. [tid:22975940085504]
12.80 ms taken to read 17 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs3.txt. [tid:22975937984256]
13.32 ms taken to read 28 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs4.txt. [tid:22975935883008]
27.93 ms taken to read 56 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs5.txt. [tid:22975933781760]
16.65 ms taken to read 89 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs6.txt. [tid:22975931680512]
19.00 ms taken to read 203 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs7.txt. [tid:22975726221056]
9.08 ms taken to read 325 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs8.txt. [tid:22975724119808]
20.03 ms taken to read 666 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs9.txt. [tid:22975722018560]
26.02 ms taken to read 1174 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs10.txt. [tid:22975719917312]
23.57 ms taken to read 2340 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs11.txt. [tid:22975717816064]
36.90 ms taken to read 4106 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs12.txt. [tid:22975715714816]
44.95 ms taken to read 8396 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs13.txt. [tid:22975713613568]
48.53 ms taken to read 15153 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs14.txt. [tid:22975711512320]
56.74 ms taken to read 30340 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs15.txt. [tid:22975709411072]
88.61 ms taken to read 56725 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs16.txt. [tid:22975707309824]
177.15 ms taken to read 113539 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs17.txt. [tid:22975705208576]
527.70 ms taken to read 214468 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs18.txt. [tid:22975703107328]
1537.80 ms (1 s 537.80 ms) taken to read 431896 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs19.txt. [tid:22975701006080]
4368.30 ms (4 s 368.30 ms) taken to read 829754 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs20.txt. [tid:22975698904832]
1686.07 ms (1 s 686.07 ms) taken to read 1666562 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs21.txt. [tid:22975696803584]
2296.76 ms (2 s 296.76 ms) taken to read 3250922 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs22.txt. [tid:22975694702336]
3455.35 ms (3 s 455.35 ms) taken to read 6547739 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs23.txt. [tid:22975692601088]
4848.50 ms (4 s 848.50 ms) taken to read 12887201 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs24.txt. [tid:22975690499840]
4996.60 ms (4 s 996.60 ms) total read duration.
Loaded 24 representative collections of sizes:
1 : 6
2 : 6
3 : 17
4 : 28
5 : 56
6 : 89
7 : 203
8 : 325
9 : 666
10 : 1174
11 : 2340
12 : 4106
13 : 8396
14 : 15153
15 : 30340
16 : 56725
17 : 113539
18 : 214468
19 : 431896
20 : 829754
21 : 1666562
22 : 3250922
23 : 6547739
24 : 12887201
26061711 representatives in total.
36740.76 ms (36 s 740.76 ms) taken to read 28743307 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs25-unfiltered25+.txt. [tid:22975690499840]
61752.44 ms (1 min 1 s 752.44 ms) taken to read 59305631 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs26-unfiltered25+.txt. [tid:22975692601088]
102747.34 ms (1 min 42 s 747.34 ms) taken to read 128588180 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs27-unfiltered25+.txt. [tid:22975694702336]
158231.07 ms (2 min 38 s 231.07 ms) taken to read 268614600 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs28-unfiltered25+.txt. [tid:22975696803584]
236682.82 ms (3 min 56 s 682.82 ms) taken to read 568393543 condensed detachment proofs and conclusions from data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/dProofs-withConclusions/dProofs29-unfiltered25+.txt. [tid:22975698904832]
236728.65 ms (3 min 56 s 728.65 ms) additional read duration.
Loaded 5 more representative collections of sizes:
25 : 28743307
26 : 59305631
27 : 128588180
28 : 268614600
29 : 568393543
1079706972 representatives in total.
Sun Nov 19 02:37:12 2023: Inserted ≈ 5% of D-proof conclusions. [ 53985348 of 1079706972] (ETC: Sun Nov 19 02:52:57 2023 ; 15 min 44 s 763.97 ms remaining ; 16 min 34 s 488.39 ms total)
Sun Nov 19 02:38:03 2023: Inserted ≈10% of D-proof conclusions. [ 107970697 of 1079706972] (ETC: Sun Nov 19 02:53:14 2023 ; 15 min 10 s 303.90 ms remaining ; 16 min 51 s 448.78 ms total)
Sun Nov 19 02:38:59 2023: Inserted ≈15% of D-proof conclusions. [ 161956045 of 1079706972] (ETC: Sun Nov 19 02:53:46 2023 ; 14 min 47 s 362.48 ms remaining ; 17 min 23 s 955.86 ms total)
Sun Nov 19 02:39:56 2023: Inserted ≈20% of D-proof conclusions. [ 215941394 of 1079706972] (ETC: Sun Nov 19 02:54:13 2023 ; 14 min 16 s 331.05 ms remaining ; 17 min 50 s 413.82 ms total)
Sun Nov 19 02:40:53 2023: Inserted ≈25% of D-proof conclusions. [ 269926743 of 1079706972] (ETC: Sun Nov 19 02:54:27 2023 ; 13 min 33 s 265.81 ms remaining ; 18 min 4 s 354.41 ms total)
Sun Nov 19 02:41:49 2023: Inserted ≈30% of D-proof conclusions. [ 323912091 of 1079706972] (ETC: Sun Nov 19 02:54:32 2023 ; 12 min 43 s 120.50 ms remaining ; 18 min 10 s 172.14 ms total)
Sun Nov 19 02:42:47 2023: Inserted ≈35% of D-proof conclusions. [ 377897440 of 1079706972] (ETC: Sun Nov 19 02:54:43 2023 ; 11 min 55 s 609.07 ms remaining ; 18 min 20 s 937.02 ms total)
Sun Nov 19 02:43:45 2023: Inserted ≈40% of D-proof conclusions. [ 431882788 of 1079706972] (ETC: Sun Nov 19 02:54:49 2023 ; 11 min 4 s 98.07 ms remaining ; 18 min 26 s 830.12 ms total)
Sun Nov 19 02:44:41 2023: Inserted ≈45% of D-proof conclusions. [ 485868137 of 1079706972] (ETC: Sun Nov 19 02:54:51 2023 ; 10 min 9 s 858.63 ms remaining ; 18 min 28 s 833.87 ms total)
Sun Nov 19 02:45:32 2023: Inserted ≈50% of D-proof conclusions. [ 539853486 of 1079706972] (ETC: Sun Nov 19 02:54:42 2023 ; 9 min 9 s 780.65 ms remaining ; 18 min 19 s 561.30 ms total)
Sun Nov 19 02:46:08 2023: Inserted ≈55% of D-proof conclusions. [ 593838834 of 1079706972] (ETC: Sun Nov 19 02:54:08 2023 ; 7 min 59 s 716.12 ms remaining ; 17 min 46 s 35.82 ms total)
Sun Nov 19 02:46:48 2023: Inserted ≈60% of D-proof conclusions. [ 647824183 of 1079706972] (ETC: Sun Nov 19 02:53:46 2023 ; 6 min 57 s 390.62 ms remaining ; 17 min 23 s 476.54 ms total)
Sun Nov 19 02:47:32 2023: Inserted ≈65% of D-proof conclusions. [ 701809531 of 1079706972] (ETC: Sun Nov 19 02:53:33 2023 ; 6 min 778.71 ms remaining ; 17 min 10 s 796.31 ms total)
Sun Nov 19 02:48:22 2023: Inserted ≈70% of D-proof conclusions. [ 755794880 of 1079706972] (ETC: Sun Nov 19 02:53:31 2023 ; 5 min 8 s 664.74 ms remaining ; 17 min 8 s 882.47 ms total)
Sun Nov 19 02:49:17 2023: Inserted ≈75% of D-proof conclusions. [ 809780229 of 1079706972] (ETC: Sun Nov 19 02:53:35 2023 ; 4 min 18 s 305.69 ms remaining ; 17 min 13 s 222.78 ms total)
Sun Nov 19 02:50:14 2023: Inserted ≈80% of D-proof conclusions. [ 863765577 of 1079706972] (ETC: Sun Nov 19 02:53:42 2023 ; 3 min 27 s 957.00 ms remaining ; 17 min 19 s 784.98 ms total)
Sun Nov 19 02:51:08 2023: Inserted ≈85% of D-proof conclusions. [ 917750926 of 1079706972] (ETC: Sun Nov 19 02:53:44 2023 ; 2 min 36 s 310.65 ms remaining ; 17 min 22 s 71.01 ms total)
Sun Nov 19 02:52:04 2023: Inserted ≈90% of D-proof conclusions. [ 971736274 of 1079706972] (ETC: Sun Nov 19 02:53:49 2023 ; 1 min 44 s 640.56 ms remaining ; 17 min 26 s 405.60 ms total)
Sun Nov 19 02:53:04 2023: Inserted ≈95% of D-proof conclusions. [1025721623 of 1079706972] (ETC: Sun Nov 19 02:53:56 2023 ; 52 s 712.04 ms remaining ; 17 min 34 s 240.90 ms total)
Sun Nov 19 02:54:08 2023: Inserted 100% of D-proof conclusions. [1079706972 of 1079706972] (ETC: Sun Nov 19 02:54:08 2023 ; 0.00 ms remaining ; 17 min 45 s 798.67 ms total)
1065798.99 ms (17 min 45 s 798.99 ms) total insertion duration.
Sun Nov 19 02:54:08 2023: Starting to iterate D-proof candidates of length 30.
9153660.42 ms (2 h 32 min 33 s 660.42 ms) taken to iterate 19900274119 condensed detachment proof strings of length 30.
[Copy] Next iteration count (unfiltered25+): { 30, 19900274119 }
Sun Nov 19 05:26:42 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Sun Nov 19 05:48:03 2023: Process terminated. [pid: 27794, tid:22976135608192]