#BEGIN: [Tue Sep 26 03:14:59 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance033_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat c /benchmark/random_instance/random_instance033_graph002.col c /benchmark/random_instance/random_instance033_graph002_01.dat s 163 312 74 213 415 245 315 301 406 413 365 248 256 140 23 2 56 359 39 64 201 356 9 358 35 318 206 200 283 276 349 317 267 310 378 348 221 305 390 116 157 375 421 60 228 139 411 86 187 69 396 142 89 54 404 209 52 306 15 360 347 303 204 91 263 226 295 195 45 426 108 322 154 111 80 329 275 217 234 429 43 232 251 215 137 162 33 269 342 336 387 130 19 81 227 351 321 412 352 181 129 38 239 174 41 373 17 287 282 184 101 409 197 104 333 3 78 188 254 391 44 255 331 316 395 289 145 369 212 355 7 182 133 260 147 t 311 150 138 60 213 218 275 254 278 250 270 228 418 168 386 92 308 374 25 28 114 197 219 406 115 283 32 245 53 169 143 64 273 327 279 289 45 375 189 410 76 182 134 130 93 290 293 354 224 37 427 404 38 269 5 120 10 356 229 325 248 411 216 282 46 41 388 232 380 344 260 428 75 133 422 184 81 127 397 129 141 355 105 303 251 34 195 190 307 272 317 342 108 295 74 359 11 217 199 352 66 258 101 52 207 131 364 50 343 391 1 296 96 135 348 301 333 72 86 206 299 302 201 223 208 357 255 125 192 174 171 117 384 389 276 a YES a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 380 387 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 380 387 388 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 380 387 388 390 391 395 396 404 406 409 411 412 413 415 418 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 380 387 388 390 391 395 396 404 406 409 411 412 413 415 418 421 426 429 a 2 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 380 387 388 390 391 395 396 404 406 409 411 412 413 418 421 426 429 a 2 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 380 387 388 390 391 395 396 404 406 409 411 412 413 418 421 426 429 a 2 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 380 387 388 390 391 395 396 404 406 409 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 224 226 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 380 387 388 390 391 395 396 404 406 409 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 258 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 258 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 412 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 258 260 263 267 269 275 276 282 283 289 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 421 426 429 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 256 258 260 263 267 269 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 421 426 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 421 426 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 23 33 38 39 41 43 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 23 33 38 39 41 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 174 181 182 184 187 188 195 197 199 200 201 204 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 56 60 64 69 74 76 78 80 81 86 89 91 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 174 181 182 184 187 188 195 197 199 200 201 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 174 181 182 184 187 188 195 197 199 200 201 206 208 209 212 213 215 217 219 221 224 226 228 232 234 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 171 174 181 182 184 187 188 195 197 199 200 201 206 208 209 212 213 215 217 219 221 224 226 228 232 245 248 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 306 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 171 174 181 182 184 187 188 195 197 199 200 201 206 208 209 212 213 215 217 219 221 224 226 228 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 171 174 181 182 184 187 188 195 197 199 201 206 208 209 212 213 215 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 351 352 355 356 358 359 360 369 373 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 80 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 137 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 137 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 336 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 305 308 310 312 315 316 317 321 322 327 329 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 308 310 312 315 316 317 321 322 327 329 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 301 303 308 310 312 315 316 317 321 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 321 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 395 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 321 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 387 388 390 391 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 15 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 321 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 390 391 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 321 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 390 391 396 397 404 406 409 410 411 413 418 422 426 a 3 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 93 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 390 391 396 397 404 406 409 410 411 413 418 422 426 a 1 3 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 91 92 93 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 390 391 396 397 404 406 409 410 411 418 422 426 a 1 3 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 92 93 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 390 391 396 397 404 406 409 410 411 418 422 426 a 1 3 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 92 93 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 150 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 426 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 92 93 101 104 105 108 111 116 127 129 130 133 135 140 142 143 145 147 150 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 426 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 92 93 101 104 105 108 111 116 127 129 130 133 134 135 140 142 143 145 147 150 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 358 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 69 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 140 142 143 145 147 150 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 140 142 143 145 147 150 154 157 162 168 171 174 182 184 187 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 147 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 263 267 269 272 275 276 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 17 19 33 34 38 39 41 44 45 46 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 147 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 349 352 355 356 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 11 17 19 33 34 38 39 41 44 45 46 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 147 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 352 355 356 359 360 369 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 a 1 5 7 9 11 17 19 33 34 38 39 41 44 45 46 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 147 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 352 355 356 359 360 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 147 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 352 355 356 359 360 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 316 317 322 325 327 333 342 347 348 352 355 356 359 360 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 360 373 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 111 116 127 129 130 133 134 135 138 140 142 143 145 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 360 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 116 127 129 130 133 134 135 138 140 142 143 145 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 360 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 74 76 78 81 86 89 92 93 96 101 104 105 108 116 120 127 129 130 133 134 135 138 140 142 143 145 150 154 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 78 81 86 89 92 93 96 101 104 105 108 116 120 127 129 130 133 134 135 138 140 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 89 92 93 96 101 104 105 108 116 120 125 127 129 130 133 134 135 138 140 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 267 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 89 92 93 96 101 104 105 108 116 120 125 127 129 130 133 134 135 138 140 141 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 347 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 89 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 140 141 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 89 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 301 303 307 308 310 315 317 322 325 327 333 342 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 157 162 168 171 174 182 184 188 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 303 307 308 310 315 317 322 325 327 333 342 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 157 162 168 171 174 182 184 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 374 375 380 386 388 389 391 396 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 157 162 168 171 174 182 184 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 374 375 380 386 388 389 391 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 374 375 380 386 388 389 391 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 33 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 374 375 380 386 388 389 391 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 34 38 39 41 44 45 46 50 52 60 64 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 142 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 34 38 39 41 44 45 46 50 52 53 60 64 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 409 410 411 418 422 428 a 1 5 7 10 11 17 19 32 34 37 38 39 41 44 45 46 50 52 53 60 64 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 315 317 322 325 327 333 342 343 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 7 10 11 17 19 32 34 37 38 39 41 44 45 46 50 52 53 60 64 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 315 317 325 327 333 342 343 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 17 19 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 162 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 315 317 325 327 333 342 343 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 17 19 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 315 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 17 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 315 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 190 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 315 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 190 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 116 117 120 125 127 129 130 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 208 212 213 216 217 218 219 221 223 224 226 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 212 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 212 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 39 41 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 427 428 c Step: 82 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat" User time (seconds): 23.65 System time (seconds): 0.34 Percent of CPU this job got: 272% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:08.82 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): 363276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 232705 Voluntary context switches: 9270 Involuntary context switches: 79 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:15:08 2023]