#BEGIN: [Thu Sep 14 03:45:27 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_15c.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_15c_02.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/le450_15c.col /benchmark/2022benchmark/benchmark/color04/le450_15c_02.dat
s 20 25 26 33 40 58 68 86 89 90 99 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 335 404 419 432 437 444 449 
t 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449
a YES
a 20 25 26 33 40 58 68 86 89 90 99 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 335 404 419 432 437 444 449
a 20 25 26 33 40 58 68 86 89 90 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 335 404 419 422 432 437 444 449
a 20 25 26 33 40 58 68 86 90 104 144 169 171 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 40 58 68 86 90 104 144 169 171 173 192 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 37 40 58 68 86 90 104 144 169 171 173 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 37 58 68 86 90 104 144 169 171 173 199 200 201 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 37 68 86 90 104 144 169 171 173 199 200 201 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 384 404 419 422 432 437 444 449
a 20 25 33 37 40 68 86 90 104 144 169 171 173 199 200 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 384 404 419 422 432 437 444 449
a 20 25 33 37 40 68 86 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 384 404 419 422 432 437 444 449
a 20 25 33 37 68 86 90 104 144 169 171 199 200 201 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 384 404 419 422 432 437 444 449
a 20 25 33 37 58 68 86 90 104 144 169 171 199 200 201 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 58 68 86 90 104 144 169 171 192 199 200 201 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 58 68 86 90 104 144 169 171 173 192 199 200 201 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 58 68 86 90 104 144 169 171 192 199 200 201 202 207 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 58 68 86 90 104 144 169 171 192 200 201 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 58 68 86 90 104 144 169 171 173 192 200 201 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 40 58 68 86 90 104 144 169 171 173 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 58 68 86 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 58 68 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 58 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 40 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 33 40 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 26 33 40 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 25 26 33 40 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 26 33 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 26 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 33 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 26 33 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 25 26 33 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 245 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 26 33 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 221 227 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 25 26 33 40 47 58 68 86 89 90 104 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 25 26 31 33 40 47 58 68 86 89 90 104 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 25 26 31 33 40 47 58 68 86 89 90 99 104 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449
a 25 26 31 33 40 47 58 68 86 89 90 99 104 121 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 335 404 419 422 432 437 444 449
a 25 26 33 40 47 58 68 86 89 90 99 104 121 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 335 404 419 422 432 437 444 449
a 25 26 33 40 58 68 86 89 90 99 104 121 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 328 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 99 104 121 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 328 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 99 104 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 328 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 99 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 328 335 404 419 422 432 437 444 449
a 4 25 26 31 33 40 58 68 89 90 99 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 328 335 404 419 422 432 437 444 449
a 4 25 26 31 33 40 58 68 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 328 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 328 335 404 419 422 432 437 444 449
a 25 26 31 33 40 47 58 68 86 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 335 404 419 422 432 437 444 449
a 4 25 26 31 33 40 47 58 68 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 335 404 419 422 432 437 444 449
a 4 25 26 31 33 47 58 68 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 335 404 419 422 429 432 437 444 449
a 25 26 31 33 47 58 68 86 89 90 99 104 121 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 335 404 419 422 429 432 437 444 449
a 25 26 31 33 47 58 68 86 90 99 104 121 144 151 169 171 200 201 202 207 211 221 227 251 258 269 278 303 304 311 314 335 404 419 422 429 432 437 444 449
a 25 26 31 33 47 58 68 86 90 99 104 144 151 169 171 200 201 202 207 211 221 227 251 258 269 278 303 304 311 314 324 335 404 419 422 429 432 437 444 449
a 25 26 31 33 47 58 68 86 89 90 99 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 335 404 419 422 429 432 437 444 449
a 4 25 26 31 33 47 58 68 89 90 99 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 335 404 419 422 429 432 437 444 449
a 4 25 26 31 33 47 58 68 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 329 335 404 419 422 429 432 437 444 449
a 25 26 31 33 47 58 68 86 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 329 335 404 419 422 429 432 437 444 449
a 25 26 31 33 40 47 58 68 86 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 4 25 26 31 33 40 47 58 68 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 4 25 26 31 33 40 58 68 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 104 144 151 169 171 200 202 207 211 221 227 251 258 269 278 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 25 26 31 33 40 58 68 86 89 90 104 144 169 171 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 25 26 33 40 58 68 86 89 90 104 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444 449
a 25 26 33 40 58 68 86 89 90 99 104 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 328 335 404 419 422 432 437 444 449
a 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 211 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449
a 20 25 26 33 40 47 58 68 86 89 90 99 104 144 169 171 192 200 202 207 221 227 251 258 269 278 290 303 304 311 314 324 335 404 419 422 432 437 444 449
#END: [Thu Sep 14 04:14:27 2023]