-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
33-33.log
72 lines (72 loc) · 6.67 KB
/
33-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
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35020147 c16s_low 144 COMPLETED 0:0 00:33:38
35020147.ba+ 144 COMPLETED 0:0 00:33:38 17866312K
35020147.ex+ 144 COMPLETED 0:0 00:33:38 0
By 17866312 KiB = (17866312 / 1024^2) GiB = 17.03864288330078125 GiB, it used approximately 17.04 gibibytes of memory. )
Sat May 20 16:56:27 2023: Process started. [pid: 134828, tid:47271234517888]
Sat May 20 16:56:27 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.16 ms taken to load built-in representatives.
37.01 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47271262140160]
79.74 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47271264241408]
122.15 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47271266342656]
848.51 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47271268443904]
6196.92 ms (6 s 196.92 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47271270545152]
1605.60 ms (1 s 605.60 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47271272646400]
3939.57 ms (3 s 939.57 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47271274747648]
7530.73 ms (7 s 530.73 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47271276848896]
7542.79 ms (7 s 542.79 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.
19141.73 ms (19 s 141.73 ms) taken to read 39933795 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered33+.txt. [tid:47271276848896]
19143.95 ms (19 s 143.95 ms) additional read duration.
Loaded 1 more representative collection of size:
33 : 39933795
55526803 representatives in total.
Sat May 20 16:56:55 2023: Inserted 5% of D-proof conclusions. [ 2776340 of 55526803] (ETC: Sat May 20 16:57:21 2023 ; 26 s 144.61 ms remaining ; 27 s 520.64 ms total)
Sat May 20 16:56:56 2023: Inserted 10% of D-proof conclusions. [ 5552680 of 55526803] (ETC: Sat May 20 16:57:19 2023 ; 23 s 116.83 ms remaining ; 25 s 685.37 ms total)
Sat May 20 16:56:57 2023: Inserted 15% of D-proof conclusions. [ 8329020 of 55526803] (ETC: Sat May 20 16:57:18 2023 ; 20 s 831.47 ms remaining ; 24 s 507.61 ms total)
Sat May 20 16:56:58 2023: Inserted 20% of D-proof conclusions. [11105360 of 55526803] (ETC: Sat May 20 16:57:18 2023 ; 19 s 407.13 ms remaining ; 24 s 258.91 ms total)
Sat May 20 16:56:59 2023: Inserted 25% of D-proof conclusions. [13881700 of 55526803] (ETC: Sat May 20 16:57:17 2023 ; 17 s 219.25 ms remaining ; 22 s 959.00 ms total)
Sat May 20 16:57:00 2023: Inserted 30% of D-proof conclusions. [16658040 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 15 s 581.26 ms remaining ; 22 s 258.94 ms total)
Sat May 20 16:57:01 2023: Inserted 35% of D-proof conclusions. [19434381 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 14 s 536.74 ms remaining ; 22 s 364.21 ms total)
Sat May 20 16:57:02 2023: Inserted 40% of D-proof conclusions. [22210721 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 13 s 194.25 ms remaining ; 21 s 990.42 ms total)
Sat May 20 16:57:03 2023: Inserted 45% of D-proof conclusions. [24987061 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 11 s 882.62 ms remaining ; 21 s 604.76 ms total)
Sat May 20 16:57:04 2023: Inserted 50% of D-proof conclusions. [27763401 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 10 s 660.18 ms remaining ; 21 s 320.36 ms total)
Sat May 20 16:57:05 2023: Inserted 55% of D-proof conclusions. [30539741 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 9 s 572.39 ms remaining ; 21 s 271.99 ms total)
Sat May 20 16:57:06 2023: Inserted 60% of D-proof conclusions. [33316081 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 8 s 523.14 ms remaining ; 21 s 307.86 ms total)
Sat May 20 16:57:08 2023: Inserted 65% of D-proof conclusions. [36092421 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 7 s 596.43 ms remaining ; 21 s 704.09 ms total)
Sat May 20 16:57:09 2023: Inserted 70% of D-proof conclusions. [38868762 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 6 s 536.20 ms remaining ; 21 s 787.34 ms total)
Sat May 20 16:57:10 2023: Inserted 75% of D-proof conclusions. [41645102 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 5 s 457.48 ms remaining ; 21 s 829.91 ms total)
Sat May 20 16:57:11 2023: Inserted 80% of D-proof conclusions. [44421442 of 55526803] (ETC: Sat May 20 16:57:15 2023 ; 4 s 376.44 ms remaining ; 21 s 882.18 ms total)
Sat May 20 16:57:12 2023: Inserted 85% of D-proof conclusions. [47197782 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 3 s 295.57 ms remaining ; 21 s 970.50 ms total)
Sat May 20 16:57:13 2023: Inserted 90% of D-proof conclusions. [49974122 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 2 s 198.00 ms remaining ; 21 s 980.04 ms total)
Sat May 20 16:57:14 2023: Inserted 95% of D-proof conclusions. [52750462 of 55526803] (ETC: Sat May 20 16:57:16 2023 ; 1 s 99.03 ms remaining ; 21 s 980.63 ms total)
22026.40 ms (22 s 26.40 ms) total insertion duration.
Sat May 20 16:57:16 2023: Starting to iterate D-proof candidates of length 35.
1882229.97 ms (31 min 22 s 229.97 ms) taken to iterate 805814039 condensed detachment proof strings of length 35.
[Copy] Next iteration count (unfiltered33+): { 35, 805814039 }
Sat May 20 17:28:38 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 17:30:00 2023: Process terminated. [pid: 134828, tid:47271234517888]