-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
35-33.log
74 lines (74 loc) · 7.08 KB
/
35-33.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
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35018566 c16s_low 144 COMPLETED 0:0 01:51:35
35018566.ba+ 144 COMPLETED 0:0 01:51:35 64397456K
35018566.ex+ 144 COMPLETED 0:0 01:51:35 0
By 64397456 KiB = (64397456 / 1024^2) GiB = 61.4141998291015625 GiB, it used approximately 61.41 gibibytes of memory. )
Sat May 20 13:06:02 2023: Process started. [pid: 41182, tid:47746590878592]
Sat May 20 13:06:02 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.19 ms taken to load built-in representatives.
2.99 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47746618500864]
13.85 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47746620602112]
128.74 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47746622703360]
779.50 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47746624804608]
6915.13 ms (6 s 915.13 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47746626905856]
1728.36 ms (1 s 728.36 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47746629007104]
3627.28 ms (3 s 627.28 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47746631108352]
7228.35 ms (7 s 228.35 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47746633209600]
7238.36 ms (7 s 238.35 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.
33267.15 ms (33 s 267.15 ms) taken to read 39933795 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered33+.txt. [tid:47746633209600]
88400.96 ms (1 min 28 s 400.96 ms) taken to read 139032027 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered33+.txt. [tid:47746631108352]
88404.20 ms (1 min 28 s 404.20 ms) additional read duration.
Loaded 2 more representative collections of sizes:
33 : 39933795
35 : 139032027
194558830 representatives in total.
Sat May 20 13:07:42 2023: Inserted 5% of D-proof conclusions. [ 9727941 of 194558830] (ETC: Sat May 20 13:09:11 2023 ; 1 min 29 s 166.64 ms remaining ; 1 min 33 s 859.62 ms total)
Sat May 20 13:07:47 2023: Inserted 10% of D-proof conclusions. [ 19455883 of 194558830] (ETC: Sat May 20 13:09:09 2023 ; 1 min 22 s 324.28 ms remaining ; 1 min 31 s 471.42 ms total)
Sat May 20 13:07:51 2023: Inserted 15% of D-proof conclusions. [ 29183824 of 194558830] (ETC: Sat May 20 13:09:07 2023 ; 1 min 16 s 288.89 ms remaining ; 1 min 29 s 751.63 ms total)
Sat May 20 13:07:56 2023: Inserted 20% of D-proof conclusions. [ 38911766 of 194558830] (ETC: Sat May 20 13:09:10 2023 ; 1 min 13 s 904.13 ms remaining ; 1 min 32 s 380.16 ms total)
Sat May 20 13:08:01 2023: Inserted 25% of D-proof conclusions. [ 48639707 of 194558830] (ETC: Sat May 20 13:09:11 2023 ; 1 min 10 s 197.12 ms remaining ; 1 min 33 s 596.16 ms total)
Sat May 20 13:08:05 2023: Inserted 30% of D-proof conclusions. [ 58367649 of 194558830] (ETC: Sat May 20 13:09:10 2023 ; 1 min 4 s 596.40 ms remaining ; 1 min 32 s 280.57 ms total)
Sat May 20 13:08:08 2023: Inserted 35% of D-proof conclusions. [ 68095590 of 194558830] (ETC: Sat May 20 13:09:06 2023 ; 57 s 470.80 ms remaining ; 1 min 28 s 416.61 ms total)
Sat May 20 13:08:12 2023: Inserted 40% of D-proof conclusions. [ 77823532 of 194558830] (ETC: Sat May 20 13:09:04 2023 ; 51 s 714.90 ms remaining ; 1 min 26 s 191.50 ms total)
Sat May 20 13:08:15 2023: Inserted 45% of D-proof conclusions. [ 87551473 of 194558830] (ETC: Sat May 20 13:09:01 2023 ; 46 s 188.35 ms remaining ; 1 min 23 s 978.82 ms total)
Sat May 20 13:08:18 2023: Inserted 50% of D-proof conclusions. [ 97279415 of 194558830] (ETC: Sat May 20 13:08:59 2023 ; 40 s 940.35 ms remaining ; 1 min 21 s 880.70 ms total)
Sat May 20 13:08:22 2023: Inserted 55% of D-proof conclusions. [107007356 of 194558830] (ETC: Sat May 20 13:08:58 2023 ; 36 s 267.15 ms remaining ; 1 min 20 s 593.66 ms total)
Sat May 20 13:08:26 2023: Inserted 60% of D-proof conclusions. [116735298 of 194558830] (ETC: Sat May 20 13:08:59 2023 ; 32 s 565.96 ms remaining ; 1 min 21 s 414.90 ms total)
Sat May 20 13:08:31 2023: Inserted 65% of D-proof conclusions. [126463239 of 194558830] (ETC: Sat May 20 13:08:59 2023 ; 28 s 696.70 ms remaining ; 1 min 21 s 990.56 ms total)
Sat May 20 13:08:36 2023: Inserted 70% of D-proof conclusions. [136191181 of 194558830] (ETC: Sat May 20 13:09:01 2023 ; 24 s 960.96 ms remaining ; 1 min 23 s 203.19 ms total)
Sat May 20 13:08:41 2023: Inserted 75% of D-proof conclusions. [145919122 of 194558830] (ETC: Sat May 20 13:09:02 2023 ; 21 s 79.89 ms remaining ; 1 min 24 s 319.58 ms total)
Sat May 20 13:08:46 2023: Inserted 80% of D-proof conclusions. [155647064 of 194558830] (ETC: Sat May 20 13:09:03 2023 ; 17 s 22.92 ms remaining ; 1 min 25 s 114.60 ms total)
Sat May 20 13:08:50 2023: Inserted 85% of D-proof conclusions. [165375005 of 194558830] (ETC: Sat May 20 13:09:03 2023 ; 12 s 867.38 ms remaining ; 1 min 25 s 782.52 ms total)
Sat May 20 13:08:55 2023: Inserted 90% of D-proof conclusions. [175102947 of 194558830] (ETC: Sat May 20 13:09:04 2023 ; 8 s 625.41 ms remaining ; 1 min 26 s 254.08 ms total)
Sat May 20 13:09:00 2023: Inserted 95% of D-proof conclusions. [184830888 of 194558830] (ETC: Sat May 20 13:09:04 2023 ; 4 s 323.27 ms remaining ; 1 min 26 s 465.32 ms total)
86567.14 ms (1 min 26 s 567.14 ms) total insertion duration.
Sat May 20 13:09:04 2023: Starting to iterate D-proof candidates of length 37.
6215400.29 ms (1 h 43 min 35 s 400.29 ms) taken to iterate 2703737502 condensed detachment proof strings of length 37.
[Copy] Next iteration count (unfiltered33+): { 37, 2703737502 }
Sat May 20 14:52:39 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 14:57:23 2023: Process terminated. [pid: 41182, tid:47746590878592]