#BEGIN: [Tue Sep 26 08:10:33 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance027_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat
c /benchmark/random_instance/random_instance027_graph003.col
c /benchmark/random_instance/random_instance027_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID c80a4570efe3ffdbea8f7f749900cd042556bda2a46c8a80258470ff1e9361a0
s 23 317 283 65 287 16 274 1 326 18 286 167 333 197 111 74 342 84 215 213 273 299 231 349 20 247 211 304 88 310 224 294 113 42 25 191 154 330 138 340 124 49 263 156 219 314 265 29 146 129 207 281 322 189 64 54 97 271 192 159 339 14 341 248 180 323 276 46 30 45 135 336 182 288 239 27 348 99 344 267 91 306 270 90 144 251 28 321 307 61 168 223 183 85 252 300 346 200 245 3 134 241 208 331 260 198 147 81 338 298 100 318 58 5
t 202 190 92 349 123 336 200 34 56 58 59 143 329 43 125 201 121 133 341 2 318 273 230 135 97 29 150 351 275 227 173 18 315 74 71 265 295 33 31 118 148 242 196 338 271 215 172 15 100 345 317 343 147 348 245 216 126 65 249 316 268 321 48 291 188 91 310 218 266 239 219 94 111 68 170 62 328 339 17 253 89 288 195 221 208 217 246 149 325 113 284 52 305 163 298 278 164 80 178 3 35 306 16 280 9 191 129 85 234 319 238 243 116 344
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 08:40:34 2023]