#BEGIN: [Tue Sep  5 01:54:24 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat
c /benchmark/random_instance/random_instance017_graph005.col
c /benchmark/random_instance/random_instance017_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 95d644be352a93b05e57d7773c3e66a3a69d5334581a01d162cbf7a54b0deffc
s 131 41 140 62 79 160 110 3 60 11 172 164 15 185 184 74 213 166 189 113 181 122 205 212 217 133 65 102 111 28 50 22 108 68 6 96 124 45 33 47 200 4 13 196 29 163 202 208 137 192 73 126 7 8 59 129 209 119 101 206 165 195 58 117 84 93 150 75 132 56
t 47 71 156 159 140 126 220 18 148 49 110 13 11 142 106 19 177 101 152 137 96 122 69 165 178 211 195 32 146 23 53 207 63 29 26 6 179 56 39 14 203 99 30 90 147 44 107 210 176 157 155 199 17 57 43 129 104 163 181 151 134 10 219 143 208 25 196 79 132 92
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 02:24:24 2023]