#BEGIN: [Mon Sep 4 15:06:53 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance025_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat c /benchmark/random_instance/random_instance025_graph004.col c /benchmark/random_instance/random_instance025_graph004_01.dat s 116 231 5 314 65 163 159 137 315 73 295 109 8 78 133 255 283 306 141 317 69 156 278 260 28 36 325 190 35 143 91 13 286 179 215 76 263 121 170 171 77 68 294 144 38 308 302 130 324 222 19 211 160 252 131 46 212 248 52 200 165 225 61 30 322 245 201 1 150 244 232 72 241 323 274 94 267 39 311 42 23 186 247 242 290 93 70 272 82 149 55 12 217 238 43 183 224 288 146 265 32 300 205 9 264 221 t 77 188 241 105 160 16 203 59 295 75 149 319 314 261 153 205 152 27 185 91 113 32 106 315 320 39 108 220 257 43 128 280 148 183 294 44 159 225 67 299 311 324 214 135 221 222 217 211 73 267 156 169 269 114 143 200 270 163 170 193 255 206 127 177 252 68 25 259 264 286 278 173 18 72 14 291 194 238 316 321 69 41 239 1 297 234 49 145 120 276 52 12 158 130 42 242 46 71 190 249 247 4 101 82 208 224 a YES a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 108 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 211 212 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 121 130 131 133 137 141 143 144 146 149 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 211 212 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 290 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 294 295 300 302 306 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 179 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 294 295 300 302 306 311 314 315 317 322 323 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 294 295 300 302 306 311 314 315 317 321 322 323 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 165 170 171 173 177 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 294 295 300 302 306 311 314 315 317 321 322 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 294 295 299 300 302 306 311 314 315 317 321 322 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 294 295 299 300 302 306 311 314 315 317 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 263 264 265 267 270 272 274 278 280 283 286 294 295 299 300 302 306 311 314 315 317 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 264 265 267 270 272 274 278 280 283 286 294 295 299 300 302 306 311 314 315 317 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 65 68 69 70 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 238 241 242 244 247 248 252 255 260 264 265 267 270 272 274 278 280 283 286 294 295 299 300 302 306 311 314 315 317 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 65 68 69 70 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 234 238 241 242 244 247 252 255 260 264 265 267 270 272 274 278 280 283 286 294 295 299 300 302 306 311 314 315 317 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 65 68 69 70 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 234 238 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 8 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 234 238 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 186 190 200 201 203 205 206 211 212 217 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 94 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 156 159 160 163 170 171 173 177 183 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 101 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 171 173 177 183 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 101 106 108 109 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 302 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 65 68 69 71 72 73 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 59 65 68 69 71 72 73 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 190 200 201 203 205 206 211 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 300 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 59 65 68 69 71 72 73 75 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 190 200 201 203 205 206 211 217 220 221 222 224 225 231 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 306 311 314 315 321 324 a 1 5 9 12 13 19 23 27 28 30 32 35 36 38 39 42 43 44 46 52 55 59 65 68 69 71 72 73 75 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 306 311 314 315 321 324 a 1 5 9 12 13 19 27 28 30 32 35 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 306 311 314 315 321 324 a 1 5 9 12 13 19 27 28 30 32 35 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 294 295 299 306 311 314 315 320 321 324 a 1 5 9 12 13 19 27 30 32 35 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 93 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 320 321 324 a 1 5 9 12 13 19 27 30 32 35 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 320 321 324 a 1 5 9 12 13 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 116 120 121 130 131 133 137 141 143 144 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 320 321 324 a 1 5 9 12 13 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 116 120 121 130 131 133 137 141 143 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 5 9 12 13 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 116 120 121 130 131 137 141 143 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 5 9 12 13 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 120 121 130 131 137 141 143 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 5 9 12 13 16 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 120 121 130 131 137 141 143 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 78 82 91 101 106 108 109 113 120 121 130 131 141 143 146 148 149 152 156 158 159 160 163 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 109 113 120 121 130 131 141 143 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 274 276 278 280 283 286 291 294 295 299 306 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 109 113 114 120 121 130 131 141 143 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 274 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 109 113 114 120 121 130 131 141 143 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 25 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 130 131 141 143 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 25 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 128 130 131 143 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 265 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 25 27 30 32 36 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 25 27 30 32 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 16 18 19 25 27 32 38 39 42 43 44 46 49 52 55 59 65 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 19 25 27 32 38 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 19 25 27 32 38 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 264 267 269 270 272 276 278 280 283 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 19 25 27 32 38 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 25 27 32 38 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 135 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 25 27 32 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 135 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 131 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 121 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 c Step: 57 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat" User time (seconds): 1.67 System time (seconds): 0.08 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.76 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): 83580 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 76487 Voluntary context switches: 19 Involuntary context switches: 13 Swaps: 0 File system inputs: 0 File system outputs: 336 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:06:55 2023]