#BEGIN: [Tue Sep  5 04:30:54 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance035_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance035_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_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat
c /benchmark/random_instance/random_instance035_graph004.col
c /benchmark/random_instance/random_instance035_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID e26d19dcc94a3a41c9924bb6b71c89635a8b2dfa58700822cd42a630195b0b93
s 388 233 32 40 280 145 21 301 139 411 327 446 96 118 403 194 355 237 177 150 328 114 418 361 119 141 102 313 449 384 190 353 252 254 79 297 275 250 59 62 204 81 117 402 264 356 147 410 340 425 435 135 56 268 352 396 405 222 111 341 334 413 166 393 315 180 94 433 285 369 66 31 129 448 144 185 306 397 80 74 249 186 133 443 400 88 394 58 163 454 362 85 168 409 54 44 378 247 442 253 151 428 184 344 162 431 175 294 309 156 124 203 258 304 187 120 251 57 439 414 370 104 366 17 238 12 357 401 103 227 255 116 302 47 345 72 71 148 84 155 95 220
t 47 96 375 333 287 94 347 257 217 64 399 95 379 24 52 360 154 372 140 1 13 368 30 190 295 401 16 271 453 398 358 219 178 326 221 355 36 356 282 313 442 149 443 156 258 3 104 128 239 78 323 90 452 278 233 197 153 210 165 77 440 328 20 26 151 298 344 316 234 364 404 334 290 227 331 359 129 371 445 223 194 289 220 83 384 12 385 222 439 49 218 4 254 432 374 162 2 315 150 294 169 62 427 177 346 187 70 121 448 410 82 307 419 429 116 31 332 184 240 376 183 286 231 249 393 148 435 122 53 196 296 85 98 23 39 312 228 133 423 112 269 18
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:00:54 2023]