#BEGIN: [Tue Sep 26 03:36:10 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance025_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat c /benchmark/random_instance/random_instance025_graph005.col c /benchmark/random_instance/random_instance025_graph005_01.dat s 295 204 107 255 242 247 131 205 178 305 292 268 186 197 63 210 15 148 323 65 177 293 47 54 214 34 303 77 273 157 158 289 140 206 228 315 259 224 199 213 167 106 29 18 231 266 149 284 9 1 144 201 49 220 310 251 39 237 252 42 175 151 269 31 128 87 195 302 185 146 133 216 152 101 179 80 278 86 170 154 229 291 135 233 68 117 265 5 94 234 276 79 188 279 257 12 203 71 115 166 66 222 116 50 93 t 293 69 197 102 84 13 264 148 107 130 166 125 267 248 180 227 119 155 17 99 192 253 123 229 31 298 290 55 92 21 162 19 204 139 135 134 39 47 124 154 282 228 20 103 26 259 221 191 62 277 165 308 207 82 1 306 212 185 105 115 320 73 57 193 269 71 304 72 141 205 252 237 163 233 94 209 289 59 61 169 294 300 215 144 296 318 100 199 29 136 198 276 52 201 30 195 299 187 80 173 184 44 167 75 188 a YES a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 308 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 308 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 294 295 302 305 308 310 315 323 a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 294 302 305 308 310 315 323 a 1 5 9 12 15 18 19 29 31 34 39 42 47 49 50 54 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 34 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 34 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 34 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 188 195 197 199 201 204 205 206 210 212 213 214 216 220 221 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 34 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 213 214 216 220 221 222 224 228 229 231 233 234 237 242 251 252 255 257 259 265 266 268 269 273 276 278 279 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 213 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 257 259 265 266 268 269 273 276 278 279 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 50 54 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 213 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 257 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 50 54 57 62 65 66 71 77 80 84 86 87 93 94 101 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 257 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 50 54 57 62 65 66 71 77 80 84 86 87 93 94 101 103 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 77 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 305 308 310 315 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 77 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 305 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 77 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 123 128 131 133 135 140 144 146 148 149 151 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 207 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 279 282 289 291 292 293 294 302 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 77 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 144 146 148 149 151 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 207 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 282 289 291 292 293 294 302 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 149 151 154 157 158 166 167 175 177 179 185 186 187 188 195 197 199 201 204 205 206 207 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 282 289 291 292 293 294 302 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 149 151 154 157 158 162 166 167 175 177 179 185 187 188 195 197 199 201 204 205 206 207 210 212 214 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 282 289 291 292 293 294 302 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 149 151 154 157 158 162 166 167 175 177 179 185 187 188 195 197 199 201 204 205 206 207 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 282 289 291 292 293 294 300 302 308 310 315 318 323 a 1 5 12 15 18 19 29 31 39 42 47 49 54 57 61 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 177 179 185 187 188 195 197 199 201 204 205 206 207 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 268 269 273 276 278 282 289 291 292 293 294 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 42 47 49 54 57 61 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 177 179 185 187 188 195 197 199 201 204 205 206 207 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 269 273 276 278 282 289 291 292 293 294 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 49 54 57 61 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 177 179 185 187 188 195 197 199 201 204 205 206 207 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 49 54 57 61 62 65 66 71 80 82 84 86 87 93 94 101 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 179 185 187 188 195 197 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 49 54 57 61 62 65 66 71 80 82 84 86 87 93 94 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 54 57 61 62 65 66 71 80 82 84 86 87 93 94 100 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 266 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 54 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 117 119 123 128 131 133 135 140 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 54 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 117 119 123 128 131 133 135 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 117 119 123 128 131 133 135 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 222 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 117 119 123 128 131 133 134 135 141 144 146 148 151 154 157 158 162 166 167 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 119 123 128 131 133 134 135 141 144 146 148 151 154 157 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 308 310 315 318 323 a 1 5 12 15 18 19 26 29 31 39 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 119 123 128 131 133 134 135 141 144 146 148 151 154 157 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 323 a 1 5 12 15 18 19 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 119 123 128 131 133 134 135 141 144 146 148 151 154 157 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 100 103 105 106 107 115 116 119 123 128 131 133 134 135 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 265 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 99 100 103 105 106 107 115 116 119 123 128 131 133 134 135 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 86 87 93 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 93 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 139 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 224 227 228 229 231 233 234 237 242 248 251 252 255 259 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 179 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 267 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 267 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 310 318 320 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 267 269 273 276 278 282 289 291 292 293 294 299 300 302 306 308 318 320 a 1 5 12 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 264 267 269 273 276 278 282 289 291 292 293 294 299 300 306 308 318 320 a 1 5 12 13 15 18 19 20 26 29 31 39 44 47 57 61 62 65 66 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 264 267 269 273 276 278 282 289 292 293 294 299 300 306 308 318 320 a 1 5 12 13 15 18 19 20 26 29 31 39 44 47 57 59 61 62 65 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 242 248 251 252 255 259 264 267 269 273 276 278 282 289 292 293 294 299 300 306 308 318 320 a 1 5 12 13 15 18 19 20 26 29 31 39 44 47 57 59 61 62 65 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 251 252 255 259 264 267 269 273 276 278 282 289 292 293 294 299 300 306 308 318 320 a 1 5 12 13 18 19 20 21 26 29 31 39 44 47 57 59 61 62 65 71 75 80 82 84 87 94 99 100 103 105 106 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 251 252 255 259 264 267 269 273 276 278 282 289 292 293 294 299 300 306 308 318 320 a 1 5 12 13 18 19 20 21 26 29 31 39 44 47 57 59 61 62 65 71 72 75 80 82 84 87 94 99 100 103 105 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 251 252 255 259 264 267 269 273 276 278 282 289 292 293 294 299 300 306 308 318 320 a 1 5 12 13 18 19 20 21 26 29 31 39 44 47 57 59 61 62 65 71 72 75 80 82 84 87 94 99 100 103 105 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 251 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 306 308 318 320 a 1 5 12 13 18 19 20 21 26 29 31 39 44 47 57 59 61 62 65 69 71 72 75 80 82 84 87 94 99 100 103 105 107 115 116 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 31 39 44 47 57 59 61 62 65 69 71 72 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 31 39 44 47 57 59 61 62 69 71 72 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 206 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 133 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 255 259 264 267 269 273 276 278 282 289 293 294 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 30 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 134 135 136 139 141 144 146 148 151 154 158 162 165 166 167 169 175 180 184 185 187 188 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 273 276 278 282 289 293 294 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 30 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 134 135 136 139 141 144 146 148 154 158 162 165 166 167 169 175 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 273 276 278 282 289 293 294 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 30 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 128 134 135 136 139 141 144 146 148 154 158 162 165 166 167 169 175 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 278 282 289 293 294 298 299 300 304 306 308 318 320 a 1 5 12 13 17 18 19 20 21 26 29 30 31 39 44 47 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 146 148 154 158 162 165 166 167 169 175 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 278 282 289 293 294 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 146 148 154 158 162 165 166 167 169 175 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 278 282 289 293 294 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 146 148 154 155 158 162 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 278 282 289 293 294 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 278 282 289 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 231 233 234 237 248 252 259 264 267 269 276 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 234 237 248 252 259 264 267 269 276 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 55 57 59 61 62 69 71 72 73 75 80 82 84 87 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 94 99 100 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 216 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 18 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 94 99 100 102 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 94 99 100 102 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 173 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 220 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 130 134 135 136 139 141 144 148 154 155 158 162 163 165 166 167 169 173 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 5 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 195 197 198 199 201 204 205 207 209 210 212 215 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 210 212 215 221 227 228 229 233 237 248 252 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 c Step: 71 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat" User time (seconds): 6.38 System time (seconds): 0.16 Percent of CPU this job got: 236% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.77 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 210232 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 134789 Voluntary context switches: 8621 Involuntary context switches: 31 Swaps: 0 File system inputs: 0 File system outputs: 400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:13 2023]