#BEGIN: [Tue Sep 26 03:36:12 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph003_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_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat c /benchmark/random_instance/random_instance027_graph003.col c /benchmark/random_instance/random_instance027_graph003_01.dat s 23 317 283 65 287 16 274 1 326 18 286 167 333 197 111 74 342 84 215 213 273 299 231 349 20 247 211 304 88 310 224 294 113 42 25 191 154 330 138 340 124 49 263 156 219 314 265 29 146 129 207 281 322 189 64 54 97 271 192 159 339 14 341 248 180 323 276 46 30 45 135 336 182 288 239 27 348 99 344 267 91 306 270 90 144 251 28 321 307 61 168 223 183 85 252 300 346 200 245 3 134 241 208 331 260 198 147 81 338 298 100 318 58 5 t 202 190 92 349 123 336 200 34 56 58 59 143 329 43 125 201 121 133 341 2 318 273 230 135 97 29 150 351 275 227 173 18 315 74 71 265 295 33 31 118 148 242 196 338 271 215 172 15 100 345 317 343 147 348 245 216 126 65 249 316 268 321 48 291 188 91 310 218 266 239 219 94 111 68 170 62 328 339 17 253 89 288 195 221 208 217 246 149 325 113 284 52 305 163 298 278 164 80 178 3 35 306 16 280 9 191 129 85 234 319 238 243 116 344 a YES a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 168 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 154 156 159 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 154 156 159 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 284 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 154 156 159 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 154 156 159 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 306 307 310 314 317 318 321 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 306 307 310 317 318 321 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 305 306 307 310 317 318 321 323 325 326 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 33 42 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 305 306 307 310 317 318 321 323 325 326 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 64 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 305 306 307 310 317 318 321 323 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 284 286 287 288 294 295 298 300 304 305 306 307 310 317 318 321 323 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 196 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 287 288 294 295 298 300 304 305 306 307 310 317 318 321 323 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 196 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 287 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 196 197 198 200 207 208 211 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 287 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 192 195 196 198 200 207 208 211 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 287 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 182 183 189 191 195 196 198 200 207 208 211 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 287 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 99 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 276 281 284 286 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 23 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 150 154 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 154 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 245 248 251 252 260 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 307 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 154 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 242 245 248 251 252 260 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 18 20 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 159 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 242 245 248 251 252 260 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 27 28 29 30 33 42 43 45 46 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 242 245 248 251 252 260 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 27 28 29 30 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 241 242 245 248 251 252 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 27 28 29 30 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 223 224 231 239 242 245 248 251 252 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 27 28 29 30 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 207 208 211 215 218 219 221 223 224 239 242 245 248 251 252 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 252 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 286 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 189 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 92 97 100 111 113 124 129 134 135 138 146 147 148 150 156 164 170 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 42 43 45 46 52 54 58 61 62 65 71 74 81 84 85 88 89 90 91 92 97 100 111 113 124 129 134 135 146 147 148 150 156 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 1 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 42 43 45 46 52 58 61 62 65 71 74 81 84 85 88 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 42 43 45 46 52 58 59 61 62 65 71 74 81 84 85 88 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 88 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 342 344 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 30 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 89 90 91 92 97 100 111 113 121 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 211 215 218 219 221 223 224 239 242 245 248 251 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 89 90 91 92 97 100 111 113 121 123 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 215 218 219 221 223 224 239 242 245 248 251 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 58 59 61 62 65 71 74 81 84 85 89 90 91 92 97 100 111 113 121 123 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 215 218 219 221 223 224 234 239 242 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 124 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 215 218 219 221 223 224 234 239 242 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 134 135 146 147 148 150 156 163 164 170 172 173 182 183 191 195 196 198 200 202 207 208 215 218 219 221 223 224 234 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 14 16 17 18 20 25 28 29 31 33 43 45 46 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 146 147 148 150 156 163 164 170 172 173 182 183 190 191 195 196 198 200 202 207 208 215 218 219 221 223 224 234 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 43 45 46 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 146 147 148 150 156 163 164 170 172 173 182 183 190 191 195 196 198 200 202 207 208 215 218 219 221 223 224 230 234 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 146 147 148 150 156 163 164 170 172 173 178 182 183 190 191 195 196 198 200 202 207 208 215 218 219 221 223 224 230 234 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 147 148 150 156 163 164 170 172 173 178 182 183 190 191 195 196 198 200 202 207 208 215 218 219 221 223 224 230 234 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 198 200 202 207 208 215 218 219 221 223 224 230 234 238 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 300 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 198 200 201 202 207 208 215 218 219 221 223 224 230 234 238 239 242 243 245 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 340 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 198 200 201 202 207 208 215 218 219 221 223 224 230 234 238 239 242 243 245 246 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 218 219 221 223 224 230 234 238 239 242 243 245 246 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 5 9 16 17 18 20 25 28 29 31 33 34 43 45 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 207 208 215 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 267 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 281 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 217 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 156 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 45 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 223 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 223 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 304 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 223 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 305 306 310 316 317 318 319 321 325 328 330 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 223 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 90 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 20 25 28 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 20 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 263 265 270 271 273 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 20 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 263 265 271 273 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 263 265 268 271 273 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 248 253 265 268 271 273 275 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 268 271 273 275 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 333 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 268 271 273 275 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 268 271 273 275 276 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 81 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 331 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 331 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 25 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 182 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 c Step: 74 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat" User time (seconds): 13.76 System time (seconds): 0.22 Percent of CPU this job got: 280% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.99 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): 281488 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 165278 Voluntary context switches: 10450 Involuntary context switches: 68 Swaps: 0 File system inputs: 0 File system outputs: 440 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:17 2023]