-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path37-35.log
76 lines (76 loc) · 7.34 KB
/
37-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
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
------------ ---------- ---------- ---------- -------- ---------- ----------
35017130 c16s_low 144 COMPLETED 0:0 05:56:53
35017130.ba+ 144 COMPLETED 0:0 05:56:53 206649884K
35017130.ex+ 144 COMPLETED 0:0 05:56:53 0
By 206649884 KiB = (206649884 / 1024^2) GiB = 197.076686859130859375 GiB, it used approximately 197.08 gibibytes of memory. )
Sat May 20 04:27:43 2023: Process started. [pid: 121456, tid:47449363057536]
Sat May 20 04:27:43 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered]
0.13 ms taken to load built-in representatives.
64.18 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47449390679808]
66.08 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47449392781056]
153.38 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47449394882304]
888.52 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47449396983552]
6184.56 ms (6 s 184.56 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47449399084800]
2045.17 ms (2 s 45.17 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47449401186048]
5936.74 ms (5 s 936.74 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47449403287296]
12084.84 ms (12 s 84.84 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47449405388544]
23212.96 ms (23 s 212.96 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:47449407489792]
23224.10 ms (23 s 224.09 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.
127414.95 ms (2 min 7 s 414.94 ms) taken to read 121473262 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:47449407489792]
303522.07 ms (5 min 3 s 522.07 ms) taken to read 424088648 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs37-unfiltered35+.txt. [tid:47449405388544]
303613.48 ms (5 min 3 s 613.48 ms) additional read duration.
Loaded 2 more representative collections of sizes:
35 : 121473262
37 : 424088648
592714215 representatives in total.
Sat May 20 04:33:25 2023: Inserted 5% of D-proof conclusions. [ 29635710 of 592714215] (ETC: Sat May 20 04:38:00 2023 ; 4 min 35 s 89.34 ms remaining ; 4 min 49 s 567.73 ms total)
Sat May 20 04:33:39 2023: Inserted 10% of D-proof conclusions. [ 59271421 of 592714215] (ETC: Sat May 20 04:38:02 2023 ; 4 min 22 s 610.51 ms remaining ; 4 min 51 s 789.45 ms total)
Sat May 20 04:33:55 2023: Inserted 15% of D-proof conclusions. [ 88907132 of 592714215] (ETC: Sat May 20 04:38:06 2023 ; 4 min 11 s 393.36 ms remaining ; 4 min 55 s 756.89 ms total)
Sat May 20 04:34:09 2023: Inserted 20% of D-proof conclusions. [118542843 of 592714215] (ETC: Sat May 20 04:38:06 2023 ; 3 min 56 s 737.36 ms remaining ; 4 min 55 s 921.71 ms total)
Sat May 20 04:34:25 2023: Inserted 25% of D-proof conclusions. [148178553 of 592714215] (ETC: Sat May 20 04:38:11 2023 ; 3 min 45 s 841.61 ms remaining ; 5 min 1 s 122.14 ms total)
Sat May 20 04:34:40 2023: Inserted 30% of D-proof conclusions. [177814264 of 592714215] (ETC: Sat May 20 04:38:10 2023 ; 3 min 29 s 839.62 ms remaining ; 4 min 59 s 770.89 ms total)
Sat May 20 04:34:55 2023: Inserted 35% of D-proof conclusions. [207449975 of 592714215] (ETC: Sat May 20 04:38:09 2023 ; 3 min 14 s 442.61 ms remaining ; 4 min 59 s 142.47 ms total)
Sat May 20 04:35:09 2023: Inserted 40% of D-proof conclusions. [237085686 of 592714215] (ETC: Sat May 20 04:38:08 2023 ; 2 min 58 s 518.81 ms remaining ; 4 min 57 s 531.36 ms total)
Sat May 20 04:35:24 2023: Inserted 45% of D-proof conclusions. [266721396 of 592714215] (ETC: Sat May 20 04:38:07 2023 ; 2 min 43 s 484.51 ms remaining ; 4 min 57 s 244.57 ms total)
Sat May 20 04:35:42 2023: Inserted 50% of D-proof conclusions. [296357107 of 592714215] (ETC: Sat May 20 04:38:14 2023 ; 2 min 32 s 112.30 ms remaining ; 5 min 4 s 224.61 ms total)
Sat May 20 04:35:59 2023: Inserted 55% of D-proof conclusions. [325992818 of 592714215] (ETC: Sat May 20 04:38:17 2023 ; 2 min 17 s 916.23 ms remaining ; 5 min 6 s 480.50 ms total)
Sat May 20 04:36:15 2023: Inserted 60% of D-proof conclusions. [355628529 of 592714215] (ETC: Sat May 20 04:38:18 2023 ; 2 min 3 s 66.96 ms remaining ; 5 min 7 s 667.40 ms total)
Sat May 20 04:36:31 2023: Inserted 65% of D-proof conclusions. [385264239 of 592714215] (ETC: Sat May 20 04:38:18 2023 ; 1 min 47 s 901.11 ms remaining ; 5 min 8 s 288.88 ms total)
Sat May 20 04:36:46 2023: Inserted 70% of D-proof conclusions. [414899950 of 592714215] (ETC: Sat May 20 04:38:19 2023 ; 1 min 32 s 516.02 ms remaining ; 5 min 8 s 386.74 ms total)
Sat May 20 04:37:00 2023: Inserted 75% of D-proof conclusions. [444535661 of 592714215] (ETC: Sat May 20 04:38:17 2023 ; 1 min 16 s 700.06 ms remaining ; 5 min 6 s 800.25 ms total)
Sat May 20 04:37:14 2023: Inserted 80% of D-proof conclusions. [474171372 of 592714215] (ETC: Sat May 20 04:38:15 2023 ; 1 min 1 s 45.95 ms remaining ; 5 min 5 s 229.73 ms total)
Sat May 20 04:37:30 2023: Inserted 85% of D-proof conclusions. [503807082 of 592714215] (ETC: Sat May 20 04:38:16 2023 ; 45 s 804.13 ms remaining ; 5 min 5 s 360.89 ms total)
Sat May 20 04:37:45 2023: Inserted 90% of D-proof conclusions. [533442793 of 592714215] (ETC: Sat May 20 04:38:15 2023 ; 30 s 510.06 ms remaining ; 5 min 5 s 100.66 ms total)
Sat May 20 04:38:04 2023: Inserted 95% of D-proof conclusions. [563078504 of 592714215] (ETC: Sat May 20 04:38:19 2023 ; 15 s 444.91 ms remaining ; 5 min 8 s 898.23 ms total)
310364.23 ms (5 min 10 s 364.23 ms) total insertion duration.
Sat May 20 04:38:21 2023: Starting to iterate D-proof candidates of length 39.
19775926.67 ms (5 h 29 min 35 s 926.67 ms) taken to iterate 8383579055 condensed detachment proof strings of length 39.
[Copy] Next iteration count (unfiltered35+): { 39, 8383579055 }
Sat May 20 10:07:57 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered]
Sat May 20 10:24:06 2023: Process terminated. [pid: 121456, tid:47449363057536]