55-53.log

( This log file was generated by executing 'pmGenerator -c -n -s CCpqCCCrCstCqCNsNpCps --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"
   JobID         Partition  AllocCPUS      State ExitCode    Elapsed     MaxRSS 
   ------------ ---------- ---------- ---------- -------- ---------- ---------- 
   40754783     optane_low         64  COMPLETED      0:0   00:25:57            
   40754783.ba+                    64  COMPLETED      0:0   00:25:57 796020840K 
   40754783.ex+                    64  COMPLETED      0:0   00:25:57          0 
  By 796020840 KiB = (796020840 / 1024^2) GiB = 759.14463043212890625 GiB, it used approximately 759.14 gibibytes of memory. )
Sun Nov 12 22:45:07 2023: Process started. [pid: 47620, tid:23396330760064]
Tasks:
1. resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true)
2. countNextIterationAmount(false, true)

[Main] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72]
(1) CC0.1CCC2C3.4C1CN3N0C0.3    -    CCpqCCCrCstCqCNsNpCps    -    (0\imply1)\imply(((2\imply(3\imply4))\imply(1\imply(\not3\imply\not0)))\imply(0\imply3))
[Main] Calling countNextIterationAmount(false, true).
Sun Nov 12 22:45:07 2023: Next iteration amount counter started. [parallel ; 64 hardware thread contexts, unfiltered]
0.01 ms taken to load initial representatives.
22.20 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs3.txt. [tid:23396270511872]
14.39 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs5.txt. [tid:23396268410624]
20.97 ms taken to read 2 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs7.txt. [tid:23396266309376]
28.69 ms taken to read 4 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs9.txt. [tid:23396264208128]
11.72 ms taken to read 7 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs11.txt. [tid:23396262106880]
14.57 ms taken to read 12 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs13.txt. [tid:23396163254016]
26.00 ms taken to read 22 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs15.txt. [tid:23396161152768]
17.92 ms taken to read 42 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs17.txt. [tid:23396159051520]
35.93 ms taken to read 80 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs19.txt. [tid:23396260005632]
14.86 ms taken to read 151 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs21.txt. [tid:23396257904384]
23.89 ms taken to read 287 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs23.txt. [tid:23396255803136]
63.11 ms taken to read 555 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs25.txt. [tid:23396253701888]
371.25 ms taken to read 1081 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs27.txt. [tid:23396251600640]
75.92 ms taken to read 2107 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs29.txt. [tid:23396249499392]
151.34 ms taken to read 4123 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs31.txt. [tid:23396247398144]
1038.29 ms (1 s 38.29 ms) taken to read 8112 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs33.txt. [tid:23396245296896]
4030.73 ms (4 s 30.73 ms) taken to read 16029 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs35.txt. [tid:23396243195648]
3060.43 ms (3 s 60.43 ms) taken to read 31774 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs37.txt. [tid:23396241094400]
2605.67 ms (2 s 605.67 ms) taken to read 63152 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs39.txt. [tid:23396238993152]
6213.13 ms (6 s 213.13 ms) taken to read 125873 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs41.txt. [tid:23396236891904]
14041.40 ms (14 s 41.40 ms) taken to read 251561 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs43.txt. [tid:23396234790656]
18647.16 ms (18 s 647.16 ms) taken to read 503956 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs45.txt. [tid:23396232689408]
28161.50 ms (28 s 161.50 ms) taken to read 1011747 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs47.txt. [tid:23396156950272]
45863.01 ms (45 s 863.01 ms) taken to read 2035230 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs49.txt. [tid:23396154849024]
67312.49 ms (1 min 7 s 312.49 ms) taken to read 4101770 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51.txt. [tid:23396152747776]
67368.53 ms (1 min 7 s 368.53 ms) total read duration.
Loaded 26 representative collections of sizes:
1 : 1
3 : 1
5 : 1
7 : 2
9 : 4
11 : 7
13 : 12
15 : 22
17 : 42
19 : 80
21 : 151
23 : 287
25 : 555
27 : 1081
29 : 2107
31 : 4123
33 : 8112
35 : 16029
37 : 31774
39 : 63152
41 : 125873
43 : 251561
45 : 503956
47 : 1011747
49 : 2035230
51 : 4101770
8157680 representatives in total.
174765.33 ms (2 min 54 s 765.33 ms) taken to read 8360537 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs53-unfiltered53+.txt. [tid:23396152747776]
308342.92 ms (5 min 8 s 342.93 ms) taken to read 16944563 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs55-unfiltered53+.txt. [tid:23396154849024]
308348.81 ms (5 min 8 s 348.81 ms) additional read duration.
Loaded 2 more representative collections of sizes:
53 : 8360537
55 : 16944563
33462780 representatives in total.
Sun Nov 12 22:51:48 2023: Inserted ≈ 5% of D-proof conclusions. [ 1673139 of 33462780] (ETC: Sun Nov 12 22:59:54 2023 ; 8 min  6 s 464.30 ms remaining ; 8 min 32 s  67.68 ms total)
Sun Nov 12 22:52:21 2023: Inserted ≈10% of D-proof conclusions. [ 3346278 of 33462780] (ETC: Sun Nov 12 23:01:07 2023 ; 8 min 45 s 925.12 ms remaining ; 9 min 44 s 361.24 ms total)
Sun Nov 12 22:52:59 2023: Inserted ≈15% of D-proof conclusions. [ 5019417 of 33462780] (ETC: Sun Nov 12 23:02:06 2023 ; 9 min  7 s 476.38 ms remaining ; 10 min 44 s  89.85 ms total)
Sun Nov 12 22:53:33 2023: Inserted ≈20% of D-proof conclusions. [ 6692556 of 33462780] (ETC: Sun Nov 12 23:02:16 2023 ; 8 min 42 s 989.36 ms remaining ; 10 min 53 s 736.70 ms total)
Sun Nov 12 22:54:34 2023: Inserted ≈25% of D-proof conclusions. [ 8365695 of 33462780] (ETC: Sun Nov 12 23:04:10 2023 ; 9 min 35 s 976.12 ms remaining ; 12 min 47 s 968.16 ms total)
Sun Nov 12 22:54:56 2023: Inserted ≈30% of D-proof conclusions. [10038834 of 33462780] (ETC: Sun Nov 12 23:03:15 2023 ; 8 min 18 s 766.13 ms remaining ; 11 min 52 s 523.05 ms total)
Sun Nov 12 22:55:26 2023: Inserted ≈35% of D-proof conclusions. [11711973 of 33462780] (ETC: Sun Nov 12 23:02:58 2023 ; 7 min 32 s 169.43 ms remaining ; 11 min 35 s 645.28 ms total)
Sun Nov 12 22:56:00 2023: Inserted ≈40% of D-proof conclusions. [13385112 of 33462780] (ETC: Sun Nov 12 23:02:56 2023 ; 6 min 56 s 224.49 ms remaining ; 11 min 33 s 707.48 ms total)
Sun Nov 12 22:56:49 2023: Inserted ≈45% of D-proof conclusions. [15058251 of 33462780] (ETC: Sun Nov 12 23:03:28 2023 ; 6 min 39 s 334.43 ms remaining ; 12 min  6 s  62.59 ms total)
Sun Nov 12 22:58:13 2023: Inserted ≈50% of D-proof conclusions. [16731390 of 33462780] (ETC: Sun Nov 12 23:05:04 2023 ; 6 min 50 s 651.88 ms remaining ; 13 min 41 s 303.76 ms total)
Sun Nov 12 22:58:41 2023: Inserted ≈55% of D-proof conclusions. [18404529 of 33462780] (ETC: Sun Nov 12 23:04:40 2023 ; 5 min 58 s 865.43 ms remaining ; 13 min 17 s 478.74 ms total)
Sun Nov 12 22:59:10 2023: Inserted ≈60% of D-proof conclusions. [20077668 of 33462780] (ETC: Sun Nov 12 23:04:21 2023 ; 5 min 11 s 652.63 ms remaining ; 12 min 59 s 131.59 ms total)
Sun Nov 12 22:59:44 2023: Inserted ≈65% of D-proof conclusions. [21750807 of 33462780] (ETC: Sun Nov 12 23:04:14 2023 ; 4 min 30 s  70.90 ms remaining ; 12 min 51 s 631.15 ms total)
Sun Nov 12 23:00:22 2023: Inserted ≈70% of D-proof conclusions. [23423946 of 33462780] (ETC: Sun Nov 12 23:04:13 2023 ; 3 min 51 s 232.36 ms remaining ; 12 min 50 s 774.54 ms total)
Sun Nov 12 23:01:04 2023: Inserted ≈75% of D-proof conclusions. [25097085 of 33462780] (ETC: Sun Nov 12 23:04:17 2023 ; 3 min 13 s 787.59 ms remaining ; 12 min 55 s 150.34 ms total)
Sun Nov 12 23:01:48 2023: Inserted ≈80% of D-proof conclusions. [26770224 of 33462780] (ETC: Sun Nov 12 23:04:24 2023 ; 2 min 36 s 357.46 ms remaining ; 13 min  1 s 787.29 ms total)
Sun Nov 12 23:02:32 2023: Inserted ≈85% of D-proof conclusions. [28443363 of 33462780] (ETC: Sun Nov 12 23:04:30 2023 ; 1 min 58 s 213.25 ms remaining ; 13 min  8 s  88.32 ms total)
Sun Nov 12 23:03:26 2023: Inserted ≈90% of D-proof conclusions. [30116502 of 33462780] (ETC: Sun Nov 12 23:04:46 2023 ; 1 min 20 s 369.33 ms remaining ; 13 min 23 s 693.30 ms total)
Sun Nov 12 23:05:06 2023: Inserted ≈95% of D-proof conclusions. [31789641 of 33462780] (ETC: Sun Nov 12 23:05:49 2023 ; 43 s 326.46 ms remaining ; 14 min 26 s 529.20 ms total)
Sun Nov 12 23:06:51 2023: Inserted 100% of D-proof conclusions. [33462780 of 33462780] (ETC: Sun Nov 12 23:06:51 2023 ; 0.00 ms remaining ; 15 min 28 s 302.12 ms total)
928302.47 ms (15 min 28 s 302.47 ms) total insertion duration.
Sun Nov 12 23:06:51 2023: Starting to iterate D-proof candidates of length 57.
133388.79 ms (2 min 13 s 388.79 ms) taken to iterate 122697414 condensed detachment proof strings of length 57.
[Copy] Next iteration count (unfiltered53+): { 57, 122697414 }
Sun Nov 12 23:09:27 2023: Next iteration amount counter complete. [parallel ; 64 hardware thread contexts, unfiltered]
Sun Nov 12 23:10:18 2023: Process terminated. [pid: 47620, tid:23396330760064]