forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path35-35.log
74 lines (74 loc) · 7.07 KB
/
35-35.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
------------ ---------- ---------- ---------- -------- ---------- ----------
35019596 c16s_low 144 COMPLETED 0:0 01:38:43
35019596.ba+ 144 COMPLETED 0:0 01:38:43 56091644K
35019596.ex+ 144 COMPLETED 0:0 01:38:43 0
By 56091644 KiB = (56091644 / 1024^2) GiB = 53.493160247802734375 GiB, it used approximately 53.49 gibibytes of memory. )
Sat May 20 15:01:51 2023: Process started. [pid: 88159, tid:47096732261248]
Sat May 20 15:01:51 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.13 ms taken to load built-in representatives.
55.50 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47096759883520]
41.45 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47096761984768]
132.99 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47096764086016]
902.89 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47096766187264]
6400.07 ms (6 s 400.07 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47096768288512]
2122.60 ms (2 s 122.60 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47096770389760]
5833.57 ms (5 s 833.57 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47096772491008]
12824.40 ms (12 s 824.40 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47096774592256]
23999.58 ms (23 s 999.58 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:47096776693504]
24011.38 ms (24 s 11.38 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.
64080.07 ms (1 min 4 s 80.07 ms) taken to read 121473262 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:47096776693504]
64083.73 ms (1 min 4 s 83.72 ms) additional read duration.
Loaded 1 more representative collection of size:
35 : 121473262
168625567 representatives in total.
Sat May 20 15:03:24 2023: Inserted 5% of D-proof conclusions. [ 8431278 of 168625567] (ETC: Sat May 20 15:04:51 2023 ; 1 min 27 s 197.96 ms remaining ; 1 min 31 s 787.32 ms total)
Sat May 20 15:03:28 2023: Inserted 10% of D-proof conclusions. [ 16862556 of 168625567] (ETC: Sat May 20 15:04:49 2023 ; 1 min 21 s 403.21 ms remaining ; 1 min 30 s 448.01 ms total)
Sat May 20 15:03:33 2023: Inserted 15% of D-proof conclusions. [ 25293835 of 168625567] (ETC: Sat May 20 15:04:50 2023 ; 1 min 17 s 295.32 ms remaining ; 1 min 30 s 935.67 ms total)
Sat May 20 15:03:37 2023: Inserted 20% of D-proof conclusions. [ 33725113 of 168625567] (ETC: Sat May 20 15:04:50 2023 ; 1 min 12 s 852.62 ms remaining ; 1 min 31 s 65.77 ms total)
Sat May 20 15:03:42 2023: Inserted 25% of D-proof conclusions. [ 42156391 of 168625567] (ETC: Sat May 20 15:04:52 2023 ; 1 min 9 s 405.76 ms remaining ; 1 min 32 s 541.02 ms total)
Sat May 20 15:03:46 2023: Inserted 30% of D-proof conclusions. [ 50587670 of 168625567] (ETC: Sat May 20 15:04:50 2023 ; 1 min 3 s 395.53 ms remaining ; 1 min 30 s 565.05 ms total)
Sat May 20 15:03:49 2023: Inserted 35% of D-proof conclusions. [ 59018948 of 168625567] (ETC: Sat May 20 15:04:45 2023 ; 55 s 989.68 ms remaining ; 1 min 26 s 137.97 ms total)
Sat May 20 15:03:52 2023: Inserted 40% of D-proof conclusions. [ 67450226 of 168625567] (ETC: Sat May 20 15:04:42 2023 ; 50 s 98.19 ms remaining ; 1 min 23 s 496.98 ms total)
Sat May 20 15:03:56 2023: Inserted 45% of D-proof conclusions. [ 75881505 of 168625567] (ETC: Sat May 20 15:04:41 2023 ; 45 s 86.54 ms remaining ; 1 min 21 s 975.52 ms total)
Sat May 20 15:04:00 2023: Inserted 50% of D-proof conclusions. [ 84312783 of 168625567] (ETC: Sat May 20 15:04:40 2023 ; 40 s 765.70 ms remaining ; 1 min 21 s 531.40 ms total)
Sat May 20 15:04:04 2023: Inserted 55% of D-proof conclusions. [ 92744061 of 168625567] (ETC: Sat May 20 15:04:42 2023 ; 37 s 231.51 ms remaining ; 1 min 22 s 736.70 ms total)
Sat May 20 15:04:09 2023: Inserted 60% of D-proof conclusions. [101175340 of 168625567] (ETC: Sat May 20 15:04:43 2023 ; 33 s 431.23 ms remaining ; 1 min 23 s 578.08 ms total)
Sat May 20 15:04:14 2023: Inserted 65% of D-proof conclusions. [109606618 of 168625567] (ETC: Sat May 20 15:04:43 2023 ; 29 s 485.18 ms remaining ; 1 min 24 s 243.37 ms total)
Sat May 20 15:04:18 2023: Inserted 70% of D-proof conclusions. [118037896 of 168625567] (ETC: Sat May 20 15:04:43 2023 ; 25 s 360.71 ms remaining ; 1 min 24 s 535.70 ms total)
Sat May 20 15:04:22 2023: Inserted 75% of D-proof conclusions. [126469175 of 168625567] (ETC: Sat May 20 15:04:44 2023 ; 21 s 157.83 ms remaining ; 1 min 24 s 631.32 ms total)
Sat May 20 15:04:27 2023: Inserted 80% of D-proof conclusions. [134900453 of 168625567] (ETC: Sat May 20 15:04:44 2023 ; 17 s 44.63 ms remaining ; 1 min 25 s 223.13 ms total)
Sat May 20 15:04:32 2023: Inserted 85% of D-proof conclusions. [143331731 of 168625567] (ETC: Sat May 20 15:04:45 2023 ; 12 s 861.39 ms remaining ; 1 min 25 s 742.62 ms total)
Sat May 20 15:04:36 2023: Inserted 90% of D-proof conclusions. [151763010 of 168625567] (ETC: Sat May 20 15:04:45 2023 ; 8 s 608.40 ms remaining ; 1 min 26 s 84.01 ms total)
Sat May 20 15:04:41 2023: Inserted 95% of D-proof conclusions. [160194288 of 168625567] (ETC: Sat May 20 15:04:45 2023 ; 4 s 318.56 ms remaining ; 1 min 26 s 371.11 ms total)
86533.37 ms (1 min 26 s 533.37 ms) total insertion duration.
Sat May 20 15:04:45 2023: Starting to iterate D-proof candidates of length 37.
5512192.61 ms (1 h 31 min 52 s 192.61 ms) taken to iterate 2497890936 condensed detachment proof strings of length 37.
[Copy] Next iteration count (unfiltered35+): { 37, 2497890936 }
Sat May 20 16:36:38 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 16:40:27 2023: Process terminated. [pid: 88159, tid:47096732261248]