( This log file was generated by executing 'pmGenerator -c -n -s CCCCCpqCNrNsrtCCtpCsp --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 MPI node — 2-socket Intel Xeon Platinum 8160 (Skylake), 24 cores each (48 cores total per node), 2.1 GHz, 3.7 GHz turbo mode, 192 GiB main memory — 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 ------------ ---------- ---------- ---------- -------- ---------- ---------- 39699725 c18m 48 COMPLETED 0:0 00:01:52 39699725.ba+ 48 COMPLETED 0:0 00:01:52 8147900K 39699725.ex+ 48 COMPLETED 0:0 00:01:52 0 By 8147900 KiB = (8147900 / 1024^2) GiB = 7.770442962646484375 GiB, it used approximately 7.77 gibibytes of memory. ) Wed Oct 4 06:31:53 2023: Process started. [pid: 41842, tid:22948779542400] Tasks: 1. resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true) 2. countNextIterationAmount(false, true) [Main] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: 478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed] (1) CCCCC0.1CN2N3.2.4CC4.0C3.0 - CCCCCpqCNrNsrtCCtpCsp - ((((0\imply1)\imply(\not2\imply\not3))\imply2)\imply4)\imply((4\imply0)\imply(3\imply0)) [Main] Calling countNextIterationAmount(false, true). Wed Oct 4 06:31:53 2023: Next iteration amount counter started. [parallel ; 48 hardware thread contexts, unfiltered] 0.01 ms taken to load initial representatives. 18.03 ms taken to read 1 condensed detachment proof and conclusion from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs3.txt. [tid:22948719294208] 25.91 ms taken to read 1 condensed detachment proof and conclusion from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs5.txt. [tid:22948717192960] 22.70 ms taken to read 3 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs7.txt. [tid:22948715091712] 21.67 ms taken to read 7 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs9.txt. [tid:22948712990464] 13.97 ms taken to read 10 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs11.txt. [tid:22948710889216] 21.02 ms taken to read 13 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs13.txt. [tid:22948708787968] 23.19 ms taken to read 19 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs15.txt. [tid:22948706686720] 17.85 ms taken to read 37 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs17.txt. [tid:22948704585472] 20.93 ms taken to read 56 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs19.txt. [tid:22948702484224] 25.13 ms taken to read 87 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs21.txt. [tid:22948700382976] 27.81 ms taken to read 140 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs23.txt. [tid:22948698281728] 21.88 ms taken to read 227 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs25.txt. [tid:22948696180480] 27.74 ms taken to read 369 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs27.txt. [tid:22948694079232] 25.45 ms taken to read 579 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs29.txt. [tid:22948691977984] 26.65 ms taken to read 918 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs31.txt. [tid:22948689876736] 39.74 ms taken to read 1499 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs33.txt. [tid:22948687775488] 40.49 ms taken to read 2408 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs35.txt. [tid:22948685674240] 48.94 ms taken to read 3881 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs37.txt. [tid:22948683572992] 53.18 ms taken to read 6254 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs39.txt. [tid:22947406280448] 56.45 ms taken to read 10109 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs41.txt. [tid:22947404179200] 91.39 ms taken to read 16460 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs43.txt. [tid:22947272062720] 84.65 ms taken to read 26753 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs45.txt. [tid:22947402077952] 154.93 ms taken to read 43360 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs47.txt. [tid:22947399976704] 368.71 ms taken to read 70709 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs49.txt. [tid:22947397875456] 793.67 ms taken to read 115604 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs51.txt. [tid:22947395774208] 1955.47 ms (1 s 955.47 ms) taken to read 188634 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs53.txt. [tid:22947393672960] 5035.45 ms (5 s 35.45 ms) taken to read 308241 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs55.txt. [tid:22947391571712] 428.16 ms taken to read 504870 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs57.txt. [tid:22947389470464] 728.34 ms taken to read 827701 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs59.txt. [tid:22947387369216] 1245.75 ms (1 s 245.75 ms) taken to read 1357539 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs61.txt. [tid:22947385267968] 1746.33 ms (1 s 746.33 ms) taken to read 2227822 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs63.txt. [tid:22947383166720] 2295.50 ms (2 s 295.50 ms) taken to read 3660735 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs65.txt. [tid:22947381065472] 3158.81 ms (3 s 158.81 ms) taken to read 6021110 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs67.txt. [tid:22947378964224] 5057.18 ms (5 s 57.18 ms) total read duration. Loaded 34 representative collections of sizes: 1 : 1 3 : 1 5 : 1 7 : 3 9 : 7 11 : 10 13 : 13 15 : 19 17 : 37 19 : 56 21 : 87 23 : 140 25 : 227 27 : 369 29 : 579 31 : 918 33 : 1499 35 : 2408 37 : 3881 39 : 6254 41 : 10109 43 : 16460 45 : 26753 47 : 43360 49 : 70709 51 : 115604 53 : 188634 55 : 308241 57 : 504870 59 : 827701 61 : 1357539 63 : 2227822 65 : 3660735 67 : 6021110 15396157 representatives in total. Wed Oct 4 06:31:59 2023: Inserted ≈ 5% of D-proof conclusions. [ 769807 of 15396157] (ETC: Wed Oct 4 06:32:02 2023 ; 3 s 832.57 ms remaining ; 4 s 34.28 ms total) Wed Oct 4 06:31:59 2023: Inserted ≈10% of D-proof conclusions. [ 1539615 of 15396157] (ETC: Wed Oct 4 06:32:02 2023 ; 3 s 565.04 ms remaining ; 3 s 961.16 ms total) Wed Oct 4 06:31:59 2023: Inserted ≈15% of D-proof conclusions. [ 2309423 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 3 s 482.37 ms remaining ; 4 s 96.91 ms total) Wed Oct 4 06:31:59 2023: Inserted ≈20% of D-proof conclusions. [ 3079231 of 15396157] (ETC: Wed Oct 4 06:32:02 2023 ; 3 s 256.44 ms remaining ; 4 s 70.55 ms total) Wed Oct 4 06:31:59 2023: Inserted ≈25% of D-proof conclusions. [ 3849039 of 15396157] (ETC: Wed Oct 4 06:32:02 2023 ; 2 s 980.84 ms remaining ; 3 s 974.46 ms total) Wed Oct 4 06:32:00 2023: Inserted ≈30% of D-proof conclusions. [ 4618847 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 3 s 157.94 ms remaining ; 4 s 511.34 ms total) Wed Oct 4 06:32:00 2023: Inserted ≈35% of D-proof conclusions. [ 5388654 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 2 s 981.45 ms remaining ; 4 s 586.84 ms total) Wed Oct 4 06:32:00 2023: Inserted ≈40% of D-proof conclusions. [ 6158462 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 2 s 847.15 ms remaining ; 4 s 745.25 ms total) Wed Oct 4 06:32:01 2023: Inserted ≈45% of D-proof conclusions. [ 6928270 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 2 s 655.11 ms remaining ; 4 s 827.48 ms total) Wed Oct 4 06:32:01 2023: Inserted ≈50% of D-proof conclusions. [ 7698078 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 2 s 461.86 ms remaining ; 4 s 923.73 ms total) Wed Oct 4 06:32:01 2023: Inserted ≈55% of D-proof conclusions. [ 8467886 of 15396157] (ETC: Wed Oct 4 06:32:03 2023 ; 2 s 271.90 ms remaining ; 5 s 48.67 ms total) Wed Oct 4 06:32:01 2023: Inserted ≈60% of D-proof conclusions. [ 9237694 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 2 s 40.74 ms remaining ; 5 s 101.86 ms total) Wed Oct 4 06:32:02 2023: Inserted ≈65% of D-proof conclusions. [10007502 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 1 s 800.04 ms remaining ; 5 s 142.98 ms total) Wed Oct 4 06:32:02 2023: Inserted ≈70% of D-proof conclusions. [10777309 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 1 s 550.45 ms remaining ; 5 s 168.17 ms total) Wed Oct 4 06:32:02 2023: Inserted ≈75% of D-proof conclusions. [11547117 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 1 s 311.24 ms remaining ; 5 s 244.96 ms total) Wed Oct 4 06:32:03 2023: Inserted ≈80% of D-proof conclusions. [12316925 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 1 s 63.00 ms remaining ; 5 s 314.98 ms total) Wed Oct 4 06:32:03 2023: Inserted ≈85% of D-proof conclusions. [13086733 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 802.46 ms remaining ; 5 s 349.73 ms total) Wed Oct 4 06:32:03 2023: Inserted ≈90% of D-proof conclusions. [13856541 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 539.13 ms remaining ; 5 s 391.30 ms total) Wed Oct 4 06:32:04 2023: Inserted ≈95% of D-proof conclusions. [14626349 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 269.09 ms remaining ; 5 s 381.73 ms total) Wed Oct 4 06:32:04 2023: Inserted 100% of D-proof conclusions. [15396157 of 15396157] (ETC: Wed Oct 4 06:32:04 2023 ; 0.00 ms remaining ; 5 s 424.77 ms total) 5424.97 ms (5 s 424.98 ms) total insertion duration. Wed Oct 4 06:32:04 2023: Starting to iterate D-proof candidates of length 69. 81963.82 ms (1 min 21 s 963.82 ms) taken to iterate 136861838 condensed detachment proof strings of length 69. [Copy] Next iteration count (filtered): { 69, 136861838 } Wed Oct 4 06:33:26 2023: Next iteration amount counter complete. [parallel ; 48 hardware thread contexts, unfiltered] Wed Oct 4 06:33:41 2023: Process terminated. [pid: 41842, tid:22948779542400]