#BEGIN: [Fri Sep  1 01:53:02 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC125.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC125.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 -t4 /benchmark/2022benchmark/benchmark/color04/DSJC125.5.col /benchmark/2022benchmark/benchmark/color04/DSJC125.5_01.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC125.5.col
c /benchmark/2022benchmark/benchmark/color04/DSJC125.5_01.dat
s 6 14 15 25 45 87 88 107 113 
t 6 14 25 33 63 76 87 107 122
a YES
a 6 14 15 25 45 87 88 107 113
a 6 14 15 25 45 76 87 88 107
a 6 14 15 25 45 76 87 88 113
a 6 14 15 25 45 76 87 107 113
a 6 14 15 25 45 76 88 107 113
a 14 15 25 45 76 87 88 107 113
a 6 14 15 45 76 87 88 107 113
a 6 14 15 25 76 87 88 107 113
a 6 14 15 25 62 76 88 107 113
a 6 14 25 62 63 76 88 107 113
a 6 14 25 63 76 88 107 113 117
a 6 14 25 63 76 83 88 113 117
a 6 14 63 76 83 86 88 113 117
a 6 14 63 76 86 88 107 113 117
a 6 14 63 76 87 88 107 113 117
a 6 14 25 63 76 87 88 113 117
a 6 14 25 63 76 87 88 107 117
a 6 14 25 76 87 88 107 113 117
a 6 25 63 76 87 88 107 113 117
a 6 25 63 74 76 87 88 107 117
a 6 25 57 63 74 87 88 107 117
a 6 25 57 63 87 88 107 113 117
a 6 14 25 63 87 88 107 113 117
a 14 25 63 76 87 88 107 113 117
a 14 25 76 87 88 107 111 113 117
a 14 15 25 76 87 88 107 111 113
a 15 25 76 87 88 107 111 113 123
a 15 25 45 76 87 88 107 113 123
a 6 15 25 45 76 87 88 107 113
a 6 14 25 45 76 87 88 107 113
a 6 14 25 63 76 87 88 107 113
a 6 14 25 63 76 87 107 113 117
a 6 14 25 33 63 76 87 107 113
a 6 14 25 33 63 76 87 107 122
c Step: 33
#END: [Fri Sep  1 02:00:34 2023]