#BEGIN: [Mon Sep 4 12:43:52 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance033_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph004_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_graph004.col /benchmark/random_instance/random_instance033_graph004_01.dat c /benchmark/random_instance/random_instance033_graph004.col c /benchmark/random_instance/random_instance033_graph004_01.dat s 8 37 349 123 167 107 90 351 157 218 69 31 82 330 278 396 26 197 209 219 423 381 419 424 230 227 165 413 426 368 275 395 103 65 17 152 73 55 118 268 240 322 150 315 410 391 5 40 359 390 98 326 122 308 428 258 317 241 78 33 400 11 136 132 411 274 233 183 343 41 295 221 289 6 60 262 121 399 305 99 93 168 102 242 283 321 217 104 172 20 382 389 312 38 397 229 62 42 112 220 205 108 318 135 2 29 366 223 265 202 250 170 325 417 14 269 339 385 80 88 254 307 61 341 398 109 159 384 28 171 81 378 24 309 313 406 111 210 67 7 95 9 319 75 297 t 366 379 326 37 301 377 390 269 311 85 155 154 57 33 106 99 240 38 88 68 340 2 200 364 309 267 107 410 284 122 421 21 336 423 40 249 60 1 369 104 314 39 63 344 229 247 74 76 303 275 90 213 268 392 32 304 98 183 220 382 305 166 296 283 173 427 29 372 401 178 96 428 255 313 86 205 78 143 300 260 14 398 195 291 105 167 384 20 317 70 297 156 138 216 41 387 77 323 67 413 415 265 219 145 146 325 429 188 72 209 339 49 335 282 139 232 75 121 403 101 356 289 210 116 414 419 375 277 54 93 341 225 198 239 3 315 342 391 385 193 416 347 378 31 330 a YES a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 165 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 165 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 392 395 396 397 398 399 400 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 392 395 396 397 398 399 400 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 343 349 366 368 378 381 382 384 385 389 390 391 392 395 396 397 398 399 400 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 349 366 368 378 381 382 384 385 389 390 391 392 395 396 397 398 399 400 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 399 400 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 399 400 401 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 275 278 283 289 295 296 297 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 417 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 343 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 116 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 116 121 122 123 132 136 150 152 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 116 121 122 123 132 136 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 229 230 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 229 230 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 340 341 342 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 229 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 223 229 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 109 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 427 428 a 1 2 5 6 7 8 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 427 428 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 397 398 400 401 406 410 411 413 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 255 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 319 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 73 75 76 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 136 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 255 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 70 73 75 76 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 255 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 321 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 70 73 75 76 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 241 242 250 254 255 258 260 262 265 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 62 63 65 67 70 73 75 76 78 80 81 86 88 90 93 95 98 99 102 103 104 107 108 111 116 121 122 123 132 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 242 250 254 255 258 260 262 265 267 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 81 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 150 152 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 242 250 254 255 258 260 262 265 267 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 6 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 150 152 154 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 242 250 254 255 258 260 262 265 267 268 269 275 278 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 150 152 154 156 157 159 167 168 170 171 172 183 193 197 202 205 209 210 217 218 219 220 221 229 233 240 242 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 150 152 154 156 157 159 167 168 170 171 172 183 193 195 197 202 205 209 210 217 218 219 220 221 229 233 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 152 154 156 157 159 167 168 170 171 172 173 183 193 195 197 202 205 209 210 217 218 219 220 221 229 233 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 107 108 111 116 121 122 123 132 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 202 205 209 210 217 218 219 220 221 229 233 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 416 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 132 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 217 218 219 220 221 229 233 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 416 419 423 424 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 132 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 406 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 132 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 300 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 55 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 300 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 300 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 349 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 278 282 283 289 295 296 297 300 301 304 305 308 309 312 313 315 317 318 322 325 326 330 336 339 340 341 342 344 356 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 145 154 156 157 159 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 250 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 295 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 356 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 65 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 295 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 356 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 295 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 356 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 378 381 382 384 385 389 390 391 392 396 398 400 401 410 411 413 414 416 419 423 427 428 429 a 1 2 5 7 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 313 315 317 318 322 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 103 104 105 107 108 111 116 121 122 123 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 123 139 143 145 154 156 157 159 166 167 168 170 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 123 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 217 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 123 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 5 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 381 382 384 385 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 229 233 239 240 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 381 382 384 385 387 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 229 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 396 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 14 17 20 24 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 17 20 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 157 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 17 20 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 278 282 283 289 296 297 300 301 304 305 308 309 311 313 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 17 20 26 28 29 31 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 304 305 308 309 311 313 314 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 171 172 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 304 305 308 309 311 313 314 315 317 318 325 326 330 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 171 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 205 209 210 213 218 219 220 221 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 102 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 104 105 107 108 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 95 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 249 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 21 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 249 254 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 21 26 28 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 249 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 249 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 400 401 410 413 414 416 419 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 218 219 220 225 229 232 233 239 240 247 249 255 258 260 262 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 401 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 216 218 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 368 369 372 375 378 379 382 384 385 387 389 390 391 392 398 401 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 216 218 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 42 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 146 154 156 159 166 167 168 173 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 73 75 76 77 78 80 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 308 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 233 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 107 111 116 121 122 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 258 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 107 111 116 121 122 138 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 389 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 156 166 167 168 173 178 183 193 195 197 198 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 80 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 156 166 167 173 178 183 193 195 197 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 193 195 197 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 318 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 26 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 61 63 67 68 70 72 75 76 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 c Step: 83 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance033_graph004.col /benchmark/random_instance/random_instance033_graph004_01.dat" User time (seconds): 19.58 System time (seconds): 0.30 Percent of CPU this job got: 284% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.98 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): 402376 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 245881 Voluntary context switches: 14264 Involuntary context switches: 69 Swaps: 0 File system inputs: 0 File system outputs: 616 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:59 2023]