-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
35-31.log
74 lines (74 loc) · 7.11 KB
/
35-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
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
------------ ---------- ---------- ---------- -------- ---------- ----------
35017671 c16s_low 144 COMPLETED 0:0 02:13:51
35017671.ba+ 144 COMPLETED 0:0 02:13:51 71026120K
35017671.ex+ 144 COMPLETED 0:0 02:13:51 0
By 71026120 KiB = (71026120 / 1024^2) GiB = 67.73578643798828125 GiB, it used approximately 67.74 gibibytes of memory. )
Sat May 20 10:44:03 2023: Process started. [pid: 128259, tid:47898926398336]
Sat May 20 10:44:03 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.14 ms taken to load built-in representatives.
51.25 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47898954020608]
65.97 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47898956121856]
137.86 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47898958223104]
759.39 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47898960324352]
6428.13 ms (6 s 428.13 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47898962425600]
1070.30 ms (1 s 70.30 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47898964526848]
2305.97 ms (2 s 305.97 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47898966628096]
6435.31 ms (6 s 435.31 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.
16803.45 ms (16 s 803.45 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:47898966628096]
49893.68 ms (49 s 893.68 ms) taken to read 45774890 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. [tid:47898964526848]
106551.79 ms (1 min 46 s 551.79 ms) taken to read 151768744 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered31+.txt. [tid:47898962425600]
106556.92 ms (1 min 46 s 556.92 ms) additional read duration.
Loaded 3 more representative collections of sizes:
31 : 13194193
33 : 45774890
35 : 151768744
215919405 representatives in total.
Sat May 20 10:46:02 2023: Inserted 5% of D-proof conclusions. [ 10795970 of 215919405] (ETC: Sat May 20 10:47:46 2023 ; 1 min 44 s 395.12 ms remaining ; 1 min 49 s 889.60 ms total)
Sat May 20 10:46:07 2023: Inserted 10% of D-proof conclusions. [ 21591940 of 215919405] (ETC: Sat May 20 10:47:43 2023 ; 1 min 36 s 249.69 ms remaining ; 1 min 46 s 944.10 ms total)
Sat May 20 10:46:12 2023: Inserted 15% of D-proof conclusions. [ 32387910 of 215919405] (ETC: Sat May 20 10:47:41 2023 ; 1 min 29 s 336.44 ms remaining ; 1 min 45 s 101.69 ms total)
Sat May 20 10:46:17 2023: Inserted 20% of D-proof conclusions. [ 43183881 of 215919405] (ETC: Sat May 20 10:47:41 2023 ; 1 min 23 s 759.37 ms remaining ; 1 min 44 s 699.22 ms total)
Sat May 20 10:46:22 2023: Inserted 25% of D-proof conclusions. [ 53979851 of 215919405] (ETC: Sat May 20 10:47:38 2023 ; 1 min 16 s 245.68 ms remaining ; 1 min 41 s 660.90 ms total)
Sat May 20 10:46:26 2023: Inserted 30% of D-proof conclusions. [ 64775821 of 215919405] (ETC: Sat May 20 10:47:37 2023 ; 1 min 10 s 378.92 ms remaining ; 1 min 40 s 541.31 ms total)
Sat May 20 10:46:32 2023: Inserted 35% of D-proof conclusions. [ 75571791 of 215919405] (ETC: Sat May 20 10:47:38 2023 ; 1 min 6 s 112.72 ms remaining ; 1 min 41 s 711.88 ms total)
Sat May 20 10:46:37 2023: Inserted 40% of D-proof conclusions. [ 86367762 of 215919405] (ETC: Sat May 20 10:47:38 2023 ; 1 min 1 s 124.92 ms remaining ; 1 min 41 s 874.87 ms total)
Sat May 20 10:46:42 2023: Inserted 45% of D-proof conclusions. [ 97163732 of 215919405] (ETC: Sat May 20 10:47:38 2023 ; 55 s 694.35 ms remaining ; 1 min 41 s 262.46 ms total)
Sat May 20 10:46:47 2023: Inserted 50% of D-proof conclusions. [107959702 of 215919405] (ETC: Sat May 20 10:47:37 2023 ; 50 s 461.87 ms remaining ; 1 min 40 s 923.73 ms total)
Sat May 20 10:46:52 2023: Inserted 55% of D-proof conclusions. [118755672 of 215919405] (ETC: Sat May 20 10:47:37 2023 ; 45 s 367.07 ms remaining ; 1 min 40 s 815.70 ms total)
Sat May 20 10:46:57 2023: Inserted 60% of D-proof conclusions. [129551643 of 215919405] (ETC: Sat May 20 10:47:37 2023 ; 40 s 234.75 ms remaining ; 1 min 40 s 586.86 ms total)
Sat May 20 10:47:02 2023: Inserted 65% of D-proof conclusions. [140347613 of 215919405] (ETC: Sat May 20 10:47:38 2023 ; 35 s 554.50 ms remaining ; 1 min 41 s 584.29 ms total)
Sat May 20 10:47:08 2023: Inserted 70% of D-proof conclusions. [151143583 of 215919405] (ETC: Sat May 20 10:47:39 2023 ; 30 s 769.00 ms remaining ; 1 min 42 s 563.32 ms total)
Sat May 20 10:47:14 2023: Inserted 75% of D-proof conclusions. [161939553 of 215919405] (ETC: Sat May 20 10:47:40 2023 ; 25 s 869.66 ms remaining ; 1 min 43 s 478.65 ms total)
Sat May 20 10:47:20 2023: Inserted 80% of D-proof conclusions. [172735524 of 215919405] (ETC: Sat May 20 10:47:40 2023 ; 20 s 804.43 ms remaining ; 1 min 44 s 22.15 ms total)
Sat May 20 10:47:25 2023: Inserted 85% of D-proof conclusions. [183531494 of 215919405] (ETC: Sat May 20 10:47:41 2023 ; 15 s 665.54 ms remaining ; 1 min 44 s 436.91 ms total)
Sat May 20 10:47:31 2023: Inserted 90% of D-proof conclusions. [194327464 of 215919405] (ETC: Sat May 20 10:47:41 2023 ; 10 s 468.41 ms remaining ; 1 min 44 s 684.07 ms total)
Sat May 20 10:47:36 2023: Inserted 95% of D-proof conclusions. [205123434 of 215919405] (ETC: Sat May 20 10:47:41 2023 ; 5 s 245.46 ms remaining ; 1 min 44 s 909.27 ms total)
104968.30 ms (1 min 44 s 968.29 ms) total insertion duration.
Sat May 20 10:47:41 2023: Starting to iterate D-proof candidates of length 37.
7547851.48 ms (2 h 5 min 47 s 851.48 ms) taken to iterate 2917037256 condensed detachment proof strings of length 37.
[Copy] Next iteration count (unfiltered31+): { 37, 2917037256 }
Sat May 20 12:53:29 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 12:57:42 2023: Process terminated. [pid: 128259, tid:47898926398336]