( This log file was generated by 'pmGenerator 1.1' (master branch), compiled by 'GCC: (GNU) 11.3.0'. 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.7. Wall-clock time: 0.4830555… h CPU utilization: 23.18666… core-h ) Sat May 20 19:02:54 2023: Process started. [pid: 591182, tid:23177570727808] Tasks: 1. generateDProofRepresentativeFiles(31, false, true) [Main] Calling generateDProofRepresentativeFiles(31, false, true). Sat May 20 19:02:54 2023: Limited D-proof representative generator started. [parallel ; 48 hardware thread contexts, limit: 31, unfiltered] 0.29 ms taken to load built-in representatives. 36.56 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:23177518208768] 10.59 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:23177516107520] 116.80 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:23177514006272] 642.42 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:23177511905024] 5777.72 ms (5 s 777.72 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:23177509803776] 521.58 ms taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:23177507702528] 1320.78 ms (1 s 320.78 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:23177505601280] 5782.89 ms (5 s 782.89 ms) total read duration. Loaded 15 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 5181578 representatives in total. Sat May 20 19:03:00 2023: Inserted 5% of D-proof conclusions. [ 259078 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 2 s 406.40 ms remaining ; 2 s 533.05 ms total) Sat May 20 19:03:00 2023: Inserted 10% of D-proof conclusions. [ 518157 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 912.19 ms remaining ; 2 s 124.65 ms total) Sat May 20 19:03:00 2023: Inserted 15% of D-proof conclusions. [ 777236 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 905.61 ms remaining ; 2 s 241.89 ms total) Sat May 20 19:03:00 2023: Inserted 20% of D-proof conclusions. [1036315 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 825.78 ms remaining ; 2 s 282.22 ms total) Sat May 20 19:03:00 2023: Inserted 25% of D-proof conclusions. [1295394 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 768.73 ms remaining ; 2 s 358.30 ms total) Sat May 20 19:03:00 2023: Inserted 30% of D-proof conclusions. [1554473 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 633.16 ms remaining ; 2 s 333.09 ms total) Sat May 20 19:03:01 2023: Inserted 35% of D-proof conclusions. [1813552 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 589.35 ms remaining ; 2 s 445.16 ms total) Sat May 20 19:03:01 2023: Inserted 40% of D-proof conclusions. [2072631 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 460.97 ms remaining ; 2 s 434.94 ms total) Sat May 20 19:03:01 2023: Inserted 45% of D-proof conclusions. [2331710 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 407.99 ms remaining ; 2 s 559.98 ms total) Sat May 20 19:03:01 2023: Inserted 50% of D-proof conclusions. [2590789 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 265.33 ms remaining ; 2 s 530.67 ms total) Sat May 20 19:03:01 2023: Inserted 55% of D-proof conclusions. [2849867 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 134.59 ms remaining ; 2 s 521.31 ms total) Sat May 20 19:03:01 2023: Inserted 60% of D-proof conclusions. [3108946 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 1 s 16.06 ms remaining ; 2 s 540.14 ms total) Sat May 20 19:03:01 2023: Inserted 65% of D-proof conclusions. [3368025 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 897.68 ms remaining ; 2 s 564.80 ms total) Sat May 20 19:03:02 2023: Inserted 70% of D-proof conclusions. [3627104 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 772.74 ms remaining ; 2 s 575.79 ms total) Sat May 20 19:03:02 2023: Inserted 75% of D-proof conclusions. [3886183 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 639.23 ms remaining ; 2 s 556.94 ms total) Sat May 20 19:03:02 2023: Inserted 80% of D-proof conclusions. [4145262 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 506.01 ms remaining ; 2 s 530.06 ms total) Sat May 20 19:03:02 2023: Inserted 85% of D-proof conclusions. [4404341 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 390.68 ms remaining ; 2 s 604.50 ms total) Sat May 20 19:03:02 2023: Inserted 90% of D-proof conclusions. [4663420 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 259.14 ms remaining ; 2 s 591.44 ms total) Sat May 20 19:03:02 2023: Inserted 95% of D-proof conclusions. [4922499 of 5181578] (ETC: Sat May 20 19:03:02 2023 ; 128.61 ms remaining ; 2 s 572.26 ms total) 2545.12 ms (2 s 545.12 ms) total insertion duration. Known iteration count loaded from 31:78896376. Sat May 20 19:03:02 2023: Starting to generate D-proof representatives of length 31. Sat May 20 19:03:43 2023: Iterated 2% of D-proof candidates. [ 1577927 of 78896376] (ETC: Sat May 20 19:36:50 2023 ; 33 min 7 s 38.92 ms remaining ; 33 min 47 s 590.72 ms total) Sat May 20 19:04:23 2023: Iterated 4% of D-proof candidates. [ 3155855 of 78896376] (ETC: Sat May 20 19:36:28 2023 ; 32 min 5 s 25.51 ms remaining ; 33 min 25 s 234.90 ms total) Sat May 20 19:05:02 2023: Iterated 6% of D-proof candidates. [ 4733782 of 78896376] (ETC: Sat May 20 19:36:17 2023 ; 31 min 15 s 84.26 ms remaining ; 33 min 14 s 770.47 ms total) Sat May 20 19:05:42 2023: Iterated 8% of D-proof candidates. [ 6311710 of 78896376] (ETC: Sat May 20 19:36:23 2023 ; 30 min 40 s 811.70 ms remaining ; 33 min 20 s 882.28 ms total) Sat May 20 19:06:16 2023: Iterated 10% of D-proof candidates. [ 7889637 of 78896376] (ETC: Sat May 20 19:35:17 2023 ; 29 min 1 s 482.54 ms remaining ; 32 min 14 s 980.59 ms total) Sat May 20 19:06:49 2023: Iterated 12% of D-proof candidates. [ 9467565 of 78896376] (ETC: Sat May 20 19:34:31 2023 ; 27 min 42 s 22.14 ms remaining ; 31 min 28 s 661.52 ms total) Sat May 20 19:07:22 2023: Iterated 14% of D-proof candidates. [11045492 of 78896376] (ETC: Sat May 20 19:33:59 2023 ; 26 min 36 s 695.00 ms remaining ; 30 min 56 s 622.08 ms total) Sat May 20 19:07:59 2023: Iterated 16% of D-proof candidates. [12623420 of 78896376] (ETC: Sat May 20 19:33:58 2023 ; 25 min 58 s 769.42 ms remaining ; 30 min 55 s 677.88 ms total) Sat May 20 19:08:35 2023: Iterated 18% of D-proof candidates. [14201347 of 78896376] (ETC: Sat May 20 19:33:48 2023 ; 25 min 13 s 759.38 ms remaining ; 30 min 46 s 48.00 ms total) Sat May 20 19:09:13 2023: Iterated 20% of D-proof candidates. [15779275 of 78896376] (ETC: Sat May 20 19:33:56 2023 ; 24 min 43 s 15.97 ms remaining ; 30 min 53 s 769.95 ms total) Sat May 20 19:09:48 2023: Iterated 22% of D-proof candidates. [17357202 of 78896376] (ETC: Sat May 20 19:33:45 2023 ; 23 min 57 s 283.29 ms remaining ; 30 min 42 s 670.86 ms total) Sat May 20 19:10:21 2023: Iterated 24% of D-proof candidates. [18935130 of 78896376] (ETC: Sat May 20 19:33:29 2023 ; 23 min 7 s 980.92 ms remaining ; 30 min 26 s 290.68 ms total) Sat May 20 19:10:53 2023: Iterated 26% of D-proof candidates. [20513057 of 78896376] (ETC: Sat May 20 19:33:12 2023 ; 22 min 19 s 82.35 ms remaining ; 30 min 9 s 570.72 ms total) Sat May 20 19:11:27 2023: Iterated 28% of D-proof candidates. [22090985 of 78896376] (ETC: Sat May 20 19:33:03 2023 ; 21 min 36 s 847.88 ms remaining ; 30 min 1 s 177.61 ms total) Sat May 20 19:12:01 2023: Iterated 30% of D-proof candidates. [23668912 of 78896376] (ETC: Sat May 20 19:32:57 2023 ; 20 min 56 s 162.13 ms remaining ; 29 min 54 s 517.30 ms total) Sat May 20 19:12:36 2023: Iterated 32% of D-proof candidates. [25246840 of 78896376] (ETC: Sat May 20 19:32:55 2023 ; 20 min 18 s 888.64 ms remaining ; 29 min 52 s 483.29 ms total) Sat May 20 19:13:10 2023: Iterated 34% of D-proof candidates. [26824767 of 78896376] (ETC: Sat May 20 19:32:48 2023 ; 19 min 38 s 726.63 ms remaining ; 29 min 45 s 949.41 ms total) Sat May 20 19:13:43 2023: Iterated 36% of D-proof candidates. [28402695 of 78896376] (ETC: Sat May 20 19:32:41 2023 ; 18 min 58 s 645.52 ms remaining ; 29 min 39 s 133.61 ms total) Sat May 20 19:14:17 2023: Iterated 38% of D-proof candidates. [29980622 of 78896376] (ETC: Sat May 20 19:32:37 2023 ; 18 min 20 s 73.13 ms remaining ; 29 min 34 s 311.47 ms total) Sat May 20 19:14:51 2023: Iterated 40% of D-proof candidates. [31558550 of 78896376] (ETC: Sat May 20 19:32:35 2023 ; 17 min 43 s 522.10 ms remaining ; 29 min 32 s 536.82 ms total) Sat May 20 19:15:23 2023: Iterated 42% of D-proof candidates. [33136477 of 78896376] (ETC: Sat May 20 19:32:26 2023 ; 17 min 3 s 59.39 ms remaining ; 29 min 23 s 895.46 ms total) Sat May 20 19:15:55 2023: Iterated 44% of D-proof candidates. [34714405 of 78896376] (ETC: Sat May 20 19:32:17 2023 ; 16 min 22 s 864.69 ms remaining ; 29 min 15 s 115.50 ms total) Sat May 20 19:16:27 2023: Iterated 46% of D-proof candidates. [36292332 of 78896376] (ETC: Sat May 20 19:32:12 2023 ; 15 min 45 s 86.46 ms remaining ; 29 min 10 s 160.07 ms total) Sat May 20 19:17:00 2023: Iterated 48% of D-proof candidates. [37870260 of 78896376] (ETC: Sat May 20 19:32:08 2023 ; 15 min 7 s 967.97 ms remaining ; 29 min 6 s 92.23 ms total) Sat May 20 19:17:33 2023: Iterated 50% of D-proof candidates. [39448188 of 78896376] (ETC: Sat May 20 19:32:04 2023 ; 14 min 31 s 93.99 ms remaining ; 29 min 2 s 187.99 ms total) Sat May 20 19:18:06 2023: Iterated 52% of D-proof candidates. [41026115 of 78896376] (ETC: Sat May 20 19:32:01 2023 ; 13 min 54 s 494.59 ms remaining ; 28 min 58 s 530.37 ms total) Sat May 20 19:18:38 2023: Iterated 54% of D-proof candidates. [42604043 of 78896376] (ETC: Sat May 20 19:31:55 2023 ; 13 min 17 s 249.37 ms remaining ; 28 min 53 s 150.80 ms total) Sat May 20 19:19:09 2023: Iterated 56% of D-proof candidates. [44181970 of 78896376] (ETC: Sat May 20 19:31:48 2023 ; 12 min 39 s 318.16 ms remaining ; 28 min 45 s 723.06 ms total) Sat May 20 19:19:41 2023: Iterated 58% of D-proof candidates. [45759898 of 78896376] (ETC: Sat May 20 19:31:44 2023 ; 12 min 3 s 62.62 ms remaining ; 28 min 41 s 577.66 ms total) Sat May 20 19:20:12 2023: Iterated 60% of D-proof candidates. [47337825 of 78896376] (ETC: Sat May 20 19:31:39 2023 ; 11 min 26 s 512.93 ms remaining ; 28 min 36 s 282.29 ms total) Sat May 20 19:20:43 2023: Iterated 62% of D-proof candidates. [48915753 of 78896376] (ETC: Sat May 20 19:31:33 2023 ; 10 min 50 s 31.82 ms remaining ; 28 min 30 s 610.05 ms total) Sat May 20 19:21:14 2023: Iterated 64% of D-proof candidates. [50493680 of 78896376] (ETC: Sat May 20 19:31:28 2023 ; 10 min 14 s 111.74 ms remaining ; 28 min 25 s 865.92 ms total) Sat May 20 19:21:45 2023: Iterated 66% of D-proof candidates. [52071608 of 78896376] (ETC: Sat May 20 19:31:24 2023 ; 9 min 38 s 456.63 ms remaining ; 28 min 21 s 343.02 ms total) Sat May 20 19:22:15 2023: Iterated 68% of D-proof candidates. [53649535 of 78896376] (ETC: Sat May 20 19:31:17 2023 ; 9 min 2 s 381.16 ms remaining ; 28 min 14 s 941.07 ms total) Sat May 20 19:22:46 2023: Iterated 70% of D-proof candidates. [55227463 of 78896376] (ETC: Sat May 20 19:31:13 2023 ; 8 min 27 s 324.47 ms remaining ; 28 min 11 s 81.56 ms total) Sat May 20 19:23:17 2023: Iterated 72% of D-proof candidates. [56805390 of 78896376] (ETC: Sat May 20 19:31:09 2023 ; 7 min 52 s 395.46 ms remaining ; 28 min 7 s 126.59 ms total) Sat May 20 19:23:48 2023: Iterated 74% of D-proof candidates. [58383318 of 78896376] (ETC: Sat May 20 19:31:05 2023 ; 7 min 17 s 504.22 ms remaining ; 28 min 2 s 708.50 ms total) Sat May 20 19:24:18 2023: Iterated 76% of D-proof candidates. [59961245 of 78896376] (ETC: Sat May 20 19:31:01 2023 ; 6 min 42 s 918.91 ms remaining ; 27 min 58 s 828.74 ms total) Sat May 20 19:24:48 2023: Iterated 78% of D-proof candidates. [61539173 of 78896376] (ETC: Sat May 20 19:30:56 2023 ; 6 min 8 s 157.60 ms remaining ; 27 min 53 s 443.60 ms total) Sat May 20 19:25:18 2023: Iterated 80% of D-proof candidates. [63117100 of 78896376] (ETC: Sat May 20 19:30:52 2023 ; 5 min 33 s 944.23 ms remaining ; 27 min 49 s 721.07 ms total) Sat May 20 19:25:48 2023: Iterated 82% of D-proof candidates. [64695028 of 78896376] (ETC: Sat May 20 19:30:48 2023 ; 4 min 59 s 821.35 ms remaining ; 27 min 45 s 674.15 ms total) Sat May 20 19:26:18 2023: Iterated 84% of D-proof candidates. [66272955 of 78896376] (ETC: Sat May 20 19:30:44 2023 ; 4 min 25 s 919.76 ms remaining ; 27 min 41 s 998.41 ms total) Sat May 20 19:26:48 2023: Iterated 86% of D-proof candidates. [67850883 of 78896376] (ETC: Sat May 20 19:30:40 2023 ; 3 min 52 s 101.19 ms remaining ; 27 min 37 s 865.62 ms total) Sat May 20 19:27:18 2023: Iterated 88% of D-proof candidates. [69428810 of 78896376] (ETC: Sat May 20 19:30:36 2023 ; 3 min 18 s 468.65 ms remaining ; 27 min 33 s 905.26 ms total) Sat May 20 19:27:48 2023: Iterated 90% of D-proof candidates. [71006738 of 78896376] (ETC: Sat May 20 19:30:33 2023 ; 2 min 45 s 34.43 ms remaining ; 27 min 30 s 344.18 ms total) Sat May 20 19:28:17 2023: Iterated 92% of D-proof candidates. [72584665 of 78896376] (ETC: Sat May 20 19:30:29 2023 ; 2 min 11 s 729.68 ms remaining ; 27 min 26 s 620.81 ms total) Sat May 20 19:28:47 2023: Iterated 94% of D-proof candidates. [74162593 of 78896376] (ETC: Sat May 20 19:30:25 2023 ; 1 min 38 s 584.20 ms remaining ; 27 min 23 s 69.78 ms total) Sat May 20 19:29:16 2023: Iterated 96% of D-proof candidates. [75740520 of 78896376] (ETC: Sat May 20 19:30:22 2023 ; 1 min 5 s 587.97 ms remaining ; 27 min 19 s 698.80 ms total) Sat May 20 19:30:00 2023: Iterated 98% of D-proof candidates. [77318448 of 78896376] (ETC: Sat May 20 19:30:33 2023 ; 33 s 4.38 ms remaining ; 27 min 30 s 218.40 ms total) 1647134.66 ms (27 min 27 s 134.66 ms) taken to collect 13194193 D-proofs of length 31. [iterated 78896376 condensed detachment proof strings] [Copy] Static filtered iteration counts: { { 1, 3 }, { 3, 9 }, { 5, 36 }, { 7, 108 }, { 9, 372 }, { 11, 1134 }, { 13, 3354 }, { 15, 10360 }, { 17, 31388 }, { 19, 94907 }, { 21, 290392 }, { 23, 886041 }, { 25, 2709186 }, { 27, 8320672 }, { 29, 25589216 }, { 31, 78896376 }, { 33, 243907474 } } [Copy] Static unfiltered iteration counts: { 31, { { 33, 260604052 }, { 35, 874253765 }, { 37, 2917037256 }, { 39, 9795199165 } } }, 40281.05 ms (40 s 281.05 ms) taken to filter and order new representative proofs. Found 13194193 representative, 32584487 redundant, and 33117696 invalid condensed detachment proof strings. lengths up to 31 ; amounts per length: {(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,13194193)} ; 13194193 new representative proofs (32584487 redundant, 33117696 invalid) Sat May 20 19:31:14 2023: Starting to write 13194193 entries to data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. 10436.09 ms (10 s 436.09 ms) taken to print and save 2161632450 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. Sat May 20 19:31:30 2023: Limited D-proof representative generator complete. [parallel ; 48 hardware thread contexts, limit: 31, unfiltered] Sat May 20 19:31:53 2023: Process terminated. [pid: 591182, tid:23177570727808]