( 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:   7.4441666… h
  CPU utilization: 476.42666… core-h )
Thu Oct 26 19:38:01 2023: Process started. [pid: 187390, tid:22998470952832]
Tasks:
1. resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true)
2. generateDProofRepresentativeFiles(41, false, true)

[Main] Calling resetRepresentativesFor("CpCCqCprCCNrCCNstqCsr", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff]
(1) C0CC1C0.2CCN2CCN3.4.1C3.2    -    CpCCqCprCCNrCCNstqCsr    -    0\imply((1\imply(0\imply2))\imply((\not2\imply((\not3\imply4)\imply1))\imply(3\imply2)))
[Main] Calling generateDProofRepresentativeFiles(41, false, true).
Thu Oct 26 19:38:01 2023: Limited D-proof representative generator started. [parallel ; 64 hardware thread contexts, limit: 41, unfiltered]
0.00 ms taken to load initial representatives.
20.33 ms taken to read 1 condensed detachment proof and conclusion from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs3.txt. [tid:22998410704640]
21.52 ms taken to read 2 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs5.txt. [tid:22998408603392]
26.92 ms taken to read 5 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs7.txt. [tid:22998406502144]
22.89 ms taken to read 10 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs9.txt. [tid:22998404400896]
9.78 ms taken to read 24 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs11.txt. [tid:22998402299648]
34.56 ms taken to read 57 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs13.txt. [tid:22998400198400]
28.87 ms taken to read 137 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs15.txt. [tid:22998398097152]
27.37 ms taken to read 339 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs17.txt. [tid:22998395995904]
33.47 ms taken to read 854 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs19.txt. [tid:22998393894656]
63.27 ms taken to read 2171 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs21.txt. [tid:22998391793408]
125.34 ms taken to read 5583 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs23.txt. [tid:22998389692160]
212.11 ms taken to read 14478 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs25.txt. [tid:22998387590912]
2278.79 ms (2 s 278.79 ms) taken to read 37874 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs27.txt. [tid:22998385489664]
1681.82 ms (1 s 681.82 ms) taken to read 99756 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs29.txt. [tid:22998383388416]
1855.70 ms (1 s 855.70 ms) taken to read 264466 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs31.txt. [tid:22998381287168]
3128.09 ms (3 s 128.09 ms) taken to read 705026 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs33.txt. [tid:22998379185920]
6822.74 ms (6 s 822.74 ms) taken to read 1888450 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs35.txt. [tid:22998377084672]
11955.02 ms (11 s 955.02 ms) taken to read 5081180 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs37.txt. [tid:22998374983424]
11994.74 ms (11 s 994.74 ms) total read duration.
Loaded 19 representative collections of sizes:
1 : 1
3 : 1
5 : 2
7 : 5
9 : 10
11 : 24
13 : 57
15 : 137
17 : 339
19 : 854
21 : 2171
23 : 5583
25 : 14478
27 : 37874
29 : 99756
31 : 264466
33 : 705026
35 : 1888450
37 : 5081180
8100414 representatives in total.
26312.00 ms (26 s 312.00 ms) taken to read 13863883 condensed detachment proofs and conclusions from data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs39-unfiltered39+.txt. [tid:22998374983424]
26316.92 ms (26 s 316.92 ms) additional read duration.
Loaded 1 more representative collection of size:
39 : 13863883
21964297 representatives in total.
Thu Oct 26 19:38:43 2023: Inserted ≈ 5% of D-proof conclusions. [ 1098214 of 21964297] (ETC: Thu Oct 26 19:39:59 2023 ; 1 min 16 s  35.04 ms remaining ; 1 min 20 s  36.88 ms total)
Thu Oct 26 19:38:48 2023: Inserted ≈10% of D-proof conclusions. [ 2196429 of 21964297] (ETC: Thu Oct 26 19:40:07 2023 ; 1 min 19 s 519.60 ms remaining ; 1 min 28 s 355.11 ms total)
Thu Oct 26 19:38:53 2023: Inserted ≈15% of D-proof conclusions. [ 3294644 of 21964297] (ETC: Thu Oct 26 19:40:10 2023 ; 1 min 17 s 535.22 ms remaining ; 1 min 31 s 217.91 ms total)
Thu Oct 26 19:38:57 2023: Inserted ≈20% of D-proof conclusions. [ 4392859 of 21964297] (ETC: Thu Oct 26 19:40:07 2023 ; 1 min 10 s  54.86 ms remaining ; 1 min 27 s 568.57 ms total)
Thu Oct 26 19:39:01 2023: Inserted ≈25% of D-proof conclusions. [ 5491074 of 21964297] (ETC: Thu Oct 26 19:40:06 2023 ; 1 min  5 s 511.93 ms remaining ; 1 min 27 s 349.24 ms total)
Thu Oct 26 19:39:06 2023: Inserted ≈30% of D-proof conclusions. [ 6589289 of 21964297] (ETC: Thu Oct 26 19:40:08 2023 ; 1 min  2 s 492.39 ms remaining ; 1 min 29 s 274.84 ms total)
Thu Oct 26 19:39:11 2023: Inserted ≈35% of D-proof conclusions. [ 7687503 of 21964297] (ETC: Thu Oct 26 19:40:11 2023 ; 59 s 659.75 ms remaining ; 1 min 31 s 784.22 ms total)
Thu Oct 26 19:39:16 2023: Inserted ≈40% of D-proof conclusions. [ 8785718 of 21964297] (ETC: Thu Oct 26 19:40:11 2023 ; 55 s 138.78 ms remaining ; 1 min 31 s 897.96 ms total)
Thu Oct 26 19:39:20 2023: Inserted ≈45% of D-proof conclusions. [ 9883933 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 49 s 746.67 ms remaining ; 1 min 30 s 448.48 ms total)
Thu Oct 26 19:39:24 2023: Inserted ≈50% of D-proof conclusions. [10982148 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 44 s 999.68 ms remaining ; 1 min 29 s 999.36 ms total)
Thu Oct 26 19:39:28 2023: Inserted ≈55% of D-proof conclusions. [12080363 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 40 s 367.70 ms remaining ; 1 min 29 s 705.99 ms total)
Thu Oct 26 19:39:33 2023: Inserted ≈60% of D-proof conclusions. [13178578 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 35 s 810.88 ms remaining ; 1 min 29 s 527.20 ms total)
Thu Oct 26 19:39:37 2023: Inserted ≈65% of D-proof conclusions. [14276793 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 31 s 369.23 ms remaining ; 1 min 29 s 626.36 ms total)
Thu Oct 26 19:39:42 2023: Inserted ≈70% of D-proof conclusions. [15375007 of 21964297] (ETC: Thu Oct 26 19:40:09 2023 ; 27 s  35.22 ms remaining ; 1 min 30 s 117.39 ms total)
Thu Oct 26 19:39:47 2023: Inserted ≈75% of D-proof conclusions. [16473222 of 21964297] (ETC: Thu Oct 26 19:40:10 2023 ; 22 s 620.97 ms remaining ; 1 min 30 s 483.85 ms total)
Thu Oct 26 19:39:52 2023: Inserted ≈80% of D-proof conclusions. [17571437 of 21964297] (ETC: Thu Oct 26 19:40:10 2023 ; 18 s 205.93 ms remaining ; 1 min 31 s  29.66 ms total)
Thu Oct 26 19:39:57 2023: Inserted ≈85% of D-proof conclusions. [18669652 of 21964297] (ETC: Thu Oct 26 19:40:11 2023 ; 13 s 737.59 ms remaining ; 1 min 31 s 583.92 ms total)
Thu Oct 26 19:40:02 2023: Inserted ≈90% of D-proof conclusions. [19767867 of 21964297] (ETC: Thu Oct 26 19:40:12 2023 ; 9 s 253.86 ms remaining ; 1 min 32 s 538.58 ms total)
Thu Oct 26 19:40:08 2023: Inserted ≈95% of D-proof conclusions. [20866082 of 21964297] (ETC: Thu Oct 26 19:40:13 2023 ; 4 s 677.00 ms remaining ; 1 min 33 s 539.92 ms total)
Thu Oct 26 19:40:15 2023: Inserted 100% of D-proof conclusions. [21964297 of 21964297] (ETC: Thu Oct 26 19:40:15 2023 ; 0.00 ms remaining ; 1 min 36 s 397.23 ms total)
96399.82 ms (1 min 36 s 399.82 ms) total insertion duration.
Known iteration count loaded from 41:78349744.
Thu Oct 26 19:40:15 2023: Starting to generate D-proof representatives of length 41.
Thu Oct 26 19:46:10 2023: Iterated ≈ 2% of D-proof candidates. [ 1566994 of 78349744] (ETC: Fri Oct 27 00:35:20 2023 ; 4 h 49 min 10 s 129.27 ms remaining ; 4 h 55 min  4 s 213.34 ms total)
Thu Oct 26 19:52:59 2023: Iterated ≈ 4% of D-proof candidates. [ 3133989 of 78349744] (ETC: Fri Oct 27 00:58:17 2023 ; 5 h  5 min 18 s 523.10 ms remaining ; 5 h 18 min  1 s 794.70 ms total)
Thu Oct 26 20:02:07 2023: Iterated ≈ 6% of D-proof candidates. [ 4700984 of 78349744] (ETC: Fri Oct 27 01:44:40 2023 ; 5 h 42 min 33 s   4.48 ms remaining ; 6 h  4 min 24 s 898.19 ms total)
Thu Oct 26 20:11:15 2023: Iterated ≈ 8% of D-proof candidates. [ 6267979 of 78349744] (ETC: Fri Oct 27 02:07:34 2023 ; 5 h 56 min 19 s 287.46 ms remaining ; 6 h 27 min 18 s 355.76 ms total)
Thu Oct 26 20:20:02 2023: Iterated ≈10% of D-proof candidates. [ 7834974 of 78349744] (ETC: Fri Oct 27 02:17:58 2023 ; 5 h 57 min 56 s 420.02 ms remaining ; 6 h 37 min 42 s 688.78 ms total)
Thu Oct 26 20:29:33 2023: Iterated ≈12% of D-proof candidates. [ 9401969 of 78349744] (ETC: Fri Oct 27 02:31:01 2023 ; 6 h  1 min 28 s 380.41 ms remaining ; 6 h 50 min 45 s 886.73 ms total)
Thu Oct 26 20:39:57 2023: Iterated ≈14% of D-proof candidates. [10968964 of 78349744] (ETC: Fri Oct 27 02:46:34 2023 ; 6 h  6 min 37 s 813.58 ms remaining ; 7 h  6 min 18 s 852.94 ms total)
Thu Oct 26 20:53:30 2023: Iterated ≈16% of D-proof candidates. [12535959 of 78349744] (ETC: Fri Oct 27 03:18:03 2023 ; 6 h 24 min 33 s 154.42 ms remaining ; 7 h 37 min 48 s  40.96 ms total)
Thu Oct 26 21:04:00 2023: Iterated ≈18% of D-proof candidates. [14102953 of 78349744] (ETC: Fri Oct 27 03:25:29 2023 ; 6 h 21 min 29 s 212.69 ms remaining ; 7 h 45 min 13 s 673.61 ms total)
Thu Oct 26 21:19:20 2023: Iterated ≈20% of D-proof candidates. [15669948 of 78349744] (ETC: Fri Oct 27 03:55:39 2023 ; 6 h 36 min 18 s 958.26 ms remaining ; 8 h 15 min 23 s 697.44 ms total)
Thu Oct 26 21:33:47 2023: Iterated ≈22% of D-proof candidates. [17236943 of 78349744] (ETC: Fri Oct 27 04:16:18 2023 ; 6 h 42 min 30 s 783.30 ms remaining ; 8 h 36 min  2 s 542.35 ms total)
Thu Oct 26 21:50:21 2023: Iterated ≈24% of D-proof candidates. [18803938 of 78349744] (ETC: Fri Oct 27 04:42:20 2023 ; 6 h 51 min 58 s 362.84 ms remaining ; 9 h  2 min  4 s 161.32 ms total)
Thu Oct 26 22:02:14 2023: Iterated ≈26% of D-proof candidates. [20370933 of 78349744] (ETC: Fri Oct 27 04:46:18 2023 ; 6 h 44 min  4 s 560.92 ms remaining ; 9 h  6 min  2 s 919.91 ms total)
Thu Oct 26 22:12:00 2023: Iterated ≈28% of D-proof candidates. [21937928 of 78349744] (ETC: Fri Oct 27 04:42:10 2023 ; 6 h 30 min 10 s 443.27 ms remaining ; 9 h  1 min 54 s 504.36 ms total)
Thu Oct 26 22:22:35 2023: Iterated ≈30% of D-proof candidates. [23504923 of 78349744] (ETC: Fri Oct 27 04:41:22 2023 ; 6 h 18 min 46 s 538.64 ms remaining ; 9 h  1 min  6 s 483.65 ms total)
Thu Oct 26 22:36:35 2023: Iterated ≈32% of D-proof candidates. [25071918 of 78349744] (ETC: Fri Oct 27 04:51:18 2023 ; 6 h 14 min 42 s 358.81 ms remaining ; 9 h 11 min  2 s 292.32 ms total)
Thu Oct 26 22:50:10 2023: Iterated ≈34% of D-proof candidates. [26638912 of 78349744] (ETC: Fri Oct 27 04:58:49 2023 ; 6 h  8 min 39 s  35.23 ms remaining ; 9 h 18 min 33 s 689.12 ms total)
Thu Oct 26 23:01:29 2023: Iterated ≈36% of D-proof candidates. [28205907 of 78349744] (ETC: Fri Oct 27 04:59:13 2023 ; 5 h 57 min 43 s 939.55 ms remaining ; 9 h 18 min 57 s 404.98 ms total)
Thu Oct 26 23:16:16 2023: Iterated ≈38% of D-proof candidates. [29772902 of 78349744] (ETC: Fri Oct 27 05:08:41 2023 ; 5 h 52 min 25 s 617.35 ms remaining ; 9 h 28 min 25 s 833.94 ms total)
Thu Oct 26 23:27:57 2023: Iterated ≈40% of D-proof candidates. [31339897 of 78349744] (ETC: Fri Oct 27 05:09:29 2023 ; 5 h 41 min 32 s   7.44 ms remaining ; 9 h 29 min 13 s 345.30 ms total)
Thu Oct 26 23:40:17 2023: Iterated ≈42% of D-proof candidates. [32906892 of 78349744] (ETC: Fri Oct 27 05:11:45 2023 ; 5 h 31 min 27 s 717.04 ms remaining ; 9 h 31 min 29 s 166.94 ms total)
Thu Oct 26 23:50:25 2023: Iterated ≈44% of D-proof candidates. [34473887 of 78349744] (ETC: Fri Oct 27 05:08:48 2023 ; 5 h 18 min 23 s 166.45 ms remaining ; 9 h 28 min 32 s 796.95 ms total)
Thu Oct 26 23:59:24 2023: Iterated ≈46% of D-proof candidates. [36040882 of 78349744] (ETC: Fri Oct 27 05:03:37 2023 ; 5 h  4 min 12 s 756.55 ms remaining ; 9 h 23 min 21 s 400.83 ms total)
Fri Oct 27 00:08:38 2023: Iterated ≈48% of D-proof candidates. [37607877 of 78349744] (ETC: Fri Oct 27 04:59:23 2023 ; 4 h 50 min 44 s 530.74 ms remaining ; 9 h 19 min  7 s 174.41 ms total)
Fri Oct 27 00:18:15 2023: Iterated ≈50% of D-proof candidates. [39174872 of 78349744] (ETC: Fri Oct 27 04:56:15 2023 ; 4 h 37 min 59 s 976.35 ms remaining ; 9 h 15 min 59 s 952.71 ms total)
Fri Oct 27 00:27:09 2023: Iterated ≈52% of D-proof candidates. [40741866 of 78349744] (ETC: Fri Oct 27 04:51:59 2023 ; 4 h 24 min 49 s 515.58 ms remaining ; 9 h 11 min 43 s 156.69 ms total)
Fri Oct 27 00:36:15 2023: Iterated ≈54% of D-proof candidates. [42308861 of 78349744] (ETC: Fri Oct 27 04:48:24 2023 ; 4 h 12 min  8 s 737.44 ms remaining ; 9 h  8 min  8 s 558.95 ms total)
Fri Oct 27 00:45:04 2023: Iterated ≈56% of D-proof candidates. [43875856 of 78349744] (ETC: Fri Oct 27 04:44:34 2023 ; 3 h 59 min 29 s 709.30 ms remaining ; 9 h  4 min 18 s 429.63 ms total)
Fri Oct 27 00:52:59 2023: Iterated ≈58% of D-proof candidates. [45442851 of 78349744] (ETC: Fri Oct 27 04:39:27 2023 ; 3 h 46 min 27 s 740.09 ms remaining ; 8 h 59 min 11 s 761.61 ms total)
Fri Oct 27 01:01:01 2023: Iterated ≈60% of D-proof candidates. [47009846 of 78349744] (ETC: Fri Oct 27 04:34:51 2023 ; 3 h 33 min 50 s 317.11 ms remaining ; 8 h 54 min 35 s 792.36 ms total)
Fri Oct 27 01:08:35 2023: Iterated ≈62% of D-proof candidates. [48576841 of 78349744] (ETC: Fri Oct 27 04:29:48 2023 ; 3 h 21 min 13 s 721.64 ms remaining ; 8 h 49 min 32 s 951.38 ms total)
Fri Oct 27 01:16:53 2023: Iterated ≈64% of D-proof candidates. [50143836 of 78349744] (ETC: Fri Oct 27 04:26:14 2023 ; 3 h  9 min 21 s 185.00 ms remaining ; 8 h 45 min 58 s 847.03 ms total)
Fri Oct 27 01:24:56 2023: Iterated ≈66% of D-proof candidates. [51710831 of 78349744] (ETC: Fri Oct 27 04:22:30 2023 ; 2 h 57 min 33 s 794.40 ms remaining ; 8 h 42 min 14 s 689.36 ms total)
Fri Oct 27 01:32:28 2023: Iterated ≈68% of D-proof candidates. [53277825 of 78349744] (ETC: Fri Oct 27 04:18:13 2023 ; 2 h 45 min 44 s 770.03 ms remaining ; 8 h 37 min 57 s 405.20 ms total)
Fri Oct 27 01:39:15 2023: Iterated ≈70% of D-proof candidates. [54844820 of 78349744] (ETC: Fri Oct 27 04:13:07 2023 ; 2 h 33 min 51 s 380.75 ms remaining ; 8 h 32 min 51 s 268.11 ms total)
Fri Oct 27 01:45:46 2023: Iterated ≈72% of D-proof candidates. [56411815 of 78349744] (ETC: Fri Oct 27 04:07:54 2023 ; 2 h 22 min  8 s 534.19 ms remaining ; 8 h 27 min 39 s  49.73 ms total)
Fri Oct 27 01:51:50 2023: Iterated ≈74% of D-proof candidates. [57978810 of 78349744] (ETC: Fri Oct 27 04:02:23 2023 ; 2 h 10 min 33 s 263.00 ms remaining ; 8 h 22 min  7 s 933.79 ms total)
Fri Oct 27 01:57:39 2023: Iterated ≈76% of D-proof candidates. [59545805 of 78349744] (ETC: Fri Oct 27 03:56:49 2023 ; 1 h 59 min 10 s 552.99 ms remaining ; 8 h 16 min 33 s 970.09 ms total)
Fri Oct 27 02:03:21 2023: Iterated ≈78% of D-proof candidates. [61112800 of 78349744] (ETC: Fri Oct 27 03:51:25 2023 ; 1 h 48 min  3 s 230.53 ms remaining ; 8 h 11 min  9 s 229.16 ms total)
Fri Oct 27 02:08:56 2023: Iterated ≈80% of D-proof candidates. [62679795 of 78349744] (ETC: Fri Oct 27 03:46:06 2023 ; 1 h 37 min 10 s  85.82 ms remaining ; 8 h  5 min 50 s 428.75 ms total)
Fri Oct 27 02:14:04 2023: Iterated ≈82% of D-proof candidates. [64246790 of 78349744] (ETC: Fri Oct 27 03:40:31 2023 ; 1 h 26 min 26 s 722.32 ms remaining ; 8 h        15 s 123.85 ms total)
Fri Oct 27 02:19:01 2023: Iterated ≈84% of D-proof candidates. [65813784 of 78349744] (ETC: Fri Oct 27 03:34:58 2023 ; 1 h 15 min 57 s 285.44 ms remaining ; 7 h 54 min 43 s  31.80 ms total)
Fri Oct 27 02:23:43 2023: Iterated ≈86% of D-proof candidates. [67380779 of 78349744] (ETC: Fri Oct 27 03:29:24 2023 ; 1 h  5 min 40 s 812.34 ms remaining ; 7 h 49 min  8 s 657.41 ms total)
Fri Oct 27 02:28:18 2023: Iterated ≈88% of D-proof candidates. [68947774 of 78349744] (ETC: Fri Oct 27 03:23:56 2023 ; 55 min 38 s 520.37 ms remaining ; 7 h 43 min 41 s   0.98 ms total)
Fri Oct 27 02:32:42 2023: Iterated ≈90% of D-proof candidates. [70514769 of 78349744] (ETC: Fri Oct 27 03:18:32 2023 ; 45 min 49 s 623.87 ms remaining ; 7 h 38 min 16 s 236.58 ms total)
Fri Oct 27 02:36:57 2023: Iterated ≈92% of D-proof candidates. [72081764 of 78349744] (ETC: Fri Oct 27 03:13:11 2023 ; 36 min 14 s  62.28 ms remaining ; 7 h 32 min 55 s 776.39 ms total)
Fri Oct 27 02:41:05 2023: Iterated ≈94% of D-proof candidates. [73648759 of 78349744] (ETC: Fri Oct 27 03:07:57 2023 ; 26 min 51 s 677.76 ms remaining ; 7 h 27 min 41 s 293.99 ms total)
Fri Oct 27 02:45:10 2023: Iterated ≈96% of D-proof candidates. [75215754 of 78349744] (ETC: Fri Oct 27 03:02:53 2023 ; 17 min 42 s 283.70 ms remaining ; 7 h 22 min 37 s  90.39 ms total)
Fri Oct 27 02:49:14 2023: Iterated ≈98% of D-proof candidates. [76782749 of 78349744] (ETC: Fri Oct 27 02:57:59 2023 ; 8 min 45 s 277.11 ms remaining ; 7 h 17 min 43 s 853.51 ms total)
Fri Oct 27 02:53:08 2023: Iterated 100% of D-proof candidates. [78349744 of 78349744] (ETC: Fri Oct 27 02:53:08 2023 ; 0.00 ms remaining ; 7 h 12 min 52 s 851.82 ms total)
25973052.17 ms (7 h 12 min 53 s 52.17 ms) taken to collect 37699564 D-proofs of length 41. [iterated 78349744 condensed detachment proof strings]
[Copy] Custom iteration counts: { { 1, 1 }, { 3, 1 }, { 5, 2 }, { 7, 5 }, { 9, 14 }, { 11, 34 }, { 13, 88 }, { 15, 227 }, { 17, 584 }, { 19, 1520 }, { 21, 3984 }, { 23, 10492 }, { 25, 27790 }, { 27, 73951 }, { 29, 197716 }, { 31, 530829 }, { 33, 1430830 }, { 35, 3870703 }, { 37, 10505128 }, { 39, 28598584 }, { 41, 78349744 } }
247214.83 ms (4 min 7 s 214.83 ms) taken to filter and order new representative proofs.
Found 37699564 representative, 649964 redundant, and 40000216 invalid condensed detachment proof strings.
lengths up to 41 ; amounts per length: {(1,1), (3,1), (5,2), (7,5), (9,10), (11,24), (13,57), (15,137), (17,339), (19,854), (21,2171), (23,5583), (25,14478), (27,37874), (29,99756), (31,264466), (33,705026), (35,1888450), (37,5081180), (39,13863883), (41,37699564)} ; 37699564 new representative proofs (649964 redundant, 40000216 invalid)
Fri Oct 27 02:58:22 2023: Starting to write 37699564 entries to data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs41-unfiltered39+.txt.
207187.40 ms (3 min 27 s 187.40 ms) taken to print and save 84489763512 bytes of representative condensed detachment proof strings to data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/dProofs-withConclusions/dProofs41-unfiltered39+.txt.
Fri Oct 27 03:03:19 2023: Limited D-proof representative generator complete. [parallel ; 64 hardware thread contexts, limit: 41, unfiltered]
Fri Oct 27 03:04:40 2023: Process terminated. [pid: 187390, tid:22998470952832]