Trace number 40569

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
bsolo 2006/05OPT-468992 1146.24 1146.57

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos20.opb
MD5SUMd5ea3d9967a24b7bed67317421f8b87e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-468992
Best CPU time to get the best result obtained on this benchmark4.11137
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -468992
Optimality of the best value was proved YES
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 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 5368709115
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 171798691840
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 344670818303
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-468992

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-40569-1149305501 -o ROOT/results/node43/solver-40569-1149305501 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40569-1149305501/instance-40569-1149305501.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 1.02 0.96 1/64 5179
/proc/meminfo: memFree=1788008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=4664 CPUtime=0
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 196216864 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4701460 0 0 4096 0 0 0 0 17 1 0 0
/proc/5179/statm: 1166 136 106 55 0 46 0

[startup+10.0021 s]
/proc/loadavg: 0.95 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1765552/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=27392 CPUtime=9.94
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 6052 0 0 0 967 27 0 0 25 0 1 0 196216864 28049408 5950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 6848 5950 300 55 0 5740 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 27392

[startup+20.008 s]
/proc/loadavg: 0.96 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1750320/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=42592 CPUtime=19.95
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 9852 0 0 0 1947 48 0 0 25 0 1 0 196216864 43614208 9750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 10648 9750 300 55 0 9540 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 42592

[startup+30.0139 s]
/proc/loadavg: 0.96 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1722416/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=70568 CPUtime=29.94
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 16830 0 0 0 2940 54 0 0 25 0 1 0 196216864 72261632 16722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 17642 16722 300 55 0 16534 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 70568

[startup+40.0197 s]
/proc/loadavg: 0.97 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1700848/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=92316 CPUtime=39.95
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 22212 0 0 0 3936 59 0 0 25 0 1 0 196216864 94531584 22097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 23079 22097 300 55 0 21971 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 92316

[startup+50.0266 s]
/proc/loadavg: 0.97 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1684464/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=108936 CPUtime=49.95
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 26321 0 0 0 4932 63 0 0 25 0 1 0 196216864 111550464 26191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 27234 26191 300 55 0 26126 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 108936

[startup+60.0315 s]
/proc/loadavg: 0.98 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1655088/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=138280 CPUtime=59.95
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 33652 0 0 0 5926 69 0 0 25 0 1 0 196216864 141598720 33510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 34570 33510 300 55 0 33462 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 138280

[startup+70.0373 s]
/proc/loadavg: 0.98 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1628336/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=165172 CPUtime=69.95
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 40355 0 0 0 6921 74 0 0 25 0 1 0 196216864 169136128 40191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 41293 40191 300 55 0 40185 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 165172

[startup+80.0432 s]
/proc/loadavg: 0.98 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1606192/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=187860 CPUtime=79.96
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 45985 0 0 0 7916 80 0 0 25 0 1 0 196216864 192368640 45723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 46965 45724 300 55 0 45857 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 187860

[startup+90.0491 s]
/proc/loadavg: 0.98 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1583664/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=210364 CPUtime=89.97
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 51615 0 0 0 8911 86 0 0 25 0 1 0 196216864 215412736 51350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 52591 51350 300 55 0 51483 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 210364

[startup+100.055 s]
/proc/loadavg: 0.99 1.01 0.96 2/64 5179
/proc/meminfo: memFree=1561712/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=232844 CPUtime=99.96
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 57339 0 0 0 9906 90 0 0 25 0 1 0 196216864 238432256 56828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 58211 56828 300 55 0 57103 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 232844

