dProofs61_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:    1.1308333… h
  CPU utilization: 3908.16 core-h )
Fri Oct 13 21:52:57 2023: Process started. [pid: 217355, tid:23155534264192]
Fri Oct 13 21:52:57 2023: Process started. [pid: 101933, tid:22624946579328]
Fri Oct 13 21:52:57 2023: Process started. [pid: 129935, tid:23453471090560]
Fri Oct 13 21:52:57 2023: Process started. [pid: 157713, tid:22571992119168]
Fri Oct 13 21:52:57 2023: Process started. [pid: 28328, tid:23049519294336]
Fri Oct 13 21:52:57 2023: Process started. [pid: 251379, tid:22901387675520]
Fri Oct 13 21:52:57 2023: Process started. [pid: 92152, tid:22472163731328]
Fri Oct 13 21:52:57 2023: Process started. [pid: 187549, tid:23209828120448]
Fri Oct 13 21:52:57 2023: Process started. [pid: 183090, tid:23166663923584]
Fri Oct 13 21:52:57 2023: Process started. [pid: 79708, tid:22465558603648]
Fri Oct 13 21:52:57 2023: Process started. [pid: 88270, tid:22971655001984]
Fri Oct 13 21:52:57 2023: Process started. [pid: 206109, tid:22966759077760]
Fri Oct 13 21:52:57 2023: Process started. [pid: 210204, tid:22650078291840]
Fri Oct 13 21:52:57 2023: Process started. [pid: 132404, tid:23282975868800]
Fri Oct 13 21:52:57 2023: Process started. [pid: 125164, tid:22823128487808]
Fri Oct 13 21:52:57 2023: Process started. [pid: 88770, tid:23436135372672]
Fri Oct 13 21:52:57 2023: Process started. [pid: 127628, tid:22810084886400]
Fri Oct 13 21:52:57 2023: Process started. [pid: 56884, tid:23394131859328]
Fri Oct 13 21:52:57 2023: Process started. [pid: 102622, tid:22959876654976]
Fri Oct 13 21:52:57 2023: Process started. [pid: 278124, tid:22925188478848]
Fri Oct 13 21:52:57 2023: Process started. [pid: 101688, tid:22894115858304]
Fri Oct 13 21:52:57 2023: Process started. [pid: 130053, tid:22937727694720]
Fri Oct 13 21:52:57 2023: Process started. [pid: 99061, tid:22602574661504]
Fri Oct 13 21:52:57 2023: Process started. [pid: 168063, tid:22787759490944]
Fri Oct 13 21:52:57 2023: Process started. [pid: 147054, tid:22808536156032]
Fri Oct 13 21:52:57 2023: Process started. [pid: 89847, tid:22776540292992]
Fri Oct 13 21:52:57 2023: Process started. [pid: 143694, tid:22586993334144]
Fri Oct 13 21:52:57 2023: Process started. [pid: 94063, tid:23016058197888]
Fri Oct 13 21:52:57 2023: Process started. [pid: 22137, tid:23000626722688]
Fri Oct 13 21:52:57 2023: Process started. [pid: 87002, tid:23430394713984]
Fri Oct 13 21:52:57 2023: Process started. [pid: 31154, tid:23442997172096]
Fri Oct 13 21:52:57 2023: Process started. [pid: 140093, tid:23451604281216]
Fri Oct 13 21:52:57 2023: Process started. [pid: 154524, tid:22481573218176]
Fri Oct 13 21:52:57 2023: Process started. [pid: 252129, tid:23104092059520]
Fri Oct 13 21:52:57 2023: Process started. [pid: 37683, tid:22538264758144]
Fri Oct 13 21:52:57 2023: Process started. [pid: 180681, tid:23263764330368]
Fri Oct 13 21:52:57 2023: Process started. [pid: 223419, tid:22536585111424]
Fri Oct 13 21:52:57 2023: Process started. [pid: 60332, tid:22743566727040]
Fri Oct 13 21:52:57 2023: Process started. [pid: 252377, tid:22673637164928]
Fri Oct 13 21:52:57 2023: Process started. [pid: 31577, tid:23433458653056]
Fri Oct 13 21:52:57 2023: Process started. [pid: 160893, tid:23435078625152]
Fri Oct 13 21:52:57 2023: Process started. [pid: 202645, tid:22891071825792]
Fri Oct 13 21:52:57 2023: Process started. [pid: 82971, tid:22723073165184]
Fri Oct 13 21:52:57 2023: Process started. [pid: 116335, tid:23197925652352]
Fri Oct 13 21:52:57 2023: Process started. [pid: 106464, tid:22769382520704]
Fri Oct 13 21:52:57 2023: Process started. [pid: 72527, tid:22557157377920]
Fri Oct 13 21:52:57 2023: Process started. [pid: 71322, tid:22854810703744]
Fri Oct 13 21:52:57 2023: Process started. [pid: 75045, tid:22697585518464]
Fri Oct 13 21:52:57 2023: Process started. [pid: 47992, tid:23182368782208]
Fri Oct 13 21:52:57 2023: Process started. [pid: 139418, tid:23139825756032]
Fri Oct 13 21:52:57 2023: Process started. [pid: 2262, tid:23395757913984]
Fri Oct 13 21:52:57 2023: Process started. [pid: 188535, tid:22568220587904]
Fri Oct 13 21:52:57 2023: Process started. [pid: 75183, tid:22919198816128]
Fri Oct 13 21:52:57 2023: Process started. [pid: 122522, tid:22468489992064]
Fri Oct 13 21:52:57 2023: Process started. [pid: 88383, tid:23403444115328]
Fri Oct 13 21:52:57 2023: Process started. [pid: 104755, tid:23099067008896]
Fri Oct 13 21:52:57 2023: Process started. [pid: 100472, tid:23151988004736]
Fri Oct 13 21:52:57 2023: Process started. [pid: 113845, tid:22606215821184]
Fri Oct 13 21:52:57 2023: Process started. [pid: 1226, tid:23262597588864]
Fri Oct 13 21:52:57 2023: Process started. [pid: 124879, tid:23230427912064]
Fri Oct 13 21:52:57 2023: Process started. [pid: 91844, tid:22554478540672]
Fri Oct 13 21:52:58 2023: Process started. [pid: 111436, tid:23096882366336]
Fri Oct 13 21:52:58 2023: Process started. [pid: 11673, tid:23051315300224]
Fri Oct 13 21:52:58 2023: Process started. [pid: 140166, tid:22641982031744]
Fri Oct 13 21:52:58 2023: Process started. [pid: 41922, tid:23251392534400]
Fri Oct 13 21:52:58 2023: Process started. [pid: 26707, tid:23332401477504]
Fri Oct 13 21:52:58 2023: Process started. [pid: 98520, tid:22746659858304]
Fri Oct 13 21:52:58 2023: Process started. [pid: 131494, tid:23407991547776]
Fri Oct 13 21:52:58 2023: Process started. [pid: 154143, tid:22878599550848]
Fri Oct 13 21:52:58 2023: Process started. [pid: 16097, tid:22545336657792]
Fri Oct 13 21:52:58 2023: Process started. [pid: 269000, tid:22404226996096]
Fri Oct 13 21:52:58 2023: Process started. [pid: 76872, tid:22971191392128]
Tasks:
1. resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true)
2. mpi_filterDProofRepresentativeFile(61, true)

