#BEGIN: [Sat Sep  9 18:03:22 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-single --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: [Sat Sep  9 18:32:23 2023]