( 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.5363888… h
  CPU utilization: 15677.76 core-h )
Thu Oct 26 01:57:48 2023: Process started. [pid: 68007, tid:22991271417728]
Thu Oct 26 01:57:48 2023: Process started. [pid: 263340, tid:22818061211520]
Thu Oct 26 01:57:48 2023: Process started. [pid: 106095, tid:23367581599616]
Thu Oct 26 01:57:48 2023: Process started. [pid: 210016, tid:23253704656768]
Thu Oct 26 01:57:48 2023: Process started. [pid: 68877, tid:22646784231296]
Thu Oct 26 01:57:48 2023: Process started. [pid: 173340, tid:22921889216384]
Thu Oct 26 01:57:48 2023: Process started. [pid: 142899, tid:23359275906944]
Thu Oct 26 01:57:48 2023: Process started. [pid: 138121, tid:23338652710784]
Thu Oct 26 01:57:48 2023: Process started. [pid: 101646, tid:23344155387776]
Thu Oct 26 01:57:48 2023: Process started. [pid: 220466, tid:22866663085952]
Thu Oct 26 01:57:48 2023: Process started. [pid: 247774, tid:22535535667072]
Thu Oct 26 01:57:48 2023: Process started. [pid: 189795, tid:22617734305664]
Thu Oct 26 01:57:48 2023: Process started. [pid: 142497, tid:23100479846272]
Thu Oct 26 01:57:48 2023: Process started. [pid: 126486, tid:23294328223616]
Thu Oct 26 01:57:48 2023: Process started. [pid: 193472, tid:22837697488768]
Thu Oct 26 01:57:48 2023: Process started. [pid: 134980, tid:22899963705216]
Thu Oct 26 01:57:48 2023: Process started. [pid: 219235, tid:22544675284864]
Thu Oct 26 01:57:48 2023: Process started. [pid: 9472, tid:22740315715456]
Thu Oct 26 01:57:48 2023: Process started. [pid: 236735, tid:22804210558848]
Thu Oct 26 01:57:48 2023: Process started. [pid: 272272, tid:22622927632256]
Thu Oct 26 01:57:48 2023: Process started. [pid: 122928, tid:22794455787392]
Thu Oct 26 01:57:48 2023: Process started. [pid: 74760, tid:22416555890560]
Thu Oct 26 01:57:48 2023: Process started. [pid: 160285, tid:23212833605504]
Thu Oct 26 01:57:48 2023: Process started. [pid: 252424, tid:22949422512000]
Thu Oct 26 01:57:48 2023: Process started. [pid: 73243, tid:22897878497152]
Thu Oct 26 01:57:48 2023: Process started. [pid: 248883, tid:22574016706432]
Thu Oct 26 01:57:48 2023: Process started. [pid: 136128, tid:23139746207616]
Thu Oct 26 01:57:48 2023: Process started. [pid: 127516, tid:22678176614272]
Thu Oct 26 01:57:48 2023: Process started. [pid: 122253, tid:23447930304384]
Thu Oct 26 01:57:48 2023: Process started. [pid: 89130, tid:22430035412864]
Thu Oct 26 01:57:48 2023: Process started. [pid: 263102, tid:22903676991360]
Thu Oct 26 01:57:48 2023: Process started. [pid: 32208, tid:23430933501824]
Thu Oct 26 01:57:48 2023: Process started. [pid: 124239, tid:22913070016384]
Thu Oct 26 01:57:48 2023: Process started. [pid: 180118, tid:23272815679360]
Thu Oct 26 01:57:48 2023: Process started. [pid: 7676, tid:22790700914560]
Thu Oct 26 01:57:48 2023: Process started. [pid: 85304, tid:23230828136320]
Thu Oct 26 01:57:48 2023: Process started. [pid: 20942, tid:22669098956672]
Thu Oct 26 01:57:48 2023: Process started. [pid: 91809, tid:22538795763584]
Thu Oct 26 01:57:48 2023: Process started. [pid: 68117, tid:23097232701312]
Thu Oct 26 01:57:48 2023: Process started. [pid: 4210, tid:22788266534784]
Thu Oct 26 01:57:48 2023: Process started. [pid: 100578, tid:23071826868096]
Thu Oct 26 01:57:48 2023: Process started. [pid: 199423, tid:22931759556480]
Thu Oct 26 01:57:48 2023: Process started. [pid: 242613, tid:22639994500992]
Thu Oct 26 01:57:48 2023: Process started. [pid: 187671, tid:22955461396352]
Thu Oct 26 01:57:48 2023: Process started. [pid: 94541, tid:23163570894720]
Thu Oct 26 01:57:48 2023: Process started. [pid: 30113, tid:23272526681984]
Thu Oct 26 01:57:48 2023: Process started. [pid: 194419, tid:22651736090496]
Thu Oct 26 01:57:48 2023: Process started. [pid: 40837, tid:22849102509952]
Thu Oct 26 01:57:48 2023: Process started. [pid: 230773, tid:23090927490944]
Thu Oct 26 01:57:48 2023: Process started. [pid: 177605, tid:22405233870720]
Thu Oct 26 01:57:48 2023: Process started. [pid: 214134, tid:22992407422848]
Thu Oct 26 01:57:48 2023: Process started. [pid: 39263, tid:22864447866752]
Thu Oct 26 01:57:48 2023: Process started. [pid: 125449, tid:23174895732608]
Thu Oct 26 01:57:48 2023: Process started. [pid: 89319, tid:23396082284416]
Thu Oct 26 01:57:48 2023: Process started. [pid: 118552, tid:23308634453888]
Thu Oct 26 01:57:48 2023: Process started. [pid: 101809, tid:23227778332544]
Thu Oct 26 01:57:48 2023: Process started. [pid: 239960, tid:22749589129088]
Thu Oct 26 01:57:48 2023: Process started. [pid: 162137, tid:22469150226304]
Thu Oct 26 01:57:48 2023: Process started. [pid: 67228, tid:23441242589056]
Thu Oct 26 01:57:48 2023: Process started. [pid: 200415, tid:22494484617088]
Thu Oct 26 01:57:48 2023: Process started. [pid: 76711, tid:22830136625024]
Thu Oct 26 01:57:49 2023: Process started. [pid: 131096, tid:23260019668864]
Thu Oct 26 01:57:49 2023: Process started. [pid: 223371, tid:23262822520704]
Thu Oct 26 01:57:49 2023: Process started. [pid: 99588, tid:22921289164672]
Thu Oct 26 01:57:49 2023: Process started. [pid: 263322, tid:22971957892992]
Thu Oct 26 01:57:49 2023: Process started. [pid: 262670, tid:23221537273728]
Thu Oct 26 01:57:49 2023: Process started. [pid: 115298, tid:23228924712832]
Thu Oct 26 01:57:49 2023: Process started. [pid: 63043, tid:23443958491008]
Thu Oct 26 01:57:49 2023: Process started. [pid: 181308, tid:23182395070336]
Thu Oct 26 01:57:49 2023: Process started. [pid: 158536, tid:23077920933760]
Thu Oct 26 01:57:49 2023: Process started. [pid: 224440, tid:22703891937152]
Thu Oct 26 01:57:49 2023: Process started. [pid: 33541, tid:22698295703424]
Tasks:
1. resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true)
2. mpi_filterDProofRepresentativeFile(81, true)

