#BEGIN: [Thu Sep 14 23:03:32 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_15d.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_15d_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/le450_15d.col /benchmark/2022benchmark/benchmark/color04/le450_15d_02.dat
s 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 160 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 401 405 425 
t 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438
a YES
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 160 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 189 215 240 241 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 398 401 405 425
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 189 215 240 241 251 260 280 286 289 296 301 308 320 325 341 352 364 376 379 385 398 401 405 425
a 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 176 189 215 240 241 251 260 280 286 289 296 301 308 320 325 341 352 364 376 379 385 398 401 405 425
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 176 189 215 240 241 251 260 280 286 289 296 301 308 320 341 352 364 376 379 385 398 401 405 425
a 23 27 31 42 55 75 82 95 97 100 115 116 121 149 167 176 189 215 240 241 251 260 280 286 289 296 301 308 320 331 341 352 364 376 379 385 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 176 189 215 240 241 251 260 280 286 289 296 301 308 320 331 341 352 364 376 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 176 189 215 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 376 379 385 389 398 401 405 425
a 23 31 42 55 75 82 95 100 115 116 121 149 167 171 176 189 215 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 376 379 385 389 398 401 405 425
a 23 31 42 46 55 75 82 95 100 115 116 121 149 167 171 176 215 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 376 379 385 389 398 401 405 425
a 23 31 42 46 55 82 95 100 115 116 121 149 167 171 176 185 215 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 376 379 385 389 398 401 405 425
a 23 31 42 46 55 82 95 100 115 116 121 149 167 171 176 185 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 23 31 42 46 55 75 82 95 100 115 116 121 149 167 171 176 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 19 23 31 42 46 55 75 82 95 100 115 116 121 149 167 171 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 19 23 31 42 55 75 82 95 100 115 116 121 149 167 171 189 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 23 31 42 55 75 82 95 100 115 116 121 149 167 171 176 189 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 176 189 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 19 23 27 31 42 55 75 82 95 100 115 116 121 149 167 189 215 230 240 241 251 280 286 289 296 301 308 316 320 331 341 352 364 379 385 389 398 401 405 425
a 19 23 27 31 42 55 75 82 95 100 115 116 121 149 167 189 215 230 240 241 251 260 280 286 289 296 301 308 320 331 341 352 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 331 341 352 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 331 341 364 379 385 389 398 401 405 425
a 19 23 27 31 42 55 75 82 95 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 331 341 364 379 385 389 398 401 405 425
a 19 23 27 31 42 55 75 82 95 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 389 398 401 405 425
a 19 23 27 31 42 55 75 82 95 100 115 116 149 167 168 178 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 149 167 168 176 178 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 95 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 389 398 401 405 425
a 23 27 31 42 55 75 82 93 95 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 75 82 93 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 75 82 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 75 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 55 75 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 55 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 19 23 27 31 42 59 82 93 95 97 100 115 116 121 149 167 168 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 59 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 379 385 398 401 405 425
a 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 180 189 215 230 240 241 251 260 280 286 289 296 301 308 320 336 341 379 385 398 401 405 425
a 27 31 42 55 75 82 93 95 97 100 115 116 121 149 162 167 168 176 180 189 230 240 241 251 260 280 286 289 296 301 308 320 336 341 379 385 398 401 405 425
a 27 31 42 55 75 82 93 95 97 100 115 116 121 149 162 167 168 176 180 189 230 240 241 251 260 286 289 296 301 308 320 336 341 379 385 398 401 405 425 438
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 162 167 168 176 189 230 240 241 251 260 286 289 296 301 308 320 336 341 379 385 398 401 405 425 438
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 162 167 168 189 230 240 241 251 260 286 289 296 301 308 320 336 341 379 385 398 401 405 425 438
a 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438
a 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438
#END: [Thu Sep 14 23:32:32 2023]