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