dProofs69_72node_3456cpu.log

( 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 72 CLAIX-2018 MPI nodes
  — 2-socket Intel Xeon Platinum 8160 (Skylake) each, 24 cores each (48 cores total per node), 2.1 GHz, 3.7 GHz turbo mode, 192 GiB main memory each —
  running Linux, Rocky 8.8. Initialization and completion messages with rank numbers have been grouped and sorted for better readability.
  Wall-clock time:     4.46555… h
  CPU utilization: 15432.96 core-h )
Tue Oct  3 20:25:23 2023: Process started. [pid: 259081, tid:23095486113664]
Tue Oct  3 20:25:23 2023: Process started. [pid: 88835, tid:22518085150592]
Tue Oct  3 20:25:23 2023: Process started. [pid: 45271, tid:22758842419072]
Tue Oct  3 20:25:23 2023: Process started. [pid: 81455, tid:23255587047296]
Tue Oct  3 20:25:23 2023: Process started. [pid: 121205, tid:23024585508736]
Tue Oct  3 20:25:23 2023: Process started. [pid: 194848, tid:22617800103808]
Tue Oct  3 20:25:23 2023: Process started. [pid: 22588, tid:22762971637632]
Tue Oct  3 20:25:23 2023: Process started. [pid: 114006, tid:22533540722560]
Tue Oct  3 20:25:23 2023: Process started. [pid: 261435, tid:22834265982848]
Tue Oct  3 20:25:23 2023: Process started. [pid: 181815, tid:22851540309888]
Tue Oct  3 20:25:23 2023: Process started. [pid: 118536, tid:22577519261568]
Tue Oct  3 20:25:23 2023: Process started. [pid: 51277, tid:22626331453312]
Tue Oct  3 20:25:23 2023: Process started. [pid: 79400, tid:22762359388032]
Tue Oct  3 20:25:23 2023: Process started. [pid: 66213, tid:23442975520640]
Tue Oct  3 20:25:23 2023: Process started. [pid: 129472, tid:23406568269696]
Tue Oct  3 20:25:23 2023: Process started. [pid: 112293, tid:23167268812672]
Tue Oct  3 20:25:23 2023: Process started. [pid: 42079, tid:23426180986752]
Tue Oct  3 20:25:23 2023: Process started. [pid: 214283, tid:22381840275328]
Tue Oct  3 20:25:23 2023: Process started. [pid: 31640, tid:23045210990464]
Tue Oct  3 20:25:23 2023: Process started. [pid: 34557, tid:23178998654848]
Tue Oct  3 20:25:23 2023: Process started. [pid: 54523, tid:23081195378560]
Tue Oct  3 20:25:23 2023: Process started. [pid: 237897, tid:22715812775808]
Tue Oct  3 20:25:23 2023: Process started. [pid: 74866, tid:22657525016448]
Tue Oct  3 20:25:23 2023: Process started. [pid: 256723, tid:22734411458432]
Tue Oct  3 20:25:23 2023: Process started. [pid: 854, tid:23314525136768]
Tue Oct  3 20:25:23 2023: Process started. [pid: 38431, tid:23396359849856]
Tue Oct  3 20:25:23 2023: Process started. [pid: 117487, tid:23453289961344]
Tue Oct  3 20:25:23 2023: Process started. [pid: 45708, tid:23062979012480]
Tue Oct  3 20:25:23 2023: Process started. [pid: 34756, tid:23056550401920]
Tue Oct  3 20:25:23 2023: Process started. [pid: 57510, tid:23282969962368]
Tue Oct  3 20:25:23 2023: Process started. [pid: 111830, tid:23371812579200]
Tue Oct  3 20:25:23 2023: Process started. [pid: 208732, tid:23001389356928]
Tue Oct  3 20:25:23 2023: Process started. [pid: 30163, tid:23318545971072]
Tue Oct  3 20:25:23 2023: Process started. [pid: 175105, tid:23340321286016]
Tue Oct  3 20:25:23 2023: Process started. [pid: 199613, tid:22671789750144]
Tue Oct  3 20:25:23 2023: Process started. [pid: 56470, tid:22991380019072]
Tue Oct  3 20:25:23 2023: Process started. [pid: 93661, tid:23446323767168]
Tue Oct  3 20:25:23 2023: Process started. [pid: 256160, tid:23378665895808]
Tue Oct  3 20:25:23 2023: Process started. [pid: 45644, tid:23368997373824]
Tue Oct  3 20:25:23 2023: Process started. [pid: 215599, tid:23067931207552]
Tue Oct  3 20:25:23 2023: Process started. [pid: 39106, tid:23155173898112]
Tue Oct  3 20:25:23 2023: Process started. [pid: 250615, tid:22919670097792]
Tue Oct  3 20:25:23 2023: Process started. [pid: 172171, tid:23445131659136]
Tue Oct  3 20:25:23 2023: Process started. [pid: 224770, tid:22746029840256]
Tue Oct  3 20:25:23 2023: Process started. [pid: 125156, tid:23386323244928]
Tue Oct  3 20:25:23 2023: Process started. [pid: 257245, tid:22765246326656]
Tue Oct  3 20:25:23 2023: Process started. [pid: 256145, tid:22915777537920]
Tue Oct  3 20:25:23 2023: Process started. [pid: 5477, tid:23156480112512]
Tue Oct  3 20:25:23 2023: Process started. [pid: 93239, tid:22731354855296]
Tue Oct  3 20:25:23 2023: Process started. [pid: 65215, tid:22412115502976]
Tue Oct  3 20:25:23 2023: Process started. [pid: 187257, tid:22524950103936]
Tue Oct  3 20:25:23 2023: Process started. [pid: 206292, tid:22368956422016]
Tue Oct  3 20:25:23 2023: Process started. [pid: 148926, tid:22902064842624]
Tue Oct  3 20:25:23 2023: Process started. [pid: 44410, tid:23144736163712]
Tue Oct  3 20:25:23 2023: Process started. [pid: 276385, tid:23210322708352]
Tue Oct  3 20:25:23 2023: Process started. [pid: 186309, tid:23124466591616]
Tue Oct  3 20:25:23 2023: Process started. [pid: 172197, tid:23346406528896]
Tue Oct  3 20:25:23 2023: Process started. [pid: 205333, tid:22595736196992]
Tue Oct  3 20:25:23 2023: Process started. [pid: 262853, tid:22832483870592]
Tue Oct  3 20:25:23 2023: Process started. [pid: 123060, tid:22568196167552]
Tue Oct  3 20:25:23 2023: Process started. [pid: 257447, tid:22627544450944]
Tue Oct  3 20:25:23 2023: Process started. [pid: 100729, tid:22965425825664]
Tue Oct  3 20:25:23 2023: Process started. [pid: 188866, tid:22647680620416]
Tue Oct  3 20:25:23 2023: Process started. [pid: 208575, tid:23022123542400]
Tue Oct  3 20:25:23 2023: Process started. [pid: 108193, tid:22413790889856]
Tue Oct  3 20:25:23 2023: Process started. [pid: 17085, tid:22942160689024]
Tue Oct  3 20:25:23 2023: Process started. [pid: 127909, tid:22521702463360]
Tue Oct  3 20:25:23 2023: Process started. [pid: 80641, tid:22567774619520]
Tue Oct  3 20:25:23 2023: Process started. [pid: 275572, tid:23259003873152]
Tue Oct  3 20:25:23 2023: Process started. [pid: 247511, tid:22403330865024]
Tue Oct  3 20:25:23 2023: Process started. [pid: 186742, tid:22807720855424]
Tue Oct  3 20:25:23 2023: Process started. [pid: 205079, tid:23048199227264]
Tasks:
1. resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true)
2. mpi_filterDProofRepresentativeFile(69, true)

