#BEGIN: [Tue Sep  5 04:54:34 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance037_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph002_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_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat
c /benchmark/random_instance/random_instance037_graph002.col
c /benchmark/random_instance/random_instance037_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID cf20390a5e60fe1de6ab437f9dc169c1ef37d8d923fb429af4294f066ef09072
s 141 133 41 213 383 37 38 461 395 95 84 139 52 468 305 326 275 135 194 217 36 91 339 188 311 418 121 168 106 256 479 405 58 473 320 258 247 331 467 249 410 252 212 207 370 436 14 269 365 272 291 127 382 319 420 215 223 444 214 456 358 192 218 164 298 177 374 295 8 399 68 129 415 335 227 345 62 359 357 427 108 201 120 50 71 257 408 229 66 274 430 234 224 310 350 11 67 421 394 101 441 480 61 114 364 446 157 301 233 404 122 51 222 64 167 469 360 144 316 250 378 57 24 146 140 46 309 191 347 412 161 47 151 458 417 178 187 409 210 281 351 102 53 265 455 423 219 389 391 33
t 194 36 238 403 1 422 241 306 391 449 64 7 59 312 286 455 453 427 432 464 16 70 26 43 163 461 348 52 278 131 87 140 210 404 102 48 328 263 289 472 237 341 255 274 425 211 167 83 395 474 426 181 19 66 133 150 129 85 14 178 104 9 446 248 214 101 191 435 89 67 402 139 27 252 418 151 86 389 55 354 287 158 462 175 428 324 121 301 44 339 414 307 57 331 15 119 51 423 106 112 342 34 334 332 473 300 385 74 166 35 409 360 408 138 466 199 347 316 320 415 353 253 39 192 42 294 162 261 68 32 416 405 383 53 401 17 41 234 355 280 60 91 452 161 222 325 477 110 310 177
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:24:35 2023]