#BEGIN: [Thu Sep 14 22:56:31 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_15c.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_15c_01.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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/le450_15c.col /benchmark/2022benchmark/benchmark/color04/le450_15c_01.dat
s 20 25 33 37 40 47 58 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449 
t 20 25 33 37 40 58 66 68 86 89 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 404 419 422 432 437 444
a YES
a 20 25 33 37 40 47 58 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444 449
a 20 25 33 37 40 47 58 66 68 86 89 90 104 144 169 171 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444
a 20 25 33 40 47 58 66 68 86 89 90 104 144 169 171 192 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 329 335 404 419 422 432 437 444
a 20 25 33 40 47 58 68 86 89 90 104 144 169 171 192 199 200 202 207 217 221 227 245 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 199 200 202 207 221 227 245 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 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 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 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 89 90 104 144 169 171 192 199 200 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 40 58 66 68 86 89 90 104 144 169 171 192 199 200 202 207 217 221 227 245 258 269 278 290 303 304 311 314 324 328 329 335 404 419 422 432 437 444
a 20 25 33 37 40 58 66 68 86 89 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 404 419 422 432 437 444
#END: [Thu Sep 14 23:25:30 2023]