#BEGIN: [Wed Aug 30 21:19:11 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen13_13.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen13_13_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/queen13_13.col /benchmark/2022benchmark/benchmark/color04/queen13_13_02.dat
c /benchmark/2022benchmark/benchmark/color04/queen13_13.col
c /benchmark/2022benchmark/benchmark/color04/queen13_13_02.dat
TIMEOUT 1800
c send SIGTERM to CID b21064309e9b8612591e2879a29949895dec35e48a4f2ea802d466cc6ec4fc61
s 8 24 29 46 54 77 87 97 105 122 156 160 
t 8 24 29 46 54 77 79 95 122 140 156 162
a YES
a 8 24 29 46 54 77 87 97 105 122 156 160
a 8 24 29 46 54 77 87 97 105 122 140 160
a 24 29 46 54 77 87 97 105 122 140 156 160
a 8 29 46 54 77 87 97 105 122 140 156 160
a 8 24 29 46 54 77 87 97 105 140 156 160
a 8 24 46 54 77 87 97 105 122 140 156 160
a 8 24 29 46 54 87 97 105 122 140 156 160
a 8 24 29 46 54 90 97 105 122 140 156 160
a 8 24 29 46 54 77 97 105 122 140 156 160
a 8 24 29 46 54 77 79 97 122 140 156 160
a 8 24 29 46 54 77 79 97 117 122 140 160
a 24 29 46 54 77 79 97 117 122 140 151 160
a 9 29 46 54 77 79 97 117 122 140 151 160
a 9 24 46 54 77 79 97 117 122 140 151 160
a 9 24 29 46 54 77 79 97 117 140 151 160
a 9 24 29 46 54 77 79 97 117 122 151 160
a 9 24 29 46 54 77 79 97 114 122 151 160
a 9 24 29 46 54 77 79 97 122 140 151 160
a 9 24 29 46 54 77 79 97 122 140 156 160
a 9 24 29 46 54 77 79 97 117 122 140 160
a 9 24 29 46 54 77 79 117 122 140 151 160
a 9 24 29 46 54 77 79 117 122 140 151 162
a 9 24 29 46 54 77 79 95 117 122 140 162
a 8 24 29 46 54 77 79 95 117 122 140 162
a 8 24 29 46 54 77 79 95 117 122 139 162
a 8 24 29 46 54 77 79 95 122 139 156 162
a 8 24 29 46 54 77 95 105 122 139 156 162
a 8 24 29 46 54 77 95 105 122 140 156 162
a 8 24 29 46 54 77 87 95 105 122 140 156
a 8 24 29 46 77 87 95 105 122 140 156 162
a 8 24 29 46 61 77 95 105 122 140 156 162
a 8 24 29 46 61 77 79 95 122 140 156 162
a 8 29 46 61 77 79 95 115 122 140 156 162
a 8 29 46 54 77 79 95 115 122 140 156 162
a 8 25 29 46 54 79 95 115 122 140 156 162
a 9 25 29 46 54 79 95 115 122 140 156 162
a 9 25 29 46 54 76 79 95 122 140 156 162
a 8 25 29 46 54 76 79 95 122 140 156 162
a 8 25 29 46 54 76 79 95 122 139 156 162
a 8 25 29 46 54 76 95 105 122 139 156 162
a 8 25 29 46 54 75 95 105 122 139 156 162
a 8 25 29 46 54 89 95 105 122 139 156 162
a 8 25 29 46 54 89 95 105 122 140 156 162
a 8 25 29 46 54 76 95 105 122 140 156 162
a 25 29 46 54 76 87 95 105 122 140 156 162
a 8 25 29 46 54 76 87 95 105 140 156 162
a 8 25 29 46 54 76 87 95 105 122 156 162
a 8 25 29 46 54 76 87 105 122 140 156 162
a 8 25 29 46 54 76 87 95 105 122 140 156
a 8 25 29 46 54 76 87 95 105 122 140 149
a 8 25 29 46 54 76 87 95 105 122 140 162
a 8 25 29 46 54 76 87 95 122 140 156 162
a 8 25 29 46 54 87 95 105 122 140 156 162
a 8 29 46 54 77 87 95 105 122 140 156 162
a 24 29 46 54 77 87 95 105 122 140 156 162
a 8 24 29 46 54 77 87 95 105 140 156 162
a 8 24 29 46 54 87 95 105 122 140 156 162
a 8 24 46 54 77 87 95 105 122 140 156 162
a 8 24 29 54 77 87 95 105 122 140 156 162
a 8 24 29 46 54 77 87 95 105 122 156 162
a 8 24 29 46 54 77 87 95 105 122 140 162
a 8 24 29 46 54 77 87 105 122 140 156 162
a 8 24 29 46 54 77 87 105 122 140 156 160
a 8 24 29 46 54 77 87 97 122 140 156 160
a 8 24 46 54 77 87 97 107 122 140 156 160
a 8 24 33 54 77 87 97 107 122 140 156 160
a 8 24 33 53 77 87 97 107 122 140 156 160
a 8 24 33 43 53 77 87 97 107 122 140 156
a 8 24 33 43 54 77 87 97 107 122 140 156
a 8 24 33 43 54 77 87 97 107 118 140 156
a 8 24 33 43 54 77 87 107 118 140 156 162
a 8 24 33 43 54 77 87 107 122 140 156 162
a 8 24 27 43 54 77 87 107 122 140 156 162
a 8 24 27 46 54 77 87 107 122 140 156 162
a 8 24 27 46 54 77 87 95 122 140 156 162
a 8 24 27 46 54 77 87 95 122 133 156 162
a 8 24 27 46 54 77 87 95 117 122 133 162
a 8 24 27 46 54 77 87 95 117 122 140 162
a 8 24 29 46 54 77 87 95 117 122 140 162
a 8 29 46 54 77 87 95 117 122 140 144 162
a 8 29 46 54 77 87 95 117 122 140 144 167
a 8 19 29 46 54 77 87 95 122 140 144 167
a 13 19 29 46 54 77 87 95 122 140 144 167
a 13 19 29 46 54 77 87 95 105 122 140 167
a 8 19 29 46 54 77 87 95 105 122 140 167
a 8 19 29 46 54 77 95 105 122 140 156 167
a 19 29 46 54 77 87 95 105 122 140 156 167
a 8 19 29 46 54 77 87 105 122 140 156 167
a 8 19 29 46 54 77 87 95 122 140 156 167
a 8 19 46 54 77 87 95 105 122 140 156 167
a 8 19 29 46 54 77 87 95 105 140 156 167
a 8 19 29 46 54 77 87 95 105 122 140 156
a 8 19 29 46 54 87 95 105 122 140 156 167
a 8 19 29 46 54 76 87 95 105 122 140 156
a 12 19 29 46 54 76 87 95 105 122 140 156
a 12 29 46 54 76 87 95 105 122 140 156 162
a 12 29 46 54 76 87 95 105 125 140 156 162
a 12 19 29 46 54 76 87 95 105 125 140 156
a 12 19 29 46 54 76 87 95 125 140 156 157
a 12 19 29 46 54 76 87 95 122 140 156 157
a 8 19 29 46 54 76 87 95 122 140 156 157
a 8 19 29 46 54 77 87 95 122 140 156 157
a 8 24 29 46 54 77 87 95 122 140 156 157
a 8 24 29 46 54 77 87 95 122 140 156 162
a 8 24 29 46 54 77 79 95 122 140 156 162
c Step: 104
#END: [Wed Aug 30 21:49:12 2023]