-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path33.log
69 lines (69 loc) · 6.52 KB
/
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
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35020021 c16s_low 144 COMPLETED 0:0 00:30:25
35020021.ba+ 144 COMPLETED 0:0 00:30:25 15377688K
35020021.ex+ 144 COMPLETED 0:0 00:30:26 0
By 15377688 KiB = (15377688 / 1024^2) GiB = 14.66530609130859375 GiB, it used approximately 14.67 gibibytes of memory. )
Sat May 20 16:53:18 2023: Process started. [pid: 84993, tid:47852938066816]
Sat May 20 16:53:18 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.17 ms taken to load built-in representatives.
40.01 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47852965689088]
73.98 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47852967790336]
134.58 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47852969891584]
909.91 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47852971992832]
7071.72 ms (7 s 71.72 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47852974094080]
2203.93 ms (2 s 203.93 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47852976195328]
5444.12 ms (5 s 444.12 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47852978296576]
12187.76 ms (12 s 187.76 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47852980397824]
23609.20 ms (23 s 609.20 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:47853521078016]
23619.42 ms (23 s 619.42 ms) total read duration.
Loaded 17 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
33 : 31559297
47152305 representatives in total.
Sat May 20 16:53:43 2023: Inserted 5% of D-proof conclusions. [ 2357615 of 47152305] (ETC: Sat May 20 16:54:08 2023 ; 24 s 932.94 ms remaining ; 26 s 245.20 ms total)
Sat May 20 16:53:44 2023: Inserted 10% of D-proof conclusions. [ 4715230 of 47152305] (ETC: Sat May 20 16:54:06 2023 ; 21 s 426.81 ms remaining ; 23 s 807.56 ms total)
Sat May 20 16:53:45 2023: Inserted 15% of D-proof conclusions. [ 7072845 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 19 s 819.64 ms remaining ; 23 s 317.22 ms total)
Sat May 20 16:53:47 2023: Inserted 20% of D-proof conclusions. [ 9430461 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 18 s 699.63 ms remaining ; 23 s 374.54 ms total)
Sat May 20 16:53:48 2023: Inserted 25% of D-proof conclusions. [11788076 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 17 s 105.10 ms remaining ; 22 s 806.80 ms total)
Sat May 20 16:53:49 2023: Inserted 30% of D-proof conclusions. [14145691 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 15 s 889.23 ms remaining ; 22 s 698.90 ms total)
Sat May 20 16:53:50 2023: Inserted 35% of D-proof conclusions. [16503306 of 47152305] (ETC: Sat May 20 16:54:04 2023 ; 14 s 669.06 ms remaining ; 22 s 567.79 ms total)
Sat May 20 16:53:51 2023: Inserted 40% of D-proof conclusions. [18860922 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 13 s 741.65 ms remaining ; 22 s 902.75 ms total)
Sat May 20 16:53:52 2023: Inserted 45% of D-proof conclusions. [21218537 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 12 s 603.58 ms remaining ; 22 s 915.60 ms total)
Sat May 20 16:53:53 2023: Inserted 50% of D-proof conclusions. [23576152 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 11 s 425.47 ms remaining ; 22 s 850.93 ms total)
Sat May 20 16:53:54 2023: Inserted 55% of D-proof conclusions. [25933767 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 10 s 277.77 ms remaining ; 22 s 839.48 ms total)
Sat May 20 16:53:56 2023: Inserted 60% of D-proof conclusions. [28291383 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 9 s 153.80 ms remaining ; 22 s 884.50 ms total)
Sat May 20 16:53:57 2023: Inserted 65% of D-proof conclusions. [30648998 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 8 s 15.67 ms remaining ; 22 s 901.91 ms total)
Sat May 20 16:53:58 2023: Inserted 70% of D-proof conclusions. [33006613 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 6 s 870.68 ms remaining ; 22 s 902.28 ms total)
Sat May 20 16:53:59 2023: Inserted 75% of D-proof conclusions. [35364228 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 5 s 773.76 ms remaining ; 23 s 95.06 ms total)
Sat May 20 16:54:00 2023: Inserted 80% of D-proof conclusions. [37721844 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 4 s 589.58 ms remaining ; 22 s 947.90 ms total)
Sat May 20 16:54:01 2023: Inserted 85% of D-proof conclusions. [40079459 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 3 s 423.79 ms remaining ; 22 s 825.29 ms total)
Sat May 20 16:54:02 2023: Inserted 90% of D-proof conclusions. [42437074 of 47152305] (ETC: Sat May 20 16:54:05 2023 ; 2 s 268.66 ms remaining ; 22 s 686.56 ms total)
Sat May 20 16:54:03 2023: Inserted 95% of D-proof conclusions. [44794689 of 47152305] (ETC: Sat May 20 16:54:04 2023 ; 1 s 130.53 ms remaining ; 22 s 610.61 ms total)
22648.97 ms (22 s 648.97 ms) total insertion duration.
Sat May 20 16:54:04 2023: Starting to iterate D-proof candidates of length 35.
1717322.74 ms (28 min 37 s 322.74 ms) taken to iterate 755567051 condensed detachment proof strings of length 35.
[Copy] Next iteration count (filtered): { 35, 755567051 }
Sat May 20 17:22:42 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 17:23:40 2023: Process terminated. [pid: 84993, tid:47852938066816]