( 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: 3.0475 h CPU utilization: 10532.16 core-h ) Sat Oct 14 16:35:07 2023: Process started. [pid: 6937, tid:23132472149888] Sat Oct 14 16:35:07 2023: Process started. [pid: 54062, tid:22387436451712] Sat Oct 14 16:35:07 2023: Process started. [pid: 114216, tid:22613100849024] Sat Oct 14 16:35:07 2023: Process started. [pid: 137897, tid:23171474782080] Sat Oct 14 16:35:07 2023: Process started. [pid: 11018, tid:23417691748224] Sat Oct 14 16:35:07 2023: Process started. [pid: 156213, tid:22888753100672] Sat Oct 14 16:35:07 2023: Process started. [pid: 178481, tid:22455368742784] Sat Oct 14 16:35:07 2023: Process started. [pid: 89329, tid:22482041534336] Sat Oct 14 16:35:07 2023: Process started. [pid: 74111, tid:22617346455424] Sat Oct 14 16:35:07 2023: Process started. [pid: 157259, tid:22564666230656] Sat Oct 14 16:35:07 2023: Process started. [pid: 191416, tid:23024046729088] Sat Oct 14 16:35:07 2023: Process started. [pid: 19478, tid:22375775717248] Sat Oct 14 16:35:07 2023: Process started. [pid: 84761, tid:22821805426560] Sat Oct 14 16:35:07 2023: Process started. [pid: 225181, tid:22556339160960] Sat Oct 14 16:35:07 2023: Process started. [pid: 208035, tid:23423950854016] Sat Oct 14 16:35:07 2023: Process started. [pid: 77552, tid:23013426804608] Sat Oct 14 16:35:07 2023: Process started. [pid: 90586, tid:22568367712128] Sat Oct 14 16:35:07 2023: Process started. [pid: 40286, tid:23224474052480] Sat Oct 14 16:35:07 2023: Process started. [pid: 109548, tid:22473867020160] Sat Oct 14 16:35:07 2023: Process started. [pid: 37666, tid:23021962286976] Sat Oct 14 16:35:07 2023: Process started. [pid: 145719, tid:22453235685248] Sat Oct 14 16:35:07 2023: Process started. [pid: 115188, tid:22750028617600] Sat Oct 14 16:35:07 2023: Process started. [pid: 212208, tid:23242043508608] Sat Oct 14 16:35:07 2023: Process started. [pid: 146233, tid:23005354706816] Sat Oct 14 16:35:07 2023: Process started. [pid: 15123, tid:23050152580992] Sat Oct 14 16:35:07 2023: Process started. [pid: 218581, tid:23362429380480] Sat Oct 14 16:35:07 2023: Process started. [pid: 124977, tid:22530812893056] Sat Oct 14 16:35:07 2023: Process started. [pid: 254358, tid:22910288910208] Sat Oct 14 16:35:07 2023: Process started. [pid: 43389, tid:22963292018560] Sat Oct 14 16:35:07 2023: Process started. [pid: 220581, tid:22751875950464] Sat Oct 14 16:35:07 2023: Process started. [pid: 172723, tid:23236624254848] Sat Oct 14 16:35:07 2023: Process started. [pid: 189605, tid:23039508334464] Sat Oct 14 16:35:07 2023: Process started. [pid: 195373, tid:22433941411712] Sat Oct 14 16:35:07 2023: Process started. [pid: 232451, tid:22869913020288] Sat Oct 14 16:35:07 2023: Process started. [pid: 192434, tid:23215027746688] Sat Oct 14 16:35:07 2023: Process started. [pid: 42729, tid:23412065331072] Sat Oct 14 16:35:07 2023: Process started. [pid: 249215, tid:22678198241152] Sat Oct 14 16:35:07 2023: Process started. [pid: 50723, tid:22995905763200] Sat Oct 14 16:35:07 2023: Process started. [pid: 16320, tid:22525807302528] Sat Oct 14 16:35:07 2023: Process started. [pid: 88394, tid:22841263998848] Sat Oct 14 16:35:07 2023: Process started. [pid: 173624, tid:23153447815040] Sat Oct 14 16:35:07 2023: Process started. [pid: 96778, tid:22609647695744] Sat Oct 14 16:35:07 2023: Process started. [pid: 188347, tid:23437479716736] Sat Oct 14 16:35:07 2023: Process started. [pid: 244932, tid:22981798729600] Sat Oct 14 16:35:07 2023: Process started. [pid: 195277, tid:22877055711104] Sat Oct 14 16:35:07 2023: Process started. [pid: 241985, tid:23220296468352] Sat Oct 14 16:35:07 2023: Process started. [pid: 213301, tid:23133703489408] Sat Oct 14 16:35:07 2023: Process started. [pid: 112676, tid:22649873549184] Sat Oct 14 16:35:07 2023: Process started. [pid: 87979, tid:22496845051776] Sat Oct 14 16:35:07 2023: Process started. [pid: 42210, tid:23195804661632] Sat Oct 14 16:35:07 2023: Process started. [pid: 29008, tid:22758817970048] Sat Oct 14 16:35:07 2023: Process started. [pid: 223415, tid:22525538150272] Sat Oct 14 16:35:07 2023: Process started. [pid: 30159, tid:23213040973696] Sat Oct 14 16:35:07 2023: Process started. [pid: 5289, tid:23115850078080] Sat Oct 14 16:35:07 2023: Process started. [pid: 196595, tid:22884427315072] Sat Oct 14 16:35:07 2023: Process started. [pid: 103753, tid:22758792611712] Sat Oct 14 16:35:07 2023: Process started. [pid: 181087, tid:22886774126464] Sat Oct 14 16:35:07 2023: Process started. [pid: 177210, tid:23446989952896] Sat Oct 14 16:35:07 2023: Process started. [pid: 191567, tid:22389551228800] Sat Oct 14 16:35:07 2023: Process started. [pid: 257787, tid:22711729870720] Sat Oct 14 16:35:07 2023: Process started. [pid: 90563, tid:23179689887616] Sat Oct 14 16:35:07 2023: Process started. [pid: 67701, tid:22635653396352] Sat Oct 14 16:35:07 2023: Process started. [pid: 53942, tid:22989841500032] Sat Oct 14 16:35:07 2023: Process started. [pid: 110730, tid:22523748845440] Sat Oct 14 16:35:07 2023: Process started. [pid: 93616, tid:23352962701184] Sat Oct 14 16:35:07 2023: Process started. [pid: 38906, tid:23329653208960] Sat Oct 14 16:35:07 2023: Process started. [pid: 189727, tid:22812793071488] Sat Oct 14 16:35:07 2023: Process started. [pid: 128596, tid:22718273750912] Sat Oct 14 16:35:07 2023: Process started. [pid: 99363, tid:23232211756928] Sat Oct 14 16:35:07 2023: Process started. [pid: 206278, tid:23403340855168] Sat Oct 14 16:35:07 2023: Process started. [pid: 192931, tid:22972421527424] Sat Oct 14 16:35:07 2023: Process started. [pid: 193064, tid:22776755312512] Tasks: 1. resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true) 2. mpi_filterDProofRepresentativeFile(63, true) [Rank 0 ; pid: 193064 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true). Loaded 1 custom axioms. [SHA-512/224 hash: 0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314] (1) C0CCN1CCN2.3C0.4CC4.1C2.1 - CpCCNqCCNrsCptCCtqCrq - 0\imply((\not1\imply((\not2\imply3)\imply(0\imply4)))\imply((4\imply1)\imply(2\imply1))) [Rank 1 ; pid: 196595 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 2 ; pid: 90563 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 3 ; pid: 115188 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 4 ; pid: 145719 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 5 ; pid: 156213 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 6 ; pid: 257787 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 7 ; pid: 15123 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 8 ; pid: 54062 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 9 ; pid: 220581 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 10 ; pid: 6937 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 11 ; pid: 157259 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 12 ; pid: 225181 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 13 ; pid: 178481 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 14 ; pid: 195277 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 15 ; pid: 77552 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 16 ; pid: 218581 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 17 ; pid: 43389 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 18 ; pid: 87979 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 19 ; pid: 244932 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 20 ; pid: 103753 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 21 ; pid: 37666 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 22 ; pid: 232451 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 23 ; pid: 112676 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 24 ; pid: 29008 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 25 ; pid: 38906 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 26 ; pid: 16320 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 27 ; pid: 5289 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 28 ; pid: 50723 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 29 ; pid: 19478 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 30 ; pid: 99363 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 31 ; pid: 109548 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 32 ; pid: 42729 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 33 ; pid: 84761 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 34 ; pid: 89329 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 35 ; pid: 96778 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 36 ; pid: 11018 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 37 ; pid: 88394 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 38 ; pid: 249215 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 39 ; pid: 30159 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 40 ; pid: 40286 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 41 ; pid: 212208 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 42 ; pid: 137897 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 43 ; pid: 53942 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 44 ; pid: 213301 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 45 ; pid: 177210 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 46 ; pid: 93616 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 47 ; pid: 189727 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 48 ; pid: 181087 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 49 ; pid: 74111 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 50 ; pid: 206278 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 51 ; pid: 146233 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 52 ; pid: 110730 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 53 ; pid: 191416 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 54 ; pid: 195373 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 55 ; pid: 192434 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 56 ; pid: 90586 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 57 ; pid: 241985 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 58 ; pid: 114216 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 59 ; pid: 192931 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 60 ; pid: 67701 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 61 ; pid: 208035 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 62 ; pid: 189605 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 63 ; pid: 124977 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 64 ; pid: 254358 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 65 ; pid: 172723 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 66 ; pid: 188347 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 67 ; pid: 128596 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 68 ; pid: 173624 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 69 ; pid: 223415 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 70 ; pid: 191567 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 71 ; pid: 42210 ; 72 processes] Calling resetRepresentativesFor("CpCCNqCCNrsCptCCtqCrq", true, 0, true), silently. [Rank 0 ; pid: 193064 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 1 ; pid: 196595 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 2 ; pid: 90563 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 3 ; pid: 115188 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 4 ; pid: 145719 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 5 ; pid: 156213 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 6 ; pid: 257787 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 7 ; pid: 15123 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 8 ; pid: 54062 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 9 ; pid: 220581 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 10 ; pid: 6937 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 11 ; pid: 157259 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 12 ; pid: 225181 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 13 ; pid: 178481 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 14 ; pid: 195277 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 15 ; pid: 77552 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 16 ; pid: 218581 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 17 ; pid: 43389 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 18 ; pid: 87979 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 19 ; pid: 244932 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 20 ; pid: 103753 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 21 ; pid: 37666 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 22 ; pid: 232451 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 23 ; pid: 112676 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 24 ; pid: 29008 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 25 ; pid: 38906 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 26 ; pid: 16320 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 27 ; pid: 5289 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 28 ; pid: 50723 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 29 ; pid: 19478 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 30 ; pid: 99363 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 31 ; pid: 109548 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 32 ; pid: 42729 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 33 ; pid: 84761 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 34 ; pid: 89329 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 35 ; pid: 96778 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 36 ; pid: 11018 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 37 ; pid: 88394 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 38 ; pid: 249215 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 39 ; pid: 30159 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 40 ; pid: 40286 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 41 ; pid: 212208 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 42 ; pid: 137897 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 43 ; pid: 53942 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 44 ; pid: 213301 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 45 ; pid: 177210 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 46 ; pid: 93616 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 47 ; pid: 189727 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 48 ; pid: 181087 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 49 ; pid: 74111 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 50 ; pid: 206278 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 51 ; pid: 146233 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 52 ; pid: 110730 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 53 ; pid: 191416 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 54 ; pid: 195373 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 55 ; pid: 192434 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 56 ; pid: 90586 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 57 ; pid: 241985 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 58 ; pid: 114216 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 59 ; pid: 192931 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 60 ; pid: 67701 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 61 ; pid: 208035 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 62 ; pid: 189605 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 63 ; pid: 124977 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 64 ; pid: 254358 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 65 ; pid: 172723 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 66 ; pid: 188347 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 67 ; pid: 128596 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 68 ; pid: 173624 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 69 ; pid: 223415 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 70 ; pid: 191567 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). [Rank 71 ; pid: 42210 ; 72 processes] Calling mpi_filterDProofRepresentativeFile(63, true). Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 0 on "ncm0155.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 1 on "ncm0158.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 2 on "ncm0159.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 3 on "ncm0160.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 4 on "ncm0162.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 5 on "ncm0166.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 6 on "ncm0170.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 7 on "ncm0172.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 8 on "ncm0173.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 9 on "ncm0175.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 10 on "ncm0176.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 11 on "ncm0177.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 12 on "ncm0178.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 13 on "ncm0179.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 14 on "ncm0181.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 15 on "ncm0257.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 16 on "ncm0258.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 17 on "ncm0259.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 18 on "ncm0260.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 19 on "ncm0261.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 20 on "ncm0263.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 21 on "ncm0265.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 22 on "ncm0266.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 23 on "ncm0267.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 24 on "ncm0268.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 25 on "ncm0269.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 26 on "ncm0270.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 27 on "ncm0271.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 28 on "ncm0272.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 29 on "ncm0273.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 30 on "ncm0274.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 31 on "ncm0275.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 32 on "ncm0276.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 33 on "ncm0277.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 34 on "ncm0278.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 35 on "ncm0279.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 36 on "ncm0280.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 37 on "ncm0281.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 38 on "ncm0282.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 39 on "ncm0284.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 40 on "ncm0285.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 41 on "ncm0286.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 42 on "ncm0287.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 43 on "ncm0545.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 44 on "ncm0546.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 45 on "ncm0547.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 46 on "ncm0548.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 47 on "ncm0549.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 48 on "ncm0550.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 49 on "ncm0552.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 50 on "ncm0553.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 51 on "ncm0554.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 52 on "ncm0555.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 53 on "ncm0556.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 54 on "ncm0557.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 55 on "ncm0558.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 56 on "ncm0559.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 57 on "ncm0561.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 58 on "ncm0562.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 59 on "ncm0563.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 60 on "ncm0564.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 61 on "ncm0565.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 62 on "ncm0566.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 63 on "ncm0567.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 64 on "ncm0569.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 65 on "ncm0570.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 66 on "ncm0571.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 67 on "ncm0572.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 68 on "ncm0573.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 69 on "ncm0574.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 70 on "ncm0575.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 16:35:08 2023: MPI-based D-proof representative filter started. [rank 71 on "ncm0576.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] 0.03 ms taken to load initial representatives. 3.45 ms taken to read 1 condensed detachment proof and conclusion from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs3.txt. [tid:22776580155136] 0.23 ms taken to read 2 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs5.txt. [tid:22776578053888] 5.04 ms taken to read 4 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs7.txt. [tid:22776575952640] 17.57 ms taken to read 7 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs9.txt. [tid:22776573851392] 13.53 ms taken to read 14 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs11.txt. [tid:22776571750144] 17.42 ms taken to read 23 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs13.txt. [tid:22776569648896] 0.10 ms taken to read 42 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs15.txt. [tid:22776567547648] 6.62 ms taken to read 72 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs17.txt. [tid:22776565446400] 4.11 ms taken to read 119 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs19.txt. [tid:22776563345152] 17.08 ms taken to read 180 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs21.txt. [tid:22776561243904] 28.69 ms taken to read 296 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs23.txt. [tid:22776559142656] 24.55 ms taken to read 493 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs25.txt. [tid:22776557041408] 55.84 ms taken to read 809 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs27.txt. [tid:22776554940160] 44.45 ms taken to read 1330 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs29.txt. [tid:22776552838912] 50.81 ms taken to read 2190 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs31.txt. [tid:22776550737664] 65.24 ms taken to read 3606 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs33.txt. [tid:22776480003840] 138.60 ms taken to read 5925 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs35.txt. [tid:22776477902592] 220.82 ms taken to read 9738 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs37.txt. [tid:22776475801344] 242.42 ms taken to read 15948 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs39.txt. [tid:22776473700096] 366.37 ms taken to read 26109 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs41.txt. [tid:22776471598848] 617.03 ms taken to read 42844 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs43.txt. [tid:22776469497600] 1998.79 ms (1 s 998.79 ms) taken to read 70083 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs45.txt. [tid:22776467396352] 3918.72 ms (3 s 918.72 ms) taken to read 115027 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs47.txt. [tid:22776465295104] 520.37 ms taken to read 188519 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs49.txt. [tid:22776463193856] 1010.07 ms (1 s 10.07 ms) taken to read 308975 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs51.txt. [tid:22776461092608] 2285.16 ms (2 s 285.16 ms) taken to read 506415 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs53.txt. [tid:22776458991360] 2967.00 ms (2 s 967.00 ms) taken to read 830126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs55.txt. [tid:22776456890112] 2213.53 ms (2 s 213.53 ms) taken to read 1360461 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs57.txt. [tid:22776454788864] 4240.65 ms (4 s 240.65 ms) taken to read 2229126 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs59.txt. [tid:22776452687616] 5567.80 ms (5 s 567.79 ms) taken to read 3652191 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs61.txt. [tid:22776450586368] 5613.54 ms (5 s 613.54 ms) total read duration. Loaded 31 representative collections of sizes: 1 : 1 3 : 1 5 : 2 7 : 4 9 : 7 11 : 14 13 : 23 15 : 42 17 : 72 19 : 119 21 : 180 23 : 296 25 : 493 27 : 809 29 : 1330 31 : 2190 33 : 3606 35 : 5925 37 : 9738 39 : 15948 41 : 26109 43 : 42844 45 : 70083 47 : 115027 49 : 188519 51 : 308975 53 : 506415 55 : 830126 57 : 1360461 59 : 2229126 61 : 3652191 9370676 representatives in total. 8445.38 ms (8 s 445.38 ms) taken to read 9159913 condensed detachment proofs and conclusions from data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63-unfiltered63+.txt. [tid:22776450586368] 8447.86 ms (8 s 447.86 ms) additional read duration. Loaded 1 more representative collection of size: 63 : 9159913 18530589 representatives in total. Sat Oct 14 16:35:23 2023: Representative collections were initialized successfully on all ranks. Estimated removal count set to 3177756, based on entry 61:1930622 and last known pair (59:1172935, 61:1930622) with 1930622/1172935 ≈ 1.64598 and 1930622 * (1930622/1172935)^1 ≈ 3177756.06. Sat Oct 14 16:35:24 2023: Inserted ≈ 5% of D-proof conclusions. [ 926529 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 19 s 528.13 ms remaining ; 20 s 555.93 ms total) Sat Oct 14 16:35:25 2023: Inserted ≈10% of D-proof conclusions. [ 1853058 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 18 s 229.25 ms remaining ; 20 s 254.72 ms total) Sat Oct 14 16:35:27 2023: Inserted ≈15% of D-proof conclusions. [ 2779588 of 18530589] (ETC: Sat Oct 14 16:35:45 2023 ; 18 s 69.90 ms remaining ; 21 s 258.71 ms total) Sat Oct 14 16:35:28 2023: Inserted ≈20% of D-proof conclusions. [ 3706117 of 18530589] (ETC: Sat Oct 14 16:35:45 2023 ; 16 s 904.37 ms remaining ; 21 s 130.46 ms total) Sat Oct 14 16:35:29 2023: Inserted ≈25% of D-proof conclusions. [ 4632647 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 15 s 653.81 ms remaining ; 20 s 871.75 ms total) Sat Oct 14 16:35:30 2023: Inserted ≈30% of D-proof conclusions. [ 5559176 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 14 s 346.70 ms remaining ; 20 s 495.29 ms total) Sat Oct 14 16:35:31 2023: Inserted ≈35% of D-proof conclusions. [ 6485706 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 13 s 326.24 ms remaining ; 20 s 501.91 ms total) Sat Oct 14 16:35:32 2023: Inserted ≈40% of D-proof conclusions. [ 7412235 of 18530589] (ETC: Sat Oct 14 16:35:44 2023 ; 12 s 150.74 ms remaining ; 20 s 251.23 ms total) Sat Oct 14 16:35:32 2023: Inserted ≈45% of D-proof conclusions. [ 8338765 of 18530589] (ETC: Sat Oct 14 16:35:43 2023 ; 10 s 964.43 ms remaining ; 19 s 935.33 ms total) Sat Oct 14 16:35:33 2023: Inserted ≈50% of D-proof conclusions. [ 9265294 of 18530589] (ETC: Sat Oct 14 16:35:43 2023 ; 9 s 762.09 ms remaining ; 19 s 524.17 ms total) Sat Oct 14 16:35:34 2023: Inserted ≈55% of D-proof conclusions. [10191823 of 18530589] (ETC: Sat Oct 14 16:35:42 2023 ; 8 s 481.70 ms remaining ; 18 s 848.22 ms total) Sat Oct 14 16:35:34 2023: Inserted ≈60% of D-proof conclusions. [11118353 of 18530589] (ETC: Sat Oct 14 16:35:42 2023 ; 7 s 266.91 ms remaining ; 18 s 167.27 ms total) Sat Oct 14 16:35:35 2023: Inserted ≈65% of D-proof conclusions. [12044882 of 18530589] (ETC: Sat Oct 14 16:35:41 2023 ; 6 s 181.47 ms remaining ; 17 s 661.33 ms total) Sat Oct 14 16:35:35 2023: Inserted ≈70% of D-proof conclusions. [12971412 of 18530589] (ETC: Sat Oct 14 16:35:41 2023 ; 5 s 161.33 ms remaining ; 17 s 204.44 ms total) Sat Oct 14 16:35:36 2023: Inserted ≈75% of D-proof conclusions. [13897941 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 4 s 203.69 ms remaining ; 16 s 814.76 ms total) Sat Oct 14 16:35:37 2023: Inserted ≈80% of D-proof conclusions. [14824471 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 3 s 317.40 ms remaining ; 16 s 587.00 ms total) Sat Oct 14 16:35:37 2023: Inserted ≈85% of D-proof conclusions. [15751000 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 2 s 473.06 ms remaining ; 16 s 487.04 ms total) Sat Oct 14 16:35:38 2023: Inserted ≈90% of D-proof conclusions. [16677530 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 1 s 620.33 ms remaining ; 16 s 203.26 ms total) Sat Oct 14 16:35:39 2023: Inserted ≈95% of D-proof conclusions. [17604059 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 818.89 ms remaining ; 16 s 377.86 ms total) Sat Oct 14 16:35:40 2023: Inserted 100% of D-proof conclusions. [18530589 of 18530589] (ETC: Sat Oct 14 16:35:40 2023 ; 0.00 ms remaining ; 16 s 553.00 ms total) 16553.08 ms (16 s 553.08 ms) total insertion duration. Reservable workloads: { 0:[84814, 127220], 1:[212035, 254441], 2:[339256, 381662], 3:[466477, 508883], 4:[593698, 636104], 5:[720919, 763325], 6:[848140, 890546], 7:[975361, 1017767], 8:[1102582, 1144988], 9:[1229803, 1272209], 10:[1357024, 1399430], 11:[1484245, 1526651], 12:[1611466, 1653872], 13:[1738687, 1781093], 14:[1865908, 1908314], 15:[1993129, 2035535], 16:[2120350, 2162756], 17:[2247571, 2289977], 18:[2374792, 2417198], 19:[2502013, 2544419], 20:[2629234, 2671640], 21:[2756455, 2798861], 22:[2883676, 2926082], 23:[3010897, 3053303], 24:[3138118, 3180524], 25:[3265339, 3307745], 26:[3392560, 3434966], 27:[3519781, 3562187], 28:[3647002, 3689408], 29:[3774223, 3816629], 30:[3901444, 3943850], 31:[4028665, 4071071], 32:[4155886, 4198292], 33:[4283107, 4325513], 34:[4410328, 4452734], 35:[4537549, 4579955], 36:[4664770, 4707176], 37:[4791991, 4834397], 38:[4919212, 4961618], 39:[5046433, 5088839], 40:[5173654, 5216060], 41:[5300875, 5343281], 42:[5428096, 5470502], 43:[5555317, 5597723], 44:[5682538, 5724944], 45:[5809759, 5852165], 46:[5936980, 5979386], 47:[6064201, 6106607], 48:[6191422, 6233828], 49:[6318643, 6361049], 50:[6445864, 6488270], 51:[6573085, 6615491], 52:[6700306, 6742712], 53:[6827527, 6869933], 54:[6954748, 6997154], 55:[7081969, 7124375], 56:[7209190, 7251596], 57:[7336411, 7378817], 58:[7463632, 7506038], 59:[7590853, 7633259], 60:[7718074, 7760480], 61:[7845295, 7887701], 62:[7972516, 8014922], 63:[8099737, 8142143], 64:[8226958, 8269364], 65:[8354179, 8396585], 66:[8481400, 8523806], 67:[8608621, 8651027], 68:[8735842, 8778248], 69:[8863063, 8905469], 70:[8990284, 9032690], 71:[9117506, 9159912] } Sat Oct 14 16:39:29 2023: Removed ≈ 2% of redundant conclusions. [ 63555 of approximately 3177756] (ETC: Sat Oct 14 19:45:01 2023 ; 3 h 5 min 32 s 171.31 ms remaining ; 3 h 9 min 19 s 358.05 ms total) Sat Oct 14 16:43:10 2023: Removed ≈ 4% of redundant conclusions. [ 127110 of approximately 3177756] (ETC: Sat Oct 14 19:42:31 2023 ; 2 h 59 min 20 s 955.24 ms remaining ; 3 h 6 min 49 s 327.49 ms total) Sat Oct 14 16:46:52 2023: Removed ≈ 6% of redundant conclusions. [ 190665 of approximately 3177756] (ETC: Sat Oct 14 19:41:52 2023 ; 2 h 55 min 300.49 ms remaining ; 3 h 6 min 10 s 531.09 ms total) Sat Oct 14 16:50:34 2023: Removed ≈ 8% of redundant conclusions. [ 254220 of approximately 3177756] (ETC: Sat Oct 14 19:41:32 2023 ; 2 h 50 min 57 s 836.85 ms remaining ; 3 h 5 min 49 s 820.83 ms total) Sat Oct 14 16:54:15 2023: Removed ≈ 10% of redundant conclusions. [ 317775 of approximately 3177756] (ETC: Sat Oct 14 19:41:12 2023 ; 2 h 46 min 57 s 319.10 ms remaining ; 3 h 5 min 30 s 352.22 ms total) Sat Oct 14 16:57:56 2023: Removed ≈ 12% of redundant conclusions. [ 381330 of approximately 3177756] (ETC: Sat Oct 14 19:40:58 2023 ; 2 h 43 min 2 s 218.01 ms remaining ; 3 h 5 min 16 s 153.97 ms total) Sat Oct 14 17:01:36 2023: Removed ≈ 14% of redundant conclusions. [ 444885 of approximately 3177756] (ETC: Sat Oct 14 19:40:44 2023 ; 2 h 39 min 7 s 965.03 ms remaining ; 3 h 5 min 2 s 281.51 ms total) Sat Oct 14 17:05:16 2023: Removed ≈ 16% of redundant conclusions. [ 508440 of approximately 3177756] (ETC: Sat Oct 14 19:40:30 2023 ; 2 h 35 min 13 s 800.16 ms remaining ; 3 h 4 min 47 s 853.35 ms total) Sat Oct 14 17:08:56 2023: Removed ≈ 18% of redundant conclusions. [ 571996 of approximately 3177756] (ETC: Sat Oct 14 19:40:18 2023 ; 2 h 31 min 22 s 632.18 ms remaining ; 3 h 4 min 36 s 380.37 ms total) Sat Oct 14 17:12:36 2023: Removed ≈ 20% of redundant conclusions. [ 635551 of approximately 3177756] (ETC: Sat Oct 14 19:40:13 2023 ; 2 h 27 min 36 s 952.99 ms remaining ; 3 h 4 min 31 s 190.36 ms total) Sat Oct 14 17:16:16 2023: Removed ≈ 22% of redundant conclusions. [ 699106 of approximately 3177756] (ETC: Sat Oct 14 19:40:05 2023 ; 2 h 23 min 48 s 954.58 ms remaining ; 3 h 4 min 22 s 760.85 ms total) Sat Oct 14 17:19:54 2023: Removed ≈ 24% of redundant conclusions. [ 762661 of approximately 3177756] (ETC: Sat Oct 14 19:39:51 2023 ; 2 h 19 min 57 s 23.30 ms remaining ; 3 h 4 min 8 s 712.85 ms total) Sat Oct 14 17:23:33 2023: Removed ≈ 26% of redundant conclusions. [ 826216 of approximately 3177756] (ETC: Sat Oct 14 19:39:45 2023 ; 2 h 16 min 12 s 62.19 ms remaining ; 3 h 4 min 3 s 324.65 ms total) Sat Oct 14 17:27:12 2023: Removed ≈ 28% of redundant conclusions. [ 889771 of approximately 3177756] (ETC: Sat Oct 14 19:39:38 2023 ; 2 h 12 min 26 s 166.30 ms remaining ; 3 h 3 min 56 s 338.80 ms total) Sat Oct 14 17:30:51 2023: Removed ≈ 30% of redundant conclusions. [ 953326 of approximately 3177756] (ETC: Sat Oct 14 19:39:31 2023 ; 2 h 8 min 40 s 287.81 ms remaining ; 3 h 3 min 48 s 978.63 ms total) Sat Oct 14 17:34:29 2023: Removed ≈ 32% of redundant conclusions. [1016881 of approximately 3177756] (ETC: Sat Oct 14 19:39:24 2023 ; 2 h 4 min 55 s 238.74 ms remaining ; 3 h 3 min 42 s 405.21 ms total) Sat Oct 14 17:38:07 2023: Removed ≈ 34% of redundant conclusions. [1080437 of approximately 3177756] (ETC: Sat Oct 14 19:39:17 2023 ; 2 h 1 min 9 s 878.89 ms remaining ; 3 h 3 min 34 s 967.80 ms total) Sat Oct 14 17:41:44 2023: Removed ≈ 36% of redundant conclusions. [1143992 of approximately 3177756] (ETC: Sat Oct 14 19:39:06 2023 ; 1 h 57 min 22 s 945.90 ms remaining ; 3 h 3 min 24 s 602.11 ms total) Sat Oct 14 17:45:20 2023: Removed ≈ 38% of redundant conclusions. [1207547 of approximately 3177756] (ETC: Sat Oct 14 19:38:58 2023 ; 1 h 53 min 37 s 485.78 ms remaining ; 3 h 3 min 15 s 943.24 ms total) Sat Oct 14 17:48:58 2023: Removed ≈ 40% of redundant conclusions. [1271102 of approximately 3177756] (ETC: Sat Oct 14 19:38:51 2023 ; 1 h 49 min 53 s 719.73 ms remaining ; 3 h 3 min 9 s 530.58 ms total) Sat Oct 14 17:52:34 2023: Removed ≈ 42% of redundant conclusions. [1334657 of approximately 3177756] (ETC: Sat Oct 14 19:38:42 2023 ; 1 h 46 min 8 s 651.83 ms remaining ; 3 h 3 min 431.09 ms total) Sat Oct 14 17:56:08 2023: Removed ≈ 44% of redundant conclusions. [1398212 of approximately 3177756] (ETC: Sat Oct 14 19:38:31 2023 ; 1 h 42 min 22 s 969.32 ms remaining ; 3 h 2 min 49 s 584.12 ms total) Sat Oct 14 17:59:44 2023: Removed ≈ 46% of redundant conclusions. [1461767 of approximately 3177756] (ETC: Sat Oct 14 19:38:23 2023 ; 1 h 38 min 39 s 229.96 ms remaining ; 3 h 2 min 41 s 532.10 ms total) Sat Oct 14 18:03:19 2023: Removed ≈ 48% of redundant conclusions. [1525322 of approximately 3177756] (ETC: Sat Oct 14 19:38:14 2023 ; 1 h 34 min 55 s 321.11 ms remaining ; 3 h 2 min 32 s 534.77 ms total) Sat Oct 14 18:06:55 2023: Removed ≈ 50% of redundant conclusions. [1588878 of approximately 3177756] (ETC: Sat Oct 14 19:38:07 2023 ; 1 h 31 min 12 s 736.60 ms remaining ; 3 h 2 min 25 s 473.20 ms total) Sat Oct 14 18:10:29 2023: Removed ≈ 52% of redundant conclusions. [1652433 of approximately 3177756] (ETC: Sat Oct 14 19:37:59 2023 ; 1 h 27 min 30 s 61.89 ms remaining ; 3 h 2 min 17 s 628.08 ms total) Sat Oct 14 18:14:04 2023: Removed ≈ 54% of redundant conclusions. [1715988 of approximately 3177756] (ETC: Sat Oct 14 19:37:52 2023 ; 1 h 23 min 48 s 1.06 ms remaining ; 3 h 2 min 10 s 435.29 ms total) Sat Oct 14 18:17:38 2023: Removed ≈ 56% of redundant conclusions. [1779543 of approximately 3177756] (ETC: Sat Oct 14 19:37:43 2023 ; 1 h 20 min 5 s 213.73 ms remaining ; 3 h 2 min 937.49 ms total) Sat Oct 14 18:21:10 2023: Removed ≈ 58% of redundant conclusions. [1843098 of approximately 3177756] (ETC: Sat Oct 14 19:37:33 2023 ; 1 h 16 min 22 s 756.98 ms remaining ; 3 h 1 min 51 s 322.23 ms total) Sat Oct 14 18:24:42 2023: Removed ≈ 60% of redundant conclusions. [1906653 of approximately 3177756] (ETC: Sat Oct 14 19:37:22 2023 ; 1 h 12 min 40 s 115.29 ms remaining ; 3 h 1 min 40 s 283.09 ms total) Sat Oct 14 18:28:15 2023: Removed ≈ 62% of redundant conclusions. [1970208 of approximately 3177756] (ETC: Sat Oct 14 19:37:14 2023 ; 1 h 8 min 58 s 862.64 ms remaining ; 3 h 1 min 31 s 737.31 ms total) Sat Oct 14 18:31:48 2023: Removed ≈ 64% of redundant conclusions. [2033763 of approximately 3177756] (ETC: Sat Oct 14 19:37:06 2023 ; 1 h 5 min 18 s 411.89 ms remaining ; 3 h 1 min 24 s 469.48 ms total) Sat Oct 14 18:35:23 2023: Removed ≈ 66% of redundant conclusions. [2097318 of approximately 3177756] (ETC: Sat Oct 14 19:37:03 2023 ; 1 h 1 min 39 s 570.47 ms remaining ; 3 h 1 min 21 s 79.94 ms total) Sat Oct 14 18:38:59 2023: Removed ≈ 68% of redundant conclusions. [2160874 of approximately 3177756] (ETC: Sat Oct 14 19:37:00 2023 ; 58 min 857.37 ms remaining ; 3 h 1 min 17 s 678.42 ms total) Sat Oct 14 18:42:29 2023: Removed ≈ 70% of redundant conclusions. [2224429 of approximately 3177756] (ETC: Sat Oct 14 19:36:50 2023 ; 54 min 20 s 298.72 ms remaining ; 3 h 1 min 7 s 660.13 ms total) Sat Oct 14 18:45:57 2023: Removed ≈ 72% of redundant conclusions. [2287984 of approximately 3177756] (ETC: Sat Oct 14 19:36:36 2023 ; 50 min 39 s 252.57 ms remaining ; 3 h 54 s 469.56 ms total) Sat Oct 14 18:49:25 2023: Removed ≈ 74% of redundant conclusions. [2351539 of approximately 3177756] (ETC: Sat Oct 14 19:36:24 2023 ; 46 min 59 s 26.08 ms remaining ; 3 h 42 s 402.22 ms total) Sat Oct 14 18:52:55 2023: Removed ≈ 76% of redundant conclusions. [2415094 of approximately 3177756] (ETC: Sat Oct 14 19:36:15 2023 ; 43 min 19 s 866.36 ms remaining ; 3 h 32 s 768.53 ms total) Sat Oct 14 18:56:25 2023: Removed ≈ 78% of redundant conclusions. [2478649 of approximately 3177756] (ETC: Sat Oct 14 19:36:07 2023 ; 39 min 41 s 482.09 ms remaining ; 3 h 24 s 908.04 ms total) Sat Oct 14 18:59:56 2023: Removed ≈ 80% of redundant conclusions. [2542204 of approximately 3177756] (ETC: Sat Oct 14 19:35:59 2023 ; 36 min 3 s 495.76 ms remaining ; 3 h 17 s 465.21 ms total) Sat Oct 14 19:03:26 2023: Removed ≈ 82% of redundant conclusions. [2605759 of approximately 3177756] (ETC: Sat Oct 14 19:35:52 2023 ; 32 min 25 s 831.50 ms remaining ; 3 h 10 s 157.64 ms total) Sat Oct 14 19:06:57 2023: Removed ≈ 84% of redundant conclusions. [2669315 of approximately 3177756] (ETC: Sat Oct 14 19:35:45 2023 ; 28 min 48 s 575.59 ms remaining ; 3 h 3 s 596.61 ms total) Sat Oct 14 19:10:28 2023: Removed ≈ 86% of redundant conclusions. [2732870 of approximately 3177756] (ETC: Sat Oct 14 19:35:40 2023 ; 25 min 11 s 775.88 ms remaining ; 2 h 59 min 58 s 395.29 ms total) Sat Oct 14 19:14:03 2023: Removed ≈ 88% of redundant conclusions. [2796425 of approximately 3177756] (ETC: Sat Oct 14 19:35:39 2023 ; 21 min 35 s 600.73 ms remaining ; 2 h 59 min 56 s 664.84 ms total) Sat Oct 14 19:17:40 2023: Removed ≈ 90% of redundant conclusions. [2859980 of approximately 3177756] (ETC: Sat Oct 14 19:35:40 2023 ; 17 min 59 s 813.45 ms remaining ; 2 h 59 min 58 s 120.94 ms total) Sat Oct 14 19:21:11 2023: Removed ≈ 92% of redundant conclusions. [2923535 of approximately 3177756] (ETC: Sat Oct 14 19:35:35 2023 ; 14 min 23 s 422.88 ms remaining ; 2 h 59 min 52 s 763.88 ms total) Sat Oct 14 19:24:41 2023: Removed ≈ 94% of redundant conclusions. [2987090 of approximately 3177756] (ETC: Sat Oct 14 19:35:28 2023 ; 10 min 47 s 195.98 ms remaining ; 2 h 59 min 46 s 563.49 ms total) Sat Oct 14 19:28:16 2023: Removed ≈ 96% of redundant conclusions. [3050645 of approximately 3177756] (ETC: Sat Oct 14 19:35:28 2023 ; 7 min 11 s 437.05 ms remaining ; 2 h 59 min 45 s 861.73 ms total) [Rank 33] Workload transfer approved. Starting to work on 0:[122510, 125650]. [Rank 67] Workload transfer approved. Starting to work on 3:[504173, 507313]. [Rank 23] Workload transfer approved. Starting to work on 11:[1521941, 1525081]. [Rank 36] Workload transfer approved. Starting to work on 12:[1649162, 1652302]. [Rank 19] Workload transfer approved. Starting to work on 13:[1776383, 1779523]. [Rank 51] Workload transfer approved. Starting to work on 25:[3303035, 3306175]. Sat Oct 14 19:31:54 2023: Removed ≈ 98% of redundant conclusions. [3114200 of approximately 3177756] (ETC: Sat Oct 14 19:35:30 2023 ; 3 min 35 s 764.80 ms remaining ; 2 h 59 min 48 s 90.55 ms total) [Rank 28] Workload transfer approved. Starting to work on 29:[3811919, 3815059]. [Rank 22] Workload transfer approved. Starting to work on 40:[5211350, 5214490]. [Rank 57] Workload transfer approved. Starting to work on 41:[5338571, 5341711]. [Rank 30] Workload transfer approved. Starting to work on 0:[125651, 126697]. [Rank 37] Workload transfer approved. Starting to work on 3:[507314, 508360]. [Rank 52] Workload transfer approved. Starting to work on 4:[634535, 635581]. [Rank 39] Workload transfer approved. Starting to work on 5:[761756, 762802]. [Rank 32] Workload transfer approved. Starting to work on 7:[1016198, 1017244]. [Rank 10] Workload transfer approved. Starting to work on 8:[1143419, 1144465]. [Rank 38] Workload transfer approved. Starting to work on 9:[1270640, 1271686]. [Rank 59] Workload transfer approved. Starting to work on 15:[2033966, 2035012]. [Rank 26] Workload transfer approved. Starting to work on 25:[3306176, 3307222]. [Rank 17] Workload transfer approved. Starting to work on 34:[4451165, 4452211]. [Rank 21] Workload transfer approved. Starting to work on 35:[4578386, 4579432]. [Rank 33] Workload transfer approved. Starting to work on 40:[5214491, 5215537]. [Rank 58] Workload transfer approved. Starting to work on 43:[5596154, 5597200]. [Rank 11] Workload transfer approved. Starting to work on 45:[5850596, 5851642]. [Rank 16] Workload transfer approved. Starting to work on 46:[5977817, 5978863]. [Rank 5] Workload transfer approved. Starting to work on 48:[6232259, 6233305]. [Rank 60] Workload transfer approved. Starting to work on 53:[6868364, 6869410]. [Rank 64] Workload transfer approved. Starting to work on 63:[8140574, 8141620]. [Rank 6] Workload transfer approved. Starting to work on 65:[8395016, 8396062]. [Rank 55] Workload transfer approved. Starting to work on 69:[8903900, 8904946]. [Rank 54] Workload transfer approved. Starting to work on 70:[9031121, 9032167]. [Rank 8] Workload transfer approved. Starting to work on 71:[9158343, 9159389]. [Rank 4] Workload transfer approved. Starting to work on 0:[126698, 127220]. [Rank 39] Workload transfer approved. Starting to work on 2:[381140, 381662]. [Rank 27] Workload transfer approved. Starting to work on 3:[508361, 508883]. [Rank 37] Workload transfer approved. Starting to work on 9:[1271687, 1272209]. [Rank 30] Workload transfer approved. Starting to work on 14:[1907792, 1908314]. [Rank 1] Workload transfer approved. Starting to work on 34:[4452212, 4452734]. [Rank 18] Workload transfer approved. Starting to work on 35:[4579433, 4579955]. [Rank 2] Workload transfer approved. Starting to work on 42:[5469980, 5470502]. [Rank 31] Workload transfer approved. Starting to work on 44:[5724422, 5724944]. [Rank 20] Workload transfer approved. Starting to work on 46:[5978864, 5979386]. [Rank 52] Workload transfer approved. Starting to work on 47:[6106085, 6106607]. [Rank 9] Workload transfer approved. Starting to work on 49:[6360527, 6361049]. [Rank 32] Workload transfer approved. Starting to work on 53:[6869411, 6869933]. [Rank 42] Workload transfer approved. Starting to work on 61:[7887179, 7887701]. [Rank 10] Workload transfer approved. Starting to work on 62:[8014400, 8014922]. [Rank 25] Workload transfer approved. Starting to work on 63:[8141621, 8142143]. [Rank 49] Workload transfer approved. Starting to work on 65:[8396063, 8396585]. [Rank 38] Workload transfer approved. Starting to work on 68:[8777726, 8778248]. [Rank 23] Workload transfer approved. Starting to work on 69:[8904947, 8905469]. [Rank 12] Workload transfer approved. Starting to work on 70:[9032168, 9032690]. [Rank 67] Workload transfer approved. Starting to work on 71:[9159390, 9159912]. 10908446.40 ms (3 h 1 min 48 s 446.40 ms) taken to detect 3176747 conclusions for which there are more general variants proven in lower or equal amounts of steps. Found 5983166 representative and 3176747 redundant condensed detachment proof strings. [Copy] Removal count: { 63, 3176747 } Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 1 on "ncm0158.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 2 on "ncm0159.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 3 on "ncm0160.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 4 on "ncm0162.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 5 on "ncm0166.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 6 on "ncm0170.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 7 on "ncm0172.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 8 on "ncm0173.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 9 on "ncm0175.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 10 on "ncm0176.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 11 on "ncm0177.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 12 on "ncm0178.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 13 on "ncm0179.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 14 on "ncm0181.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 15 on "ncm0257.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 16 on "ncm0258.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:28 2023: MPI-based D-proof representative filter complete. [rank 17 on "ncm0259.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 18 on "ncm0260.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 19 on "ncm0261.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 20 on "ncm0263.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 21 on "ncm0265.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 22 on "ncm0266.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 23 on "ncm0267.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 24 on "ncm0268.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 25 on "ncm0269.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 26 on "ncm0270.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 27 on "ncm0271.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 28 on "ncm0272.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 29 on "ncm0273.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 30 on "ncm0274.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 31 on "ncm0275.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 32 on "ncm0276.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 33 on "ncm0277.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 34 on "ncm0278.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 35 on "ncm0279.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 36 on "ncm0280.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 37 on "ncm0281.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 38 on "ncm0282.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 39 on "ncm0284.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 40 on "ncm0285.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:28 2023: MPI-based D-proof representative filter complete. [rank 41 on "ncm0286.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 42 on "ncm0287.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 43 on "ncm0545.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 44 on "ncm0546.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 45 on "ncm0547.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 46 on "ncm0548.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 47 on "ncm0549.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 48 on "ncm0550.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 49 on "ncm0552.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 50 on "ncm0553.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 51 on "ncm0554.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 52 on "ncm0555.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 53 on "ncm0556.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 54 on "ncm0557.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 55 on "ncm0558.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 56 on "ncm0559.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 57 on "ncm0561.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 58 on "ncm0562.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 59 on "ncm0563.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 60 on "ncm0564.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 61 on "ncm0565.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 62 on "ncm0566.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 63 on "ncm0567.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 64 on "ncm0569.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 65 on "ncm0570.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 66 on "ncm0571.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 67 on "ncm0572.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 68 on "ncm0573.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 69 on "ncm0574.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 70 on "ncm0575.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:29 2023: MPI-based D-proof representative filter complete. [rank 71 on "ncm0576.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] 4304.10 ms (4 s 304.10 ms) taken to filter and order new representative proofs. Sat Oct 14 19:37:33 2023: Starting to write 5983166 entries to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63.txt. 7664.64 ms (7 s 664.63 ms) taken to print and save 3053239506 bytes of representative condensed detachment proof strings to data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/dProofs-withConclusions/dProofs63.txt. Sat Oct 14 19:37:40 2023: MPI-based D-proof representative filter complete. [rank 0 on "ncm0155.hpc.itc.rwth-aachen.de" ; 72 processes ; 48 local hardware thread contexts] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 191567, tid:22389551228800] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 103753, tid:22758792611712] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 188347, tid:23437479716736] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 54062, tid:22387436451712] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 145719, tid:22453235685248] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 90586, tid:22568367712128] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 223415, tid:22525538150272] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 257787, tid:22711729870720] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 87979, tid:22496845051776] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 220581, tid:22751875950464] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 192931, tid:22972421527424] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 38906, tid:23329653208960] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 84761, tid:22821805426560] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 110730, tid:22523748845440] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 42210, tid:23195804661632] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 232451, tid:22869913020288] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 124977, tid:22530812893056] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 213301, tid:23133703489408] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 96778, tid:22609647695744] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 173624, tid:23153447815040] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 157259, tid:22564666230656] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 88394, tid:22841263998848] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 112676, tid:22649873549184] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 192434, tid:23215027746688] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 146233, tid:23005354706816] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 16320, tid:22525807302528] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 244932, tid:22981798729600] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 19478, tid:22375775717248] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 40286, tid:23224474052480] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 254358, tid:22910288910208] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 189727, tid:22812793071488] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 178481, tid:22455368742784] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 241985, tid:23220296468352] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 50723, tid:22995905763200] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 5289, tid:23115850078080] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 206278, tid:23403340855168] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 172723, tid:23236624254848] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 11018, tid:23417691748224] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 99363, tid:23232211756928] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 43389, tid:22963292018560] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 29008, tid:22758817970048] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 93616, tid:23352962701184] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 114216, tid:22613100849024] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 115188, tid:22750028617600] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 42729, tid:23412065331072] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 208035, tid:23423950854016] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 77552, tid:23013426804608] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 212208, tid:23242043508608] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 218581, tid:23362429380480] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 137897, tid:23171474782080] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 249215, tid:22678198241152] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 177210, tid:23446989952896] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 37666, tid:23021962286976] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 193064, tid:22776755312512] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 6937, tid:23132472149888] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 128596, tid:22718273750912] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 225181, tid:22556339160960] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 30159, tid:23213040973696] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 191416, tid:23024046729088] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 109548, tid:22473867020160] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 67701, tid:22635653396352] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 196595, tid:22884427315072] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 195373, tid:22433941411712] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 189605, tid:23039508334464] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 89329, tid:22482041534336] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 181087, tid:22886774126464] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 90563, tid:23179689887616] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 195277, tid:22877055711104] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 15123, tid:23050152580992] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 156213, tid:22888753100672] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 53942, tid:22989841500032] Sat Oct 14 19:37:58 2023: Process terminated. [pid: 74111, tid:22617346455424]