( 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: 11.79111… h CPU utilization: 754.63111… core-h ) Fri Oct 27 18:27:10 2023: Process started. [pid: 66877, tid:22811104548736] Tasks: 1. resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true) 2. generateDProofRepresentativeFiles(53, false, true) [Main] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: 1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72] (1) CC0.1CCC2C3.4C1CN3N0C0.3 - CCpqCCCrCstCqCNsNpCps - (0\imply1)\imply(((2\imply(3\imply4))\imply(1\imply(\not3\imply\not0)))\imply(0\imply3)) [Main] Calling generateDProofRepresentativeFiles(53, false, true). Fri Oct 27 18:27:10 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 53, unfiltered] 0.00 ms taken to load initial representatives. 29.69 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs3.txt. [tid:22811044300544] 19.86 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs5.txt. [tid:22811042199296] 20.35 ms taken to read 2 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs7.txt. [tid:22811040098048] 10.99 ms taken to read 4 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs9.txt. [tid:22811037996800] 15.37 ms taken to read 7 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs11.txt. [tid:22810906851072] 18.92 ms taken to read 12 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs13.txt. [tid:22810904749824] 22.49 ms taken to read 22 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs15.txt. [tid:22810772633344] 31.25 ms taken to read 42 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs17.txt. [tid:22810770532096] 32.33 ms taken to read 80 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs19.txt. [tid:22810768430848] 29.58 ms taken to read 151 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs21.txt. [tid:22810766329600] 47.71 ms taken to read 287 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs23.txt. [tid:22810764228352] 53.83 ms taken to read 555 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs25.txt. [tid:22811035895552] 48.35 ms taken to read 1081 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs27.txt. [tid:22811033794304] 502.26 ms taken to read 2107 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs29.txt. [tid:22811031693056] 351.52 ms taken to read 4123 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs31.txt. [tid:22811029591808] 886.07 ms taken to read 8112 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs33.txt. [tid:22811027490560] 3665.76 ms (3 s 665.76 ms) taken to read 16029 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs35.txt. [tid:22811025389312] 2169.99 ms (2 s 170.00 ms) taken to read 31774 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs37.txt. [tid:22811023288064] 1337.45 ms (1 s 337.45 ms) taken to read 63152 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs39.txt. [tid:22811021186816] 3820.04 ms (3 s 820.04 ms) taken to read 125873 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs41.txt. [tid:22811019085568] 7443.10 ms (7 s 443.11 ms) taken to read 251561 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs43.txt. [tid:22811016984320] 13530.23 ms (13 s 530.23 ms) taken to read 503956 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs45.txt. [tid:22811014883072] 24300.46 ms (24 s 300.46 ms) taken to read 1011747 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs47.txt. [tid:22811012781824] 42087.05 ms (42 s 87.05 ms) taken to read 2035230 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs49.txt. [tid:22811010680576] 62892.01 ms (1 min 2 s 892.01 ms) taken to read 4101770 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51.txt. [tid:22811008579328] 62948.51 ms (1 min 2 s 948.51 ms) total read duration. Loaded 26 representative collections of sizes: 1 : 1 3 : 1 5 : 1 7 : 2 9 : 4 11 : 7 13 : 12 15 : 22 17 : 42 19 : 80 21 : 151 23 : 287 25 : 555 27 : 1081 29 : 2107 31 : 4123 33 : 8112 35 : 16029 37 : 31774 39 : 63152 41 : 125873 43 : 251561 45 : 503956 47 : 1011747 49 : 2035230 51 : 4101770 8157680 representatives in total. Fri Oct 27 18:28:17 2023: Inserted ≈ 5% of D-proof conclusions. [ 407884 of 8157680] (ETC: Fri Oct 27 18:29:36 2023 ; 1 min 18 s 827.30 ms remaining ; 1 min 22 s 976.10 ms total) Fri Oct 27 18:28:24 2023: Inserted ≈10% of D-proof conclusions. [ 815768 of 8157680] (ETC: Fri Oct 27 18:30:01 2023 ; 1 min 37 s 153.66 ms remaining ; 1 min 47 s 948.51 ms total) Fri Oct 27 18:28:30 2023: Inserted ≈15% of D-proof conclusions. [1223652 of 8157680] (ETC: Fri Oct 27 18:30:03 2023 ; 1 min 33 s 892.29 ms remaining ; 1 min 50 s 461.52 ms total) Fri Oct 27 18:28:33 2023: Inserted ≈20% of D-proof conclusions. [1631536 of 8157680] (ETC: Fri Oct 27 18:29:52 2023 ; 1 min 19 s 354.04 ms remaining ; 1 min 39 s 192.55 ms total) Fri Oct 27 18:28:42 2023: Inserted ≈25% of D-proof conclusions. [2039420 of 8157680] (ETC: Fri Oct 27 18:30:11 2023 ; 1 min 28 s 312.47 ms remaining ; 1 min 57 s 749.96 ms total) Fri Oct 27 18:28:46 2023: Inserted ≈30% of D-proof conclusions. [2447304 of 8157680] (ETC: Fri Oct 27 18:30:02 2023 ; 1 min 16 s 308.47 ms remaining ; 1 min 49 s 12.09 ms total) Fri Oct 27 18:28:50 2023: Inserted ≈35% of D-proof conclusions. [2855188 of 8157680] (ETC: Fri Oct 27 18:29:58 2023 ; 1 min 8 s 111.48 ms remaining ; 1 min 44 s 786.89 ms total) Fri Oct 27 18:28:54 2023: Inserted ≈40% of D-proof conclusions. [3263072 of 8157680] (ETC: Fri Oct 27 18:29:55 2023 ; 1 min 1 s 470.06 ms remaining ; 1 min 42 s 450.11 ms total) Fri Oct 27 18:28:59 2023: Inserted ≈45% of D-proof conclusions. [3670956 of 8157680] (ETC: Fri Oct 27 18:29:54 2023 ; 55 s 764.58 ms remaining ; 1 min 41 s 390.14 ms total) Fri Oct 27 18:29:09 2023: Inserted ≈50% of D-proof conclusions. [4078840 of 8157680] (ETC: Fri Oct 27 18:30:05 2023 ; 55 s 766.48 ms remaining ; 1 min 51 s 532.97 ms total) Fri Oct 27 18:29:12 2023: Inserted ≈55% of D-proof conclusions. [4486724 of 8157680] (ETC: Fri Oct 27 18:30:01 2023 ; 48 s 401.40 ms remaining ; 1 min 47 s 558.66 ms total) Fri Oct 27 18:29:16 2023: Inserted ≈60% of D-proof conclusions. [4894608 of 8157680] (ETC: Fri Oct 27 18:29:57 2023 ; 41 s 669.87 ms remaining ; 1 min 44 s 174.68 ms total) Fri Oct 27 18:29:19 2023: Inserted ≈65% of D-proof conclusions. [5302492 of 8157680] (ETC: Fri Oct 27 18:29:55 2023 ; 35 s 766.04 ms remaining ; 1 min 42 s 188.69 ms total) Fri Oct 27 18:29:24 2023: Inserted ≈70% of D-proof conclusions. [5710376 of 8157680] (ETC: Fri Oct 27 18:29:54 2023 ; 30 s 270.94 ms remaining ; 1 min 40 s 903.14 ms total) Fri Oct 27 18:29:29 2023: Inserted ≈75% of D-proof conclusions. [6118260 of 8157680] (ETC: Fri Oct 27 18:29:54 2023 ; 25 s 244.20 ms remaining ; 1 min 40 s 976.82 ms total) Fri Oct 27 18:29:34 2023: Inserted ≈80% of D-proof conclusions. [6526144 of 8157680] (ETC: Fri Oct 27 18:29:54 2023 ; 20 s 243.26 ms remaining ; 1 min 41 s 216.29 ms total) Fri Oct 27 18:29:40 2023: Inserted ≈85% of D-proof conclusions. [6934028 of 8157680] (ETC: Fri Oct 27 18:29:55 2023 ; 15 s 318.34 ms remaining ; 1 min 42 s 122.26 ms total) Fri Oct 27 18:29:47 2023: Inserted ≈90% of D-proof conclusions. [7341912 of 8157680] (ETC: Fri Oct 27 18:29:58 2023 ; 10 s 490.19 ms remaining ; 1 min 44 s 901.96 ms total) Fri Oct 27 18:29:57 2023: Inserted ≈95% of D-proof conclusions. [7749796 of 8157680] (ETC: Fri Oct 27 18:30:03 2023 ; 5 s 495.41 ms remaining ; 1 min 49 s 908.27 ms total) Fri Oct 27 18:30:12 2023: Inserted 100% of D-proof conclusions. [8157680 of 8157680] (ETC: Fri Oct 27 18:30:12 2023 ; 0.00 ms remaining ; 1 min 59 s 387.61 ms total) 119390.14 ms (1 min 59 s 390.14 ms) total insertion duration. Known iteration count loaded from 53:29300562. Fri Oct 27 18:30:12 2023: Starting to generate D-proof representatives of length 53. Fri Oct 27 18:57:05 2023: Iterated ≈ 2% of D-proof candidates. [ 586011 of 29300562] (ETC: Sat Oct 28 16:53:52 2023 ; 21 h 56 min 46 s 865.68 ms remaining ; 22 h 23 min 39 s 250.02 ms total) Fri Oct 27 19:13:00 2023: Iterated ≈ 4% of D-proof candidates. [ 1172022 of 29300562] (ETC: Sat Oct 28 12:20:01 2023 ; 17 h 7 min 1 s 207.30 ms remaining ; 17 h 49 min 48 s 756.51 ms total) Fri Oct 27 19:28:27 2023: Iterated ≈ 6% of D-proof candidates. [ 1758033 of 29300562] (ETC: Sat Oct 28 10:41:02 2023 ; 15 h 12 min 34 s 321.64 ms remaining ; 16 h 10 min 49 s 276.82 ms total) Fri Oct 27 19:47:08 2023: Iterated ≈ 8% of D-proof candidates. [ 2344044 of 29300562] (ETC: Sat Oct 28 10:31:50 2023 ; 14 h 44 min 41 s 409.78 ms remaining ; 16 h 1 min 37 s 182.49 ms total) Fri Oct 27 20:05:13 2023: Iterated ≈10% of D-proof candidates. [ 2930056 of 29300562] (ETC: Sat Oct 28 10:20:15 2023 ; 14 h 15 min 2 s 313.09 ms remaining ; 15 h 50 min 2 s 569.67 ms total) Fri Oct 27 20:21:46 2023: Iterated ≈12% of D-proof candidates. [ 3516067 of 29300562] (ETC: Sat Oct 28 09:59:49 2023 ; 13 h 38 min 3 s 435.11 ms remaining ; 15 h 29 min 36 s 629.85 ms total) Fri Oct 27 20:34:51 2023: Iterated ≈14% of D-proof candidates. [ 4102078 of 29300562] (ETC: Sat Oct 28 09:20:29 2023 ; 12 h 45 min 38 s 519.55 ms remaining ; 14 h 50 min 16 s 881.75 ms total) Fri Oct 27 20:57:55 2023: Iterated ≈16% of D-proof candidates. [ 4688089 of 29300562] (ETC: Sat Oct 28 09:53:25 2023 ; 12 h 55 min 30 s 98.09 ms remaining ; 15 h 23 min 12 s 971.85 ms total) Fri Oct 27 21:16:32 2023: Iterated ≈18% of D-proof candidates. [ 5274101 of 29300562] (ETC: Sat Oct 28 09:54:13 2023 ; 12 h 37 min 41 s 235.50 ms remaining ; 15 h 24 min 530.73 ms total) Fri Oct 27 21:33:21 2023: Iterated ≈20% of D-proof candidates. [ 5860112 of 29300562] (ETC: Sat Oct 28 09:45:57 2023 ; 12 h 12 min 35 s 915.85 ms remaining ; 15 h 15 min 44 s 893.87 ms total) Fri Oct 27 21:53:53 2023: Iterated ≈22% of D-proof candidates. [ 6446123 of 29300562] (ETC: Sat Oct 28 09:56:02 2023 ; 12 h 2 min 9 s 17.42 ms remaining ; 15 h 25 min 50 s 20.78 ms total) Fri Oct 27 22:14:51 2023: Iterated ≈24% of D-proof candidates. [ 7032134 of 29300562] (ETC: Sat Oct 28 10:06:14 2023 ; 11 h 51 min 23 s 174.36 ms remaining ; 15 h 36 min 2 s 69.31 ms total) Fri Oct 27 22:30:33 2023: Iterated ≈26% of D-proof candidates. [ 7618146 of 29300562] (ETC: Sat Oct 28 09:54:36 2023 ; 11 h 24 min 3 s 386.53 ms remaining ; 15 h 24 min 24 s 35.54 ms total) Fri Oct 27 22:45:18 2023: Iterated ≈28% of D-proof candidates. [ 8204157 of 29300562] (ETC: Sat Oct 28 09:41:17 2023 ; 10 h 55 min 58 s 391.12 ms remaining ; 15 h 11 min 4 s 431.18 ms total) Fri Oct 27 23:15:52 2023: Iterated ≈30% of D-proof candidates. [ 8790168 of 29300562] (ETC: Sat Oct 28 10:22:25 2023 ; 11 h 6 min 32 s 744.32 ms remaining ; 15 h 52 min 12 s 490.22 ms total) Fri Oct 27 23:37:41 2023: Iterated ≈32% of D-proof candidates. [ 9376179 of 29300562] (ETC: Sat Oct 28 10:31:03 2023 ; 10 h 53 min 22 s 548.13 ms remaining ; 16 h 50 s 803.64 ms total) Fri Oct 27 23:55:02 2023: Iterated ≈34% of D-proof candidates. [ 9962191 of 29300562] (ETC: Sat Oct 28 10:25:35 2023 ; 10 h 30 min 32 s 827.15 ms remaining ; 15 h 55 min 22 s 465.14 ms total) Sat Oct 28 00:18:21 2023: Iterated ≈36% of D-proof candidates. [10548202 of 29300562] (ETC: Sat Oct 28 10:37:15 2023 ; 10 h 18 min 54 s 471.05 ms remaining ; 16 h 7 min 2 s 610.02 ms total) Sat Oct 28 00:38:10 2023: Iterated ≈38% of D-proof candidates. [11134213 of 29300562] (ETC: Sat Oct 28 10:38:31 2023 ; 10 h 20 s 924.44 ms remaining ; 16 h 8 min 18 s 263.44 ms total) Sat Oct 28 00:56:17 2023: Iterated ≈40% of D-proof candidates. [11720224 of 29300562] (ETC: Sat Oct 28 10:35:25 2023 ; 9 h 39 min 7 s 586.92 ms remaining ; 16 h 5 min 12 s 642.23 ms total) Sat Oct 28 01:11:13 2023: Iterated ≈42% of D-proof candidates. [12306236 of 29300562] (ETC: Sat Oct 28 10:24:59 2023 ; 9 h 13 min 46 s 218.86 ms remaining ; 15 h 54 min 46 s 584.11 ms total) Sat Oct 28 01:30:16 2023: Iterated ≈44% of D-proof candidates. [12892247 of 29300562] (ETC: Sat Oct 28 10:24:53 2023 ; 8 h 54 min 37 s 67.57 ms remaining ; 15 h 54 min 40 s 476.83 ms total) Sat Oct 28 01:46:58 2023: Iterated ≈46% of D-proof candidates. [13478258 of 29300562] (ETC: Sat Oct 28 10:19:41 2023 ; 8 h 32 min 43 s 192.25 ms remaining ; 15 h 49 min 28 s 872.67 ms total) Sat Oct 28 02:03:42 2023: Iterated ≈48% of D-proof candidates. [14064269 of 29300562] (ETC: Sat Oct 28 10:14:59 2023 ; 8 h 11 min 17 s 240.11 ms remaining ; 15 h 44 min 46 s 997.39 ms total) Sat Oct 28 02:19:28 2023: Iterated ≈50% of D-proof candidates. [14650281 of 29300562] (ETC: Sat Oct 28 10:08:44 2023 ; 7 h 49 min 15 s 753.90 ms remaining ; 15 h 38 min 31 s 507.80 ms total) Sat Oct 28 02:33:54 2023: Iterated ≈52% of D-proof candidates. [15236292 of 29300562] (ETC: Sat Oct 28 10:00:23 2023 ; 7 h 26 min 29 s 142.53 ms remaining ; 15 h 30 min 10 s 712.65 ms total) Sat Oct 28 02:48:11 2023: Iterated ≈54% of D-proof candidates. [15822303 of 29300562] (ETC: Sat Oct 28 09:52:23 2023 ; 7 h 4 min 11 s 927.77 ms remaining ; 15 h 22 min 10 s 275.80 ms total) Sat Oct 28 03:01:34 2023: Iterated ≈56% of D-proof candidates. [16408314 of 29300562] (ETC: Sat Oct 28 09:43:21 2023 ; 6 h 41 min 46 s 824.73 ms remaining ; 15 h 13 min 8 s 234.96 ms total) Sat Oct 28 03:16:20 2023: Iterated ≈58% of D-proof candidates. [16994325 of 29300562] (ETC: Sat Oct 28 09:37:20 2023 ; 6 h 20 min 59 s 543.99 ms remaining ; 15 h 7 min 7 s 481.44 ms total) Sat Oct 28 03:30:39 2023: Iterated ≈60% of D-proof candidates. [17580337 of 29300562] (ETC: Sat Oct 28 09:30:56 2023 ; 6 h 17 s 431.19 ms remaining ; 15 h 43 s 577.05 ms total) Sat Oct 28 03:42:23 2023: Iterated ≈62% of D-proof candidates. [18166348 of 29300562] (ETC: Sat Oct 28 09:20:49 2023 ; 5 h 38 min 26 s 77.37 ms remaining ; 14 h 50 min 37 s 43.60 ms total) Sat Oct 28 03:53:37 2023: Iterated ≈64% of D-proof candidates. [18752359 of 29300562] (ETC: Sat Oct 28 09:10:33 2023 ; 5 h 16 min 55 s 257.85 ms remaining ; 14 h 40 min 20 s 157.30 ms total) Sat Oct 28 04:05:20 2023: Iterated ≈66% of D-proof candidates. [19338370 of 29300562] (ETC: Sat Oct 28 09:01:37 2023 ; 4 h 56 min 16 s 623.69 ms remaining ; 14 h 31 min 24 s 182.48 ms total) Sat Oct 28 04:16:02 2023: Iterated ≈68% of D-proof candidates. [19924382 of 29300562] (ETC: Sat Oct 28 08:51:44 2023 ; 4 h 35 min 41 s 188.73 ms remaining ; 14 h 21 min 31 s 213.91 ms total) Sat Oct 28 04:25:59 2023: Iterated ≈70% of D-proof candidates. [20510393 of 29300562] (ETC: Sat Oct 28 08:41:18 2023 ; 4 h 15 min 19 s 830.90 ms remaining ; 14 h 11 min 6 s 100.67 ms total) Sat Oct 28 04:35:53 2023: Iterated ≈72% of D-proof candidates. [21096404 of 29300562] (ETC: Sat Oct 28 08:31:25 2023 ; 3 h 55 min 32 s 434.45 ms remaining ; 14 h 1 min 12 s 976.25 ms total) Sat Oct 28 04:44:56 2023: Iterated ≈74% of D-proof candidates. [21682415 of 29300562] (ETC: Sat Oct 28 08:20:55 2023 ; 3 h 35 min 59 s 43.01 ms remaining ; 13 h 50 min 42 s 467.34 ms total) Sat Oct 28 04:53:38 2023: Iterated ≈76% of D-proof candidates. [22268427 of 29300562] (ETC: Sat Oct 28 08:10:30 2023 ; 3 h 16 min 52 s 150.46 ms remaining ; 13 h 40 min 17 s 292.75 ms total) Sat Oct 28 05:01:50 2023: Iterated ≈78% of D-proof candidates. [22854438 of 29300562] (ETC: Sat Oct 28 07:59:59 2023 ; 2 h 58 min 9 s 147.74 ms remaining ; 13 h 29 min 47 s 32.48 ms total) Sat Oct 28 05:09:22 2023: Iterated ≈80% of D-proof candidates. [23440449 of 29300562] (ETC: Sat Oct 28 07:49:10 2023 ; 2 h 39 min 47 s 457.33 ms remaining ; 13 h 18 min 57 s 281.75 ms total) Sat Oct 28 05:16:37 2023: Iterated ≈82% of D-proof candidates. [24026460 of 29300562] (ETC: Sat Oct 28 07:38:31 2023 ; 2 h 21 min 53 s 706.08 ms remaining ; 13 h 8 min 18 s 359.56 ms total) Sat Oct 28 05:23:24 2023: Iterated ≈84% of D-proof candidates. [24612472 of 29300562] (ETC: Sat Oct 28 07:27:50 2023 ; 2 h 4 min 25 s 148.25 ms remaining ; 12 h 57 min 37 s 175.76 ms total) Sat Oct 28 05:29:58 2023: Iterated ≈86% of D-proof candidates. [25198483 of 29300562] (ETC: Sat Oct 28 07:17:22 2023 ; 1 h 47 min 24 s 134.22 ms remaining ; 12 h 47 min 9 s 526.52 ms total) Sat Oct 28 05:36:08 2023: Iterated ≈88% of D-proof candidates. [25784494 of 29300562] (ETC: Sat Oct 28 07:06:57 2023 ; 1 h 30 min 48 s 493.56 ms remaining ; 12 h 36 min 44 s 105.81 ms total) Sat Oct 28 05:41:59 2023: Iterated ≈90% of D-proof candidates. [26370505 of 29300562] (ETC: Sat Oct 28 06:56:37 2023 ; 1 h 14 min 38 s 473.48 ms remaining ; 12 h 26 min 24 s 722.56 ms total) Sat Oct 28 05:47:41 2023: Iterated ≈92% of D-proof candidates. [26956517 of 29300562] (ETC: Sat Oct 28 06:46:36 2023 ; 58 min 54 s 680.08 ms remaining ; 12 h 16 min 23 s 500.22 ms total) Sat Oct 28 05:53:09 2023: Iterated ≈94% of D-proof candidates. [27542528 of 29300562] (ETC: Sat Oct 28 06:36:44 2023 ; 43 min 35 s 509.95 ms remaining ; 12 h 6 min 31 s 825.65 ms total) Sat Oct 28 05:58:30 2023: Iterated ≈96% of D-proof candidates. [28128539 of 29300562] (ETC: Sat Oct 28 06:27:11 2023 ; 28 min 40 s 739.48 ms remaining ; 11 h 56 min 58 s 467.99 ms total) Sat Oct 28 06:03:44 2023: Iterated ≈98% of D-proof candidates. [28714550 of 29300562] (ETC: Sat Oct 28 06:17:53 2023 ; 14 min 9 s 222.58 ms remaining ; 11 h 47 min 41 s 73.90 ms total) Sat Oct 28 06:08:50 2023: Iterated 100% of D-proof candidates. [29300562 of 29300562] (ETC: Sat Oct 28 06:08:50 2023 ; 0.00 ms remaining ; 11 h 38 min 37 s 288.01 ms total) 41917372.71 ms (11 h 38 min 37 s 372.71 ms) taken to collect 8360537 D-proofs of length 53. [iterated 29300562 condensed detachment proof strings] [Copy] Custom iteration counts: { { 1, 1 }, { 3, 1 }, { 5, 2 }, { 7, 3 }, { 9, 6 }, { 11, 13 }, { 13, 26 }, { 15, 50 }, { 17, 98 }, { 19, 196 }, { 21, 392 }, { 23, 779 }, { 25, 1548 }, { 27, 3094 }, { 29, 6206 }, { 31, 12454 }, { 33, 25020 }, { 35, 50374 }, { 37, 101626 }, { 39, 205344 }, { 41, 415472 }, { 43, 841805 }, { 45, 1708006 }, { 47, 3470013 }, { 49, 7058180 }, { 51, 14372995 }, { 53, 29300562 } } 129170.70 ms (2 min 9 s 170.70 ms) taken to filter and order new representative proofs. Found 8360537 representative, 6367889 redundant, and 14572136 invalid condensed detachment proof strings. lengths up to 53 ; amounts per length: {(1,1), (3,1), (5,1), (7,2), (9,4), (11,7), (13,12), (15,22), (17,42), (19,80), (21,151), (23,287), (25,555), (27,1081), (29,2107), (31,4123), (33,8112), (35,16029), (37,31774), (39,63152), (41,125873), (43,251561), (45,503956), (47,1011747), (49,2035230), (51,4101770), (53,8360537)} ; 8360537 new representative proofs (6367889 redundant, 14572136 invalid) Sat Oct 28 06:11:56 2023: Starting to write 8360537 entries to data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs53-unfiltered53+.txt. 115505.48 ms (1 min 55 s 505.48 ms) taken to print and save 98556622203 bytes of representative condensed detachment proof strings to data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs53-unfiltered53+.txt. Sat Oct 28 06:13:57 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 53, unfiltered] Sat Oct 28 06:14:38 2023: Process terminated. [pid: 66877, tid:22811104548736]