#BEGIN: [Mon Sep 11 21:16:47 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/ph-isr/ph-04-03.col #INSTANCE2: /benchmark/ph-isr/ph-04-03_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/ph-isr/ph-04-03.col /benchmark/ph-isr/ph-04-03_01.dat c /benchmark/ph-isr/ph-04-03.col c /benchmark/ph-isr/ph-04-03_01.dat TIMEOUT 1800 c send SIGTERM to CID 57c32da12c764886aa82311952e00e9b91900c21d2c633b8b9c14d249a4395d8 s 1 3 8 11 14 17 20 23 26 29 32 35 38 41 42 45 48 51 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 t 2 4 8 11 14 17 20 23 26 29 32 35 38 41 42 45 48 51 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 c UNKNOWN c REACHABILITY UNKNOWN #END: [Mon Sep 11 21:46:47 2023]