[Rank 0 ; pid: 33541 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69]
(1) CCC0.1CCCN2N3.2.4CC4.0C3.0    -    CCCpqCCCNrNsrtCCtpCsp    -    ((0\imply1)\imply(((\not2\imply\not3)\imply2)\imply4))\imply((4\imply0)\imply(3\imply0))
[Rank 1 ; pid: 20942 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 2 ; pid: 101809 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 3 ; pid: 68007 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 4 ; pid: 162137 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 5 ; pid: 194419 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 6 ; pid: 263322 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 7 ; pid: 262670 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 8 ; pid: 124239 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 9 ; pid: 136128 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 10 ; pid: 199423 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 11 ; pid: 68877 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 12 ; pid: 122928 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 13 ; pid: 125449 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 14 ; pid: 187671 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 15 ; pid: 230773 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 16 ; pid: 242613 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 17 ; pid: 219235 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 18 ; pid: 158536 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 19 ; pid: 115298 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 20 ; pid: 4210 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 21 ; pid: 200415 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 22 ; pid: 7676 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 23 ; pid: 127516 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 24 ; pid: 126486 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 25 ; pid: 193472 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 26 ; pid: 89319 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 27 ; pid: 9472 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 28 ; pid: 263340 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 29 ; pid: 239960 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 30 ; pid: 32208 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 31 ; pid: 63043 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 32 ; pid: 131096 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 33 ; pid: 74760 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 34 ; pid: 67228 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 35 ; pid: 106095 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 36 ; pid: 73243 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 37 ; pid: 134980 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 38 ; pid: 91809 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 39 ; pid: 252424 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 40 ; pid: 76711 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 41 ; pid: 68117 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 42 ; pid: 142497 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 43 ; pid: 142899 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 44 ; pid: 214134 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 45 ; pid: 99588 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 46 ; pid: 100578 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 47 ; pid: 248883 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 48 ; pid: 122253 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 49 ; pid: 101646 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 50 ; pid: 210016 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 51 ; pid: 263102 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 52 ; pid: 247774 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 53 ; pid: 177605 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 54 ; pid: 89130 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 55 ; pid: 118552 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 56 ; pid: 138121 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 57 ; pid: 272272 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 58 ; pid: 173340 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 59 ; pid: 181308 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 60 ; pid: 220466 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 61 ; pid: 40837 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 62 ; pid: 160285 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 63 ; pid: 224440 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 64 ; pid: 223371 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 65 ; pid: 94541 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 66 ; pid: 180118 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 67 ; pid: 189795 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 68 ; pid: 39263 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 69 ; pid: 85304 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 70 ; pid: 236735 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 71 ; pid: 30113 ; 72 processes] Calling resetRepresentativesFor("CCCpqCCCNrNsrtCCtpCsp", true, 0, true), silently.
[Rank 0 ; pid: 33541 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 1 ; pid: 20942 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 2 ; pid: 101809 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 3 ; pid: 68007 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 4 ; pid: 162137 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 5 ; pid: 194419 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 6 ; pid: 263322 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 7 ; pid: 262670 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 8 ; pid: 124239 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 9 ; pid: 136128 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 10 ; pid: 199423 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 11 ; pid: 68877 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 12 ; pid: 122928 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 13 ; pid: 125449 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 14 ; pid: 187671 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 15 ; pid: 230773 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 16 ; pid: 242613 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 17 ; pid: 219235 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 18 ; pid: 158536 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 19 ; pid: 115298 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 20 ; pid: 4210 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 21 ; pid: 200415 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 22 ; pid: 7676 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 23 ; pid: 127516 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 24 ; pid: 126486 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 25 ; pid: 193472 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 26 ; pid: 89319 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 27 ; pid: 9472 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 28 ; pid: 263340 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 29 ; pid: 239960 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 30 ; pid: 32208 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 31 ; pid: 63043 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 32 ; pid: 131096 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 33 ; pid: 74760 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 34 ; pid: 67228 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 35 ; pid: 106095 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 36 ; pid: 73243 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 37 ; pid: 134980 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 38 ; pid: 91809 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 39 ; pid: 252424 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 40 ; pid: 76711 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 41 ; pid: 68117 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 42 ; pid: 142497 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 43 ; pid: 142899 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 44 ; pid: 214134 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 45 ; pid: 99588 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 46 ; pid: 100578 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 47 ; pid: 248883 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 48 ; pid: 122253 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 49 ; pid: 101646 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 50 ; pid: 210016 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 51 ; pid: 263102 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 52 ; pid: 247774 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 53 ; pid: 177605 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 54 ; pid: 89130 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 55 ; pid: 118552 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 56 ; pid: 138121 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 57 ; pid: 272272 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 58 ; pid: 173340 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 59 ; pid: 181308 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 60 ; pid: 220466 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 61 ; pid: 40837 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 62 ; pid: 160285 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 63 ; pid: 224440 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 64 ; pid: 223371 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 65 ; pid: 94541 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 66 ; pid: 180118 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 67 ; pid: 189795 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 68 ; pid: 39263 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 69 ; pid: 85304 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 70 ; pid: 236735 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
[Rank 71 ; pid: 30113 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(81, true).
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0113.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0138.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0142.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0191.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0193.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0215.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0258.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0259.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0265.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0275.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0280.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0295.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0297.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0313.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0318.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0325.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0329.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0330.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0334.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0336.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0337.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0338.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0349.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0369.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0400.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0415.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0418.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0420.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0421.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0426.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0479.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0500.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0729.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 34 on "ncm0730.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 35 on "ncm0731.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 36 on "ncm0735.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 37 on "ncm0737.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 38 on "ncm0742.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 39 on "ncm0745.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 40 on "ncm0750.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 41 on "ncm0755.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 42 on "ncm0757.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 43 on "ncm0796.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 44 on "ncm0799.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 45 on "ncm0833.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 46 on "ncm0853.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 47 on "ncm0855.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 48 on "ncm0856.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 49 on "ncm0857.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 50 on "ncm0865.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 51 on "ncm0868.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 52 on "ncm0874.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 53 on "ncm0876.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 54 on "ncm0878.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 55 on "ncm0882.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 56 on "ncm0917.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 57 on "ncm0924.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 58 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 59 on "ncm0944.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 60 on "ncm0951.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 61 on "ncm0952.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 62 on "ncm0955.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 63 on "ncm0956.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 64 on "ncm0957.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 65 on "ncm0958.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 66 on "nrm096.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 67 on "nrm097.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 68 on "nrm101.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 69 on "nrm102.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 70 on "nrm136.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 01:57:50 2023: MPI-based D-proof representative filter started. [rank 71 on "nrm137.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
0.02 ms taken to load initial representatives.
15.03 ms taken to read 1 condensed detachment proof and conclusion from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs3.txt. [tid:22698120546048]
16.34 ms taken to read 2 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs5.txt. [tid:22698118444800]
10.17 ms taken to read 3 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs7.txt. [tid:22698116343552]
20.69 ms taken to read 6 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs9.txt. [tid:22698114242304]
9.83 ms taken to read 7 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs11.txt. [tid:22698112141056]
13.33 ms taken to read 12 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs13.txt. [tid:22698110039808]
11.63 ms taken to read 15 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs15.txt. [tid:22698107938560]
25.17 ms taken to read 23 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs17.txt. [tid:22698105837312]
22.95 ms taken to read 36 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs19.txt. [tid:22698103736064]
11.54 ms taken to read 61 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs21.txt. [tid:22698101634816]
18.47 ms taken to read 99 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs23.txt. [tid:22698099533568]
20.88 ms taken to read 152 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs25.txt. [tid:22697358653184]
34.89 ms taken to read 214 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs27.txt. [tid:22697222334208]
25.16 ms taken to read 299 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs29.txt. [tid:22697356551936]
22.26 ms taken to read 400 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs31.txt. [tid:22697354450688]
31.98 ms taken to read 560 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs33.txt. [tid:22697352349440]
30.56 ms taken to read 797 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs35.txt. [tid:22697350248192]
26.94 ms taken to read 1162 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs37.txt. [tid:22697348146944]
49.00 ms taken to read 1706 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs39.txt. [tid:22697346045696]
45.99 ms taken to read 2502 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs41.txt. [tid:22697343944448]
49.86 ms taken to read 3673 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs43.txt. [tid:22697341843200]
50.00 ms taken to read 5333 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs45.txt. [tid:22697339741952]
90.02 ms taken to read 7756 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs47.txt. [tid:22697337640704]
121.38 ms taken to read 11285 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs49.txt. [tid:22697335539456]
376.06 ms taken to read 16457 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs51.txt. [tid:22697333438208]
193.00 ms taken to read 24156 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs53.txt. [tid:22697331336960]
330.09 ms taken to read 35569 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs55.txt. [tid:22697329235712]
488.79 ms taken to read 52769 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs57.txt. [tid:22697327134464]
944.29 ms taken to read 78319 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs59.txt. [tid:22697325033216]
1603.86 ms (1 s 603.86 ms) taken to read 116867 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs61.txt. [tid:22697322931968]
4114.00 ms (4 s 114.00 ms) taken to read 174207 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs63.txt. [tid:22697320830720]
9041.93 ms (9 s 41.93 ms) taken to read 260535 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs65.txt. [tid:22697318729472]
523.28 ms taken to read 389264 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs67.txt. [tid:22697316628224]
1005.67 ms (1 s 5.67 ms) taken to read 582969 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs69.txt. [tid:22697314526976]
1120.79 ms (1 s 120.80 ms) taken to read 872258 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs71.txt. [tid:22697312425728]
1800.03 ms (1 s 800.03 ms) taken to read 1307863 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs73.txt. [tid:22697310324480]
2086.57 ms (2 s 86.57 ms) taken to read 1959086 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs75.txt. [tid:22697308223232]
3929.44 ms (3 s 929.44 ms) taken to read 2940441 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs77.txt. [tid:22697306121984]
4623.77 ms (4 s 623.77 ms) taken to read 4409199 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs79.txt. [tid:22697304020736]
9093.98 ms (9 s 93.98 ms) total read duration.
Loaded 40 representative collections of sizes:
1 : 1
3 : 1
5 : 2
7 : 3
9 : 6
11 : 7
13 : 12
15 : 15
17 : 23
19 : 36
21 : 61
23 : 99
25 : 152
27 : 214
29 : 299
31 : 400
33 : 560
35 : 797
37 : 1162
39 : 1706
41 : 2502
43 : 3673
45 : 5333
47 : 7756
49 : 11285
51 : 16457
53 : 24156
55 : 35569
57 : 52769
59 : 78319
61 : 116867
63 : 174207
65 : 260535
67 : 389264
69 : 582969
71 : 872258
73 : 1307863
75 : 1959086
77 : 2940441
79 : 4409199
13256064 representatives in total.
9507.26 ms (9 s 507.26 ms) taken to read 15156761 condensed detachment proofs and conclusions from data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs81-unfiltered81+.txt. [tid:22697304020736]
9508.67 ms (9 s 508.67 ms) additional read duration.
Loaded 1 more representative collection of size:
81 : 15156761
28412825 representatives in total.
Thu Oct 26 01:58:10 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 8505041, based on entry 79:5681764 and last known pair (77:3795683, 79:5681764) with 5681764/3795683 ≈ 1.4969 and 5681764 * (5681764/3795683)^1 ≈ 8505041.69.
Thu Oct 26 01:58:11 2023: Inserted ≈ 5% of D-proof conclusions. [ 1420641 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 20 s 242.58 ms remaining ; 21 s 307.98 ms total)
Thu Oct 26 01:58:12 2023: Inserted ≈10% of D-proof conclusions. [ 2841282 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 18 s 984.82 ms remaining ; 21 s  94.24 ms total)
Thu Oct 26 01:58:13 2023: Inserted ≈15% of D-proof conclusions. [ 4261923 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 17 s 960.66 ms remaining ; 21 s 130.18 ms total)
Thu Oct 26 01:58:14 2023: Inserted ≈20% of D-proof conclusions. [ 5682565 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 17 s   7.34 ms remaining ; 21 s 259.18 ms total)
Thu Oct 26 01:58:15 2023: Inserted ≈25% of D-proof conclusions. [ 7103206 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 15 s 882.56 ms remaining ; 21 s 176.75 ms total)
Thu Oct 26 01:58:16 2023: Inserted ≈30% of D-proof conclusions. [ 8523847 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 15 s   1.34 ms remaining ; 21 s 430.49 ms total)
Thu Oct 26 01:58:18 2023: Inserted ≈35% of D-proof conclusions. [ 9944488 of 28412825] (ETC: Thu Oct 26 01:58:31 2023 ; 13 s 928.97 ms remaining ; 21 s 429.19 ms total)
Thu Oct 26 01:58:19 2023: Inserted ≈40% of D-proof conclusions. [11365130 of 28412825] (ETC: Thu Oct 26 01:58:32 2023 ; 12 s 965.54 ms remaining ; 21 s 609.24 ms total)
Thu Oct 26 01:58:20 2023: Inserted ≈45% of D-proof conclusions. [12785771 of 28412825] (ETC: Thu Oct 26 01:58:32 2023 ; 12 s  18.22 ms remaining ; 21 s 851.30 ms total)
Thu Oct 26 01:58:21 2023: Inserted ≈50% of D-proof conclusions. [14206412 of 28412825] (ETC: Thu Oct 26 01:58:32 2023 ; 11 s  24.12 ms remaining ; 22 s  48.24 ms total)
Thu Oct 26 01:58:22 2023: Inserted ≈55% of D-proof conclusions. [15627053 of 28412825] (ETC: Thu Oct 26 01:58:32 2023 ; 10 s  90.59 ms remaining ; 22 s 423.54 ms total)
Thu Oct 26 01:58:24 2023: Inserted ≈60% of D-proof conclusions. [17047695 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 9 s  60.41 ms remaining ; 22 s 651.02 ms total)
Thu Oct 26 01:58:25 2023: Inserted ≈65% of D-proof conclusions. [18468336 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 8 s  14.57 ms remaining ; 22 s 898.77 ms total)
Thu Oct 26 01:58:26 2023: Inserted ≈70% of D-proof conclusions. [19888977 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 6 s 920.22 ms remaining ; 23 s  67.39 ms total)
Thu Oct 26 01:58:27 2023: Inserted ≈75% of D-proof conclusions. [21309618 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 5 s 763.54 ms remaining ; 23 s  54.18 ms total)
Thu Oct 26 01:58:29 2023: Inserted ≈80% of D-proof conclusions. [22730260 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 4 s 628.73 ms remaining ; 23 s 143.66 ms total)
Thu Oct 26 01:58:30 2023: Inserted ≈85% of D-proof conclusions. [24150901 of 28412825] (ETC: Thu Oct 26 01:58:33 2023 ; 3 s 507.95 ms remaining ; 23 s 386.31 ms total)
Thu Oct 26 01:58:32 2023: Inserted ≈90% of D-proof conclusions. [25571542 of 28412825] (ETC: Thu Oct 26 01:58:34 2023 ; 2 s 395.30 ms remaining ; 23 s 952.98 ms total)
Thu Oct 26 01:58:33 2023: Inserted ≈95% of D-proof conclusions. [26992183 of 28412825] (ETC: Thu Oct 26 01:58:35 2023 ; 1 s 230.05 ms remaining ; 24 s 601.01 ms total)
Thu Oct 26 01:58:35 2023: Inserted 100% of D-proof conclusions. [28412825 of 28412825] (ETC: Thu Oct 26 01:58:35 2023 ; 0.00 ms remaining ; 25 s 291.92 ms total)
25292.00 ms (25 s 292.00 ms) total insertion duration.
Reservable workloads: { 0:[140340, 210509], 1:[350851, 421020], 2:[561361, 631530], 3:[771872, 842041], 4:[982382, 1052551], 5:[1192893, 1263062], 6:[1403403, 1473572], 7:[1613914, 1684083], 8:[1824425, 1894594], 9:[2034935, 2105104], 10:[2245446, 2315615], 11:[2455956, 2526125], 12:[2666467, 2736636], 13:[2876977, 2947146], 14:[3087488, 3157657], 15:[3297999, 3368168], 16:[3508509, 3578678], 17:[3719020, 3789189], 18:[3929530, 3999699], 19:[4140041, 4210210], 20:[4350551, 4420720], 21:[4561062, 4631231], 22:[4771573, 4841742], 23:[4982083, 5052252], 24:[5192594, 5262763], 25:[5403104, 5473273], 26:[5613615, 5683784], 27:[5824125, 5894294], 28:[6034636, 6104805], 29:[6245147, 6315316], 30:[6455657, 6525826], 31:[6666168, 6736337], 32:[6876678, 6946847], 33:[7087189, 7157358], 34:[7297699, 7367868], 35:[7508210, 7578379], 36:[7718721, 7788890], 37:[7929231, 7999400], 38:[8139742, 8209911], 39:[8350252, 8420421], 40:[8560763, 8630932], 41:[8771273, 8841442], 42:[8981784, 9051953], 43:[9192295, 9262464], 44:[9402805, 9472974], 45:[9613316, 9683485], 46:[9823826, 9893995], 47:[10034337, 10104506], 48:[10244847, 10315016], 49:[10455358, 10525527], 50:[10665869, 10736038], 51:[10876379, 10946548], 52:[11086890, 11157059], 53:[11297400, 11367569], 54:[11507911, 11578080], 55:[11718421, 11788590], 56:[11928932, 11999101], 57:[12139443, 12209612], 58:[12349953, 12420122], 59:[12560464, 12630633], 60:[12770974, 12841143], 61:[12981485, 13051654], 62:[13191995, 13262164], 63:[13402506, 13472675], 64:[13613017, 13683186], 65:[13823527, 13893696], 66:[14034038, 14104207], 67:[14244548, 14314717], 68:[14455059, 14525228], 69:[14665569, 14735738], 70:[14876080, 14946249], 71:[15086591, 15156760] }
Thu Oct 26 02:04:09 2023: Removed ≈  2% of redundant conclusions. [ 170100 of approximately 8505041] (ETC: Thu Oct 26 06:33:31 2023 ; 4 h 29 min 21 s 607.69 ms remaining ; 4 h 34 min 51 s 434.80 ms total)
Thu Oct 26 02:09:41 2023: Removed ≈  4% of redundant conclusions. [ 340201 of approximately 8505041] (ETC: Thu Oct 26 06:34:35 2023 ; 4 h 24 min 53 s 549.73 ms remaining ; 4 h 35 min 55 s 779.67 ms total)
Thu Oct 26 02:15:12 2023: Removed ≈  6% of redundant conclusions. [ 510302 of approximately 8505041] (ETC: Thu Oct 26 06:34:18 2023 ; 4 h 19 min  6 s 621.77 ms remaining ; 4 h 35 min 38 s 958.38 ms total)
Thu Oct 26 02:20:42 2023: Removed ≈  8% of redundant conclusions. [ 680403 of approximately 8505041] (ETC: Thu Oct 26 06:34:17 2023 ; 4 h 13 min 34 s 382.93 ms remaining ; 4 h 35 min 37 s 372.16 ms total)
Thu Oct 26 02:26:11 2023: Removed ≈ 10% of redundant conclusions. [ 850504 of approximately 8505041] (ETC: Thu Oct 26 06:33:59 2023 ; 4 h  7 min 48 s  40.34 ms remaining ; 4 h 35 min 20 s  44.61 ms total)
Thu Oct 26 02:31:38 2023: Removed ≈ 12% of redundant conclusions. [1020604 of approximately 8505041] (ETC: Thu Oct 26 06:33:30 2023 ; 4 h  1 min 51 s 504.77 ms remaining ; 4 h 34 min 50 s 344.30 ms total)
Thu Oct 26 02:37:05 2023: Removed ≈ 14% of redundant conclusions. [1190705 of approximately 8505041] (ETC: Thu Oct 26 06:33:10 2023 ; 3 h 56 min  4 s 867.84 ms remaining ; 4 h 34 min 30 s 774.89 ms total)
Thu Oct 26 02:42:30 2023: Removed ≈ 16% of redundant conclusions. [1360806 of approximately 8505041] (ETC: Thu Oct 26 06:32:38 2023 ; 3 h 50 min  8 s 862.45 ms remaining ; 4 h 33 min 59 s 120.68 ms total)
Thu Oct 26 02:47:54 2023: Removed ≈ 18% of redundant conclusions. [1530907 of approximately 8505041] (ETC: Thu Oct 26 06:32:15 2023 ; 3 h 44 min 20 s 756.26 ms remaining ; 4 h 33 min 35 s 555.52 ms total)
Thu Oct 26 02:53:17 2023: Removed ≈ 20% of redundant conclusions. [1701008 of approximately 8505041] (ETC: Thu Oct 26 06:31:48 2023 ; 3 h 38 min 31 s 197.57 ms remaining ; 4 h 33 min  8 s 996.49 ms total)
Thu Oct 26 02:58:41 2023: Removed ≈ 22% of redundant conclusions. [1871109 of approximately 8505041] (ETC: Thu Oct 26 06:31:31 2023 ; 3 h 32 min 49 s 742.20 ms remaining ; 4 h 32 min 51 s 464.31 ms total)
Thu Oct 26 03:04:02 2023: Removed ≈ 24% of redundant conclusions. [2041209 of approximately 8505041] (ETC: Thu Oct 26 06:31:03 2023 ; 3 h 27 min  1 s 591.28 ms remaining ; 4 h 32 min 24 s 196.93 ms total)
Thu Oct 26 03:09:24 2023: Removed ≈ 26% of redundant conclusions. [2211310 of approximately 8505041] (ETC: Thu Oct 26 06:30:44 2023 ; 3 h 21 min 20 s  59.59 ms remaining ; 4 h 32 min  4 s 403.14 ms total)
Thu Oct 26 03:14:44 2023: Removed ≈ 28% of redundant conclusions. [2381411 of approximately 8505041] (ETC: Thu Oct 26 06:30:24 2023 ; 3 h 15 min 39 s  75.66 ms remaining ; 4 h 31 min 44 s 270.47 ms total)
Thu Oct 26 03:20:05 2023: Removed ≈ 30% of redundant conclusions. [2551512 of approximately 8505041] (ETC: Thu Oct 26 06:30:04 2023 ; 3 h  9 min 59 s 511.76 ms remaining ; 4 h 31 min 25 s  15.97 ms total)
Thu Oct 26 03:25:23 2023: Removed ≈ 32% of redundant conclusions. [2721613 of approximately 8505041] (ETC: Thu Oct 26 06:29:42 2023 ; 3 h  4 min 18 s 343.75 ms remaining ; 4 h 31 min  2 s 269.88 ms total)
Thu Oct 26 03:30:40 2023: Removed ≈ 34% of redundant conclusions. [2891713 of approximately 8505041] (ETC: Thu Oct 26 06:29:18 2023 ; 2 h 58 min 37 s 462.35 ms remaining ; 4 h 30 min 38 s 576.60 ms total)
Thu Oct 26 03:35:55 2023: Removed ≈ 36% of redundant conclusions. [3061814 of approximately 8505041] (ETC: Thu Oct 26 06:28:51 2023 ; 2 h 52 min 55 s 375.91 ms remaining ; 4 h 30 min 11 s 522.59 ms total)
Thu Oct 26 03:41:11 2023: Removed ≈ 38% of redundant conclusions. [3231915 of approximately 8505041] (ETC: Thu Oct 26 06:28:28 2023 ; 2 h 47 min 17 s  79.73 ms remaining ; 4 h 29 min 48 s 836.50 ms total)
Thu Oct 26 03:46:25 2023: Removed ≈ 40% of redundant conclusions. [3402016 of approximately 8505041] (ETC: Thu Oct 26 06:28:04 2023 ; 2 h 41 min 38 s 709.52 ms remaining ; 4 h 29 min 24 s 514.60 ms total)
Thu Oct 26 03:51:41 2023: Removed ≈ 42% of redundant conclusions. [3572117 of approximately 8505041] (ETC: Thu Oct 26 06:27:47 2023 ; 2 h 36 min  5 s 764.53 ms remaining ; 4 h 29 min  7 s 869.16 ms total)
Thu Oct 26 03:56:55 2023: Removed ≈ 44% of redundant conclusions. [3742218 of approximately 8505041] (ETC: Thu Oct 26 06:27:27 2023 ; 2 h 30 min 31 s 517.44 ms remaining ; 4 h 28 min 47 s 709.57 ms total)
Thu Oct 26 04:02:10 2023: Removed ≈ 46% of redundant conclusions. [3912318 of approximately 8505041] (ETC: Thu Oct 26 06:27:10 2023 ; 2 h 24 min 59 s 602.25 ms remaining ; 4 h 28 min 30 s 371.52 ms total)
Thu Oct 26 04:07:25 2023: Removed ≈ 48% of redundant conclusions. [4082419 of approximately 8505041] (ETC: Thu Oct 26 06:26:55 2023 ; 2 h 19 min 29 s 568.97 ms remaining ; 4 h 28 min 15 s 322.46 ms total)
Thu Oct 26 04:12:41 2023: Removed ≈ 50% of redundant conclusions. [4252520 of approximately 8505041] (ETC: Thu Oct 26 06:26:42 2023 ; 2 h 14 min  1 s 590.76 ms remaining ; 4 h 28 min  3 s 179.63 ms total)
Thu Oct 26 04:17:58 2023: Removed ≈ 52% of redundant conclusions. [4422621 of approximately 8505041] (ETC: Thu Oct 26 06:26:34 2023 ; 2 h  8 min 35 s 640.56 ms remaining ; 4 h 27 min 54 s 249.92 ms total)
Thu Oct 26 04:23:14 2023: Removed ≈ 54% of redundant conclusions. [4592722 of approximately 8505041] (ETC: Thu Oct 26 06:26:24 2023 ; 2 h  3 min  9 s 553.88 ms remaining ; 4 h 27 min 44 s 247.00 ms total)
Thu Oct 26 04:28:31 2023: Removed ≈ 56% of redundant conclusions. [4762822 of approximately 8505041] (ETC: Thu Oct 26 06:26:16 2023 ; 1 h 57 min 45 s  89.45 ms remaining ; 4 h 27 min 37 s  17.36 ms total)
Thu Oct 26 04:33:49 2023: Removed ≈ 58% of redundant conclusions. [4932923 of approximately 8505041] (ETC: Thu Oct 26 06:26:10 2023 ; 1 h 52 min 21 s 207.69 ms remaining ; 4 h 27 min 30 s 491.00 ms total)
Thu Oct 26 04:39:04 2023: Removed ≈ 60% of redundant conclusions. [5103024 of approximately 8505041] (ETC: Thu Oct 26 06:26:01 2023 ; 1 h 46 min 56 s 639.69 ms remaining ; 4 h 27 min 21 s 596.40 ms total)
Thu Oct 26 04:44:21 2023: Removed ≈ 62% of redundant conclusions. [5273125 of approximately 8505041] (ETC: Thu Oct 26 06:25:54 2023 ; 1 h 41 min 33 s 113.31 ms remaining ; 4 h 27 min 14 s 506.62 ms total)
Thu Oct 26 04:49:37 2023: Removed ≈ 64% of redundant conclusions. [5443226 of approximately 8505041] (ETC: Thu Oct 26 06:25:47 2023 ; 1 h 36 min 10 s   7.06 ms remaining ; 4 h 27 min  7 s 796.14 ms total)
Thu Oct 26 04:54:56 2023: Removed ≈ 66% of redundant conclusions. [5613327 of approximately 8505041] (ETC: Thu Oct 26 06:25:45 2023 ; 1 h 30 min 48 s 646.43 ms remaining ; 4 h 27 min  5 s 430.36 ms total)
Thu Oct 26 05:00:19 2023: Removed ≈ 68% of redundant conclusions. [5783427 of approximately 8505041] (ETC: Thu Oct 26 06:25:48 2023 ; 1 h 25 min 29 s 119.81 ms remaining ; 4 h 27 min  8 s 494.22 ms total)
Thu Oct 26 05:05:31 2023: Removed ≈ 70% of redundant conclusions. [5953528 of approximately 8505041] (ETC: Thu Oct 26 06:25:35 2023 ; 1 h 20 min  4 s 846.55 ms remaining ; 4 h 26 min 56 s 150.77 ms total)
Thu Oct 26 05:10:40 2023: Removed ≈ 72% of redundant conclusions. [6123629 of approximately 8505041] (ETC: Thu Oct 26 06:25:20 2023 ; 1 h 14 min 40 s 205.24 ms remaining ; 4 h 26 min 40 s 729.51 ms total)
Thu Oct 26 05:15:50 2023: Removed ≈ 74% of redundant conclusions. [6293730 of approximately 8505041] (ETC: Thu Oct 26 06:25:06 2023 ; 1 h  9 min 16 s 634.14 ms remaining ; 4 h 26 min 27 s  51.92 ms total)
Thu Oct 26 05:21:01 2023: Removed ≈ 76% of redundant conclusions. [6463831 of approximately 8505041] (ETC: Thu Oct 26 06:24:55 2023 ; 1 h  3 min 54 s 164.95 ms remaining ; 4 h 26 min 15 s 686.04 ms total)
Thu Oct 26 05:26:12 2023: Removed ≈ 78% of redundant conclusions. [6633931 of approximately 8505041] (ETC: Thu Oct 26 06:24:44 2023 ; 58 min 32 s 306.31 ms remaining ; 4 h 26 min  5 s  20.31 ms total)
Thu Oct 26 05:31:24 2023: Removed ≈ 80% of redundant conclusions. [6804032 of approximately 8505041] (ETC: Thu Oct 26 06:24:35 2023 ; 53 min 11 s 209.52 ms remaining ; 4 h 25 min 56 s  40.08 ms total)
Thu Oct 26 05:36:36 2023: Removed ≈ 82% of redundant conclusions. [6974133 of approximately 8505041] (ETC: Thu Oct 26 06:24:26 2023 ; 47 min 50 s 400.41 ms remaining ; 4 h 25 min 46 s 662.49 ms total)
Thu Oct 26 05:41:48 2023: Removed ≈ 84% of redundant conclusions. [7144234 of approximately 8505041] (ETC: Thu Oct 26 06:24:19 2023 ; 42 min 30 s 331.41 ms remaining ; 4 h 25 min 39 s 566.16 ms total)
Thu Oct 26 05:47:01 2023: Removed ≈ 86% of redundant conclusions. [7314335 of approximately 8505041] (ETC: Thu Oct 26 06:24:12 2023 ; 37 min 10 s 575.47 ms remaining ; 4 h 25 min 32 s 678.42 ms total)
Thu Oct 26 05:52:16 2023: Removed ≈ 88% of redundant conclusions. [7484436 of approximately 8505041] (ETC: Thu Oct 26 06:24:07 2023 ; 31 min 51 s 379.07 ms remaining ; 4 h 25 min 28 s 157.66 ms total)
Thu Oct 26 05:57:34 2023: Removed ≈ 90% of redundant conclusions. [7654536 of approximately 8505041] (ETC: Thu Oct 26 06:24:06 2023 ; 26 min 32 s 699.28 ms remaining ; 4 h 25 min 26 s 975.98 ms total)
Thu Oct 26 06:02:44 2023: Removed ≈ 92% of redundant conclusions. [7824637 of approximately 8505041] (ETC: Thu Oct 26 06:23:58 2023 ; 21 min 13 s 462.63 ms remaining ; 4 h 25 min 18 s 266.01 ms total)
Thu Oct 26 06:07:53 2023: Removed ≈ 94% of redundant conclusions. [7994738 of approximately 8505041] (ETC: Thu Oct 26 06:23:48 2023 ; 15 min 54 s 498.24 ms remaining ; 4 h 25 min  8 s 287.20 ms total)
Thu Oct 26 06:13:00 2023: Removed ≈ 96% of redundant conclusions. [8164839 of approximately 8505041] (ETC: Thu Oct 26 06:23:36 2023 ; 10 min 35 s 876.15 ms remaining ; 4 h 24 min 56 s 887.07 ms total)
[Rank 15] Workload transfer approved. Starting to work on 12:[2728841, 2734038].
[Rank 68] Workload transfer approved. Starting to work on 16:[3570883, 3576080].
[Rank 11] Workload transfer approved. Starting to work on 20:[4412925, 4418122].
Thu Oct 26 06:18:13 2023: Removed ≈ 98% of redundant conclusions. [8334940 of approximately 8505041] (ETC: Thu Oct 26 06:23:31 2023 ; 5 min 17 s 830.66 ms remaining ; 4 h 24 min 51 s 516.10 ms total)
[Rank 62] Workload transfer approved. Starting to work on 22:[4833947, 4839144].
[Rank 23] Workload transfer approved. Starting to work on 29:[6307521, 6312718].
[Rank 69] Workload transfer approved. Starting to work on 33:[7149563, 7154760].
[Rank 4] Workload transfer approved. Starting to work on 43:[9254669, 9259866].
[Rank 66] Workload transfer approved. Starting to work on 45:[9675690, 9680887].
[Rank 52] Workload transfer approved. Starting to work on 49:[10517732, 10522929].
[Rank 31] Workload transfer approved. Starting to work on 56:[11991306, 11996503].
[Rank 34] Workload transfer approved. Starting to work on 64:[13675391, 13680588].
[Rank 8] Workload transfer approved. Starting to work on 70:[14938454, 14943651].
[Rank 26] Workload transfer approved. Starting to work on 0:[207912, 209643].
[Rank 9] Workload transfer approved. Starting to work on 3:[839444, 841175].
[Rank 63] Workload transfer approved. Starting to work on 5:[1260465, 1262196].
[Rank 13] Workload transfer approved. Starting to work on 7:[1681486, 1683217].
[Rank 1] Workload transfer approved. Starting to work on 12:[2734039, 2735770].
[Rank 41] Workload transfer approved. Starting to work on 14:[3155060, 3156791].
[Rank 42] Workload transfer approved. Starting to work on 19:[4207613, 4209344].
[Rank 53] Workload transfer approved. Starting to work on 20:[4418123, 4419854].
[Rank 2] Workload transfer approved. Starting to work on 22:[4839145, 4840876].
[Rank 10] Workload transfer approved. Starting to work on 24:[5260166, 5261897].
[Rank 18] Workload transfer approved. Starting to work on 29:[6312719, 6314450].
[Rank 47] Workload transfer approved. Starting to work on 30:[6523229, 6524960].
[Rank 46] Workload transfer approved. Starting to work on 32:[6944250, 6945981].
[Rank 27] Workload transfer approved. Starting to work on 35:[7575782, 7577513].
[Rank 7] Workload transfer approved. Starting to work on 37:[7996803, 7998534].
[Rank 14] Workload transfer approved. Starting to work on 38:[8207314, 8209045].
[Rank 57] Workload transfer approved. Starting to work on 43:[9259867, 9261598].
[Rank 28] Workload transfer approved. Starting to work on 51:[10943951, 10945682].
[Rank 26] Workload transfer approved. Starting to work on 56:[11996504, 11998235].
[Rank 3] Workload transfer approved. Starting to work on 58:[12417525, 12419256].
[Rank 9] Workload transfer approved. Starting to work on 59:[12628036, 12629767].
[Rank 6] Workload transfer approved. Starting to work on 61:[13049057, 13050788].
[Rank 63] Workload transfer approved. Starting to work on 64:[13680589, 13682320].
[Rank 1] Workload transfer approved. Starting to work on 71:[15154163, 15155894].
[Rank 33] Workload transfer approved. Starting to work on 12:[2735771, 2736636].
[Rank 42] Workload transfer approved. Starting to work on 17:[3788324, 3789189].
[Rank 17] Workload transfer approved. Starting to work on 20:[4419855, 4420720].
[Rank 65] Workload transfer approved. Starting to work on 22:[4840877, 4841742].
[Rank 40] Workload transfer approved. Starting to work on 25:[5472408, 5473273].
[Rank 13] Workload transfer approved. Starting to work on 30:[6524961, 6525826].
[Rank 53] Workload transfer approved. Starting to work on 37:[7998535, 7999400].
[Rank 19] Workload transfer approved. Starting to work on 38:[8209046, 8209911].
[Rank 2] Workload transfer approved. Starting to work on 39:[8419556, 8420421].
[Rank 24] Workload transfer approved. Starting to work on 43:[9261599, 9262464].
[Rank 41] Workload transfer approved. Starting to work on 44:[9472109, 9472974].
[Rank 29] Workload transfer approved. Starting to work on 48:[10314151, 10315016].
[Rank 11] Workload transfer approved. Starting to work on 49:[10524662, 10525527].
[Rank 10] Workload transfer approved. Starting to work on 56:[11998236, 11999101].
[Rank 16] Workload transfer approved. Starting to work on 58:[12419257, 12420122].
[Rank 68] Workload transfer approved. Starting to work on 59:[12629768, 12630633].
[Rank 36] Workload transfer approved. Starting to work on 60:[12840278, 12841143].
[Rank 30] Workload transfer approved. Starting to work on 61:[13050789, 13051654].
[Rank 55] Workload transfer approved. Starting to work on 64:[13682321, 13683186].
[Rank 59] Workload transfer approved. Starting to work on 67:[14313852, 14314717].
[Rank 35] Workload transfer approved. Starting to work on 70:[14945384, 14946249].
Thu Oct 26 06:23:32 2023: Removed ≈100% of redundant conclusions. [8505041 of approximately 8505041] (ETC: Thu Oct 26 06:23:32 2023 ; 0.00 ms remaining ; 4 h 24 min 52 s 312.72 ms total)
[Rank 32] Workload transfer approved. Starting to work on 71:[15155895, 15156760].
16254360.79 ms (4 h 30 min 54 s 360.80 ms) taken to detect 8533114 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 6623647 representative and 8533114 redundant condensed detachment proof strings.
[Copy] Removal count: { 81, 8533114 }
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0138.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0142.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0191.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0193.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0215.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0258.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0259.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0265.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0275.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0280.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0295.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0297.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0313.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0318.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0325.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0329.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0330.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0334.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0336.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0337.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0338.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0349.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0369.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0400.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0415.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0418.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0420.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0421.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0426.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0479.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0500.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0729.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 34 on "ncm0730.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 35 on "ncm0731.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 36 on "ncm0735.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 37 on "ncm0737.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 38 on "ncm0742.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 39 on "ncm0745.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 40 on "ncm0750.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 41 on "ncm0755.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 42 on "ncm0757.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 43 on "ncm0796.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 44 on "ncm0799.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 45 on "ncm0833.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 46 on "ncm0853.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 47 on "ncm0855.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 48 on "ncm0856.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 49 on "ncm0857.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 50 on "ncm0865.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 51 on "ncm0868.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 52 on "ncm0874.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 53 on "ncm0876.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 54 on "ncm0878.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 55 on "ncm0882.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 56 on "ncm0917.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 57 on "ncm0924.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 58 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 59 on "ncm0944.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 60 on "ncm0951.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 61 on "ncm0952.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 62 on "ncm0955.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 63 on "ncm0956.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 64 on "ncm0957.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 65 on "ncm0958.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 66 on "nrm096.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 67 on "nrm097.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 68 on "nrm101.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 69 on "nrm102.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 70 on "nrm136.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:31 2023: MPI-based D-proof representative filter complete. [rank 71 on "nrm137.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
1504.75 ms (1 s 504.75 ms) taken to filter and order new representative proofs.
Thu Oct 26 06:29:33 2023: Starting to write 6623647 entries to data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs81.txt.
4708.49 ms (4 s 708.49 ms) taken to print and save 1883180962 bytes of representative condensed detachment proof strings to data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/dProofs-withConclusions/dProofs81.txt.
Thu Oct 26 06:29:38 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0113.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 263322, tid:22971957892992]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 124239, tid:22913070016384]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 68877, tid:22646784231296]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 247774, tid:22535535667072]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 220466, tid:22866663085952]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 67228, tid:23441242589056]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 101809, tid:23227778332544]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 85304, tid:23230828136320]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 126486, tid:23294328223616]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 189795, tid:22617734305664]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 194419, tid:22651736090496]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 118552, tid:23308634453888]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 199423, tid:22931759556480]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 242613, tid:22639994500992]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 272272, tid:22622927632256]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 106095, tid:23367581599616]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 7676, tid:22790700914560]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 122928, tid:22794455787392]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 136128, tid:23139746207616]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 262670, tid:23221537273728]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 76711, tid:22830136625024]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 39263, tid:22864447866752]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 68007, tid:22991271417728]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 230773, tid:23090927490944]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 187671, tid:22955461396352]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 63043, tid:23443958491008]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 263340, tid:22818061211520]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 142497, tid:23100479846272]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 89319, tid:23396082284416]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 68117, tid:23097232701312]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 131096, tid:23260019668864]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 177605, tid:22405233870720]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 181308, tid:23182395070336]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 125449, tid:23174895732608]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 248883, tid:22574016706432]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 73243, tid:22897878497152]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 100578, tid:23071826868096]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 162137, tid:22469150226304]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 219235, tid:22544675284864]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 127516, tid:22678176614272]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 74760, tid:22416555890560]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 33541, tid:22698295703424]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 9472, tid:22740315715456]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 94541, tid:23163570894720]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 160285, tid:23212833605504]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 239960, tid:22749589129088]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 138121, tid:23338652710784]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 142899, tid:23359275906944]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 173340, tid:22921889216384]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 122253, tid:23447930304384]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 99588, tid:22921289164672]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 236735, tid:22804210558848]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 214134, tid:22992407422848]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 223371, tid:23262822520704]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 30113, tid:23272526681984]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 134980, tid:22899963705216]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 263102, tid:22903676991360]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 4210, tid:22788266534784]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 91809, tid:22538795763584]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 89130, tid:22430035412864]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 210016, tid:23253704656768]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 252424, tid:22949422512000]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 200415, tid:22494484617088]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 193472, tid:22837697488768]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 40837, tid:22849102509952]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 115298, tid:23228924712832]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 32208, tid:23430933501824]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 101646, tid:23344155387776]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 20942, tid:22669098956672]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 158536, tid:23077920933760]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 224440, tid:22703891937152]
Thu Oct 26 06:29:59 2023: Process terminated. [pid: 180118, tid:23272815679360]