Trace number 350760

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.4SAT-43 1782.74 1783.49

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

Verifier Data (download as text)

OK	-43

Conversion Script Data (download as text)

/tmp/evaluation/350760-1176547687/instance-350760-1176547687.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-350760-1176547687 -o ROOT/results/node13/solver-350760-1176547687 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/350760-1176547687/instance-350760-1176547687.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13954
/proc/meminfo: memFree=1716368/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=2552 CPUtime=0
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 102686545 2613248 238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 638 238 199 16 0 77 0

[startup+0.035313 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13954
/proc/meminfo: memFree=1716368/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=2952 CPUtime=0.03
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 360 0 0 0 3 0 0 0 18 0 1 0 102686545 3022848 330 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 738 330 199 16 0 177 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2952

[startup+0.101327 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13954
/proc/meminfo: memFree=1716368/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=3748 CPUtime=0.09
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 585 0 0 0 9 0 0 0 18 0 1 0 102686545 3837952 555 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 937 555 199 16 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3748

[startup+0.30137 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13954
/proc/meminfo: memFree=1716368/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=7740 CPUtime=0.29
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 1450 0 0 0 29 0 0 0 19 0 1 0 102686545 7925760 1420 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528646 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 1935 1420 206 16 0 1374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7740

[startup+0.701454 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 13954
/proc/meminfo: memFree=1716368/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=7740 CPUtime=0.69
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 1450 0 0 0 69 0 0 0 23 0 1 0 102686545 7925760 1420 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532474 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 1935 1420 206 16 0 1374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7740

[startup+1.50163 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1711496/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=7740 CPUtime=1.49
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 1450 0 0 0 149 0 0 0 25 0 1 0 102686545 7925760 1420 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 1935 1420 206 16 0 1374 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7740

[startup+3.10197 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1710984/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=8392 CPUtime=3.09
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 1618 0 0 0 309 0 0 0 25 0 1 0 102686545 8593408 1588 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528968 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 2098 1588 206 16 0 1537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8392

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1710472/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=8524 CPUtime=6.29
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 1643 0 0 0 628 1 0 0 25 0 1 0 102686545 8728576 1613 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527888 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 2131 1613 206 16 0 1570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8524

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1708872/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=10096 CPUtime=12.69
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 2040 0 0 0 1268 1 0 0 25 0 1 0 102686545 10338304 2010 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 2524 2010 206 16 0 1963 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10096

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1707464/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=11540 CPUtime=25.48
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 2380 0 0 0 2540 8 0 0 25 0 1 0 102686545 11816960 2350 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 2885 2350 206 16 0 2324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11540

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1705864/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=13236 CPUtime=51.07
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 2773 0 0 0 5079 28 0 0 25 0 1 0 102686545 13553664 2743 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 3309 2743 206 16 0 2748 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13236

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1704200/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=14972 CPUtime=102.26
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 3189 0 0 0 10179 47 0 0 25 0 1 0 102686545 15331328 3159 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 3743 3159 206 16 0 3182 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14972

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1702216/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=17080 CPUtime=162.24
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 3689 0 0 0 16143 81 0 0 25 0 1 0 102686545 17489920 3659 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 4270 3659 206 16 0 3709 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 17080

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1701832/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=17264 CPUtime=222.21
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 3762 0 0 0 22126 95 0 0 25 0 1 0 102686545 17678336 3732 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 4316 3732 206 16 0 3755 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 17264

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1698184/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=20992 CPUtime=282.19
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 4664 0 0 0 28091 128 0 0 25 0 1 0 102686545 21495808 4634 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 5248 4634 206 16 0 4687 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 20992

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1698120/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=20992 CPUtime=342.17
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 4669 0 0 0 34060 157 0 0 25 0 1 0 102686545 21495808 4639 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 5248 4639 206 16 0 4687 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 20992

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1694344/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=24716 CPUtime=402.15
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 5608 0 0 0 40018 197 0 0 25 0 1 0 102686545 25309184 5578 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 6179 5578 206 16 0 5618 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 24716

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1694280/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=24716 CPUtime=462.12
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 5609 0 0 0 46002 210 0 0 25 0 1 0 102686545 25309184 5579 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 6179 5579 206 16 0 5618 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 24716

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13955
/proc/meminfo: memFree=1694280/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=24716 CPUtime=522.1
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 5611 0 0 0 51980 230 0 0 25 0 1 0 102686545 25309184 5581 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 6179 5581 206 16 0 5618 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 24716

[startup+582.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 13955
/proc/meminfo: memFree=1688712/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=30184 CPUtime=582.07
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7016 0 0 0 57951 256 0 0 25 0 1 0 102686545 30908416 6943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 7546 6943 206 16 0 6985 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 30184

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 13955
/proc/meminfo: memFree=1685768/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=32872 CPUtime=642.06
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7770 0 0 0 63927 279 0 0 25 0 1 0 102686545 33660928 7636 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8218 7636 206 16 0 7657 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 32872


################
# More data... #
################

/proc/meminfo: memFree=1685256/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=32872 CPUtime=881.87
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7876 0 0 0 87784 403 0 0 25 0 1 0 102686545 33660928 7647 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8218 7647 206 16 0 7657 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 32872

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14153
/proc/meminfo: memFree=1685256/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=32872 CPUtime=941.85
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7877 0 0 0 93753 432 0 0 25 0 1 0 102686545 33660928 7648 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8218 7648 206 16 0 7657 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 32872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14153
/proc/meminfo: memFree=1685256/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=32872 CPUtime=1001.83
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7877 0 0 0 99710 473 0 0 25 0 1 0 102686545 33660928 7648 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8218 7648 206 16 0 7657 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 32872

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14153
/proc/meminfo: memFree=1685256/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=32872 CPUtime=1061.81
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 7877 0 0 0 105673 508 0 0 25 0 1 0 102686545 33660928 7648 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8218 7648 206 16 0 7657 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 32872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14153
/proc/meminfo: memFree=1683912/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=34412 CPUtime=1121.78
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 8247 0 0 0 111659 519 0 0 25 0 1 0 102686545 35237888 8018 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559578 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8603 8018 206 16 0 8042 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 34412

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682824/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35500 CPUtime=1181.76
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 8606 0 0 0 117647 529 0 0 25 0 1 0 102686545 36352000 8288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8875 8288 206 16 0 8314 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 35500

[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 14153
/proc/meminfo: memFree=1680584/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=37680 CPUtime=1241.74
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9160 0 0 0 123629 545 0 0 25 0 1 0 102686545 38584320 8842 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 9420 8842 206 16 0 8859 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 37680

[startup+1302.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 14153
/proc/meminfo: memFree=1682440/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1301.72
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9161 0 0 0 129616 556 0 0 25 0 1 0 102686545 36384768 8314 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8314 206 16 0 8322 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 35532

[startup+1362.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 14153
/proc/meminfo: memFree=1682440/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1361.7
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9161 0 0 0 135594 576 0 0 25 0 1 0 102686545 36384768 8314 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8314 206 16 0 8322 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 35532

[startup+1422.31 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1421.68
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9162 0 0 0 141576 592 0 0 25 0 1 0 102686545 36384768 8315 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8315 206 16 0 8322 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 35532

[startup+1482.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1481.65
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9162 0 0 0 147558 607 0 0 25 0 1 0 102686545 36384768 8315 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8315 206 16 0 8322 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 35532

[startup+1542.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1541.63
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 153545 618 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 35532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1601.61
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 159528 633 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 35532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1661.59
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 165511 648 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 35532

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682376/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1721.57
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 171495 662 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 35532

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682184/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1781.54
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 177476 678 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528519 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 35532

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682184/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1782.35
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 177557 678 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 35532

[startup+1783.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682184/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1782.54
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 177576 678 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 35532

[startup+1783.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14153
/proc/meminfo: memFree=1682184/2055920 swapFree=4192812/4192956
[pid=13954] ppid=13952 vsize=35532 CPUtime=1782.65
/proc/13954/stat : 13954 (Pueblo) R 13952 13954 12898 0 -1 4194304 9163 0 0 0 177586 679 0 0 25 0 1 0 102686545 36384768 8316 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13954/statm: 8883 8316 206 16 0 8322 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 35532

Child status: 10
Real time (s): 1783.49
CPU time (s): 1782.74
CPU user time (s): 1775.94
CPU system time (s): 6.79797
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 37680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.94
system time used= 6.79797
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 2464

runsolver used 1.9647 second user time and 4.04838 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Apr 14 10:48:07 UTC 2007

IDJOB= 350760
IDBENCH= 1585
IDSOLVER= 165
FILE ID= node13/350760-1176547687

PBS_JOBID= 4556738

Free space on /tmp= 66521 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb
COMMAND LINE= Pueblo /tmp/evaluation/350760-1176547687/instance-350760-1176547687.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-350760-1176547687 -o ROOT/results/node13/conversion-350760-1176547687 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350760-1176547687/instance-350760-1176547687.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-350760-1176547687 -o ROOT/results/node13/solver-350760-1176547687 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/350760-1176547687/instance-350760-1176547687.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  548627fc5af0dd4663b3515778a6a609

RANDOM SEED= 336607565

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.259
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.259
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:       1716776 kB
Buffers:         26616 kB
Cached:         203964 kB
SwapCached:        144 kB
Active:          61276 kB
Inactive:       225752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2640 kB
Writeback:           0 kB
Mapped:          75196 kB
Slab:            37440 kB
Committed_AS:  4626812 kB
PageTables:       1916 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66521 MiB

End job on node13 on Sat Apr 14 11:17:51 UTC 2007