( This log file was generated by 'pmGenerator 1.2' (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-OPTANE MPI node — 2-socket Intel Xeon Gold 6338, 32 cores each (64 cores total per node), 2.0 GHz, 3.20 GHz turbo mode, 512 GiB DDR4-3200 caching for 2 TiB non-volatile memory (NVM) (Intel Optane DC Persistent Memory DIMMs) — running Linux, Rocky 8.8. Wall-clock time: 71.3591666… h CPU utilization: 4566.98666… core-h ) Fri Oct 27 13:52:18 2023: Process started. [pid: 104235, tid:23071174027136] Tasks: 1. generateDProofRepresentativeFiles(39, false, true) [Main] Calling generateDProofRepresentativeFiles(39, false, true). Fri Oct 27 13:52:18 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 39, unfiltered] 0.20 ms taken to load built-in representatives. 806.68 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:23071121508096] 62.78 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:23071119406848] 92.11 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:23071117305600] 540.07 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:23071115204352] 3852.42 ms (3 s 852.42 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:23071113103104] 1930.38 ms (1 s 930.38 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:23071111001856] 3150.98 ms (3 s 150.98 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:23071108900608] 6173.66 ms (6 s 173.66 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:23071106799360] 13053.66 ms (13 s 53.66 ms) taken to read 31559297 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33.txt. [tid:23071104698112] 13077.81 ms (13 s 77.81 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. 62615.53 ms (1 min 2 s 615.52 ms) taken to read 121473262 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs35-unfiltered35+.txt. [tid:23071104698112] 172915.09 ms (2 min 52 s 915.09 ms) taken to read 424088648 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs37-unfiltered35+.txt. [tid:23071106799360] 172922.94 ms (2 min 52 s 922.94 ms) additional read duration. Loaded 2 more representative collections of sizes: 35 : 121473262 37 : 424088648 592714215 representatives in total. Fri Oct 27 13:56:06 2023: Inserted ≈ 5% of D-proof conclusions. [ 29635710 of 592714215] (ETC: Fri Oct 27 14:09:16 2023 ; 13 min 10 s 339.89 ms remaining ; 13 min 51 s 936.72 ms total) Fri Oct 27 13:56:48 2023: Inserted ≈10% of D-proof conclusions. [ 59271421 of 592714215] (ETC: Fri Oct 27 14:09:23 2023 ; 12 min 34 s 615.13 ms remaining ; 13 min 58 s 461.26 ms total) Fri Oct 27 13:57:25 2023: Inserted ≈15% of D-proof conclusions. [ 88907132 of 592714215] (ETC: Fri Oct 27 14:08:48 2023 ; 11 min 23 s 23.87 ms remaining ; 13 min 23 s 557.49 ms total) Fri Oct 27 13:58:03 2023: Inserted ≈20% of D-proof conclusions. [118542843 of 592714215] (ETC: Fri Oct 27 14:08:37 2023 ; 10 min 33 s 934.48 ms remaining ; 13 min 12 s 418.10 ms total) Fri Oct 27 13:58:44 2023: Inserted ≈25% of D-proof conclusions. [148178553 of 592714215] (ETC: Fri Oct 27 14:08:44 2023 ; 10 min 116.11 ms remaining ; 13 min 20 s 154.81 ms total) Fri Oct 27 13:59:27 2023: Inserted ≈30% of D-proof conclusions. [177814264 of 592714215] (ETC: Fri Oct 27 14:08:54 2023 ; 9 min 26 s 801.42 ms remaining ; 13 min 29 s 716.31 ms total) Fri Oct 27 14:00:07 2023: Inserted ≈35% of D-proof conclusions. [207449975 of 592714215] (ETC: Fri Oct 27 14:08:52 2023 ; 8 min 45 s 155.33 ms remaining ; 13 min 27 s 931.27 ms total) Fri Oct 27 14:00:51 2023: Inserted ≈40% of D-proof conclusions. [237085686 of 592714215] (ETC: Fri Oct 27 14:09:01 2023 ; 8 min 9 s 934.82 ms remaining ; 13 min 36 s 558.02 ms total) Fri Oct 27 14:01:42 2023: Inserted ≈45% of D-proof conclusions. [266721396 of 592714215] (ETC: Fri Oct 27 14:09:24 2023 ; 7 min 41 s 840.98 ms remaining ; 13 min 59 s 710.87 ms total) Fri Oct 27 14:02:33 2023: Inserted ≈50% of D-proof conclusions. [296357107 of 592714215] (ETC: Fri Oct 27 14:09:41 2023 ; 7 min 8 s 556.52 ms remaining ; 14 min 17 s 113.05 ms total) Fri Oct 27 14:03:23 2023: Inserted ≈55% of D-proof conclusions. [325992818 of 592714215] (ETC: Fri Oct 27 14:09:55 2023 ; 6 min 31 s 871.89 ms remaining ; 14 min 30 s 826.41 ms total) Fri Oct 27 14:04:12 2023: Inserted ≈60% of D-proof conclusions. [355628529 of 592714215] (ETC: Fri Oct 27 14:10:05 2023 ; 5 min 52 s 180.14 ms remaining ; 14 min 40 s 450.34 ms total) Fri Oct 27 14:05:04 2023: Inserted ≈65% of D-proof conclusions. [385264239 of 592714215] (ETC: Fri Oct 27 14:10:16 2023 ; 5 min 12 s 300.63 ms remaining ; 14 min 52 s 287.50 ms total) Fri Oct 27 14:05:51 2023: Inserted ≈70% of D-proof conclusions. [414899950 of 592714215] (ETC: Fri Oct 27 14:10:19 2023 ; 4 min 28 s 527.07 ms remaining ; 14 min 55 s 90.24 ms total) Fri Oct 27 14:06:33 2023: Inserted ≈75% of D-proof conclusions. [444535661 of 592714215] (ETC: Fri Oct 27 14:10:15 2023 ; 3 min 42 s 805.58 ms remaining ; 14 min 51 s 222.30 ms total) Fri Oct 27 14:07:10 2023: Inserted ≈80% of D-proof conclusions. [474171372 of 592714215] (ETC: Fri Oct 27 14:10:07 2023 ; 2 min 56 s 498.20 ms remaining ; 14 min 42 s 490.98 ms total) Fri Oct 27 14:07:49 2023: Inserted ≈85% of D-proof conclusions. [503807082 of 592714215] (ETC: Fri Oct 27 14:10:01 2023 ; 2 min 11 s 526.72 ms remaining ; 14 min 36 s 844.77 ms total) Fri Oct 27 14:08:29 2023: Inserted ≈90% of D-proof conclusions. [533442793 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 1 min 27 s 189.69 ms remaining ; 14 min 31 s 896.93 ms total) Fri Oct 27 14:09:13 2023: Inserted ≈95% of D-proof conclusions. [563078504 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 43 s 608.93 ms remaining ; 14 min 32 s 178.62 ms total) Fri Oct 27 14:09:56 2023: Inserted 100% of D-proof conclusions. [592714215 of 592714215] (ETC: Fri Oct 27 14:09:56 2023 ; 0.00 ms remaining ; 14 min 32 s 376.84 ms total) 872377.03 ms (14 min 32 s 377.03 ms) total insertion duration. Known iteration count loaded from 39:8383579055. Fri Oct 27 14:09:56 2023: Starting to generate D-proof representatives of length 39. Fri Oct 27 15:27:55 2023: Iterated ≈ 2% of D-proof candidates. [ 167671581 of 8383579055] (ETC: Mon Oct 30 06:08:56 2023 ; 2 d 15 h 41 min 1 s 224.20 ms remaining ; 2 d 16 h 59 min 24.69 ms total) Fri Oct 27 17:00:39 2023: Iterated ≈ 4% of D-proof candidates. [ 335343162 of 8383579055] (ETC: Mon Oct 30 12:17:46 2023 ; 2 d 20 h 17 min 6 s 379.88 ms remaining ; 2 d 23 h 7 min 49 s 145.70 ms total) Fri Oct 27 18:23:03 2023: Iterated ≈ 6% of D-proof candidates. [ 503014743 of 8383579055] (ETC: Mon Oct 30 11:28:28 2023 ; 2 d 18 h 5 min 25 s 181.01 ms remaining ; 2 d 22 h 18 min 31 s 894.68 ms total) Fri Oct 27 20:16:27 2023: Iterated ≈ 8% of D-proof candidates. [ 670686324 of 8383579055] (ETC: Mon Oct 30 17:31:19 2023 ; 2 d 22 h 14 min 52 s 322.98 ms remaining ; 3 d 4 h 21 min 22 s 959.75 ms total) Fri Oct 27 21:54:27 2023: Iterated ≈10% of D-proof candidates. [ 838357905 of 8383579055] (ETC: Mon Oct 30 18:34:52 2023 ; 2 d 21 h 40 min 26 s 29.05 ms remaining ; 3 d 5 h 24 min 55 s 587.82 ms total) Fri Oct 27 23:22:20 2023: Iterated ≈12% of D-proof candidates. [1006029486 of 8383579055] (ETC: Mon Oct 30 17:53:11 2023 ; 2 d 19 h 30 min 51 s 459.17 ms remaining ; 3 d 4 h 43 min 14 s 839.94 ms total) Sat Oct 28 00:46:09 2023: Iterated ≈14% of D-proof candidates. [1173701067 of 8383579055] (ETC: Mon Oct 30 16:54:19 2023 ; 2 d 17 h 8 min 9 s 754.93 ms remaining ; 3 d 3 h 44 min 22 s 505.70 ms total) Sat Oct 28 02:07:34 2023: Iterated ≈16% of D-proof candidates. [1341372648 of 8383579055] (ETC: Mon Oct 30 15:55:07 2023 ; 2 d 14 h 47 min 32 s 477.72 ms remaining ; 3 d 2 h 45 min 10 s 92.49 ms total) Sat Oct 28 03:40:48 2023: Iterated ≈18% of D-proof candidates. [1509044229 of 8383579055] (ETC: Mon Oct 30 16:14:44 2023 ; 2 d 13 h 33 min 55 s 940.66 ms remaining ; 3 d 3 h 4 min 47 s 732.47 ms total) Sat Oct 28 05:04:44 2023: Iterated ≈20% of D-proof candidates. [1676715811 of 8383579055] (ETC: Mon Oct 30 15:43:54 2023 ; 2 d 11 h 39 min 10 s 351.90 ms remaining ; 3 d 2 h 33 min 57 s 939.87 ms total) Sat Oct 28 06:49:58 2023: Iterated ≈22% of D-proof candidates. [1844387392 of 8383579055] (ETC: Mon Oct 30 16:55:32 2023 ; 2 d 11 h 5 min 33 s 867.24 ms remaining ; 3 d 3 h 45 min 35 s 727.22 ms total) Sat Oct 28 08:16:59 2023: Iterated ≈24% of D-proof candidates. [2012058973 of 8383579055] (ETC: Mon Oct 30 16:39:17 2023 ; 2 d 9 h 22 min 18 s 261.28 ms remaining ; 3 d 3 h 29 min 20 s 870.10 ms total) Sat Oct 28 09:43:24 2023: Iterated ≈26% of D-proof candidates. [2179730554 of 8383579055] (ETC: Mon Oct 30 16:23:15 2023 ; 2 d 7 h 39 min 51 s 188.03 ms remaining ; 3 d 3 h 13 min 18 s 902.73 ms total) Sat Oct 28 11:07:53 2023: Iterated ≈28% of D-proof candidates. [2347402135 of 8383579055] (ETC: Mon Oct 30 16:02:37 2023 ; 2 d 5 h 54 min 43 s 363.93 ms remaining ; 3 d 2 h 52 min 40 s 227.66 ms total) Sat Oct 28 12:24:04 2023: Iterated ≈30% of D-proof candidates. [2515073716 of 8383579055] (ETC: Mon Oct 30 15:17:03 2023 ; 2 d 3 h 52 min 58 s 621.94 ms remaining ; 3 d 2 h 7 min 6 s 602.75 ms total) Sat Oct 28 13:48:12 2023: Iterated ≈32% of D-proof candidates. [2682745297 of 8383579055] (ETC: Mon Oct 30 15:01:58 2023 ; 2 d 2 h 13 min 46 s 857.42 ms remaining ; 3 d 1 h 52 min 1 s 849.12 ms total) Sat Oct 28 15:14:29 2023: Iterated ≈34% of D-proof candidates. [2850416878 of 8383579055] (ETC: Mon Oct 30 14:55:04 2023 ; 2 d 40 min 35 s 91.33 ms remaining ; 3 d 1 h 45 min 7 s 714.10 ms total) Sat Oct 28 16:41:10 2023: Iterated ≈36% of D-proof candidates. [3018088459 of 8383579055] (ETC: Mon Oct 30 14:50:01 2023 ; 1 d 23 h 8 min 50 s 702.42 ms remaining ; 3 d 1 h 40 min 4 s 222.49 ms total) Sat Oct 28 18:09:10 2023: Iterated ≈38% of D-proof candidates. [3185760040 of 8383579055] (ETC: Mon Oct 30 14:48:58 2023 ; 1 d 21 h 39 min 47 s 760.78 ms remaining ; 3 d 1 h 39 min 1 s 549.60 ms total) Sat Oct 28 19:33:14 2023: Iterated ≈40% of D-proof candidates. [3353431622 of 8383579055] (ETC: Mon Oct 30 14:38:09 2023 ; 1 d 20 h 4 min 55 s 576.28 ms remaining ; 3 d 1 h 28 min 12 s 627.13 ms total) Sat Oct 28 20:57:20 2023: Iterated ≈42% of D-proof candidates. [3521103203 of 8383579055] (ETC: Mon Oct 30 14:28:30 2023 ; 1 d 18 h 31 min 9 s 809.18 ms remaining ; 3 d 1 h 18 min 33 s 464.09 ms total) Sat Oct 28 22:26:17 2023: Iterated ≈44% of D-proof candidates. [3688774784 of 8383579055] (ETC: Mon Oct 30 14:30:42 2023 ; 1 d 17 h 4 min 25 s 563.09 ms remaining ; 3 d 1 h 20 min 45 s 648.36 ms total) Sat Oct 28 23:40:49 2023: Iterated ≈46% of D-proof candidates. [3856446365 of 8383579055] (ETC: Mon Oct 30 14:01:25 2023 ; 1 d 15 h 20 min 35 s 819.19 ms remaining ; 3 d 51 min 28 s 554.03 ms total) Sun Oct 29 00:50:57 2023: Iterated ≈48% of D-proof candidates. [4024117946 of 8383579055] (ETC: Mon Oct 30 13:25:22 2023 ; 1 d 13 h 34 min 25 s 168.05 ms remaining ; 3 d 15 min 25 s 323.15 ms total) Sun Oct 29 02:07:58 2023: Iterated ≈50% of D-proof candidates. [4191789527 of 8383579055] (ETC: Mon Oct 30 13:06:00 2023 ; 1 d 11 h 58 min 1 s 938.74 ms remaining ; 2 d 23 h 56 min 3 s 877.45 ms total) Sun Oct 29 02:30:40 2023: Iterated ≈52% of D-proof candidates. [4359461108 of 8383579055] (ETC: Mon Oct 30 12:59:02 2023 ; 1 d 10 h 28 min 21 s 767.91 ms remaining ; 2 d 23 h 49 min 5 s 349.78 ms total) Sun Oct 29 03:56:04 2023: Iterated ≈54% of D-proof candidates. [4527132689 of 8383579055] (ETC: Mon Oct 30 12:57:34 2023 ; 1 d 9 h 1 min 30 s 673.88 ms remaining ; 2 d 23 h 47 min 37 s 986.66 ms total) Sun Oct 29 05:12:34 2023: Iterated ≈56% of D-proof candidates. [4694804270 of 8383579055] (ETC: Mon Oct 30 12:40:21 2023 ; 1 d 7 h 27 min 46 s 892.58 ms remaining ; 2 d 23 h 30 min 24 s 755.81 ms total) Sun Oct 29 06:23:59 2023: Iterated ≈58% of D-proof candidates. [4862475851 of 8383579055] (ETC: Mon Oct 30 12:15:32 2023 ; 1 d 5 h 51 min 32 s 785.44 ms remaining ; 2 d 23 h 5 min 35 s 203.36 ms total) Sun Oct 29 07:37:25 2023: Iterated ≈60% of D-proof candidates. [5030147433 of 8383579055] (ETC: Mon Oct 30 11:55:45 2023 ; 1 d 4 h 18 min 19 s 325.18 ms remaining ; 2 d 22 h 45 min 48 s 312.96 ms total) Sun Oct 29 08:50:49 2023: Iterated ≈62% of D-proof candidates. [5197819014 of 8383579055] (ETC: Mon Oct 30 11:37:10 2023 ; 1 d 2 h 46 min 20 s 691.90 ms remaining ; 2 d 22 h 27 min 13 s 399.74 ms total) Sun Oct 29 10:05:55 2023: Iterated ≈64% of D-proof candidates. [5365490595 of 8383579055] (ETC: Mon Oct 30 11:22:25 2023 ; 1 d 1 h 16 min 29 s 395.17 ms remaining ; 2 d 22 h 12 min 28 s 319.89 ms total) Sun Oct 29 11:12:15 2023: Iterated ≈66% of D-proof candidates. [5533162176 of 8383579055] (ETC: Mon Oct 30 10:55:16 2023 ; 23 h 43 min 536.33 ms remaining ; 2 d 21 h 45 min 19 s 224.48 ms total) Sun Oct 29 12:20:25 2023: Iterated ≈68% of D-proof candidates. [5700833757 of 8383579055] (ETC: Mon Oct 30 10:32:24 2023 ; 22 h 11 min 59 s 232.39 ms remaining ; 2 d 21 h 22 min 27 s 601.18 ms total) Sun Oct 29 13:29:56 2023: Iterated ≈70% of D-proof candidates. [5868505338 of 8383579055] (ETC: Mon Oct 30 10:12:47 2023 ; 20 h 42 min 51 s 225.40 ms remaining ; 2 d 21 h 2 min 50 s 751.27 ms total) Sun Oct 29 14:39:42 2023: Iterated ≈72% of D-proof candidates. [6036176919 of 8383579055] (ETC: Mon Oct 30 09:54:37 2023 ; 19 h 14 min 54 s 469.90 ms remaining ; 2 d 20 h 44 min 40 s 249.57 ms total) Sun Oct 29 15:43:09 2023: Iterated ≈74% of D-proof candidates. [6203848500 of 8383579055] (ETC: Mon Oct 30 09:28:52 2023 ; 17 h 45 min 43 s 211.33 ms remaining ; 2 d 20 h 18 min 55 s 428.10 ms total) Sun Oct 29 16:48:35 2023: Iterated ≈76% of D-proof candidates. [6371520081 of 8383579055] (ETC: Mon Oct 30 09:07:06 2023 ; 16 h 18 min 31 s 1.36 ms remaining ; 2 d 19 h 57 min 9 s 172.22 ms total) Sun Oct 29 17:53:53 2023: Iterated ≈78% of D-proof candidates. [6539191662 of 8383579055] (ETC: Mon Oct 30 08:46:16 2023 ; 14 h 52 min 23 s 537.65 ms remaining ; 2 d 19 h 36 min 19 s 716.47 ms total) Sun Oct 29 18:55:53 2023: Iterated ≈80% of D-proof candidates. [6706863244 of 8383579055] (ETC: Mon Oct 30 08:22:22 2023 ; 13 h 26 min 29 s 183.91 ms remaining ; 2 d 19 h 12 min 25 s 919.56 ms total) Sun Oct 29 19:58:41 2023: Iterated ≈82% of D-proof candidates. [6874534825 of 8383579055] (ETC: Mon Oct 30 08:00:36 2023 ; 12 h 1 min 55 s 191.40 ms remaining ; 2 d 18 h 50 min 39 s 952.22 ms total) Sun Oct 29 21:01:06 2023: Iterated ≈84% of D-proof candidates. [7042206406 of 8383579055] (ETC: Mon Oct 30 07:39:25 2023 ; 10 h 38 min 18 s 907.83 ms remaining ; 2 d 18 h 29 min 28 s 173.92 ms total) Sun Oct 29 22:00:59 2023: Iterated ≈86% of D-proof candidates. [7209877987 of 8383579055] (ETC: Mon Oct 30 07:16:16 2023 ; 9 h 15 min 17 s 138.61 ms remaining ; 2 d 18 h 6 min 19 s 561.46 ms total) Sun Oct 29 23:01:41 2023: Iterated ≈88% of D-proof candidates. [7377549568 of 8383579055] (ETC: Mon Oct 30 06:55:06 2023 ; 7 h 53 min 25 s 146.96 ms remaining ; 2 d 17 h 45 min 9 s 557.87 ms total) Mon Oct 30 00:02:21 2023: Iterated ≈90% of D-proof candidates. [7545221149 of 8383579055] (ETC: Mon Oct 30 06:34:51 2023 ; 6 h 32 min 29 s 422.33 ms remaining ; 2 d 17 h 24 min 54 s 223.18 ms total) Mon Oct 30 01:01:28 2023: Iterated ≈92% of D-proof candidates. [7712892730 of 8383579055] (ETC: Mon Oct 30 06:13:46 2023 ; 5 h 12 min 18 s 364.20 ms remaining ; 2 d 17 h 3 min 49 s 552.31 ms total) Mon Oct 30 02:00:57 2023: Iterated ≈94% of D-proof candidates. [7880564311 of 8383579055] (ETC: Mon Oct 30 05:54:00 2023 ; 3 h 53 min 2 s 582.55 ms remaining ; 2 d 16 h 44 min 3 s 42.24 ms total) Mon Oct 30 03:00:29 2023: Iterated ≈96% of D-proof candidates. [8048235892 of 8383579055] (ETC: Mon Oct 30 05:35:06 2023 ; 2 h 34 min 36 s 369.25 ms remaining ; 2 d 16 h 25 min 9 s 230.63 ms total) Mon Oct 30 03:59:34 2023: Iterated ≈98% of D-proof candidates. [8215907473 of 8383579055] (ETC: Mon Oct 30 05:16:29 2023 ; 1 h 16 min 55 s 860.08 ms remaining ; 2 d 16 h 6 min 33 s 2.82 ms total) Mon Oct 30 04:57:57 2023: Iterated 100% of D-proof candidates. [8383579055 of 8383579055] (ETC: Mon Oct 30 04:57:57 2023 ; 0.00 ms remaining ; 2 d 15 h 48 min 556.60 ms total) 229692076.46 ms (2 d 15 h 48 min 12 s 76.46 ms) taken to collect 1413629510 D-proofs of length 39. [iterated 8383579055 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, { { 37, 2497890936 }, { 39, 8383579055 } } }, 15374822.23 ms (4 h 16 min 14 s 822.23 ms) taken to filter and order new representative proofs. Found 1413629510 representative, 3273371746 redundant, and 3696577799 invalid condensed detachment proof strings. lengths up to 39 ; 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), (37,424088648), (39,1413629510)} ; 1413629510 new representative proofs (3273371746 redundant, 3696577799 invalid) Mon Oct 30 09:41:10 2023: Starting to write 1413629510 entries to data/dProofs-withConclusions/dProofs39-unfiltered35+.txt. 2782530.74 ms (46 min 22 s 530.74 ms) taken to print and save 352398833029 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs39-unfiltered35+.txt. Mon Oct 30 11:21:31 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 39, unfiltered] Mon Oct 30 12:13:51 2023: Process terminated. [pid: 104235, tid:23071174027136]