( This log file was generated by 'pmGenerator 1.1' (master branch; with known iteration count 35:755567051), 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: 6.3991666… h CPU utilization: 307.16 core-h ) Sun May 14 12:01:44 2023: Process started. [pid: 9506, tid:22988819371904] Tasks: 1. generateDProofRepresentativeFiles(35, false, true) [Main] Calling generateDProofRepresentativeFiles(35, false, true). Sun May 14 12:01:44 2023: Limited D-proof representative generator started. [parallel ; 48 hardware thread contexts, limit: 35, unfiltered] 0.27 ms taken to load built-in representatives. 59.10 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:22988766852864] 42.77 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:22988764751616] 148.58 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:22988762650368] 743.60 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:22988760549120] 6117.28 ms (6 s 117.28 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:22988758447872] 811.64 ms taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:22988756346624] 1964.68 ms (1 s 964.68 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:22988754245376] 5678.14 ms (5 s 678.13 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:22988752144128] 13645.85 ms (13 s 645.85 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:22988750042880] 13650.57 ms (13 s 650.57 ms) total read duration. Loaded 17 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 33 : 31559297 47152305 representatives in total. Sun May 14 12:01:59 2023: Inserted 5% of D-proof conclusions. [ 2357615 of 47152305] (ETC: Sun May 14 12:02:20 2023 ; 21 s 233.53 ms remaining ; 22 s 351.08 ms total) Sun May 14 12:02:00 2023: Inserted 10% of D-proof conclusions. [ 4715230 of 47152305] (ETC: Sun May 14 12:02:19 2023 ; 19 s 434.36 ms remaining ; 21 s 593.73 ms total) Sun May 14 12:02:01 2023: Inserted 15% of D-proof conclusions. [ 7072845 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 17 s 658.85 ms remaining ; 20 s 775.12 ms total) Sun May 14 12:02:02 2023: Inserted 20% of D-proof conclusions. [ 9430461 of 47152305] (ETC: Sun May 14 12:02:19 2023 ; 16 s 793.91 ms remaining ; 20 s 992.38 ms total) Sun May 14 12:02:03 2023: Inserted 25% of D-proof conclusions. [11788076 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 15 s 638.31 ms remaining ; 20 s 851.08 ms total) Sun May 14 12:02:04 2023: Inserted 30% of D-proof conclusions. [14145691 of 47152305] (ETC: Sun May 14 12:02:19 2023 ; 14 s 687.30 ms remaining ; 20 s 981.86 ms total) Sun May 14 12:02:05 2023: Inserted 35% of D-proof conclusions. [16503306 of 47152305] (ETC: Sun May 14 12:02:19 2023 ; 13 s 675.22 ms remaining ; 21 s 38.80 ms total) Sun May 14 12:02:06 2023: Inserted 40% of D-proof conclusions. [18860922 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 12 s 554.43 ms remaining ; 20 s 924.06 ms total) Sun May 14 12:02:07 2023: Inserted 45% of D-proof conclusions. [21218537 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 11 s 393.78 ms remaining ; 20 s 715.96 ms total) Sun May 14 12:02:08 2023: Inserted 50% of D-proof conclusions. [23576152 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 10 s 227.66 ms remaining ; 20 s 455.32 ms total) Sun May 14 12:02:09 2023: Inserted 55% of D-proof conclusions. [25933767 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 9 s 103.51 ms remaining ; 20 s 230.01 ms total) Sun May 14 12:02:10 2023: Inserted 60% of D-proof conclusions. [28291383 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 8 s 1.75 ms remaining ; 20 s 4.39 ms total) Sun May 14 12:02:10 2023: Inserted 65% of D-proof conclusions. [30648998 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 6 s 941.66 ms remaining ; 19 s 833.31 ms total) Sun May 14 12:02:11 2023: Inserted 70% of D-proof conclusions. [33006613 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 5 s 905.82 ms remaining ; 19 s 686.05 ms total) Sun May 14 12:02:12 2023: Inserted 75% of D-proof conclusions. [35364228 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 4 s 972.18 ms remaining ; 19 s 888.73 ms total) Sun May 14 12:02:13 2023: Inserted 80% of D-proof conclusions. [37721844 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 3 s 983.32 ms remaining ; 19 s 916.62 ms total) Sun May 14 12:02:14 2023: Inserted 85% of D-proof conclusions. [40079459 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 2 s 988.25 ms remaining ; 19 s 921.70 ms total) Sun May 14 12:02:15 2023: Inserted 90% of D-proof conclusions. [42437074 of 47152305] (ETC: Sun May 14 12:02:17 2023 ; 1 s 994.36 ms remaining ; 19 s 943.61 ms total) Sun May 14 12:02:17 2023: Inserted 95% of D-proof conclusions. [44794689 of 47152305] (ETC: Sun May 14 12:02:18 2023 ; 999.04 ms remaining ; 19 s 980.86 ms total) 19985.98 ms (19 s 985.98 ms) total insertion duration. Known iteration count loaded from 35:755567051. Sun May 14 12:02:18 2023: Starting to generate D-proof representatives of length 35. Sun May 14 12:10:26 2023: Iterated 2% of D-proof candidates. [ 15111341 of 755567051] (ETC: Sun May 14 18:49:22 2023 ; 6 h 38 min 55 s 912.08 ms remaining ; 6 h 47 min 4 s 400.08 ms total) Sun May 14 12:17:35 2023: Iterated 4% of D-proof candidates. [ 30222682 of 755567051] (ETC: Sun May 14 18:24:37 2023 ; 6 h 7 min 2 s 182.85 ms remaining ; 6 h 22 min 19 s 773.81 ms total) Sun May 14 12:25:49 2023: Iterated 6% of D-proof candidates. [ 45334023 of 755567051] (ETC: Sun May 14 18:34:16 2023 ; 6 h 8 min 27 s 22.57 ms remaining ; 6 h 31 min 58 s 109.11 ms total) Sun May 14 12:35:51 2023: Iterated 8% of D-proof candidates. [ 60445364 of 755567051] (ETC: Sun May 14 19:01:49 2023 ; 6 h 25 min 57 s 433.17 ms remaining ; 6 h 59 min 31 s 123.01 ms total) Sun May 14 12:43:45 2023: Iterated 10% of D-proof candidates. [ 75556705 of 755567051] (ETC: Sun May 14 18:56:54 2023 ; 6 h 13 min 9 s 190.71 ms remaining ; 6 h 54 min 36 s 878.56 ms total) Sun May 14 12:51:25 2023: Iterated 12% of D-proof candidates. [ 90668046 of 755567051] (ETC: Sun May 14 18:51:39 2023 ; 6 h 14 s 46.83 ms remaining ; 6 h 49 min 21 s 416.85 ms total) Sun May 14 12:59:44 2023: Iterated 14% of D-proof candidates. [105779387 of 755567051] (ETC: Sun May 14 18:52:34 2023 ; 5 h 52 min 49 s 895.94 ms remaining ; 6 h 50 min 16 s 158.06 ms total) Sun May 14 13:08:50 2023: Iterated 16% of D-proof candidates. [120890728 of 755567051] (ETC: Sun May 14 18:58:09 2023 ; 5 h 49 min 19 s 343.08 ms remaining ; 6 h 55 min 51 s 598.89 ms total) Sun May 14 13:17:58 2023: Iterated 18% of D-proof candidates. [136002069 of 755567051] (ETC: Sun May 14 19:02:43 2023 ; 5 h 44 min 45 s 44.38 ms remaining ; 7 h 25 s 663.87 ms total) Sun May 14 13:26:57 2023: Iterated 20% of D-proof candidates. [151113410 of 755567051] (ETC: Sun May 14 19:05:36 2023 ; 5 h 38 min 38 s 812.61 ms remaining ; 7 h 3 min 18 s 515.76 ms total) Sun May 14 13:34:51 2023: Iterated 22% of D-proof candidates. [166224751 of 755567051] (ETC: Sun May 14 19:02:59 2023 ; 5 h 28 min 8 s 400.40 ms remaining ; 7 h 41 s 538.96 ms total) Sun May 14 13:42:29 2023: Iterated 24% of D-proof candidates. [181336092 of 755567051] (ETC: Sun May 14 18:59:43 2023 ; 5 h 17 min 14 s 819.99 ms remaining ; 6 h 57 min 25 s 815.77 ms total) Sun May 14 13:50:04 2023: Iterated 26% of D-proof candidates. [196447433 of 755567051] (ETC: Sun May 14 18:56:47 2023 ; 5 h 6 min 43 s 396.36 ms remaining ; 6 h 54 min 29 s 454.53 ms total) Sun May 14 13:58:06 2023: Iterated 28% of D-proof candidates. [211558774 of 755567051] (ETC: Sun May 14 18:55:53 2023 ; 4 h 57 min 47 s 72.15 ms remaining ; 6 h 53 min 35 s 377.98 ms total) Sun May 14 14:06:29 2023: Iterated 30% of D-proof candidates. [226670115 of 755567051] (ETC: Sun May 14 18:56:17 2023 ; 4 h 49 min 47 s 387.55 ms remaining ; 6 h 53 min 59 s 125.05 ms total) Sun May 14 14:14:42 2023: Iterated 32% of D-proof candidates. [241781456 of 755567051] (ETC: Sun May 14 18:56:05 2023 ; 4 h 41 min 22 s 607.51 ms remaining ; 6 h 53 min 47 s 363.97 ms total) Sun May 14 14:22:23 2023: Iterated 34% of D-proof candidates. [256892797 of 755567051] (ETC: Sun May 14 18:54:20 2023 ; 4 h 31 min 56 s 911.50 ms remaining ; 6 h 52 min 2 s 593.16 ms total) Sun May 14 14:30:26 2023: Iterated 36% of D-proof candidates. [272004138 of 755567051] (ETC: Sun May 14 18:53:48 2023 ; 4 h 23 min 21 s 992.90 ms remaining ; 6 h 51 min 30 s 613.89 ms total) Sun May 14 14:38:51 2023: Iterated 38% of D-proof candidates. [287115479 of 755567051] (ETC: Sun May 14 18:54:16 2023 ; 4 h 15 min 25 s 749.30 ms remaining ; 6 h 51 min 58 s 950.47 ms total) Sun May 14 14:46:00 2023: Iterated 40% of D-proof candidates. [302226820 of 755567051] (ETC: Sun May 14 18:51:35 2023 ; 4 h 5 min 34 s 220.06 ms remaining ; 6 h 49 min 17 s 33.41 ms total) Sun May 14 14:53:01 2023: Iterated 42% of D-proof candidates. [317338161 of 755567051] (ETC: Sun May 14 18:48:47 2023 ; 3 h 55 min 45 s 795.02 ms remaining ; 6 h 46 min 29 s 301.73 ms total) Sun May 14 15:00:50 2023: Iterated 44% of D-proof candidates. [332449502 of 755567051] (ETC: Sun May 14 18:48:05 2023 ; 3 h 47 min 14 s 567.16 ms remaining ; 6 h 45 min 47 s 441.34 ms total) Sun May 14 15:08:30 2023: Iterated 46% of D-proof candidates. [347560843 of 755567051] (ETC: Sun May 14 18:47:06 2023 ; 3 h 38 min 35 s 811.43 ms remaining ; 6 h 44 min 48 s 539.65 ms total) Sun May 14 15:16:14 2023: Iterated 48% of D-proof candidates. [362672184 of 755567051] (ETC: Sun May 14 18:46:19 2023 ; 3 h 30 min 5 s 726.77 ms remaining ; 6 h 44 min 1 s 782.23 ms total) Sun May 14 15:23:51 2023: Iterated 50% of D-proof candidates. [377783525 of 755567051] (ETC: Sun May 14 18:45:25 2023 ; 3 h 21 min 33 s 506.51 ms remaining ; 6 h 43 min 7 s 12.99 ms total) Sun May 14 15:30:21 2023: Iterated 52% of D-proof candidates. [392894866 of 755567051] (ETC: Sun May 14 18:42:25 2023 ; 3 h 12 min 3 s 469.19 ms remaining ; 6 h 40 min 7 s 227.46 ms total) Sun May 14 15:37:21 2023: Iterated 54% of D-proof candidates. [408006207 of 755567051] (ETC: Sun May 14 18:40:33 2023 ; 3 h 3 min 11 s 769.52 ms remaining ; 6 h 38 min 15 s 151.09 ms total) Sun May 14 15:44:21 2023: Iterated 56% of D-proof candidates. [423117548 of 755567051] (ETC: Sun May 14 18:38:49 2023 ; 2 h 54 min 28 s 472.63 ms remaining ; 6 h 36 min 31 s 983.22 ms total) Sun May 14 15:51:03 2023: Iterated 58% of D-proof candidates. [438228889 of 755567051] (ETC: Sun May 14 18:36:42 2023 ; 2 h 45 min 39 s 216.73 ms remaining ; 6 h 34 min 24 s 801.70 ms total) Sun May 14 15:57:47 2023: Iterated 60% of D-proof candidates. [453340230 of 755567051] (ETC: Sun May 14 18:34:46 2023 ; 2 h 36 min 59 s 386.22 ms remaining ; 6 h 32 min 28 s 465.51 ms total) Sun May 14 16:04:24 2023: Iterated 62% of D-proof candidates. [468451571 of 755567051] (ETC: Sun May 14 18:32:47 2023 ; 2 h 28 min 23 s 232.56 ms remaining ; 6 h 30 min 29 s 559.31 ms total) Sun May 14 16:10:20 2023: Iterated 64% of D-proof candidates. [483562912 of 755567051] (ETC: Sun May 14 18:29:52 2023 ; 2 h 19 min 31 s 612.70 ms remaining ; 6 h 27 min 34 s 479.66 ms total) Sun May 14 16:16:55 2023: Iterated 66% of D-proof candidates. [498674253 of 755567051] (ETC: Sun May 14 18:28:05 2023 ; 2 h 11 min 10 s 208.50 ms remaining ; 6 h 25 min 47 s 671.99 ms total) Sun May 14 16:23:19 2023: Iterated 68% of D-proof candidates. [513785594 of 755567051] (ETC: Sun May 14 18:26:09 2023 ; 2 h 2 min 50 s 227.05 ms remaining ; 6 h 23 min 51 s 959.45 ms total) Sun May 14 16:29:38 2023: Iterated 70% of D-proof candidates. [528896935 of 755567051] (ETC: Sun May 14 18:24:12 2023 ; 1 h 54 min 34 s 459.89 ms remaining ; 6 h 21 min 54 s 866.23 ms total) Sun May 14 16:35:34 2023: Iterated 72% of D-proof candidates. [544008276 of 755567051] (ETC: Sun May 14 18:21:51 2023 ; 1 h 46 min 16 s 580.96 ms remaining ; 6 h 19 min 33 s 503.35 ms total) Sun May 14 16:41:33 2023: Iterated 74% of D-proof candidates. [559119617 of 755567051] (ETC: Sun May 14 18:19:40 2023 ; 1 h 38 min 7 s 23.89 ms remaining ; 6 h 17 min 22 s 399.51 ms total) Sun May 14 16:47:43 2023: Iterated 76% of D-proof candidates. [574230958 of 755567051] (ETC: Sun May 14 18:17:50 2023 ; 1 h 30 min 7 s 896.55 ms remaining ; 6 h 15 min 32 s 902.19 ms total) Sun May 14 16:53:44 2023: Iterated 78% of D-proof candidates. [589342299 of 755567051] (ETC: Sun May 14 18:15:57 2023 ; 1 h 22 min 12 s 186.91 ms remaining ; 6 h 13 min 39 s 31.32 ms total) Sun May 14 16:59:29 2023: Iterated 80% of D-proof candidates. [604453640 of 755567051] (ETC: Sun May 14 18:13:47 2023 ; 1 h 14 min 17 s 899.55 ms remaining ; 6 h 11 min 29 s 497.65 ms total) Sun May 14 17:05:20 2023: Iterated 82% of D-proof candidates. [619564981 of 755567051] (ETC: Sun May 14 18:11:51 2023 ; 1 h 6 min 31 s 182.24 ms remaining ; 6 h 9 min 33 s 234.55 ms total) Sun May 14 17:11:04 2023: Iterated 84% of D-proof candidates. [634676322 of 755567051] (ETC: Sun May 14 18:09:53 2023 ; 58 min 48 s 903.17 ms remaining ; 6 h 7 min 35 s 644.64 ms total) Sun May 14 17:16:48 2023: Iterated 86% of D-proof candidates. [649787663 of 755567051] (ETC: Sun May 14 18:08:00 2023 ; 51 min 11 s 916.33 ms remaining ; 6 h 5 min 42 s 259.32 ms total) Sun May 14 17:22:19 2023: Iterated 88% of D-proof candidates. [664899004 of 755567051] (ETC: Sun May 14 18:05:58 2023 ; 43 min 38 s 439.41 ms remaining ; 6 h 3 min 40 s 328.18 ms total) Sun May 14 17:27:59 2023: Iterated 90% of D-proof candidates. [680010345 of 755567051] (ETC: Sun May 14 18:04:10 2023 ; 36 min 11 s 261.62 ms remaining ; 6 h 1 min 52 s 615.94 ms total) Sun May 14 17:33:35 2023: Iterated 92% of D-proof candidates. [695121686 of 755567051] (ETC: Sun May 14 18:02:23 2023 ; 28 min 48 s 449.81 ms remaining ; 6 h 5 s 622.33 ms total) Sun May 14 17:39:08 2023: Iterated 94% of D-proof candidates. [710233027 of 755567051] (ETC: Sun May 14 18:00:38 2023 ; 21 min 30 s 50.08 ms remaining ; 5 h 58 min 20 s 834.22 ms total) Sun May 14 17:44:37 2023: Iterated 96% of D-proof candidates. [725344368 of 755567051] (ETC: Sun May 14 17:58:53 2023 ; 14 min 15 s 819.97 ms remaining ; 5 h 56 min 35 s 498.59 ms total) Sun May 14 17:50:08 2023: Iterated 98% of D-proof candidates. [740455709 of 755567051] (ETC: Sun May 14 17:57:14 2023 ; 7 min 5 s 923.96 ms remaining ; 5 h 54 min 56 s 196.67 ms total) 21389215.61 ms (5 h 56 min 29 s 215.61 ms) taken to collect 121473262 D-proofs of length 35. [iterated 755567051 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 }, { 35, 755567051 } } [Copy] Static unfiltered iteration counts: { 35, { } }, 879059.71 ms (14 min 39 s 59.70 ms) taken to filter and order new representative proofs. Found 121473262 representative, 308911321 redundant, and 325182468 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,10411430), (33,31559297), (35,121473262)} ; 121473262 new representative proofs (308911321 redundant, 325182468 invalid) Sun May 14 18:14:39 2023: Starting to write 121473262 entries to data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. 174966.69 ms (2 min 54 s 966.69 ms) taken to print and save 24669947024 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. Sun May 14 18:19:16 2023: Limited D-proof representative generator complete. [parallel ; 48 hardware thread contexts, limit: 35, unfiltered] Sun May 14 18:25:41 2023: Process terminated. [pid: 9506, tid:22988819371904]