#BEGIN: [Wed Aug 30 21:29:30 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen16_16.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen16_16_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/queen16_16.col /benchmark/2022benchmark/benchmark/color04/queen16_16_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen16_16.col
c /benchmark/2022benchmark/benchmark/color04/queen16_16_01.dat
TIMEOUT 1800
c send SIGTERM to CID 15aed40d00e90f089d3e2eb0bc2c1cca503dd1b98aa2456c65312471d4e57501
s 3 28 38 50 95 104 117 142 153 161 192 205 218 231 244 
t 3 28 38 50 75 95 104 117 154 161 192 196 221 231 249
a YES
a 3 28 38 50 95 104 117 142 153 161 192 205 218 231 244
a 3 28 38 50 75 95 104 117 142 153 192 205 218 231 244
a 3 28 50 75 95 104 117 142 153 166 192 205 218 231 244
a 3 28 47 50 75 104 117 142 153 166 192 205 218 231 244
a 3 28 47 50 75 104 117 142 145 166 192 205 218 231 244
a 3 28 47 50 75 104 117 142 145 166 192 205 218 231 249
a 3 28 50 75 95 104 117 142 145 166 192 205 218 231 249
a 3 28 38 50 75 95 104 117 142 145 192 205 218 231 249
a 3 28 38 50 75 95 104 117 142 161 192 205 218 231 249
a 3 28 38 50 75 95 104 117 142 161 192 196 218 231 249
a 3 28 38 50 75 95 104 117 142 154 161 192 196 231 249
a 3 28 50 75 95 104 117 142 154 161 192 196 221 231 249
a 3 28 38 50 75 95 104 117 142 154 161 192 196 221 231
a 3 28 38 50 75 95 104 117 142 161 192 196 221 231 250
a 3 28 38 50 75 95 104 117 142 161 192 196 221 231 249
a 3 28 38 50 75 95 104 117 142 154 161 196 221 231 249
a 3 28 50 75 95 104 117 142 154 161 182 196 221 231 249
a 28 48 50 75 95 104 117 142 154 161 182 196 221 231 249
a 3 28 48 50 75 95 104 142 154 161 182 196 221 231 249
a 3 28 50 75 95 104 128 142 154 161 182 196 221 231 249
a 28 37 50 75 95 104 128 142 154 161 182 196 221 231 249
a 28 37 50 75 95 104 128 142 154 161 182 196 221 231 243
a 9 28 37 50 75 95 104 142 154 161 182 196 221 231 243
a 9 28 37 50 75 95 104 113 142 154 182 196 221 231 243
a 9 28 37 50 75 95 104 113 142 154 192 196 221 231 243
a 9 28 37 50 75 95 104 113 142 154 167 192 196 221 243
a 9 28 37 50 75 95 104 113 142 154 167 192 196 221 246
a 9 28 37 50 75 95 104 115 142 154 167 192 196 221 246
a 9 28 37 50 75 95 104 115 142 154 167 177 196 221 246
a 9 28 37 50 75 95 104 115 144 154 167 177 196 221 246
a 28 37 50 75 95 104 115 144 154 167 177 196 221 233 246
a 28 37 50 75 95 104 115 142 154 167 177 196 221 233 246
a 28 48 50 75 95 104 115 142 154 167 177 196 221 233 246
a 3 28 48 50 75 95 104 142 154 167 177 196 221 233 246
a 3 21 48 50 75 95 104 142 154 167 177 196 221 233 246
a 21 48 50 75 95 104 115 142 154 167 177 196 221 233 246
a 12 21 48 50 75 95 104 115 142 154 167 196 221 233 246
a 12 21 50 75 95 104 115 142 154 167 192 196 221 233 246
a 12 37 50 75 95 104 115 142 154 167 192 196 221 233 246
a 12 37 50 75 95 104 113 142 154 167 192 196 221 233 246
a 28 37 50 75 95 104 113 142 154 167 192 196 221 233 246
a 3 28 50 75 95 104 113 142 154 167 192 196 221 233 246
a 3 28 50 75 95 104 117 142 154 167 192 196 221 233 246
a 3 28 38 50 75 95 104 117 142 154 167 192 196 221 233
a 3 28 38 50 75 95 104 117 142 154 161 192 196 221 233
a 3 28 38 50 75 95 104 117 142 154 161 183 196 221 233
a 3 38 50 75 95 104 117 142 154 161 183 196 221 233 252
a 3 32 38 50 75 95 104 142 154 161 183 196 221 233 252
a 3 32 38 50 75 95 104 117 142 154 161 183 196 233 252
a 3 32 38 50 75 95 104 117 142 154 161 183 221 233 252
a 32 38 50 75 95 104 117 142 154 161 183 196 221 233 252
a 3 32 50 75 95 104 117 142 154 161 183 196 221 233 252
a 3 32 43 50 95 104 117 142 154 161 183 196 221 233 252
a 3 32 38 50 95 104 117 142 154 161 183 196 221 233 252
a 3 32 38 50 75 95 104 117 142 154 161 196 221 233 252
a 3 32 38 50 75 95 104 117 142 154 161 196 221 231 252
a 3 25 38 50 75 95 104 117 142 154 161 196 221 231 252
a 3 25 38 50 75 95 104 117 142 154 161 192 196 221 231
a 3 38 50 75 95 104 117 142 154 161 192 196 221 231 249
a 3 28 38 50 75 95 104 117 142 154 192 196 221 231 249
a 3 28 38 50 75 95 104 117 142 154 167 192 196 221 249
a 3 28 38 50 75 95 104 117 129 154 167 192 196 221 249
a 3 28 38 50 75 95 104 117 129 154 167 192 196 221 233
a 28 38 50 75 95 104 117 129 154 167 192 196 221 233 243
a 28 38 50 75 95 104 117 142 154 167 192 196 221 233 243
a 28 38 50 75 95 104 117 142 154 161 192 196 221 233 243
a 28 38 50 75 95 104 117 142 154 161 192 196 221 231 243
a 28 38 50 75 95 104 117 142 154 161 192 196 221 231 249
a 9 28 38 50 75 95 104 117 142 154 161 192 196 221 231
a 9 28 38 75 95 104 117 142 154 161 192 196 221 231 243
a 9 28 38 50 75 95 104 117 142 161 192 196 221 231 243
a 9 38 50 75 95 104 117 142 154 161 192 196 221 231 243
a 9 28 38 50 75 95 104 142 154 161 192 196 221 231 243
a 9 28 38 50 75 95 104 117 142 154 161 192 196 221 243
a 9 28 38 50 95 104 117 142 154 161 192 196 221 231 243
a 9 28 50 75 95 104 117 142 154 161 192 196 221 231 243
a 9 28 37 50 75 95 104 142 154 161 192 196 221 231 243
a 9 28 37 50 75 95 104 115 142 154 161 192 196 221 231
a 28 37 50 75 95 104 115 142 154 161 192 196 221 231 249
a 12 37 50 75 95 104 115 142 154 161 192 196 221 231 249
a 12 32 37 50 75 95 104 115 142 154 161 196 221 231 249
a 12 32 38 50 75 95 104 115 142 154 161 196 221 231 249
a 12 38 50 75 95 104 115 142 154 161 192 196 221 231 249
a 28 38 50 75 95 104 115 142 154 161 192 196 221 231 249
a 9 28 38 50 75 95 104 115 142 154 161 192 196 221 231
a 9 28 38 50 75 95 104 115 142 161 192 196 221 231 250
a 9 28 38 50 75 95 104 117 142 161 192 196 221 231 250
a 9 28 38 50 75 95 104 142 147 161 192 196 221 231 250
a 9 28 38 50 75 95 104 122 142 147 161 192 196 221 231
a 9 28 38 50 75 104 122 142 147 161 192 196 221 231 245
a 9 28 38 50 75 81 104 122 142 147 192 196 221 231 245
a 9 28 38 50 75 81 122 142 147 168 192 196 221 231 245
a 9 28 38 50 75 97 122 142 147 168 192 196 221 231 245
a 9 28 38 50 75 95 97 122 142 147 168 192 196 221 231
a 9 28 38 50 75 95 97 122 142 149 168 192 196 221 231
a 28 38 50 75 95 97 122 142 149 168 192 196 221 231 249
a 3 28 38 50 75 95 97 142 149 168 192 196 221 231 249
a 3 28 38 50 75 95 97 142 154 168 192 196 221 231 249
a 3 28 38 50 75 95 97 117 142 154 192 196 221 231 249
a 3 28 38 50 75 95 97 117 142 154 167 192 196 221 249
a 3 28 38 50 75 95 97 117 142 154 167 192 221 228 249
a 3 28 38 50 75 95 104 117 142 154 167 192 221 228 249
a 3 28 38 50 75 95 104 117 142 154 167 192 221 228 241
a 3 25 38 50 75 95 104 117 142 154 167 192 221 228 241
a 3 25 38 50 75 95 104 117 142 154 167 192 193 221 228
a 3 38 50 75 95 104 117 142 154 167 192 193 221 228 249
a 3 26 38 50 75 95 104 117 142 167 192 193 221 228 249
a 3 26 38 50 75 95 104 117 142 145 167 192 221 228 249
a 3 28 38 50 75 95 104 117 142 145 167 192 221 228 249
a 3 28 38 50 75 95 104 117 142 145 167 192 205 228 249
a 3 26 38 50 75 95 104 117 142 145 167 192 205 228 249
a 3 26 38 50 76 95 104 117 142 145 167 192 205 228 249
a 3 26 38 50 76 95 104 117 142 145 167 192 221 228 249
a 3 26 38 50 76 95 104 117 142 145 192 199 221 228 249
a 3 26 50 76 95 104 117 142 145 171 192 199 221 228 249
a 3 26 38 50 76 95 104 117 142 145 171 192 199 221 228
a 3 26 38 50 76 95 104 117 142 145 171 192 199 228 249
a 3 26 38 76 95 104 117 142 145 171 192 199 221 228 249
a 3 26 38 50 76 95 104 117 145 171 192 199 221 228 249
a 3 30 38 50 76 95 104 117 145 171 192 199 221 228 249
a 3 38 50 76 95 104 117 142 145 171 192 199 221 228 249
a 3 28 38 50 95 104 117 142 145 171 192 199 221 228 249
a 3 28 38 50 75 95 104 117 142 145 192 199 221 228 249
a 3 28 38 50 75 95 104 117 142 161 192 199 221 228 249
a 3 28 38 50 75 95 104 117 142 154 161 192 221 228 249
a 3 28 38 50 75 95 104 117 142 154 161 192 221 231 249
a 3 28 38 50 75 95 104 117 142 154 161 192 196 221 249
a 3 28 38 50 75 95 104 142 154 161 192 196 221 231 249
a 3 28 38 50 75 95 117 142 154 161 192 196 221 231 249
a 3 28 38 50 75 104 117 142 154 161 192 196 221 231 249
a 3 28 38 75 82 104 117 142 154 161 192 196 221 231 249
a 28 38 63 75 82 104 117 142 154 161 192 196 221 231 249
a 3 28 38 63 75 82 104 117 142 154 161 192 221 231 249
a 3 28 38 63 75 82 104 117 154 161 192 196 221 231 249
a 3 28 38 63 75 82 104 142 154 161 192 196 221 231 249
a 3 28 38 63 75 104 117 142 154 161 192 196 221 231 249
a 3 28 38 63 75 104 117 142 154 161 192 196 221 231 242
a 9 28 38 63 75 104 117 142 154 161 192 196 221 231 242
a 9 28 38 75 95 104 117 142 154 161 192 196 221 231 242
a 3 28 38 75 95 104 117 142 154 161 192 196 221 231 242
a 3 28 38 75 95 104 117 142 154 161 192 196 221 231 249
a 3 28 38 50 95 104 117 142 154 161 192 196 221 231 249
a 3 28 38 50 75 95 104 117 154 161 192 196 221 231 249
c Step: 142
#END: [Wed Aug 30 21:59:30 2023]