#BEGIN: [Mon Sep 4 15:07:34 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance033_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph001_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_instance033_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat c /benchmark/random_instance/random_instance033_graph001.col c /benchmark/random_instance/random_instance033_graph001_01.dat s 236 214 119 414 190 57 188 324 294 86 237 146 423 186 143 76 270 142 81 240 429 45 200 25 118 138 424 69 284 258 276 163 425 175 228 283 130 372 260 218 323 385 238 210 402 420 357 255 31 129 275 333 7 59 239 318 293 392 273 247 6 182 193 421 381 41 265 122 391 109 398 281 70 43 241 418 128 65 46 409 419 375 242 350 73 74 316 105 252 29 332 263 116 33 133 264 58 297 296 267 321 184 259 307 95 390 44 213 309 245 412 93 303 166 269 15 208 342 17 37 232 378 248 121 416 54 165 53 277 169 91 127 400 387 272 311 366 370 79 t 377 112 175 359 168 51 162 346 21 146 366 13 140 343 393 174 12 294 369 245 96 317 206 188 49 267 44 150 63 180 299 234 54 331 84 324 93 375 270 186 79 293 97 426 371 222 20 415 399 88 357 269 341 94 250 318 424 372 383 74 119 370 134 32 387 61 192 263 251 209 216 288 123 152 179 91 189 50 205 253 15 135 127 178 391 30 138 390 33 137 199 7 35 62 342 381 100 356 27 296 64 191 214 280 41 333 18 203 116 297 19 108 109 423 378 265 59 224 77 171 196 388 247 37 55 330 212 429 3 295 201 145 122 396 311 11 81 315 211 a YES a 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 3 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 3 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 377 378 381 385 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 3 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 377 378 381 385 387 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 264 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 377 378 381 385 387 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 372 375 377 378 381 385 387 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 385 387 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 258 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 385 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 182 184 186 188 190 192 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 385 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 208 210 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 208 210 211 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 409 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 213 214 218 228 232 236 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 213 214 218 228 232 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 228 232 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 228 232 237 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 228 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 165 166 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 165 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 218 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 150 165 169 175 179 182 184 186 188 190 192 193 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 275 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 142 143 146 150 165 169 175 179 182 184 186 188 190 192 193 196 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 143 146 150 165 169 175 179 182 184 186 188 190 192 193 196 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 143 146 150 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 425 429 a 3 6 7 13 15 17 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 69 70 73 74 76 79 81 88 91 93 95 97 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 429 a 3 6 7 13 15 20 25 27 29 33 35 37 41 44 45 46 53 54 57 58 59 69 70 73 74 76 79 81 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 429 a 3 6 7 13 15 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 69 70 73 74 76 79 81 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 162 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 69 70 73 74 76 79 81 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 414 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 309 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 213 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 277 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 175 179 182 184 186 188 190 192 193 196 199 200 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 416 418 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 175 179 182 184 186 188 190 192 193 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 396 398 402 412 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 58 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 255 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 57 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 76 79 81 84 88 91 93 95 97 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 259 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 76 79 81 84 88 91 93 95 96 97 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 332 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 205 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 412 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 205 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 283 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 182 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 12 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 69 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 165 169 171 174 175 179 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 19 20 25 27 29 33 35 37 41 44 46 53 54 59 62 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 307 311 316 318 321 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 307 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 70 73 74 79 81 84 88 91 93 95 96 97 100 108 109 112 116 118 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 70 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 240 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 70 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 241 242 245 247 248 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 222 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 392 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 53 54 59 62 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 169 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 64 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 323 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 64 73 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 138 140 143 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 135 138 140 143 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 273 281 288 293 294 296 297 299 303 311 316 318 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 135 138 140 143 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 46 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 135 138 140 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 129 134 135 138 140 146 150 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 134 135 138 140 146 150 152 162 171 174 175 179 180 184 186 188 190 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 121 122 123 127 128 134 135 138 140 146 150 152 162 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 421 423 424 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 138 140 146 150 152 162 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 421 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 210 211 212 214 216 222 224 232 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 29 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 232 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 232 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 59 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 241 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 419 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 303 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 402 415 416 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 350 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 252 253 263 265 267 269 270 272 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 211 212 214 216 222 224 234 239 242 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 128 134 135 137 138 140 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 239 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 239 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 398 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 252 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 253 263 265 267 269 270 280 281 288 293 294 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 192 196 199 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 248 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 184 186 188 189 192 196 199 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 186 188 189 191 192 196 199 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 402 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 186 188 189 191 192 196 199 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 316 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 281 288 293 294 295 296 297 299 311 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 c Step: 86 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance033_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat" User time (seconds): 4.32 System time (seconds): 0.13 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.45 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): 156760 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 197182 Voluntary context switches: 18 Involuntary context switches: 22 Swaps: 0 File system inputs: 0 File system outputs: 600 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:39 2023]