#BEGIN: [Mon Sep 4 15:07:00 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance027_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph002_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_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat c /benchmark/random_instance/random_instance027_graph002.col c /benchmark/random_instance/random_instance027_graph002_01.dat s 84 303 192 230 296 323 1 19 336 236 108 9 225 13 344 40 232 55 257 276 286 57 204 145 168 133 329 171 154 131 86 69 284 321 314 338 351 172 45 158 140 50 130 16 118 180 113 79 123 248 63 325 112 161 240 109 14 25 219 341 175 39 342 298 187 165 258 249 119 261 275 238 183 222 331 288 68 212 330 224 138 260 35 217 144 115 173 5 272 85 11 343 283 80 56 150 75 211 300 142 184 41 53 312 152 159 306 291 t 266 128 83 63 162 146 84 204 9 254 268 10 238 305 4 74 245 220 57 81 230 256 17 79 350 126 225 332 21 165 231 29 166 131 200 152 67 110 269 45 288 155 337 282 294 190 331 68 312 115 298 53 250 343 300 189 180 219 112 94 229 321 103 96 122 309 109 179 304 283 170 176 5 98 264 351 6 271 88 242 159 291 184 119 303 316 15 311 108 208 11 302 144 236 188 62 142 56 89 13 130 161 1 97 198 19 259 248 a YES a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 249 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 240 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 219 222 224 225 230 232 236 238 248 250 257 258 260 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 208 212 219 222 224 225 230 232 236 238 248 250 257 258 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 187 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 258 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 258 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 258 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 189 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 261 264 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 189 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 261 264 272 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 188 189 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 261 264 272 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 187 188 189 192 204 208 212 219 222 224 225 230 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 338 342 343 344 351 a 1 5 6 9 11 13 14 16 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 172 173 180 183 184 187 188 189 192 204 208 212 219 222 224 225 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 172 173 180 183 184 187 188 189 192 204 208 212 219 222 224 225 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 98 108 109 112 113 115 118 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 172 173 180 183 184 187 188 189 192 204 208 212 219 222 224 225 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 98 108 109 112 113 115 118 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 172 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 98 108 109 112 113 115 118 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 296 298 300 303 304 312 314 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 98 108 109 112 113 115 118 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 294 296 298 300 303 304 312 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 96 98 108 109 112 113 115 118 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 294 298 300 303 304 312 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 272 275 283 284 286 288 291 294 298 300 303 304 312 316 321 323 325 329 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 272 275 283 284 286 288 291 294 298 300 303 304 312 316 321 323 325 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 272 275 283 284 286 288 291 294 298 300 303 304 312 316 321 325 330 331 336 337 338 342 343 344 351 a 1 5 6 9 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 272 275 283 284 286 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 272 275 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 275 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 261 264 268 275 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 245 248 250 257 259 264 268 275 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 242 245 248 250 257 259 264 268 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 94 96 98 108 109 112 113 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 242 245 248 250 257 259 264 268 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 242 245 248 250 257 259 264 268 283 284 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 15 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 242 245 248 250 257 259 264 268 283 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 344 350 351 a 1 5 6 9 10 11 13 14 15 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 232 236 238 242 245 248 250 257 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 236 238 242 245 248 250 257 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 325 331 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 187 188 189 190 192 198 204 208 212 219 222 224 225 229 230 231 236 238 242 245 248 250 257 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 40 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 204 208 219 222 224 225 229 230 231 236 238 242 245 248 250 257 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 89 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 204 208 219 222 224 225 229 230 231 236 238 242 245 248 250 257 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 89 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 204 208 219 222 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 89 94 96 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 336 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 123 128 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 283 288 291 294 298 300 303 304 312 316 321 331 332 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 75 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 123 128 130 131 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 123 128 130 131 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 183 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 342 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 150 152 154 155 158 159 161 165 166 170 179 180 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 41 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 154 155 158 159 161 165 166 170 176 179 180 184 187 188 189 190 192 198 200 204 208 219 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 25 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 154 155 158 159 161 165 166 170 176 179 180 184 187 188 189 190 192 198 200 204 208 219 220 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 309 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 14 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 154 155 158 159 161 165 166 170 176 179 180 184 187 188 189 190 192 198 200 204 208 219 220 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 154 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 192 198 200 204 208 219 220 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 154 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 224 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 224 225 229 230 231 236 238 242 245 248 250 254 256 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 55 56 57 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 110 112 115 119 122 128 130 131 142 144 145 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 110 112 115 119 122 128 130 131 142 144 145 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 5 6 9 10 11 13 15 17 19 29 35 45 50 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 152 155 158 159 161 162 165 166 170 176 179 180 184 187 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 5 6 9 10 11 13 15 17 19 21 29 35 45 50 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 126 128 130 131 142 144 146 152 155 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 c Step: 61 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat" User time (seconds): 1.47 System time (seconds): 0.08 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.55 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): 92004 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 87810 Voluntary context switches: 21 Involuntary context switches: 8 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:02 2023]