#BEGIN: [Thu Aug 31 15:33:22 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC1000.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC1000.5_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/DSJC1000.5.col /benchmark/2022benchmark/benchmark/color04/DSJC1000.5_01.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC1000.5.col
c /benchmark/2022benchmark/benchmark/color04/DSJC1000.5_01.dat
TIMEOUT 1800
c send SIGTERM to CID e07e31c3e4401fd56cc72326a6c9c6004544d06be7dff4d3e981a4dcb223491e
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 626 669 678 748 778 860 861 997
a 101 146 157 270 276 376 566 626 678 748 778 860 861 997
a 101 146 157 276 376 566 626 634 678 748 778 860 861 997
a 101 146 157 270 276 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 101 146 157 270 276 376 566 634 678 748 778 860 861 997
a 101 146 157 270 276 376 566 606 634 678 748 860 861 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 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 778 860 861 997
a 101 146 157 270 276 376 566 626 634 748 778 860 861 997
a 146 157 270 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 146 157 270 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 157 270 276 376 566 626 634 678 748 861 869 933 997
a 101 157 241 270 276 376 566 626 634 678 748 869 933 997
a 101 146 157 241 270 276 376 566 626 634 678 748 869 997
a 101 146 157 241 270 276 376 566 606 634 678 748 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 107 146 270 276 376 560 566 606 634 678 748 861 936
a 101 107 146 270 276 560 566 606 611 634 678 748 861 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
c Step: 31
#END: [Thu Aug 31 16:03:22 2023]