[Rank 0 ; pid: 76872 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314]
(1) C0CCN1CCN2.3C0.4CC4.1C2.1    -    CpCCNqCCNrsCptCCtqCrq    -    0\imply((\not1\imply((\not2\imply3)\imply(0\imply4)))\imply((4\imply1)\imply(2\imply1)))
[Rank 1 ; pid: 251379 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 2 ; pid: 28328 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 3 ; pid: 157713 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 4 ; pid: 37683 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 5 ; pid: 252129 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 6 ; pid: 206109 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 7 ; pid: 147054 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 8 ; pid: 101933 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 9 ; pid: 210204 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 10 ; pid: 91844 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 11 ; pid: 98520 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 12 ; pid: 129935 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 13 ; pid: 106464 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 14 ; pid: 131494 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 15 ; pid: 99061 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 16 ; pid: 92152 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 17 ; pid: 1226 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 18 ; pid: 88770 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 19 ; pid: 104755 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 20 ; pid: 102622 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 21 ; pid: 56884 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 22 ; pid: 154143 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 23 ; pid: 89847 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 24 ; pid: 124879 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 25 ; pid: 160893 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 26 ; pid: 252377 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 27 ; pid: 111436 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 28 ; pid: 100472 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 29 ; pid: 71322 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 30 ; pid: 269000 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 31 ; pid: 16097 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 32 ; pid: 127628 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 33 ; pid: 79708 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 34 ; pid: 88383 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 35 ; pid: 72527 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 36 ; pid: 130053 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 37 ; pid: 31154 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 38 ; pid: 11673 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 39 ; pid: 2262 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 40 ; pid: 101688 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 41 ; pid: 132404 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 42 ; pid: 94063 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 43 ; pid: 87002 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 44 ; pid: 88270 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 45 ; pid: 116335 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 46 ; pid: 154524 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 47 ; pid: 180681 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 48 ; pid: 60332 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 49 ; pid: 122522 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 50 ; pid: 168063 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 51 ; pid: 22137 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 52 ; pid: 47992 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 53 ; pid: 140093 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 54 ; pid: 31577 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 55 ; pid: 75183 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 56 ; pid: 26707 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 57 ; pid: 41922 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 58 ; pid: 113845 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 59 ; pid: 75045 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 60 ; pid: 188535 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 61 ; pid: 217355 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 62 ; pid: 202645 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 63 ; pid: 140166 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 64 ; pid: 278124 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 65 ; pid: 187549 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 66 ; pid: 82971 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 67 ; pid: 183090 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 68 ; pid: 139418 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 69 ; pid: 143694 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 70 ; pid: 223419 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 71 ; pid: 125164 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently.
[Rank 0 ; pid: 76872 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 1 ; pid: 251379 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 2 ; pid: 28328 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 3 ; pid: 157713 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 4 ; pid: 37683 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 5 ; pid: 252129 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 6 ; pid: 206109 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 7 ; pid: 147054 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 8 ; pid: 101933 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 9 ; pid: 210204 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 10 ; pid: 91844 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 11 ; pid: 98520 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 12 ; pid: 129935 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 13 ; pid: 106464 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 14 ; pid: 131494 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 15 ; pid: 99061 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 16 ; pid: 92152 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 17 ; pid: 1226 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 18 ; pid: 88770 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 19 ; pid: 104755 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 20 ; pid: 102622 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 21 ; pid: 56884 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 22 ; pid: 154143 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 23 ; pid: 89847 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 24 ; pid: 124879 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 25 ; pid: 160893 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 26 ; pid: 252377 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 27 ; pid: 111436 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 28 ; pid: 100472 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 29 ; pid: 71322 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 30 ; pid: 269000 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 31 ; pid: 16097 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 32 ; pid: 127628 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 33 ; pid: 79708 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 34 ; pid: 88383 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 35 ; pid: 72527 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 36 ; pid: 130053 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 37 ; pid: 31154 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 38 ; pid: 11673 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 39 ; pid: 2262 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 40 ; pid: 101688 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 41 ; pid: 132404 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 42 ; pid: 94063 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 43 ; pid: 87002 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 44 ; pid: 88270 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 45 ; pid: 116335 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 46 ; pid: 154524 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 47 ; pid: 180681 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 48 ; pid: 60332 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 49 ; pid: 122522 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 50 ; pid: 168063 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 51 ; pid: 22137 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 52 ; pid: 47992 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 53 ; pid: 140093 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 54 ; pid: 31577 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 55 ; pid: 75183 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 56 ; pid: 26707 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 57 ; pid: 41922 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 58 ; pid: 113845 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 59 ; pid: 75045 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 60 ; pid: 188535 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 61 ; pid: 217355 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 62 ; pid: 202645 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 63 ; pid: 140166 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 64 ; pid: 278124 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 65 ; pid: 187549 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 66 ; pid: 82971 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 67 ; pid: 183090 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 68 ; pid: 139418 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 69 ; pid: 143694 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 70 ; pid: 223419 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
[Rank 71 ; pid: 125164 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(61, true).
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0016.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0018.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0035.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0084.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0160.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0173.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0176.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0178.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0179.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0185.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0190.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0192.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0194.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0205.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0378.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0379.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0389.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0391.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0392.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0397.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0399.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0406.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0427.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0430.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0439.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0513.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0519.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0571.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0594.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0601.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0602.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0693.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0694.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 34 on "ncm0700.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 35 on "ncm0704.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 36 on "ncm0707.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 37 on "ncm0717.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 38 on "ncm0718.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 39 on "ncm0721.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 40 on "ncm0800.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 41 on "ncm0802.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 42 on "ncm0803.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 43 on "ncm0827.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 44 on "ncm0830.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 45 on "ncm0832.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 46 on "ncm0837.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 47 on "ncm0840.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 48 on "ncm0850.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 49 on "ncm0853.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 50 on "ncm0855.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 51 on "ncm0866.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 52 on "ncm0872.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 53 on "ncm0927.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 54 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 55 on "ncm0965.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 56 on "ncm0970.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 57 on "ncm0972.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 58 on "ncm0973.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 59 on "ncm0975.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 60 on "nrm013.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 61 on "nrm018.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 62 on "nrm038.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 63 on "nrm071.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 64 on "nrm072.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 65 on "nrm099.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 66 on "nrm101.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 67 on "nrm132.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 68 on "nrm166.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 69 on "nrm171.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 70 on "nrm174.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 21:52:59 2023: MPI-based D-proof representative filter started. [rank 71 on "nrm184.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
0.01 ms taken to load initial representatives.
14.65 ms taken to read 1 condensed detachment proof and conclusion from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs3.txt. [tid:22971016234752]
20.54 ms taken to read 2 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs5.txt. [tid:22971014133504]
6.82 ms taken to read 4 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs7.txt. [tid:22971012032256]
24.04 ms taken to read 7 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs9.txt. [tid:22971009931008]
25.64 ms taken to read 14 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs11.txt. [tid:22971007829760]
13.98 ms taken to read 23 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs13.txt. [tid:22971005728512]
21.72 ms taken to read 42 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs15.txt. [tid:22971003627264]
19.86 ms taken to read 72 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs17.txt. [tid:22971001526016]
28.48 ms taken to read 119 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs19.txt. [tid:22970999424768]
9.33 ms taken to read 180 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs21.txt. [tid:22970997323520]
25.65 ms taken to read 296 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs23.txt. [tid:22970995222272]
190.59 ms taken to read 493 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs25.txt. [tid:22970993121024]
32.99 ms taken to read 809 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs27.txt. [tid:22970991019776]
35.58 ms taken to read 1330 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs29.txt. [tid:22970988918528]
84.20 ms taken to read 2190 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs31.txt. [tid:22970986817280]
55.40 ms taken to read 3606 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs33.txt. [tid:22970984716032]
79.08 ms taken to read 5925 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs35.txt. [tid:22970982614784]
119.93 ms taken to read 9738 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs37.txt. [tid:22970980513536]
168.48 ms taken to read 15948 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs39.txt. [tid:22970978412288]
338.67 ms taken to read 26109 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs41.txt. [tid:22970976311040]
529.82 ms taken to read 42844 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs43.txt. [tid:22970974209792]
1603.59 ms (1 s 603.59 ms) taken to read 70083 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs45.txt. [tid:22970972108544]
4412.79 ms (4 s 412.79 ms) taken to read 115027 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs47.txt. [tid:22970970007296]
463.58 ms taken to read 188519 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs49.txt. [tid:22970967906048]
1006.39 ms (1 s 6.39 ms) taken to read 308975 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs51.txt. [tid:22970965804800]
1456.51 ms (1 s 456.51 ms) taken to read 506415 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs53.txt. [tid:22970963703552]
1738.12 ms (1 s 738.12 ms) taken to read 830126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs55.txt. [tid:22969283770112]
2582.12 ms (2 s 582.12 ms) taken to read 1360461 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs57.txt. [tid:22969281668864]
3065.79 ms (3 s 65.78 ms) taken to read 2229126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs59.txt. [tid:22969279567616]
4449.88 ms (4 s 449.88 ms) total read duration.
Loaded 30 representative collections of sizes:
1 : 1
3 : 1
5 : 2
7 : 4
9 : 7
11 : 14
13 : 23
15 : 42
17 : 72
19 : 119
21 : 180
23 : 296
25 : 493
27 : 809
29 : 1330
31 : 2190
33 : 3606
35 : 5925
37 : 9738
39 : 15948
41 : 26109
43 : 42844
45 : 70083
47 : 115027
49 : 188519
51 : 308975
53 : 506415
55 : 830126
57 : 1360461
59 : 2229126
5718485 representatives in total.
5204.79 ms (5 s 204.79 ms) taken to read 5582813 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61-unfiltered61+.txt. [tid:22969279567616]
5247.11 ms (5 s 247.11 ms) additional read duration.
Loaded 1 more representative collection of size:
61 : 5582813
11301298 representatives in total.
Fri Oct 13 21:53:09 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 1932292, based on entry 59:1172935 and last known pair (57:711992, 59:1172935) with 1172935/711992 ≈ 1.6474 and 1172935 * (1172935/711992)^1 ≈ 1932292.10.
Fri Oct 13 21:53:10 2023: Inserted ≈ 5% of D-proof conclusions. [  565064 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 12 s 539.28 ms remaining ; 13 s 199.24 ms total)
Fri Oct 13 21:53:10 2023: Inserted ≈10% of D-proof conclusions. [ 1130129 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 11 s 172.00 ms remaining ; 12 s 413.33 ms total)
Fri Oct 13 21:53:11 2023: Inserted ≈15% of D-proof conclusions. [ 1695194 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 10 s 521.11 ms remaining ; 12 s 377.78 ms total)
Fri Oct 13 21:53:11 2023: Inserted ≈20% of D-proof conclusions. [ 2260259 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 9 s 915.01 ms remaining ; 12 s 393.76 ms total)
Fri Oct 13 21:53:12 2023: Inserted ≈25% of D-proof conclusions. [ 2825324 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 9 s 130.96 ms remaining ; 12 s 174.61 ms total)
Fri Oct 13 21:53:13 2023: Inserted ≈30% of D-proof conclusions. [ 3390389 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 8 s 767.01 ms remaining ; 12 s 524.30 ms total)
Fri Oct 13 21:53:13 2023: Inserted ≈35% of D-proof conclusions. [ 3955454 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 8 s 266.65 ms remaining ; 12 s 717.93 ms total)
Fri Oct 13 21:53:14 2023: Inserted ≈40% of D-proof conclusions. [ 4520519 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 7 s 808.31 ms remaining ; 13 s  13.85 ms total)
Fri Oct 13 21:53:15 2023: Inserted ≈45% of D-proof conclusions. [ 5085584 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 7 s 194.19 ms remaining ; 13 s  80.35 ms total)
Fri Oct 13 21:53:16 2023: Inserted ≈50% of D-proof conclusions. [ 5650649 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 6 s 733.57 ms remaining ; 13 s 467.13 ms total)
Fri Oct 13 21:53:16 2023: Inserted ≈55% of D-proof conclusions. [ 6215713 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 5 s 971.68 ms remaining ; 13 s 270.39 ms total)
Fri Oct 13 21:53:17 2023: Inserted ≈60% of D-proof conclusions. [ 6780778 of 11301298] (ETC: Fri Oct 13 21:53:22 2023 ; 5 s 113.30 ms remaining ; 12 s 783.25 ms total)
Fri Oct 13 21:53:17 2023: Inserted ≈65% of D-proof conclusions. [ 7345843 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 4 s 338.10 ms remaining ; 12 s 394.56 ms total)
Fri Oct 13 21:53:17 2023: Inserted ≈70% of D-proof conclusions. [ 7910908 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 3 s 620.22 ms remaining ; 12 s  67.39 ms total)
Fri Oct 13 21:53:18 2023: Inserted ≈75% of D-proof conclusions. [ 8475973 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 2 s 954.72 ms remaining ; 11 s 818.88 ms total)
Fri Oct 13 21:53:18 2023: Inserted ≈80% of D-proof conclusions. [ 9041038 of 11301298] (ETC: Fri Oct 13 21:53:21 2023 ; 2 s 303.97 ms remaining ; 11 s 519.87 ms total)
Fri Oct 13 21:53:19 2023: Inserted ≈85% of D-proof conclusions. [ 9606103 of 11301298] (ETC: Fri Oct 13 21:53:20 2023 ; 1 s 690.56 ms remaining ; 11 s 270.39 ms total)
Fri Oct 13 21:53:19 2023: Inserted ≈90% of D-proof conclusions. [10171168 of 11301298] (ETC: Fri Oct 13 21:53:20 2023 ; 1 s 104.97 ms remaining ; 11 s  49.67 ms total)
Fri Oct 13 21:53:19 2023: Inserted ≈95% of D-proof conclusions. [10736233 of 11301298] (ETC: Fri Oct 13 21:53:20 2023 ; 541.21 ms remaining ; 10 s 824.11 ms total)
Fri Oct 13 21:53:20 2023: Inserted 100% of D-proof conclusions. [11301298 of 11301298] (ETC: Fri Oct 13 21:53:20 2023 ; 0.00 ms remaining ; 10 s 760.47 ms total)
10760.56 ms (10 s 760.56 ms) total insertion duration.
Reservable workloads: { 0:[51693, 77538], 1:[129232, 155077], 2:[206771, 232616], 3:[284310, 310155], 4:[361849, 387694], 5:[439388, 465233], 6:[516927, 542772], 7:[594466, 620311], 8:[672005, 697850], 9:[749544, 775389], 10:[827083, 852928], 11:[904622, 930467], 12:[982161, 1008006], 13:[1059700, 1085545], 14:[1137240, 1163085], 15:[1214779, 1240624], 16:[1292318, 1318163], 17:[1369857, 1395702], 18:[1447396, 1473241], 19:[1524935, 1550780], 20:[1602474, 1628319], 21:[1680013, 1705858], 22:[1757552, 1783397], 23:[1835091, 1860936], 24:[1912630, 1938475], 25:[1990169, 2016014], 26:[2067708, 2093553], 27:[2145247, 2171092], 28:[2222787, 2248632], 29:[2300326, 2326171], 30:[2377865, 2403710], 31:[2455404, 2481249], 32:[2532943, 2558788], 33:[2610482, 2636327], 34:[2688021, 2713866], 35:[2765560, 2791405], 36:[2843099, 2868944], 37:[2920638, 2946483], 38:[2998177, 3024022], 39:[3075716, 3101561], 40:[3153255, 3179100], 41:[3230794, 3256639], 42:[3308333, 3334178], 43:[3385873, 3411718], 44:[3463412, 3489257], 45:[3540951, 3566796], 46:[3618490, 3644335], 47:[3696029, 3721874], 48:[3773568, 3799413], 49:[3851107, 3876952], 50:[3928646, 3954491], 51:[4006185, 4032030], 52:[4083724, 4109569], 53:[4161263, 4187108], 54:[4238802, 4264647], 55:[4316341, 4342186], 56:[4393880, 4419725], 57:[4471420, 4497265], 58:[4548959, 4574804], 59:[4626498, 4652343], 60:[4704037, 4729882], 61:[4781576, 4807421], 62:[4859115, 4884960], 63:[4936654, 4962499], 64:[5014193, 5040038], 65:[5091732, 5117577], 66:[5169271, 5195116], 67:[5246810, 5272655], 68:[5324349, 5350194], 69:[5401888, 5427733], 70:[5479427, 5505272], 71:[5556967, 5582812] }
Fri Oct 13 21:54:42 2023: Removed ≈  2% of redundant conclusions. [  38645 of approximately 1932292] (ETC: Fri Oct 13 23:01:42 2023 ; 1 h  6 min 59 s 869.67 ms remaining ; 1 h  8 min 21 s 906.01 ms total)
Fri Oct 13 21:56:03 2023: Removed ≈  4% of redundant conclusions. [  77291 of approximately 1932292] (ETC: Fri Oct 13 23:00:57 2023 ; 1 h  4 min 54 s 649.54 ms remaining ; 1 h  7 min 36 s 925.12 ms total)
Fri Oct 13 21:57:23 2023: Removed ≈  6% of redundant conclusions. [ 115937 of approximately 1932292] (ETC: Fri Oct 13 23:00:50 2023 ; 1 h  3 min 26 s 377.72 ms remaining ; 1 h  7 min 29 s 336.85 ms total)
Fri Oct 13 21:58:44 2023: Removed ≈  8% of redundant conclusions. [ 154583 of approximately 1932292] (ETC: Fri Oct 13 23:00:41 2023 ; 1 h  1 min 56 s 998.08 ms remaining ; 1 h  7 min 20 s 214.48 ms total)
Fri Oct 13 22:00:04 2023: Removed ≈ 10% of redundant conclusions. [ 193229 of approximately 1932292] (ETC: Fri Oct 13 23:00:33 2023 ; 1 h        29 s 185.15 ms remaining ; 1 h  7 min 12 s 427.48 ms total)
Fri Oct 13 22:01:24 2023: Removed ≈ 12% of redundant conclusions. [ 231875 of approximately 1932292] (ETC: Fri Oct 13 23:00:28 2023 ; 59 min  4 s  76.14 ms remaining ; 1 h  7 min  7 s 359.15 ms total)
Fri Oct 13 22:02:43 2023: Removed ≈ 14% of redundant conclusions. [ 270520 of approximately 1932292] (ETC: Fri Oct 13 23:00:22 2023 ; 57 min 38 s 827.56 ms remaining ; 1 h  7 min  1 s 890.38 ms total)
Fri Oct 13 22:04:04 2023: Removed ≈ 16% of redundant conclusions. [ 309166 of approximately 1932292] (ETC: Fri Oct 13 23:00:21 2023 ; 56 min 17 s  47.16 ms remaining ; 1 h  7 min      292.46 ms total)
Fri Oct 13 22:05:23 2023: Removed ≈ 18% of redundant conclusions. [ 347812 of approximately 1932292] (ETC: Fri Oct 13 23:00:15 2023 ; 54 min 52 s 222.44 ms remaining ; 1 h  6 min 54 s 903.99 ms total)
Fri Oct 13 22:06:43 2023: Removed ≈ 20% of redundant conclusions. [ 386458 of approximately 1932292] (ETC: Fri Oct 13 23:00:14 2023 ; 53 min 30 s 844.63 ms remaining ; 1 h  6 min 53 s 554.74 ms total)
Fri Oct 13 22:08:03 2023: Removed ≈ 22% of redundant conclusions. [ 425104 of approximately 1932292] (ETC: Fri Oct 13 23:00:12 2023 ; 52 min  8 s 768.72 ms remaining ; 1 h  6 min 51 s 241.31 ms total)
Fri Oct 13 22:09:22 2023: Removed ≈ 24% of redundant conclusions. [ 463750 of approximately 1932292] (ETC: Fri Oct 13 23:00:08 2023 ; 50 min 46 s  69.17 ms remaining ; 1 h  6 min 47 s 985.53 ms total)
Fri Oct 13 22:10:42 2023: Removed ≈ 26% of redundant conclusions. [ 502395 of approximately 1932292] (ETC: Fri Oct 13 23:00:08 2023 ; 49 min 25 s 639.95 ms remaining ; 1 h  6 min 47 s 618.97 ms total)
Fri Oct 13 22:12:03 2023: Removed ≈ 28% of redundant conclusions. [ 541041 of approximately 1932292] (ETC: Fri Oct 13 23:00:08 2023 ; 48 min  5 s 708.72 ms remaining ; 1 h  6 min 47 s 926.58 ms total)
Fri Oct 13 22:13:23 2023: Removed ≈ 30% of redundant conclusions. [ 579687 of approximately 1932292] (ETC: Fri Oct 13 23:00:08 2023 ; 46 min 45 s 542.37 ms remaining ; 1 h  6 min 47 s 915.89 ms total)
Fri Oct 13 22:14:42 2023: Removed ≈ 32% of redundant conclusions. [ 618333 of approximately 1932292] (ETC: Fri Oct 13 23:00:07 2023 ; 45 min 24 s 327.94 ms remaining ; 1 h  6 min 46 s 363.27 ms total)
Fri Oct 13 22:16:02 2023: Removed ≈ 34% of redundant conclusions. [ 656979 of approximately 1932292] (ETC: Fri Oct 13 23:00:06 2023 ; 44 min  4 s  42.95 ms remaining ; 1 h  6 min 46 s 124.80 ms total)
Fri Oct 13 22:17:22 2023: Removed ≈ 36% of redundant conclusions. [ 695625 of approximately 1932292] (ETC: Fri Oct 13 23:00:06 2023 ; 42 min 43 s 691.79 ms remaining ; 1 h  6 min 45 s 768.04 ms total)
Fri Oct 13 22:18:42 2023: Removed ≈ 38% of redundant conclusions. [ 734270 of approximately 1932292] (ETC: Fri Oct 13 23:00:05 2023 ; 41 min 23 s  37.14 ms remaining ; 1 h  6 min 44 s 895.40 ms total)
Fri Oct 13 22:20:02 2023: Removed ≈ 40% of redundant conclusions. [ 772916 of approximately 1932292] (ETC: Fri Oct 13 23:00:05 2023 ; 40 min  2 s 641.32 ms remaining ; 1 h  6 min 44 s 399.43 ms total)
Fri Oct 13 22:21:22 2023: Removed ≈ 42% of redundant conclusions. [ 811562 of approximately 1932292] (ETC: Fri Oct 13 23:00:03 2023 ; 38 min 41 s 693.10 ms remaining ; 1 h  6 min 42 s 916.84 ms total)
Fri Oct 13 22:22:41 2023: Removed ≈ 44% of redundant conclusions. [ 850208 of approximately 1932292] (ETC: Fri Oct 13 23:00:02 2023 ; 37 min 21 s 193.57 ms remaining ; 1 h  6 min 42 s 129.60 ms total)
Fri Oct 13 22:24:01 2023: Removed ≈ 46% of redundant conclusions. [ 888854 of approximately 1932292] (ETC: Fri Oct 13 23:00:03 2023 ; 36 min  1 s 295.66 ms remaining ; 1 h  6 min 42 s 398.15 ms total)
Fri Oct 13 22:25:21 2023: Removed ≈ 48% of redundant conclusions. [ 927500 of approximately 1932292] (ETC: Fri Oct 13 23:00:02 2023 ; 34 min 40 s 699.64 ms remaining ; 1 h  6 min 41 s 344.82 ms total)
Fri Oct 13 22:26:41 2023: Removed ≈ 50% of redundant conclusions. [ 966146 of approximately 1932292] (ETC: Fri Oct 13 23:00:02 2023 ; 33 min 20 s 646.08 ms remaining ; 1 h  6 min 41 s 292.16 ms total)
Fri Oct 13 22:28:00 2023: Removed ≈ 52% of redundant conclusions. [1004791 of approximately 1932292] (ETC: Fri Oct 13 23:00:00 2023 ; 31 min 59 s 909.91 ms remaining ; 1 h  6 min 39 s 808.69 ms total)
Fri Oct 13 22:29:21 2023: Removed ≈ 54% of redundant conclusions. [1043437 of approximately 1932292] (ETC: Fri Oct 13 23:00:01 2023 ; 30 min 40 s 459.74 ms remaining ; 1 h  6 min 40 s 996.38 ms total)
Fri Oct 13 22:30:40 2023: Removed ≈ 56% of redundant conclusions. [1082083 of approximately 1932292] (ETC: Fri Oct 13 23:00:00 2023 ; 29 min 19 s 841.97 ms remaining ; 1 h  6 min 39 s 638.39 ms total)
Fri Oct 13 22:32:00 2023: Removed ≈ 58% of redundant conclusions. [1120729 of approximately 1932292] (ETC: Fri Oct 13 23:00:00 2023 ; 27 min 59 s 740.75 ms remaining ; 1 h  6 min 39 s 380.97 ms total)
Fri Oct 13 22:33:19 2023: Removed ≈ 60% of redundant conclusions. [1159375 of approximately 1932292] (ETC: Fri Oct 13 22:59:59 2023 ; 26 min 39 s 352.55 ms remaining ; 1 h  6 min 38 s 380.34 ms total)
Fri Oct 13 22:34:39 2023: Removed ≈ 62% of redundant conclusions. [1198021 of approximately 1932292] (ETC: Fri Oct 13 22:59:58 2023 ; 25 min 19 s 290.28 ms remaining ; 1 h  6 min 38 s 132.09 ms total)
Fri Oct 13 22:35:59 2023: Removed ≈ 64% of redundant conclusions. [1236666 of approximately 1932292] (ETC: Fri Oct 13 22:59:58 2023 ; 23 min 59 s  51.00 ms remaining ; 1 h  6 min 37 s 358.84 ms total)
Fri Oct 13 22:37:20 2023: Removed ≈ 66% of redundant conclusions. [1275312 of approximately 1932292] (ETC: Fri Oct 13 23:00:00 2023 ; 22 min 39 s 881.45 ms remaining ; 1 h  6 min 39 s 646.94 ms total)
Fri Oct 13 22:38:44 2023: Removed ≈ 68% of redundant conclusions. [1313958 of approximately 1932292] (ETC: Fri Oct 13 23:00:06 2023 ; 21 min 21 s 762.91 ms remaining ; 1 h  6 min 45 s 505.47 ms total)
Fri Oct 13 22:40:03 2023: Removed ≈ 70% of redundant conclusions. [1352604 of approximately 1932292] (ETC: Fri Oct 13 23:00:04 2023 ; 20 min  1 s 225.75 ms remaining ; 1 h  6 min 44 s  83.09 ms total)
Fri Oct 13 22:41:20 2023: Removed ≈ 72% of redundant conclusions. [1391250 of approximately 1932292] (ETC: Fri Oct 13 23:00:00 2023 ; 18 min 39 s 816.55 ms remaining ; 1 h  6 min 39 s 343.03 ms total)
Fri Oct 13 22:42:38 2023: Removed ≈ 74% of redundant conclusions. [1429896 of approximately 1932292] (ETC: Fri Oct 13 22:59:57 2023 ; 17 min 19 s  88.60 ms remaining ; 1 h  6 min 36 s 493.98 ms total)
Fri Oct 13 22:43:55 2023: Removed ≈ 76% of redundant conclusions. [1468541 of approximately 1932292] (ETC: Fri Oct 13 22:59:53 2023 ; 15 min 58 s 218.40 ms remaining ; 1 h  6 min 32 s 568.74 ms total)
Fri Oct 13 22:45:12 2023: Removed ≈ 78% of redundant conclusions. [1507187 of approximately 1932292] (ETC: Fri Oct 13 22:59:50 2023 ; 14 min 37 s 733.60 ms remaining ; 1 h  6 min 29 s 691.03 ms total)
Fri Oct 13 22:46:30 2023: Removed ≈ 80% of redundant conclusions. [1545833 of approximately 1932292] (ETC: Fri Oct 13 22:59:47 2023 ; 13 min 17 s 315.14 ms remaining ; 1 h  6 min 26 s 569.54 ms total)
Fri Oct 13 22:47:47 2023: Removed ≈ 82% of redundant conclusions. [1584479 of approximately 1932292] (ETC: Fri Oct 13 22:59:44 2023 ; 11 min 57 s   5.30 ms remaining ; 1 h  6 min 23 s 357.73 ms total)
Fri Oct 13 22:49:04 2023: Removed ≈ 84% of redundant conclusions. [1623125 of approximately 1932292] (ETC: Fri Oct 13 22:59:41 2023 ; 10 min 36 s 977.08 ms remaining ; 1 h  6 min 21 s 103.16 ms total)
Fri Oct 13 22:50:22 2023: Removed ≈ 86% of redundant conclusions. [1661771 of approximately 1932292] (ETC: Fri Oct 13 22:59:39 2023 ; 9 min 17 s  74.02 ms remaining ; 1 h  6 min 19 s  98.36 ms total)
Fri Oct 13 22:51:42 2023: Removed ≈ 88% of redundant conclusions. [1700416 of approximately 1932292] (ETC: Fri Oct 13 22:59:40 2023 ; 7 min 57 s 551.43 ms remaining ; 1 h  6 min 19 s 578.75 ms total)
Fri Oct 13 22:53:03 2023: Removed ≈ 90% of redundant conclusions. [1739062 of approximately 1932292] (ETC: Fri Oct 13 22:59:41 2023 ; 6 min 38 s 108.81 ms remaining ; 1 h  6 min 21 s  71.66 ms total)
Fri Oct 13 22:54:22 2023: Removed ≈ 92% of redundant conclusions. [1777708 of approximately 1932292] (ETC: Fri Oct 13 22:59:41 2023 ; 5 min 18 s 431.01 ms remaining ; 1 h  6 min 20 s 371.14 ms total)
Fri Oct 13 22:55:40 2023: Removed ≈ 94% of redundant conclusions. [1816354 of approximately 1932292] (ETC: Fri Oct 13 22:59:39 2023 ; 3 min 58 s 726.26 ms remaining ; 1 h  6 min 18 s 754.47 ms total)
Fri Oct 13 22:57:01 2023: Removed ≈ 96% of redundant conclusions. [1855000 of approximately 1932292] (ETC: Fri Oct 13 22:59:41 2023 ; 2 min 39 s 213.56 ms remaining ; 1 h  6 min 20 s 322.66 ms total)
[Rank 46] Workload transfer approved. Starting to work on 1:[152207, 154120].
[Rank 29] Workload transfer approved. Starting to work on 4:[384824, 386737].
[Rank 66] Workload transfer approved. Starting to work on 8:[694980, 696893].
[Rank 9] Workload transfer approved. Starting to work on 10:[850058, 851971].
[Rank 1] Workload transfer approved. Starting to work on 14:[1160215, 1162128].
[Rank 27] Workload transfer approved. Starting to work on 20:[1625449, 1627362].
Fri Oct 13 22:58:25 2023: Removed ≈ 98% of redundant conclusions. [1893646 of approximately 1932292] (ETC: Fri Oct 13 22:59:44 2023 ; 1 min 19 s 682.19 ms remaining ; 1 h  6 min 24 s  93.03 ms total)
[Rank 22] Workload transfer approved. Starting to work on 34:[2710996, 2712909].
[Rank 12] Workload transfer approved. Starting to work on 52:[4106699, 4108612].
[Rank 13] Workload transfer approved. Starting to work on 56:[4416855, 4418768].
[Rank 53] Workload transfer approved. Starting to work on 57:[4494395, 4496308].
[Rank 65] Workload transfer approved. Starting to work on 61:[4804551, 4806464].
[Rank 23] Workload transfer approved. Starting to work on 64:[5037168, 5039081].
[Rank 45] Workload transfer approved. Starting to work on 0:[76582, 77538].
[Rank 15] Workload transfer approved. Starting to work on 2:[231660, 232616].
[Rank 46] Workload transfer approved. Starting to work on 3:[309199, 310155].
[Rank 69] Workload transfer approved. Starting to work on 4:[386738, 387694].
[Rank 31] Workload transfer approved. Starting to work on 7:[619355, 620311].
[Rank 2] Workload transfer approved. Starting to work on 10:[851972, 852928].
[Rank 3] Workload transfer approved. Starting to work on 17:[1394746, 1395702].
[Rank 21] Workload transfer approved. Starting to work on 18:[1472285, 1473241].
[Rank 0] Workload transfer approved. Starting to work on 20:[1627363, 1628319].
[Rank 36] Workload transfer approved. Starting to work on 24:[1937519, 1938475].
[Rank 71] Workload transfer approved. Starting to work on 25:[2015058, 2016014].
[Rank 48] Workload transfer approved. Starting to work on 26:[2092597, 2093553].
[Rank 16] Workload transfer approved. Starting to work on 32:[2557832, 2558788].
[Rank 59] Workload transfer approved. Starting to work on 34:[2712910, 2713866].
[Rank 28] Workload transfer approved. Starting to work on 37:[2945527, 2946483].
[Rank 10] Workload transfer approved. Starting to work on 38:[3023066, 3024022].
[Rank 6] Workload transfer approved. Starting to work on 43:[3410762, 3411718].
[Rank 24] Workload transfer approved. Starting to work on 50:[3953535, 3954491].
[Rank 20] Workload transfer approved. Starting to work on 55:[4341230, 4342186].
[Rank 33] Workload transfer approved. Starting to work on 56:[4418769, 4419725].
[Rank 55] Workload transfer approved. Starting to work on 57:[4496309, 4497265].
[Rank 38] Workload transfer approved. Starting to work on 61:[4806465, 4807421].
[Rank 42] Workload transfer approved. Starting to work on 62:[4884004, 4884960].
[Rank 11] Workload transfer approved. Starting to work on 63:[4961543, 4962499].
[Rank 49] Workload transfer approved. Starting to work on 64:[5039082, 5040038].
[Rank 54] Workload transfer approved. Starting to work on 70:[5504316, 5505272].
4027596.93 ms (1 h 7 min 7 s 596.93 ms) taken to detect 1930622 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 3652191 representative and 1930622 redundant condensed detachment proof strings.
[Copy] Removal count: { 61, 1930622 }
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0018.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0035.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0084.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0160.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0173.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0176.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0178.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0179.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0185.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0190.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0192.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0194.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0205.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0378.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0379.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0389.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0391.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0392.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0397.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0399.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0406.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0427.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0430.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0439.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0513.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0519.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0571.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0594.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0601.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0602.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0693.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0694.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 34 on "ncm0700.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 35 on "ncm0704.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 36 on "ncm0707.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 37 on "ncm0717.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 38 on "ncm0718.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 39 on "ncm0721.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 40 on "ncm0800.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 41 on "ncm0802.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 42 on "ncm0803.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 43 on "ncm0827.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 44 on "ncm0830.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 45 on "ncm0832.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 46 on "ncm0837.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 47 on "ncm0840.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 48 on "ncm0850.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 49 on "ncm0853.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 50 on "ncm0855.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 51 on "ncm0866.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 52 on "ncm0872.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 53 on "ncm0927.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 54 on "ncm0932.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 55 on "ncm0965.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 56 on "ncm0970.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 57 on "ncm0972.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 58 on "ncm0973.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 59 on "ncm0975.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 60 on "nrm013.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 61 on "nrm018.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 62 on "nrm038.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 63 on "nrm071.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 64 on "nrm072.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 65 on "nrm099.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 66 on "nrm101.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:28 2023: MPI-based D-proof representative filter complete. [rank 67 on "nrm132.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 68 on "nrm166.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 69 on "nrm171.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 70 on "nrm174.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:27 2023: MPI-based D-proof representative filter complete. [rank 71 on "nrm184.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
4778.70 ms (4 s 778.70 ms) taken to filter and order new representative proofs.
Fri Oct 13 23:00:32 2023: Starting to write 3652191 entries to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt.
4473.48 ms (4 s 473.48 ms) taken to print and save 1786902420 bytes of representative condensed detachment proof strings to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt.
Fri Oct 13 23:00:37 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0016.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 56884, tid:23394131859328]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 183090, tid:23166663923584]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 79708, tid:22465558603648]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 82971, tid:22723073165184]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 2262, tid:23395757913984]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 91844, tid:22554478540672]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 125164, tid:22823128487808]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 269000, tid:22404226996096]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 131494, tid:23407991547776]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 26707, tid:23332401477504]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 147054, tid:22808536156032]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 101688, tid:22894115858304]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 139418, tid:23139825756032]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 251379, tid:22901387675520]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 22137, tid:23000626722688]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 252377, tid:22673637164928]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 180681, tid:23263764330368]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 206109, tid:22966759077760]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 75045, tid:22697585518464]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 92152, tid:22472163731328]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 111436, tid:23096882366336]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 154524, tid:22481573218176]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 113845, tid:22606215821184]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 72527, tid:22557157377920]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 99061, tid:22602574661504]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 41922, tid:23251392534400]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 31154, tid:23442997172096]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 116335, tid:23197925652352]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 160893, tid:23435078625152]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 87002, tid:23430394713984]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 122522, tid:22468489992064]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 88770, tid:23436135372672]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 143694, tid:22586993334144]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 130053, tid:22937727694720]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 217355, tid:23155534264192]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 157713, tid:22571992119168]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 252129, tid:23104092059520]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 202645, tid:22891071825792]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 102622, tid:22959876654976]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 75183, tid:22919198816128]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 129935, tid:23453471090560]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 223419, tid:22536585111424]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 28328, tid:23049519294336]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 168063, tid:22787759490944]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 210204, tid:22650078291840]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 124879, tid:23230427912064]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 47992, tid:23182368782208]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 278124, tid:22925188478848]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 71322, tid:22854810703744]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 94063, tid:23016058197888]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 101933, tid:22624946579328]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 11673, tid:23051315300224]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 127628, tid:22810084886400]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 154143, tid:22878599550848]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 104755, tid:23099067008896]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 140093, tid:23451604281216]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 89847, tid:22776540292992]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 37683, tid:22538264758144]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 1226, tid:23262597588864]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 88383, tid:23403444115328]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 132404, tid:23282975868800]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 76872, tid:22971191392128]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 106464, tid:22769382520704]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 31577, tid:23433458653056]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 16097, tid:22545336657792]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 140166, tid:22641982031744]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 187549, tid:23209828120448]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 100472, tid:23151988004736]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 88270, tid:22971655001984]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 98520, tid:22746659858304]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 60332, tid:22743566727040]
Fri Oct 13 23:00:48 2023: Process terminated. [pid: 188535, tid:22568220587904]