#BEGIN: [Tue Sep  5 02:53:48 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance023_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph004_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_instance023_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat
c /benchmark/random_instance/random_instance023_graph004.col
c /benchmark/random_instance/random_instance023_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 49bdfc586d66603d70eadc1f5fd251b725e7b0a079d1e168942a962700ae2db3
s 139 289 209 45 194 167 30 211 239 135 217 171 48 215 283 123 91 196 114 83 294 21 128 137 166 7 77 22 42 256 54 148 9 295 156 247 39 205 216 14 155 182 153 271 161 144 24 291 221 53 96 61 255 248 23 130 10 252 33 290 299 52 174 207 181 106 236 36 199 272 149 107 266 285 118 86 204 12 208 175 225 187 168 275 89 17 90 105 101 269 29 176 110 40 49 190 126 11 296 151 277
t 159 71 273 30 106 286 253 240 52 138 77 198 42 212 255 277 242 141 184 225 256 174 178 280 70 281 233 172 228 14 276 249 60 251 205 185 294 45 173 11 296 252 197 147 31 222 50 119 213 5 190 146 196 202 187 177 199 91 186 48 18 237 76 221 113 261 102 75 1 79 53 290 36 135 170 126 63 155 244 293 282 181 176 49 114 144 284 189 192 13 110 167 210 66 224 95 171 204 272 175 15
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:23:48 2023]