#BEGIN: [Thu Sep 14 22:04:02 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC500.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC500.5_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/DSJC500.5.col /benchmark/2022benchmark/benchmark/color04/DSJC500.5_02.dat
s 3 7 87 109 150 159 192 226 319 381 405 480 
t 3 7 109 137 150 159 192 226 319 381 405 480
a YES
a 3 7 87 109 150 159 192 226 319 381 405 480
a 3 7 87 109 150 159 192 319 374 381 405 480
a 3 7 109 137 150 159 192 319 374 381 405 480
a 3 7 109 137 150 159 192 193 319 374 381 405
a 3 7 109 137 150 159 192 193 226 319 381 405
a 3 7 109 150 159 192 193 226 319 381 405 461
a 3 22 109 150 159 192 193 226 319 381 405 461
a 3 22 109 137 150 159 192 193 226 319 381 405
a 3 22 109 137 150 159 192 193 319 374 381 405
a 3 22 137 150 159 192 193 234 319 374 381 405
a 3 22 150 159 192 193 234 319 374 381 405 461
a 3 22 109 150 159 192 193 319 374 381 405 461
a 3 7 109 150 159 192 193 319 374 381 405 461
a 3 7 87 109 150 159 192 319 374 381 405 461
a 3 7 87 109 150 159 192 226 319 381 405 461
a 3 7 87 109 150 159 192 226 319 381 461 480
a 3 7 87 109 150 159 192 319 374 381 461 480
a 3 7 87 109 150 159 192 319 374 405 461 480
a 3 7 87 109 150 159 192 226 319 405 461 480
a 3 7 87 109 150 159 192 226 381 405 461 480
a 3 7 87 109 150 159 192 374 381 405 461 480
a 3 7 87 109 150 159 319 374 381 405 461 480
a 3 7 87 109 150 192 319 374 381 405 461 480
a 3 7 87 109 159 192 319 374 381 405 461 480
a 3 7 87 150 159 192 319 374 381 405 461 480
a 3 7 109 150 159 192 319 374 381 405 461 480
a 3 87 109 150 159 192 319 374 381 405 461 480
a 7 87 109 150 159 192 319 374 381 405 461 480
a 3 7 87 109 150 159 192 319 381 405 461 480
a 3 7 87 109 150 159 226 319 381 405 461 480
a 3 7 87 109 150 192 226 319 381 405 461 480
a 3 7 87 109 159 192 226 319 381 405 461 480
a 3 7 87 150 159 192 226 319 381 405 461 480
a 3 87 109 150 159 192 226 319 381 405 461 480
a 7 87 109 150 159 192 226 319 381 405 461 480
a 3 7 109 150 159 192 226 319 381 405 461 480
a 3 7 109 137 150 159 192 226 319 381 405 480
#END: [Thu Sep 14 22:33:02 2023]