-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
31-31.log
70 lines (70 loc) · 6.46 KB
/
31-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
68
69
70
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35021355 c16s_low 144 COMPLETED 0:0 00:11:33
35021355.ba+ 144 COMPLETED 0:0 00:11:33 6058400K
35021355.ex+ 144 COMPLETED 0:0 00:11:33 0
By 6058400 KiB = (6058400 / 1024^2) GiB = 5.777740478515625 GiB, it used approximately 5.78 gibibytes of memory. )
Sat May 20 17:51:27 2023: Process started. [pid: 11215, tid:47754501131136]
Sat May 20 17:51:27 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.16 ms taken to load built-in representatives.
48.74 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47754528753408]
81.46 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47754530854656]
145.41 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47754532955904]
730.86 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47754736830208]
5618.19 ms (5 s 618.19 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47754738931456]
1169.63 ms (1 s 169.63 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47754741032704]
2256.00 ms (2 s 256.00 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47754743133952]
5625.85 ms (5 s 625.85 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.
6216.73 ms (6 s 216.73 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:47754743133952]
6219.02 ms (6 s 219.02 ms) additional read duration.
Loaded 1 more representative collection of size:
31 : 13194193
18375771 representatives in total.
Sat May 20 17:51:40 2023: Inserted 5% of D-proof conclusions. [ 918788 of 18375771] (ETC: Sat May 20 17:51:52 2023 ; 12 s 357.59 ms remaining ; 13 s 7.99 ms total)
Sat May 20 17:51:40 2023: Inserted 10% of D-proof conclusions. [ 1837577 of 18375771] (ETC: Sat May 20 17:51:50 2023 ; 10 s 340.48 ms remaining ; 11 s 489.42 ms total)
Sat May 20 17:51:41 2023: Inserted 15% of D-proof conclusions. [ 2756365 of 18375771] (ETC: Sat May 20 17:51:50 2023 ; 9 s 666.26 ms remaining ; 11 s 372.07 ms total)
Sat May 20 17:51:41 2023: Inserted 20% of D-proof conclusions. [ 3675154 of 18375771] (ETC: Sat May 20 17:51:50 2023 ; 8 s 771.36 ms remaining ; 10 s 964.20 ms total)
Sat May 20 17:51:42 2023: Inserted 25% of D-proof conclusions. [ 4593942 of 18375771] (ETC: Sat May 20 17:51:50 2023 ; 8 s 5.47 ms remaining ; 10 s 673.97 ms total)
Sat May 20 17:51:42 2023: Inserted 30% of D-proof conclusions. [ 5512731 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 7 s 303.52 ms remaining ; 10 s 433.60 ms total)
Sat May 20 17:51:42 2023: Inserted 35% of D-proof conclusions. [ 6431519 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 6 s 649.32 ms remaining ; 10 s 229.73 ms total)
Sat May 20 17:51:43 2023: Inserted 40% of D-proof conclusions. [ 7350308 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 6 s 16.69 ms remaining ; 10 s 27.82 ms total)
Sat May 20 17:51:43 2023: Inserted 45% of D-proof conclusions. [ 8269096 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 5 s 412.25 ms remaining ; 9 s 840.45 ms total)
Sat May 20 17:51:44 2023: Inserted 50% of D-proof conclusions. [ 9187885 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 4 s 939.49 ms remaining ; 9 s 878.98 ms total)
Sat May 20 17:51:44 2023: Inserted 55% of D-proof conclusions. [10106674 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 4 s 450.33 ms remaining ; 9 s 889.61 ms total)
Sat May 20 17:51:45 2023: Inserted 60% of D-proof conclusions. [11025462 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 3 s 956.16 ms remaining ; 9 s 890.41 ms total)
Sat May 20 17:51:45 2023: Inserted 65% of D-proof conclusions. [11944251 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 3 s 457.53 ms remaining ; 9 s 878.65 ms total)
Sat May 20 17:51:46 2023: Inserted 70% of D-proof conclusions. [12863039 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 2 s 955.50 ms remaining ; 9 s 851.67 ms total)
Sat May 20 17:51:46 2023: Inserted 75% of D-proof conclusions. [13781828 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 2 s 455.04 ms remaining ; 9 s 820.16 ms total)
Sat May 20 17:51:47 2023: Inserted 80% of D-proof conclusions. [14700616 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 1 s 957.84 ms remaining ; 9 s 789.22 ms total)
Sat May 20 17:51:47 2023: Inserted 85% of D-proof conclusions. [15619405 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 1 s 462.15 ms remaining ; 9 s 747.66 ms total)
Sat May 20 17:51:48 2023: Inserted 90% of D-proof conclusions. [16538193 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 969.08 ms remaining ; 9 s 690.77 ms total)
Sat May 20 17:51:48 2023: Inserted 95% of D-proof conclusions. [17456982 of 18375771] (ETC: Sat May 20 17:51:49 2023 ; 488.16 ms remaining ; 9 s 763.18 ms total)
9803.91 ms (9 s 803.91 ms) total insertion duration.
Sat May 20 17:51:49 2023: Starting to iterate D-proof candidates of length 33.
642484.46 ms (10 min 42 s 484.46 ms) taken to iterate 260604052 condensed detachment proof strings of length 33.
[Copy] Next iteration count (unfiltered31+): { 33, 260604052 }
Sat May 20 18:02:31 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 18:02:57 2023: Process terminated. [pid: 11215, tid:47754501131136]