forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path37-31.log
76 lines (76 loc) · 7.36 KB
/
37-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
75
76
( 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
------------ ---------- ---------- ---------- -------- ---------- ----------
35017332 c16s_low 144 COMPLETED 0:0 07:02:57
35017332.ba+ 144 COMPLETED 0:0 07:02:57 249879724K
35017332.ex+ 144 COMPLETED 0:0 07:02:57 0
By 249879724 KiB = (249879724 / 1024^2) GiB = 238.303874969482421875 GiB, it used approximately 238.30 gibibytes of memory. )
Sat May 20 09:05:53 2023: Process started. [pid: 41025, tid:47172673268608]
Sat May 20 09:05:53 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.18 ms taken to load built-in representatives.
59.40 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47172700890880]
59.43 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47172702992128]
146.49 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47172705093376]
753.77 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47172707194624]
6454.60 ms (6 s 454.60 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47172709295872]
1183.47 ms (1 s 183.47 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47172711397120]
2385.47 ms (2 s 385.46 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47172713498368]
6463.40 ms (6 s 463.40 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.
19603.37 ms (19 s 603.37 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:47172713498368]
64172.62 ms (1 min 4 s 172.62 ms) taken to read 45774890 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. [tid:47172711397120]
173793.58 ms (2 min 53 s 793.58 ms) taken to read 151768744 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered31+.txt. [tid:47172709295872]
372359.63 ms (6 min 12 s 359.63 ms) taken to read 506656999 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs37-unfiltered31+.txt. [tid:47172707194624]
372366.64 ms (6 min 12 s 366.64 ms) additional read duration.
Loaded 4 more representative collections of sizes:
31 : 13194193
33 : 45774890
35 : 151768744
37 : 506656999
722576404 representatives in total.
Sat May 20 09:12:26 2023: Inserted 5% of D-proof conclusions. [ 36128820 of 722576404] (ETC: Sat May 20 09:16:54 2023 ; 4 min 28 s 488.17 ms remaining ; 4 min 42 s 619.12 ms total)
Sat May 20 09:12:39 2023: Inserted 10% of D-proof conclusions. [ 72257640 of 722576404] (ETC: Sat May 20 09:16:40 2023 ; 4 min 1 s 666.41 ms remaining ; 4 min 28 s 518.23 ms total)
Sat May 20 09:12:51 2023: Inserted 15% of D-proof conclusions. [108386460 of 722576404] (ETC: Sat May 20 09:16:33 2023 ; 3 min 42 s 89.03 ms remaining ; 4 min 21 s 281.21 ms total)
Sat May 20 09:13:05 2023: Inserted 20% of D-proof conclusions. [144515280 of 722576404] (ETC: Sat May 20 09:16:36 2023 ; 3 min 31 s 514.96 ms remaining ; 4 min 24 s 393.70 ms total)
Sat May 20 09:13:18 2023: Inserted 25% of D-proof conclusions. [180644101 of 722576404] (ETC: Sat May 20 09:16:38 2023 ; 3 min 20 s 38.73 ms remaining ; 4 min 26 s 718.31 ms total)
Sat May 20 09:13:32 2023: Inserted 30% of D-proof conclusions. [216772921 of 722576404] (ETC: Sat May 20 09:16:38 2023 ; 3 min 6 s 616.56 ms remaining ; 4 min 26 s 595.09 ms total)
Sat May 20 09:13:42 2023: Inserted 35% of D-proof conclusions. [252901741 of 722576404] (ETC: Sat May 20 09:16:31 2023 ; 2 min 48 s 385.64 ms remaining ; 4 min 19 s 54.83 ms total)
Sat May 20 09:13:55 2023: Inserted 40% of D-proof conclusions. [289030561 of 722576404] (ETC: Sat May 20 09:16:29 2023 ; 2 min 34 s 294.15 ms remaining ; 4 min 17 s 156.91 ms total)
Sat May 20 09:14:08 2023: Inserted 45% of D-proof conclusions. [325159381 of 722576404] (ETC: Sat May 20 09:16:29 2023 ; 2 min 21 s 442.67 ms remaining ; 4 min 17 s 168.50 ms total)
Sat May 20 09:14:21 2023: Inserted 50% of D-proof conclusions. [361288202 of 722576404] (ETC: Sat May 20 09:16:29 2023 ; 2 min 8 s 847.91 ms remaining ; 4 min 17 s 695.82 ms total)
Sat May 20 09:14:34 2023: Inserted 55% of D-proof conclusions. [397417022 of 722576404] (ETC: Sat May 20 09:16:31 2023 ; 1 min 56 s 434.84 ms remaining ; 4 min 18 s 744.09 ms total)
Sat May 20 09:14:47 2023: Inserted 60% of D-proof conclusions. [433545842 of 722576404] (ETC: Sat May 20 09:16:30 2023 ; 1 min 43 s 335.93 ms remaining ; 4 min 18 s 339.82 ms total)
Sat May 20 09:14:59 2023: Inserted 65% of D-proof conclusions. [469674662 of 722576404] (ETC: Sat May 20 09:16:29 2023 ; 1 min 30 s 181.57 ms remaining ; 4 min 17 s 661.62 ms total)
Sat May 20 09:15:12 2023: Inserted 70% of D-proof conclusions. [505803482 of 722576404] (ETC: Sat May 20 09:16:29 2023 ; 1 min 17 s 259.70 ms remaining ; 4 min 17 s 532.34 ms total)
Sat May 20 09:15:27 2023: Inserted 75% of D-proof conclusions. [541932303 of 722576404] (ETC: Sat May 20 09:16:32 2023 ; 1 min 5 s 104.24 ms remaining ; 4 min 20 s 416.96 ms total)
Sat May 20 09:15:42 2023: Inserted 80% of D-proof conclusions. [578061123 of 722576404] (ETC: Sat May 20 09:16:34 2023 ; 52 s 455.12 ms remaining ; 4 min 22 s 275.61 ms total)
Sat May 20 09:15:56 2023: Inserted 85% of D-proof conclusions. [614189943 of 722576404] (ETC: Sat May 20 09:16:36 2023 ; 39 s 586.01 ms remaining ; 4 min 23 s 906.71 ms total)
Sat May 20 09:16:11 2023: Inserted 90% of D-proof conclusions. [650318763 of 722576404] (ETC: Sat May 20 09:16:37 2023 ; 26 s 532.34 ms remaining ; 4 min 25 s 323.42 ms total)
Sat May 20 09:16:24 2023: Inserted 95% of D-proof conclusions. [686447583 of 722576404] (ETC: Sat May 20 09:16:37 2023 ; 13 s 279.36 ms remaining ; 4 min 25 s 587.29 ms total)
265559.73 ms (4 min 25 s 559.73 ms) total insertion duration.
Sat May 20 09:16:37 2023: Starting to iterate D-proof candidates of length 39.
23450161.21 ms (6 h 30 min 50 s 161.21 ms) taken to iterate 9795199165 condensed detachment proof strings of length 39.
[Copy] Next iteration count (unfiltered31+): { 39, 9795199165 }
Sat May 20 15:47:28 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 16:08:06 2023: Process terminated. [pid: 41025, tid:47172673268608]