( 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: 19.1058333… h CPU utilization: 1222.77333… core-h ) Fri Oct 27 04:11:24 2023: Process started. [pid: 31852, tid:22551263770496] Tasks: 1. resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true) 2. generateDProofRepresentativeFiles(69, false, true) [Main] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: 0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314] (1) C0CCN1CCN2.3C0.4CC4.1C2.1 - CpCCNqCCNrsCptCCtqCrq - 0\imply((\not1\imply((\not2\imply3)\imply(0\imply4)))\imply((4\imply1)\imply(2\imply1))) [Main] Calling generateDProofRepresentativeFiles(69, false, true). Fri Oct 27 04:11:24 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 69, unfiltered] 0.00 ms taken to load initial representatives. 15.57 ms taken to read 1 condensed detachment proof and conclusion from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs3.txt. [tid:22551203522304] 17.71 ms taken to read 2 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs5.txt. [tid:22551201421056] 18.77 ms taken to read 4 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs7.txt. [tid:22551199319808] 16.76 ms taken to read 7 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs9.txt. [tid:22551197218560] 7.57 ms taken to read 14 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs11.txt. [tid:22551195117312] 22.31 ms taken to read 23 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs13.txt. [tid:22551061329664] 21.84 ms taken to read 42 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs15.txt. [tid:22551193016064] 24.43 ms taken to read 72 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs17.txt. [tid:22551190914816] 48.67 ms taken to read 119 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs19.txt. [tid:22551188813568] 33.88 ms taken to read 180 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs21.txt. [tid:22551186712320] 28.74 ms taken to read 296 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs23.txt. [tid:22551184611072] 39.54 ms taken to read 493 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs25.txt. [tid:22551182509824] 49.91 ms taken to read 809 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs27.txt. [tid:22551180408576] 45.84 ms taken to read 1330 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs29.txt. [tid:22551178307328] 46.28 ms taken to read 2190 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs31.txt. [tid:22551176206080] 52.09 ms taken to read 3606 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs33.txt. [tid:22551174104832] 194.19 ms taken to read 5925 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs35.txt. [tid:22551172003584] 87.47 ms taken to read 9738 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs37.txt. [tid:22551169902336] 172.08 ms taken to read 15948 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs39.txt. [tid:22551167801088] 358.75 ms taken to read 26109 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs41.txt. [tid:22551165699840] 503.41 ms taken to read 42844 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs43.txt. [tid:22551163598592] 912.25 ms taken to read 70083 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs45.txt. [tid:22551161497344] 3900.22 ms (3 s 900.22 ms) taken to read 115027 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs47.txt. [tid:22551159396096] 1406.36 ms (1 s 406.36 ms) taken to read 188519 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs49.txt. [tid:22551157294848] 2704.15 ms (2 s 704.15 ms) taken to read 308975 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs51.txt. [tid:22551155193600] 3153.17 ms (3 s 153.17 ms) taken to read 506415 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs53.txt. [tid:22551153092352] 4057.30 ms (4 s 57.30 ms) taken to read 830126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs55.txt. [tid:22551150991104] 5179.29 ms (5 s 179.29 ms) taken to read 1360461 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs57.txt. [tid:22551148889856] 5608.17 ms (5 s 608.17 ms) taken to read 2229126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs59.txt. [tid:22551146788608] 6541.90 ms (6 s 541.90 ms) taken to read 3652191 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt. [tid:22551144687360] 7910.33 ms (7 s 910.33 ms) taken to read 5983166 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63.txt. [tid:22551142586112] 7975.89 ms (7 s 975.89 ms) total read duration. Loaded 32 representative collections of sizes: 1 : 1 3 : 1 5 : 2 7 : 4 9 : 7 11 : 14 13 : 23 15 : 42 17 : 72 19 : 119 21 : 180 23 : 296 25 : 493 27 : 809 29 : 1330 31 : 2190 33 : 3606 35 : 5925 37 : 9738 39 : 15948 41 : 26109 43 : 42844 45 : 70083 47 : 115027 49 : 188519 51 : 308975 53 : 506415 55 : 830126 57 : 1360461 59 : 2229126 61 : 3652191 63 : 5983166 15353842 representatives in total. 16448.75 ms (16 s 448.75 ms) taken to read 15025264 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs65-unfiltered65+.txt. [tid:22551142586112] 29160.95 ms (29 s 160.95 ms) taken to read 32295163 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs67-unfiltered65+.txt. [tid:22551144687360] 29198.96 ms (29 s 198.96 ms) additional read duration. Loaded 2 more representative collections of sizes: 65 : 15025264 67 : 32295163 62674269 representatives in total. Fri Oct 27 04:12:06 2023: Inserted ≈ 5% of D-proof conclusions. [ 3133713 of 62674269] (ETC: Fri Oct 27 04:13:39 2023 ; 1 min 33 s 505.84 ms remaining ; 1 min 38 s 427.19 ms total) Fri Oct 27 04:12:11 2023: Inserted ≈10% of D-proof conclusions. [ 6267426 of 62674269] (ETC: Fri Oct 27 04:13:43 2023 ; 1 min 31 s 564.65 ms remaining ; 1 min 41 s 738.49 ms total) Fri Oct 27 04:12:17 2023: Inserted ≈15% of D-proof conclusions. [ 9401140 of 62674269] (ETC: Fri Oct 27 04:13:45 2023 ; 1 min 28 s 708.94 ms remaining ; 1 min 44 s 363.46 ms total) Fri Oct 27 04:12:21 2023: Inserted ≈20% of D-proof conclusions. [12534853 of 62674269] (ETC: Fri Oct 27 04:13:42 2023 ; 1 min 20 s 585.17 ms remaining ; 1 min 40 s 731.46 ms total) Fri Oct 27 04:12:26 2023: Inserted ≈25% of D-proof conclusions. [15668567 of 62674269] (ETC: Fri Oct 27 04:13:42 2023 ; 1 min 15 s 491.06 ms remaining ; 1 min 40 s 654.75 ms total) Fri Oct 27 04:12:33 2023: Inserted ≈30% of D-proof conclusions. [18802280 of 62674269] (ETC: Fri Oct 27 04:13:47 2023 ; 1 min 14 s 515.58 ms remaining ; 1 min 46 s 450.83 ms total) Fri Oct 27 04:12:40 2023: Inserted ≈35% of D-proof conclusions. [21935994 of 62674269] (ETC: Fri Oct 27 04:13:53 2023 ; 1 min 13 s 198.57 ms remaining ; 1 min 52 s 613.19 ms total) Fri Oct 27 04:12:48 2023: Inserted ≈40% of D-proof conclusions. [25069707 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 1 min 10 s 459.86 ms remaining ; 1 min 57 s 433.10 ms total) Fri Oct 27 04:12:54 2023: Inserted ≈45% of D-proof conclusions. [28203421 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 1 min 4 s 658.99 ms remaining ; 1 min 57 s 561.79 ms total) Fri Oct 27 04:13:00 2023: Inserted ≈50% of D-proof conclusions. [31337134 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 58 s 642.87 ms remaining ; 1 min 57 s 285.73 ms total) Fri Oct 27 04:13:05 2023: Inserted ≈55% of D-proof conclusions. [34470847 of 62674269] (ETC: Fri Oct 27 04:13:57 2023 ; 52 s 353.35 ms remaining ; 1 min 56 s 340.76 ms total) Fri Oct 27 04:13:10 2023: Inserted ≈60% of D-proof conclusions. [37604561 of 62674269] (ETC: Fri Oct 27 04:13:57 2023 ; 46 s 309.96 ms remaining ; 1 min 55 s 774.90 ms total) Fri Oct 27 04:13:16 2023: Inserted ≈65% of D-proof conclusions. [40738274 of 62674269] (ETC: Fri Oct 27 04:13:57 2023 ; 40 s 493.17 ms remaining ; 1 min 55 s 694.76 ms total) Fri Oct 27 04:13:22 2023: Inserted ≈70% of D-proof conclusions. [43871988 of 62674269] (ETC: Fri Oct 27 04:13:57 2023 ; 34 s 769.31 ms remaining ; 1 min 55 s 897.69 ms total) Fri Oct 27 04:13:28 2023: Inserted ≈75% of D-proof conclusions. [47005701 of 62674269] (ETC: Fri Oct 27 04:13:57 2023 ; 29 s 88.66 ms remaining ; 1 min 56 s 354.64 ms total) Fri Oct 27 04:13:34 2023: Inserted ≈80% of D-proof conclusions. [50139415 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 23 s 345.60 ms remaining ; 1 min 56 s 728.00 ms total) Fri Oct 27 04:13:40 2023: Inserted ≈85% of D-proof conclusions. [53273128 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 17 s 563.57 ms remaining ; 1 min 57 s 90.45 ms total) Fri Oct 27 04:13:47 2023: Inserted ≈90% of D-proof conclusions. [56406842 of 62674269] (ETC: Fri Oct 27 04:13:58 2023 ; 11 s 744.77 ms remaining ; 1 min 57 s 447.66 ms total) Fri Oct 27 04:13:53 2023: Inserted ≈95% of D-proof conclusions. [59540555 of 62674269] (ETC: Fri Oct 27 04:13:59 2023 ; 5 s 889.68 ms remaining ; 1 min 57 s 793.50 ms total) Fri Oct 27 04:13:59 2023: Inserted 100% of D-proof conclusions. [62674269 of 62674269] (ETC: Fri Oct 27 04:13:59 2023 ; 0.00 ms remaining ; 1 min 57 s 749.19 ms total) 117750.62 ms (1 min 57 s 750.62 ms) total insertion duration. Known iteration count loaded from 69:682368918. Fri Oct 27 04:13:59 2023: Starting to generate D-proof representatives of length 69. Fri Oct 27 04:40:27 2023: Iterated ≈ 2% of D-proof candidates. [ 13647378 of 682368918] (ETC: Sat Oct 28 02:17:20 2023 ; 21 h 36 min 53 s 200.34 ms remaining ; 22 h 3 min 21 s 224.79 ms total) Fri Oct 27 05:09:59 2023: Iterated ≈ 4% of D-proof candidates. [ 27294756 of 682368918] (ETC: Sat Oct 28 03:34:00 2023 ; 22 h 24 min 1 s 106.09 ms remaining ; 23 h 20 min 1 s 152.09 ms total) Fri Oct 27 05:50:10 2023: Iterated ≈ 6% of D-proof candidates. [ 40942135 of 682368918] (ETC: Sat Oct 28 06:57:07 2023 ; 1 d 1 h 6 min 56 s 611.49 ms remaining ; 1 d 2 h 43 min 7 s 884.55 ms total) Fri Oct 27 06:24:34 2023: Iterated ≈ 8% of D-proof candidates. [ 54589513 of 682368918] (ETC: Sat Oct 28 07:26:19 2023 ; 1 d 1 h 1 min 45 s 520.94 ms remaining ; 1 d 3 h 12 min 20 s 783.56 ms total) Fri Oct 27 06:54:46 2023: Iterated ≈10% of D-proof candidates. [ 68236891 of 682368918] (ETC: Sat Oct 28 07:01:57 2023 ; 1 d 7 min 10 s 368.50 ms remaining ; 1 d 2 h 47 min 58 s 187.10 ms total) Fri Oct 27 07:21:46 2023: Iterated ≈12% of D-proof candidates. [ 81884270 of 682368918] (ETC: Sat Oct 28 06:18:52 2023 ; 22 h 57 min 5 s 878.15 ms remaining ; 1 d 2 h 4 min 53 s 43.33 ms total) Fri Oct 27 07:49:36 2023: Iterated ≈14% of D-proof candidates. [ 95531648 of 682368918] (ETC: Sat Oct 28 05:54:08 2023 ; 22 h 4 min 32 s 213.77 ms remaining ; 1 d 1 h 40 min 9 s 550.81 ms total) Fri Oct 27 08:19:38 2023: Iterated ≈16% of D-proof candidates. [109179026 of 682368918] (ETC: Sat Oct 28 05:49:19 2023 ; 21 h 29 min 41 s 332.01 ms remaining ; 1 d 1 h 35 min 20 s 633.21 ms total) Fri Oct 27 08:45:07 2023: Iterated ≈18% of D-proof candidates. [122826405 of 682368918] (ETC: Sat Oct 28 05:20:17 2023 ; 20 h 35 min 10 s 24.46 ms remaining ; 1 d 1 h 6 min 18 s 78.57 ms total) Fri Oct 27 09:12:49 2023: Iterated ≈20% of D-proof candidates. [136473783 of 682368918] (ETC: Sat Oct 28 05:08:11 2023 ; 19 h 55 min 21 s 848.77 ms remaining ; 1 d 54 min 12 s 310.86 ms total) Fri Oct 27 09:36:56 2023: Iterated ≈22% of D-proof candidates. [150121161 of 682368918] (ETC: Sat Oct 28 04:41:58 2023 ; 19 h 5 min 1 s 683.15 ms remaining ; 1 d 27 min 59 s 80.80 ms total) Fri Oct 27 10:02:27 2023: Iterated ≈24% of D-proof candidates. [163768540 of 682368918] (ETC: Sat Oct 28 04:25:57 2023 ; 18 h 23 min 30 s 243.41 ms remaining ; 1 d 11 min 58 s 741.28 ms total) Fri Oct 27 10:26:40 2023: Iterated ≈26% of D-proof candidates. [177415918 of 682368918] (ETC: Sat Oct 28 04:07:24 2023 ; 17 h 40 min 44 s 44.78 ms remaining ; 23 h 53 min 25 s 465.81 ms total) Fri Oct 27 10:50:01 2023: Iterated ≈28% of D-proof candidates. [191063297 of 682368918] (ETC: Sat Oct 28 03:48:25 2023 ; 16 h 58 min 24 s 83.14 ms remaining ; 23 h 34 min 26 s 782.13 ms total) Fri Oct 27 11:15:14 2023: Iterated ≈30% of D-proof candidates. [204710675 of 682368918] (ETC: Sat Oct 28 03:38:10 2023 ; 16 h 22 min 55 s 651.18 ms remaining ; 23 h 24 min 10 s 930.18 ms total) Fri Oct 27 11:37:16 2023: Iterated ≈32% of D-proof candidates. [218358053 of 682368918] (ETC: Sat Oct 28 03:19:14 2023 ; 15 h 41 min 58 s 540.98 ms remaining ; 23 h 5 min 15 s 501.31 ms total) Fri Oct 27 11:59:58 2023: Iterated ≈34% of D-proof candidates. [232005432 of 682368918] (ETC: Sat Oct 28 03:04:31 2023 ; 15 h 4 min 33 s 219.71 ms remaining ; 22 h 50 min 32 s 151.05 ms total) Fri Oct 27 12:24:25 2023: Iterated ≈36% of D-proof candidates. [245652810 of 682368918] (ETC: Sat Oct 28 02:56:19 2023 ; 14 h 31 min 53 s 760.42 ms remaining ; 22 h 42 min 20 s 250.57 ms total) Fri Oct 27 12:45:41 2023: Iterated ≈38% of D-proof candidates. [259300188 of 682368918] (ETC: Sat Oct 28 02:40:35 2023 ; 13 h 54 min 53 s 683.48 ms remaining ; 22 h 26 min 36 s 263.52 ms total) Fri Oct 27 13:08:03 2023: Iterated ≈40% of D-proof candidates. [272947567 of 682368918] (ETC: Sat Oct 28 02:29:08 2023 ; 13 h 21 min 5 s 831.99 ms remaining ; 22 h 15 min 9 s 719.94 ms total) Fri Oct 27 13:31:44 2023: Iterated ≈42% of D-proof candidates. [286594945 of 682368918] (ETC: Sat Oct 28 02:21:57 2023 ; 12 h 50 min 13 s 407.52 ms remaining ; 22 h 7 min 58 s 288.72 ms total) Fri Oct 27 13:52:29 2023: Iterated ≈44% of D-proof candidates. [300242323 of 682368918] (ETC: Sat Oct 28 02:08:45 2023 ; 12 h 16 min 16 s 598.48 ms remaining ; 21 h 54 min 46 s 782.81 ms total) Fri Oct 27 14:14:07 2023: Iterated ≈46% of D-proof candidates. [313889702 of 682368918] (ETC: Sat Oct 28 01:58:38 2023 ; 11 h 44 min 30 s 838.67 ms remaining ; 21 h 44 min 39 s 330.81 ms total) Fri Oct 27 14:37:01 2023: Iterated ≈48% of D-proof candidates. [327537080 of 682368918] (ETC: Sat Oct 28 01:51:58 2023 ; 11 h 14 min 57 s 157.44 ms remaining ; 21 h 37 min 59 s 148.78 ms total) Fri Oct 27 14:57:23 2023: Iterated ≈50% of D-proof candidates. [341184459 of 682368918] (ETC: Sat Oct 28 01:40:48 2023 ; 10 h 43 min 24 s 668.87 ms remaining ; 21 h 26 min 49 s 337.73 ms total) Fri Oct 27 15:18:28 2023: Iterated ≈52% of D-proof candidates. [354831837 of 682368918] (ETC: Sat Oct 28 01:31:50 2023 ; 10 h 13 min 22 s 219.57 ms remaining ; 21 h 17 min 51 s 290.68 ms total) Fri Oct 27 15:40:24 2023: Iterated ≈54% of D-proof candidates. [368479215 of 682368918] (ETC: Sat Oct 28 01:25:08 2023 ; 9 h 44 min 44 s 110.44 ms remaining ; 21 h 11 min 9 s 805.12 ms total) Fri Oct 27 16:00:28 2023: Iterated ≈56% of D-proof candidates. [382126594 of 682368918] (ETC: Sat Oct 28 01:15:34 2023 ; 9 h 15 min 6 s 36.87 ms remaining ; 21 h 1 min 35 s 538.33 ms total) Fri Oct 27 16:20:41 2023: Iterated ≈58% of D-proof candidates. [395773972 of 682368918] (ETC: Sat Oct 28 01:06:55 2023 ; 8 h 46 min 14 s 41.11 ms remaining ; 20 h 52 min 56 s 288.24 ms total) Fri Oct 27 16:41:27 2023: Iterated ≈60% of D-proof candidates. [409421350 of 682368918] (ETC: Sat Oct 28 00:59:45 2023 ; 8 h 18 min 18 s 580.69 ms remaining ; 20 h 45 min 46 s 451.51 ms total) Fri Oct 27 17:01:12 2023: Iterated ≈62% of D-proof candidates. [423068729 of 682368918] (ETC: Sat Oct 28 00:51:25 2023 ; 7 h 50 min 13 s 753.73 ms remaining ; 20 h 37 min 26 s 720.29 ms total) Fri Oct 27 17:21:07 2023: Iterated ≈64% of D-proof candidates. [436716107 of 682368918] (ETC: Sat Oct 28 00:43:52 2023 ; 7 h 22 min 45 s 700.32 ms remaining ; 20 h 29 min 53 s 611.84 ms total) Fri Oct 27 17:41:23 2023: Iterated ≈66% of D-proof candidates. [450363485 of 682368918] (ETC: Sat Oct 28 00:37:20 2023 ; 6 h 55 min 56 s 315.39 ms remaining ; 20 h 23 min 20 s 927.35 ms total) Fri Oct 27 18:00:43 2023: Iterated ≈68% of D-proof candidates. [464010864 of 682368918] (ETC: Sat Oct 28 00:29:46 2023 ; 6 h 29 min 3 s 197.00 ms remaining ; 20 h 15 min 47 s 490.56 ms total) Fri Oct 27 18:20:05 2023: Iterated ≈70% of D-proof candidates. [477658242 of 682368918] (ETC: Sat Oct 28 00:22:42 2023 ; 6 h 2 min 36 s 914.73 ms remaining ; 20 h 8 min 43 s 48.88 ms total) Fri Oct 27 18:39:50 2023: Iterated ≈72% of D-proof candidates. [491305620 of 682368918] (ETC: Sat Oct 28 00:16:33 2023 ; 5 h 36 min 43 s 210.61 ms remaining ; 20 h 2 min 34 s 323.24 ms total) Fri Oct 27 18:59:14 2023: Iterated ≈74% of D-proof candidates. [504952999 of 682368918] (ETC: Sat Oct 28 00:10:16 2023 ; 5 h 11 min 2 s 149.41 ms remaining ; 19 h 56 min 17 s 497.62 ms total) Fri Oct 27 19:18:14 2023: Iterated ≈76% of D-proof candidates. [518600377 of 682368918] (ETC: Sat Oct 28 00:03:47 2023 ; 4 h 45 min 33 s 160.58 ms remaining ; 19 h 49 min 48 s 168.80 ms total) Fri Oct 27 19:37:29 2023: Iterated ≈78% of D-proof candidates. [532247756 of 682368918] (ETC: Fri Oct 27 23:57:58 2023 ; 4 h 20 min 28 s 586.96 ms remaining ; 19 h 43 min 59 s 31.60 ms total) Fri Oct 27 19:56:23 2023: Iterated ≈80% of D-proof candidates. [545895134 of 682368918] (ETC: Fri Oct 27 23:51:59 2023 ; 3 h 55 min 36 s 111.30 ms remaining ; 19 h 38 min 556.29 ms total) Fri Oct 27 20:15:11 2023: Iterated ≈82% of D-proof candidates. [559542512 of 682368918] (ETC: Fri Oct 27 23:46:11 2023 ; 3 h 30 min 59 s 831.68 ms remaining ; 19 h 32 min 12 s 397.78 ms total) Fri Oct 27 20:34:11 2023: Iterated ≈84% of D-proof candidates. [573189891 of 682368918] (ETC: Fri Oct 27 23:40:53 2023 ; 3 h 6 min 42 s 259.01 ms remaining ; 19 h 26 min 54 s 118.71 ms total) Fri Oct 27 20:52:52 2023: Iterated ≈86% of D-proof candidates. [586837269 of 682368918] (ETC: Fri Oct 27 23:35:29 2023 ; 2 h 42 min 36 s 640.93 ms remaining ; 19 h 21 min 30 s 292.03 ms total) Fri Oct 27 21:11:29 2023: Iterated ≈88% of D-proof candidates. [600484647 of 682368918] (ETC: Fri Oct 27 23:30:14 2023 ; 2 h 18 min 44 s 991.80 ms remaining ; 19 h 16 min 14 s 930.96 ms total) Fri Oct 27 21:30:14 2023: Iterated ≈90% of D-proof candidates. [614132026 of 682368918] (ETC: Fri Oct 27 23:25:22 2023 ; 1 h 55 min 8 s 349.15 ms remaining ; 19 h 11 min 23 s 491.31 ms total) Fri Oct 27 21:48:53 2023: Iterated ≈92% of D-proof candidates. [627779404 of 682368918] (ETC: Fri Oct 27 23:20:37 2023 ; 1 h 31 min 43 s 882.62 ms remaining ; 19 h 6 min 38 s 532.00 ms total) Fri Oct 27 22:07:25 2023: Iterated ≈94% of D-proof candidates. [641426782 of 682368918] (ETC: Fri Oct 27 23:15:56 2023 ; 1 h 8 min 31 s 14.28 ms remaining ; 19 h 1 min 56 s 903.12 ms total) Fri Oct 27 22:25:55 2023: Iterated ≈96% of D-proof candidates. [655074161 of 682368918] (ETC: Fri Oct 27 23:11:25 2023 ; 45 min 29 s 837.95 ms remaining ; 18 h 57 min 25 s 947.94 ms total) Fri Oct 27 22:44:40 2023: Iterated ≈98% of D-proof candidates. [668721539 of 682368918] (ETC: Fri Oct 27 23:07:20 2023 ; 22 min 40 s 32.52 ms remaining ; 18 h 53 min 21 s 622.68 ms total) Fri Oct 27 23:02:23 2023: Iterated 100% of D-proof candidates. [682368918 of 682368918] (ETC: Fri Oct 27 23:02:23 2023 ; 0.00 ms remaining ; 18 h 48 min 24 s 321.05 ms total) 67705318.81 ms (18 h 48 min 25 s 318.81 ms) taken to collect 63892072 D-proofs of length 69. [iterated 682368918 condensed detachment proof strings] [Copy] Custom iteration counts: { { 1, 1 }, { 3, 1 }, { 5, 2 }, { 7, 5 }, { 9, 12 }, { 11, 26 }, { 13, 58 }, { 15, 118 }, { 17, 242 }, { 19, 481 }, { 21, 930 }, { 23, 1740 }, { 25, 3236 }, { 27, 5963 }, { 29, 10842 }, { 31, 19546 }, { 33, 34926 }, { 35, 62034 }, { 37, 109464 }, { 39, 192165 }, { 41, 335910 }, { 43, 585246 }, { 45, 1016370 }, { 47, 1759100 }, { 49, 3036854 }, { 51, 5229155 }, { 53, 8983090 }, { 55, 15399435 }, { 57, 26347004 }, { 59, 44997806 }, { 61, 76725006 }, { 63, 130626396 }, { 65, 222080338 }, { 67, 387519448 }, { 69, 682368918 } } 467713.17 ms (7 min 47 s 713.17 ms) taken to filter and order new representative proofs. Found 63892072 representative, 66871274 redundant, and 551605572 invalid condensed detachment proof strings. lengths up to 69 ; amounts per length: {(1,1), (3,1), (5,2), (7,4), (9,7), (11,14), (13,23), (15,42), (17,72), (19,119), (21,180), (23,296), (25,493), (27,809), (29,1330), (31,2190), (33,3606), (35,5925), (37,9738), (39,15948), (41,26109), (43,42844), (45,70083), (47,115027), (49,188519), (51,308975), (53,506415), (55,830126), (57,1360461), (59,2229126), (61,3652191), (63,5983166), (65,15025264), (67,32295163), (69,63892072)} ; 63892072 new representative proofs (66871274 redundant, 551605572 invalid) Fri Oct 27 23:12:01 2023: Starting to write 63892072 entries to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs69-unfiltered65+.txt. 128252.86 ms (2 min 8 s 252.86 ms) taken to print and save 49180529600 bytes of representative condensed detachment proof strings to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs69-unfiltered65+.txt. Fri Oct 27 23:14:52 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 69, unfiltered] Fri Oct 27 23:17:45 2023: Process terminated. [pid: 31852, tid:22551263770496]