#BEGIN: [Wed Sep 13 22:41:20 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance009.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance009_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/exp_instance/LGC_exp_instance009.col /benchmark/exp_instance/LGC_exp_instance009_01.dat
c /benchmark/exp_instance/LGC_exp_instance009.col
c /benchmark/exp_instance/LGC_exp_instance009_01.dat
TIMEOUT 1800
c send SIGTERM to CID 1ead6e674d847534a13ccd46c277f304c3e5f3e479f76f6f22dafc0c502bf8c2
s 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 105 108 110 112 114 116 119 121 123 124 126 128 131 133 135 136 138 140 143 145 147 148 150 152 155 157 159 160 162 164 167 169 171 172 174 176 179 181 183 184 186 188 191 193 195 196 198 200 203 205 207 208 210 212 215 217 219 220 222 224 227 229 231 232 234 236 239 241 243 244 246 248 251 253 255 256 258 260 263 265 267 268 270 272 275 277 279 280 282 284 287 289 291 292 294 296 299 301 303 304 306 308 311 313 315 316 318 320 323 325 327 328 330 332 335 337 339 340 342 344 347 349 351 352 354 356 359 361 363 364 366 368 371 373 375 376 378 380 383 385 387 388 390 392 395 397 399 400 402 404 407 409 411 412 414 416 419 421 423 424 426 428 431 433 435 436 438 440 443 445 447 448 450 452 455 457 459 460 462 464 467 469 471 472 474 476 479 481 483 484 486 488 491 493 495 496 498 500 503 505 507 508 510 512 515 517 519 520 522 524 527 529 531 532 534 536 539 541 543 544 546 548
t 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 106 107 110 112 114 116 119 121 123 124 126 128 131 133 135 136 138 140 143 145 147 148 150 152 155 157 159 160 162 164 167 169 171 172 174 176 179 181 183 184 186 188 191 193 195 196 198 200 203 205 207 208 210 212 215 217 219 220 222 224 227 229 231 232 234 236 239 241 243 244 246 248 251 253 255 256 258 260 263 265 267 268 270 272 275 277 279 280 282 284 287 289 291 292 294 296 299 301 303 304 306 308 311 313 315 316 318 320 323 325 327 328 330 332 335 337 339 340 342 344 347 349 351 352 354 356 359 361 363 364 366 368 371 373 375 376 378 380 383 385 387 388 390 392 395 397 399 400 402 404 407 409 411 412 414 416 419 421 423 424 426 428 431 433 435 436 438 440 443 445 447 448 450 452 455 457 459 460 462 464 467 469 471 472 474 476 479 481 483 484 486 488 491 493 495 496 498 500 503 505 507 508 510 512 515 517 519 520 522 524 527 529 531 532 534 536 539 541 543 544 546 548
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 23:11:20 2023]