-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
33-31.log
72 lines (72 loc) · 6.69 KB
/
33-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
71
72
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35020803 c16s_low 144 COMPLETED 0:0 00:34:48
35020803.ba+ 144 COMPLETED 0:0 00:34:48 20433108K
35020803.ex+ 144 COMPLETED 0:0 00:34:48 0
By 20433108 KiB = (20433108 / 1024^2) GiB = 19.486530303955078125 GiB, it used approximately 19.49 gibibytes of memory. )
Sat May 20 17:23:52 2023: Process started. [pid: 97647, tid:48005642722176]
Sat May 20 17:23:52 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.16 ms taken to load built-in representatives.
50.33 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:48005670344448]
65.07 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:48005672445696]
130.68 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:48005674546944]
753.38 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:48005676648192]
6514.28 ms (6 s 514.28 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:48005678749440]
1096.08 ms (1 s 96.08 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:48005680850688]
2238.15 ms (2 s 238.15 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:48005682951936]
6520.76 ms (6 s 520.76 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.
10405.08 ms (10 s 405.08 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:48005682951936]
27314.40 ms (27 s 314.39 ms) taken to read 45774890 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. [tid:48005680850688]
27318.10 ms (27 s 318.10 ms) additional read duration.
Loaded 2 more representative collections of sizes:
31 : 13194193
33 : 45774890
64150661 representatives in total.
Sat May 20 17:24:28 2023: Inserted 5% of D-proof conclusions. [ 3207533 of 64150661] (ETC: Sat May 20 17:25:00 2023 ; 31 s 973.67 ms remaining ; 33 s 656.50 ms total)
Sat May 20 17:24:29 2023: Inserted 10% of D-proof conclusions. [ 6415066 of 64150661] (ETC: Sat May 20 17:24:57 2023 ; 28 s 110.90 ms remaining ; 31 s 234.33 ms total)
Sat May 20 17:24:31 2023: Inserted 15% of D-proof conclusions. [ 9622599 of 64150661] (ETC: Sat May 20 17:24:57 2023 ; 25 s 883.80 ms remaining ; 30 s 451.53 ms total)
Sat May 20 17:24:32 2023: Inserted 20% of D-proof conclusions. [12830132 of 64150661] (ETC: Sat May 20 17:24:56 2023 ; 23 s 639.38 ms remaining ; 29 s 549.23 ms total)
Sat May 20 17:24:33 2023: Inserted 25% of D-proof conclusions. [16037665 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 21 s 706.27 ms remaining ; 28 s 941.70 ms total)
Sat May 20 17:24:35 2023: Inserted 30% of D-proof conclusions. [19245198 of 64150661] (ETC: Sat May 20 17:24:56 2023 ; 20 s 598.64 ms remaining ; 29 s 426.63 ms total)
Sat May 20 17:24:36 2023: Inserted 35% of D-proof conclusions. [22452731 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 18 s 753.76 ms remaining ; 28 s 851.94 ms total)
Sat May 20 17:24:38 2023: Inserted 40% of D-proof conclusions. [25660264 of 64150661] (ETC: Sat May 20 17:24:54 2023 ; 16 s 989.60 ms remaining ; 28 s 316.00 ms total)
Sat May 20 17:24:39 2023: Inserted 45% of D-proof conclusions. [28867797 of 64150661] (ETC: Sat May 20 17:24:54 2023 ; 15 s 347.28 ms remaining ; 27 s 904.14 ms total)
Sat May 20 17:24:40 2023: Inserted 50% of D-proof conclusions. [32075330 of 64150661] (ETC: Sat May 20 17:24:54 2023 ; 13 s 811.00 ms remaining ; 27 s 622.01 ms total)
Sat May 20 17:24:42 2023: Inserted 55% of D-proof conclusions. [35282863 of 64150661] (ETC: Sat May 20 17:24:54 2023 ; 12 s 611.52 ms remaining ; 28 s 25.61 ms total)
Sat May 20 17:24:43 2023: Inserted 60% of D-proof conclusions. [38490396 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 11 s 337.49 ms remaining ; 28 s 343.71 ms total)
Sat May 20 17:24:45 2023: Inserted 65% of D-proof conclusions. [41697929 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 9 s 997.31 ms remaining ; 28 s 563.75 ms total)
Sat May 20 17:24:46 2023: Inserted 70% of D-proof conclusions. [44905462 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 8 s 600.94 ms remaining ; 28 s 669.80 ms total)
Sat May 20 17:24:48 2023: Inserted 75% of D-proof conclusions. [48112995 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 7 s 203.72 ms remaining ; 28 s 814.88 ms total)
Sat May 20 17:24:49 2023: Inserted 80% of D-proof conclusions. [51320528 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 5 s 791.97 ms remaining ; 28 s 959.86 ms total)
Sat May 20 17:24:51 2023: Inserted 85% of D-proof conclusions. [54528061 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 4 s 362.48 ms remaining ; 29 s 83.20 ms total)
Sat May 20 17:24:52 2023: Inserted 90% of D-proof conclusions. [57735594 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 2 s 918.36 ms remaining ; 29 s 183.59 ms total)
Sat May 20 17:24:54 2023: Inserted 95% of D-proof conclusions. [60943127 of 64150661] (ETC: Sat May 20 17:24:55 2023 ; 1 s 461.17 ms remaining ; 29 s 223.36 ms total)
29019.21 ms (29 s 19.21 ms) total insertion duration.
Sat May 20 17:24:55 2023: Starting to iterate D-proof candidates of length 35.
1941608.98 ms (32 min 21 s 608.98 ms) taken to iterate 874253765 condensed detachment proof strings of length 35.
[Copy] Next iteration count (unfiltered31+): { 35, 874253765 }
Sat May 20 17:57:17 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 17:58:36 2023: Process terminated. [pid: 97647, tid:48005642722176]