( 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:     5.4541666… h
  CPU utilization: 18849.6 core-h )
Tue Oct 24 08:01:31 2023: Process started. [pid: 94937, tid:23135972018048]
Tue Oct 24 08:01:31 2023: Process started. [pid: 1565, tid:22508646909824]
Tue Oct 24 08:01:31 2023: Process started. [pid: 207150, tid:22376491927424]
Tue Oct 24 08:01:31 2023: Process started. [pid: 163611, tid:23082431608704]
Tue Oct 24 08:01:31 2023: Process started. [pid: 275040, tid:22772759230336]
Tue Oct 24 08:01:31 2023: Process started. [pid: 189427, tid:23327519033216]
Tue Oct 24 08:01:31 2023: Process started. [pid: 43227, tid:23279733995392]
Tue Oct 24 08:01:31 2023: Process started. [pid: 260328, tid:22609707825024]
Tue Oct 24 08:01:31 2023: Process started. [pid: 191397, tid:22904244860800]
Tue Oct 24 08:01:31 2023: Process started. [pid: 64194, tid:22707639048064]
Tue Oct 24 08:01:31 2023: Process started. [pid: 128652, tid:22614232086400]
Tue Oct 24 08:01:31 2023: Process started. [pid: 177917, tid:23454773991296]
Tue Oct 24 08:01:31 2023: Process started. [pid: 159355, tid:23347582400384]
Tue Oct 24 08:01:31 2023: Process started. [pid: 231379, tid:22387273435008]
Tue Oct 24 08:01:31 2023: Process started. [pid: 9424, tid:22509953050496]
Tue Oct 24 08:01:31 2023: Process started. [pid: 51386, tid:23183161538432]
Tue Oct 24 08:01:31 2023: Process started. [pid: 191529, tid:23262784210816]
Tue Oct 24 08:01:31 2023: Process started. [pid: 196196, tid:22989356865408]
Tue Oct 24 08:01:31 2023: Process started. [pid: 158617, tid:23171941775232]
Tue Oct 24 08:01:31 2023: Process started. [pid: 33341, tid:22912020805504]
Tue Oct 24 08:01:31 2023: Process started. [pid: 158911, tid:22887605462912]
Tue Oct 24 08:01:32 2023: Process started. [pid: 103037, tid:22724150536064]
Tue Oct 24 08:01:32 2023: Process started. [pid: 123922, tid:22649143007104]
Tue Oct 24 08:01:32 2023: Process started. [pid: 126844, tid:22398644787072]
Tue Oct 24 08:01:32 2023: Process started. [pid: 90493, tid:22806145283968]
Tue Oct 24 08:01:32 2023: Process started. [pid: 25398, tid:22471537436544]
Tue Oct 24 08:01:32 2023: Process started. [pid: 52589, tid:22577652713344]
Tue Oct 24 08:01:32 2023: Process started. [pid: 80807, tid:23321609742208]
Tue Oct 24 08:01:32 2023: Process started. [pid: 137794, tid:22361479313280]
Tue Oct 24 08:01:32 2023: Process started. [pid: 156189, tid:23148531771264]
Tue Oct 24 08:01:32 2023: Process started. [pid: 233386, tid:22727006283648]
Tue Oct 24 08:01:32 2023: Process started. [pid: 59459, tid:23227052480384]
Tue Oct 24 08:01:32 2023: Process started. [pid: 113082, tid:22460337375104]
Tue Oct 24 08:01:32 2023: Process started. [pid: 104706, tid:22624922347392]
Tue Oct 24 08:01:32 2023: Process started. [pid: 51310, tid:23008741799808]
Tue Oct 24 08:01:32 2023: Process started. [pid: 19878, tid:23246385641344]
Tue Oct 24 08:01:32 2023: Process started. [pid: 88994, tid:23336320849792]
Tue Oct 24 08:01:32 2023: Process started. [pid: 25951, tid:23034550687616]
Tue Oct 24 08:01:32 2023: Process started. [pid: 81578, tid:23430283880320]
Tue Oct 24 08:01:32 2023: Process started. [pid: 61386, tid:23439176214400]
Tue Oct 24 08:01:32 2023: Process started. [pid: 212083, tid:23056301131648]
Tue Oct 24 08:01:32 2023: Process started. [pid: 107475, tid:23344284878720]
Tue Oct 24 08:01:32 2023: Process started. [pid: 6254, tid:22548500273024]
Tue Oct 24 08:01:32 2023: Process started. [pid: 270857, tid:23319749416832]
Tue Oct 24 08:01:32 2023: Process started. [pid: 80622, tid:22616145307520]
Tue Oct 24 08:01:32 2023: Process started. [pid: 265853, tid:22808281859968]
Tue Oct 24 08:01:32 2023: Process started. [pid: 135845, tid:23085680453504]
Tue Oct 24 08:01:32 2023: Process started. [pid: 175456, tid:22692198520704]
Tue Oct 24 08:01:32 2023: Process started. [pid: 259264, tid:22743461906304]
Tue Oct 24 08:01:32 2023: Process started. [pid: 100431, tid:22772480321408]
Tue Oct 24 08:01:32 2023: Process started. [pid: 110185, tid:22979052869504]
Tue Oct 24 08:01:32 2023: Process started. [pid: 201183, tid:23017824962432]
Tue Oct 24 08:01:32 2023: Process started. [pid: 232769, tid:23310335317888]
Tue Oct 24 08:01:32 2023: Process started. [pid: 110385, tid:22425177708416]
Tue Oct 24 08:01:32 2023: Process started. [pid: 45973, tid:22905189156736]
Tue Oct 24 08:01:32 2023: Process started. [pid: 13439, tid:22454788224896]
Tue Oct 24 08:01:32 2023: Process started. [pid: 141549, tid:22705058469760]
Tue Oct 24 08:01:32 2023: Process started. [pid: 63658, tid:22497528031104]
Tue Oct 24 08:01:32 2023: Process started. [pid: 163617, tid:23156552238976]
Tue Oct 24 08:01:32 2023: Process started. [pid: 240606, tid:22829120509824]
Tue Oct 24 08:01:32 2023: Process started. [pid: 108421, tid:22519919179648]
Tue Oct 24 08:01:32 2023: Process started. [pid: 77837, tid:23326494545792]
Tue Oct 24 08:01:32 2023: Process started. [pid: 29800, tid:22541982779264]
Tue Oct 24 08:01:32 2023: Process started. [pid: 62990, tid:23121129555840]
Tue Oct 24 08:01:32 2023: Process started. [pid: 197439, tid:22435142461312]
Tue Oct 24 08:01:32 2023: Process started. [pid: 148778, tid:22766483822464]
Tue Oct 24 08:01:32 2023: Process started. [pid: 26882, tid:22371446601600]
Tue Oct 24 08:01:32 2023: Process started. [pid: 82794, tid:22437795764096]
Tue Oct 24 08:01:32 2023: Process started. [pid: 168796, tid:22920153266048]
Tue Oct 24 08:01:32 2023: Process started. [pid: 7760, tid:22950467237760]
Tue Oct 24 08:01:32 2023: Process started. [pid: 219674, tid:22880249407360]
Tue Oct 24 08:01:32 2023: Process started. [pid: 107861, tid:23362827954048]
Tasks:
1. resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true)
2. mpi_filterDProofRepresentativeFile(51, true)

