Trace number 37533

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3SAT-56 1782.74 1783.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
MD5SUM548627fc5af0dd4663b3515778a6a609
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -56
Optimality of the best value was proved NO
Number of variables8411
Total number of constraints2456
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints1618
Minimum length of a constraint2
Maximum length of a constraint270
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 numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-56

Watcher Data (download as text)

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

Launcher Data (download as text)

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