#BEGIN: [Fri Sep 1 03:05:31 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 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 117 142 153 161 192 205 218 231 244 a 3 28 38 50 75 95 104 117 142 153 161 192 218 231 244 a 3 28 38 50 75 95 104 117 142 153 161 205 218 231 244 a 3 28 38 50 75 95 104 117 142 153 161 192 205 218 231 a 3 28 38 50 75 95 104 117 153 161 192 205 218 231 244 a 3 28 38 50 75 95 104 117 142 153 161 192 205 231 244 a 3 28 38 50 75 95 104 117 142 153 192 205 218 231 244 a 3 28 38 50 75 95 104 117 142 161 192 205 218 231 244 a 3 28 38 75 95 104 117 142 153 161 192 205 218 231 244 a 3 28 38 50 75 95 104 117 142 153 161 192 205 218 244 a 3 28 38 50 75 95 104 117 142 153 161 192 205 234 244 a 28 38 50 75 95 104 117 142 153 161 192 205 211 234 244 a 9 28 38 50 75 95 104 117 142 161 192 205 211 234 244 a 9 28 38 50 75 95 104 117 142 161 192 205 211 231 244 a 28 38 50 75 95 104 117 142 153 161 192 205 211 231 244 a 10 28 38 50 75 104 117 142 153 161 192 205 211 231 244 a 10 28 38 50 75 81 104 117 142 153 192 205 211 231 244 a 10 28 47 50 75 81 104 117 142 153 192 205 211 231 244 a 10 28 47 50 75 104 117 142 153 161 192 205 211 231 244 a 10 28 47 54 75 104 117 142 153 161 192 205 211 231 244 a 10 28 47 54 75 82 104 117 142 153 161 192 205 231 244 a 10 28 47 54 75 82 104 117 153 161 192 205 211 231 244 a 10 28 47 54 75 82 104 117 144 153 161 205 211 231 244 a 10 28 47 54 75 82 104 117 142 153 161 205 211 231 244 a 10 28 47 75 82 104 117 142 153 161 192 205 211 231 244 a 10 28 54 75 82 104 117 142 153 161 192 205 211 231 244 a 10 28 47 54 75 82 117 142 153 161 192 205 211 231 244 a 10 28 47 54 75 82 104 117 142 153 161 192 205 211 244 a 10 28 47 54 75 82 104 117 142 161 192 205 211 231 244 a 10 28 47 54 75 82 104 142 153 161 192 205 211 231 244 a 10 28 47 54 82 104 117 142 153 161 192 205 211 231 244 a 10 28 47 54 75 82 104 117 142 153 192 205 211 231 244 a 10 28 47 54 75 82 104 117 142 153 161 192 211 231 244 a 10 47 54 75 82 104 117 142 153 161 192 205 211 231 244 a 28 47 54 75 82 104 117 142 153 161 192 205 211 231 244 a 28 47 54 75 82 104 117 142 153 161 192 205 211 234 244 a 28 47 55 75 82 104 117 142 153 161 192 205 211 234 244 a 3 28 47 55 75 82 104 117 142 153 161 192 205 234 244 a 3 28 47 75 82 104 117 142 153 161 192 205 215 234 244 a 3 28 38 75 82 104 117 142 153 161 192 205 215 234 244 a 3 28 38 61 75 82 104 117 142 153 161 192 215 234 244 a 3 28 38 61 82 104 117 142 153 161 192 203 215 234 244 a 3 28 38 61 82 104 117 142 153 161 192 203 215 239 244 a 3 28 38 77 82 104 117 142 153 161 192 203 215 239 244 a 3 28 38 77 82 104 117 142 153 161 192 203 215 239 250 a 3 28 38 77 82 104 117 142 153 161 192 196 215 239 250 a 3 28 38 50 77 104 117 142 153 161 192 196 215 239 250 a 3 28 38 50 77 81 104 117 142 153 192 196 215 239 250 a 3 28 38 50 75 81 104 117 142 153 192 196 215 239 250 a 3 28 38 50 75 81 104 117 142 153 167 192 196 239 250 a 3 28 38 50 75 81 104 117 142 167 192 196 221 239 250 a 9 28 38 50 75 81 104 117 142 167 192 196 221 239 250 a 9 38 50 75 81 104 117 142 156 167 192 196 221 239 250 a 9 38 50 75 81 104 117 142 156 167 192 196 221 239 243 a 10 38 50 75 81 104 117 142 156 167 192 196 221 239 243 a 10 28 38 50 75 81 104 117 142 167 192 196 221 239 243 a 10 28 38 50 75 81 104 117 142 167 192 196 221 239 249 a 10 38 50 75 81 104 117 142 156 167 192 196 221 239 249 a 26 38 50 75 81 104 117 142 156 167 192 196 221 239 249 a 13 26 38 50 75 81 104 117 142 156 167 192 196 239 249 a 13 26 38 50 75 81 104 117 142 156 167 192 196 239 243 a 13 26 50 75 81 104 117 142 156 167 192 196 214 239 243 a 13 26 34 75 81 104 117 142 156 167 192 196 214 239 243 a 13 26 34 75 81 104 117 142 156 167 192 196 214 233 243 a 13 26 50 75 81 104 117 142 156 167 192 196 214 233 243 a 13 26 38 50 75 81 104 117 142 156 167 192 196 233 243 a 26 38 50 75 81 104 117 142 156 167 192 196 221 233 243 a 26 38 50 75 95 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 95 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 117 142 156 167 192 196 221 233 243 a 1 26 50 75 95 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 156 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 156 167 192 221 233 243 a 1 26 38 75 95 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 156 167 192 196 221 233 a 1 26 38 50 75 95 104 117 142 156 167 196 221 233 243 a 1 26 38 50 75 95 104 117 144 156 167 196 221 233 243 a 1 26 38 50 75 95 104 117 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 156 167 192 196 233 243 a 1 26 38 50 75 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 167 192 196 221 233 243 a 1 38 50 75 95 104 117 142 156 167 192 196 221 233 243 a 1 26 38 50 75 95 104 117 142 156 167 192 196 221 243 a 1 38 50 75 95 104 117 142 156 167 192 196 221 234 243 a 1 28 38 50 75 95 104 117 142 167 192 196 221 234 243 a 1 28 38 50 75 95 104 117 142 167 192 196 221 233 243 a 28 38 50 75 95 104 117 142 154 167 192 196 221 233 243 a 3 28 38 50 75 95 104 117 142 154 167 192 196 221 233 a 3 28 38 50 75 81 104 117 142 154 167 192 196 221 233 a 3 28 38 50 75 81 104 117 142 154 167 192 196 221 249 a 3 28 38 50 75 81 104 117 142 154 192 196 221 231 249 a 3 28 38 63 75 81 104 117 142 154 192 196 221 231 249 a 3 28 38 63 75 81 104 117 142 154 167 192 196 221 249 a 3 28 38 63 75 81 104 117 142 154 167 192 221 226 249 a 3 28 38 63 75 84 104 117 142 154 167 192 221 226 249 a 3 28 38 63 75 84 104 117 142 154 161 192 221 226 249 a 3 28 38 63 75 84 117 142 154 161 192 200 221 226 249 a 3 28 38 63 75 84 117 142 154 161 192 200 221 231 249 a 3 28 38 63 75 84 104 117 142 154 161 192 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 3 25 38 63 75 104 117 142 154 161 192 196 221 231 242 a 3 25 38 75 95 104 117 142 154 161 192 196 221 231 242 a 3 25 38 50 75 95 104 117 142 154 161 192 196 221 231 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 25 38 50 75 95 104 117 142 161 192 196 221 231 250 a 3 25 38 50 75 95 104 117 142 161 188 196 221 231 250 a 3 32 38 50 75 95 104 117 142 161 188 196 221 231 250 a 3 32 38 50 75 95 104 117 142 161 188 196 221 231 249 a 3 32 38 50 75 95 104 117 142 154 161 196 221 231 249 a 3 32 38 50 75 95 104 117 142 154 161 196 221 231 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 183 196 221 233 a 3 32 38 50 75 95 104 142 154 161 183 196 221 233 252 a 3 32 38 50 75 95 117 142 154 161 183 196 221 233 252 a 3 32 38 50 75 95 104 117 142 161 183 196 221 233 252 a 3 32 38 50 75 95 104 117 142 154 161 183 196 221 252 a 3 32 38 50 75 95 104 117 142 154 161 183 196 221 249 a 3 32 38 50 95 104 117 142 154 161 183 196 221 235 249 a 3 28 38 50 95 104 117 142 154 161 183 196 221 235 249 a 3 28 38 50 95 104 117 142 154 161 192 196 221 235 249 a 3 28 38 50 75 95 104 117 142 154 161 192 196 221 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 142 154 161 192 196 231 249 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 161 192 196 221 231 249 a 3 28 38 50 75 95 104 117 142 161 192 196 218 231 249 a 3 28 38 50 77 95 104 117 142 161 192 196 218 231 249 a 3 28 38 50 77 95 104 117 142 154 161 192 196 231 249 a 3 28 38 77 95 104 117 142 154 161 192 196 210 231 249 a 3 28 38 63 77 104 117 142 154 161 192 196 210 231 249 a 3 28 38 63 77 85 104 142 154 161 192 196 210 231 249 a 3 28 38 63 77 85 104 142 154 161 192 196 210 235 249 a 3 28 38 63 77 85 104 114 142 154 161 192 196 235 249 a 3 28 38 63 77 85 104 114 142 154 161 192 196 231 249 a 3 28 38 63 75 85 104 114 142 154 161 192 196 231 249 a 3 28 38 63 75 104 114 142 154 161 192 196 221 231 249 a 3 28 38 63 75 81 104 114 142 154 192 196 221 231 249 a 3 28 38 63 75 81 104 114 142 154 167 192 196 221 249 a 3 28 38 63 75 81 104 114 142 154 167 192 196 221 245 a 3 28 38 63 75 81 104 114 142 154 192 196 221 231 245 a 3 28 38 63 75 104 114 142 154 161 192 196 221 231 245 a 3 28 38 63 75 82 104 142 154 161 192 196 221 231 245 a 3 28 38 63 75 82 104 142 154 161 192 196 221 233 245 a 28 38 63 75 82 104 115 142 154 161 192 196 221 233 245 a 28 38 63 75 82 104 115 142 154 161 192 196 221 231 245 a 28 38 63 75 82 104 115 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 9 28 38 63 75 82 104 117 142 154 161 192 196 221 231 a 3 28 38 63 75 82 104 117 142 154 161 192 196 221 231 a 3 28 38 63 75 82 104 117 142 154 161 192 196 221 233 a 3 28 38 63 75 82 104 117 142 154 161 192 196 221 249 a 3 28 38 63 75 82 104 117 154 161 192 196 221 231 249 a 3 28 63 75 82 104 117 142 154 161 192 196 221 231 249 a 3 28 38 63 75 82 104 117 142 154 192 196 221 231 249 a 3 28 38 75 82 104 117 142 154 161 192 196 221 231 249 a 3 28 38 75 95 104 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 50 75 95 104 117 142 154 192 196 221 231 249 a 3 28 38 50 75 95 104 117 154 161 192 196 221 231 249 c Step: 162 #END: [Fri Sep 1 03:14:31 2023]