#BEGIN: [Mon Sep 4 15:07:34 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance032_graph005.col /benchmark/random_instance/random_instance032_graph005_01.dat c /benchmark/random_instance/random_instance032_graph005.col c /benchmark/random_instance/random_instance032_graph005_01.dat s 324 351 381 150 194 171 227 120 77 39 298 415 73 72 208 260 283 81 267 133 302 13 327 360 238 177 88 34 294 105 130 289 203 66 78 46 99 403 341 350 312 68 132 59 213 331 254 340 64 104 318 286 290 276 337 256 370 211 5 25 284 264 355 384 343 377 309 243 229 253 87 181 346 117 42 217 390 37 268 65 54 136 402 102 29 21 308 412 332 190 379 33 383 155 173 266 410 223 299 91 11 352 183 225 345 109 165 364 288 62 63 124 143 228 316 103 12 210 31 393 249 314 167 158 204 401 354 152 75 71 138 321 52 t 385 414 165 187 42 224 290 257 204 218 101 8 282 192 194 246 176 400 330 68 314 346 269 151 59 143 167 258 371 335 195 299 145 284 25 54 135 19 283 49 222 347 91 248 256 53 372 362 173 241 18 255 238 73 219 124 251 183 403 250 370 304 206 294 209 26 220 365 1 278 74 156 130 307 289 215 369 313 136 216 328 303 323 146 117 249 373 27 23 327 112 172 401 310 286 158 348 39 72 180 277 233 99 51 210 182 144 157 70 43 147 35 89 67 361 243 133 239 259 387 268 55 225 134 34 186 254 63 230 320 138 38 358 a YES a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 223 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 324 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 400 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 225 227 228 229 238 243 249 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 308 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 400 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 183 190 194 203 204 208 210 211 213 217 225 227 228 229 238 243 249 251 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 383 384 390 393 400 401 402 403 410 412 415 a 5 11 12 13 21 25 29 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 213 217 225 227 228 229 238 243 249 251 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 384 390 393 400 401 402 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 213 217 222 225 227 228 229 238 243 249 251 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 370 377 379 381 384 390 393 400 401 402 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 213 217 222 225 227 228 229 238 243 249 251 253 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 364 369 370 377 379 381 384 390 393 400 401 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 213 217 222 225 227 228 229 238 243 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 377 379 381 384 390 393 400 401 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 217 222 225 227 228 229 238 243 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 377 379 381 384 390 393 400 401 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 390 393 400 401 403 410 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 208 210 211 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 393 400 401 403 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 206 208 210 211 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 316 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 150 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 206 208 210 211 216 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 206 208 210 211 216 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 283 284 286 288 289 290 294 298 299 302 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 415 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 190 194 203 204 206 208 210 211 216 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 302 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 190 194 195 204 206 208 210 211 216 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 302 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 194 195 204 206 208 210 211 216 217 222 225 227 228 229 238 243 246 249 251 254 256 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 194 195 204 206 208 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 332 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 194 195 204 206 208 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 258 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 384 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 258 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 379 381 387 390 400 401 403 412 a 5 11 12 13 21 25 31 33 34 37 39 42 46 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 258 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 46 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 258 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 256 258 260 264 266 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 105 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 216 217 222 225 227 228 229 233 238 243 246 249 251 254 255 256 258 260 264 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 243 246 249 251 254 255 256 258 260 264 267 268 276 278 283 284 286 288 289 290 294 298 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 71 72 73 75 77 78 81 87 88 89 91 99 102 103 104 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 75 77 78 81 87 88 89 91 99 102 103 104 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 309 312 314 318 321 327 331 337 340 341 343 345 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 309 312 314 318 321 327 331 337 340 341 343 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 13 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 312 314 318 321 327 331 337 340 341 343 346 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 5 11 12 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 312 314 318 321 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 1 5 11 12 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 312 314 318 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 412 a 1 5 11 12 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 102 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 312 314 318 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 a 1 5 11 12 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 217 222 224 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 278 283 284 286 288 289 290 294 299 312 314 318 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 a 1 5 11 12 25 31 33 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 229 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 312 314 318 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 229 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 312 314 318 327 331 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 75 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 229 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 64 65 66 68 70 72 73 74 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 229 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 229 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 87 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 156 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 152 155 156 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 227 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 136 138 143 144 146 147 151 152 155 156 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 177 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 27 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 343 346 348 350 351 352 354 355 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 11 12 25 27 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 346 348 350 351 352 354 355 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 104 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 346 348 350 351 352 354 355 358 360 362 364 365 369 370 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 346 348 350 351 352 354 355 358 360 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 267 268 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 346 348 350 351 352 354 355 358 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 120 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 327 337 340 341 346 348 350 351 352 354 355 358 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 37 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 241 243 246 249 251 254 255 256 257 258 260 264 268 269 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 323 327 337 340 341 346 348 350 351 352 354 355 358 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 171 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 239 241 243 246 249 251 254 255 256 257 258 260 264 268 269 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 323 327 337 340 341 346 348 350 351 352 354 355 358 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 55 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 239 241 243 246 249 251 254 255 256 257 258 260 264 268 269 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 323 327 337 340 341 346 348 350 351 352 354 355 358 362 364 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 55 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 239 241 243 246 249 251 254 255 256 257 258 260 264 268 269 276 277 278 283 284 286 288 289 290 294 299 303 312 314 318 323 327 330 337 340 341 346 348 350 351 352 354 355 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 55 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 228 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 312 314 318 323 327 330 337 340 341 346 348 350 351 352 354 355 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 55 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 312 313 314 318 323 327 330 337 340 341 346 348 350 351 352 354 355 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 31 34 35 38 39 42 51 52 54 55 59 62 63 65 66 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 355 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 25 27 34 35 38 39 42 51 52 54 55 59 62 63 65 66 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 355 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 19 25 27 34 35 38 39 42 51 52 54 55 59 62 63 65 66 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 155 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 19 25 27 34 35 38 39 42 51 52 54 55 59 62 63 65 66 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 156 158 165 167 173 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 12 19 25 27 34 35 38 39 42 51 52 54 55 59 62 63 65 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 146 147 151 156 158 165 167 173 180 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 19 25 27 34 35 38 39 42 51 52 54 55 59 62 63 65 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 180 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 180 181 182 183 186 190 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 5 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 77 78 81 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 77 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 260 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 320 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 77 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 320 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 27 34 35 38 39 42 49 51 52 54 55 59 62 63 67 68 70 72 73 74 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 310 312 313 314 320 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 181 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 330 337 340 341 346 348 350 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 78 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 330 337 340 341 346 348 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 337 340 341 346 348 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 109 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 337 341 346 348 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 337 341 346 348 351 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 337 341 346 347 348 352 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 208 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 337 341 346 347 348 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 103 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 335 337 341 346 347 348 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 283 284 286 288 289 290 294 299 303 304 310 312 313 314 320 323 327 328 330 335 337 341 346 347 348 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 288 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 337 341 346 347 348 354 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 101 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 288 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 337 341 346 347 348 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 18 19 23 25 26 27 34 35 38 39 42 43 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 101 117 124 130 132 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 288 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 337 346 347 348 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 288 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 337 346 347 348 358 361 362 365 369 370 372 373 381 385 387 390 400 401 403 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 288 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 381 385 387 390 400 401 403 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 54 55 59 62 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 381 385 387 390 400 401 403 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 264 268 269 277 278 282 283 284 286 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 381 385 387 390 400 401 403 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 282 283 284 286 289 290 294 299 303 304 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 381 385 387 390 400 401 403 414 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 282 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 381 385 387 400 401 403 414 a 1 8 18 19 23 25 26 27 34 35 38 39 42 43 49 51 53 54 55 59 63 67 68 70 72 73 74 89 91 99 101 112 117 124 130 133 134 135 136 138 143 144 145 146 147 151 156 157 158 165 167 172 173 176 180 182 183 186 187 192 194 195 204 206 209 210 215 216 218 219 220 222 224 225 230 233 238 239 241 243 246 248 249 250 251 254 255 256 257 258 259 268 269 277 278 282 283 284 286 289 290 294 299 303 304 307 310 313 314 320 323 327 328 330 335 346 347 348 358 361 362 365 369 370 371 372 373 385 387 400 401 403 414 c Step: 86 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance032_graph005.col /benchmark/random_instance/random_instance032_graph005_01.dat" User time (seconds): 3.97 System time (seconds): 0.18 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.16 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): 154284 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 191132 Voluntary context switches: 17 Involuntary context switches: 16 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:39 2023]