[Rank 0 ; pid: 107861 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true).
Loaded 1 custom axioms. [SHA-512/224 hash: 1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72]
(1) CC0.1CCC2C3.4C1CN3N0C0.3    -    CCpqCCCrCstCqCNsNpCps    -    (0\imply1)\imply(((2\imply(3\imply4))\imply(1\imply(\not3\imply\not0)))\imply(0\imply3))
[Rank 1 ; pid: 191529 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 2 ; pid: 168796 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 3 ; pid: 270857 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 4 ; pid: 207150 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 5 ; pid: 219674 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 6 ; pid: 59459 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 7 ; pid: 1565 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 8 ; pid: 52589 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 9 ; pid: 77837 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 10 ; pid: 177917 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 11 ; pid: 196196 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 12 ; pid: 113082 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 13 ; pid: 232769 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 14 ; pid: 29800 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 15 ; pid: 231379 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 16 ; pid: 212083 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 17 ; pid: 240606 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 18 ; pid: 158617 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 19 ; pid: 137794 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 20 ; pid: 191397 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 21 ; pid: 62990 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 22 ; pid: 158911 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 23 ; pid: 135845 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 24 ; pid: 9424 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 25 ; pid: 159355 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 26 ; pid: 64194 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 27 ; pid: 63658 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 28 ; pid: 43227 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 29 ; pid: 260328 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 30 ; pid: 13439 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 31 ; pid: 25398 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 32 ; pid: 189427 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 33 ; pid: 126844 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 34 ; pid: 80807 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 35 ; pid: 163611 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 36 ; pid: 90493 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 37 ; pid: 51386 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 38 ; pid: 275040 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 39 ; pid: 108421 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 40 ; pid: 233386 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 41 ; pid: 82794 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 42 ; pid: 128652 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 43 ; pid: 7760 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 44 ; pid: 33341 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 45 ; pid: 94937 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 46 ; pid: 61386 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 47 ; pid: 51310 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 48 ; pid: 110185 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 49 ; pid: 80622 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 50 ; pid: 156189 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 51 ; pid: 163617 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 52 ; pid: 259264 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 53 ; pid: 110385 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 54 ; pid: 19878 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 55 ; pid: 88994 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 56 ; pid: 141549 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 57 ; pid: 148778 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 58 ; pid: 6254 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 59 ; pid: 201183 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 60 ; pid: 107475 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 61 ; pid: 175456 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 62 ; pid: 104706 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 63 ; pid: 103037 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 64 ; pid: 123922 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 65 ; pid: 25951 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 66 ; pid: 100431 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 67 ; pid: 45973 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 68 ; pid: 81578 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 69 ; pid: 197439 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 70 ; pid: 265853 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 71 ; pid: 26882 ; 72 processes] Calling resetRepresentativesFor("CCpqCCCrCstCqCNsNpCps", true, 0, true), silently.
[Rank 0 ; pid: 107861 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 1 ; pid: 191529 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 2 ; pid: 168796 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 3 ; pid: 270857 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 4 ; pid: 207150 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 5 ; pid: 219674 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 6 ; pid: 59459 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 7 ; pid: 1565 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 8 ; pid: 52589 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 9 ; pid: 77837 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 10 ; pid: 177917 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 11 ; pid: 196196 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 12 ; pid: 113082 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 13 ; pid: 232769 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 14 ; pid: 29800 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 15 ; pid: 231379 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 16 ; pid: 212083 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 17 ; pid: 240606 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 18 ; pid: 158617 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 19 ; pid: 137794 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 20 ; pid: 191397 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 21 ; pid: 62990 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 22 ; pid: 158911 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 23 ; pid: 135845 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 24 ; pid: 9424 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 25 ; pid: 159355 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 26 ; pid: 64194 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 27 ; pid: 63658 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 28 ; pid: 43227 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 29 ; pid: 260328 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 30 ; pid: 13439 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 31 ; pid: 25398 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 32 ; pid: 189427 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 33 ; pid: 126844 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 34 ; pid: 80807 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 35 ; pid: 163611 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 36 ; pid: 90493 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 37 ; pid: 51386 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 38 ; pid: 275040 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 39 ; pid: 108421 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 40 ; pid: 233386 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 41 ; pid: 82794 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 42 ; pid: 128652 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 43 ; pid: 7760 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 44 ; pid: 33341 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 45 ; pid: 94937 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 46 ; pid: 61386 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 47 ; pid: 51310 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 48 ; pid: 110185 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 49 ; pid: 80622 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 50 ; pid: 156189 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 51 ; pid: 163617 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 52 ; pid: 259264 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 53 ; pid: 110385 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 54 ; pid: 19878 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 55 ; pid: 88994 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 56 ; pid: 141549 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 57 ; pid: 148778 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 58 ; pid: 6254 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 59 ; pid: 201183 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 60 ; pid: 107475 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 61 ; pid: 175456 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 62 ; pid: 104706 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 63 ; pid: 103037 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 64 ; pid: 123922 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 65 ; pid: 25951 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 66 ; pid: 100431 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 67 ; pid: 45973 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 68 ; pid: 81578 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 69 ; pid: 197439 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 70 ; pid: 265853 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
[Rank 71 ; pid: 26882 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(51, true).
0.01 ms taken to load initial representatives.
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0188.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0191.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0192.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0193.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0195.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0196.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0197.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0198.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0199.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0201.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0202.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0203.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0204.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0206.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0208.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0210.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0211.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0214.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0215.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0617.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0618.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0619.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0622.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0623.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0624.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0625.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0626.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0628.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0629.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0630.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0632.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0633.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0634.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 34 on "ncm0635.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 35 on "ncm0636.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 36 on "ncm0637.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 37 on "ncm0638.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 38 on "ncm0639.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 39 on "ncm0641.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 40 on "ncm0642.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 41 on "ncm0643.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 42 on "ncm0644.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 43 on "ncm0645.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 44 on "ncm0646.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 45 on "ncm0648.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 46 on "ncm0945.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 47 on "ncm0947.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 48 on "ncm0948.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 49 on "ncm0949.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 50 on "ncm0950.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 51 on "ncm0951.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 52 on "ncm0952.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 53 on "ncm0953.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 54 on "ncm0954.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 55 on "ncm0955.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 56 on "ncm0956.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 57 on "ncm0957.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 58 on "ncm0958.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 59 on "ncm0959.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 60 on "ncm0960.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 61 on "ncm0961.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 62 on "ncm0962.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 63 on "ncm0964.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 64 on "ncm0965.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 65 on "ncm0967.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 66 on "ncm0968.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 67 on "ncm0969.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 68 on "ncm0970.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 69 on "ncm0971.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 70 on "ncm0973.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 08:01:33 2023: MPI-based D-proof representative filter started. [rank 71 on "ncm0974.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
15.01 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs3.txt. [tid:23362652796672]
13.35 ms taken to read 1 condensed detachment proof and conclusion from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs5.txt. [tid:23362650695424]
7.93 ms taken to read 2 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs7.txt. [tid:23362648594176]
0.03 ms taken to read 4 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs9.txt. [tid:23362646492928]
14.08 ms taken to read 7 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs11.txt. [tid:23362644391680]
0.93 ms taken to read 12 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs13.txt. [tid:23362642290432]
13.96 ms taken to read 22 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs15.txt. [tid:23362640189184]
34.07 ms taken to read 42 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs17.txt. [tid:23362638087936]
23.55 ms taken to read 80 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs19.txt. [tid:23362635986688]
6.50 ms taken to read 151 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs21.txt. [tid:23362633885440]
33.17 ms taken to read 287 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs23.txt. [tid:23362631784192]
59.25 ms taken to read 555 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs25.txt. [tid:23362629682944]
76.64 ms taken to read 1081 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs27.txt. [tid:23362627581696]
137.06 ms taken to read 2107 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs29.txt. [tid:23362625480448]
599.43 ms taken to read 4123 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs31.txt. [tid:23362623379200]
1550.98 ms (1 s 550.98 ms) taken to read 8112 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs33.txt. [tid:23362621277952]
4378.57 ms (4 s 378.56 ms) taken to read 16029 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs35.txt. [tid:23362619176704]
1077.97 ms (1 s 77.97 ms) taken to read 31774 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs37.txt. [tid:23362617075456]
2276.26 ms (2 s 276.26 ms) taken to read 63152 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs39.txt. [tid:23362614974208]
2622.35 ms (2 s 622.35 ms) taken to read 125873 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs41.txt. [tid:23362612872960]
9592.83 ms (9 s 592.83 ms) taken to read 251561 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs43.txt. [tid:23362541713152]
18009.03 ms (18 s 9.03 ms) taken to read 503956 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs45.txt. [tid:23362539611904]
20380.20 ms (20 s 380.20 ms) taken to read 1011747 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs47.txt. [tid:23362537510656]
61065.84 ms (1 min 1 s 65.84 ms) taken to read 2035230 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs49.txt. [tid:23362535409408]
61108.97 ms (1 min 1 s 108.97 ms) total read duration.
Loaded 25 representative collections of sizes:
1 : 1
3 : 1
5 : 1
7 : 2
9 : 4
11 : 7
13 : 12
15 : 22
17 : 42
19 : 80
21 : 151
23 : 287
25 : 555
27 : 1081
29 : 2107
31 : 4123
33 : 8112
35 : 16029
37 : 31774
39 : 63152
41 : 125873
43 : 251561
45 : 503956
47 : 1011747
49 : 2035230
4055910 representatives in total.
157903.66 ms (2 min 37 s 903.66 ms) taken to read 4139577 condensed detachment proofs and conclusions from data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51-unfiltered51+.txt. [tid:23362535409408]
157946.03 ms (2 min 37 s 946.03 ms) additional read duration.
Loaded 1 more representative collection of size:
51 : 4139577
8195487 representatives in total.
Tue Oct 24 08:05:28 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 38022, based on entry 49:17950 and last known pair (47:8474, 49:17950) with 17950/8474 ≈ 2.11824 and 17950 * (17950/8474)^1 ≈ 38022.48.
Tue Oct 24 08:05:31 2023: Inserted ≈ 5% of D-proof conclusions. [ 409774 of 8195487] (ETC: Tue Oct 24 08:06:24 2023 ; 53 s 764.86 ms remaining ; 56 s 594.59 ms total)
Tue Oct 24 08:05:34 2023: Inserted ≈10% of D-proof conclusions. [ 819548 of 8195487] (ETC: Tue Oct 24 08:06:29 2023 ; 54 s 720.89 ms remaining ; 1 min      800.98 ms total)
Tue Oct 24 08:05:38 2023: Inserted ≈15% of D-proof conclusions. [1229323 of 8195487] (ETC: Tue Oct 24 08:06:35 2023 ; 57 s 224.47 ms remaining ; 1 min  7 s 322.91 ms total)
Tue Oct 24 08:05:42 2023: Inserted ≈20% of D-proof conclusions. [1639097 of 8195487] (ETC: Tue Oct 24 08:06:38 2023 ; 55 s 786.43 ms remaining ; 1 min  9 s 733.03 ms total)
Tue Oct 24 08:05:47 2023: Inserted ≈25% of D-proof conclusions. [2048871 of 8195487] (ETC: Tue Oct 24 08:06:43 2023 ; 56 s 523.86 ms remaining ; 1 min 15 s 365.13 ms total)
Tue Oct 24 08:05:51 2023: Inserted ≈30% of D-proof conclusions. [2458646 of 8195487] (ETC: Tue Oct 24 08:06:44 2023 ; 53 s 133.45 ms remaining ; 1 min 15 s 904.93 ms total)
Tue Oct 24 08:05:55 2023: Inserted ≈35% of D-proof conclusions. [2868420 of 8195487] (ETC: Tue Oct 24 08:06:46 2023 ; 50 s 459.67 ms remaining ; 1 min 17 s 630.25 ms total)
Tue Oct 24 08:05:59 2023: Inserted ≈40% of D-proof conclusions. [3278194 of 8195487] (ETC: Tue Oct 24 08:06:45 2023 ; 46 s 321.51 ms remaining ; 1 min 17 s 202.50 ms total)
Tue Oct 24 08:06:03 2023: Inserted ≈45% of D-proof conclusions. [3687969 of 8195487] (ETC: Tue Oct 24 08:06:45 2023 ; 42 s 455.10 ms remaining ; 1 min 17 s 191.09 ms total)
Tue Oct 24 08:06:08 2023: Inserted ≈50% of D-proof conclusions. [4097743 of 8195487] (ETC: Tue Oct 24 08:06:48 2023 ; 40 s 190.34 ms remaining ; 1 min 20 s 380.66 ms total)
Tue Oct 24 08:06:11 2023: Inserted ≈55% of D-proof conclusions. [4507517 of 8195487] (ETC: Tue Oct 24 08:06:46 2023 ; 35 s 290.07 ms remaining ; 1 min 18 s 422.37 ms total)
Tue Oct 24 08:06:14 2023: Inserted ≈60% of D-proof conclusions. [4917292 of 8195487] (ETC: Tue Oct 24 08:06:45 2023 ; 30 s 752.08 ms remaining ; 1 min 16 s 880.20 ms total)
Tue Oct 24 08:06:17 2023: Inserted ≈65% of D-proof conclusions. [5327066 of 8195487] (ETC: Tue Oct 24 08:06:43 2023 ; 26 s 410.14 ms remaining ; 1 min 15 s 457.53 ms total)
Tue Oct 24 08:06:20 2023: Inserted ≈70% of D-proof conclusions. [5736840 of 8195487] (ETC: Tue Oct 24 08:06:42 2023 ; 22 s 297.19 ms remaining ; 1 min 14 s 323.95 ms total)
Tue Oct 24 08:06:23 2023: Inserted ≈75% of D-proof conclusions. [6146615 of 8195487] (ETC: Tue Oct 24 08:06:42 2023 ; 18 s 480.85 ms remaining ; 1 min 13 s 923.39 ms total)
Tue Oct 24 08:06:27 2023: Inserted ≈80% of D-proof conclusions. [6556389 of 8195487] (ETC: Tue Oct 24 08:06:42 2023 ; 14 s 895.78 ms remaining ; 1 min 14 s 478.90 ms total)
Tue Oct 24 08:06:32 2023: Inserted ≈85% of D-proof conclusions. [6966163 of 8195487] (ETC: Tue Oct 24 08:06:43 2023 ; 11 s 268.37 ms remaining ; 1 min 15 s 122.39 ms total)
Tue Oct 24 08:06:36 2023: Inserted ≈90% of D-proof conclusions. [7375938 of 8195487] (ETC: Tue Oct 24 08:06:44 2023 ; 7 s 596.98 ms remaining ; 1 min 15 s 969.76 ms total)
Tue Oct 24 08:06:42 2023: Inserted ≈95% of D-proof conclusions. [7785712 of 8195487] (ETC: Tue Oct 24 08:06:46 2023 ; 3 s 905.55 ms remaining ; 1 min 18 s 110.80 ms total)
Tue Oct 24 08:06:56 2023: Inserted 100% of D-proof conclusions. [8195487 of 8195487] (ETC: Tue Oct 24 08:06:56 2023 ; 0.00 ms remaining ; 1 min 28 s 209.17 ms total)
88213.57 ms (1 min 28 s 213.57 ms) total insertion duration.
Reservable workloads: { 0:[38330, 57493], 1:[95824, 114987], 2:[153318, 172481], 3:[210812, 229975], 4:[268306, 287469], 5:[325800, 344963], 6:[383294, 402457], 7:[440788, 459952], 8:[498283, 517446], 9:[555777, 574940], 10:[613271, 632434], 11:[670765, 689928], 12:[728259, 747422], 13:[785753, 804916], 14:[843247, 862410], 15:[900741, 919905], 16:[958236, 977399], 17:[1015730, 1034893], 18:[1073224, 1092387], 19:[1130718, 1149881], 20:[1188212, 1207375], 21:[1245706, 1264869], 22:[1303200, 1322363], 23:[1360694, 1379858], 24:[1418189, 1437352], 25:[1475683, 1494846], 26:[1533177, 1552340], 27:[1590671, 1609834], 28:[1648165, 1667328], 29:[1705659, 1724822], 30:[1763153, 1782316], 31:[1820647, 1839811], 32:[1878142, 1897305], 33:[1935636, 1954799], 34:[1993130, 2012293], 35:[2050624, 2069787], 36:[2108118, 2127281], 37:[2165612, 2184775], 38:[2223106, 2242269], 39:[2280600, 2299764], 40:[2338095, 2357258], 41:[2395589, 2414752], 42:[2453083, 2472246], 43:[2510577, 2529740], 44:[2568071, 2587234], 45:[2625565, 2644728], 46:[2683059, 2702222], 47:[2740553, 2759717], 48:[2798048, 2817211], 49:[2855542, 2874705], 50:[2913036, 2932199], 51:[2970530, 2989693], 52:[3028024, 3047187], 53:[3085518, 3104681], 54:[3143012, 3162175], 55:[3200506, 3219670], 56:[3258001, 3277164], 57:[3315495, 3334658], 58:[3372989, 3392152], 59:[3430483, 3449646], 60:[3487977, 3507140], 61:[3545471, 3564634], 62:[3602965, 3622128], 63:[3660459, 3679623], 64:[3717954, 3737117], 65:[3775448, 3794611], 66:[3832942, 3852105], 67:[3890436, 3909599], 68:[3947930, 3967093], 69:[4005424, 4024587], 70:[4062918, 4082081], 71:[4120412, 4139576] }
Tue Oct 24 08:10:22 2023: Removed ≈  2% of redundant conclusions. [  760 of approximately 38022] (ETC: Tue Oct 24 10:51:37 2023 ; 2 h 41 min 15 s 105.51 ms remaining ; 2 h 44 min 32 s 440.07 ms total)
Tue Oct 24 08:16:10 2023: Removed ≈  4% of redundant conclusions. [ 1520 of approximately 38022] (ETC: Tue Oct 24 11:54:21 2023 ; 3 h 38 min 11 s  71.78 ms remaining ; 3 h 47 min 16 s 204.35 ms total)
Tue Oct 24 08:21:06 2023: Removed ≈  6% of redundant conclusions. [ 2281 of approximately 38022] (ETC: Tue Oct 24 12:00:48 2023 ; 3 h 39 min 41 s 570.58 ms remaining ; 3 h 53 min 42 s 821.88 ms total)
Tue Oct 24 08:26:47 2023: Removed ≈  8% of redundant conclusions. [ 3041 of approximately 38022] (ETC: Tue Oct 24 12:13:24 2023 ; 3 h 46 min 37 s 425.57 ms remaining ; 4 h  6 min 19 s 489.30 ms total)
Tue Oct 24 08:32:00 2023: Removed ≈ 10% of redundant conclusions. [ 3802 of approximately 38022] (ETC: Tue Oct 24 12:16:19 2023 ; 3 h 44 min 18 s 662.08 ms remaining ; 4 h  9 min 13 s 981.58 ms total)
Tue Oct 24 08:37:13 2023: Removed ≈ 12% of redundant conclusions. [ 4562 of approximately 38022] (ETC: Tue Oct 24 12:18:16 2023 ; 3 h 41 min  3 s 221.61 ms remaining ; 4 h 11 min 11 s 554.46 ms total)
Tue Oct 24 08:42:48 2023: Removed ≈ 14% of redundant conclusions. [ 5323 of approximately 38022] (ETC: Tue Oct 24 12:22:10 2023 ; 3 h 39 min 22 s 340.98 ms remaining ; 4 h 15 min  5 s  10.21 ms total)
Tue Oct 24 08:48:35 2023: Removed ≈ 16% of redundant conclusions. [ 6083 of approximately 38022] (ETC: Tue Oct 24 12:26:29 2023 ; 3 h 37 min 53 s 982.54 ms remaining ; 4 h 19 min 24 s  11.52 ms total)
Tue Oct 24 08:53:52 2023: Removed ≈ 18% of redundant conclusions. [ 6843 of approximately 38022] (ETC: Tue Oct 24 12:27:03 2023 ; 3 h 33 min 10 s 614.41 ms remaining ; 4 h 19 min 57 s 829.99 ms total)
Tue Oct 24 08:59:09 2023: Removed ≈ 20% of redundant conclusions. [ 7604 of approximately 38022] (ETC: Tue Oct 24 12:27:28 2023 ; 3 h 28 min 18 s 429.12 ms remaining ; 4 h 20 min 22 s 830.96 ms total)
Tue Oct 24 09:04:59 2023: Removed ≈ 22% of redundant conclusions. [ 8364 of approximately 38022] (ETC: Tue Oct 24 12:30:16 2023 ; 3 h 25 min 17 s 609.23 ms remaining ; 4 h 23 min 11 s 359.44 ms total)
Tue Oct 24 09:10:18 2023: Removed ≈ 24% of redundant conclusions. [ 9125 of approximately 38022] (ETC: Tue Oct 24 12:30:31 2023 ; 3 h 20 min 12 s 950.25 ms remaining ; 4 h 23 min 26 s 360.33 ms total)
Tue Oct 24 09:15:57 2023: Removed ≈ 26% of redundant conclusions. [ 9885 of approximately 38022] (ETC: Tue Oct 24 12:32:01 2023 ; 3 h 16 min  3 s 472.22 ms remaining ; 4 h 24 min 56 s 177.30 ms total)
Tue Oct 24 09:21:10 2023: Removed ≈ 28% of redundant conclusions. [10646 of approximately 38022] (ETC: Tue Oct 24 12:31:39 2023 ; 3 h 10 min 29 s 596.67 ms remaining ; 4 h 24 min 34 s 347.04 ms total)
Tue Oct 24 09:26:52 2023: Removed ≈ 30% of redundant conclusions. [11406 of approximately 38022] (ETC: Tue Oct 24 12:33:02 2023 ; 3 h  6 min 10 s 429.37 ms remaining ; 4 h 25 min 57 s 396.51 ms total)
Tue Oct 24 09:32:24 2023: Removed ≈ 32% of redundant conclusions. [12167 of approximately 38022] (ETC: Tue Oct 24 12:33:44 2023 ; 3 h  1 min 19 s 475.59 ms remaining ; 4 h 26 min 39 s 204.06 ms total)
Tue Oct 24 09:37:40 2023: Removed ≈ 34% of redundant conclusions. [12927 of approximately 38022] (ETC: Tue Oct 24 12:33:30 2023 ; 2 h 55 min 50 s 457.06 ms remaining ; 4 h 26 min 25 s 235.23 ms total)
Tue Oct 24 09:43:13 2023: Removed ≈ 36% of redundant conclusions. [13687 of approximately 38022] (ETC: Tue Oct 24 12:34:10 2023 ; 2 h 50 min 56 s 486.22 ms remaining ; 4 h 27 min  5 s 153.85 ms total)
Tue Oct 24 09:48:43 2023: Removed ≈ 38% of redundant conclusions. [14448 of approximately 38022] (ETC: Tue Oct 24 12:34:32 2023 ; 2 h 45 min 49 s 659.60 ms remaining ; 4 h 27 min 27 s 592.99 ms total)
Tue Oct 24 09:53:55 2023: Removed ≈ 40% of redundant conclusions. [15208 of approximately 38022] (ETC: Tue Oct 24 12:34:12 2023 ; 2 h 40 min 16 s 697.75 ms remaining ; 4 h 27 min  7 s 267.55 ms total)
Tue Oct 24 09:59:17 2023: Removed ≈ 42% of redundant conclusions. [15969 of approximately 38022] (ETC: Tue Oct 24 12:34:13 2023 ; 2 h 34 min 56 s 495.37 ms remaining ; 4 h 27 min  8 s 265.86 ms total)
Tue Oct 24 10:05:10 2023: Removed ≈ 44% of redundant conclusions. [16729 of approximately 38022] (ETC: Tue Oct 24 12:35:27 2023 ; 2 h 30 min 17 s 770.16 ms remaining ; 4 h 28 min 22 s 646.74 ms total)
Tue Oct 24 10:10:47 2023: Removed ≈ 46% of redundant conclusions. [17490 of approximately 38022] (ETC: Tue Oct 24 12:36:00 2023 ; 2 h 25 min 13 s  46.52 ms remaining ; 4 h 28 min 55 s 177.03 ms total)
Tue Oct 24 10:15:40 2023: Removed ≈ 48% of redundant conclusions. [18250 of approximately 38022] (ETC: Tue Oct 24 12:35:00 2023 ; 2 h 19 min 19 s 157.91 ms remaining ; 4 h 27 min 54 s 848.38 ms total)
Tue Oct 24 10:21:17 2023: Removed ≈ 50% of redundant conclusions. [19011 of approximately 38022] (ETC: Tue Oct 24 12:35:29 2023 ; 2 h 14 min 12 s 225.99 ms remaining ; 4 h 28 min 24 s 451.97 ms total)
Tue Oct 24 10:26:53 2023: Removed ≈ 52% of redundant conclusions. [19771 of approximately 38022] (ETC: Tue Oct 24 12:35:56 2023 ; 2 h  9 min  3 s  69.58 ms remaining ; 4 h 28 min 51 s   6.05 ms total)
Tue Oct 24 10:32:00 2023: Removed ≈ 54% of redundant conclusions. [20531 of approximately 38022] (ETC: Tue Oct 24 12:35:28 2023 ; 2 h  3 min 27 s 731.34 ms remaining ; 4 h 28 min 22 s 953.58 ms total)
Tue Oct 24 10:37:25 2023: Removed ≈ 56% of redundant conclusions. [21292 of approximately 38022] (ETC: Tue Oct 24 12:35:33 2023 ; 1 h 58 min  7 s 847.98 ms remaining ; 4 h 28 min 28 s 437.30 ms total)
Tue Oct 24 10:43:01 2023: Removed ≈ 58% of redundant conclusions. [22052 of approximately 38022] (ETC: Tue Oct 24 12:35:57 2023 ; 1 h 52 min 55 s 777.11 ms remaining ; 4 h 28 min 52 s  34.90 ms total)
Tue Oct 24 10:48:43 2023: Removed ≈ 60% of redundant conclusions. [22813 of approximately 38022] (ETC: Tue Oct 24 12:36:28 2023 ; 1 h 47 min 45 s 437.91 ms remaining ; 4 h 29 min 23 s 382.22 ms total)
Tue Oct 24 10:54:11 2023: Removed ≈ 62% of redundant conclusions. [23573 of approximately 38022] (ETC: Tue Oct 24 12:36:37 2023 ; 1 h 42 min 25 s 735.90 ms remaining ; 4 h 29 min 32 s 272.86 ms total)
Tue Oct 24 10:59:37 2023: Removed ≈ 64% of redundant conclusions. [24334 of approximately 38022] (ETC: Tue Oct 24 12:36:39 2023 ; 1 h 37 min  2 s 903.21 ms remaining ; 4 h 29 min 34 s 636.60 ms total)
Tue Oct 24 11:05:56 2023: Removed ≈ 66% of redundant conclusions. [25094 of approximately 38022] (ETC: Tue Oct 24 12:38:04 2023 ; 1 h 32 min  8 s 425.85 ms remaining ; 4 h 30 min 59 s 422.01 ms total)
Tue Oct 24 11:14:41 2023: Removed ≈ 68% of redundant conclusions. [25854 of approximately 38022] (ETC: Tue Oct 24 12:42:59 2023 ; 1 h 28 min 17 s 831.09 ms remaining ; 4 h 35 min 54 s 415.99 ms total)
Tue Oct 24 11:21:18 2023: Removed ≈ 70% of redundant conclusions. [26615 of approximately 38022] (ETC: Tue Oct 24 12:44:32 2023 ; 1 h 23 min 14 s 444.12 ms remaining ; 4 h 37 min 27 s 563.29 ms total)
Tue Oct 24 11:27:09 2023: Removed ≈ 72% of redundant conclusions. [27375 of approximately 38022] (ETC: Tue Oct 24 12:44:58 2023 ; 1 h 17 min 48 s 764.39 ms remaining ; 4 h 37 min 52 s 843.02 ms total)
Tue Oct 24 11:32:53 2023: Removed ≈ 74% of redundant conclusions. [28136 of approximately 38022] (ETC: Tue Oct 24 12:45:11 2023 ; 1 h 12 min 18 s 557.84 ms remaining ; 4 h 38 min  6 s 288.31 ms total)
Tue Oct 24 11:38:32 2023: Removed ≈ 76% of redundant conclusions. [28896 of approximately 38022] (ETC: Tue Oct 24 12:45:19 2023 ; 1 h  6 min 46 s 899.68 ms remaining ; 4 h 38 min 14 s  98.16 ms total)
Tue Oct 24 11:44:07 2023: Removed ≈ 78% of redundant conclusions. [29657 of approximately 38022] (ETC: Tue Oct 24 12:45:21 2023 ; 1 h  1 min 13 s 130.96 ms remaining ; 4 h 38 min 15 s 730.46 ms total)
Tue Oct 24 11:49:53 2023: Removed ≈ 80% of redundant conclusions. [30417 of approximately 38022] (ETC: Tue Oct 24 12:45:35 2023 ; 55 min 42 s 385.04 ms remaining ; 4 h 38 min 30 s 606.68 ms total)
Tue Oct 24 11:55:33 2023: Removed ≈ 82% of redundant conclusions. [31178 of approximately 38022] (ETC: Tue Oct 24 12:45:43 2023 ; 50 min  9 s 251.85 ms remaining ; 4 h 38 min 37 s 968.12 ms total)
Tue Oct 24 12:01:19 2023: Removed ≈ 84% of redundant conclusions. [31938 of approximately 38022] (ETC: Tue Oct 24 12:45:57 2023 ; 44 min 37 s 330.93 ms remaining ; 4 h 38 min 51 s 998.12 ms total)
Tue Oct 24 12:07:08 2023: Removed ≈ 86% of redundant conclusions. [32698 of approximately 38022] (ETC: Tue Oct 24 12:46:13 2023 ; 39 min  5 s 126.45 ms remaining ; 4 h 39 min  8 s   8.60 ms total)
Tue Oct 24 12:14:57 2023: Removed ≈ 88% of redundant conclusions. [33459 of approximately 38022] (ETC: Tue Oct 24 12:48:46 2023 ; 33 min 48 s 254.10 ms remaining ; 4 h 41 min 40 s 783.98 ms total)
Tue Oct 24 12:22:30 2023: Removed ≈ 90% of redundant conclusions. [34219 of approximately 38022] (ETC: Tue Oct 24 12:50:53 2023 ; 28 min 23 s 214.27 ms remaining ; 4 h 43 min 48 s 559.85 ms total)
Tue Oct 24 12:28:35 2023: Removed ≈ 92% of redundant conclusions. [34980 of approximately 38022] (ETC: Tue Oct 24 12:51:20 2023 ; 22 min 44 s 487.12 ms remaining ; 4 h 44 min 14 s 743.40 ms total)
Tue Oct 24 12:35:33 2023: Removed ≈ 94% of redundant conclusions. [35740 of approximately 38022] (ETC: Tue Oct 24 12:52:42 2023 ; 17 min  8 s 535.72 ms remaining ; 4 h 45 min 37 s 153.88 ms total)
[Rank 44] Workload transfer approved. Starting to work on 0:[51106, 55364].
[Rank 42] Workload transfer approved. Starting to work on 1:[108600, 112858].
[Rank 66] Workload transfer approved. Starting to work on 22:[1315976, 1320234].
[Rank 19] Workload transfer approved. Starting to work on 47:[2753330, 2757588].
Tue Oct 24 12:43:38 2023: Removed ≈ 96% of redundant conclusions. [36501 of approximately 38022] (ETC: Tue Oct 24 12:55:10 2023 ; 11 min 31 s 458.37 ms remaining ; 4 h 48 min  5 s  95.31 ms total)
[Rank 71] Workload transfer approved. Starting to work on 59:[3443259, 3447517].
[Rank 6] Workload transfer approved. Starting to work on 1:[112859, 114278].
[Rank 18] Workload transfer approved. Starting to work on 9:[572812, 574231].
[Rank 26] Workload transfer approved. Starting to work on 12:[745294, 746713].
[Rank 43] Workload transfer approved. Starting to work on 17:[1032765, 1034184].
[Rank 31] Workload transfer approved. Starting to work on 22:[1320235, 1321654].
[Rank 3] Workload transfer approved. Starting to work on 25:[1492718, 1494137].
[Rank 29] Workload transfer approved. Starting to work on 28:[1665200, 1666619].
[Rank 8] Workload transfer approved. Starting to work on 34:[2010165, 2011584].
[Rank 46] Workload transfer approved. Starting to work on 35:[2067659, 2069078].
[Rank 51] Workload transfer approved. Starting to work on 41:[2412624, 2414043].
[Rank 40] Workload transfer approved. Starting to work on 53:[3102553, 3103972].
[Rank 5] Workload transfer approved. Starting to work on 55:[3217542, 3218961].
[Rank 33] Workload transfer approved. Starting to work on 60:[3505012, 3506431].
[Rank 6] Workload transfer approved. Starting to work on 61:[3562506, 3563925].
Tue Oct 24 12:51:57 2023: Removed ≈ 98% of redundant conclusions. [37261 of approximately 38022] (ETC: Tue Oct 24 12:57:46 2023 ; 5 min 49 s  79.23 ms remaining ; 4 h 50 min 41 s 117.48 ms total)
[Rank 2] Workload transfer approved. Starting to work on 62:[3620000, 3621419].
[Rank 1] Workload transfer approved. Starting to work on 64:[3734989, 3736408].
[Rank 27] Workload transfer approved. Starting to work on 68:[3964965, 3966384].
[Rank 12] Workload transfer approved. Starting to work on 69:[4022459, 4023878].
[Rank 18] Workload transfer approved. Starting to work on 9:[574232, 574940].
[Rank 50] Workload transfer approved. Starting to work on 10:[631726, 632434].
[Rank 56] Workload transfer approved. Starting to work on 11:[689220, 689928].
[Rank 0] Workload transfer approved. Starting to work on 13:[804208, 804916].
[Rank 65] Workload transfer approved. Starting to work on 17:[1034185, 1034893].
[Rank 7] Workload transfer approved. Starting to work on 20:[1206667, 1207375].
[Rank 21] Workload transfer approved. Starting to work on 22:[1321655, 1322363].
[Rank 9] Workload transfer approved. Starting to work on 24:[1436644, 1437352].
[Rank 14] Workload transfer approved. Starting to work on 25:[1494138, 1494846].
[Rank 31] Workload transfer approved. Starting to work on 28:[1666620, 1667328].
[Rank 15] Workload transfer approved. Starting to work on 32:[1896597, 1897305].
[Rank 25] Workload transfer approved. Starting to work on 34:[2011585, 2012293].
[Rank 32] Workload transfer approved. Starting to work on 35:[2069079, 2069787].
[Rank 23] Workload transfer approved. Starting to work on 36:[2126573, 2127281].
[Rank 20] Workload transfer approved. Starting to work on 37:[2184067, 2184775].
[Rank 4] Workload transfer approved. Starting to work on 41:[2414044, 2414752].
[Rank 29] Workload transfer approved. Starting to work on 52:[3046479, 3047187].
[Rank 51] Workload transfer approved. Starting to work on 53:[3103973, 3104681].
[Rank 67] Workload transfer approved. Starting to work on 54:[3161467, 3162175].
[Rank 54] Workload transfer approved. Starting to work on 55:[3218962, 3219670].
[Rank 8] Workload transfer approved. Starting to work on 57:[3333950, 3334658].
[Rank 38] Workload transfer approved. Starting to work on 60:[3506432, 3507140].
[Rank 59] Workload transfer approved. Starting to work on 62:[3621420, 3622128].
[Rank 50] Workload transfer approved. Starting to work on 64:[3736409, 3737117].
[Rank 30] Workload transfer approved. Starting to work on 68:[3966385, 3967093].
[Rank 46] Workload transfer approved. Starting to work on 69:[4023879, 4024587].
19152632.80 ms (5 h 19 min 12 s 632.80 ms) taken to detect 37807 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 4101770 representative and 37807 redundant condensed detachment proof strings.
[Copy] Removal count: { 51, 37807 }
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0191.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0192.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0193.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0195.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0196.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0197.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0198.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0199.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0201.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0202.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0203.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0204.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0206.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0208.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0210.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0211.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0212.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0214.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0215.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0617.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0618.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0619.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0622.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0623.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0624.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0625.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0626.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0628.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0629.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0630.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0632.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0633.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0634.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 34 on "ncm0635.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 35 on "ncm0636.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 36 on "ncm0637.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 37 on "ncm0638.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 38 on "ncm0639.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 39 on "ncm0641.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 40 on "ncm0642.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 41 on "ncm0643.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 42 on "ncm0644.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 43 on "ncm0645.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 44 on "ncm0646.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 45 on "ncm0648.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 46 on "ncm0945.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 47 on "ncm0947.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 48 on "ncm0948.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 49 on "ncm0949.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 50 on "ncm0950.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 51 on "ncm0951.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 52 on "ncm0952.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 53 on "ncm0953.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 54 on "ncm0954.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 55 on "ncm0955.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 56 on "ncm0956.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 57 on "ncm0957.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 58 on "ncm0958.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 59 on "ncm0959.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 60 on "ncm0960.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 61 on "ncm0961.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 62 on "ncm0962.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 63 on "ncm0964.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 64 on "ncm0965.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 65 on "ncm0967.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 66 on "ncm0968.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 67 on "ncm0969.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 68 on "ncm0970.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 69 on "ncm0971.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 70 on "ncm0973.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:26:13 2023: MPI-based D-proof representative filter complete. [rank 71 on "ncm0974.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
44373.74 ms (44 s 373.74 ms) taken to filter and order new representative proofs.
Tue Oct 24 13:26:57 2023: Starting to write 4101770 entries to data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51.txt.
86631.80 ms (1 min 26 s 631.80 ms) taken to print and save 41567415644 bytes of representative condensed detachment proof strings to data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/dProofs-withConclusions/dProofs51.txt.
Tue Oct 24 13:28:24 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0188.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 110185, tid:22979052869504]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 100431, tid:22772480321408]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 6254, tid:22548500273024]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 175456, tid:22692198520704]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 113082, tid:22460337375104]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 259264, tid:22743461906304]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 141549, tid:22705058469760]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 177917, tid:23454773991296]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 275040, tid:22772759230336]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 231379, tid:22387273435008]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 159355, tid:23347582400384]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 156189, tid:23148531771264]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 270857, tid:23319749416832]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 52589, tid:22577652713344]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 191529, tid:23262784210816]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 158617, tid:23171941775232]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 168796, tid:22920153266048]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 9424, tid:22509953050496]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 81578, tid:23430283880320]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 207150, tid:22376491927424]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 201183, tid:23017824962432]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 33341, tid:22912020805504]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 19878, tid:23246385641344]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 63658, tid:22497528031104]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 107861, tid:23362827954048]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 7760, tid:22950467237760]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 1565, tid:22508646909824]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 126844, tid:22398644787072]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 189427, tid:23327519033216]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 240606, tid:22829120509824]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 163617, tid:23156552238976]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 260328, tid:22609707825024]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 123922, tid:22649143007104]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 61386, tid:23439176214400]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 233386, tid:22727006283648]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 219674, tid:22880249407360]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 59459, tid:23227052480384]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 45973, tid:22905189156736]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 90493, tid:22806145283968]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 82794, tid:22437795764096]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 88994, tid:23336320849792]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 137794, tid:22361479313280]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 196196, tid:22989356865408]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 148778, tid:22766483822464]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 197439, tid:22435142461312]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 103037, tid:22724150536064]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 51310, tid:23008741799808]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 26882, tid:22371446601600]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 108421, tid:22519919179648]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 62990, tid:23121129555840]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 29800, tid:22541982779264]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 94937, tid:23135972018048]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 43227, tid:23279733995392]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 25398, tid:22471537436544]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 158911, tid:22887605462912]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 25951, tid:23034550687616]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 128652, tid:22614232086400]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 80807, tid:23321609742208]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 104706, tid:22624922347392]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 163611, tid:23082431608704]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 80622, tid:22616145307520]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 110385, tid:22425177708416]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 77837, tid:23326494545792]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 135845, tid:23085680453504]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 64194, tid:22707639048064]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 265853, tid:22808281859968]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 191397, tid:22904244860800]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 51386, tid:23183161538432]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 232769, tid:23310335317888]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 13439, tid:22454788224896]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 212083, tid:23056301131648]
Tue Oct 24 13:28:46 2023: Process terminated. [pid: 107475, tid:23344284878720]
srun: First task exited 5s ago
srun: StepId=40319089.0 tasks 0,25: running
srun: StepId=40319089.0 tasks 1-24,26-71: exited
srun: launch/slurm: _step_signal: Terminating StepId=40319089.0
srun: Job step aborted: Waiting up to 62 seconds for job step to finish.
slurmstepd: error: *** STEP 40319089.0 ON ncm0188 CANCELLED AT 2023-10-24T13:28:58 ***
slurmstepd: error: *** STEP 40319089.0 ON ncm0188 CANCELLED AT 2023-10-24T13:28:58 ***