#BEGIN: [Wed Aug 30 18:29:21 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC500.1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC500.1_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/DSJC500.1.col /benchmark/2022benchmark/benchmark/color04/DSJC500.1_01.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC500.1.col
c /benchmark/2022benchmark/benchmark/color04/DSJC500.1_01.dat
TIMEOUT 1800
c send SIGTERM to CID afc0de2b4671a1e1bcc3e59a8d19ce88cc9e02dbd0f063020fcce6e5548f5f6c
s 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490 
t 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a YES
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 116 124 125 132 133 146 152 157 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 116 124 125 132 133 146 152 157 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
c Step: 9
#END: [Wed Aug 30 18:59:22 2023]