-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path39-35.log
83 lines (82 loc) · 8.1 KB
/
39-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
77
78
79
80
81
82
83
( This log file was generated by executing 'pmGenerator --iterate -u' (pmGenerator 1.2, master branch), compiled by 'Intel(R) oneAPI DPC++/C++ Compiler 2022.1.0 (2022.1.0.20220316)'.
The run was executed on a CLAIX-2018-OPTANE MPI node
— 2-socket Intel Xeon Gold 6338, 32 cores each (64 cores total per node), 2.0 GHz, 3.20 GHz turbo mode, 512 GiB DDR4-3200 caching for 2 TiB non-volatile memory (NVM) (Intel Optane DC Persistent Memory DIMMs) —
running Linux, Rocky 8.8.
The job led to the following output:
$ sacct --format="JobID,Partition,AllocCPUS,State,ExitCode,Elapsed,MaxRSS%11"
JobID Partition AllocCPUS State ExitCode Elapsed MaxRSS
------------ ---------- ---------- ---------- -------- ---------- -----------
40445673 optane_low 64 COMPLETED 0:0 02:23:57
40445673.ba+ 64 COMPLETED 0:0 02:23:57 1365217176K
40445673.ex+ 64 COMPLETED 0:0 02:23:57 8K
By 1365217176 KiB = (1365217176 / 1024^2) GiB = 1301.97255706787109375 GiB, it used approximately 1301.97 gibibytes of memory. )
Mon Oct 30 12:15:13 2023: Process started. [pid: 3755, tid:22427442796416]
Tasks:
1. countNextIterationAmount(false, true)
[Main] Calling countNextIterationAmount(false, true).
Mon Oct 30 12:15:13 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.30 ms taken to load built-in representatives.
41.91 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:22427390277376]
108.02 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:22427388176128]
89.45 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:22427386074880]
417.48 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:22427383973632]
4180.04 ms (4 s 180.04 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:22427381872384]
1997.70 ms (1 s 997.70 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:22427312584448]
3391.98 ms (3 s 391.98 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:22427310483200]
6839.45 ms (6 s 839.45 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:22427308381952]
14089.35 ms (14 s 89.36 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:22427306280704]
14114.63 ms (14 s 114.63 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.
77764.91 ms (1 min 17 s 764.91 ms) taken to read 121473262 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:22427306280704]
276382.34 ms (4 min 36 s 382.34 ms) taken to read 424088648 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs37-unfiltered35+.txt. [tid:22427308381952]
720526.13 ms (12 min 526.13 ms) taken to read 1413629510 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs39-unfiltered35+.txt. [tid:22427310483200]
720536.03 ms (12 min 536.03 ms) additional read duration.
Loaded 3 more representative collections of sizes:
35 : 121473262
37 : 424088648
39 : 1413629510
2006343725 representatives in total.
Mon Oct 30 12:29:56 2023: Inserted ≈ 5% of D-proof conclusions. [ 100317186 of 2006343725] (ETC: Mon Oct 30 13:16:54 2023 ; 46 min 57 s 728.98 ms remaining ; 49 min 26 s 30.51 ms total)
Mon Oct 30 12:32:50 2023: Inserted ≈10% of D-proof conclusions. [ 200634372 of 2006343725] (ETC: Mon Oct 30 13:21:11 2023 ; 48 min 21 s 40.09 ms remaining ; 53 min 43 s 377.88 ms total)
Mon Oct 30 12:36:12 2023: Inserted ≈15% of D-proof conclusions. [ 300951558 of 2006343725] (ETC: Mon Oct 30 13:25:45 2023 ; 49 min 32 s 523.51 ms remaining ; 58 min 17 s 86.48 ms total)
Mon Oct 30 12:39:42 2023: Inserted ≈20% of D-proof conclusions. [ 401268745 of 2006343725] (ETC: Mon Oct 30 13:28:37 2023 ; 48 min 55 s 545.54 ms remaining ; 1 h 1 min 9 s 431.92 ms total)
Mon Oct 30 12:42:54 2023: Inserted ≈25% of D-proof conclusions. [ 501585931 of 2006343725] (ETC: Mon Oct 30 13:29:13 2023 ; 46 min 19 s 225.23 ms remaining ; 1 h 1 min 45 s 633.64 ms total)
Mon Oct 30 12:46:20 2023: Inserted ≈30% of D-proof conclusions. [ 601903117 of 2006343725] (ETC: Mon Oct 30 13:30:22 2023 ; 44 min 1 s 677.47 ms remaining ; 1 h 2 min 53 s 824.95 ms total)
Mon Oct 30 12:49:00 2023: Inserted ≈35% of D-proof conclusions. [ 702220303 of 2006343725] (ETC: Mon Oct 30 13:29:01 2023 ; 40 min 758.64 ms remaining ; 1 h 1 min 33 s 474.84 ms total)
Mon Oct 30 12:52:00 2023: Inserted ≈40% of D-proof conclusions. [ 802537490 of 2006343725] (ETC: Mon Oct 30 13:28:47 2023 ; 36 min 47 s 656.15 ms remaining ; 1 h 1 min 19 s 426.92 ms total)
Mon Oct 30 12:54:54 2023: Inserted ≈45% of D-proof conclusions. [ 902854676 of 2006343725] (ETC: Mon Oct 30 13:28:27 2023 ; 33 min 32 s 689.88 ms remaining ; 1 h 59 s 436.14 ms total)
Mon Oct 30 12:58:01 2023: Inserted ≈50% of D-proof conclusions. [1003171862 of 2006343725] (ETC: Mon Oct 30 13:28:34 2023 ; 30 min 32 s 901.77 ms remaining ; 1 h 1 min 5 s 803.55 ms total)
Mon Oct 30 13:01:17 2023: Inserted ≈55% of D-proof conclusions. [1103489048 of 2006343725] (ETC: Mon Oct 30 13:28:57 2023 ; 27 min 40 s 274.33 ms remaining ; 1 h 1 min 29 s 498.50 ms total)
Mon Oct 30 13:04:23 2023: Inserted ≈60% of D-proof conclusions. [1203806235 of 2006343725] (ETC: Mon Oct 30 13:28:59 2023 ; 24 min 36 s 642.51 ms remaining ; 1 h 1 min 31 s 606.27 ms total)
Mon Oct 30 13:07:36 2023: Inserted ≈65% of D-proof conclusions. [1304123421 of 2006343725] (ETC: Mon Oct 30 13:29:13 2023 ; 21 min 36 s 942.91 ms remaining ; 1 h 1 min 45 s 551.17 ms total)
Mon Oct 30 13:10:57 2023: Inserted ≈70% of D-proof conclusions. [1404440607 of 2006343725] (ETC: Mon Oct 30 13:29:35 2023 ; 18 min 38 s 46.06 ms remaining ; 1 h 2 min 6 s 820.20 ms total)
Mon Oct 30 13:14:04 2023: Inserted ≈75% of D-proof conclusions. [1504757793 of 2006343725] (ETC: Mon Oct 30 13:29:36 2023 ; 15 min 32 s 114.53 ms remaining ; 1 h 2 min 8 s 458.12 ms total)
Mon Oct 30 13:17:12 2023: Inserted ≈80% of D-proof conclusions. [1605074980 of 2006343725] (ETC: Mon Oct 30 13:29:38 2023 ; 12 min 26 s 46.64 ms remaining ; 1 h 2 min 10 s 233.19 ms total)
Mon Oct 30 13:20:16 2023: Inserted ≈85% of D-proof conclusions. [1705392166 of 2006343725] (ETC: Mon Oct 30 13:29:35 2023 ; 9 min 19 s 96.36 ms remaining ; 1 h 2 min 7 s 309.05 ms total)
Mon Oct 30 13:23:22 2023: Inserted ≈90% of D-proof conclusions. [1805709352 of 2006343725] (ETC: Mon Oct 30 13:29:35 2023 ; 6 min 12 s 738.55 ms remaining ; 1 h 2 min 7 s 385.49 ms total)
Mon Oct 30 13:26:23 2023: Inserted ≈95% of D-proof conclusions. [1906026538 of 2006343725] (ETC: Mon Oct 30 13:29:29 2023 ; 3 min 6 s 86.47 ms remaining ; 1 h 2 min 1 s 729.32 ms total)
Mon Oct 30 13:29:41 2023: Inserted 100% of D-proof conclusions. [2006343725 of 2006343725] (ETC: Mon Oct 30 13:29:41 2023 ; 0.00 ms remaining ; 1 h 2 min 12 s 806.62 ms total)
3732839.98 ms (1 h 2 min 12 s 839.98 ms) total insertion duration.
Mon Oct 30 13:29:41 2023: Starting to iterate D-proof candidates of length 41.
16468320.70 ms (4 h 34 min 28 s 320.70 ms) taken to iterate 27991573448 condensed detachment proof strings of length 41.
[Copy] Next iteration count (unfiltered35+): { 41, 27991573448 }
Mon Oct 30 18:04:09 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Mon Oct 30 19:06:23 2023: Process terminated. [pid: 3755, tid:22427442796416]