#BEGIN: [Thu Sep 14 21:29:28 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC1000.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC1000.5_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/DSJC1000.5.col /benchmark/2022benchmark/benchmark/color04/DSJC1000.5_01.dat
s 101 146 157 270 276 376 626 634 678 748 778 860 861 997 
t 101 146 270 276 376 383 560 566 606 678 748 861 869 936
a YES
a 101 146 157 270 276 376 626 634 678 748 778 860 861 997
a 101 146 157 270 276 376 566 626 634 678 748 778 860 861
a 101 146 157 270 276 376 566 626 634 678 748 778 860 997
a 101 146 157 270 276 376 566 626 634 678 748 860 861 997
a 101 146 157 270 276 376 566 626 634 678 778 860 861 997
a 101 146 157 270 276 376 566 626 634 748 778 860 861 997
a 101 146 157 270 276 376 566 626 678 748 778 860 861 997
a 101 146 157 270 276 376 566 634 678 748 778 860 861 997
a 101 146 157 270 276 566 626 634 678 748 778 860 861 997
a 101 146 157 270 376 566 626 634 678 748 778 860 861 997
a 101 146 157 276 376 566 626 634 678 748 778 860 861 997
a 101 146 270 276 376 566 626 634 678 748 778 860 861 997
a 101 157 270 276 376 566 626 634 678 748 778 860 861 997
a 146 157 270 276 376 566 626 634 678 748 778 860 861 997
a 101 146 157 270 276 376 566 626 634 678 748 778 861 997
a 101 146 157 270 276 376 566 626 634 678 748 861 869 997
a 101 146 157 270 276 376 566 606 634 678 748 861 869 997
a 101 146 157 270 276 376 383 566 606 678 748 861 869 997
a 101 146 157 270 276 376 383 566 606 678 748 861 869 936
a 101 146 157 270 276 376 566 606 634 678 748 861 869 936
a 101 146 270 276 376 560 566 606 634 678 748 861 869 936
a 101 146 270 276 560 566 606 611 634 678 748 861 869 936
a 101 146 270 276 383 560 566 606 611 678 748 861 869 936
a 101 146 270 276 376 383 560 566 606 678 748 861 869 936
#END: [Thu Sep 14 21:58:28 2023]