[startup+110.061 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5179
/proc/meminfo: memFree=1556912/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=237612 CPUtime=109.97
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 58529 0 0 0 10905 92 0 0 25 0 1 0 196216864 243314688 58018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 59403 58018 301 55 0 58295 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 237612

[startup+120.066 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5179
/proc/meminfo: memFree=1530928/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=263504 CPUtime=119.98
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 65004 0 0 0 11901 97 0 0 25 0 1 0 196216864 269828096 64493 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 65876 64493 301 55 0 64768 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 263504

[startup+130.072 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1514032/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=280432 CPUtime=129.98
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 69221 0 0 0 12898 100 0 0 25 0 1 0 196216864 287162368 68709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 70108 68709 301 55 0 69000 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 280432

[startup+140.077 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1513008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=281488 CPUtime=139.98
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 69474 0 0 0 13897 101 0 0 25 0 1 0 196216864 288243712 68961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 70372 68961 301 55 0 69264 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 281488

[startup+150.083 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1512048/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=282412 CPUtime=149.99
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 69708 0 0 0 14897 102 0 0 25 0 1 0 196216864 289189888 69195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 70603 69195 301 55 0 69495 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 282412

[startup+160.089 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1509360/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=285136 CPUtime=159.99
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 70389 0 0 0 15896 103 0 0 25 0 1 0 196216864 291979264 69876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 71284 69876 301 55 0 70176 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 285136

[startup+170.096 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1503600/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=290812 CPUtime=169.99
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 71824 0 0 0 16895 104 0 0 25 0 1 0 196216864 297791488 71311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 72703 71311 301 55 0 71595 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 290812

[startup+180.101 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1503344/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=291076 CPUtime=179.99
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 71881 0 0 0 17894 105 0 0 25 0 1 0 196216864 298061824 71368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 72769 71368 301 55 0 71661 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 291076

[startup+190.107 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1503344/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=291076 CPUtime=190
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 71882 0 0 0 18894 106 0 0 25 0 1 0 196216864 298061824 71369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 72769 71369 301 55 0 71661 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 291076

[startup+200.113 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1503344/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=291076 CPUtime=200
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 71882 0 0 0 19894 106 0 0 25 0 1 0 196216864 298061824 71369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 72769 71369 301 55 0 71661 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 291076

[startup+210.118 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1503344/2055920 swapFree=4180880/4192956

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

/proc/5179/statm: 106339 104844 301 55 0 105231 0
Current children cumulated CPU time (s) 930.26
Current children cumulated vsize (Kb) 425356

[startup+940.545 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1369008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425356 CPUtime=940.26
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105499 0 0 0 93857 169 0 0 25 0 1 0 196216864 435564544 104844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106339 104844 301 55 0 105231 0
Current children cumulated CPU time (s) 940.26
Current children cumulated vsize (Kb) 425356

[startup+950.551 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1369008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425356 CPUtime=950.26
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105499 0 0 0 94857 169 0 0 25 0 1 0 196216864 435564544 104844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106339 104844 301 55 0 105231 0
Current children cumulated CPU time (s) 950.26
Current children cumulated vsize (Kb) 425356

[startup+960.557 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1369008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425356 CPUtime=960.26
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105499 0 0 0 95857 169 0 0 25 0 1 0 196216864 435564544 104844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106339 104844 301 55 0 105231 0
Current children cumulated CPU time (s) 960.26
Current children cumulated vsize (Kb) 425356

[startup+970.563 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1369008/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425356 CPUtime=970.27
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105499 0 0 0 96857 170 0 0 25 0 1 0 196216864 435564544 104844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106339 104844 301 55 0 105231 0
Current children cumulated CPU time (s) 970.27
Current children cumulated vsize (Kb) 425356

[startup+980.569 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368752/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425728 CPUtime=980.27
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105563 0 0 0 97857 170 0 0 25 0 1 0 196216864 435945472 104908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106432 104908 301 55 0 105324 0
Current children cumulated CPU time (s) 980.27
Current children cumulated vsize (Kb) 425728

[startup+990.575 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368752/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425728 CPUtime=990.28
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105563 0 0 0 98857 171 0 0 25 0 1 0 196216864 435945472 104908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106432 104908 301 55 0 105324 0
Current children cumulated CPU time (s) 990.28
Current children cumulated vsize (Kb) 425728

[startup+1000.58 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368752/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425728 CPUtime=1000.28
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105563 0 0 0 99856 172 0 0 25 0 1 0 196216864 435945472 104908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106432 104908 301 55 0 105324 0
Current children cumulated CPU time (s) 1000.28
Current children cumulated vsize (Kb) 425728

[startup+1010.59 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368816/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425728 CPUtime=1010.29
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105563 0 0 0 100856 173 0 0 25 0 1 0 196216864 435945472 104908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106432 104908 301 55 0 105324 0
Current children cumulated CPU time (s) 1010.29
Current children cumulated vsize (Kb) 425728

[startup+1020.59 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368816/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425728 CPUtime=1020.29
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105563 0 0 0 101856 173 0 0 25 0 1 0 196216864 435945472 104908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106432 104908 301 55 0 105324 0
Current children cumulated CPU time (s) 1020.29
Current children cumulated vsize (Kb) 425728

[startup+1030.6 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368752/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425712 CPUtime=1030.29
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105564 0 0 0 102856 173 0 0 25 0 1 0 196216864 435929088 104909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106428 104909 301 55 0 105320 0
Current children cumulated CPU time (s) 1030.29
Current children cumulated vsize (Kb) 425712

[startup+1040.61 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368688/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=425828 CPUtime=1040.29
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105591 0 0 0 103855 174 0 0 25 0 1 0 196216864 436047872 104936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106457 104936 301 55 0 105349 0
Current children cumulated CPU time (s) 1040.29
Current children cumulated vsize (Kb) 425828

[startup+1050.61 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368304/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426196 CPUtime=1050.3
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105682 0 0 0 104855 175 0 0 25 0 1 0 196216864 436424704 105027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106549 105027 301 55 0 105441 0
Current children cumulated CPU time (s) 1050.3
Current children cumulated vsize (Kb) 426196

[startup+1060.62 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368240/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1060.3
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105699 0 0 0 105855 175 0 0 25 0 1 0 196216864 436371456 105044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105044 301 55 0 105428 0
Current children cumulated CPU time (s) 1060.3
Current children cumulated vsize (Kb) 426144

[startup+1070.62 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368176/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1070.3
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105699 0 0 0 106855 175 0 0 25 0 1 0 196216864 436371456 105044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105044 301 55 0 105428 0
Current children cumulated CPU time (s) 1070.3
Current children cumulated vsize (Kb) 426144

[startup+1080.63 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368176/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1080.31
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105699 0 0 0 107855 176 0 0 25 0 1 0 196216864 436371456 105044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105044 301 55 0 105428 0
Current children cumulated CPU time (s) 1080.31
Current children cumulated vsize (Kb) 426144

[startup+1090.64 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368176/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1090.32
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105699 0 0 0 108855 177 0 0 25 0 1 0 196216864 436371456 105044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105044 301 55 0 105428 0
Current children cumulated CPU time (s) 1090.32
Current children cumulated vsize (Kb) 426144

[startup+1100.64 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368176/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1100.32
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105699 0 0 0 109855 177 0 0 25 0 1 0 196216864 436371456 105044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105044 301 55 0 105428 0
Current children cumulated CPU time (s) 1100.32
Current children cumulated vsize (Kb) 426144

[startup+1110.65 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1368112/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426144 CPUtime=1110.32
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105720 0 0 0 110855 177 0 0 25 0 1 0 196216864 436371456 105048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106536 105048 301 55 0 105428 0
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (Kb) 426144

[startup+1120.65 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1367856/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426540 CPUtime=1120.33
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105801 0 0 0 111855 178 0 0 25 0 1 0 196216864 436776960 105129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106635 105129 301 55 0 105527 0
Current children cumulated CPU time (s) 1120.33
Current children cumulated vsize (Kb) 426540

[startup+1130.66 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1367856/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426540 CPUtime=1130.33
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105801 0 0 0 112855 178 0 0 25 0 1 0 196216864 436776960 105129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106635 105129 301 55 0 105527 0
Current children cumulated CPU time (s) 1130.33
Current children cumulated vsize (Kb) 426540

[startup+1140.66 s]
/proc/loadavg: 0.99 1.00 0.96 2/64 5181
/proc/meminfo: memFree=1367792/2055920 swapFree=4180880/4192956
[pid=5179] ppid=5177 vsize=426520 CPUtime=1140.33
/proc/5179/stat : 5179 (bsolo) R 5177 5179 5133 0 -1 0 105803 0 0 0 113855 178 0 0 25 0 1 0 196216864 436756480 105131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5179/statm: 106630 105131 301 55 0 105522 0
Current children cumulated CPU time (s) 1140.33
Current children cumulated vsize (Kb) 426520

Child status: 30
Real time (s): 1146.57
CPU time (s): 1146.24
CPU user time (s): 1144.38
CPU system time (s): 1.85672
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (Kb): 426540

Launcher Data (download as text)

Begin job on node43 on Sat Jun  3 03:31:41 UTC 2006


FILE ID= 40569-1149305501

PBS_JOBID= 307589

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40569-1149305501/instance-40569-1149305501.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-40569-1149305501 -o ROOT/results/node43/solver-40569-1149305501 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40569-1149305501/instance-40569-1149305501.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d5ea3d9967a24b7bed67317421f8b87e

RANDOM SEED= 824423759


/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.216
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.216
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:       1788280 kB
Buffers:         22812 kB
Cached:         183796 kB
SwapCached:       3716 kB
Active:          52020 kB
Inactive:       163296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788280 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            38424 kB
Committed_AS:   293080 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Sat Jun  3 03:50:48 UTC 2006