-
Notifications
You must be signed in to change notification settings - Fork 3
/
29.log
65 lines (65 loc) · 6.08 KB
/
29.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
( This log file was generated by executing 'DlProofEnumerator::countNextIterationAmount(false, true)' (pmGenerator 1.1, c++11 branch), compiled by 'icpc (ICC) 19.0.1.144 20181018'.
The run was executed on a CLAIX-2016 SMP node
— 8-socket Intel Xeon E7-8860v4 (Broadwell-EX), 18 cores each (144 cores total per node), 2.2 GHz, 3.2 GHz turbo mode, 1024 GiB main memory —
running Linux, CentOS 7.9.
The job led to the following output:
$ sacct --format="JobID,Partition,AllocCPUS,State,ExitCode,Elapsed,MaxRSS"
JobID Partition AllocCPUS State ExitCode Elapsed MaxRSS
------------ ---------- ---------- ---------- -------- ---------- ----------
35021466 c16s_low 144 COMPLETED 0:0 00:03:11
35021466.ba+ 144 COMPLETED 0:0 00:03:11 2266700K
35021466.ex+ 144 COMPLETED 0:0 00:03:11 0
By 2266700 KiB = (2266700 / 1024^2) GiB = 2.161693572998046875 GiB, it used approximately 2.16 gibibytes of memory. )
Sat May 20 17:58:51 2023: Process started. [pid: 112178, tid:47484758248320]
Sat May 20 17:58:51 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.13 ms taken to load built-in representatives.
36.60 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47484785870592]
68.51 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47484787971840]
128.03 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47484790073088]
776.10 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47484792174336]
5894.24 ms (5 s 894.24 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47484794275584]
1205.06 ms (1 s 205.06 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47484796376832]
2362.49 ms (2 s 362.49 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47484798478080]
5902.14 ms (5 s 902.14 ms) total read duration.
Loaded 15 representative collections of sizes:
1 : 3
3 : 6
5 : 12
7 : 38
9 : 89
11 : 229
13 : 672
15 : 1844
17 : 5221
19 : 15275
21 : 44206
23 : 129885
25 : 385789
27 : 1149058
29 : 3449251
5181578 representatives in total.
Sat May 20 17:58:57 2023: Inserted 5% of D-proof conclusions. [ 259078 of 5181578] (ETC: Sat May 20 17:59:03 2023 ; 6 s 109.40 ms remaining ; 6 s 430.94 ms total)
Sat May 20 17:58:57 2023: Inserted 10% of D-proof conclusions. [ 518157 of 5181578] (ETC: Sat May 20 17:59:01 2023 ; 4 s 293.47 ms remaining ; 4 s 770.52 ms total)
Sat May 20 17:58:57 2023: Inserted 15% of D-proof conclusions. [ 777236 of 5181578] (ETC: Sat May 20 17:59:01 2023 ; 3 s 629.76 ms remaining ; 4 s 270.31 ms total)
Sat May 20 17:58:57 2023: Inserted 20% of D-proof conclusions. [1036315 of 5181578] (ETC: Sat May 20 17:59:01 2023 ; 3 s 194.22 ms remaining ; 3 s 992.78 ms total)
Sat May 20 17:58:58 2023: Inserted 25% of D-proof conclusions. [1295394 of 5181578] (ETC: Sat May 20 17:59:01 2023 ; 2 s 912.96 ms remaining ; 3 s 883.95 ms total)
Sat May 20 17:58:58 2023: Inserted 30% of D-proof conclusions. [1554473 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 2 s 649.80 ms remaining ; 3 s 785.43 ms total)
Sat May 20 17:58:58 2023: Inserted 35% of D-proof conclusions. [1813552 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 2 s 412.50 ms remaining ; 3 s 711.53 ms total)
Sat May 20 17:58:58 2023: Inserted 40% of D-proof conclusions. [2072631 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 2 s 167.17 ms remaining ; 3 s 611.95 ms total)
Sat May 20 17:58:58 2023: Inserted 45% of D-proof conclusions. [2331710 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 991.79 ms remaining ; 3 s 621.45 ms total)
Sat May 20 17:58:58 2023: Inserted 50% of D-proof conclusions. [2590789 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 804.51 ms remaining ; 3 s 609.01 ms total)
Sat May 20 17:58:59 2023: Inserted 55% of D-proof conclusions. [2849867 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 614.40 ms remaining ; 3 s 587.56 ms total)
Sat May 20 17:58:59 2023: Inserted 60% of D-proof conclusions. [3108946 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 417.69 ms remaining ; 3 s 544.22 ms total)
Sat May 20 17:58:59 2023: Inserted 65% of D-proof conclusions. [3368025 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 219.56 ms remaining ; 3 s 484.45 ms total)
Sat May 20 17:58:59 2023: Inserted 70% of D-proof conclusions. [3627104 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 1 s 34.70 ms remaining ; 3 s 449.00 ms total)
Sat May 20 17:58:59 2023: Inserted 75% of D-proof conclusions. [3886183 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 850.87 ms remaining ; 3 s 403.48 ms total)
Sat May 20 17:58:59 2023: Inserted 80% of D-proof conclusions. [4145262 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 671.97 ms remaining ; 3 s 359.86 ms total)
Sat May 20 17:59:00 2023: Inserted 85% of D-proof conclusions. [4404341 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 505.84 ms remaining ; 3 s 372.29 ms total)
Sat May 20 17:59:00 2023: Inserted 90% of D-proof conclusions. [4663420 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 337.42 ms remaining ; 3 s 374.19 ms total)
Sat May 20 17:59:00 2023: Inserted 95% of D-proof conclusions. [4922499 of 5181578] (ETC: Sat May 20 17:59:00 2023 ; 168.13 ms remaining ; 3 s 362.56 ms total)
3335.99 ms (3 s 335.99 ms) total insertion duration.
Sat May 20 17:59:00 2023: Starting to iterate D-proof candidates of length 31.
174231.17 ms (2 min 54 s 231.17 ms) taken to iterate 78896376 condensed detachment proof strings of length 31.
[Copy] Next iteration count (filtered): { 31, 78896376 }
Sat May 20 18:01:54 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 18:01:58 2023: Process terminated. [pid: 112178, tid:47484758248320]