( 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 ------------ ---------- ---------- ---------- -------- ---------- ---------- 35021348 c16s_low 144 COMPLETED 0:0 00:10:11 35021348.ba+ 144 COMPLETED 0:0 00:10:11 5241228K 35021348.ex+ 144 COMPLETED 0:0 00:10:11 0 By 5241228 KiB = (5241228 / 1024^2) GiB = 4.998424530029296875 GiB, it used approximately 5.00 gibibytes of memory. ) Sat May 20 17:41:14 2023: Process started. [pid: 6792, tid:47565227387776] Sat May 20 17:41:14 2023: Next iteration amount counter started. [parallel ; 144 hardware thread contexts, unfiltered] 0.18 ms taken to load built-in representatives. 58.08 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:47565255001856] 89.63 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:47565257103104] 132.78 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:47565259204352] 797.13 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:47565261305600] 6652.05 ms (6 s 652.05 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:47565263406848] 1655.69 ms (1 s 655.69 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:47565265508096] 4000.25 ms (4 s 0.25 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:47565267609344] 7270.83 ms (7 s 270.83 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:47565269710592] 7293.67 ms (7 s 293.67 ms) total read duration. Loaded 16 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 15593008 representatives in total. Sat May 20 17:41:22 2023: Inserted 5% of D-proof conclusions. [ 779650 of 15593008] (ETC: Sat May 20 17:41:30 2023 ; 8 s 349.10 ms remaining ; 8 s 788.52 ms total) Sat May 20 17:41:22 2023: Inserted 10% of D-proof conclusions. [ 1559300 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 6 s 584.57 ms remaining ; 7 s 316.18 ms total) Sat May 20 17:41:22 2023: Inserted 15% of D-proof conclusions. [ 2338951 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 6 s 16.88 ms remaining ; 7 s 78.68 ms total) Sat May 20 17:41:22 2023: Inserted 20% of D-proof conclusions. [ 3118601 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 5 s 442.19 ms remaining ; 6 s 802.74 ms total) Sat May 20 17:41:23 2023: Inserted 25% of D-proof conclusions. [ 3898252 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 975.63 ms remaining ; 6 s 634.17 ms total) Sat May 20 17:41:23 2023: Inserted 30% of D-proof conclusions. [ 4677902 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 715.19 ms remaining ; 6 s 735.98 ms total) Sat May 20 17:41:23 2023: Inserted 35% of D-proof conclusions. [ 5457552 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 4 s 383.32 ms remaining ; 6 s 743.57 ms total) Sat May 20 17:41:24 2023: Inserted 40% of D-proof conclusions. [ 6237203 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 981.13 ms remaining ; 6 s 635.21 ms total) Sat May 20 17:41:24 2023: Inserted 45% of D-proof conclusions. [ 7016853 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 603.29 ms remaining ; 6 s 551.44 ms total) Sat May 20 17:41:24 2023: Inserted 50% of D-proof conclusions. [ 7796504 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 3 s 241.86 ms remaining ; 6 s 483.73 ms total) Sat May 20 17:41:25 2023: Inserted 55% of D-proof conclusions. [ 8576154 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 941.43 ms remaining ; 6 s 536.51 ms total) Sat May 20 17:41:25 2023: Inserted 60% of D-proof conclusions. [ 9355804 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 604.07 ms remaining ; 6 s 510.18 ms total) Sat May 20 17:41:25 2023: Inserted 65% of D-proof conclusions. [10135455 of 15593008] (ETC: Sat May 20 17:41:28 2023 ; 2 s 239.88 ms remaining ; 6 s 399.67 ms total) Sat May 20 17:41:26 2023: Inserted 70% of D-proof conclusions. [10915105 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 880.88 ms remaining ; 6 s 269.61 ms total) Sat May 20 17:41:26 2023: Inserted 75% of D-proof conclusions. [11694756 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 545.84 ms remaining ; 6 s 183.34 ms total) Sat May 20 17:41:26 2023: Inserted 80% of D-proof conclusions. [12474406 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 1 s 226.53 ms remaining ; 6 s 132.67 ms total) Sat May 20 17:41:26 2023: Inserted 85% of D-proof conclusions. [13254056 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 914.07 ms remaining ; 6 s 93.78 ms total) Sat May 20 17:41:27 2023: Inserted 90% of D-proof conclusions. [14033707 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 606.39 ms remaining ; 6 s 63.93 ms total) Sat May 20 17:41:27 2023: Inserted 95% of D-proof conclusions. [14813357 of 15593008] (ETC: Sat May 20 17:41:27 2023 ; 302.51 ms remaining ; 6 s 50.18 ms total) 6048.95 ms (6 s 48.95 ms) total insertion duration. Sat May 20 17:41:27 2023: Starting to iterate D-proof candidates of length 33. 576453.09 ms (9 min 36 s 453.09 ms) taken to iterate 243907474 condensed detachment proof strings of length 33. [Copy] Next iteration count (filtered): { 33, 243907474 } Sat May 20 17:51:04 2023: Next iteration amount counter complete. [parallel ; 144 hardware thread contexts, unfiltered] Sat May 20 17:51:23 2023: Process terminated. [pid: 6792, tid:47565227387776]