( 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: 1.803888… h CPU utilization: 86.58666… core-h ) Sat May 20 18:44:32 2023: Process started. [pid: 2342702, tid:22452063106944] Tasks: 1. generateDProofRepresentativeFiles(33, false, true) [Main] Calling generateDProofRepresentativeFiles(33, false, true). Sat May 20 18:44:32 2023: Limited D-proof representative generator started. [parallel ; 48 hardware thread contexts, limit: 33, unfiltered] 0.28 ms taken to load built-in representatives. 1.61 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:22452010587904] 12.12 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:22452008486656] 78.06 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:22452006385408] 634.49 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:22452004284160] 5624.15 ms (5 s 624.15 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:22452002182912] 530.71 ms taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:22452000081664] 1323.21 ms (1 s 323.21 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:22451997980416] 5629.97 ms (5 s 629.97 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. 4614.13 ms (4 s 614.13 ms) taken to read 13194193 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31-unfiltered31+.txt. [tid:22451997980416] 4615.76 ms (4 s 615.76 ms) additional read duration. Loaded 1 more representative collection of size: 31 : 13194193 18375771 representatives in total. Sat May 20 18:44:43 2023: Inserted 5% of D-proof conclusions. [ 918788 of 18375771] (ETC: Sat May 20 18:44:51 2023 ; 8 s 583.52 ms remaining ; 9 s 35.29 ms total) Sat May 20 18:44:43 2023: Inserted 10% of D-proof conclusions. [ 1837577 of 18375771] (ETC: Sat May 20 18:44:52 2023 ; 8 s 957.62 ms remaining ; 9 s 952.91 ms total) Sat May 20 18:44:44 2023: Inserted 15% of D-proof conclusions. [ 2756365 of 18375771] (ETC: Sat May 20 18:44:53 2023 ; 8 s 898.99 ms remaining ; 10 s 469.40 ms total) Sat May 20 18:44:45 2023: Inserted 20% of D-proof conclusions. [ 3675154 of 18375771] (ETC: Sat May 20 18:44:53 2023 ; 8 s 450.21 ms remaining ; 10 s 562.76 ms total) Sat May 20 18:44:45 2023: Inserted 25% of D-proof conclusions. [ 4593942 of 18375771] (ETC: Sat May 20 18:44:53 2023 ; 8 s 163.33 ms remaining ; 10 s 884.43 ms total) Sat May 20 18:44:46 2023: Inserted 30% of D-proof conclusions. [ 5512731 of 18375771] (ETC: Sat May 20 18:44:53 2023 ; 7 s 336.45 ms remaining ; 10 s 480.64 ms total) Sat May 20 18:44:46 2023: Inserted 35% of D-proof conclusions. [ 6431519 of 18375771] (ETC: Sat May 20 18:44:52 2023 ; 6 s 225.91 ms remaining ; 9 s 578.32 ms total) Sat May 20 18:44:46 2023: Inserted 40% of D-proof conclusions. [ 7350308 of 18375771] (ETC: Sat May 20 18:44:51 2023 ; 5 s 327.36 ms remaining ; 8 s 878.94 ms total) Sat May 20 18:44:46 2023: Inserted 45% of D-proof conclusions. [ 8269096 of 18375771] (ETC: Sat May 20 18:44:51 2023 ; 4 s 585.74 ms remaining ; 8 s 337.71 ms total) Sat May 20 18:44:47 2023: Inserted 50% of D-proof conclusions. [ 9187885 of 18375771] (ETC: Sat May 20 18:44:51 2023 ; 4 s 115.09 ms remaining ; 8 s 230.19 ms total) Sat May 20 18:44:47 2023: Inserted 55% of D-proof conclusions. [10106674 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 3 s 543.29 ms remaining ; 7 s 873.98 ms total) Sat May 20 18:44:47 2023: Inserted 60% of D-proof conclusions. [11025462 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 3 s 41.35 ms remaining ; 7 s 603.38 ms total) Sat May 20 18:44:47 2023: Inserted 65% of D-proof conclusions. [11944251 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 2 s 595.77 ms remaining ; 7 s 416.48 ms total) Sat May 20 18:44:47 2023: Inserted 70% of D-proof conclusions. [12863039 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 2 s 184.80 ms remaining ; 7 s 282.66 ms total) Sat May 20 18:44:48 2023: Inserted 75% of D-proof conclusions. [13781828 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 1 s 806.73 ms remaining ; 7 s 226.93 ms total) Sat May 20 18:44:48 2023: Inserted 80% of D-proof conclusions. [14700616 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 1 s 441.72 ms remaining ; 7 s 208.61 ms total) Sat May 20 18:44:49 2023: Inserted 85% of D-proof conclusions. [15619405 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 1 s 80.52 ms remaining ; 7 s 203.47 ms total) Sat May 20 18:44:49 2023: Inserted 90% of D-proof conclusions. [16538193 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 720.06 ms remaining ; 7 s 200.62 ms total) Sat May 20 18:44:49 2023: Inserted 95% of D-proof conclusions. [17456982 of 18375771] (ETC: Sat May 20 18:44:50 2023 ; 361.89 ms remaining ; 7 s 237.77 ms total) 7187.32 ms (7 s 187.32 ms) total insertion duration. Known iteration count loaded from 33:260604052. Sat May 20 18:44:50 2023: Starting to generate D-proof representatives of length 33. Sat May 20 18:47:18 2023: Iterated 2% of D-proof candidates. [ 5212081 of 260604052] (ETC: Sat May 20 20:48:19 2023 ; 2 h 1 min 1 s 641.10 ms remaining ; 2 h 3 min 29 s 837.86 ms total) Sat May 20 18:49:29 2023: Iterated 4% of D-proof candidates. [ 10424162 of 260604052] (ETC: Sat May 20 20:41:14 2023 ; 1 h 51 min 44 s 625.89 ms remaining ; 1 h 56 min 23 s 985.30 ms total) Sat May 20 18:51:33 2023: Iterated 6% of D-proof candidates. [ 15636243 of 260604052] (ETC: Sat May 20 20:36:48 2023 ; 1 h 45 min 14 s 917.98 ms remaining ; 1 h 51 min 57 s 997.85 ms total) Sat May 20 18:54:07 2023: Iterated 8% of D-proof candidates. [ 20848324 of 260604052] (ETC: Sat May 20 20:41:03 2023 ; 1 h 46 min 55 s 301.09 ms remaining ; 1 h 56 min 13 s 153.35 ms total) Sat May 20 18:56:27 2023: Iterated 10% of D-proof candidates. [ 26060405 of 260604052] (ETC: Sat May 20 20:40:59 2023 ; 1 h 44 min 32 s 508.19 ms remaining ; 1 h 56 min 9 s 453.53 ms total) Sat May 20 18:58:36 2023: Iterated 12% of D-proof candidates. [ 31272486 of 260604052] (ETC: Sat May 20 20:39:36 2023 ; 1 h 40 min 59 s 780.45 ms remaining ; 1 h 54 min 46 s 114.14 ms total) Sat May 20 19:00:38 2023: Iterated 14% of D-proof candidates. [ 36484567 of 260604052] (ETC: Sat May 20 20:37:43 2023 ; 1 h 37 min 5 s 252.28 ms remaining ; 1 h 52 min 53 s 549.16 ms total) Sat May 20 19:02:44 2023: Iterated 16% of D-proof candidates. [ 41696648 of 260604052] (ETC: Sat May 20 20:36:45 2023 ; 1 h 34 min 580.02 ms remaining ; 1 h 51 min 54 s 976.21 ms total) Sat May 20 19:05:10 2023: Iterated 18% of D-proof candidates. [ 46908729 of 260604052] (ETC: Sat May 20 20:37:52 2023 ; 1 h 32 min 41 s 355.01 ms remaining ; 1 h 53 min 2 s 140.25 ms total) Sat May 20 19:07:30 2023: Iterated 20% of D-proof candidates. [ 52120810 of 260604052] (ETC: Sat May 20 20:38:14 2023 ; 1 h 30 min 43 s 358.50 ms remaining ; 1 h 53 min 24 s 198.12 ms total) Sat May 20 19:10:01 2023: Iterated 22% of D-proof candidates. [ 57332891 of 260604052] (ETC: Sat May 20 20:39:20 2023 ; 1 h 29 min 19 s 243.16 ms remaining ; 1 h 54 min 30 s 824.55 ms total) Sat May 20 19:12:13 2023: Iterated 24% of D-proof candidates. [ 62544972 of 260604052] (ETC: Sat May 20 20:38:56 2023 ; 1 h 26 min 43 s 388.55 ms remaining ; 1 h 54 min 6 s 563.86 ms total) Sat May 20 19:14:16 2023: Iterated 26% of D-proof candidates. [ 67757053 of 260604052] (ETC: Sat May 20 20:38:04 2023 ; 1 h 23 min 47 s 837.58 ms remaining ; 1 h 53 min 14 s 375.09 ms total) Sat May 20 19:16:21 2023: Iterated 28% of D-proof candidates. [ 72969134 of 260604052] (ETC: Sat May 20 20:37:24 2023 ; 1 h 21 min 3 s 540.35 ms remaining ; 1 h 52 min 34 s 917.13 ms total) Sat May 20 19:18:15 2023: Iterated 30% of D-proof candidates. [ 78181215 of 260604052] (ETC: Sat May 20 20:36:13 2023 ; 1 h 17 min 58 s 551.51 ms remaining ; 1 h 51 min 23 s 645.00 ms total) Sat May 20 19:20:26 2023: Iterated 32% of D-proof candidates. [ 83393296 of 260604052] (ETC: Sat May 20 20:36:06 2023 ; 1 h 15 min 40 s 278.66 ms remaining ; 1 h 51 min 16 s 880.36 ms total) Sat May 20 19:22:40 2023: Iterated 34% of D-proof candidates. [ 88605377 of 260604052] (ETC: Sat May 20 20:36:07 2023 ; 1 h 13 min 26 s 837.29 ms remaining ; 1 h 51 min 17 s 26.16 ms total) Sat May 20 19:24:59 2023: Iterated 36% of D-proof candidates. [ 93817458 of 260604052] (ETC: Sat May 20 20:36:24 2023 ; 1 h 11 min 24 s 245.85 ms remaining ; 1 h 51 min 34 s 134.11 ms total) Sat May 20 19:27:10 2023: Iterated 38% of D-proof candidates. [ 99029539 of 260604052] (ETC: Sat May 20 20:36:15 2023 ; 1 h 9 min 4 s 742.58 ms remaining ; 1 h 51 min 25 s 68.64 ms total) Sat May 20 19:29:26 2023: Iterated 40% of D-proof candidates. [104241620 of 260604052] (ETC: Sat May 20 20:36:20 2023 ; 1 h 6 min 54 s 354.93 ms remaining ; 1 h 51 min 30 s 591.52 ms total) Sat May 20 19:31:44 2023: Iterated 42% of D-proof candidates. [109453701 of 260604052] (ETC: Sat May 20 20:36:29 2023 ; 1 h 4 min 45 s 949.39 ms remaining ; 1 h 51 min 39 s 912.70 ms total) Sat May 20 19:33:52 2023: Iterated 44% of D-proof candidates. [114665782 of 260604052] (ETC: Sat May 20 20:36:18 2023 ; 1 h 2 min 25 s 525.65 ms remaining ; 1 h 51 min 28 s 438.63 ms total) Sat May 20 19:35:50 2023: Iterated 46% of D-proof candidates. [119877863 of 260604052] (ETC: Sat May 20 20:35:43 2023 ; 59 min 53 s 28.70 ms remaining ; 1 h 50 min 53 s 756.81 ms total) Sat May 20 19:37:58 2023: Iterated 48% of D-proof candidates. [125089944 of 260604052] (ETC: Sat May 20 20:35:33 2023 ; 57 min 34 s 451.32 ms remaining ; 1 h 50 min 43 s 175.57 ms total) Sat May 20 19:40:09 2023: Iterated 50% of D-proof candidates. [130302026 of 260604052] (ETC: Sat May 20 20:35:28 2023 ; 55 min 19 s 442.90 ms remaining ; 1 h 50 min 38 s 885.79 ms total) Sat May 20 19:42:16 2023: Iterated 52% of D-proof candidates. [135514107 of 260604052] (ETC: Sat May 20 20:35:17 2023 ; 53 min 1 s 277.78 ms remaining ; 1 h 50 min 27 s 662.04 ms total) Sat May 20 19:44:24 2023: Iterated 54% of D-proof candidates. [140726188 of 260604052] (ETC: Sat May 20 20:35:09 2023 ; 50 min 44 s 877.44 ms remaining ; 1 h 50 min 19 s 298.77 ms total) Sat May 20 19:46:20 2023: Iterated 56% of D-proof candidates. [145938269 of 260604052] (ETC: Sat May 20 20:34:39 2023 ; 48 min 19 s 475.66 ms remaining ; 1 h 49 min 49 s 717.40 ms total) Sat May 20 19:48:16 2023: Iterated 58% of D-proof candidates. [151150350 of 260604052] (ETC: Sat May 20 20:34:13 2023 ; 45 min 56 s 623.43 ms remaining ; 1 h 49 min 23 s 389.11 ms total) Sat May 20 19:50:16 2023: Iterated 60% of D-proof candidates. [156362431 of 260604052] (ETC: Sat May 20 20:33:54 2023 ; 43 min 37 s 842.66 ms remaining ; 1 h 49 min 4 s 606.65 ms total) Sat May 20 19:52:11 2023: Iterated 62% of D-proof candidates. [161574512 of 260604052] (ETC: Sat May 20 20:33:29 2023 ; 41 min 17 s 231.11 ms remaining ; 1 h 48 min 39 s 29.22 ms total) Sat May 20 19:54:06 2023: Iterated 64% of D-proof candidates. [166786593 of 260604052] (ETC: Sat May 20 20:33:03 2023 ; 38 min 57 s 798.12 ms remaining ; 1 h 48 min 13 s 883.65 ms total) Sat May 20 19:55:59 2023: Iterated 66% of D-proof candidates. [171998674 of 260604052] (ETC: Sat May 20 20:32:39 2023 ; 36 min 39 s 626.17 ms remaining ; 1 h 47 min 49 s 488.72 ms total) Sat May 20 19:57:45 2023: Iterated 68% of D-proof candidates. [177210755 of 260604052] (ETC: Sat May 20 20:32:04 2023 ; 34 min 18 s 888.61 ms remaining ; 1 h 47 min 14 s 26.88 ms total) Sat May 20 19:59:37 2023: Iterated 70% of D-proof candidates. [182422836 of 260604052] (ETC: Sat May 20 20:31:41 2023 ; 32 min 3 s 323.83 ms remaining ; 1 h 46 min 51 s 79.40 ms total) Sat May 20 20:01:28 2023: Iterated 72% of D-proof candidates. [187634917 of 260604052] (ETC: Sat May 20 20:31:16 2023 ; 29 min 48 s 158.91 ms remaining ; 1 h 46 min 26 s 281.78 ms total) Sat May 20 20:03:17 2023: Iterated 74% of D-proof candidates. [192846998 of 260604052] (ETC: Sat May 20 20:30:51 2023 ; 27 min 33 s 973.39 ms remaining ; 1 h 46 min 1 s 436.07 ms total) Sat May 20 20:05:01 2023: Iterated 76% of D-proof candidates. [198059079 of 260604052] (ETC: Sat May 20 20:30:20 2023 ; 25 min 19 s 295.24 ms remaining ; 1 h 45 min 30 s 396.80 ms total) Sat May 20 20:06:46 2023: Iterated 78% of D-proof candidates. [203271160 of 260604052] (ETC: Sat May 20 20:29:53 2023 ; 23 min 6 s 711.26 ms remaining ; 1 h 45 min 3 s 232.93 ms total) Sat May 20 20:08:32 2023: Iterated 80% of D-proof candidates. [208483241 of 260604052] (ETC: Sat May 20 20:29:27 2023 ; 20 min 55 s 497.09 ms remaining ; 1 h 44 min 37 s 485.37 ms total) Sat May 20 20:10:16 2023: Iterated 82% of D-proof candidates. [213695322 of 260604052] (ETC: Sat May 20 20:29:02 2023 ; 18 min 45 s 395.63 ms remaining ; 1 h 44 min 12 s 197.85 ms total) Sat May 20 20:11:57 2023: Iterated 84% of D-proof candidates. [218907403 of 260604052] (ETC: Sat May 20 20:28:33 2023 ; 16 min 35 s 730.92 ms remaining ; 1 h 43 min 43 s 318.17 ms total) Sat May 20 20:13:39 2023: Iterated 86% of D-proof candidates. [224119484 of 260604052] (ETC: Sat May 20 20:28:07 2023 ; 14 min 27 s 639.23 ms remaining ; 1 h 43 min 17 s 422.95 ms total) Sat May 20 20:15:19 2023: Iterated 88% of D-proof candidates. [229331565 of 260604052] (ETC: Sat May 20 20:27:40 2023 ; 12 min 20 s 422.55 ms remaining ; 1 h 42 min 50 s 187.75 ms total) Sat May 20 20:17:00 2023: Iterated 90% of D-proof candidates. [234543646 of 260604052] (ETC: Sat May 20 20:27:14 2023 ; 10 min 14 s 474.21 ms remaining ; 1 h 42 min 24 s 741.88 ms total) Sat May 20 20:18:38 2023: Iterated 92% of D-proof candidates. [239755727 of 260604052] (ETC: Sat May 20 20:26:47 2023 ; 8 min 9 s 412.81 ms remaining ; 1 h 41 min 57 s 659.83 ms total) Sat May 20 20:20:17 2023: Iterated 94% of D-proof candidates. [244967808 of 260604052] (ETC: Sat May 20 20:26:23 2023 ; 6 min 5 s 611.43 ms remaining ; 1 h 41 min 33 s 523.46 ms total) Sat May 20 20:21:56 2023: Iterated 96% of D-proof candidates. [250179889 of 260604052] (ETC: Sat May 20 20:25:59 2023 ; 4 min 2 s 770.72 ms remaining ; 1 h 41 min 9 s 267.45 ms total) Sat May 20 20:24:41 2023: Iterated 98% of D-proof candidates. [255391970 of 260604052] (ETC: Sat May 20 20:26:43 2023 ; 2 min 2 s 271.06 ms remaining ; 1 h 41 min 53 s 551.85 ms total) 6088994.29 ms (1 h 41 min 28 s 994.29 ms) taken to collect 45774890 D-proofs of length 33. [iterated 260604052 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 } } }, 208342.67 ms (3 min 28 s 342.67 ms) taken to filter and order new representative proofs. Found 45774890 representative, 102726915 redundant, and 112102247 invalid condensed detachment proof strings. lengths up to 33 ; 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)} ; 45774890 new representative proofs (102726915 redundant, 112102247 invalid) Sat May 20 20:30:06 2023: Starting to write 45774890 entries to data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. 42118.92 ms (42 s 118.92 ms) taken to print and save 8349023875 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs33-unfiltered31+.txt. Sat May 20 20:31:08 2023: Limited D-proof representative generator complete. [parallel ; 48 hardware thread contexts, limit: 33, unfiltered] Sat May 20 20:32:46 2023: Process terminated. [pid: 2342702, tid:22452063106944]