( This log file was generated by 'pmGenerator 1.1' (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.7. Wall-clock time: 7.639444… h CPU utilization: 366.69333… core-h ) Sat May 20 19:59:36 2023: Process started. [pid: 3178531, tid:22845254424448] Tasks: 1. generateDProofRepresentativeFiles(35, false, true) [Main] Calling generateDProofRepresentativeFiles(35, false, true). Sat May 20 19:59:36 2023: Limited D-proof representative generator started. [parallel ; 48 hardware thread contexts, limit: 35, unfiltered] 0.28 ms taken to load built-in representatives. 41.96 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:22845201905408] 71.22 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:22845132371712] 108.16 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:22845130270464] 673.73 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:22845128169216] 5657.99 ms (5 s 657.99 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:22845126067968] 581.12 ms taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:22845123966720] 1401.49 ms (1 s 401.49 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:22845121865472] 5664.96 ms (5 s 664.96 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. 5745.66 ms (5 s 745.66 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:22845121865472] 18593.18 ms (18 s 593.18 ms) taken to read 45774890 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. [tid:22845123966720] 18595.48 ms (18 s 595.48 ms) additional read duration. Loaded 2 more representative collections of sizes: 31 : 13194193 33 : 45774890 64150661 representatives in total. Sat May 20 20:00:02 2023: Inserted 5% of D-proof conclusions. [ 3207533 of 64150661] (ETC: Sat May 20 20:00:34 2023 ; 31 s 866.88 ms remaining ; 33 s 544.08 ms total) Sat May 20 20:00:04 2023: Inserted 10% of D-proof conclusions. [ 6415066 of 64150661] (ETC: Sat May 20 20:00:33 2023 ; 29 s 104.31 ms remaining ; 32 s 338.12 ms total) Sat May 20 20:00:05 2023: Inserted 15% of D-proof conclusions. [ 9622599 of 64150661] (ETC: Sat May 20 20:00:30 2023 ; 25 s 11.11 ms remaining ; 29 s 424.83 ms total) Sat May 20 20:00:06 2023: Inserted 20% of D-proof conclusions. [12830132 of 64150661] (ETC: Sat May 20 20:00:27 2023 ; 21 s 610.30 ms remaining ; 27 s 12.88 ms total) Sat May 20 20:00:07 2023: Inserted 25% of D-proof conclusions. [16037665 of 64150661] (ETC: Sat May 20 20:00:27 2023 ; 19 s 608.29 ms remaining ; 26 s 144.39 ms total) Sat May 20 20:00:08 2023: Inserted 30% of D-proof conclusions. [19245198 of 64150661] (ETC: Sat May 20 20:00:26 2023 ; 18 s 169.52 ms remaining ; 25 s 956.45 ms total) Sat May 20 20:00:09 2023: Inserted 35% of D-proof conclusions. [22452731 of 64150661] (ETC: Sat May 20 20:00:26 2023 ; 16 s 483.74 ms remaining ; 25 s 359.59 ms total) Sat May 20 20:00:10 2023: Inserted 40% of D-proof conclusions. [25660264 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 14 s 925.97 ms remaining ; 24 s 876.61 ms total) Sat May 20 20:00:12 2023: Inserted 45% of D-proof conclusions. [28867797 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 13 s 617.07 ms remaining ; 24 s 758.31 ms total) Sat May 20 20:00:13 2023: Inserted 50% of D-proof conclusions. [32075330 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 12 s 250.29 ms remaining ; 24 s 500.59 ms total) Sat May 20 20:00:14 2023: Inserted 55% of D-proof conclusions. [35282863 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 10 s 944.54 ms remaining ; 24 s 321.21 ms total) Sat May 20 20:00:15 2023: Inserted 60% of D-proof conclusions. [38490396 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 9 s 696.58 ms remaining ; 24 s 241.44 ms total) Sat May 20 20:00:16 2023: Inserted 65% of D-proof conclusions. [41697929 of 64150661] (ETC: Sat May 20 20:00:25 2023 ; 8 s 463.17 ms remaining ; 24 s 180.49 ms total) Sat May 20 20:00:17 2023: Inserted 70% of D-proof conclusions. [44905462 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 7 s 212.02 ms remaining ; 24 s 40.08 ms total) Sat May 20 20:00:18 2023: Inserted 75% of D-proof conclusions. [48112995 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 5 s 978.28 ms remaining ; 23 s 913.12 ms total) Sat May 20 20:00:19 2023: Inserted 80% of D-proof conclusions. [51320528 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 4 s 772.13 ms remaining ; 23 s 860.66 ms total) Sat May 20 20:00:21 2023: Inserted 85% of D-proof conclusions. [54528061 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 3 s 580.70 ms remaining ; 23 s 871.36 ms total) Sat May 20 20:00:22 2023: Inserted 90% of D-proof conclusions. [57735594 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 2 s 398.94 ms remaining ; 23 s 989.43 ms total) Sat May 20 20:00:23 2023: Inserted 95% of D-proof conclusions. [60943127 of 64150661] (ETC: Sat May 20 20:00:24 2023 ; 1 s 203.32 ms remaining ; 24 s 66.42 ms total) 24180.42 ms (24 s 180.42 ms) total insertion duration. Known iteration count loaded from 35:874253765. Sat May 20 20:00:25 2023: Starting to generate D-proof representatives of length 35. Sat May 20 20:09:29 2023: Iterated 2% of D-proof candidates. [ 17485075 of 874253765] (ETC: Sun May 21 03:34:17 2023 ; 7 h 24 min 48 s 288.82 ms remaining ; 7 h 33 min 52 s 947.77 ms total) Sat May 20 20:18:43 2023: Iterated 4% of D-proof candidates. [ 34970150 of 874253765] (ETC: Sun May 21 03:38:11 2023 ; 7 h 19 min 27 s 711.81 ms remaining ; 7 h 37 min 46 s 366.45 ms total) Sat May 20 20:26:49 2023: Iterated 6% of D-proof candidates. [ 52455225 of 874253765] (ETC: Sun May 21 03:20:37 2023 ; 6 h 53 min 47 s 353.74 ms remaining ; 7 h 20 min 12 s 78.42 ms total) Sat May 20 20:38:02 2023: Iterated 8% of D-proof candidates. [ 69940301 of 874253765] (ETC: Sun May 21 03:50:46 2023 ; 7 h 12 min 44 s 16.73 ms remaining ; 7 h 50 min 21 s 757.31 ms total) Sat May 20 20:48:44 2023: Iterated 10% of D-proof candidates. [ 87425376 of 874253765] (ETC: Sun May 21 04:03:42 2023 ; 7 h 14 min 57 s 272.26 ms remaining ; 8 h 3 min 16 s 969.16 ms total) Sat May 20 20:57:40 2023: Iterated 12% of D-proof candidates. [104910451 of 874253765] (ETC: Sun May 21 03:57:37 2023 ; 6 h 59 min 56 s 736.90 ms remaining ; 7 h 57 min 12 s 655.54 ms total) Sat May 20 21:06:44 2023: Iterated 14% of D-proof candidates. [122395527 of 874253765] (ETC: Sun May 21 03:54:11 2023 ; 6 h 47 min 26 s 978.33 ms remaining ; 7 h 53 min 46 s 718.99 ms total) Sat May 20 21:15:06 2023: Iterated 16% of D-proof candidates. [139880602 of 874253765] (ETC: Sun May 21 03:47:14 2023 ; 6 h 32 min 7 s 786.18 ms remaining ; 7 h 46 min 49 s 269.25 ms total) Sat May 20 21:25:56 2023: Iterated 18% of D-proof candidates. [157365677 of 874253765] (ETC: Sun May 21 03:55:34 2023 ; 6 h 29 min 37 s 454.92 ms remaining ; 7 h 55 min 9 s 91.34 ms total) Sat May 20 21:35:17 2023: Iterated 20% of D-proof candidates. [174850753 of 874253765] (ETC: Sun May 21 03:54:45 2023 ; 6 h 19 min 28 s 545.04 ms remaining ; 7 h 54 min 20 s 681.29 ms total) Sat May 20 21:46:22 2023: Iterated 22% of D-proof candidates. [192335828 of 874253765] (ETC: Sun May 21 04:02:00 2023 ; 6 h 15 min 38 s 469.46 ms remaining ; 8 h 1 min 35 s 473.66 ms total) Sat May 20 21:56:26 2023: Iterated 24% of D-proof candidates. [209820903 of 874253765] (ETC: Sun May 21 04:03:52 2023 ; 6 h 7 min 25 s 685.88 ms remaining ; 8 h 3 min 27 s 481.40 ms total) Sat May 20 22:05:44 2023: Iterated 26% of D-proof candidates. [227305978 of 874253765] (ETC: Sun May 21 04:02:26 2023 ; 5 h 56 min 42 s 177.70 ms remaining ; 8 h 2 min 1 s 861.71 ms total) Sat May 20 22:14:31 2023: Iterated 28% of D-proof candidates. [244791054 of 874253765] (ETC: Sun May 21 03:59:21 2023 ; 5 h 44 min 50 s 197.20 ms remaining ; 7 h 58 min 56 s 384.99 ms total) Sat May 20 22:22:58 2023: Iterated 30% of D-proof candidates. [262276129 of 874253765] (ETC: Sun May 21 03:55:38 2023 ; 5 h 32 min 39 s 155.82 ms remaining ; 7 h 55 min 13 s 79.71 ms total) Sat May 20 22:31:32 2023: Iterated 32% of D-proof candidates. [279761204 of 874253765] (ETC: Sun May 21 03:52:40 2023 ; 5 h 21 min 7 s 914.62 ms remaining ; 7 h 52 min 15 s 168.52 ms total) Sat May 20 22:40:45 2023: Iterated 34% of D-proof candidates. [297246280 of 874253765] (ETC: Sun May 21 03:51:59 2023 ; 5 h 11 min 14 s 148.45 ms remaining ; 7 h 51 min 34 s 164.31 ms total) Sat May 20 22:49:49 2023: Iterated 36% of D-proof candidates. [314731355 of 874253765] (ETC: Sun May 21 03:50:59 2023 ; 5 h 1 min 10 s 344.82 ms remaining ; 7 h 50 min 34 s 913.76 ms total) Sat May 20 22:59:34 2023: Iterated 38% of D-proof candidates. [332216430 of 874253765] (ETC: Sun May 21 03:51:51 2023 ; 4 h 52 min 17 s 842.02 ms remaining ; 7 h 51 min 26 s 841.93 ms total) Sat May 20 23:08:17 2023: Iterated 40% of D-proof candidates. [349701506 of 874253765] (ETC: Sun May 21 03:50:06 2023 ; 4 h 41 min 48 s 944.31 ms remaining ; 7 h 49 min 41 s 573.86 ms total) Sat May 20 23:17:34 2023: Iterated 42% of D-proof candidates. [367186581 of 874253765] (ETC: Sun May 21 03:49:51 2023 ; 4 h 32 min 16 s 332.11 ms remaining ; 7 h 49 min 26 s 89.83 ms total) Sat May 20 23:27:10 2023: Iterated 44% of D-proof candidates. [384671656 of 874253765] (ETC: Sun May 21 03:50:19 2023 ; 4 h 23 min 8 s 909.99 ms remaining ; 7 h 49 min 54 s 482.08 ms total) Sat May 20 23:36:05 2023: Iterated 46% of D-proof candidates. [402156731 of 874253765] (ETC: Sun May 21 03:49:15 2023 ; 4 h 13 min 10 s 445.96 ms remaining ; 7 h 48 min 50 s 455.42 ms total) Sat May 20 23:44:01 2023: Iterated 48% of D-proof candidates. [419641807 of 874253765] (ETC: Sun May 21 03:46:16 2023 ; 4 h 2 min 14 s 737.33 ms remaining ; 7 h 45 min 51 s 417.92 ms total) Sat May 20 23:51:57 2023: Iterated 50% of D-proof candidates. [437126882 of 874253765] (ETC: Sun May 21 03:43:30 2023 ; 3 h 51 min 32 s 751.74 ms remaining ; 7 h 43 min 5 s 503.45 ms total) Sun May 21 00:00:49 2023: Iterated 52% of D-proof candidates. [454611957 of 874253765] (ETC: Sun May 21 03:42:44 2023 ; 3 h 41 min 54 s 759.06 ms remaining ; 7 h 42 min 19 s 81.32 ms total) Sun May 21 00:09:44 2023: Iterated 54% of D-proof candidates. [472097033 of 874253765] (ETC: Sun May 21 03:42:08 2023 ; 3 h 32 min 23 s 620.85 ms remaining ; 7 h 41 min 43 s 523.57 ms total) Sun May 21 00:18:41 2023: Iterated 56% of D-proof candidates. [489582108 of 874253765] (ETC: Sun May 21 03:41:37 2023 ; 3 h 22 min 55 s 733.37 ms remaining ; 7 h 41 min 12 s 121.28 ms total) Sun May 21 00:26:53 2023: Iterated 58% of D-proof candidates. [507067183 of 874253765] (ETC: Sun May 21 03:39:51 2023 ; 3 h 12 min 57 s 825.65 ms remaining ; 7 h 39 min 26 s 251.51 ms total) Sun May 21 00:34:52 2023: Iterated 60% of D-proof candidates. [524552259 of 874253765] (ETC: Sun May 21 03:37:51 2023 ; 3 h 2 min 58 s 450.78 ms remaining ; 7 h 37 min 26 s 126.95 ms total) Sun May 21 00:43:06 2023: Iterated 62% of D-proof candidates. [542037334 of 874253765] (ETC: Sun May 21 03:36:22 2023 ; 2 h 53 min 15 s 700.44 ms remaining ; 7 h 35 min 57 s 106.39 ms total) Sun May 21 00:51:10 2023: Iterated 64% of D-proof candidates. [559522409 of 874253765] (ETC: Sun May 21 03:34:43 2023 ; 2 h 43 min 32 s 966.53 ms remaining ; 7 h 34 min 18 s 240.30 ms total) Sun May 21 00:59:14 2023: Iterated 66% of D-proof candidates. [577007484 of 874253765] (ETC: Sun May 21 03:33:10 2023 ; 2 h 33 min 56 s 199.31 ms remaining ; 7 h 32 min 45 s 292.00 ms total) Sun May 21 01:06:29 2023: Iterated 68% of D-proof candidates. [594492560 of 874253765] (ETC: Sun May 21 03:30:30 2023 ; 2 h 24 min 1 s 886.24 ms remaining ; 7 h 30 min 5 s 894.48 ms total) Sun May 21 01:14:00 2023: Iterated 70% of D-proof candidates. [611977635 of 874253765] (ETC: Sun May 21 03:28:23 2023 ; 2 h 14 min 23 s 614.57 ms remaining ; 7 h 27 min 58 s 715.19 ms total) Sun May 21 01:21:34 2023: Iterated 72% of D-proof candidates. [629462710 of 874253765] (ETC: Sun May 21 03:26:27 2023 ; 2 h 4 min 53 s 570.70 ms remaining ; 7 h 26 min 2 s 752.41 ms total) Sun May 21 01:29:03 2023: Iterated 74% of D-proof candidates. [646947786 of 874253765] (ETC: Sun May 21 03:24:31 2023 ; 1 h 55 min 28 s 76.86 ms remaining ; 7 h 24 min 6 s 449.46 ms total) Sun May 21 01:35:59 2023: Iterated 76% of D-proof candidates. [664432861 of 874253765] (ETC: Sun May 21 03:21:57 2023 ; 1 h 45 min 58 s 217.98 ms remaining ; 7 h 21 min 32 s 574.87 ms total) Sun May 21 01:43:07 2023: Iterated 78% of D-proof candidates. [681917936 of 874253765] (ETC: Sun May 21 03:19:46 2023 ; 1 h 36 min 39 s 584.24 ms remaining ; 7 h 19 min 21 s 746.46 ms total) Sun May 21 01:50:08 2023: Iterated 80% of D-proof candidates. [699403012 of 874253765] (ETC: Sun May 21 03:17:34 2023 ; 1 h 27 min 25 s 919.17 ms remaining ; 7 h 17 min 9 s 595.84 ms total) Sun May 21 01:57:03 2023: Iterated 82% of D-proof candidates. [716888087 of 874253765] (ETC: Sun May 21 03:15:20 2023 ; 1 h 18 min 17 s 216.48 ms remaining ; 7 h 14 min 55 s 647.05 ms total) Sun May 21 02:03:43 2023: Iterated 84% of D-proof candidates. [734373162 of 874253765] (ETC: Sun May 21 03:12:55 2023 ; 1 h 9 min 12 s 127.48 ms remaining ; 7 h 12 min 30 s 796.65 ms total) Sun May 21 02:10:28 2023: Iterated 86% of D-proof candidates. [751858237 of 874253765] (ETC: Sun May 21 03:10:42 2023 ; 1 h 14 s 510.23 ms remaining ; 7 h 10 min 17 s 930.00 ms total) Sun May 21 02:17:09 2023: Iterated 88% of D-proof candidates. [769343313 of 874253765] (ETC: Sun May 21 03:08:31 2023 ; 51 min 22 s 433.79 ms remaining ; 7 h 8 min 6 s 948.17 ms total) Sun May 21 02:23:30 2023: Iterated 90% of D-proof candidates. [786828388 of 874253765] (ETC: Sun May 21 03:06:04 2023 ; 42 min 33 s 916.17 ms remaining ; 7 h 5 min 39 s 161.53 ms total) Sun May 21 02:30:05 2023: Iterated 92% of D-proof candidates. [804313463 of 874253765] (ETC: Sun May 21 03:03:58 2023 ; 33 min 53 s 53.10 ms remaining ; 7 h 3 min 33 s 163.50 ms total) Sun May 21 02:36:31 2023: Iterated 94% of D-proof candidates. [821798539 of 874253765] (ETC: Sun May 21 03:01:48 2023 ; 25 min 17 s 26.71 ms remaining ; 7 h 1 min 23 s 778.46 ms total) Sun May 21 02:42:50 2023: Iterated 96% of D-proof candidates. [839283614 of 874253765] (ETC: Sun May 21 02:59:36 2023 ; 16 min 46 s 67.46 ms remaining ; 6 h 59 min 11 s 686.20 ms total) Sun May 21 02:49:19 2023: Iterated 98% of D-proof candidates. [856768689 of 874253765] (ETC: Sun May 21 02:57:40 2023 ; 8 min 20 s 705.69 ms remaining ; 6 h 57 min 15 s 283.72 ms total) 25129418.69 ms (6 h 58 min 49 s 418.69 ms) taken to collect 151768744 D-proofs of length 35. [iterated 874253765 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 } } }, 1262509.09 ms (21 min 2 s 509.09 ms) taken to filter and order new representative proofs. Found 151768744 representative, 344005967 redundant, and 378479054 invalid condensed detachment proof strings. lengths up to 35 ; 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), (33,45774890), (35,151768744)} ; 151768744 new representative proofs (344005967 redundant, 378479054 invalid) Sun May 21 03:22:00 2023: Starting to write 151768744 entries to data/dProofs-withConclusions/dProofs35-unfiltered31+.txt. 255057.50 ms (4 min 15 s 57.50 ms) taken to print and save 30717801573 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs35-unfiltered31+.txt. Sun May 21 03:28:39 2023: Limited D-proof representative generator complete. [parallel ; 48 hardware thread contexts, limit: 35, unfiltered] Sun May 21 03:37:58 2023: Process terminated. [pid: 3178531, tid:22845254424448]