#BEGIN: [Mon Sep 4 12:41:43 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance034_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat c /benchmark/random_instance/random_instance034_graph005.col c /benchmark/random_instance/random_instance034_graph005_01.dat s 205 380 125 311 262 344 57 196 435 189 27 148 128 176 355 350 243 81 70 52 5 398 234 298 285 438 117 407 110 324 364 54 140 38 188 168 157 252 23 280 156 230 216 178 246 348 417 158 131 175 263 277 112 372 124 265 410 428 169 84 1 391 107 136 422 419 55 49 85 397 194 121 289 442 337 223 281 305 295 343 58 231 431 412 270 88 10 327 284 69 347 365 64 145 210 282 307 56 273 106 411 149 9 13 44 12 177 332 294 197 226 385 424 274 90 111 258 290 83 366 401 416 45 299 229 61 318 182 41 360 255 432 433 222 24 384 99 199 333 t 370 312 125 100 196 181 102 116 205 441 200 364 438 219 282 390 296 174 394 431 92 278 273 161 241 382 114 120 134 227 419 242 46 350 215 149 5 42 101 12 246 335 83 121 399 184 396 342 119 151 314 344 69 435 53 79 287 170 346 84 164 403 203 57 25 129 171 56 328 95 230 226 356 52 135 238 347 55 140 374 103 58 323 173 322 285 371 262 77 411 313 16 111 17 14 113 360 359 65 288 109 225 87 223 363 309 338 106 366 148 231 429 35 54 299 71 275 432 177 252 27 144 197 305 301 180 179 168 99 315 72 283 433 290 228 292 327 284 160 a YES a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 181 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 181 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 301 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 175 176 177 178 181 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 301 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 175 177 178 181 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 301 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 175 177 178 181 182 188 189 194 196 197 199 205 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 301 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 301 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 295 296 298 299 301 305 307 311 318 323 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 290 295 296 298 299 301 305 307 311 318 323 324 327 332 333 337 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 332 333 337 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 332 333 337 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 332 333 337 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 332 337 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 106 107 110 111 112 116 117 121 124 125 128 131 136 140 144 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 332 337 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 102 106 107 110 111 112 116 117 121 124 125 128 131 136 140 144 145 148 149 156 158 160 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 401 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 13 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 102 106 107 110 111 112 116 117 121 124 125 128 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 102 106 107 110 111 112 116 117 121 124 125 128 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 14 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 102 106 107 110 111 112 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 14 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 88 90 92 99 102 106 107 110 111 112 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 14 23 24 25 27 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 398 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 407 411 412 416 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 164 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 324 327 337 338 342 343 344 347 348 350 355 356 360 364 365 366 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 164 168 169 170 175 177 178 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 281 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 164 168 169 170 175 177 178 180 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 277 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 164 168 169 170 175 177 178 180 181 182 188 189 194 196 197 199 205 222 223 226 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 156 158 160 161 164 168 169 170 175 177 180 181 182 188 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 372 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 380 384 397 407 411 412 417 419 422 424 428 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 283 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 380 384 397 407 411 412 417 419 422 424 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 258 262 263 265 270 273 274 275 282 283 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 397 411 412 417 419 422 424 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 274 275 282 283 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 343 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 156 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 194 196 197 199 205 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 145 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 344 346 347 348 350 355 356 360 364 365 366 370 374 380 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 61 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 344 346 347 348 350 355 356 360 364 365 366 370 374 380 382 384 394 397 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 337 338 342 344 346 347 348 350 355 356 360 364 365 366 370 374 380 382 384 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 335 337 338 342 344 346 347 348 350 356 360 364 365 366 370 374 380 382 384 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 335 337 338 342 344 346 347 350 356 360 364 365 366 370 374 380 382 384 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 335 337 338 342 344 346 347 350 356 360 364 366 370 374 380 382 384 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 81 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 323 327 335 338 342 344 346 347 350 356 360 364 366 370 374 380 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 226 227 229 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 335 338 342 344 346 347 350 356 360 364 366 370 374 380 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 9 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 83 84 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 225 226 227 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 335 338 342 344 346 347 350 356 360 364 366 370 374 380 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 83 84 87 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 225 226 227 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 335 338 342 344 346 347 350 356 360 364 366 370 374 380 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 90 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 225 226 227 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 23 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 225 226 227 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 205 219 222 223 225 226 227 230 231 243 246 252 255 262 263 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 318 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 270 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 273 275 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 424 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 38 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 429 431 432 433 435 438 441 a 5 10 12 14 24 25 27 35 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 422 429 431 432 433 435 438 441 a 5 10 12 14 16 24 25 27 35 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 219 222 223 225 226 227 230 231 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 124 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 119 121 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 169 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 49 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 99 101 102 106 107 110 111 112 113 116 117 119 121 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 107 110 111 112 113 116 117 119 121 125 129 131 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 107 110 111 112 113 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 243 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 107 109 110 111 112 113 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 311 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 107 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 205 215 219 222 223 225 226 227 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 298 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 203 205 215 219 222 223 225 226 227 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 44 45 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 24 25 27 35 42 44 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 44 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 189 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 44 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 109 110 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 44 46 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 136 140 144 148 149 151 158 160 161 164 168 170 175 177 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 397 399 403 411 412 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 396 397 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 242 246 252 255 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 242 246 252 262 265 273 275 278 282 283 284 285 287 288 290 292 295 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 265 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 158 160 161 164 168 170 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 174 175 177 179 180 181 182 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 174 175 177 179 180 181 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 417 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 117 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 174 175 177 179 180 181 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 179 180 181 184 196 197 199 200 203 205 215 219 222 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 175 177 179 180 181 184 196 197 199 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 174 177 179 180 181 184 196 197 199 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 307 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 83 84 87 92 95 99 100 101 102 103 106 109 111 112 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 199 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 199 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 384 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 199 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 c Step: 86 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat" User time (seconds): 6.64 System time (seconds): 0.21 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.85 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): 159156 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 202477 Voluntary context switches: 20 Involuntary context switches: 27 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:41:50 2023]