#BEGIN: [Thu Aug 31 16:01:47 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC250.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC250.5_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/DSJC250.5.col /benchmark/2022benchmark/benchmark/color04/DSJC250.5_02.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC250.5.col
c /benchmark/2022benchmark/benchmark/color04/DSJC250.5_02.dat
TIMEOUT 1800
c send SIGTERM to CID a58ac373df6f150493151cb15b8db8c2557702aba4bd3c5e2de9a2d2e1974173
s 58 60 85 108 109 110 192 221 234 239 249 
t 22 28 50 58 60 85 108 109 137 214 221
a YES
a 58 60 85 108 109 110 192 221 234 239 249
a 7 58 60 108 109 110 192 221 234 239 249
a 22 58 60 108 109 110 192 221 234 239 249
a 22 58 60 85 108 109 110 192 221 234 239
a 22 58 60 85 108 109 110 192 221 234 249
a 22 60 85 108 109 110 192 221 234 239 249
a 22 60 85 108 109 110 120 192 221 234 239
a 22 60 85 108 109 110 120 192 209 234 239
a 22 60 85 108 109 110 192 209 234 239 249
a 22 58 60 85 108 109 110 192 234 239 249
a 22 58 85 108 109 110 192 221 234 239 249
a 22 58 60 85 108 109 192 221 234 239 249
a 22 58 60 85 108 110 192 221 234 239 249
a 22 58 60 85 108 109 110 221 234 239 249
a 22 58 60 85 108 109 110 137 221 234 249
a 22 50 58 60 85 108 109 110 137 221 249
a 22 50 58 60 85 108 109 110 221 239 249
a 22 28 50 58 60 85 108 109 110 221 239
a 22 28 50 58 60 85 108 109 110 137 221
a 22 28 50 52 58 60 85 109 110 137 221
a 22 50 52 58 60 85 109 110 137 221 249
a 22 52 58 60 85 109 110 137 221 234 249
a 22 52 58 60 85 109 110 192 221 234 249
a 22 58 60 85 109 110 192 221 234 239 249
a 22 58 60 85 108 109 110 192 221 239 249
a 22 60 85 108 109 110 187 192 221 239 249
a 22 60 85 108 109 110 187 192 209 239 249
a 22 50 60 85 108 109 110 187 209 239 249
a 22 50 60 85 108 109 110 187 221 239 249
a 22 50 60 85 108 109 110 137 187 221 249
a 22 28 50 60 85 108 109 110 137 187 221
a 22 50 60 85 108 109 110 137 169 187 221
a 22 50 60 85 108 109 110 137 169 187 204
a 22 50 60 85 108 109 137 169 187 204 214
a 22 50 60 81 85 108 109 169 187 204 214
a 22 50 60 81 85 108 109 169 187 214 221
a 22 60 81 85 108 109 169 187 202 214 221
a 22 60 81 85 108 109 169 202 214 221 234
a 22 60 85 108 109 137 169 202 214 221 234
a 22 60 85 108 109 137 169 187 202 214 221
a 22 50 60 85 108 109 137 169 187 214 221
a 22 28 50 60 85 108 109 137 187 214 221
a 22 28 50 60 85 108 109 187 214 221 239
a 22 28 50 58 60 85 108 109 214 221 239
a 22 28 50 58 60 85 108 109 137 214 221
c Step: 44
#END: [Thu Aug 31 16:31:47 2023]