#BEGIN: [Wed Aug 30 19:29:30 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_25d.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_25d_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/le450_25d.col /benchmark/2022benchmark/benchmark/color04/le450_25d_01.dat
c /benchmark/2022benchmark/benchmark/color04/le450_25d.col
c /benchmark/2022benchmark/benchmark/color04/le450_25d_01.dat
TIMEOUT 1800
c send SIGTERM to CID a339ed663fea89cc4c9cad3780c0085dbe69ab4f762dff67ee9ea045cfef0eea
s 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 200 203 205 217 220 228 230 231 232 243 250 269 275 279 334 338 342 343 353 358 368 389 408 420 436 445 
t 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 191 200 203 205 215 217 220 230 231 243 250 269 279 334 338 342 343 353 358 360 368 389 408 420 436 445
a YES
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 200 203 205 217 220 228 230 231 232 243 250 269 275 279 334 338 342 343 353 358 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 191 200 203 205 217 220 228 230 231 232 243 250 269 279 334 338 342 343 353 358 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 191 200 203 205 217 220 230 231 232 243 250 269 279 334 338 342 343 353 358 360 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 200 203 205 217 220 230 231 232 243 250 269 275 279 334 338 342 343 353 358 360 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 200 203 205 215 217 220 230 231 243 250 269 275 279 334 338 342 343 353 358 360 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 200 203 205 215 217 220 228 230 231 243 250 269 275 279 334 338 342 343 353 358 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 191 200 203 205 215 217 220 228 230 231 243 250 269 279 334 338 342 343 353 358 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 189 191 200 203 205 215 217 220 228 230 231 243 250 269 273 279 334 338 342 343 353 358 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 189 191 200 203 205 215 217 220 230 231 243 250 269 273 279 334 338 342 343 353 358 360 368 389 408 420 436 445
a 10 35 38 46 47 48 61 76 83 90 113 130 138 152 162 177 189 191 200 203 205 215 217 220 230 231 243 250 269 279 334 338 342 343 353 358 360 368 389 408 420 436 445
c Step: 9
#END: [Wed Aug 30 19:59:30 2023]