Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -56 | 1782.74 | 1783.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb |
MD5SUM | 548627fc5af0dd4663b3515778a6a609 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -56 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -56 |
Optimality of the best value was proved | NO |
Number of variables | 8411 |
Total number of constraints | 2456 |
Number of constraints which are clauses | 412 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 1618 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 52429 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524390 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 523753 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524475 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.19 c starting to Solve 0.19 c #variables read: 8411 - #constraints read: 3210 4.02 o 6 5.64 o 12 6.00 o 13 7.42 o 14 8.93 o 15 9.02 o 16 23.39 o 21 39.21 o 22 42.50 o 23 66.41 o 24 82.14 o 25 89.18 o 26 91.59 o 27 91.98 o 28 92.26 o 29 114.30 o 30 114.75 o 31 115.04 o 32 115.21 o 33 115.93 o 34 116.35 o 35 116.56 o 36 116.73 o 37 117.33 o 38 261.34 o 39 534.72 o 40 589.56 o 41 605.77 o 42 640.84 o 43 646.79 o 44 706.08 o 45 1639.73 o 46 1643.58 o 47 1654.91 o 48 1656.62 o 49 1657.56 o 50 1692.09 o 51 1704.73 o 52 1710.02 o 53 1716.38 o 54 1722.45 o 55 1724.15 o 56 1783.24 c total time : 1783 s 1783.24 s SATISFIABLE 1783.24 v x4232 x4233 x4234 -x4235 x4236 x4237 x4238 x4239 x4240 -x4241 -x4242 -x4243 x4244 x4245 -x4246 x4247 -x4248 -x4249 -x4250 1783.24 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 x4263 x4264 x4265 x4266 -x4267 -x4268 1783.24 v -x4269 -x4270 x4271 x4272 x4273 x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1783.24 v -x4287 -x4288 -x4289 -x4290 -x4291 x4292 x4293 x4294 x4295 x4296 x4297 x4298 x4299 x4300 x4301 x4302 x4303 x4304 x4305 x4306 1783.24 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 x4323 x4324 1783.24 v x4325 x4326 x4327 x4328 x4329 x4330 x4331 x4332 x4333 x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1783.24 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1783.24 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1783.24 v -x4378 -x4379 -x4380 -x4381 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x84 -x85 -x86 x87 -x88 x89 x90 -x91 -x92 -x145 -x146 -x147 -x148 1783.24 v -x149 -x150 x151 x152 -x153 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 1783.24 v -x209 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1783.24 v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x1928 1783.24 v x1929 -x1930 -x1931 -x1932 x1933 x1934 -x1935 -x1936 -x2209 x2210 x2211 x2212 x2213 x2214 -x2215 x2216 -x2217 x2490 x2491 1783.24 v x2492 x2493 x2494 x2495 -x2496 -x2497 x2498 x2771 x2772 x2773 -x2774 -x2775 x2776 x2777 -x2778 -x2779 x3052 -x3053 x3054 1783.24 v -x3055 -x3056 x3057 x3058 -x3059 -x3060 x3478 x3479 x3480 x3481 -x3482 -x3483 x3484 -x3485 -x3486 x3487 x3488 -x3489 x3490 1783.24 v -x3491 x3492 -x3493 x3494 -x3495 x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 x3504 x3505 x3506 x3507 x3508 -x3509 1783.24 v -x3510 x3511 -x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3648 -x3649 -x3650 -x3651 -x3652 1783.24 v -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 x3660 -x3661 x3662 x3663 -x3664 -x3665 x3666 -x3667 -x3668 -x3669 -x3670 1783.24 v -x3671 x3672 x3673 -x3674 x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 x3686 -x3687 -x3688 1783.24 v -x3689 -x3690 -x3691 -x3692 x3693 x3694 -x3695 x3696 x3697 x3698 -x3699 -x3700 -x3701 x3702 x3703 -x3704 -x3705 x3706 -x3707 1783.24 v -x3708 x3709 -x3710 x3711 x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 x3719 x3720 x3721 x3722 x3723 -x3724 -x3725 x3726 1783.24 v -x3727 -x3728 -x3729 x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4228 1783.24 v -x4229 -x4230 -x4231 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3814 -x3815 -x3816 -x3817 1783.24 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3840 1783.24 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1783.24 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 1783.24 v -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x708 -x712 -x724 1783.24 v -x3459 x12 x79 x3189 x3325 x3326 -x154 -x183 -x2499 -x2767 -x3210 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1783.24 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x200 -x3253 -x3048 x3329 x14 -x193 1783.24 v x81 -x2780 x3466 -x3330 -x3274 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1783.24 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x5618 -x3761 -x3754 -x3741 -x5865 x8305 x5878 -x218 -x219 -x220 -x221 1783.24 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1783.24 v -x243 -x244 -x245 -x246 -x247 -x5862 -x5863 -x5864 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 1783.24 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x4089 x4087 -x4092 -x3460 -x4948 -x4949 -x4950 1783.24 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 1783.24 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4114 -x4112 x4117 -x4978 -x4979 -x4980 -x4981 1783.24 v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1783.24 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x4947 x3767 -x3783 x77 -x2218 x2193 -x2474 x3470 x2001 1783.24 v -x159 -x2475 x2219 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1783.24 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2346 x198 -x2482 x3040 -x156 x195 -x181 x2908 -x3463 -x2484 x2388 x3467 -x2305 x2306 1783.24 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1783.24 v -x2324 -x2410 x215 -x2486 x3321 -x158 x212 -x2488 x2452 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1783.24 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x3812 -x3464 -x3743 -x4094 -x5192 -x5193 -x5194 1783.24 v -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 1783.24 v -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x4119 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 1783.24 v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 1783.24 v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5191 x711 x3471 -x3763 x3787 x2197 -x2755 x10 -x93 -x99 x1937 -x2756 1783.24 v x2500 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1783.24 v -x2581 -x2582 -x2583 -x3468 x199 -x2627 -x2763 x3044 -x96 x194 -x142 x2844 x3472 -x2765 x2669 -x2586 x2587 -x2588 -x2589 1783.24 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2691 1783.24 v x216 -x98 x211 -x144 x3125 -x2769 -x4642 -x3457 -x3353 x2733 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 1783.24 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x3825 -x3747 -x5867 x8307 -x5871 x4090 x4097 1783.24 v -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 1783.24 v -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x4115 -x4122 -x5039 -x5040 1783.24 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 1783.24 v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5008 x3784 -x3771 x4703 -x3461 -x3354 -x2065 1783.24 v x197 -x2476 -x2240 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1783.24 v -x2362 -x2363 -x2364 -x2365 -x2366 -x160 x2282 -x4764 -x3465 -x3355 x2478 -x2759 x713 x2480 -x2304 -x2368 x2369 -x2370 1783.24 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1783.24 v x196 -x213 x4825 -x3469 -x3356 -x2489 -x2473 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1783.24 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x3813 -x3744 x4099 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 1783.24 v -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 1783.24 v -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x4886 x3453 -x3377 -x4124 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 1783.24 v -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 1783.24 v -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5435 x3764 -x3791 x2201 -x3036 -x3037 -x3462 -x3378 x2781 -x2845 x2846 1783.24 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1783.24 v -x2864 x94 -x155 x140 -x2563 x3046 -x2950 x3379 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1783.24 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x217 -x2972 -x3050 x3014 -x2888 x2889 -x2890 -x2891 -x2892 1783.24 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x3838 x5069 1783.24 v x3380 -x3751 -x5868 x8308 -x5875 x4091 x4102 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1783.24 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 1783.24 v -x5098 -x5099 -x4116 x4127 -x717 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1783.24 v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 1783.24 v x3785 -x3775 x16 -x210 -x2129 x214 x5130 x3454 x3401 -x2477 -x2261 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1783.24 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x3458 -x3402 x2481 -x2325 -x2432 x2433 1783.24 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1783.24 v -x2451 -x5252 -x3403 -x2485 -x2389 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1783.24 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x3745 x4104 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 1783.24 v -x5687 x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 1783.24 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x4129 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 1783.24 v -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 1783.24 v -x5737 -x5738 -x5739 x5679 x3765 -x3795 x83 -x3061 x5313 x3404 x2205 -x3317 -x3318 x3062 -x3126 x3127 -x3128 -x3129 -x3130 1783.24 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x5374 x3455 1783.24 v -x3425 x3327 -x3231 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1783.24 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3426 -x3331 -x3295 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1783.24 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3755 -x5869 x8309 x5879 -x248 -x249 -x250 1783.24 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 1783.24 v -x272 -x273 -x274 -x275 -x276 -x277 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1783.24 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x5866 -x4095 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 1783.24 v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 1783.24 v -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5496 -x3427 -x4120 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1783.24 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1783.24 v -x5308 -x5309 -x5310 -x5311 -x5312 -x3772 x3788 -x2757 x5557 x3428 -x2521 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1783.24 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2761 -x2585 x3456 x3449 -x2649 1783.24 v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1783.24 v -x2667 -x2668 -x2770 -x2754 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 1783.24 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x3826 -x3450 -x3748 -x4100 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 1783.24 v -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 1783.24 v -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x4125 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 1783.24 v -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 1783.24 v -x5553 -x5554 -x5555 -x5556 x3768 -x3792 -x714 x5740 -x3451 -x3038 x2802 -x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1783.24 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x5801 -x3452 -x3042 -x2866 1783.24 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1783.24 v -x2947 -x2948 -x2949 -x3051 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1783.24 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3035 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1783.24 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x3839 -x3752 -x5872 x8312 -x5876 x3473 -x4096 -x5314 1783.24 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 1783.24 v -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x4121 -x5344 -x5345 -x5346 -x5347 1783.24 v x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1783.24 v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x3789 -x3776 x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 1783.24 v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x2758 -x2542 -x2692 -x2693 1783.24 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1783.24 v -x2711 -x3474 x721 -x2762 -x2606 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1783.24 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1783.24 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x2766 -x2670 -x3475 -x2734 -x2735 -x2736 -x2737 -x2738 1783.24 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x3749 -x4105 1783.24 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 1783.24 v -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x4130 -x5771 -x5772 -x5773 1783.24 v -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 1783.24 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 x3769 -x3796 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 1783.24 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3319 x3083 -x3476 1783.24 v -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1783.24 v -x3207 -x3208 -x3209 -x3323 -x3147 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1783.24 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1783.24 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3477 -x3332 -x3316 -x3233 -x3234 -x3235 1783.24 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1783.24 v -x3756 -x5873 x8313 -x5880 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1783.24 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1783.24 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x5870 x4101 -x5558 1783.24 v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1783.24 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x4126 -x5588 -x5589 -x5590 -x5591 1783.24 v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 1783.24 v -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x3777 x3793 -x3523 x8302 -x3643 -x3039 -x2823 -x2973 -x2974 1783.24 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1783.24 v -x2992 -x3524 -x8303 x3043 -x2887 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 1783.24 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3525 x8304 x3047 -x2951 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 1783.24 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3753 x4106 -x5802 x5803 -x5804 1783.24 v -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 1783.24 v -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x4131 -x3526 -x5832 -x5833 -x5834 -x5835 -x5836 1783.24 v -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 1783.24 v -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x3773 x3797 -x3320 -x3104 -x3254 -x3255 -x3256 -x3257 -x3258 1783.24 v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3527 x8306 1783.24 v x3644 x3324 -x3168 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1783.24 v -x3290 -x3291 -x3292 -x3293 -x3294 -x715 -x3528 x3328 -x3232 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1783.24 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3757 -x5877 x8317 -x5881 -x308 -x309 -x310 1783.24 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1783.24 v -x332 -x333 -x334 -x335 -x336 -x337 -x5874 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 1783.24 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1783.24 v -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x3623 1783.24 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1783.24 v -x3641 -x3642 -x4082 x4107 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 1783.24 v -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 1783.24 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 1783.24 v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 1783.24 v -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 1783.24 v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4472 -x4507 -x4542 x4577 -x3529 -x4514 x4549 -x4584 -x4521 1783.24 v -x4556 x4591 -x4528 -x4563 -x4598 -x4535 -x4570 -x4605 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1783.24 v -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1783.24 v -x4638 -x4639 -x4640 -x4641 -x4473 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1783.24 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x4508 -x758 -x759 -x760 -x761 1783.24 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1783.24 v -x783 -x784 -x785 -x786 -x787 -x4543 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1783.24 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x4578 -x818 -x819 -x820 1783.24 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1783.24 v -x842 -x843 -x844 -x845 -x846 -x847 -x4474 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1783.24 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x4509 -x3530 -x878 1783.24 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1783.24 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x4544 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1783.24 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x4579 -x938 1783.24 v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 x948 x949 -x950 -x951 x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 1783.24 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x4479 -x4480 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1783.24 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x4515 1783.24 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1783.24 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x4550 -x1028 -x1029 -x1030 -x1031 1783.24 v -x1032 -x1033 -x1034 -x1035 x1036 x1037 x1038 x1039 x1040 x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1783.24 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x4585 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1783.24 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1783.24 v -x1083 -x1084 -x1085 -x1086 -x1087 -x4481 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1783.24 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1783.24 v -x1116 -x1117 -x4516 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1783.24 v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x4551 1783.24 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1783.24 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x4586 -x3531 -x8310 x3645 1783.24 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1783.24 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x4486 -x4487 -x1208 -x1209 1783.24 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1783.24 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x4522 -x1238 -x1239 -x1240 -x1241 -x1242 1783.24 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1783.24 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x4557 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1783.24 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1783.24 v -x1293 -x1294 -x1295 -x1296 -x1297 -x4592 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1783.24 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1783.24 v -x1326 -x1327 -x4488 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1783.24 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x4523 1783.24 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1783.24 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x725 -x3532 x8311 -x4558 -x1388 1783.24 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1783.24 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x4593 -x1418 x1419 x1420 x1421 x1422 1783.24 v x1423 x1424 x1425 x1426 x1427 x1428 x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1783.24 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x4493 x4494 -x1448 -x1449 -x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 1783.24 v x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1783.24 v -x1477 -x4529 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1783.24 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x4564 -x1508 1783.24 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1783.24 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x4599 -x1538 -x1539 -x1540 -x1541 1783.24 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1783.24 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x4495 -x3533 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1783.24 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1783.24 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x4530 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1783.24 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1783.24 v -x1624 -x1625 -x1626 -x1627 -x4565 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1783.24 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1783.24 v -x1657 -x4600 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1783.24 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x4500 -x4501 1783.24 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1783.24 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x4536 -x1718 -x1719 -x1720 1783.24 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1783.24 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x4571 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1783.24 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1783.24 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x4606 -x3534 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1783.24 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1783.24 v -x1803 -x1804 -x1805 -x1806 -x1807 -x4502 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1783.24 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1783.24 v -x1836 -x1837 -x4537 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1783.24 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x4572 1783.24 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1783.24 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x4607 -x1898 -x1899 -x1900 1783.24 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1783.24 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1783.24 v -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1783.24 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 1783.24 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1783.24 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 1783.24 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x488 -x489 -x490 1783.24 v -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1783.24 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1783.24 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 1783.24 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1783.24 v -x575 -x576 -x577 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 x8330 -x8331 x8332 -x8333 -x8334 -x8335 -x8336 1783.24 v -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 1783.24 v -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 1783.24 v -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 1783.24 v -x8389 -x8390 x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 1783.24 v -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x3535 x8314 -x3646 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1783.24 v x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1783.24 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1783.24 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 1783.24 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x3536 x8315 x78 -x11 1783.24 v -x3537 x8316 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x80 -x13 -x37 1783.24 v x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x3538 -x82 -x15 -x57 -x58 -x59 1783.24 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x3539 x8318 -x3647 x141 -x95 -x100 x101 1783.24 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x143 -x3540 1783.24 v x8319 x97 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 1783.24 v -x139 -x182 x157 -x718 -x3541 x8320 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1783.24 v -x176 -x177 -x178 -x179 -x180 -x3542 x8321 -x4475 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 1783.24 v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 1783.24 v -x5910 -x5911 -x5912 -x4510 x722 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 1783.24 v -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1783.24 v -x4545 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 1783.24 v -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x4580 -x5973 -x5974 1783.24 v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 1783.24 v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x5882 -x4482 -x6367 -x6368 -x6369 -x6370 1783.24 v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 1783.24 v -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x4517 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 1783.24 v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1783.24 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x4552 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1783.24 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1783.24 v -x6454 -x6455 -x6456 -x4587 -x719 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 1783.24 v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 1783.24 v -x6486 -x6366 -x4476 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 1783.24 v -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x4511 1783.24 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 1783.24 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x4546 x726 -x6064 -x6065 -x6066 1783.24 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1783.24 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x4581 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1783.24 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 1783.24 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6003 -x4489 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 1783.24 v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 1783.24 v -x6877 -x6878 -x6879 -x6880 -x4524 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 1783.24 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 1783.24 v -x6910 -x4559 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 1783.24 v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 x4594 -x6941 1783.24 v -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 1783.24 v -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6850 -x723 -x4477 -x6125 -x6126 -x6127 1783.24 v -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 1783.24 v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x4512 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 1783.24 v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 1783.24 v -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x4547 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 1783.24 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 1783.24 v -x6211 -x6212 -x6213 -x6214 x727 -x4582 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 1783.24 v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 1783.24 v -x6244 -x6124 -x4496 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 1783.24 v -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x4531 1783.24 v -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 1783.24 v -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x4566 -x7395 -x7396 -x7397 1783.24 v -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 1783.24 v -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x4601 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 1783.24 v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 1783.24 v -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7334 -x4478 x709 -x608 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 1783.24 v -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 1783.24 v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x4513 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 1783.24 v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 1783.24 v -x6303 -x6304 -x6305 -x4548 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1783.24 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 1783.24 v -x4583 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1783.24 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6245 -x4503 -x7819 1783.24 v -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 1783.24 v -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x4538 -x7849 -x7850 -x7851 -x7852 1783.24 v -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 1783.24 v -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x4573 x609 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 1783.24 v -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 1783.24 v -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x4608 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 1783.24 v -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 1783.24 v -x7936 -x7937 -x7938 -x7818 -x4483 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 1783.24 v -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 1783.24 v -x6517 -x4518 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 1783.24 v -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x4553 -x6548 1783.24 v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 1783.24 v -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x4588 -x6578 -x6579 -x6580 -x6581 1783.24 v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 1783.24 v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6487 x710 -x610 -x4490 -x6972 -x6973 -x6974 -x6975 -x6976 1783.24 v -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 1783.24 v -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x4525 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 1783.24 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 1783.24 v -x7027 -x7028 -x7029 -x7030 -x7031 -x4560 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 1783.24 v -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 1783.24 v -x7060 -x7061 -x4595 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1783.24 v -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x6971 1783.24 v -x4484 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 1783.24 v -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x4519 x611 -x6639 -x6640 1783.24 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 1783.24 v -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x4554 -x6669 -x6670 -x6671 -x6672 -x6673 1783.24 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1783.24 v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x4589 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 1783.24 v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 1783.24 v -x6724 -x6725 -x6726 -x6727 -x6728 -x6608 -x4497 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 1783.24 v -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 1783.24 v -x7483 -x7484 -x7485 -x4532 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 1783.24 v -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 1783.24 v -x4567 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 1783.24 v -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x4602 -x632 -x7546 1783.24 v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 1783.24 v -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7455 -x4485 -x6730 -x6731 -x6732 1783.24 v -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 1783.24 v -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x4520 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 1783.24 v -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 1783.24 v -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x4555 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 1783.24 v -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 1783.24 v -x6816 -x6817 -x6818 -x6819 -x4590 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 1783.24 v -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 1783.24 v -x6849 -x6729 -x4504 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 1783.24 v -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x716 1783.24 v -x633 -x4539 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 1783.24 v -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x4574 -x8000 1783.24 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 1783.24 v -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x4609 -x8030 -x8031 -x8032 -x8033 1783.24 v -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 1783.24 v -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x7939 -x4491 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 1783.24 v -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 1783.24 v -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x4526 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 1783.24 v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 1783.24 v -x7149 -x7150 -x7151 -x7152 -x4561 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 1783.24 v -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 1783.24 v -x7182 -x634 -x4596 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 1783.24 v -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7092 1783.24 v -x4498 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 1783.24 v -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x4533 -x7607 -x7608 1783.24 v -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 1783.24 v -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x4568 -x7637 -x7638 -x7639 -x7640 -x7641 1783.24 v -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 1783.24 v -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x4603 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 1783.24 v -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 1783.24 v -x7692 -x7693 -x7694 -x7695 -x7696 -x7576 -x4492 -x635 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 1783.24 v -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 1783.24 v -x7240 -x7241 -x7242 -x7243 -x4527 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 1783.24 v -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 1783.24 v -x7273 -x4562 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 1783.24 v -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x4597 -x7304 1783.24 v -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 1783.24 v -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7213 -x4505 -x8061 -x8062 -x8063 1783.24 v -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 1783.24 v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x4540 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 1783.24 v -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 1783.24 v -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x4575 -x656 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 1783.24 v -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 1783.24 v -x8146 -x8147 -x8148 -x8149 -x8150 -x4610 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 1783.24 v -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 1783.24 v -x8179 -x8180 -x8060 -x4499 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 1783.24 v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 1783.24 v -x4534 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 1783.24 v -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x4569 -x7758 -x7759 1783.24 v -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 1783.24 v -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x4604 -x7788 -x7789 -x7790 -x7791 -x7792 1783.24 v -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 1783.24 v -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7697 -x657 -x4506 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 1783.24 v -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 1783.24 v -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x4541 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 1783.24 v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 1783.24 v -x8238 -x8239 -x8240 -x8241 -x4576 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 1783.24 v -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 1783.24 v -x8271 -x4611 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 1783.24 v -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8181 -x4083 1783.24 v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 1783.24 v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4108 -x658 -x4673 -x4674 1783.24 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 1783.24 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x3762 -x3778 x2198 -x2022 -x659 -x1939 x1940 1783.24 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1783.24 v -x1958 -x2202 -x2086 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1783.24 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x720 -x680 -x2206 -x2150 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1783.24 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x3798 -x3738 x681 -x4088 -x4887 -x4888 1783.24 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1783.24 v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4113 -x4917 -x4918 -x4919 -x4920 -x4921 1783.24 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1783.24 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x3758 x3782 -x682 x2479 -x2303 -x2220 x2221 -x2222 -x2223 -x2224 1783.24 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2483 -x683 1783.24 v -x2367 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1783.24 v -x2257 -x2258 -x2259 -x2260 -x2487 -x2431 -x704 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1783.24 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x3811 -x3742 -x4084 -x4704 -x4705 -x4706 -x4707 1783.24 v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 1783.24 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4109 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1783.24 v -x4741 -x4742 -x4743 -x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 1783.24 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x3779 x3766 x705 -x2194 -x1938 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1783.24 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x706 -x2203 -x2107 -x2024 -x2025 1783.24 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1783.24 v -x2043 x707 -x2207 -x2171 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1783.24 v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x3799 x3739 -x4093 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 1783.24 v -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 1783.24 v -x5157 -x5158 -x5159 -x5160 x4118 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 x5172 -x5173 1783.24 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1783.24 v x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x3759 1783.24 v x3786 -x2760 -x2584 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1783.24 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 1783.24 v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x2764 -x2648 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1783.24 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2768 -x2712 -x2543 -x2544 -x2545 -x2546 1783.24 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x3824 1783.24 v -x3746 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1783.24 v -x655 -x4085 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1783.24 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4110 -x4795 1783.24 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 1783.24 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x3780 -x3770 x2195 -x1959 -x2066 x2067 1783.24 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1783.24 v -x2085 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1783.24 v x2199 -x2023 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 1783.24 v -x2103 -x2104 -x2105 -x2106 -x2208 -x684 x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1783.24 v -x699 -x700 -x701 -x702 -x703 -x2192 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1783.24 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x3800 -x3740 -x4098 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 1783.24 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 1783.24 v -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x4123 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 1783.24 v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 1783.24 v -x5431 -x5432 -x5433 -x5434 -x3760 x3790 x3041 -x2865 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1783.24 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x3045 -x2929 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 1783.24 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x3049 -x2993 -x2824 1783.24 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1783.24 v -x2842 -x2843 x3837 -x3750 -x4086 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 1783.24 v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 1783.24 v -x4855 x4111 -x4856 x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 1783.24 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x3781 -x3774 x2196 -x1980 1783.24 v -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1783.24 v -x2147 -x2148 -x2149 x2200 -x2044 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1783.24 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2204 -x2108 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1783.24 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x4103 -x5619 -x5620 -x5621 -x5622 1783.24 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 1783.24 v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x4128 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1783.24 v x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 1783.24 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 x3794 x3322 -x3146 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1783.24 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3890 -x3893 x3896 -x3899 x3902 -x3905 x3908 1783.24 v -x3911 x3914 -x3917 x3920 -x3923 x3926 -x3929 x3932 -x3935 x3891 -x3894 x3897 -x3900 x3903 -x3906 x3909 -x3912 x3915 -x3918 1783.24 v x3921 -x3924 x3927 -x3930 x3933 -x3936 x3892 -x3895 x3898 -x3901 x3904 -x3907 x3910 -x3913 -x3916 x3919 -x3922 x3925 x3928 1783.24 v -x3931 x3934 -x3937 -x3939 x3938 -x3945 x3944 -x3951 x3950 -x3957 x3956 -x3963 x3962 -x3969 x3968 -x3975 x3974 -x3981 x3980 1783.24 v x3940 -x3942 x3946 -x3948 x3952 -x3954 x3958 -x3960 x3964 -x3966 x3970 -x3972 x3976 -x3978 x3982 -x3984 -x3941 x3943 -x3947 1783.24 v x3949 -x3953 x3955 -x3959 x3961 -x3965 x3967 -x3971 x3973 -x3977 x3979 -x3983 x3985 -x3988 x3986 -x3994 x3992 -x4000 x3998 1783.24 v -x4006 x4004 -x4012 x4010 -x4018 x4016 -x4024 x4022 -x4030 x4028 -x3989 x3987 -x3995 x3993 -x4001 x3999 -x4007 x4005 -x4013 1783.24 v x4011 -x4019 x4017 -x4025 x4023 -x4031 x4029 -x3990 x3991 -x3996 x3997 -x4002 x4003 -x4008 x4009 -x4014 x4015 -x4020 x4021 1783.24 v -x4026 x4027 -x4032 x4033 -x4037 x4034 -x4043 x4040 x4049 -x4046 x4055 -x4052 -x4061 x4058 -x4067 x4064 -x4073 x4070 -x4079 1783.24 v x4076 x4038 -x4035 x4044 -x4041 x4050 -x4047 x4056 -x4053 x4062 -x4059 x4068 -x4065 x4074 -x4071 x4080 -x4077 x4039 -x4036 1783.24 v x4045 -x4042 x4051 -x4048 x4057 -x4054 x4063 -x4060 x4069 -x4066 x4075 -x4072 x4081 -x4078
OK -56
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-37533-1149256961 -o ROOT/results/node21/solver-37533-1149256961 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37533-1149256961/instance-37533-1149256961.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1172960/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=2572 CPUtime=0 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 191359162 2633728 246 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134546711 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 643 248 199 16 0 84 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1166952/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=8996 CPUtime=9.99 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 1747 0 0 0 988 11 0 0 25 0 1 0 191359162 9211904 1718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 2249 1718 206 16 0 1690 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8996 [startup+20.0093 s] /proc/loadavg: 0.94 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1164392/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=11816 CPUtime=20.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 2403 0 0 0 1980 21 0 0 25 0 1 0 191359162 12099584 2374 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 2954 2374 206 16 0 2395 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 11816 [startup+30.0344 s] /proc/loadavg: 0.95 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1163432/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=12860 CPUtime=30.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 2652 0 0 0 2973 28 0 0 25 0 1 0 191359162 13168640 2623 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 3215 2623 206 16 0 2656 0 Current children cumulated CPU time (s) 30.01 Current children cumulated vsize (Kb) 12860 [startup+40.0405 s] /proc/loadavg: 0.96 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1163368/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=12860 CPUtime=40.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 2655 0 0 0 3966 35 0 0 25 0 1 0 191359162 13168640 2626 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 3215 2626 206 16 0 2656 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 12860 [startup+50.0476 s] /proc/loadavg: 0.96 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1162856/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=13264 CPUtime=50.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 2780 0 0 0 4958 43 0 0 25 0 1 0 191359162 13582336 2751 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 3316 2751 206 16 0 2757 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 13264 [startup+60.0537 s] /proc/loadavg: 0.97 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1160488/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=15828 CPUtime=60.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 3413 0 0 0 5954 47 0 0 25 0 1 0 191359162 16207872 3384 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 3957 3384 206 16 0 3398 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 15828 [startup+70.0608 s] /proc/loadavg: 0.97 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18716 CPUtime=70.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4161 0 0 0 6950 51 0 0 25 0 1 0 191359162 19165184 4111 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 4679 4111 206 16 0 4120 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 18716 [startup+80.0679 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18716 CPUtime=80.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4162 0 0 0 7948 53 0 0 25 0 1 0 191359162 19165184 4112 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 4679 4112 206 16 0 4120 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 18716 [startup+90.074 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18708 CPUtime=90.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4162 0 0 0 8938 63 0 0 25 0 1 0 191359162 19156992 4110 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 4677 4110 206 16 0 4118 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 18708 [startup+100.08 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18708 CPUtime=100.02 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4165 0 0 0 9931 71 0 0 25 0 1 0 191359162 19156992 4113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 4677 4113 206 16 0 4118 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 18708 [startup+110.086 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18708 CPUtime=110.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4166 0 0 0 10928 73 0 0 25 0 1 0 191359162 19156992 4114 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528273 0 0 4096 0 0 0 0 17 0 0 0 /proc/22949/statm: 4677 4114 206 16 0 4118 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 18708 [startup+120.092 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1157480/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=18700 CPUtime=120.01 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4167 0 0 0 11921 80 0 0 25 0 1 0 191359162 19148800 4113 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 4675 4113 206 16 0 4116 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 18700 [startup+130.099 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1154408/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=21772 CPUtime=130.02 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4934 0 0 0 12917 85 0 0 25 0 1 0 191359162 22294528 4880 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5443 4880 206 16 0 4884 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 21772 [startup+140.106 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1154408/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=21772 CPUtime=140.02 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4935 0 0 0 13915 87 0 0 25 0 1 0 191359162 22294528 4881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5443 4881 206 16 0 4884 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 21772 [startup+150.112 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1154408/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=21772 CPUtime=150.03 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4935 0 0 0 14913 90 0 0 25 0 1 0 191359162 22294528 4881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5443 4881 206 16 0 4884 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 21772 [startup+160.118 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1154408/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=21772 CPUtime=160.03 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4935 0 0 0 15909 94 0 0 25 0 1 0 191359162 22294528 4881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5443 4881 206 16 0 4884 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 21772 [startup+170.124 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1154408/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=21772 CPUtime=170.03 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 4936 0 0 0 16906 97 0 0 25 0 1 0 191359162 22294528 4882 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5443 4882 206 16 0 4884 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 21772 [startup+180.13 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1152744/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=23480 CPUtime=180.03 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 5348 0 0 0 17903 100 0 0 25 0 1 0 191359162 24043520 5294 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5870 5294 206 16 0 5311 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23480 [startup+190.136 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1152744/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=23480 CPUtime=190.04 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 5350 0 0 0 18902 102 0 0 25 0 1 0 191359162 24043520 5296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5870 5296 206 16 0 5311 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23480 [startup+200.142 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1152744/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=23480 CPUtime=200.04 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 5351 0 0 0 19899 105 0 0 25 0 1 0 191359162 24043520 5297 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 5870 5297 206 16 0 5311 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 23480 [startup+210.148 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22949 /proc/meminfo: memFree=1152744/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/22949/statm: 7066 6502 206 16 0 6507 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 28264 [startup+1601 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147760/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28456 CPUtime=1600.54 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6763 0 0 0 159449 605 0 0 25 0 1 0 191359162 29138944 6530 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7114 6530 206 16 0 6555 0 Current children cumulated CPU time (s) 1600.54 Current children cumulated vsize (Kb) 28456 [startup+1611 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147632/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28648 CPUtime=1610.53 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6784 0 0 0 160445 608 0 0 25 0 1 0 191359162 29335552 6551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7162 6551 206 16 0 6603 0 Current children cumulated CPU time (s) 1610.53 Current children cumulated vsize (Kb) 28648 [startup+1621.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147632/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28648 CPUtime=1620.54 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6785 0 0 0 161443 611 0 0 25 0 1 0 191359162 29335552 6552 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7162 6552 206 16 0 6603 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 28648 [startup+1631.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147632/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28648 CPUtime=1630.54 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6795 0 0 0 162441 613 0 0 25 0 1 0 191359162 29335552 6562 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7162 6562 206 16 0 6603 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 28648 [startup+1641.02 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147568/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28904 CPUtime=1640.55 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6814 0 0 0 163437 618 0 0 25 0 1 0 191359162 29597696 6581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7226 6581 206 16 0 6667 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 28904 [startup+1651.03 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1147568/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=28904 CPUtime=1650.55 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 6815 0 0 0 164431 624 0 0 25 0 1 0 191359162 29597696 6582 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7226 6582 206 16 0 6667 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 28904 [startup+1661.03 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1146224/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=30188 CPUtime=1660.55 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 7147 0 0 0 165425 630 0 0 25 0 1 0 191359162 30912512 6914 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7547 6914 206 16 0 6988 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 30188 [startup+1671.04 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1145904/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=30236 CPUtime=1670.55 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 7951 0 0 0 166421 634 0 0 25 0 1 0 191359162 30961664 6947 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7559 6947 206 16 0 7000 0 Current children cumulated CPU time (s) 1670.55 Current children cumulated vsize (Kb) 30236 [startup+1681.04 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1145904/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=30236 CPUtime=1680.56 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 7951 0 0 0 167416 640 0 0 25 0 1 0 191359162 30961664 6947 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7559 6947 206 16 0 7000 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 30236 [startup+1691.05 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1690.56 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 168412 644 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 31776 [startup+1701.06 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1700.57 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 169406 651 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528592 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 31776 [startup+1711.06 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1710.57 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 170396 661 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 31776 [startup+1721.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1720.57 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 171390 667 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1720.57 Current children cumulated vsize (Kb) 31776 [startup+1731.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1730.58 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 172383 675 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 31776 [startup+1741.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1740.58 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8307 0 0 0 173371 687 0 0 25 0 1 0 191359162 32538624 7303 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7303 206 16 0 7385 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 31776 [startup+1751.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1750.58 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 174362 696 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 31776 [startup+1761.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1760.58 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 175352 706 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 31776 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1770.58 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 176345 713 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 31776 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1780.59 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 177339 720 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 31776 [startup+1782.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1781.6 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 177439 721 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 31776 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22949 /proc/meminfo: memFree=1144624/2055920 swapFree=4181452/4192956 [pid=22949] ppid=22947 vsize=31776 CPUtime=1782.6 /proc/22949/stat : 22949 (Pueblo13) R 22947 22949 22903 0 -1 4194304 8308 0 0 0 177539 721 0 0 25 0 1 0 191359162 32538624 7304 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22949/statm: 7944 7304 206 16 0 7385 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 31776 Child status: 10 Real time (s): 1783.25 CPU time (s): 1782.74 CPU user time (s): 1775.52 CPU system time (s): 7.2219 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 31776
Begin job on node21 on Fri Jun 2 14:02:41 UTC 2006 FILE ID= 37533-1149256961 PBS_JOBID= 298444 BENCH NAME= ROOT/tmp/node21/37533-1149256961/instance-37533-1149256961.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37533-1149256961/instance-37533-1149256961.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-37533-1149256961 -o ROOT/results/node21/solver-37533-1149256961 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37533-1149256961/instance-37533-1149256961.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 548627fc5af0dd4663b3515778a6a609 RANDOM SEED= 155144380 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1173168 kB Buffers: 46448 kB Cached: 758548 kB SwapCached: 3388 kB Active: 217888 kB Inactive: 596020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1173168 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14740 kB Slab: 54868 kB Committed_AS: 256500 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jun 2 14:32:24 UTC 2006