[Rank 0 ; pid: 205079 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed]
(1) CCCCC0.1CN2N3.2.4CC4.0C3.0    -    CCCCCpqCNrNsrtCCtpCsp    -    ((((0\imply1)\imply(\not2\imply\not3))\imply2)\imply4)\imply((4\imply0)\imply(3\imply0))
[Rank 1 ; pid: 208732 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 2 ; pid: 65215 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 3 ; pid: 44410 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 4 ; pid: 275572 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 5 ; pid: 172171 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 6 ; pid: 100729 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 7 ; pid: 66213 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 8 ; pid: 88835 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 9 ; pid: 34756 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 10 ; pid: 250615 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 11 ; pid: 148926 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 12 ; pid: 256723 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 13 ; pid: 256160 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 14 ; pid: 206292 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 15 ; pid: 205333 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 16 ; pid: 79400 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 17 ; pid: 42079 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 18 ; pid: 199613 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 19 ; pid: 31640 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 20 ; pid: 237897 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 21 ; pid: 262853 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 22 ; pid: 80641 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 23 ; pid: 56470 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 24 ; pid: 81455 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 25 ; pid: 175105 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 26 ; pid: 276385 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 27 ; pid: 215599 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 28 ; pid: 51277 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 29 ; pid: 257447 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 30 ; pid: 224770 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 31 ; pid: 112293 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 32 ; pid: 118536 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 33 ; pid: 259081 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 34 ; pid: 93239 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 35 ; pid: 45271 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 36 ; pid: 17085 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 37 ; pid: 247511 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 38 ; pid: 121205 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 39 ; pid: 74866 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 40 ; pid: 57510 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 41 ; pid: 257245 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 42 ; pid: 22588 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 43 ; pid: 34557 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 44 ; pid: 214283 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 45 ; pid: 30163 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 46 ; pid: 186742 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 47 ; pid: 188866 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 48 ; pid: 256145 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 49 ; pid: 127909 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 50 ; pid: 45644 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 51 ; pid: 45708 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 52 ; pid: 39106 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 53 ; pid: 93661 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 54 ; pid: 114006 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 55 ; pid: 54523 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 56 ; pid: 123060 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 57 ; pid: 108193 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 58 ; pid: 187257 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 59 ; pid: 117487 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 60 ; pid: 261435 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 61 ; pid: 186309 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 62 ; pid: 129472 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 63 ; pid: 5477 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 64 ; pid: 172197 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 65 ; pid: 111830 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 66 ; pid: 208575 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 67 ; pid: 854 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 68 ; pid: 38431 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 69 ; pid: 181815 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 70 ; pid: 125156 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 71 ; pid: 194848 ; 72 processes] Calling resetRepresentativesFor("CCCCCpqCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 0 ; pid: 205079 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 1 ; pid: 208732 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 2 ; pid: 65215 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 3 ; pid: 44410 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 4 ; pid: 275572 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 5 ; pid: 172171 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 6 ; pid: 100729 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 7 ; pid: 66213 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 8 ; pid: 88835 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 9 ; pid: 34756 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 10 ; pid: 250615 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 11 ; pid: 148926 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 12 ; pid: 256723 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 13 ; pid: 256160 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 14 ; pid: 206292 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 15 ; pid: 205333 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 16 ; pid: 79400 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 17 ; pid: 42079 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 18 ; pid: 199613 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 19 ; pid: 31640 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 20 ; pid: 237897 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 21 ; pid: 262853 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 22 ; pid: 80641 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 23 ; pid: 56470 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 24 ; pid: 81455 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 25 ; pid: 175105 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 26 ; pid: 276385 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 27 ; pid: 215599 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 28 ; pid: 51277 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 29 ; pid: 257447 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 30 ; pid: 224770 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 31 ; pid: 112293 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 32 ; pid: 118536 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 33 ; pid: 259081 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 34 ; pid: 93239 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 35 ; pid: 45271 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 36 ; pid: 17085 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 37 ; pid: 247511 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 38 ; pid: 121205 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 39 ; pid: 74866 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 40 ; pid: 57510 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 41 ; pid: 257245 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 42 ; pid: 22588 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 43 ; pid: 34557 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 44 ; pid: 214283 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 45 ; pid: 30163 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 46 ; pid: 186742 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 47 ; pid: 188866 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 48 ; pid: 256145 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 49 ; pid: 127909 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 50 ; pid: 45644 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 51 ; pid: 45708 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 52 ; pid: 39106 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 53 ; pid: 93661 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 54 ; pid: 114006 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 55 ; pid: 54523 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 56 ; pid: 123060 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 57 ; pid: 108193 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 58 ; pid: 187257 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 59 ; pid: 117487 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 60 ; pid: 261435 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 61 ; pid: 186309 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 62 ; pid: 129472 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 63 ; pid: 5477 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 64 ; pid: 172197 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 65 ; pid: 111830 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 66 ; pid: 208575 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 67 ; pid: 854 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 68 ; pid: 38431 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 69 ; pid: 181815 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 70 ; pid: 125156 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
[Rank 71 ; pid: 194848 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(69, true).
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0042.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0047.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0048.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0049.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0051.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0052.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0053.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0059.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0061.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0066.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0067.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0068.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0071.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0187.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0223.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0224.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0273.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0289.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0290.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0291.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0292.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0295.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0296.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0303.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0319.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0329.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0331.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0358.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0361.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0362.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0363.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0365.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0434.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0543.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 34 on "ncm0581.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 35 on "ncm0608.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 36 on "ncm0686.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 37 on "ncm0688.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 38 on "ncm0695.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 39 on "ncm0700.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 40 on "ncm0813.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 41 on "ncm0815.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 42 on "ncm0816.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 43 on "ncm0817.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 44 on "ncm0818.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 45 on "ncm0819.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 46 on "ncm0821.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 47 on "ncm0822.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 48 on "ncm0823.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 49 on "ncm0826.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 50 on "ncm0827.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 51 on "ncm0829.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 52 on "ncm0831.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 53 on "ncm0852.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 54 on "ncm0868.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 55 on "ncm0871.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 56 on "ncm0893.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 57 on "ncm0906.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 58 on "ncm0907.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 59 on "ncm0908.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 60 on "ncm0913.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 61 on "ncm0914.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 62 on "ncm0917.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 63 on "ncm0918.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 64 on "ncm0923.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 65 on "ncm0925.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 66 on "ncm0926.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 67 on "ncm0931.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 68 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 69 on "ncm0943.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 70 on "nrm095.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct  3 20:25:24 2023: MPI-based D-proof representative filter started. [rank 71 on "nrm110.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
0.01 ms taken to load initial representatives.
10.83 ms taken to read 1 condensed detachment proof and conclusion from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs3.txt. [tid:23048024069888]
9.56 ms taken to read 1 condensed detachment proof and conclusion from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs5.txt. [tid:23048021968640]
0.48 ms taken to read 3 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs7.txt. [tid:23047885649664]
11.74 ms taken to read 7 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs9.txt. [tid:23048019867392]
16.15 ms taken to read 10 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs11.txt. [tid:23048017766144]
18.78 ms taken to read 13 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs13.txt. [tid:23048015664896]
11.29 ms taken to read 19 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs15.txt. [tid:23048013563648]
15.48 ms taken to read 37 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs17.txt. [tid:23048011462400]
11.84 ms taken to read 56 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs19.txt. [tid:23048009361152]
10.62 ms taken to read 87 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs21.txt. [tid:23048007259904]
7.01 ms taken to read 140 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs23.txt. [tid:23048005158656]
21.20 ms taken to read 227 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs25.txt. [tid:23047935358720]
18.67 ms taken to read 369 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs27.txt. [tid:23047933257472]
18.89 ms taken to read 579 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs29.txt. [tid:23047931156224]
23.43 ms taken to read 918 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs31.txt. [tid:23047929054976]
48.90 ms taken to read 1499 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs33.txt. [tid:23047926953728]
33.23 ms taken to read 2408 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs35.txt. [tid:23047924852480]
31.59 ms taken to read 3881 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs37.txt. [tid:23047922751232]
167.43 ms taken to read 6254 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs39.txt. [tid:23047920649984]
109.15 ms taken to read 10109 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs41.txt. [tid:23047918548736]
154.10 ms taken to read 16460 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs43.txt. [tid:23047916447488]
114.59 ms taken to read 26753 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs45.txt. [tid:23047914346240]
163.72 ms taken to read 43360 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs47.txt. [tid:23047912244992]
424.95 ms taken to read 70709 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs49.txt. [tid:23047910143744]
805.62 ms taken to read 115604 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs51.txt. [tid:23047908042496]
1702.51 ms (1 s 702.51 ms) taken to read 188634 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs53.txt. [tid:23047905941248]
3899.16 ms (3 s 899.16 ms) taken to read 308241 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs55.txt. [tid:23047903840000]
835.05 ms taken to read 504870 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs57.txt. [tid:23047901738752]
1033.03 ms (1 s 33.03 ms) taken to read 827701 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs59.txt. [tid:23047899637504]
1142.40 ms (1 s 142.40 ms) taken to read 1357539 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs61.txt. [tid:23047897536256]
2093.40 ms (2 s 93.40 ms) taken to read 2227822 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs63.txt. [tid:23047895435008]
2783.20 ms (2 s 783.20 ms) taken to read 3660735 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs65.txt. [tid:23047893333760]
3631.80 ms (3 s 631.80 ms) taken to read 6021110 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs67.txt. [tid:23047891232512]
3952.09 ms (3 s 952.09 ms) total read duration.
Loaded 34 representative collections of sizes:
1 : 1
3 : 1
5 : 1
7 : 3
9 : 7
11 : 10
13 : 13
15 : 19
17 : 37
19 : 56
21 : 87
23 : 140
25 : 227
27 : 369
29 : 579
31 : 918
33 : 1499
35 : 2408
37 : 3881
39 : 6254
41 : 10109
43 : 16460
45 : 26753
47 : 43360
49 : 70709
51 : 115604
53 : 188634
55 : 308241
57 : 504870
59 : 827701
61 : 1357539
63 : 2227822
65 : 3660735
67 : 6021110
15396157 representatives in total.
5303.74 ms (5 s 303.74 ms) taken to read 14057500 condensed detachment proofs and conclusions from data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs69-unfiltered69+.txt. [tid:23047891232512]
5305.42 ms (5 s 305.42 ms) additional read duration.
Loaded 1 more representative collection of size:
69 : 14057500
29453657 representatives in total.
Tue Oct  3 20:25:36 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 4146222, based on entry 67:2520051 and last known pair (65:1531673, 67:2520051) with 2520051/1531673 ≈ 1.64529 and 2520051 * (2520051/1531673)^1 ≈ 4146222.49.
Tue Oct  3 20:25:37 2023: Inserted ≈ 5% of D-proof conclusions. [ 1472682 of 29453657] (ETC: Tue Oct  3 20:25:52 2023 ; 15 s 679.87 ms remaining ; 16 s 505.13 ms total)
Tue Oct  3 20:25:37 2023: Inserted ≈10% of D-proof conclusions. [ 2945365 of 29453657] (ETC: Tue Oct  3 20:25:52 2023 ; 14 s 972.05 ms remaining ; 16 s 635.61 ms total)
Tue Oct  3 20:25:38 2023: Inserted ≈15% of D-proof conclusions. [ 4418048 of 29453657] (ETC: Tue Oct  3 20:25:52 2023 ; 13 s 966.68 ms remaining ; 16 s 431.38 ms total)
Tue Oct  3 20:25:39 2023: Inserted ≈20% of D-proof conclusions. [ 5890731 of 29453657] (ETC: Tue Oct  3 20:25:52 2023 ; 12 s 820.33 ms remaining ; 16 s  25.41 ms total)
Tue Oct  3 20:25:40 2023: Inserted ≈25% of D-proof conclusions. [ 7363414 of 29453657] (ETC: Tue Oct  3 20:25:51 2023 ; 11 s 648.52 ms remaining ; 15 s 531.36 ms total)
Tue Oct  3 20:25:40 2023: Inserted ≈30% of D-proof conclusions. [ 8836097 of 29453657] (ETC: Tue Oct  3 20:25:51 2023 ; 10 s 537.24 ms remaining ; 15 s  53.21 ms total)
Tue Oct  3 20:25:41 2023: Inserted ≈35% of D-proof conclusions. [10308779 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 9 s 506.79 ms remaining ; 14 s 625.84 ms total)
Tue Oct  3 20:25:41 2023: Inserted ≈40% of D-proof conclusions. [11781462 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 8 s 573.28 ms remaining ; 14 s 288.81 ms total)
Tue Oct  3 20:25:42 2023: Inserted ≈45% of D-proof conclusions. [13254145 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 7 s 772.90 ms remaining ; 14 s 132.55 ms total)
Tue Oct  3 20:25:43 2023: Inserted ≈50% of D-proof conclusions. [14726828 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 6 s 975.37 ms remaining ; 13 s 950.74 ms total)
Tue Oct  3 20:25:43 2023: Inserted ≈55% of D-proof conclusions. [16199511 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 6 s 262.41 ms remaining ; 13 s 916.46 ms total)
Tue Oct  3 20:25:44 2023: Inserted ≈60% of D-proof conclusions. [17672194 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 5 s 594.38 ms remaining ; 13 s 985.95 ms total)
Tue Oct  3 20:25:45 2023: Inserted ≈65% of D-proof conclusions. [19144877 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 4 s 887.77 ms remaining ; 13 s 965.05 ms total)
Tue Oct  3 20:25:45 2023: Inserted ≈70% of D-proof conclusions. [20617559 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 4 s 192.68 ms remaining ; 13 s 975.60 ms total)
Tue Oct  3 20:25:46 2023: Inserted ≈75% of D-proof conclusions. [22090242 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 3 s 510.98 ms remaining ; 14 s  43.93 ms total)
Tue Oct  3 20:25:47 2023: Inserted ≈80% of D-proof conclusions. [23562925 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 2 s 804.43 ms remaining ; 14 s  22.14 ms total)
Tue Oct  3 20:25:48 2023: Inserted ≈85% of D-proof conclusions. [25035608 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 2 s 110.75 ms remaining ; 14 s  71.68 ms total)
Tue Oct  3 20:25:48 2023: Inserted ≈90% of D-proof conclusions. [26508291 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 1 s 416.61 ms remaining ; 14 s 166.07 ms total)
Tue Oct  3 20:25:49 2023: Inserted ≈95% of D-proof conclusions. [27980974 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 713.98 ms remaining ; 14 s 279.69 ms total)
Tue Oct  3 20:25:50 2023: Inserted 100% of D-proof conclusions. [29453657 of 29453657] (ETC: Tue Oct  3 20:25:50 2023 ; 0.00 ms remaining ; 14 s 412.14 ms total)
14412.26 ms (14 s 412.26 ms) total insertion duration.
Reservable workloads: { 0:[130162, 195242], 1:[325405, 390485], 2:[520648, 585728], 3:[715891, 780971], 4:[911134, 976214], 5:[1106377, 1171457], 6:[1301620, 1366700], 7:[1496863, 1561943], 8:[1692106, 1757186], 9:[1887349, 1952429], 10:[2082592, 2147672], 11:[2277835, 2342915], 12:[2473078, 2538158], 13:[2668321, 2733401], 14:[2863564, 2928644], 15:[3058807, 3123887], 16:[3254050, 3319130], 17:[3449294, 3514374], 18:[3644537, 3709617], 19:[3839780, 3904860], 20:[4035023, 4100103], 21:[4230266, 4295346], 22:[4425509, 4490589], 23:[4620752, 4685832], 24:[4815995, 4881075], 25:[5011238, 5076318], 26:[5206481, 5271561], 27:[5401724, 5466804], 28:[5596967, 5662047], 29:[5792210, 5857290], 30:[5987453, 6052533], 31:[6182696, 6247776], 32:[6377939, 6443019], 33:[6573182, 6638262], 34:[6768425, 6833505], 35:[6963669, 7028749], 36:[7158912, 7223992], 37:[7354155, 7419235], 38:[7549398, 7614478], 39:[7744641, 7809721], 40:[7939884, 8004964], 41:[8135127, 8200207], 42:[8330370, 8395450], 43:[8525613, 8590693], 44:[8720856, 8785936], 45:[8916099, 8981179], 46:[9111342, 9176422], 47:[9306585, 9371665], 48:[9501828, 9566908], 49:[9697071, 9762151], 50:[9892314, 9957394], 51:[10087557, 10152637], 52:[10282800, 10347880], 53:[10478044, 10543124], 54:[10673287, 10738367], 55:[10868530, 10933610], 56:[11063773, 11128853], 57:[11259016, 11324096], 58:[11454259, 11519339], 59:[11649502, 11714582], 60:[11844745, 11909825], 61:[12039988, 12105068], 62:[12235231, 12300311], 63:[12430474, 12495554], 64:[12625717, 12690797], 65:[12820960, 12886040], 66:[13016203, 13081283], 67:[13211446, 13276526], 68:[13406689, 13471769], 69:[13601932, 13667012], 70:[13797175, 13862255], 71:[13992419, 14057499] }
Tue Oct  3 20:31:36 2023: Removed ≈  2% of redundant conclusions. [  82924 of approximately 4146222] (ETC: Wed Oct  4 01:12:47 2023 ; 4 h 41 min 11 s 284.92 ms remaining ; 4 h 46 min 55 s 595.00 ms total)
Tue Oct  3 20:37:17 2023: Removed ≈  4% of redundant conclusions. [ 165848 of approximately 4146222] (ETC: Wed Oct  4 01:11:22 2023 ; 4 h 34 min  5 s 576.31 ms remaining ; 4 h 45 min 30 s 804.87 ms total)
Tue Oct  3 20:42:57 2023: Removed ≈  6% of redundant conclusions. [ 248773 of approximately 4146222] (ETC: Wed Oct  4 01:10:42 2023 ; 4 h 27 min 44 s 959.10 ms remaining ; 4 h 44 min 50 s 380.62 ms total)
Tue Oct  3 20:48:35 2023: Removed ≈  8% of redundant conclusions. [ 331697 of approximately 4146222] (ETC: Wed Oct  4 01:09:58 2023 ; 4 h 21 min 22 s 460.57 ms remaining ; 4 h 44 min  6 s 149.39 ms total)
Tue Oct  3 20:54:10 2023: Removed ≈ 10% of redundant conclusions. [ 414622 of approximately 4146222] (ETC: Wed Oct  4 01:08:55 2023 ; 4 h 14 min 45 s 420.26 ms remaining ; 4 h 43 min  3 s 799.38 ms total)
Tue Oct  3 20:59:42 2023: Removed ≈ 12% of redundant conclusions. [ 497546 of approximately 4146222] (ETC: Wed Oct  4 01:07:51 2023 ; 4 h  8 min  9 s 151.49 ms remaining ; 4 h 41 min 59 s 487.36 ms total)
Tue Oct  3 21:05:11 2023: Removed ≈ 14% of redundant conclusions. [ 580471 of approximately 4146222] (ETC: Wed Oct  4 01:06:46 2023 ; 4 h  1 min 34 s 847.43 ms remaining ; 4 h 40 min 54 s 473.37 ms total)
Tue Oct  3 21:10:39 2023: Removed ≈ 16% of redundant conclusions. [ 663395 of approximately 4146222] (ETC: Wed Oct  4 01:05:47 2023 ; 3 h 55 min  8 s 297.45 ms remaining ; 4 h 39 min 55 s 589.69 ms total)
Tue Oct  3 21:16:04 2023: Removed ≈ 18% of redundant conclusions. [ 746319 of approximately 4146222] (ETC: Wed Oct  4 01:04:50 2023 ; 3 h 48 min 45 s 524.90 ms remaining ; 4 h 38 min 58 s 440.28 ms total)
Tue Oct  3 21:21:28 2023: Removed ≈ 20% of redundant conclusions. [ 829244 of approximately 4146222] (ETC: Wed Oct  4 01:03:51 2023 ; 3 h 42 min 23 s 914.03 ms remaining ; 4 h 37 min 59 s 890.52 ms total)
Tue Oct  3 21:26:49 2023: Removed ≈ 22% of redundant conclusions. [ 912168 of approximately 4146222] (ETC: Wed Oct  4 01:02:57 2023 ; 3 h 36 min  7 s 827.13 ms remaining ; 4 h 37 min  5 s 415.08 ms total)
Tue Oct  3 21:32:09 2023: Removed ≈ 24% of redundant conclusions. [ 995093 of approximately 4146222] (ETC: Wed Oct  4 01:02:03 2023 ; 3 h 29 min 54 s 310.97 ms remaining ; 4 h 36 min 11 s 460.33 ms total)
Tue Oct  3 21:37:25 2023: Removed ≈ 26% of redundant conclusions. [1078017 of approximately 4146222] (ETC: Wed Oct  4 01:01:05 2023 ; 3 h 23 min 39 s 843.40 ms remaining ; 4 h 35 min 13 s 298.02 ms total)
Tue Oct  3 21:42:44 2023: Removed ≈ 28% of redundant conclusions. [1160942 of approximately 4146222] (ETC: Wed Oct  4 01:00:23 2023 ; 3 h 17 min 39 s 488.36 ms remaining ; 4 h 34 min 31 s 510.72 ms total)
Tue Oct  3 21:48:01 2023: Removed ≈ 30% of redundant conclusions. [1243866 of approximately 4146222] (ETC: Wed Oct  4 00:59:44 2023 ; 3 h 11 min 42 s 470.54 ms remaining ; 4 h 33 min 52 s  97.37 ms total)
Tue Oct  3 21:53:19 2023: Removed ≈ 32% of redundant conclusions. [1326791 of approximately 4146222] (ETC: Wed Oct  4 00:59:09 2023 ; 3 h  5 min 50 s 393.46 ms remaining ; 4 h 33 min 17 s 637.21 ms total)
Tue Oct  3 21:58:37 2023: Removed ≈ 34% of redundant conclusions. [1409715 of approximately 4146222] (ETC: Wed Oct  4 00:58:41 2023 ; 3 h         3 s 935.38 ms remaining ; 4 h 32 min 49 s 596.19 ms total)
Tue Oct  3 22:03:55 2023: Removed ≈ 36% of redundant conclusions. [1492639 of approximately 4146222] (ETC: Wed Oct  4 00:58:14 2023 ; 2 h 54 min 19 s 373.58 ms remaining ; 4 h 32 min 22 s 765.55 ms total)
Tue Oct  3 22:09:13 2023: Removed ≈ 38% of redundant conclusions. [1575564 of approximately 4146222] (ETC: Wed Oct  4 00:57:50 2023 ; 2 h 48 min 37 s 486.64 ms remaining ; 4 h 31 min 58 s 524.55 ms total)
Tue Oct  3 22:14:29 2023: Removed ≈ 40% of redundant conclusions. [1658488 of approximately 4146222] (ETC: Wed Oct  4 00:57:25 2023 ; 2 h 42 min 56 s 246.96 ms remaining ; 4 h 31 min 33 s 739.69 ms total)
Tue Oct  3 22:19:47 2023: Removed ≈ 42% of redundant conclusions. [1741413 of approximately 4146222] (ETC: Wed Oct  4 00:57:07 2023 ; 2 h 37 min 20 s  47.54 ms remaining ; 4 h 31 min 15 s 942.40 ms total)
Tue Oct  3 22:25:04 2023: Removed ≈ 44% of redundant conclusions. [1824337 of approximately 4146222] (ETC: Wed Oct  4 00:56:48 2023 ; 2 h 31 min 43 s 763.19 ms remaining ; 4 h 30 min 56 s 715.23 ms total)
Tue Oct  3 22:30:23 2023: Removed ≈ 46% of redundant conclusions. [1907262 of approximately 4146222] (ETC: Wed Oct  4 00:56:33 2023 ; 2 h 26 min 10 s 408.98 ms remaining ; 4 h 30 min 41 s 497.24 ms total)
Tue Oct  3 22:35:41 2023: Removed ≈ 48% of redundant conclusions. [1990186 of approximately 4146222] (ETC: Wed Oct  4 00:56:20 2023 ; 2 h 20 min 38 s 635.42 ms remaining ; 4 h 30 min 28 s 140.83 ms total)
Tue Oct  3 22:40:57 2023: Removed ≈ 50% of redundant conclusions. [2073111 of approximately 4146222] (ETC: Wed Oct  4 00:56:02 2023 ; 2 h 15 min  5 s 208.06 ms remaining ; 4 h 30 min 10 s 416.12 ms total)
Tue Oct  3 22:46:17 2023: Removed ≈ 52% of redundant conclusions. [2156035 of approximately 4146222] (ETC: Wed Oct  4 00:55:54 2023 ; 2 h  9 min 37 s 387.00 ms remaining ; 4 h 30 min  2 s 886.01 ms total)
Tue Oct  3 22:51:35 2023: Removed ≈ 54% of redundant conclusions. [2238959 of approximately 4146222] (ETC: Wed Oct  4 00:55:43 2023 ; 2 h  4 min  7 s 961.21 ms remaining ; 4 h 29 min 51 s 212.56 ms total)
Tue Oct  3 22:56:51 2023: Removed ≈ 56% of redundant conclusions. [2321884 of approximately 4146222] (ETC: Wed Oct  4 00:55:30 2023 ; 1 h 58 min 38 s 456.81 ms remaining ; 4 h 29 min 38 s 308.08 ms total)
Tue Oct  3 23:02:08 2023: Removed ≈ 58% of redundant conclusions. [2404808 of approximately 4146222] (ETC: Wed Oct  4 00:55:18 2023 ; 1 h 53 min 10 s  53.60 ms remaining ; 4 h 29 min 26 s 787.24 ms total)
Tue Oct  3 23:07:24 2023: Removed ≈ 60% of redundant conclusions. [2487733 of approximately 4146222] (ETC: Wed Oct  4 00:55:05 2023 ; 1 h 47 min 41 s 418.92 ms remaining ; 4 h 29 min 13 s 545.35 ms total)
Tue Oct  3 23:12:38 2023: Removed ≈ 62% of redundant conclusions. [2570657 of approximately 4146222] (ETC: Wed Oct  4 00:54:50 2023 ; 1 h 42 min 12 s 698.51 ms remaining ; 4 h 28 min 58 s 673.74 ms total)
Tue Oct  3 23:17:51 2023: Removed ≈ 64% of redundant conclusions. [2653582 of approximately 4146222] (ETC: Wed Oct  4 00:54:35 2023 ; 1 h 36 min 44 s 456.22 ms remaining ; 4 h 28 min 43 s 488.64 ms total)
Tue Oct  3 23:23:02 2023: Removed ≈ 66% of redundant conclusions. [2736506 of approximately 4146222] (ETC: Wed Oct  4 00:54:19 2023 ; 1 h 31 min 16 s 539.07 ms remaining ; 4 h 28 min 27 s 461.91 ms total)
Tue Oct  3 23:28:21 2023: Removed ≈ 68% of redundant conclusions. [2819430 of approximately 4146222] (ETC: Wed Oct  4 00:54:13 2023 ; 1 h 25 min 52 s 571.22 ms remaining ; 4 h 28 min 21 s 773.41 ms total)
Tue Oct  3 23:33:24 2023: Removed ≈ 70% of redundant conclusions. [2902355 of approximately 4146222] (ETC: Wed Oct  4 00:53:46 2023 ; 1 h 20 min 22 s 320.80 ms remaining ; 4 h 27 min 54 s 397.50 ms total)
Tue Oct  3 23:38:24 2023: Removed ≈ 72% of redundant conclusions. [2985279 of approximately 4146222] (ETC: Wed Oct  4 00:53:17 2023 ; 1 h 14 min 52 s 746.70 ms remaining ; 4 h 27 min 25 s 512.33 ms total)
Tue Oct  3 23:43:26 2023: Removed ≈ 74% of redundant conclusions. [3068204 of approximately 4146222] (ETC: Wed Oct  4 00:52:52 2023 ; 1 h  9 min 25 s 214.99 ms remaining ; 4 h 27 min       53.48 ms total)
Tue Oct  3 23:48:30 2023: Removed ≈ 76% of redundant conclusions. [3151128 of approximately 4146222] (ETC: Wed Oct  4 00:52:30 2023 ; 1 h  3 min 59 s 565.00 ms remaining ; 4 h 26 min 38 s 175.94 ms total)
Tue Oct  3 23:53:34 2023: Removed ≈ 78% of redundant conclusions. [3234053 of approximately 4146222] (ETC: Wed Oct  4 00:52:08 2023 ; 58 min 34 s 920.96 ms remaining ; 4 h 26 min 16 s 910.67 ms total)
Tue Oct  3 23:58:37 2023: Removed ≈ 80% of redundant conclusions. [3316977 of approximately 4146222] (ETC: Wed Oct  4 00:51:48 2023 ; 53 min 11 s 347.93 ms remaining ; 4 h 25 min 56 s 728.10 ms total)
Wed Oct  4 00:03:40 2023: Removed ≈ 82% of redundant conclusions. [3399902 of approximately 4146222] (ETC: Wed Oct  4 00:51:28 2023 ; 47 min 48 s 633.26 ms remaining ; 4 h 25 min 36 s 850.57 ms total)
Wed Oct  4 00:08:46 2023: Removed ≈ 84% of redundant conclusions. [3482826 of approximately 4146222] (ETC: Wed Oct  4 00:51:13 2023 ; 42 min 27 s 510.75 ms remaining ; 4 h 25 min 21 s 930.68 ms total)
Wed Oct  4 00:13:53 2023: Removed ≈ 86% of redundant conclusions. [3565750 of approximately 4146222] (ETC: Wed Oct  4 00:51:00 2023 ; 37 min  7 s 209.53 ms remaining ; 4 h 25 min  8 s 614.31 ms total)
Wed Oct  4 00:19:01 2023: Removed ≈ 88% of redundant conclusions. [3648675 of approximately 4146222] (ETC: Wed Oct  4 00:50:49 2023 ; 31 min 47 s 645.92 ms remaining ; 4 h 24 min 57 s  37.84 ms total)
Wed Oct  4 00:24:15 2023: Removed ≈ 90% of redundant conclusions. [3731599 of approximately 4146222] (ETC: Wed Oct  4 00:50:44 2023 ; 26 min 29 s 261.97 ms remaining ; 4 h 24 min 52 s 589.04 ms total)
Wed Oct  4 00:29:23 2023: Removed ≈ 92% of redundant conclusions. [3814524 of approximately 4146222] (ETC: Wed Oct  4 00:50:33 2023 ; 21 min 10 s 527.43 ms remaining ; 4 h 24 min 41 s 581.37 ms total)
Wed Oct  4 00:34:28 2023: Removed ≈ 94% of redundant conclusions. [3897448 of approximately 4146222] (ETC: Wed Oct  4 00:50:20 2023 ; 15 min 52 s 136.68 ms remaining ; 4 h 24 min 28 s 901.26 ms total)
Wed Oct  4 00:39:38 2023: Removed ≈ 96% of redundant conclusions. [3980373 of approximately 4146222] (ETC: Wed Oct  4 00:50:12 2023 ; 10 min 34 s 426.86 ms remaining ; 4 h 24 min 20 s 659.98 ms total)
Wed Oct  4 00:44:51 2023: Removed ≈ 98% of redundant conclusions. [4063297 of approximately 4146222] (ETC: Wed Oct  4 00:50:08 2023 ; 5 min 17 s 136.50 ms remaining ; 4 h 24 min 16 s 718.06 ms total)
[Rank 1] Workload transfer approved. Starting to work on 6:[1359470, 1364290].
[Rank 14] Workload transfer approved. Starting to work on 16:[3311900, 3316720].
[Rank 15] Workload transfer approved. Starting to work on 39:[7802491, 7807311].
[Rank 2] Workload transfer approved. Starting to work on 63:[12488324, 12493144].
[Rank 70] Workload transfer approved. Starting to work on 66:[13074053, 13078873].
[Rank 12] Workload transfer approved. Starting to work on 0:[192833, 194439].
[Rank 23] Workload transfer approved. Starting to work on 3:[778562, 780168].
[Rank 32] Workload transfer approved. Starting to work on 4:[973805, 975411].
[Rank 17] Workload transfer approved. Starting to work on 5:[1169048, 1170654].
[Rank 57] Workload transfer approved. Starting to work on 8:[1754777, 1756383].
[Rank 30] Workload transfer approved. Starting to work on 9:[1950020, 1951626].
[Rank 18] Workload transfer approved. Starting to work on 13:[2730992, 2732598].
[Rank 35] Workload transfer approved. Starting to work on 21:[4292937, 4294543].
[Rank 56] Workload transfer approved. Starting to work on 25:[5073909, 5075515].
[Rank 58] Workload transfer approved. Starting to work on 26:[5269152, 5270758].
[Rank 19] Workload transfer approved. Starting to work on 27:[5464395, 5466001].
[Rank 34] Workload transfer approved. Starting to work on 36:[7221583, 7223189].
[Rank 7] Workload transfer approved. Starting to work on 39:[7807312, 7808918].
[Rank 47] Workload transfer approved. Starting to work on 40:[8002555, 8004161].
[Rank 3] Workload transfer approved. Starting to work on 45:[8978770, 8980376].
[Rank 29] Workload transfer approved. Starting to work on 48:[9564499, 9566105].
[Rank 4] Workload transfer approved. Starting to work on 50:[9954985, 9956591].
[Rank 11] Workload transfer approved. Starting to work on 53:[10540715, 10542321].
[Rank 12] Workload transfer approved. Starting to work on 62:[12297902, 12299508].
[Rank 52] Workload transfer approved. Starting to work on 63:[12493145, 12494751].
[Rank 8] Workload transfer approved. Starting to work on 65:[12883631, 12885237].
[Rank 38] Workload transfer approved. Starting to work on 67:[13274117, 13275723].
[Rank 5] Workload transfer approved. Starting to work on 68:[13469360, 13470966].
[Rank 23] Workload transfer approved. Starting to work on 24:[4880273, 4881075].
[Rank 32] Workload transfer approved. Starting to work on 25:[5075516, 5076318].
[Rank 9] Workload transfer approved. Starting to work on 36:[7223190, 7223992].
[Rank 28] Workload transfer approved. Starting to work on 37:[7418433, 7419235].
[Rank 21] Workload transfer approved. Starting to work on 40:[8004162, 8004964].
[Rank 46] Workload transfer approved. Starting to work on 42:[8394648, 8395450].
[Rank 60] Workload transfer approved. Starting to work on 43:[8589891, 8590693].
[Rank 16] Workload transfer approved. Starting to work on 45:[8980377, 8981179].
[Rank 43] Workload transfer approved. Starting to work on 48:[9566106, 9566908].
[Rank 24] Workload transfer approved. Starting to work on 50:[9956592, 9957394].
[Rank 39] Workload transfer approved. Starting to work on 53:[10542322, 10543124].
[Rank 31] Workload transfer approved. Starting to work on 54:[10737565, 10738367].
[Rank 20] Workload transfer approved. Starting to work on 61:[12104266, 12105068].
[Rank 33] Workload transfer approved. Starting to work on 62:[12299509, 12300311].
[Rank 0] Workload transfer approved. Starting to work on 63:[12494752, 12495554].
[Rank 17] Workload transfer approved. Starting to work on 65:[12885238, 12886040].
[Rank 50] Workload transfer approved. Starting to work on 66:[13080481, 13081283].
[Rank 10] Workload transfer approved. Starting to work on 67:[13275724, 13276526].
[Rank 57] Workload transfer approved. Starting to work on 68:[13470967, 13471769].
[Rank 37] Workload transfer approved. Starting to work on 69:[13666210, 13667012].
Wed Oct  4 00:50:35 2023: Removed ≈100% of redundant conclusions. [4146222 of approximately 4146222] (ETC: Wed Oct  4 00:50:35 2023 ; 0.00 ms remaining ; 4 h 24 min 43 s  56.97 ms total)
16019764.20 ms (4 h 26 min 59 s 764.20 ms) taken to detect 4149963 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 9907537 representative and 4149963 redundant condensed detachment proof strings.
[Copy] Removal count: { 69, 4149963 }
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0047.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0048.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0049.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0051.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0052.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0053.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0059.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0061.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0066.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0067.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0068.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0071.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0187.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0223.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0224.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0273.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0289.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0290.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0291.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0292.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0295.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0296.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0303.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0319.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0329.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0331.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0358.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0361.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0362.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0363.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0365.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0434.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0543.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 34 on "ncm0581.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 35 on "ncm0608.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 36 on "ncm0686.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 37 on "ncm0688.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 38 on "ncm0695.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 39 on "ncm0700.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 40 on "ncm0813.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 41 on "ncm0815.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 42 on "ncm0816.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 43 on "ncm0817.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 44 on "ncm0818.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 45 on "ncm0819.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 46 on "ncm0821.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 47 on "ncm0822.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 48 on "ncm0823.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 49 on "ncm0826.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 50 on "ncm0827.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 51 on "ncm0829.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 52 on "ncm0831.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 53 on "ncm0852.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 54 on "ncm0868.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 55 on "ncm0871.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 56 on "ncm0893.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 57 on "ncm0906.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 58 on "ncm0907.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 59 on "ncm0908.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 60 on "ncm0913.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 61 on "ncm0914.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 62 on "ncm0917.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 63 on "ncm0918.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 64 on "ncm0923.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 65 on "ncm0925.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 66 on "ncm0926.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 67 on "ncm0931.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 68 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 69 on "ncm0943.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 70 on "nrm095.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:52:50 2023: MPI-based D-proof representative filter complete. [rank 71 on "nrm110.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
2643.57 ms (2 s 643.57 ms) taken to filter and order new representative proofs.
Wed Oct  4 00:52:53 2023: Starting to write 9907537 entries to data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs69.txt.
4414.30 ms (4 s 414.31 ms) taken to print and save 1692424708 bytes of representative condensed detachment proof strings to data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/dProofs-withConclusions/dProofs69.txt.
Wed Oct  4 00:52:57 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0042.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 224770, tid:22746029840256]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 34756, tid:23056550401920]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 199613, tid:22671789750144]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 66213, tid:23442975520640]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 65215, tid:22412115502976]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 194848, tid:22617800103808]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 57510, tid:23282969962368]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 45644, tid:23368997373824]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 125156, tid:23386323244928]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 30163, tid:23318545971072]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 118536, tid:22577519261568]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 256145, tid:22915777537920]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 80641, tid:22567774619520]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 215599, tid:23067931207552]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 261435, tid:22834265982848]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 123060, tid:22568196167552]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 93239, tid:22731354855296]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 208732, tid:23001389356928]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 108193, tid:22413790889856]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 257245, tid:22765246326656]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 129472, tid:23406568269696]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 205333, tid:22595736196992]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 111830, tid:23371812579200]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 172171, tid:23445131659136]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 45708, tid:23062979012480]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 17085, tid:22942160689024]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 121205, tid:23024585508736]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 256160, tid:23378665895808]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 262853, tid:22832483870592]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 81455, tid:23255587047296]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 22588, tid:22762971637632]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 42079, tid:23426180986752]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 186742, tid:22807720855424]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 188866, tid:22647680620416]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 39106, tid:23155173898112]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 187257, tid:22524950103936]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 79400, tid:22762359388032]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 74866, tid:22657525016448]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 100729, tid:22965425825664]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 5477, tid:23156480112512]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 56470, tid:22991380019072]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 38431, tid:23396359849856]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 114006, tid:22533540722560]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 237897, tid:22715812775808]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 181815, tid:22851540309888]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 257447, tid:22627544450944]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 31640, tid:23045210990464]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 854, tid:23314525136768]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 172197, tid:23346406528896]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 214283, tid:22381840275328]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 205079, tid:23048199227264]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 45271, tid:22758842419072]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 117487, tid:23453289961344]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 175105, tid:23340321286016]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 259081, tid:23095486113664]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 34557, tid:23178998654848]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 208575, tid:23022123542400]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 148926, tid:22902064842624]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 112293, tid:23167268812672]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 276385, tid:23210322708352]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 93661, tid:23446323767168]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 250615, tid:22919670097792]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 186309, tid:23124466591616]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 51277, tid:22626331453312]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 54523, tid:23081195378560]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 88835, tid:22518085150592]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 206292, tid:22368956422016]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 127909, tid:22521702463360]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 256723, tid:22734411458432]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 275572, tid:23259003873152]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 247511, tid:22403330865024]
Wed Oct  4 00:53:19 2023: Process terminated. [pid: 44410, tid:23144736163712]