#BEGIN: [Thu Aug 31 15:59:42 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC125.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC125.5_02.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/DSJC125.5.col /benchmark/2022benchmark/benchmark/color04/DSJC125.5_02.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC125.5.col
c /benchmark/2022benchmark/benchmark/color04/DSJC125.5_02.dat
TIMEOUT 1800
c send SIGTERM to CID ba82b7eb5c7965a6c4a006ec38c890bcb0ea6e617fe5507838c37f11c978d9f3
s 6 14 25 63 76 87 88 107 117 
t 6 14 25 63 76 83 88 113 117
a YES
a 6 14 25 63 76 87 88 107 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 6 25 63 76 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 6 14 25 76 87 88 107 113 117
a 6 14 25 45 76 87 88 107 113
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 6 14 15 25 45 87 88 107 113
a 6 14 15 45 76 87 88 107 113
a 6 14 15 25 45 76 87 88 107
a 6 14 15 25 76 87 88 107 113
a 14 15 25 45 76 87 88 107 113
a 6 15 25 45 76 87 88 107 113
a 15 25 45 76 87 88 107 113 123
a 15 25 76 87 88 107 111 113 123
a 14 15 25 76 87 88 107 111 113
a 14 15 25 62 76 88 107 111 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 63 76 86 88 107 113 117
a 6 14 63 76 87 88 107 113 117
a 6 14 25 63 76 87 107 113 117
a 6 14 25 33 63 76 87 107 113
a 6 14 25 63 76 87 88 107 113
a 6 14 25 63 76 87 88 113 117
a 6 14 25 63 76 83 88 113 117
c Step: 32
#END: [Thu Aug 31 16:29:42 2023]