( This log file was generated by 'pmGenerator 1.1' (master branch), compiled by 'Intel(R) oneAPI DPC++/C++ Compiler 2022.1.0 (2022.1.0.20220316)'.
  The run was executed on 60 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.7. Initialization and completion messages with rank numbers have been grouped and sorted for better readability.
  Wall-clock time:     38.3180555… h
  CPU utilization: 110356 core-h )
Fri May 12 20:45:19 2023: Process started. [pid: 359708, tid:23125961967488]
Fri May 12 20:45:19 2023: Process started. [pid: 523325, tid:22553407625088]
Fri May 12 20:45:19 2023: Process started. [pid: 542116, tid:22577544931200]
Fri May 12 20:45:19 2023: Process started. [pid: 581606, tid:22376695371648]
Fri May 12 20:45:19 2023: Process started. [pid: 2608975, tid:22663388620672]
Fri May 12 20:45:19 2023: Process started. [pid: 554788, tid:22762791425920]
Fri May 12 20:45:19 2023: Process started. [pid: 525112, tid:22739110213504]
Fri May 12 20:45:19 2023: Process started. [pid: 562750, tid:22694606419840]
Fri May 12 20:45:19 2023: Process started. [pid: 1943502, tid:22528602843008]
Fri May 12 20:45:19 2023: Process started. [pid: 185230, tid:22950550292352]
Fri May 12 20:45:19 2023: Process started. [pid: 581272, tid:23203055196032]
Fri May 12 20:45:19 2023: Process started. [pid: 503116, tid:22375242352512]
Fri May 12 20:45:19 2023: Process started. [pid: 533601, tid:22987500291968]
Fri May 12 20:45:19 2023: Process started. [pid: 194204, tid:22543541307264]
Fri May 12 20:45:19 2023: Process started. [pid: 1690903, tid:23137508595584]
Fri May 12 20:45:19 2023: Process started. [pid: 642060, tid:22476857681792]
Fri May 12 20:45:19 2023: Process started. [pid: 883743, tid:22590929037184]
Fri May 12 20:45:19 2023: Process started. [pid: 540326, tid:22795539273600]
Fri May 12 20:45:19 2023: Process started. [pid: 543402, tid:22972660561792]
Fri May 12 20:45:19 2023: Process started. [pid: 1887614, tid:23195455211392]
Fri May 12 20:45:19 2023: Process started. [pid: 522017, tid:22578875709312]
Fri May 12 20:45:19 2023: Process started. [pid: 554698, tid:22833531840384]
Fri May 12 20:45:19 2023: Process started. [pid: 73120, tid:22610299524992]
Fri May 12 20:45:19 2023: Process started. [pid: 539221, tid:23227768600448]
Fri May 12 20:45:19 2023: Process started. [pid: 72667, tid:22406602413952]
Fri May 12 20:45:19 2023: Process started. [pid: 558415, tid:23158268733312]
Fri May 12 20:45:19 2023: Process started. [pid: 186241, tid:22836880115584]
Fri May 12 20:45:19 2023: Process started. [pid: 2843423, tid:23048499640192]
Fri May 12 20:45:19 2023: Process started. [pid: 556473, tid:23246876354432]
Fri May 12 20:45:19 2023: Process started. [pid: 2013738, tid:23032676169600]
Fri May 12 20:45:19 2023: Process started. [pid: 525541, tid:23205705009024]
Fri May 12 20:45:19 2023: Process started. [pid: 555960, tid:22440086574976]
Fri May 12 20:45:19 2023: Process started. [pid: 534550, tid:23029432665984]
Fri May 12 20:45:19 2023: Process started. [pid: 531671, tid:23103785875328]
Fri May 12 20:45:19 2023: Process started. [pid: 3413766, tid:22941876692864]
Fri May 12 20:45:19 2023: Process started. [pid: 1954315, tid:23348733978496]
Fri May 12 20:45:19 2023: Process started. [pid: 538857, tid:23006483163008]
Fri May 12 20:45:19 2023: Process started. [pid: 529750, tid:22647770777472]
Fri May 12 20:45:19 2023: Process started. [pid: 414389, tid:22527066040192]
Fri May 12 20:45:19 2023: Process started. [pid: 537677, tid:23114655770496]
Fri May 12 20:45:19 2023: Process started. [pid: 549090, tid:22481400035200]
Fri May 12 20:45:19 2023: Process started. [pid: 1488307, tid:22671683975040]
Fri May 12 20:45:19 2023: Process started. [pid: 521191, tid:22831279167360]
Fri May 12 20:45:19 2023: Process started. [pid: 528027, tid:22911071594368]
Fri May 12 20:45:19 2023: Process started. [pid: 4129682, tid:22888878385024]
Fri May 12 20:45:19 2023: Process started. [pid: 187555, tid:22823422289792]
Fri May 12 20:45:19 2023: Process started. [pid: 2516597, tid:22642971998080]
Fri May 12 20:45:19 2023: Process started. [pid: 540689, tid:22931646883712]
Fri May 12 20:45:19 2023: Process started. [pid: 3542186, tid:22663657621376]
Fri May 12 20:45:19 2023: Process started. [pid: 526919, tid:23166755952512]
Fri May 12 20:45:19 2023: Process started. [pid: 653042, tid:22579295881088]
Fri May 12 20:45:19 2023: Process started. [pid: 503842, tid:22390388406144]
Fri May 12 20:45:19 2023: Process started. [pid: 728506, tid:22818020931456]
Fri May 12 20:45:19 2023: Process started. [pid: 306037, tid:22405290399616]
Fri May 12 20:45:19 2023: Process started. [pid: 570462, tid:22568187365248]
Fri May 12 20:45:19 2023: Process started. [pid: 185479, tid:22388710041472]
Fri May 12 20:45:19 2023: Process started. [pid: 529083, tid:23260377794432]
Fri May 12 20:45:19 2023: Process started. [pid: 528068, tid:23270810703744]
Fri May 12 20:45:19 2023: Process started. [pid: 543739, tid:23412334688128]
Fri May 12 20:45:20 2023: Process started. [pid: 2154754, tid:23055888578432]
Tasks:
1. mpi_filterDProofRepresentativeFile(33, true)

