-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
31.log
67 lines (67 loc) · 6.29 KB
/
31.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
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35021348 c16s_low 144 COMPLETED 0:0 00:10:11
35021348.ba+ 144 COMPLETED 0:0 00:10:11 5241228K
35021348.ex+ 144 COMPLETED 0:0 00:10:11 0
By 5241228 KiB = (5241228 / 1024^2) GiB = 4.998424530029296875 GiB, it used approximately 5.00 gibibytes of memory. )
Sat May 20 17:41:14 2023: Process started. [pid: 6792, tid:47565227387776]
Sat May 20 17:41:14 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.18 ms taken to load built-in representatives.
58.08 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47565255001856]
89.63 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47565257103104]
132.78 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47565259204352]
797.13 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47565261305600]
6652.05 ms (6 s 652.05 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47565263406848]
1655.69 ms (1 s 655.69 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47565265508096]
4000.25 ms (4 s 0.25 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47565267609344]
7270.83 ms (7 s 270.83 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47565269710592]
7293.67 ms (7 s 293.67 ms) total read duration.
Loaded 16 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
31 : 10411430
15593008 representatives in total.
Sat May 20 17:41:22 2023: Inserted 5% of D-proof conclusions. [ 779650 of 15593008] (ETC: Sat May 20 17:41:30 2023 ; 8 s 349.10 ms remaining ; 8 s 788.52 ms total)
Sat May 20 17:41:22 2023: Inserted 10% of D-proof conclusions. [ 1559300 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 6 s 584.57 ms remaining ; 7 s 316.18 ms total)
Sat May 20 17:41:22 2023: Inserted 15% of D-proof conclusions. [ 2338951 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 6 s 16.88 ms remaining ; 7 s 78.68 ms total)
Sat May 20 17:41:22 2023: Inserted 20% of D-proof conclusions. [ 3118601 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 5 s 442.19 ms remaining ; 6 s 802.74 ms total)
Sat May 20 17:41:23 2023: Inserted 25% of D-proof conclusions. [ 3898252 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 975.63 ms remaining ; 6 s 634.17 ms total)
Sat May 20 17:41:23 2023: Inserted 30% of D-proof conclusions. [ 4677902 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 715.19 ms remaining ; 6 s 735.98 ms total)
Sat May 20 17:41:23 2023: Inserted 35% of D-proof conclusions. [ 5457552 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 383.32 ms remaining ; 6 s 743.57 ms total)
Sat May 20 17:41:24 2023: Inserted 40% of D-proof conclusions. [ 6237203 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 981.13 ms remaining ; 6 s 635.21 ms total)
Sat May 20 17:41:24 2023: Inserted 45% of D-proof conclusions. [ 7016853 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 603.29 ms remaining ; 6 s 551.44 ms total)
Sat May 20 17:41:24 2023: Inserted 50% of D-proof conclusions. [ 7796504 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 241.86 ms remaining ; 6 s 483.73 ms total)
Sat May 20 17:41:25 2023: Inserted 55% of D-proof conclusions. [ 8576154 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 941.43 ms remaining ; 6 s 536.51 ms total)
Sat May 20 17:41:25 2023: Inserted 60% of D-proof conclusions. [ 9355804 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 604.07 ms remaining ; 6 s 510.18 ms total)
Sat May 20 17:41:25 2023: Inserted 65% of D-proof conclusions. [10135455 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 239.88 ms remaining ; 6 s 399.67 ms total)
Sat May 20 17:41:26 2023: Inserted 70% of D-proof conclusions. [10915105 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 880.88 ms remaining ; 6 s 269.61 ms total)
Sat May 20 17:41:26 2023: Inserted 75% of D-proof conclusions. [11694756 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 545.84 ms remaining ; 6 s 183.34 ms total)
Sat May 20 17:41:26 2023: Inserted 80% of D-proof conclusions. [12474406 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 226.53 ms remaining ; 6 s 132.67 ms total)
Sat May 20 17:41:26 2023: Inserted 85% of D-proof conclusions. [13254056 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 914.07 ms remaining ; 6 s 93.78 ms total)
Sat May 20 17:41:27 2023: Inserted 90% of D-proof conclusions. [14033707 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 606.39 ms remaining ; 6 s 63.93 ms total)
Sat May 20 17:41:27 2023: Inserted 95% of D-proof conclusions. [14813357 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 302.51 ms remaining ; 6 s 50.18 ms total)
6048.95 ms (6 s 48.95 ms) total insertion duration.
Sat May 20 17:41:27 2023: Starting to iterate D-proof candidates of length 33.
576453.09 ms (9 min 36 s 453.09 ms) taken to iterate 243907474 condensed detachment proof strings of length 33.
[Copy] Next iteration count (filtered): { 33, 243907474 }
Sat May 20 17:51:04 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 17:51:23 2023: Process terminated. [pid: 6792, tid:47565227387776]