[Rank 0 ; pid: 2154754 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 1 ; pid: 581272 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 2 ; pid: 73120 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 3 ; pid: 2516597 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 4 ; pid: 3542186 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 5 ; pid: 1943502 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 6 ; pid: 72667 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 7 ; pid: 414389 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 8 ; pid: 2013738 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 9 ; pid: 728506 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 10 ; pid: 540326 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 11 ; pid: 883743 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 12 ; pid: 1690903 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 13 ; pid: 542116 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 14 ; pid: 554698 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 15 ; pid: 526919 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 16 ; pid: 359708 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 17 ; pid: 543402 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 18 ; pid: 555960 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 19 ; pid: 543739 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 20 ; pid: 540689 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 21 ; pid: 537677 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 22 ; pid: 534550 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 23 ; pid: 581606 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 24 ; pid: 306037 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 25 ; pid: 538857 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 26 ; pid: 539221 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 27 ; pid: 529083 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 28 ; pid: 562750 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 29 ; pid: 558415 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 30 ; pid: 525112 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 31 ; pid: 1954315 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 32 ; pid: 529750 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 33 ; pid: 1488307 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 34 ; pid: 642060 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 35 ; pid: 556473 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 36 ; pid: 570462 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 37 ; pid: 554788 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 38 ; pid: 2608975 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 39 ; pid: 523325 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 40 ; pid: 531671 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 41 ; pid: 521191 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 42 ; pid: 528068 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 43 ; pid: 528027 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 44 ; pid: 186241 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 45 ; pid: 503842 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 46 ; pid: 549090 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 47 ; pid: 4129682 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 48 ; pid: 533601 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 49 ; pid: 525541 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 50 ; pid: 187555 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 51 ; pid: 194204 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 52 ; pid: 1887614 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 53 ; pid: 185230 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 54 ; pid: 185479 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 55 ; pid: 3413766 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 56 ; pid: 522017 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 57 ; pid: 653042 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 58 ; pid: 2843423 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
[Rank 59 ; pid: 503116 ; 60 processes] Calling mpi_filterDProofRepresentativeFile(33, true).
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0298.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0302.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0305.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0311.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0313.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0316.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0318.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0322.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0328.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0801.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0803.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0804.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0805.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0806.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0807.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0808.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0809.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0811.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0812.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0813.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0815.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0816.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0817.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0818.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0820.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0821.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0822.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0823.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0825.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0826.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0827.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0829.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0830.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0832.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 34 on "nrm009.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 35 on "nrm010.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 36 on "nrm011.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 37 on "nrm012.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 38 on "nrm013.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 39 on "nrm016.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 40 on "nrm017.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 41 on "nrm018.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 42 on "nrm019.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 43 on "nrm020.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 44 on "nrm021.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 45 on "nrm022.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 46 on "nrm024.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 47 on "nrm027.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 48 on "nrm028.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 49 on "nrm029.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 50 on "nrm030.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 51 on "nrm031.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 52 on "nrm032.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 53 on "nrm033.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 54 on "nrm034.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 55 on "nrm035.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 56 on "nrm036.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 57 on "nrm037.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 58 on "nrm039.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Fri May 12 20:45:20 2023: MPI-based D-proof representative filter started. [rank 59 on "nrm040.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
0.37 ms taken to load built-in representatives.
38.61 ms taken to read 5221 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs17.txt. [tid:23055726208768]
59.73 ms taken to read 15275 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs19.txt. [tid:23055724107520]
151.07 ms taken to read 44206 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs21.txt. [tid:23055652878080]
494.15 ms taken to read 129885 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs23.txt. [tid:23055650776832]
5942.25 ms (5 s 942.25 ms) taken to read 385789 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs25.txt. [tid:23055648675584]
1115.22 ms (1 s 115.22 ms) taken to read 1149058 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs27.txt. [tid:23055646574336]
1936.09 ms (1 s 936.09 ms) taken to read 3449251 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs29.txt. [tid:23055644473088]
4562.95 ms (4 s 562.95 ms) taken to read 10411430 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs31.txt. [tid:23055642371840]
5950.00 ms (5 s 950.00 ms) total read duration.
Loaded 16 representative collections of sizes:
1 : 3
3 : 6
5 : 12
7 : 38
9 : 89
11 : 229
13 : 672
15 : 1844
17 : 5221
19 : 15275
21 : 44206
23 : 129885
25 : 385789
27 : 1149058
29 : 3449251
31 : 10411430
15593008 representatives in total.
16227.02 ms (16 s 227.02 ms) taken to read 39933795 condensed detachment proofs and conclusions from data/dProofs-withConclusions/dProofs33-unfiltered33+.txt. [tid:23055642371840]
16229.94 ms (16 s 229.94 ms) additional read duration.
Loaded 1 more representative collection of size:
33 : 39933795
55526803 representatives in total.
Fri May 12 20:45:44 2023: Representative collections were initialized successfully on all ranks.
Estimated removal count set to 8362467, based on last known pair (29:926015, 31:2782763) with 2782763/926015 ≈ 3.00509 and 2782763 * (2782763/926015)^1 ≈ 8362467.04.
Fri May 12 20:45:45 2023: Inserted  5% of D-proof conclusions. [ 2776340 of 55526803] (ETC: Fri May 12 20:46:13 2023 ; 27 s 961.56 ms remaining ; 29 s 433.22 ms total)
Fri May 12 20:45:47 2023: Inserted 10% of D-proof conclusions. [ 5552680 of 55526803] (ETC: Fri May 12 20:46:13 2023 ; 26 s 143.96 ms remaining ; 29 s  48.84 ms total)
Fri May 12 20:45:48 2023: Inserted 15% of D-proof conclusions. [ 8329020 of 55526803] (ETC: Fri May 12 20:46:10 2023 ; 22 s 834.04 ms remaining ; 26 s 863.58 ms total)
Fri May 12 20:45:49 2023: Inserted 20% of D-proof conclusions. [11105360 of 55526803] (ETC: Fri May 12 20:46:10 2023 ; 21 s 131.31 ms remaining ; 26 s 414.13 ms total)
Fri May 12 20:45:50 2023: Inserted 25% of D-proof conclusions. [13881700 of 55526803] (ETC: Fri May 12 20:46:10 2023 ; 19 s 439.33 ms remaining ; 25 s 919.10 ms total)
Fri May 12 20:45:51 2023: Inserted 30% of D-proof conclusions. [16658040 of 55526803] (ETC: Fri May 12 20:46:09 2023 ; 17 s 702.40 ms remaining ; 25 s 289.14 ms total)
Fri May 12 20:45:52 2023: Inserted 35% of D-proof conclusions. [19434381 of 55526803] (ETC: Fri May 12 20:46:09 2023 ; 16 s 396.08 ms remaining ; 25 s 224.74 ms total)
Fri May 12 20:45:54 2023: Inserted 40% of D-proof conclusions. [22210721 of 55526803] (ETC: Fri May 12 20:46:09 2023 ; 14 s 952.71 ms remaining ; 24 s 921.18 ms total)
Fri May 12 20:45:55 2023: Inserted 45% of D-proof conclusions. [24987061 of 55526803] (ETC: Fri May 12 20:46:08 2023 ; 13 s 540.09 ms remaining ; 24 s 618.34 ms total)
Fri May 12 20:45:56 2023: Inserted 50% of D-proof conclusions. [27763401 of 55526803] (ETC: Fri May 12 20:46:08 2023 ; 12 s 153.54 ms remaining ; 24 s 307.09 ms total)
Fri May 12 20:45:57 2023: Inserted 55% of D-proof conclusions. [30539741 of 55526803] (ETC: Fri May 12 20:46:08 2023 ; 10 s 857.14 ms remaining ; 24 s 126.98 ms total)
Fri May 12 20:45:58 2023: Inserted 60% of D-proof conclusions. [33316081 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 9 s 539.73 ms remaining ; 23 s 849.33 ms total)
Fri May 12 20:45:59 2023: Inserted 65% of D-proof conclusions. [36092421 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 8 s 346.73 ms remaining ; 23 s 847.81 ms total)
Fri May 12 20:46:00 2023: Inserted 70% of D-proof conclusions. [38868762 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 7 s 101.37 ms remaining ; 23 s 671.23 ms total)
Fri May 12 20:46:01 2023: Inserted 75% of D-proof conclusions. [41645102 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 5 s 867.48 ms remaining ; 23 s 469.93 ms total)
Fri May 12 20:46:02 2023: Inserted 80% of D-proof conclusions. [44421442 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 4 s 659.62 ms remaining ; 23 s 298.08 ms total)
Fri May 12 20:46:03 2023: Inserted 85% of D-proof conclusions. [47197782 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 3 s 476.49 ms remaining ; 23 s 176.62 ms total)
Fri May 12 20:46:04 2023: Inserted 90% of D-proof conclusions. [49974122 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 2 s 307.08 ms remaining ; 23 s  70.83 ms total)
Fri May 12 20:46:06 2023: Inserted 95% of D-proof conclusions. [52750462 of 55526803] (ETC: Fri May 12 20:46:07 2023 ; 1 s 153.47 ms remaining ; 23 s  69.46 ms total)
23406.45 ms (23 s 406.45 ms) total insertion duration.
Reservable workloads: { 0:[443709, 665562], 1:[1109272, 1331125], 2:[1774835, 1996688], 3:[2440399, 2662252], 4:[3105962, 3327815], 5:[3771525, 3993378], 6:[4437088, 4658941], 7:[5102652, 5324505], 8:[5768215, 5990068], 9:[6433778, 6655631], 10:[7099341, 7321194], 11:[7764905, 7986758], 12:[8430468, 8652321], 13:[9096031, 9317884], 14:[9761594, 9983447], 15:[10427158, 10649011], 16:[11092721, 11314574], 17:[11758284, 11980137], 18:[12423847, 12645700], 19:[13089411, 13311264], 20:[13754974, 13976827], 21:[14420537, 14642390], 22:[15086100, 15307953], 23:[15751664, 15973517], 24:[16417227, 16639080], 25:[17082790, 17304643], 26:[17748353, 17970206], 27:[18413917, 18635770], 28:[19079480, 19301333], 29:[19745043, 19966896], 30:[20410606, 20632459], 31:[21076170, 21298023], 32:[21741733, 21963586], 33:[22407296, 22629149], 34:[23072859, 23294712], 35:[23738423, 23960276], 36:[24403986, 24625839], 37:[25069549, 25291402], 38:[25735112, 25956965], 39:[26400676, 26622529], 40:[27066239, 27288092], 41:[27731802, 27953655], 42:[28397365, 28619218], 43:[29062929, 29284782], 44:[29728492, 29950345], 45:[30394055, 30615908], 46:[31059618, 31281471], 47:[31725182, 31947035], 48:[32390745, 32612598], 49:[33056308, 33278161], 50:[33721871, 33943724], 51:[34387435, 34609288], 52:[35052998, 35274851], 53:[35718561, 35940414], 54:[36384124, 36605977], 55:[37049688, 37271541], 56:[37715251, 37937104], 57:[38380814, 38602667], 58:[39046377, 39268230], 59:[39711941, 39933794] }
Fri May 12 21:36:50 2023: Removed ≈ 2% of redundant conclusions. [ 167249 of approximately 8362467] (ETC: Sun May 14 14:59:38 2023 ; 1 d 17 h 22 min 48 s 152.20 ms remaining ; 1 d 18 h 13 min 28 s 312.27 ms total)
Fri May 12 22:25:42 2023: Removed ≈ 4% of redundant conclusions. [ 334498 of approximately 8362467] (ETC: Sun May 14 14:14:35 2023 ; 1 d 15 h 48 min 53 s 251.84 ms remaining ; 1 d 17 h 28 min 25 s 458.02 ms total)
Fri May 12 23:12:56 2023: Removed ≈ 6% of redundant conclusions. [ 501748 of approximately 8362467] (ETC: Sun May 14 13:32:17 2023 ; 1 d 14 h 19 min 21 s 232.08 ms remaining ; 1 d 16 h 46 min  7 s 267.80 ms total)
Fri May 12 23:58:51 2023: Removed ≈ 8% of redundant conclusions. [ 668997 of approximately 8362467] (ETC: Sun May 14 12:54:47 2023 ; 1 d 12 h 55 min 55 s 975.21 ms remaining ; 1 d 16 h  8 min 37 s 357.59 ms total)
Sat May 13 00:44:41 2023: Removed ≈10% of redundant conclusions. [ 836246 of approximately 8362467] (ETC: Sun May 14 12:31:22 2023 ; 1 d 11 h 46 min 41 s 197.53 ms remaining ; 1 d 15 h 45 min 12 s 428.38 ms total)
Sat May 13 01:29:55 2023: Removed ≈12% of redundant conclusions. [1003496 of approximately 8362467] (ETC: Sun May 14 12:10:47 2023 ; 1 d 10 h 40 min 52 s 355.42 ms remaining ; 1 d 15 h 24 min 37 s 675.84 ms total)
Sat May 13 02:15:13 2023: Removed ≈14% of redundant conclusions. [1170745 of approximately 8362467] (ETC: Sun May 14 11:56:31 2023 ; 1 d  9 h 41 min 18 s 505.67 ms remaining ; 1 d 15 h 10 min 21 s 510.77 ms total)
Sat May 13 03:00:11 2023: Removed ≈16% of redundant conclusions. [1337994 of approximately 8362467] (ETC: Sun May 14 11:43:49 2023 ; 1 d  8 h 43 min 38 s  12.16 ms remaining ; 1 d 14 h 57 min 39 s 523.91 ms total)
Sat May 13 03:45:07 2023: Removed ≈18% of redundant conclusions. [1505244 of approximately 8362467] (ETC: Sun May 14 11:33:41 2023 ; 1 d  7 h 48 min 34 s 266.10 ms remaining ; 1 d 14 h 47 min 31 s 542.81 ms total)
Sat May 13 04:30:01 2023: Removed ≈20% of redundant conclusions. [1672493 of approximately 8362467] (ETC: Sun May 14 11:25:26 2023 ; 1 d  6 h 55 min 25 s 343.90 ms remaining ; 1 d 14 h 39 min 16 s 671.55 ms total)
Sat May 13 05:14:55 2023: Removed ≈22% of redundant conclusions. [1839742 of approximately 8362467] (ETC: Sun May 14 11:18:42 2023 ; 1 d  6 h  3 min 46 s 762.54 ms remaining ; 1 d 14 h 32 min 32 s 243.93 ms total)
Sat May 13 05:59:44 2023: Removed ≈24% of redundant conclusions. [2006992 of approximately 8362467] (ETC: Sun May 14 11:12:44 2023 ; 1 d  5 h 12 min 59 s 811.46 ms remaining ; 1 d 14 h 26 min 34 s 487.02 ms total)
Sat May 13 06:44:43 2023: Removed ≈26% of redundant conclusions. [2174241 of approximately 8362467] (ETC: Sun May 14 11:08:17 2023 ; 1 d  4 h 23 min 34 s 319.37 ms remaining ; 1 d 14 h 22 min  7 s 449.23 ms total)
Sat May 13 07:29:42 2023: Removed ≈28% of redundant conclusions. [2341490 of approximately 8362467] (ETC: Sun May 14 11:04:30 2023 ; 1 d  3 h 34 min 48 s 447.56 ms remaining ; 1 d 14 h 18 min 20 s 604.20 ms total)
Sat May 13 08:14:46 2023: Removed ≈30% of redundant conclusions. [2508740 of approximately 8362467] (ETC: Sun May 14 11:01:29 2023 ; 1 d  2 h 46 min 43 s 325.28 ms remaining ; 1 d 14 h 15 min 19 s  33.76 ms total)
Sat May 13 08:59:47 2023: Removed ≈32% of redundant conclusions. [2675989 of approximately 8362467] (ETC: Sun May 14 10:58:44 2023 ; 1 d  1 h 58 min 57 s  84.68 ms remaining ; 1 d 14 h 12 min 34 s 525.65 ms total)
Sat May 13 09:44:49 2023: Removed ≈34% of redundant conclusions. [2843238 of approximately 8362467] (ETC: Sun May 14 10:56:18 2023 ; 1 d  1 h 11 min 29 s 503.27 ms remaining ; 1 d 14 h 10 min  8 s 318.88 ms total)
Sat May 13 10:29:51 2023: Removed ≈36% of redundant conclusions. [3010488 of approximately 8362467] (ETC: Sun May 14 10:54:10 2023 ; 1 d      24 min 19 s 498.59 ms remaining ; 1 d 14 h  8 min      463.47 ms total)
Sat May 13 11:14:56 2023: Removed ≈38% of redundant conclusions. [3177737 of approximately 8362467] (ETC: Sun May 14 10:52:24 2023 ; 23 h 37 min 28 s  38.51 ms remaining ; 1 d 14 h  6 min 14 s 243.49 ms total)
Sat May 13 12:00:05 2023: Removed ≈40% of redundant conclusions. [3344986 of approximately 8362467] (ETC: Sun May 14 10:50:58 2023 ; 22 h 50 min 53 s 106.44 ms remaining ; 1 d 14 h  4 min 48 s 488.88 ms total)
Sat May 13 12:45:15 2023: Removed ≈42% of redundant conclusions. [3512236 of approximately 8362467] (ETC: Sun May 14 10:49:43 2023 ; 22 h  4 min 27 s 441.32 ms remaining ; 1 d 14 h  3 min 32 s 825.92 ms total)
Sat May 13 13:30:33 2023: Removed ≈44% of redundant conclusions. [3679485 of approximately 8362467] (ETC: Sun May 14 10:48:52 2023 ; 21 h 18 min 18 s 882.78 ms remaining ; 1 d 14 h  2 min 42 s 276.65 ms total)
Sat May 13 14:15:48 2023: Removed ≈46% of redundant conclusions. [3846734 of approximately 8362467] (ETC: Sun May 14 10:47:58 2023 ; 20 h 32 min 10 s 497.84 ms remaining ; 1 d 14 h  1 min 48 s 304.48 ms total)
Sat May 13 15:01:09 2023: Removed ≈48% of redundant conclusions. [4013984 of approximately 8362467] (ETC: Sun May 14 10:47:22 2023 ; 19 h 46 min 13 s 661.31 ms remaining ; 1 d 14 h  1 min 12 s 420.55 ms total)
Sat May 13 15:46:29 2023: Removed ≈50% of redundant conclusions. [4181233 of approximately 8362467] (ETC: Sun May 14 10:46:47 2023 ; 19 h        18 s 792.32 ms remaining ; 1 d 14 h        37 s 568.28 ms total)
Sat May 13 16:31:59 2023: Removed ≈52% of redundant conclusions. [4348482 of approximately 8362467] (ETC: Sun May 14 10:46:34 2023 ; 18 h 14 min 35 s 805.43 ms remaining ; 1 d 14 h        24 s 566.01 ms total)
Sat May 13 17:17:29 2023: Removed ≈54% of redundant conclusions. [4515732 of approximately 8362467] (ETC: Sun May 14 10:46:23 2023 ; 17 h 28 min 54 s 294.60 ms remaining ; 1 d 14 h        13 s 677.51 ms total)
Sat May 13 18:03:01 2023: Removed ≈56% of redundant conclusions. [4682981 of approximately 8362467] (ETC: Sun May 14 10:46:16 2023 ; 16 h 43 min 14 s 739.51 ms remaining ; 1 d 14 h         6 s 206.82 ms total)
Sat May 13 18:48:33 2023: Removed ≈58% of redundant conclusions. [4850230 of approximately 8362467] (ETC: Sun May 14 10:46:08 2023 ; 15 h 57 min 35 s 219.72 ms remaining ; 1 d 13 h 59 min 58 s 108.69 ms total)
Sat May 13 19:34:07 2023: Removed ≈60% of redundant conclusions. [5017480 of approximately 8362467] (ETC: Sun May 14 10:46:06 2023 ; 15 h 11 min 58 s 359.23 ms remaining ; 1 d 13 h 59 min 55 s 889.90 ms total)
Sat May 13 20:19:37 2023: Removed ≈62% of redundant conclusions. [5184729 of approximately 8362467] (ETC: Sun May 14 10:45:56 2023 ; 14 h 26 min 18 s 695.37 ms remaining ; 1 d 13 h 59 min 46 s  17.20 ms total)
Sat May 13 21:05:19 2023: Removed ≈64% of redundant conclusions. [5351978 of approximately 8362467] (ETC: Sun May 14 10:46:05 2023 ; 13 h 40 min 46 s 293.94 ms remaining ; 1 d 13 h 59 min 55 s 220.97 ms total)
Sat May 13 21:51:05 2023: Removed ≈66% of redundant conclusions. [5519228 of approximately 8362467] (ETC: Sun May 14 10:46:20 2023 ; 12 h 55 min 15 s 453.61 ms remaining ; 1 d 14 h        10 s 147.10 ms total)
Sat May 13 22:37:05 2023: Removed ≈68% of redundant conclusions. [5686477 of approximately 8362467] (ETC: Sun May 14 10:46:56 2023 ; 12 h  9 min 50 s 865.62 ms remaining ; 1 d 14 h        46 s 426.43 ms total)
Sat May 13 23:21:55 2023: Removed ≈70% of redundant conclusions. [5853726 of approximately 8362467] (ETC: Sun May 14 10:45:49 2023 ; 11 h 23 min 53 s 709.44 ms remaining ; 1 d 13 h 59 min 38 s 982.41 ms total)
Sun May 14 00:06:37 2023: Removed ≈72% of redundant conclusions. [6020976 of approximately 8362467] (ETC: Sun May 14 10:44:34 2023 ; 10 h 37 min 57 s 326.02 ms remaining ; 1 d 13 h 58 min 24 s 721.78 ms total)
Sun May 14 00:51:18 2023: Removed ≈74% of redundant conclusions. [6188225 of approximately 8362467] (ETC: Sun May 14 10:43:22 2023 ; 9 h 52 min  4 s 360.92 ms remaining ; 1 d 13 h 57 min 12 s 120.92 ms total)
Sun May 14 01:36:09 2023: Removed ≈76% of redundant conclusions. [6355474 of approximately 8362467] (ETC: Sun May 14 10:42:28 2023 ; 9 h  6 min 18 s 824.17 ms remaining ; 1 d 13 h 56 min 18 s 371.45 ms total)
Sun May 14 02:21:12 2023: Removed ≈78% of redundant conclusions. [6522724 of approximately 8362467] (ETC: Sun May 14 10:41:52 2023 ; 8 h 20 min 39 s 202.36 ms remaining ; 1 d 13 h 55 min 41 s 809.62 ms total)
Sun May 14 03:06:08 2023: Removed ≈80% of redundant conclusions. [6689973 of approximately 8362467] (ETC: Sun May 14 10:41:07 2023 ; 7 h 34 min 59 s 448.22 ms remaining ; 1 d 13 h 54 min 57 s 192.12 ms total)
Sun May 14 03:51:22 2023: Removed ≈82% of redundant conclusions. [6857222 of approximately 8362467] (ETC: Sun May 14 10:40:47 2023 ; 6 h 49 min 26 s   0.32 ms remaining ; 1 d 13 h 54 min 37 s 694.35 ms total)
Sun May 14 04:36:43 2023: Removed ≈84% of redundant conclusions. [7024472 of approximately 8362467] (ETC: Sun May 14 10:40:38 2023 ; 6 h  3 min 54 s 886.56 ms remaining ; 1 d 13 h 54 min 28 s  12.45 ms total)
Sun May 14 05:22:19 2023: Removed ≈86% of redundant conclusions. [7191721 of approximately 8362467] (ETC: Sun May 14 10:40:45 2023 ; 5 h 18 min 26 s 572.32 ms remaining ; 1 d 13 h 54 min 35 s 444.32 ms total)
Sun May 14 06:08:00 2023: Removed ≈88% of redundant conclusions. [7358970 of approximately 8362467] (ETC: Sun May 14 10:40:59 2023 ; 4 h 32 min 58 s 747.98 ms remaining ; 1 d 13 h 54 min 49 s 435.93 ms total)
Sun May 14 06:53:48 2023: Removed ≈90% of redundant conclusions. [7526220 of approximately 8362467] (ETC: Sun May 14 10:41:19 2023 ; 3 h 47 min 30 s 924.37 ms remaining ; 1 d 13 h 55 min  9 s 194.75 ms total)
Sun May 14 07:38:53 2023: Removed ≈92% of redundant conclusions. [7693469 of approximately 8362467] (ETC: Sun May 14 10:40:51 2023 ; 3 h  1 min 58 s 534.73 ms remaining ; 1 d 13 h 54 min 41 s 553.54 ms total)
Sun May 14 08:24:13 2023: Removed ≈94% of redundant conclusions. [7860718 of approximately 8362467] (ETC: Sun May 14 10:40:42 2023 ; 2 h 16 min 28 s 330.59 ms remaining ; 1 d 13 h 54 min 31 s 909.96 ms total)
Sun May 14 09:09:45 2023: Removed ≈96% of redundant conclusions. [8027968 of approximately 8362467] (ETC: Sun May 14 10:40:44 2023 ; 1 h 30 min 58 s 965.46 ms remaining ; 1 d 13 h 54 min 34 s   5.83 ms total)
[Rank 46] Workload transfer approved. Starting to work on 0:[640913, 657346].
[Rank 36] Workload transfer approved. Starting to work on 4:[3303166, 3319599].
[Rank 1] Workload transfer approved. Starting to work on 10:[7296545, 7312978].
[Rank 2] Workload transfer approved. Starting to work on 11:[7962109, 7978542].
[Rank 6] Workload transfer approved. Starting to work on 13:[9293235, 9309668].
Sun May 14 09:55:30 2023: Removed ≈98% of redundant conclusions. [8195217 of approximately 8362467] (ETC: Sun May 14 10:40:59 2023 ; 45 min 29 s 805.31 ms remaining ; 1 d 13 h 54 min 49 s 726.99 ms total)
[Rank 57] Workload transfer approved. Starting to work on 17:[11955488, 11971921].
[Rank 32] Workload transfer approved. Starting to work on 24:[16614431, 16630864].
[Rank 51] Workload transfer approved. Starting to work on 31:[21273374, 21289807].
[Rank 28] Workload transfer approved. Starting to work on 0:[657347, 662824].
[Rank 53] Workload transfer approved. Starting to work on 3:[2654037, 2659514].
[Rank 20] Workload transfer approved. Starting to work on 5:[3985163, 3990640].
[Rank 7] Workload transfer approved. Starting to work on 8:[5981853, 5987330].
[Rank 58] Workload transfer approved. Starting to work on 10:[7312979, 7318456].
[Rank 4] Workload transfer approved. Starting to work on 12:[8644106, 8649583].
[Rank 42] Workload transfer approved. Starting to work on 14:[9975232, 9980709].
[Rank 3] Workload transfer approved. Starting to work on 16:[11306359, 11311836].
[Rank 26] Workload transfer approved. Starting to work on 18:[12637485, 12642962].
[Rank 48] Workload transfer approved. Starting to work on 19:[13303049, 13308526].
[Rank 37] Workload transfer approved. Starting to work on 24:[16630865, 16636342].
[Rank 12] Workload transfer approved. Starting to work on 27:[18627555, 18633032].
[Rank 9] Workload transfer approved. Starting to work on 31:[21289808, 21295285].
[Rank 28] Workload transfer approved. Starting to work on 39:[26614314, 26619791].
[Rank 53] Workload transfer approved. Starting to work on 41:[27945440, 27950917].
[Rank 20] Workload transfer approved. Starting to work on 45:[30607693, 30613170].
[Rank 11] Workload transfer approved. Starting to work on 50:[33935509, 33940986].
[Rank 7] Workload transfer approved. Starting to work on 52:[35266636, 35272113].
[Rank 13] Workload transfer approved. Starting to work on 56:[37928889, 37934366].
[Rank 14] Workload transfer approved. Starting to work on 5:[3990641, 3992466].
[Rank 58] Workload transfer approved. Starting to work on 10:[7318457, 7320282].
[Rank 46] Workload transfer approved. Starting to work on 18:[12642963, 12644788].
[Rank 4] Workload transfer approved. Starting to work on 21:[14639653, 14641478].
[Rank 5] Workload transfer approved. Starting to work on 22:[15305216, 15307041].
[Rank 40] Workload transfer approved. Starting to work on 23:[15970780, 15972605].
[Rank 15] Workload transfer approved. Starting to work on 24:[16636343, 16638168].
[Rank 16] Workload transfer approved. Starting to work on 30:[20629722, 20631547].
[Rank 55] Workload transfer approved. Starting to work on 31:[21295286, 21297111].
[Rank 36] Workload transfer approved. Starting to work on 41:[27950918, 27952743].
[Rank 14] Workload transfer approved. Starting to work on 44:[29947608, 29949433].
[Rank 43] Workload transfer approved. Starting to work on 47:[31944298, 31946123].
[Rank 17] Workload transfer approved. Starting to work on 49:[33275424, 33277249].
[Rank 25] Workload transfer approved. Starting to work on 50:[33940987, 33942812].
[Rank 38] Workload transfer approved. Starting to work on 54:[36603240, 36605065].
[Rank 39] Workload transfer approved. Starting to work on 59:[39931057, 39932882].
[Rank 42] Workload transfer approved. Starting to work on 8:[5989157, 5990068].
[Rank 1] Workload transfer approved. Starting to work on 10:[7320283, 7321194].
[Rank 22] Workload transfer approved. Starting to work on 19:[13310353, 13311264].
[Rank 0] Workload transfer approved. Starting to work on 21:[14641479, 14642390].
[Rank 58] Workload transfer approved. Starting to work on 27:[18634859, 18635770].
[Rank 8] Workload transfer approved. Starting to work on 30:[20631548, 20632459].
[Rank 46] Workload transfer approved. Starting to work on 31:[21297112, 21298023].
[Rank 27] Workload transfer approved. Starting to work on 33:[22628238, 22629149].
[Rank 19] Workload transfer approved. Starting to work on 34:[23293801, 23294712].
[Rank 4] Workload transfer approved. Starting to work on 35:[23959365, 23960276].
[Rank 30] Workload transfer approved. Starting to work on 41:[27952744, 27953655].
[Rank 3] Workload transfer approved. Starting to work on 44:[29949434, 29950345].
[Rank 33] Workload transfer approved. Starting to work on 45:[30614997, 30615908].
[Rank 18] Workload transfer approved. Starting to work on 50:[33942813, 33943724].
[Rank 48] Workload transfer approved. Starting to work on 52:[35273940, 35274851].
[Rank 26] Workload transfer approved. Starting to work on 54:[36605066, 36605977].
[Rank 5] Workload transfer approved. Starting to work on 59:[39932883, 39933794].
137831593.65 ms (1 d 14 h 17 min 11 s 593.65 ms) taken to detect 8374498 conclusions for which there are more general variants proven in lower or equal amounts of steps.
Found 31559297 representative and 8374498 redundant condensed detachment proof strings.
[Copy] Removal count: { 33, 8374498 }
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0302.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0305.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0311.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0313.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0316.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0318.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0322.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0328.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0801.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0803.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0804.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0805.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0806.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0807.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0808.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0809.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0811.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0812.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0813.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0815.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0816.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0817.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0818.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0820.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0821.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0822.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0823.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0825.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0826.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0827.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0829.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0830.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0832.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 34 on "nrm009.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 35 on "nrm010.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 36 on "nrm011.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 37 on "nrm012.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 38 on "nrm013.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 39 on "nrm016.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 40 on "nrm017.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 41 on "nrm018.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 42 on "nrm019.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 43 on "nrm020.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 44 on "nrm021.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 45 on "nrm022.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 46 on "nrm024.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 47 on "nrm027.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 48 on "nrm028.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 49 on "nrm029.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 50 on "nrm030.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 51 on "nrm031.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 52 on "nrm032.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 53 on "nrm033.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 54 on "nrm034.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 55 on "nrm035.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 56 on "nrm036.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 57 on "nrm037.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 58 on "nrm039.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:03:19 2023: MPI-based D-proof representative filter complete. [rank 59 on "nrm040.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
9864.91 ms (9 s 864.91 ms) taken to filter and order new representative proofs.
Sun May 14 11:03:28 2023: Starting to write 31559297 entries to data/dProofs-withConclusions/dProofs33.txt.
14994.17 ms (14 s 994.17 ms) taken to print and save 5876664090 bytes of representative condensed detachment proof strings to data/dProofs-withConclusions/dProofs33.txt.
Sun May 14 11:03:43 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0298.hpc.itc.rwth-aachen.de" ; 60 processes ; 48 local hardware thread contexts]
Sun May 14 11:04:24 2023: Process terminated. [pid: 414389, tid:22527066040192]
Sun May 14 11:04:24 2023: Process terminated. [pid: 556473, tid:23246876354432]
Sun May 14 11:04:24 2023: Process terminated. [pid: 525541, tid:23205705009024]
Sun May 14 11:04:24 2023: Process terminated. [pid: 186241, tid:22836880115584]
Sun May 14 11:04:24 2023: Process terminated. [pid: 194204, tid:22543541307264]
Sun May 14 11:04:24 2023: Process terminated. [pid: 562750, tid:22694606419840]
Sun May 14 11:04:24 2023: Process terminated. [pid: 540689, tid:22931646883712]
Sun May 14 11:04:24 2023: Process terminated. [pid: 523325, tid:22553407625088]
Sun May 14 11:04:24 2023: Process terminated. [pid: 653042, tid:22579295881088]
Sun May 14 11:04:24 2023: Process terminated. [pid: 306037, tid:22405290399616]
Sun May 14 11:04:24 2023: Process terminated. [pid: 642060, tid:22476857681792]
Sun May 14 11:04:24 2023: Process terminated. [pid: 359708, tid:23125961967488]
Sun May 14 11:04:24 2023: Process terminated. [pid: 728506, tid:22818020931456]
Sun May 14 11:04:24 2023: Process terminated. [pid: 521191, tid:22831279167360]
Sun May 14 11:04:24 2023: Process terminated. [pid: 185479, tid:22388710041472]
Sun May 14 11:04:24 2023: Process terminated. [pid: 72667, tid:22406602413952]
Sun May 14 11:04:24 2023: Process terminated. [pid: 543402, tid:22972660561792]
Sun May 14 11:04:24 2023: Process terminated. [pid: 531671, tid:23103785875328]
Sun May 14 11:04:24 2023: Process terminated. [pid: 528027, tid:22911071594368]
Sun May 14 11:04:24 2023: Process terminated. [pid: 2516597, tid:22642971998080]
Sun May 14 11:04:24 2023: Process terminated. [pid: 525112, tid:22739110213504]
Sun May 14 11:04:24 2023: Process terminated. [pid: 534550, tid:23029432665984]
Sun May 14 11:04:24 2023: Process terminated. [pid: 529750, tid:22647770777472]
Sun May 14 11:04:24 2023: Process terminated. [pid: 1954315, tid:23348733978496]
Sun May 14 11:04:24 2023: Process terminated. [pid: 1488307, tid:22671683975040]
Sun May 14 11:04:24 2023: Process terminated. [pid: 522017, tid:22578875709312]
Sun May 14 11:04:24 2023: Process terminated. [pid: 533601, tid:22987500291968]
Sun May 14 11:04:24 2023: Process terminated. [pid: 539221, tid:23227768600448]
Sun May 14 11:04:24 2023: Process terminated. [pid: 554698, tid:22833531840384]
Sun May 14 11:04:24 2023: Process terminated. [pid: 2608975, tid:22663388620672]
Sun May 14 11:04:24 2023: Process terminated. [pid: 2013738, tid:23032676169600]
Sun May 14 11:04:24 2023: Process terminated. [pid: 555960, tid:22440086574976]
Sun May 14 11:04:24 2023: Process terminated. [pid: 2843423, tid:23048499640192]
Sun May 14 11:04:24 2023: Process terminated. [pid: 1887614, tid:23195455211392]
Sun May 14 11:04:24 2023: Process terminated. [pid: 538857, tid:23006483163008]
Sun May 14 11:04:24 2023: Process terminated. [pid: 543739, tid:23412334688128]
Sun May 14 11:04:24 2023: Process terminated. [pid: 883743, tid:22590929037184]
Sun May 14 11:04:24 2023: Process terminated. [pid: 554788, tid:22762791425920]
Sun May 14 11:04:24 2023: Process terminated. [pid: 4129682, tid:22888878385024]
Sun May 14 11:04:24 2023: Process terminated. [pid: 3542186, tid:22663657621376]
Sun May 14 11:04:24 2023: Process terminated. [pid: 1690903, tid:23137508595584]
Sun May 14 11:04:24 2023: Process terminated. [pid: 581606, tid:22376695371648]
Sun May 14 11:04:24 2023: Process terminated. [pid: 549090, tid:22481400035200]
Sun May 14 11:04:24 2023: Process terminated. [pid: 503842, tid:22390388406144]
Sun May 14 11:04:24 2023: Process terminated. [pid: 185230, tid:22950550292352]
Sun May 14 11:04:24 2023: Process terminated. [pid: 73120, tid:22610299524992]
Sun May 14 11:04:24 2023: Process terminated. [pid: 503116, tid:22375242352512]
Sun May 14 11:04:24 2023: Process terminated. [pid: 558415, tid:23158268733312]
Sun May 14 11:04:24 2023: Process terminated. [pid: 3413766, tid:22941876692864]
Sun May 14 11:04:24 2023: Process terminated. [pid: 529083, tid:23260377794432]
Sun May 14 11:04:24 2023: Process terminated. [pid: 2154754, tid:23055888578432]
Sun May 14 11:04:24 2023: Process terminated. [pid: 1943502, tid:22528602843008]
Sun May 14 11:04:24 2023: Process terminated. [pid: 187555, tid:22823422289792]
Sun May 14 11:04:24 2023: Process terminated. [pid: 581272, tid:23203055196032]
Sun May 14 11:04:24 2023: Process terminated. [pid: 542116, tid:22577544931200]
Sun May 14 11:04:24 2023: Process terminated. [pid: 537677, tid:23114655770496]
Sun May 14 11:04:24 2023: Process terminated. [pid: 528068, tid:23270810703744]
Sun May 14 11:04:24 2023: Process terminated. [pid: 540326, tid:22795539273600]
Sun May 14 11:04:24 2023: Process terminated. [pid: 526919, tid:23166755952512]
Sun May 14 11:04:24 2023: Process terminated. [pid: 570462, tid:22568187365248]