Trace number 45877

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
PB-smodels 1.31SAT (TO)155 1800.22 1800.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUM9d611ad786b3505d4cca46af1ba2bc6d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
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 Running pbsmodels-v1.31
59.44	o 167
692.38	o 159
789.14	o 155
1800.26	sh: line 1:  4953 Done                    pb2smodels ROOT/tmp/node18/45877-1154049036/instance-45877-1154049036.opb ROOT/tmp/node18/45877-1154049036
1800.26	      4954 Terminated              | smodels-2.31 0 -seed 385393390
1800.26	      4955 Terminated              | pbout.new.pl ROOT/tmp/node18/45877-1154049036/instance-45877-1154049036.opb ROOT/tmp/node18/45877-1154049036
1800.26	s SATISFIABLE
1800.26	v x1 x6786 x3806 x1035 x3805 x1036 x6785 x1040 x883 x6788 x2198 x881 x2197 x6789 x882 x9992 x6791 x2200 x6792 x2201 x9991 x4593
1800.26	v x2204 x7679 x4598 x2202 x10461 x7678 x6453 x2203 x7680 x5272 x964 x7681 x963 x7682 x5273 x2083 x7689 x2082 x968 x7683 x1892
1800.26	v x970 x6535 x6091 x1899 x6092 x2089 x6538 x6099 x2093 x6539 x6093 x5949 x6094 x4138 x7331 x6095 x4139 x7330 x5952 x1799 x9769
1800.26	v x7332 x1113 x9768 x7336 x1112 x9770 x4634 x1117 x9774 x7639 x4633 x9773 x7746 x4638 x8728 x7753 x7643 x8729 x7747 x7641 x7748
1800.26	v x3505 x2393 x10162 x7749 x158 x6595 x157 x6597 x2703 x6598 x2702 x160 x6599 x1403 x6606 x4256 x6600 x4261 x1404 x6601 x4260
1800.26	v x6602 x4258 x4090 x5081 x4259 x8355 x5079 x1849 x1848 x8356 x5080 x511 x1854 x1380 x510 x9364 x1853 x10233 x1851 x513 x7880
1800.26	v x514 x10232 x7879 x1094 x6692 x1099 x7882 x6691 x6339 x7883 x6693 x6338 x6697 x6336 x4324 x6696 x4329 x464 x8893 x6694 x463
1800.26	v x8291 x8892 x466 x8292 x467 x8898 x8294 x6554 x8896 x8295 x6557 x9187 x6556 x9193 x8897 x6561 x9192 x8454 x6560 x9194 x8455
1800.26	v x6558 x9198 x6559 x6500 x2487 x6499 x2486 x6782 x4648 x1034 x4650 x1033 x6787 x4649 x884 x6790 x4506 x6794 x4517 x2194 x6793
1800.26	v x2199 x2196 x2205 x9993 x4606 x10463 x6455 x5274 x5278 x10731 x965 x966 x2084 x1903 x967 x5170 x2085 x978 x6537 x6103 x2086
1800.26	v x8771 x6534 x2097 x5951 x4137 x5955 x4134 x5954 x7328 x1798 x9765 x7329 x1111 x9766 x8974 x1125 x9767 x7638 x4632 x9778 x7635
1800.26	v x4646 x8727 x7644 x8724 x564 x3504 x2392 x10161 x3501 x2406 x10164 x3510 x10168 x9339 x154 x10167 x159 x8923 x2769 x156 x2704
1800.26	v x1405 x165 x4269 x2701 x4265 x2710 x4264 x4089 x1407 x4092 x5082 x4096 x8357 x1845 x8361 x1846 x589 x8360 x1847 x1379 x1858
1800.26	v x1376 x592 x9361 x512 x509 x1093 x518 x10234 x6331 x1107 x7881 x6332 x1103 x7878 x6689 x6343 x6690 x4323 x6701 x4337 x4396
1800.26	v x4333 x8290 x8293 x465 x8894 x8297 x462 x8296 x4374 x8899 x6555 x8902 x6569 x9189 x8900 x6565 x9190 x8456 x6564 x9191 x3691
1800.26	v x6496 x6495 x2484 x2488 x3693 x2754 x10757 x9584 x6781 x4647 x880 x6783 x4665 x877 x6784 x4661 x4521 x6798 x5154 x5155 x2195
1800.26	v x2213 x758 x4605 x9994 x766 x765 x10464 x6456 x5267 x10728 x6464 x10732 x10736 x3918 x5169 x687 x5187 x691 x5942 x2101 x8770
1800.26	v x6551 x5943 x5944 x5959 x4151 x4147 x4146 x1800 x8970 x7344 x9781 x8966 x8204 x9782 x8978 x8208 x9777 x7652 x8723 x560 x9775
1800.26	v x8210 x556 x8737 x568 x10156 x8736 x3518 x10157 x3514 x10172 x9340 x9344 x155 x8924 x2764 x173 x2765 x1406 x3295 x2780 x1410
1800.26	v x2714 x1409 x7725 x4084 x7729 x5078 x4085 x8349 x7733 x5074 x8350 x585 x8365 x6625 x581 x1862 x593 x9375 x1393 x9376 x1389
1800.26	v x508 x1701 x1104 x526 x1106 x522 x10235 x521 x10239 x7877 x6347 x7895 x5311 x3120 x7891 x5315 x1569 x6700 x5319 x1568 x8284
1800.26	v x4398 x8285 x1576 x8286 x461 x8301 x4366 x1584 x8895 x4367 x8891 x4382 x8903 x6568 x8457 x6562 x3685 x8460 x6069 x3692 x3696
1800.26	v x6497 x3695 x2485 x6498 x2496 x2753 x2492 x8604 x5149 x9580 x5153 x9596 x5157 x896 x6802 x5156 x892 x2605 x2210 x2609 x2212
1800.26	v x2613 x753 x6149 x754 x9989 x6153 x770 x10460 x9990 x10456 x10006 x6451 x10468 x6452 x10723 x6468 x1163 x10724 x3914 x10740
1800.26	v x3910 x678 x6410 x3922 x679 x6548 x6414 x695 x6550 x8772 x4978 x5963 x4982 x8777 x5958 x4986 x5956 x4144 x1801 x9779 x8205
1800.26	v x4145 x8982 x8209 x8213 x5852 x8212 x555 x9776 x576 x572 x8734 x7083 x3966 x571 x10176 x7087 x9335 x8735 x9336 x8920 x1396
1800.26	v x9352 x8916 x1397 x3291 x2784 x1398 x7522 x3287 x1414 x7526 x3299 x7530 x6623 x7721 x5073 x4104 x8368 x7737 x6626 x8369 x6624
1800.26	v x5090 x9374 x1390 x9373 x1392 x597 x596 x1105 x525 x9861 x1697 x10230 x519 x10231 x3116 x10247 x5306 x3112 x5307 x3124 x5323
1800.26	v x4395 x4399 x1570 x4403 x1571 x247 x8305 x2047 x1572 x5103 x2051 x1588 x8890 x5107 x4386 x8911 x5111 x4207 x8907 x8445 x8906
1800.26	v x8447 x4213 x8453 x8449 x5976 x8461 x3687 x6071 x3688 x6076 x1555 x2495 x6503 x2751 x6504 x2755 x2491 x10435 x8603 x5145
1800.26	v x9600 x5144 x10443 x5161 x2211 x416 x7620 x412 x2601 x6140 x2617 x8532 x6141 x774 x8536 x8006 x6157 x10455 x10010 x8010 x8014
1800.26	v x6471 x1431 x10472 x6472 x1159 x9882 x6806 x1155 x6807 x3909 x1167 x9890 x4907 x3930 x6549 x6402 x3926 x6418 x694 x4972 x4973
1800.26	v x692 x8773 x4974 x2251 x8769 x4990 x8781 x10111 x1822 x1834 x1797 x10119 x5842 x1813 x8201 x5848 x8217 x5844 x2270 x5856
1800.26	v x9927 x9928 x7085 x3965 x569 x7089 x570 x2442 x8936 x5993 x6005 x3286 x1418 x7517 x3307 x1413 x7518 x3303 x8367 x6615 x1411
1800.26	v x8366 x7741 x6627 x8097 x8101 x8105 x2835 x594 x2847 x9853 x2851 x595 x9865 x6360 x2347 x10251 x3111 x2351 x5578 x3132 x2355
1800.26	v x5327 x2946 x4390 x4391 x1655 x4407 x1659 x239 x2039 x1592 x251 x8908 x5098 x2055 x8910 x5099 x5115 x4209 x5966 x4214 x8448
1800.26	v x5972 x8469 x5968 x8465 x5980 x8503 x8464 x3703 x6072 x3704 x6068 x5700 x1556 x6079 x7114 x2752 x1557 x2756 x1558 x8605 x7617
1800.26	v x5164 x10430 x5165 x7621 x5160 x627 x7619 x4870 x629 x2621 x8523 x4878 x8524 x6161 x4882 x8540 x5802 x4886 x8002 x4885 x1427
1800.26	v x8018 x3789 x1423 x1435 x1154 x9877 x3792 x739 x9878 x6827 x4903 x9894 x4899 x4164 x6422 x4911 x4551 x5246 x4555 x7985 x2242
1800.26	v x8768 x4994 x2243 x8789 x5827 x2259 x8785 x1821 x10106 x5397 x1842 x10107 x1838 x1817 x10123 x8220 x8221 x5843 x8216 x5864
1800.26	v x2269 x7079 x2273 x8214 x7078 x7086 x3967 x7090 x7130 x1138 x2441 x6013 x85 x6009 x89 x995 x6766 x6614 x7256 x1412 x9041 x8092
1800.26	v x8093 x3189 x2837 x3273 x2838 x2839 x9873 x2855 x1448 x9869 x6356 x2936 x6352 x2935 x1979 x6364 x2343 x1983 x5570 x2943 x5582
1800.26	v x2947 x8557 x2951 x1646 x2950 x1647 x238 x7316 x1663 x259 x9315 x8909 x255 x9311 x6178 x9323 x5119 x6911 x4204 x6915 x4210
1800.26	v x6919 x4206 x8468 x5967 x4218 x3702 x2891 x3701 x8498 x8462 x8499 x8463 x5702 x1548 x6083 x1559 x7115 x2748 x8606 x7618 x5162
1800.26	v x7622 x8610 x8608 x628 x2575 x4872 x2576 x645 x4873 x2592 x2118 x8544 x5798 x4874 x5794 x4890 x737 x5806 x3785 x6124 x3781
1800.26	v x740 x3793 x1439 x738 x8405 x9898 x4898 x4160 x4919 x4156 x4113 x4543 x4168 x4117 x5546 x5241 x4121 x7981 x5242 x8630 x7977
1800.26	v x5258 x8788 x7989 x2263 x8995 x5819 x8999 x5831 x5393 x10126 x8219 x5389 x10127 x8218 x10122 x10120 x3957 x2271 x2275 x8215
1800.26	v x7080 x7081 x3968 x2277 x7082 x2278 x7132 x7098 x1130 x2443 x1142 x7137 x80 x991 x81 x987 x6765 x9915 x7255 x3258 x3260 x3266
1800.26	v x3262 x3188 x3274 x6521 x3194 x2859 x1447 x14 x1468 x18 x1464 x1978 x1463 x2937 x2363 x1982 x5590 x2938 x5586 x2939 x8549
1800.26	v x7303 x7304 x1667 x7320 x6165 x1662 x6166 x3620 x6182 x1660 x9327 x2822 x6906 x6907 x4953 x4205 x4949 x4226 x5032 x4961 x5692
1800.26	v x5036 x2890 x8841 x1547 x7105 x5703 x1567 x7111 x1563 x8852 x7107 x2759 x7116 x2760 x8607 x7630 x5163 x8611 x7626 x7625 x1206
1800.26	v x2104 x2105 x2596 x2106 x7208 x4893 x2122 x5793 x4894 x733 x7216 x5814 x729 x5810 x3780 x741 x6116 x5809 x6128 x3797 x8404
1800.26	v x4916 x4918 x4155 x4176 x4172 x4109 x5548 x4125 x4043 x7976 x5262 x8629 x7997 x5553 x7993 x5818 x5839 x3145 x10124 x8991
1800.26	v x5835 x9007 x5834 x5405 x2264 x2272 x3956 x2276 x3958 x2280 x3964 x2279 x6275 x3960 x7102 x3972 x7097 x2440 x1150 x7133 x2444
1800.26	v x7129 x7095 x2448 x7141 x3856 x986 x10301 x3852 x1007 x9903 x6767 x10309 x7257 x7262 x6769 x6770 x3261 x6508 x3282 x3190
1800.26	v x6509 x3278 x6525 x3195 x5 x6 x4932 x22 x1980 x1461 x1984 x8671 x5228 x1462 x8548 x5226 x10065 x8569 x6022 x8565 x7324 x6026
1800.26	v x8682 x6030 x6186 x3619 x2813 x1661 x2814 x4223 x2830 x6927 x5022 x4225 x5023 x4722 x5024 x5040 x2892 x5691 x5693 x2897 x8840
1800.26	v x5699 x8842 x5695 x7106 x5706 x3020 x8844 x7124 x8853 x7120 x8619 x7629 x8615 x8614 x1205 x1055 x1209 x8121 x4892 x7202 x4891
1800.26	v x8126 x7203 x7204 x728 x8129 x7220 x749 x6115 x745 x8400 x6224 x6136 x6132 x8406 x7765 x4128 x290 x5541 x4129 x5543 x4124
1800.26	v x4035 x5549 x4047 x8631 x5545 x4122 x5557 x3141 x9010 x3137 x9011 x9006 x5832 x3454 x6959 x5833 x2266 x3460 x2267 x2268 x7593
1800.26	v x6278 x2284 x6277 x3959 x7931 x7935 x3976 x7939 x1014 x2436 x1018 x9418 x2452 x9417 x7145 x3851 x10296 x6764 x3872 x10297
1800.26	v x10019 x6768 x10313 x10015 x6772 x7258 x6771 x7254 x5752 x7266 x3281 x8378 x3185 x8382 x6529 x3191 x8386 x3584 x3187 x4928
1800.26	v x4280 x26 x4924 x114 x5217 x1981 x5229 x1985 x1989 x10061 x8670 x10057 x8672 x6017 x10069 x8678 x6018 x8674 x6034 x8686 x3621
1800.26	v x3170 x2222 x2834 x2226 x2230 x1506 x4721 x2177 x5044 x1184 x2887 x2372 x1180 x2893 x2376 x2889 x5694 x2901 x5714 x3015 x8843
1800.26	v x5710 x3019 x5709 x348 x8857 x349 x8618 x7627 x8612 x1207 x1056 x8114 x1211 x8116 x1064 x8122 x8118 x3434 x8130 x7224 x6250
1800.26	v x3437 x6251 x6220 x8402 x6216 x3527 x6228 x3531 x8407 x3535 x7766 x4126 x7762 x292 x4034 x4055 x5544 x4051 x8632 x5649 x5565
1800.26	v x5653 x5561 x5657 x3157 x1676 x3455 x3459 x6958 x3463 x8580 x3462 x6266 x2288 x7613 x6282 x2283 x7609 x7608 x134 x7927 x9405
1800.26	v x7943 x1013 x9406 x2456 x1017 x9422 x2451 x6759 x4233 x10317 x6760 x10035 x6776 x1753 x10031 x7253 x7274 x5744 x5756 x3577
1800.26	v x8373 x3573 x8374 x3585 x3186 x8390 x3207 x4279 x3203 x110 x4944 x106 x118 x8876 x1976 x6940 x5233 x1977 x8482 x1993 x10056
1800.26	v x10077 x6319 x8673 x6038 x5528 x5532 x5365 x3618 x3622 x3166 x1719 x3162 x2217 x1718 x3174 x2218 x1502 x2234 x1726 x1498
1800.26	v x1730 x1308 x4723 x2176 x1179 x2888 x2368 x2909 x2905 x3017 x2904 x338 x3021 x339 x5707 x353 x8616 x7628 x1202 x6238 x1049
1800.26	v x6237 x1208 x1051 x1212 x1052 x6245 x1216 x8117 x6249 x3430 x8138 x6253 x3426 x6252 x3438 x7855 x6215 x7836 x6236 x3522 x8403
1800.26	v x6232 x3523 x8399 x6231 x3539 x8411 x5877 x7782 x5881 x293 x7778 x3993 x3552 x301 x8628 x5564 x3556 x8624 x5644 x8636 x5645
1800.26	v x2010 x2534 x2014 x1671 x3449 x1672 x6954 x3450 x1688 x9498 x3451 x10090 x9494 x6960 x8579 x6047 x6286 x6051 x9565 x3245
1800.26	v x7606 x135 x63 x1015 x143 x9426 x8823 x1019 x8819 x8831 x6779 x4232 x1021 x6780 x1022 x6775 x4238 x1752 x5743 x7576 x6773
1800.26	v x5760 x3572 x8330 x7579 x5449 x8394 x5453 x3589 x8874 x8389 x2297 x4281 x105 x8877 x7547 x8875 x122 x6931 x2555 x8478 x6932
1800.26	v x2559 x8474 x6948 x8486 x6307 x9066 x6323 x5519 x9078 x5520 x5361 x9961 x5536 x5357 x3614 x3161 x9219 x3182 x3178 x2238 x1720
1800.26	v x9176 x1721 x1518 x1722 x1514 x1309 x2178 x1738 x1513 x8937 x4724 x8939 x4720 x8945 x2908 x8941 x3010 x8953 x3404 x3018 x356
1800.26	v x3408 x3022 x357 x5708 x3023 x4532 x3024 x8617 x2063 x1201 x9447 x1203 x6239 x1204 x6240 x1220 x708 x6241 x3425 x712 x6257
1800.26	v x3446 x3672 x7854 x3676 x7832 x7828 x3542 x266 x8398 x3543 x5868 x3538 x2509 x8415 x5869 x7863 x5885 x288 x10212 x3989 x289
1800.26	v x10136 x3985 x10140 x8623 x3548 x10144 x8644 x2001 x8640 x2530 x2002 x2526 x2018 x1363 x6195 x2538 x6191 x5622 x10086 x9493
1800.26	v x6953 x10082 x9514 x6955 x10094 x8581 x6961 x6957 x6042 x6969 x6043 x9564 x6059 x3237 x3249 x130 x60 x131 x64 x1016 x147 x68
1800.26	v x8818 x1020 x67 x8839 x6379 x1024 x8835 x1023 x8834 x4234 x4239 x1754 x7568 x6774 x7580 x8322 x5444 x8870 x8334 x5445 x8866
1800.26	v x5461 x2292 x8878 x4282 x2293 x4286 x2309 x7543 x4285 x7559 x2550 x8473 x6952 x2551 x6435 x2567 x202 x9065 x8490 x6327 x9086
1800.26	v x6865 x210 x9957 x5540 x5356 x9953 x9174 x5377 x9965 x5373 x9211 x9177 x9223 x9175 x1741 x1300 x1742 x1301 x2179 x1737 x1317
1800.26	v x2182 x1735 x8940 x4736 x2180 x8961 x3012 x354 x3406 x3013 x3410 x3014 x4619 x3028 x4531 x2062 x1280 x1284 x9448 x1223 x1224
1800.26	v x6736 x1219 x703 x6261 x704 x6256 x3663 x1217 x3664 x7856 x3680 x7861 x7848 x265 x7844 x2505 x7864 x7843 x2501 x7862 x5889
1800.26	v x2513 x10207 x5884 x10211 x10130 x10131 x5496 x10132 x3568 x10148 x1350 x9138 x2525 x1351 x9137 x4853 x6190 x2542 x8570
1800.26	v x5621 x10081 x9149 x10102 x8578 x10098 x8582 x6956 x8586 x3316 x1531 x6973 x6063 x3236 x9566 x6972 x3324 x3323 x3253 x8145
1800.26	v x55 x56 x7233 x1011 x1012 x7241 x6378 x1744 x4227 x4229 x2147 x4235 x4231 x1755 x7958 x7588 x808 x8321 x7584 x812 x8342 x5464
1800.26	v x816 x8338 x5465 x4272 x8886 x4273 x1604 x8882 x4274 x2313 x8881 x4290 x1776 x1780 x10605 x1784 x10609 x6431 x2571 x6427
1800.26	v x5336 x197 x6439 x5340 x198 x6857 x5344 x3220 x9952 x6869 x1934 x9973 x9166 x9210 x9178 x9231 x1740 x9227 x1739 x9226 x2175
1800.26	v x1321 x2171 x1476 x2183 x1736 x1481 x3400 x9265 x3399 x9269 x9273 x3407 x3031 x3411 x3032 x4611 x3412 x3027 x4533 x3413 x2064
1800.26	v x1276 x1076 x9444 x1275 x9440 x1292 x9452 x6738 x32 x9809 x724 x5592 x1218 x3684 x6744 x5598 x7857 x6745 x7853 x5603 x267
1800.26	v x7865 x2500 x7841 x10209 x7842 x10213 x10151 x5498 x10152 x318 x10147 x4189 x314 x4848 x9139 x4849 x9140 x5623 x3034 x9141
1800.26	v x8572 x9157 x8573 x4464 x8574 x3310 x1527 x8590 x3311 x1523 x3312 x1535 x9567 x6970 x8144 x6971 x2799 x76 x7228 x1031 x7229
1800.26	v x1032 x7245 x6380 x1743 x2149 x1745 x4230 x4251 x2154 x1747 x7957 x4247 x1759 x5463 x1594 x5462 x804 x8883 x8885 x4293 x1605
1800.26	v x4294 x8879 x1771 x1608 x1772 x1606 x10600 x9101 x374 x10601 x6426 x373 x10617 x9658 x6447 x6856 x6443 x5332 x6877 x5348
1800.26	v x3212 x6873 x3224 x1935 x9186 x4699 x1939 x9230 x9182 x4703 x9181 x4707 x9224 x2170 x9225 x2191 x2187 x1477 x7665 x2186 x1473
1800.26	v x1485 x9260 x7668 x9261 x7666 x3401 x3029 x9277 x3402 x4610 x3403 x6485 x4530 x3417 x4624 x4534 x5288 x2065 x1077 x9438 x1296
1800.26	v x1081 x2073 x1291 x9804 x6739 x34 x9808 x6743 x6747 x6746 x5591 x5593 x5599 x7873 x5595 x268 x7869 x272 x7868 x276 x275 x10210
1800.26	v x10150 x10214 x10149 x10218 x5499 x5503 x313 x5507 x4181 x334 x5506 x330 x4868 x4347 x4869 x5624 x9161 x3033 x5632 x4465
1800.26	v x3035 x1522 x3037 x2797 x1543 x9563 x3332 x9559 x2800 x2798 x10707 x8146 x6986 x1029 x10710 x6982 x6994 x7244 x6381 x7242
1800.26	v x4248 x4250 x2150 x1746 x2146 x1767 x7959 x2158 x1763 x3346 x1593 x7906 x1595 x1601 x9099 x1597 x1609 x9102 x361 x9100 x362
1800.26	v x7040 x378 x10621 x7064 x9650 x5727 x9662 x5352 x3211 x9183 x3232 x1926 x9185 x3228 x1927 x4694 x1233 x4695 x1237 x9179 x4711
1800.26	v x1241 x5894 x9180 x5910 x7653 x10183 x7655 x2414 x7661 x10662 x7657 x1493 x7669 x1489 x3760 x3764 x3768 x3420 x610 x3421
1800.26	v x614 x6477 x3416 x615 x6486 x4526 x5287 x2061 x1089 x3739 x2060 x1085 x3743 x2077 x3742 x9806 x6734 x35 x9810 x6735 x39 x6751
1800.26	v x9812 x9813 x5594 x7291 x5615 x263 x264 x7866 x2319 x654 x666 x10205 x4574 x1254 x10206 x1266 x10485 x10222 x10489 x5495
1800.26	v x10493 x5511 x4201 x4197 x7793 x4349 x4196 x4453 x4455 x5620 x4461 x5636 x4457 x4469 x3036 x2793 x7419 x3057 x2789 x7423
1800.26	v x2801 x9579 x833 x10703 x837 x10699 x841 x10711 x8147 x6981 x8143 x7002 x8155 x6998 x6376 x6377 x7243 x6393 x2678 x3345 x3349
1800.26	v x2166 x7960 x3348 x2162 x2161 x9087 x5678 x9089 x7905 x5682 x1596 x9091 x1617 x9103 x7187 x1613 x7191 x1612 x7036 x7061 x7032
1800.26	v x7065 x7044 x5723 x9670 x7069 x5719 x9666 x9184 x5731 x10411 x3366 x3370 x1947 x3374 x1228 x4715 x1229 x5927 x1245 x2408
1800.26	v x3488 x2407 x10182 x2415 x7656 x2419 x10654 x7677 x2423 x10666 x7673 x8177 x7672 x2989 x3756 x3001 x4805 x3772 x605 x4809
1800.26	v x606 x10044 x4810 x4537 x10048 x6490 x4538 x5289 x3731 x950 x3730 x2081 x954 x7696 x3747 x958 x957 x9807 x7162 x30 x9811 x6755
1800.26	v x31 x9815 x4015 x9814 x4999 x7278 x5015 x7279 x7295 x4490 x653 x3717 x2321 x674 x10514 x1253 x670 x10518 x4573 x1274 x10226
1800.26	v x1270 x5514 x494 x10481 x5515 x10497 x7789 x5510 x10553 x7792 x5508 x4350 x5640 x4456 x9828 x4746 x4477 x9840 x2788 x2465
1800.26	v x8653 x6718 x2461 x8657 x7415 x2473 x8661 x7431 x828 x10698 x829 x5200 x845 x10715 x8142 x6669 x10714 x6665 x902 x8159 x6677
1800.26	v x908 x6397 x6392 x2677 x862 x3337 x2165 x3353 x865 x7952 x2914 x5670 x8427 x7907 x9090 x1616 x5418 x7179 x7195 x5426 x1610
1800.26	v x776 x1611 x775 x7057 x7048 x5718 x9382 x5739 x5735 x787 x10410 x3361 x791 x4303 x3362 x7442 x4299 x3378 x1249 x5919 x3475
1800.26	v x2633 x5931 x3476 x4417 x3492 x2409 x10184 x2410 x1952 x10653 x2411 x10189 x2427 x10670 x8179 x4426 x3009 x9543 x3776 x3005
1800.26	v x5132 x225 x4801 x624 x8185 x4815 x230 x10040 x8186 x5290 x3750 x10758 x5294 x3751 x7716 x5298 x962 x7712 x7158 x10535 x9802
1800.26	v x7154 x10539 x9803 x7166 x10543 x9819 x4017 x10542 x1873 x7299 x4486 x7485 x4482 x4020 x7489 x4494 x3709 x2322 x492 x10506
1800.26	v x3721 x2326 x4575 x2330 x495 x5512 x493 x10500 x10501 x7788 x7378 x7382 x7794 x4342 x10552 x10554 x2720 x9827 x10556 x9848
1800.26	v x4748 x9844 x6714 x2460 x8648 x6710 x2481 x8649 x6722 x2477 x8665 x4754 x2734 x5196 x4755 x849 x9751 x5192 x898 x9752 x10712
1800.26	v x6685 x904 x3884 x10713 x909 x858 x2968 x2679 x854 x3357 x2972 x866 x7897 x3069 x2976 x9290 x7972 x2913 x9286 x7903 x2934
1800.26	v x2930 x7908 x3072 x2929 x8428 x5412 x8424 x7198 x5413 x7199 x5414 x7194 x5430 x7192 x777 x9384 x778 x779 x395 x10412 x399
1800.26	v x4298 x3382 x7441 x4319 x3377 x5918 x10586 x5939 x2634 x4419 x3491 x4424 x2430 x1972 x10185 x2431 x1968 x10181 x8172 x4427
1800.26	v x10193 x4425 x9541 x8180 x9545 x8184 x5128 x8188 x5124 x8187 x226 x3394 x10052 x10759 x10760 x3748 x5302 x4007 x961 x10529
1800.26	v x7153 x10530 x7174 x959 x10531 x9823 x7170 x10547 x9818 x4018 x9816 x4021 x1872 x4019 x8800 x7481 x4498 x488 x3729 x2317
1800.26	v x484 x10526 x2318 x496 x10326 x4576 x10498 x10334 x7790 x7404 x7373 x7374 x4341 x7795 x7390 x4362 x4358 x7798 x10555 x2719
1800.26	v x10576 x4749 x2721 x10572 x6709 x4753 x10571 x4757 x2723 x8669 x4756 x2735 x9754 x9753 x6840 x6844 x897 x3881 x899 x3885
1800.26	v x905 x3889 x2672 x901 x913 x853 x2963 x2680 x874 x2964 x2684 x870 x3070 x2980 x9285 x7896 x9306 x7898 x3073 x7904 x3071 x7900
1800.26	v x2927 x7196 x8444 x3639 x2928 x8440 x8033 x5429 x7193 x5427 x10406 x10405 x9385 x798 x799 x387 x10413 x9393 x403 x10417 x9392
1800.26	v x10582 x10421 x7443 x2630 x10585 x7448 x2626 x2638 x7451 x4414 x7449 x4420 x2428 x8706 x4416 x9536 x4428 x9535 x8174 x9542
1800.26	v x8175 x9546 x8176 x3383 x9550 x8192 x3385 x3390 x222 x234 x10761 x3749 x5301 x4006 x10550 x4008 x960 x10551 x4014 x4010 x1868
1800.26	v x4022 x8240 x1874 x8244 x8799 x3726 x3728 x504 x4572 x2338 x500 x10321 x4568 x499 x10322 x4580 x10338 x7400 x7783 x7785 x7403
1800.26	v x4359 x7791 x4361 x7787 x7389 x7799 x10573 x10575 x4743 x4744 x4745 x2722 x10569 x9631 x4761 x9742 x9758 x6831 x6832 x9707
1800.26	v x5770 x3876 x3877 x900 x3893 x921 x3058 x2674 x917 x3060 x2675 x916 x3066 x2984 x2676 x3062 x2692 x5476 x3074 x7899 x8441
1800.26	v x8443 x7916 x8029 x7915 x3655 x443 x8032 x5428 x4834 x9379 x796 x9380 x10407 x9381 x10408 x9397 x10409 x10581 x10425 x7438
1800.26	v x7444 x2625 x10587 x7440 x2646 x7452 x2642 x4415 x10590 x8707 x4436 x4432 x4431 x9537 x9538 x8195 x8196 x8191 x3386 x233
1800.26	v x8189 x3398 x10549 x10548 x1864 x4009 x4030 x2867 x1870 x4026 x2871 x4025 x1875 x8236 x3727 x8801 x1878 x10398 x4567 x4588
1800.26	v x497 x10342 x9678 x7399 x4781 x9682 x7405 x7786 x9684 x7807 x9685 x1913 x4764 x4765 x9761 x9630 x4760 x9762 x9634 x9757 x4758
1800.26	v x6852 x9706 x9470 x5772 x918 x3897 x920 x3892 x3890 x2695 x9612 x3061 x2696 x3082 x2691 x5475 x3078 x3077 x2689 x8028 x7913
1800.26	v x438 x442 x8034 x4835 x4833 x9400 x8037 x9727 x9401 x10428 x9396 x10429 x10583 x10424 x9394 x7439 x10588 x10422 x7460 x8695
1800.26	v x7456 x10591 x8697 x7455 x10589 x4435 x8699 x8711 x8194 x4429 x8193 x9553 x4430 x183 x9554 x3395 x3397 x8190 x10762 x3832
1800.26	v x4029 x1863 x2868 x1865 x2872 x1871 x8797 x4023 x1867 x1879 x10393 x8802 x10397 x4766 x4768 x9672 x9671 x4770 x4782 x9679
1800.26	v x7401 x9683 x9687 x7804 x7406 x9686 x7806 x1912 x4763 x10382 x4762 x9759 x9632 x9636 x9702 x9708 x9638 x9472 x9476 x919 x5773
1800.26	v x9478 x5769 x9479 x2693 x9609 x3079 x9613 x3081 x9617 x5477 x3075 x2690 x8024 x5479 x4822 x3076 x8030 x4824 x440 x4836 x444
1800.26	v x8035 x9399 x8038 x9398 x8036 x9525 x10426 x9726 x9528 x7818 x10584 x7459 x10423 x10592 x10625 x10627 x8698 x8719 x8715
1800.26	v x9552 x8714 x9551 x182 x9462 x3834 x3836 x2863 x3837 x2864 x1866 x2880 x1887 x8798 x1883 x10395 x8794 x1882 x10399 x8806
1800.26	v x9793 x4769 x10401 x4790 x9673 x7395 x4786 x9796 x9674 x7397 x10683 x9675 x7402 x9691 x1914 x10379 x10381 x1916 x10640 x9633
1800.26	v x10644 x9637 x9704 x9641 x9640 x9709 x9473 x9477 x7469 x9712 x9481 x9710 x9480 x5789 x5467 x3080 x8055 x5466 x9605 x9621
1800.26	v x5478 x8061 x5482 x8062 x5481 x8023 x4823 x8025 x4844 x441 x8031 x4840 x445 x8027 x4839 x449 x8039 x448 x9521 x9724 x9526
1800.26	v x9728 x9529 x7814 x9527 x7819 x10580 x10596 x10624 x8716 x10626 x8718 x8712 x178 x8713 x184 x2132 x9461 x3835 x5378 x3839
1800.26	v x3838 x1884 x2884 x1886 x10755 x10389 x8793 x10396 x8814 x1880 x10400 x10404 x9794 x10403 x9797 x9795 x10681 x10685 x9695
1800.26	v x7398 x9690 x7410 x9688 x1915 x10635 x10383 x1918 x10634 x9628 x10641 x10385 x9629 x10645 x9698 x10649 x9700 x9645 x9705
1800.26	v x9467 x9468 x9713 x9469 x7471 x9485 x5788 x7473 x9624 x8307 x8056 x9625 x5468 x8310 x8064 x5469 x8063 x5470 x5486 x1626 x1630
1800.26	v x1634 x8083 x435 x436 x8026 x437 x8085 x8047 x453 x9719 x9515 x8043 x9718 x9517 x8042 x9522 x9725 x9729 x9530 x7808 x10281
1800.26	v x9733 x7810 x9732 x7815 x10593 x10595 x8717 x10628 x10764 x4439 x180 x4443 x10344 x185 x4445 x2131 x9463 x5380 x3843 x1885
1800.26	v x6108 x10756 x10391 x9783 x10392 x9785 x9790 x10676 x9798 x10675 x10682 x7407 x10686 x7409 x5439 x1906 x10376 x1907 x10384
1800.26	v x10388 x10636 x10387 x10637 x9644 x7461 x9701 x9488 x7468 x9717 x9489 x7472 x9716 x9484 x7476 x7475 x9482 x8306 x8051 x8227
1800.26	v x8052 x8312 x6288 x5490 x5485 x1622 x8080 x1638 x8084 x8088 x8044 x4795 x8087 x8046 x457 x452 x8040 x9720 x9518 x10277 x9721
1800.26	v x10283 x9737 x7811 x7823 x10623 x10622 x10765 x10629 x10633 x10632 x4440 x176 x4444 x181 x10343 x4448 x4447 x2133 x8343
1800.26	v x5384 x3846 x9464 x3847 x6104 x3842 x10745 x10747 x6110 x9786 x10677 x7408 x10678 x5438 x10694 x1921 x10378 x1922 x9486
1800.26	v x7463 x7464 x9714 x9715 x9483 x8308 x8222 x8071 x8226 x8072 x8313 x6287 x8316 x6289 x8075 x1642 x8076 x4792 x8045 x4794 x10279
1800.26	v x10284 x9736 x7820 x3899 x7822 x10287 x9734 x10285 x8597 x177 x10345 x7502 x193 x10349 x189 x7509 x2134 x8345 x6106 x6111
1800.26	v x10748 x2026 x5440 x10693 x2034 x2033 x10691 x8069 x8224 x8309 x8228 x8317 x6290 x4791 x4796 x10768 x10280 x3898 x10288
1800.26	v x10770 x8598 x190 x192 x10346 x10350 x9978 x7504 x7505 x2130 x7513 x2141 x6107 x7921 x8225 x8229 x4793 x9430 x3900 x8170
1800.26	v x9436 x191 x9980 x9982 x7512 x2137 x9432 x3901 x8171 x9437 x3904 x3902 x9981 x9985 x9984 x7510 x2135 x9433 x3905 x10771 x10772
1800.26	v x7511 x2136 -x9583 -x5147 -x4651 -x4504 -x879 -x9585 -x5151 -x4508 -x4652 -x4507 -x3804 -x2193 -x9586 -x4653 -x4509 -x3802
1800.26	v -x1039 -x4656 -x4590 -x4513 -x3803 -x2603 -x1037 -x756 -x418 -x4654 -x4589 -x4512 -x2607 -x1038 -x6143 -x4655 -x4591 -x4510
1800.26	v -x886 -x755 -x6147 -x5269 -x4594 -x4511 -x759 -x10458 -x6454 -x5268 -x9995 -x760 -x10726 -x5270 -x4597 -x10462 -x9996
1800.26	v -x6457 -x4595 -x1889 -x10725 -x7009 -x6809 -x5167 -x4596 -x3912 -x1888 -x1161 -x681 -x10729 -x6813 -x6458 -x6089 -x5172
1800.26	v -x1890 -x969 -x7008 -x6531 -x6404 -x6088 -x5275 -x5171 -x3915 -x1891 -x680 -x10730 -x6536 -x6408 -x6090 -x5946 -x5276
1800.26	v -x3916 -x2088 -x684 -x7684 -x7014 -x5945 -x5174 -x4131 -x2087 -x974 -x7685 -x7012 -x5175 -x4136 -x1893 -x973 -x685 -x10357
1800.26	v -x5947 -x5178 -x4976 -x4135 -x1894 -x971 -x7326 -x7013 -x5176 -x4980 -x2092 -x1895 -x972 -x10356 -x8968 -x8775 -x7325
1800.26	v -x7017 -x6642 -x6542 -x5177 -x2090 -x1109 -x10360 -x9764 -x6540 -x5950 -x2091 -x1108 -x9763 -x8967 -x7632 -x6645 -x6541
1800.26	v -x4630 -x4142 -x1828 -x1110 -x10361 -x7743 -x7637 -x6646 -x5953 -x4629 -x4140 -x1803 -x8973 -x8721 -x8203 -x7742 -x7636
1800.26	v -x4631 -x4141 -x558 -x8971 -x8726 -x8207 -x7744 -x7335 -x8725 -x7745 -x7333 -x5850 -x3498 -x2390 -x1116 -x557 -x10159
1800.26	v -x8972 -x7640 -x7334 -x3503 -x2389 -x1114 -x10158 -x9930 -x9771 -x8976 -x4637 -x3502 -x2391 -x1115 -x563 -x9934 -x9772
1800.26	v -x4635 -x2394 -x561 -x10160 -x9338 -x8732 -x7642 -x4636 -x153 -x8730 -x6596 -x3506 -x2767 -x2398 -x562 -x9337 -x8918 -x8731
1800.26	v -x4253 -x3509 -x2766 -x2698 -x2397 -x1400 -x566 -x10163 -x9341 -x4252 -x3507 -x2395 -x10165 -x8921 -x5999 -x4254 -x3508
1800.26	v -x3289 -x2768 -x2396 -x1399 -x10166 -x9342 -x8922 -x4257 -x4087 -x2770 -x161 -x7723 -x7520 -x5076 -x4086 -x3292 -x2705
1800.26	v -x164 -x8352 -x7524 -x3293 -x2771 -x2706 -x162 -x9018 -x8351 -x7722 -x6621 -x5075 -x4088 -x2773 -x2709 -x583 -x163 -x7726
1800.26	v -x2774 -x2707 -x1844 -x9017 -x8353 -x2708 -x1843 -x1373 -x582 -x9358 -x9021 -x7727 -x4091 -x1378 -x9357 -x4093 -x1377
1800.26	v -x588 -x506 -x9363 -x9022 -x4094 -x1850 -x586 -x9362 -x8358 -x5084 -x1699 -x1091 -x8359 -x6329 -x3595 -x1381 -x1090 -x587
1800.26	v -x9859 -x9368 -x7875 -x6328 -x3594 -x1698 -x1384 -x1092 -x591 -x9367 -x6687 -x6334 -x3596 -x1852 -x1702 -x1382 -x1095
1800.26	v -x9365 -x6686 -x6333 -x5309 -x4321 -x3597 -x3114 -x1383 -x517 -x10236 -x9366 -x6335 -x4320 -x3598 -x1703 -x515 -x5308
1800.26	v -x4322 -x3605 -x3117 -x1098 -x516 -x10237 -x8288 -x5312 -x4325 -x3599 -x3118 -x1096 -x8287 -x7886 -x4393 -x3600 -x1574
1800.26	v -x1097 -x459 -x7884 -x6337 -x5313 -x4397 -x4369 -x3601 -x8289 -x7885 -x4368 -x4328 -x2041 -x1573 -x245 -x6695 -x4326 -x2045
1800.26	v -x1577 -x6553 -x5101 -x4370 -x4327 -x6552 -x5105 -x4372 -x1578 -x470 -x9188 -x4373 -x468 -x8451 -x4375 -x469 -x4376 -x8901
1800.26	v -x5974 -x3690 -x3689 -x2483 -x9197 -x9195 -x6074 -x9196 -x10433 -x9582 -x5146 -x3814 -x878 -x10437 -x9587 -x5150 -x4503
1800.26	v -x3810 -x4505 -x3809 -x1044 -x414 -x4657 -x2192 -x9589 -x2602 -x887 -x635 -x417 -x9590 -x2606 -x885 -x8526 -x6888 -x6142
1800.26	v -x757 -x8530 -x6146 -x5264 -x4592 -x761 -x10457 -x8004 -x5263 -x9997 -x8008 -x4602 -x5271 -x4601 -x1429 -x1157 -x763 -x6459
1800.26	v -x764 -x10727 -x9999 -x9880 -x7692 -x7004 -x6808 -x3911 -x1160 -x10000 -x9884 -x7693 -x6812 -x5277 -x5166 -x10466 -x7688
1800.26	v -x7010 -x6461 -x6403 -x5168 -x4905 -x3917 -x1902 -x682 -x6530 -x6462 -x6407 -x5941 -x5173 -x686 -x10733 -x7686 -x7015
1800.26	v -x6532 -x6102 -x5940 -x1898 -x10734 -x5179 -x4130 -x7018 -x6098 -x5948 -x4975 -x4132 -x3920 -x2245 -x1896 -x688 -x7016
1800.26	v -x6543 -x4979 -x2249 -x689 -x10358 -x8963 -x8774 -x6641 -x6096 -x1824 -x10362 -x7327 -x4143 -x10109 -x8969 -x6647 -x1827
1800.26	v -x10113 -x7631 -x1802 -x10364 -x8202 -x7633 -x7340 -x5846 -x553 -x10365 -x8720 -x8206 -x1121 -x8977 -x8722 -x7756 -x6650
1800.26	v -x5849 -x1120 -x559 -x10154 -x8975 -x7757 -x4642 -x3497 -x10153 -x9929 -x7752 -x4641 -x3499 -x9933 -x8733 -x7750 -x567
1800.26	v -x2762 -x2402 -x565 -x152 -x8917 -x5995 -x2761 -x2401 -x9343 -x2697 -x6609 -x5998 -x3288 -x2699 -x1401 -x6610 -x4255 -x4082
1800.26	v -x2772 -x9345 -x7519 -x6617 -x6605 -x5071 -x4081 -x3294 -x2776 -x9346 -x8347 -x7523 -x2775 -x8926 -x8346 -x7724 -x6620
1800.26	v -x6603 -x5077 -x578 -x7728 -x1408 -x9047 -x9019 -x8354 -x8095 -x3297 -x584 -x9023 -x8099 -x4095 -x1372 -x7730 -x5085 -x1374
1800.26	v -x9359 -x7731 -x5083 -x505 -x9855 -x9360 -x9025 -x2841 -x507 -x9026 -x2845 -x1385 -x590 -x9858 -x9372 -x1700 -x1454 -x7874
1800.26	v -x6330 -x1704 -x7876 -x6358 -x3608 -x3113 -x2345 -x10238 -x6688 -x3609 -x2349 -x5576 -x5310 -x3604 -x3119 -x1706 -x1102
1800.26	v -x8283 -x7887 -x5314 -x1707 -x10240 -x8282 -x4392 -x3602 -x1649 -x241 -x10241 -x4364 -x1653 -x458 -x8888 -x5316 -x4363
1800.26	v -x4332 -x3122 -x2040 -x1575 -x460 -x244 -x5317 -x2044 -x1579 -x9317 -x5100 -x4371 -x5104 -x471 -x4378 -x1581 -x4377 -x1582
1800.26	v -x8450 -x5970 -x4212 -x5973 -x9202 -x8501 -x6070 -x8505 -x2482 -x8459 -x6073 -x1554 -x2750 -x3694 -x10432 -x7615 -x5148
1800.26	v -x3813 -x1047 -x876 -x10436 -x9588 -x5152 -x1048 -x9592 -x4520 -x3807 -x1043 -x631 -x413 -x9591 -x888 -x751 -x6884 -x4660
1800.26	v -x4516 -x3808 -x2604 -x2578 -x1041 -x750 -x634 -x419 -x9987 -x2608 -x2582 -x10453 -x9986 -x8525 -x6887 -x6144 -x4876 -x4603
1800.26	v -x4514 -x8529 -x6449 -x6148 -x4880 -x2209 -x762 -x10459 -x8003 -x6448 -x5800 -x2610 -x2208 -x1425 -x422 -x10721 -x9998
1800.26	v -x8007 -x5265 -x2611 -x10720 -x10002 -x7691 -x6150 -x5266 -x4599 -x3907 -x3787 -x1428 -x1156 -x10001 -x7690 -x6460 -x6151
1800.26	v -x676 -x10467 -x9879 -x6810 -x5282 -x4901 -x4600 -x3913 -x1901 -x1162 -x675 -x10465 -x9883 -x7003 -x6814 -x6463 -x1900
1800.26	v -x7005 -x6405 -x6101 -x4904 -x4545 -x4162 -x981 -x683 -x10735 -x7011 -x6409 -x6100 -x4549 -x982 -x7687 -x7007 -x6816 -x5244
1800.26	v -x3921 -x2100 -x1165 -x977 -x10352 -x7019 -x6817 -x6533 -x5248 -x5183 -x3919 -x690 -x10351 -x7983 -x6637 -x6411 -x5182
1800.26	v -x4977 -x2244 -x2096 -x1897 -x975 -x6547 -x6412 -x4981 -x4133 -x2248 -x10359 -x8776 -x6643 -x6546 -x6097 -x5825 -x2094
1800.26	v -x1823 -x10363 -x8962 -x10367 -x10108 -x8964 -x7343 -x6648 -x5395 -x4983 -x1829 -x1122 -x10366 -x10112 -x4984 -x1804
1800.26	v -x1124 -x8779 -x7755 -x7339 -x6651 -x5845 -x4643 -x7754 -x7634 -x6649 -x4645 -x552 -x7337 -x5851 -x1832 -x1806 -x1118
1800.26	v -x554 -x7648 -x1807 -x9931 -x8741 -x7647 -x4639 -x2403 -x1119 -x10155 -x9935 -x9333 -x8211 -x3500 -x2405 -x9332 -x8913
1800.26	v -x7751 -x7084 -x5854 -x4640 -x7088 -x1395 -x9937 -x8919 -x6608 -x5994 -x3513 -x3284 -x2399 -x1394 -x1136 -x9938 -x6607
1800.26	v -x2763 -x9348 -x6000 -x4266 -x3290 -x2400 -x1402 -x83 -x9347 -x7718 -x4268 -x2700 -x169 -x87 -x8927 -x7717 -x7521 -x6616
1800.26	v -x2718 -x993 -x168 -x9013 -x8925 -x7525 -x5070 -x4083 -x9043 -x9012 -x6622 -x6604 -x6003 -x5072 -x4262 -x3298 -x2713 -x8348
1800.26	v -x3296 -x577 -x9046 -x9020 -x8094 -x7527 -x4263 -x4100 -x579 -x9024 -x8098 -x7732 -x7528 -x5086 -x9028 -x3268 -x1861 -x9027
1800.26	v -x1694 -x1375 -x9854 -x2840 -x1857 -x1693 -x1450 -x10228 -x2844 -x10227 -x9860 -x9371 -x6354 -x3607 -x3109 -x1855 -x1453
1800.26	v -x1388 -x5304 -x3606 -x1705 -x9369 -x6357 -x6346 -x5572 -x5303 -x3115 -x2344 -x1709 -x2348 -x1708 -x10243 -x9863 -x6704
1800.26	v -x6342 -x5575 -x4334 -x2941 -x1100 -x10242 -x6705 -x4336 -x2945 -x8555 -x7890 -x7306 -x6340 -x4394 -x3603 -x3123 -x1648
1800.26	v -x1101 -x240 -x7310 -x5318 -x3121 -x1652 -x9313 -x6698 -x6168 -x4330 -x2042 -x246 -x8887 -x6172 -x4365 -x2046 -x1580 -x9316
1800.26	v -x8889 -x5102 -x4400 -x4331 -x479 -x5106 -x4401 -x1583 -x475 -x8446 -x6909 -x6566 -x4208 -x2048 -x474 -x249 -x6913 -x2049
1800.26	v -x10258 -x8452 -x5969 -x5108 -x4955 -x4211 -x10262 -x5109 -x3686 -x9205 -x5975 -x9206 -x9201 -x8500 -x6563 -x1550 -x8504
1800.26	v -x8458 -x9199 -x6075 -x5978 -x1553 -x7113 -x3821 -x2749 -x3825 -x10434 -x9581 -x7614 -x4662 -x4519 -x3811 -x1045 -x409
1800.26	v -x10438 -x4664 -x4518 -x2598 -x875 -x6801 -x2597 -x630 -x415 -x6138 -x10440 -x6883 -x6797 -x6137 -x4658 -x2577 -x2108
1800.26	v -x1042 -x891 -x636 -x420 -x10441 -x4604 -x2581 -x2112 -x752 -x8527 -x6889 -x6795 -x6145 -x5796 -x4875 -x4659 -x4515 -x423
1800.26	v -x10452 -x9988 -x8531 -x4879 -x2612 -x421 -x10454 -x8005 -x5799 -x3783 -x2206 -x1424 -x1152 -x735 -x639 -x8009 -x6804
1800.26	v -x6450 -x6152 -x8533 -x6892 -x6803 -x6122 -x5285 -x3786 -x2207 -x1430 -x1158 -x10722 -x8534 -x6399 -x5286 -x3906 -x9881
1800.26	v -x8011 -x6811 -x6398 -x5281 -x4900 -x4158 -x3908 -x980 -x9885 -x8012 -x6815 -x979 -x677 -x6819 -x6406 -x5279 -x5184 -x4906
1800.26	v -x4544 -x4161 -x4111 -x2099 -x1433 -x1166 -x7006 -x6818 -x5186 -x4971 -x4548 -x4115 -x2098 -x1164 -x9887 -x8766 -x7979
1800.26	v -x7027 -x5243 -x4970 -x9888 -x7023 -x6413 -x5247 -x7982 -x7022 -x5962 -x5821 -x5180 -x4909 -x4148 -x2246 -x1819 -x976
1800.26	v -x10353 -x6636 -x4150 -x2250 -x1794 -x10354 -x8993 -x7342 -x6638 -x6544 -x5824 -x5391 -x5181 -x2095 -x1825 -x1793 -x10355
1800.26	v -x8997 -x8198 -x7341 -x6644 -x4985 -x1123 -x10371 -x10110 -x9780 -x8780 -x8197 -x6640 -x6545 -x5841 -x5394 -x2252 -x1830
1800.26	v -x10114 -x8965 -x8778 -x6652 -x4644 -x2253 -x1805 -x8986 -x7649 -x5847 -x1833 -x1809 -x9925 -x7651 -x1831 -x1808 -x10116
1800.26	v -x9924 -x9242 -x8981 -x8738 -x7338 -x10117 -x8740 -x2404 -x9932 -x7645 -x5855 -x3515 -x9936 -x5853 -x3517 -x10175 -x9940
1800.26	v -x7646 -x5990 -x1132 -x9939 -x9334 -x8912 -x10171 -x8914 -x5996 -x3511 -x1135 -x170 -x7515 -x4267 -x3283 -x172 -x10169
1800.26	v -x7514 -x7135 -x6612 -x6001 -x3512 -x3285 -x2783 -x2715 -x989 -x82 -x8928 -x2717 -x86 -x9905 -x6618 -x6004 -x3858 -x2779
1800.26	v -x992 -x166 -x9909 -x7719 -x6002 -x9042 -x7720 -x4103 -x2777 -x2711 -x167 -x9014 -x7529 -x9048 -x9015 -x8096 -x5094 -x4099
1800.26	v -x3264 -x2712 -x1860 -x9016 -x8100 -x1859 -x580 -x9850 -x9032 -x8364 -x6511 -x5089 -x4097 -x3267 -x601 -x6515 -x9856 -x9051
1800.26	v -x8362 -x8102 -x2842 -x1449 -x523 -x8 -x8103 -x2846 -x1695 -x12 -x6353 -x6345 -x1856 -x1696 -x1455 -x1386 -x10229 -x6344
1800.26	v -x3108 -x9864 -x9370 -x7892 -x6703 -x6359 -x5571 -x3110 -x2848 -x2346 -x1713 -x1387 -x9862 -x7894 -x6702 -x5305 -x4388
1800.26	v -x4335 -x2849 -x2350 -x8551 -x5577 -x4387 -x2940 -x1458 -x520 -x236 -x2944 -x2036 -x8554 -x7888 -x7305 -x6362 -x6341 -x2352
1800.26	v -x2035 -x1650 -x242 -x7309 -x5096 -x2353 -x1654 -x9312 -x8304 -x7889 -x6699 -x6167 -x5580 -x5095 -x2043 -x476 -x6171 -x4402
1800.26	v -x478 -x9318 -x8300 -x4385 -x2816 -x1656 -x250 -x6567 -x2820 -x2050 -x1657 -x248 -x8298 -x6908 -x5965 -x4951 -x4381 -x472
1800.26	v -x6912 -x5110 -x10257 -x9321 -x9204 -x5971 -x5026 -x4954 -x4379 -x473 -x10261 -x9203 -x5030 -x6065 -x8502 -x5979 -x4216
1800.26	v -x1549 -x8506 -x5977 -x9200 -x7109 -x5701 -x3700 -x2493 -x8850 -x8508 -x7112 -x6077 -x3820 -x8509 -x6078 -x3824 -x9599
1800.26	v -x7616 -x6800 -x4663 -x3812 -x1046 -x893 -x626 -x10439 -x6799 -x895 -x408 -x9595 -x6879 -x632 -x410 -x10442 -x8521 -x2599
1800.26	v -x9593 -x8520 -x6885 -x2600 -x2579 -x2107 -x889 -x637 -x7999 -x6139 -x2583 -x2111 -x424 -x8528 -x7998 -x7206 -x6890 -x6796
1800.26	v -x5795 -x4877 -x1420 -x890 -x773 -x731 -x640 -x7210 -x4881 -x638 -x10009 -x6893 -x6118 -x5801 -x5284 -x3782 -x2585 -x1426
1800.26	v -x769 -x734 -x9875 -x8535 -x6891 -x5283 -x2586 -x1151 -x10476 -x10005 -x9874 -x6121 -x4896 -x4883 -x3788 -x1153 -x767
1800.26	v -x8013 -x6805 -x4884 -x10743 -x10471 -x10003 -x6467 -x5804 -x4902 -x4157 -x1434 -x10744 -x9886 -x6400 -x5185 -x1432 -x10739
1800.26	v -x7024 -x6823 -x6465 -x6401 -x5280 -x4546 -x4163 -x4110 -x3791 -x698 -x9889 -x7026 -x4550 -x4114 -x2240 -x699 -x10737
1800.26	v -x7978 -x5961 -x5245 -x4910 -x4041 -x3925 -x2239 -x8765 -x5960 -x5249 -x4908 -x4149 -x8767 -x7984 -x7020 -x5820 -x5551
1800.26	v -x4552 -x4166 -x2247 -x10104 -x4553 -x1818 -x10374 -x10103 -x8992 -x7021 -x5826 -x5390 -x5251 -x3143 -x2255 -x1820 -x10375
1800.26	v -x8996 -x6639 -x5252 -x2254 -x1826 -x1795 -x10370 -x8983 -x7987 -x6660 -x5957 -x5396 -x1796 -x10115 -x8985 -x8199 -x7650
1800.26	v -x6656 -x5840 -x10368 -x9238 -x8200 -x6655 -x5829 -x10118 -x8739 -x9241 -x8979 -x5399 -x573 -x9926 -x3516 -x2274 -x575
1800.26	v -x10174 -x8980 -x7599 -x3962 -x10173 -x9944 -x1131 -x5989 -x171 -x9355 -x7131 -x5991 -x2782 -x2438 -x1137 -x9356 -x8915
1800.26	v -x5997 -x2781 -x2716 -x10170 -x9351 -x7134 -x7091 -x3854 -x1417 -x988 -x84 -x8932 -x7516 -x7092 -x6611 -x88 -x10299 -x9904
1800.26	v -x9349 -x9038 -x8931 -x6613 -x4102 -x3857 -x1140 -x994 -x10303 -x9908 -x8090 -x6619 -x4101 -x10021 -x9044 -x8089 -x7740
1800.26	v -x7534 -x5091 -x3302 -x2778 -x90 -x5093 -x91 -x9049 -x9035 -x7736 -x7260 -x3263 -x997 -x598 -x9036 -x2836 -x1391 -x600
1800.26	v -x9052 -x9031 -x7734 -x6510 -x5087 -x4098 -x3269 -x1445 -x9849 -x9050 -x8104 -x6514 -x524 -x9851 -x9029 -x8363 -x6349
1800.26	v -x5088 -x3193 -x2843 -x1451 -x7 -x9857 -x2340 -x11 -x6355 -x5567 -x4930 -x3272 -x2339 -x1716 -x1456 -x7893 -x2850 -x1717
1800.26	v -x10250 -x5573 -x5223 -x1712 -x1459 -x1644 -x1457 -x10246 -x8550 -x6363 -x5326 -x2942 -x1710 -x1643 -x6361 -x4389 -x3128
1800.26	v -x2354 -x235 -x10244 -x10063 -x9308 -x8556 -x8303 -x7307 -x6020 -x5581 -x5322 -x3127 -x1651 -x237 -x8302 -x7311 -x6024
1800.26	v -x5579 -x2037 -x477 -x243 -x9314 -x8680 -x6169 -x5320 -x4384 -x2948 -x2038 -x1591 -x6173 -x5097 -x4383 -x2949 -x1658 -x9319
1800.26	v -x8559 -x7313 -x4203 -x2815 -x1587 -x7314 -x2819 -x9322 -x8299 -x6910 -x6175 -x4950 -x1585 -x9320 -x6914 -x6176 -x5964
1800.26	v -x10259 -x8904 -x5025 -x4956 -x4380 -x10263 -x8496 -x5029 -x8905 -x8495 -x6916 -x4217 -x1545 -x1186 -x6917 -x6064 -x4215
1800.26	v -x10265 -x6066 -x5697 -x4959 -x2895 -x1551 -x10266 -x8507 -x2745 -x2494 -x8846 -x8511 -x7108 -x6502 -x3699 -x2744 -x8510
1800.26	v -x6501 -x8849 -x3822 -x3697 -x3826 -x2489 -x10431 -x9597 -x894 -x2573 -x625 -x10447 -x2572 -x6878 -x4871 -x633 -x411 -x9594
1800.26	v -x8609 -x6880 -x5791 -x5158 -x2620 -x2580 -x2109 -x772 -x432 -x8522 -x6886 -x2584 -x2113 -x771 -x641 -x428 -x10008 -x8124
1800.26	v -x7205 -x6882 -x6160 -x5797 -x3778 -x2616 -x2588 -x730 -x427 -x10007 -x8000 -x7209 -x6894 -x2587 -x1419 -x10473 -x8001
1800.26	v -x6470 -x6156 -x6117 -x3784 -x2614 -x2115 -x1421 -x736 -x10475 -x6469 -x2116 -x10742 -x6222 -x6154 -x6123 -x5805 -x4153
1800.26	v -x768 -x10741 -x9876 -x5803 -x4895 -x4540 -x10469 -x10004 -x6826 -x4897 -x4539 -x4159 -x3927 -x1175 -x697 -x7025 -x5239
1800.26	v -x3929 -x3790 -x1171 -x696 -x10470 -x7974 -x7768 -x6822 -x6466 -x6421 -x6126 -x5238 -x4547 -x4112 -x4037 -x1170 -x4116
1800.26	v -x10738 -x7980 -x6820 -x6417 -x5816 -x5547 -x4167 -x4040 -x3923 -x5250 -x4554 -x4165 -x2241 -x10373 -x6415 -x5822 -x5550
1800.26	v -x5386 -x5254 -x4993 -x4118 -x3924 -x3139 -x693 -x10372 -x5253 -x4119 -x8994 -x7988 -x6657 -x5392 -x4989 -x3142 -x10105
1800.26	v -x8998 -x8984 -x7986 -x6659 -x8784 -x5830 -x4987 -x1816 -x5828 -x10369 -x9237 -x9000 -x6653 -x5400 -x1837 -x1812 -x9001
1800.26	v -x5398 -x574 -x9243 -x7595 -x6654 -x6268 -x1810 -x6272 -x5860 -x9947 -x7598 -x5859 -x3961 -x1127 -x9948 -x9943 -x9354
1800.26	v -x9246 -x7929 -x1133 -x9353 -x7933 -x78 -x9941 -x9408 -x8933 -x7094 -x2437 -x1416 -x984 -x77 -x9412 -x8935 -x7093 -x5992
1800.26	v -x1415 -x7136 -x3970 -x3853 -x3304 -x1141 -x990 -x3306 -x1139 -x10298 -x10017 -x9906 -x9350 -x8929 -x7739 -x7537 -x6762
1800.26	v -x6008 -x3859 -x93 -x10302 -x9910 -x9037 -x7738 -x7538 -x5092 -x92 -x10020 -x9039 -x9034 -x8930 -x7533 -x7139 -x6635 -x3300
1800.26	v -x3259 -x998 -x9045 -x9033 -x8091 -x6631 -x996 -x599 -x9912 -x7531 -x7259 -x6630 -x5750 -x3862 -x3301 -x3265 -x9913 -x9053
1800.26	v -x8376 -x8109 -x7735 -x6512 -x3579 -x3270 -x8380 -x6516 -x1444 -x9030 -x4926 -x3192 -x1715 -x1446 -x9 -x9852 -x6348 -x3271
1800.26	v -x1714 -x1452 -x13 -x10249 -x6518 -x6350 -x5219 -x4929 -x112 -x10248 -x6519 -x5566 -x2341 -x1460 -x9868 -x8546 -x5568
1800.26	v -x5325 -x5222 -x3129 -x2342 -x15 -x7301 -x5574 -x5324 -x3131 -x16 -x10059 -x8552 -x7300 -x2359 -x1711 -x6163 -x1645 -x10245
1800.26	v -x10062 -x8676 -x7308 -x6162 -x6019 -x4410 -x3125 -x1590 -x9307 -x7312 -x6023 -x4411 -x1589 -x9309 -x8679 -x8560 -x6170
1800.26	v -x5321 -x4406 -x3126 -x2058 -x8558 -x7315 -x6904 -x6174 -x2059 -x6903 -x5118 -x4946 -x4404 -x3168 -x2817 -x2220 -x2054
1800.26	v -x254 -x10253 -x6177 -x4202 -x2821 -x2224 -x10252 -x5114 -x4952 -x2052 -x1586 -x1504 -x10260 -x8466 -x5112 -x5027 -x4957
1800.26	v -x2823 -x1182 -x10264 -x6918 -x5031 -x2824 -x10268 -x5988 -x4960 -x2370 -x1185 -x10267 -x8497 -x5984 -x4958 -x2374 -x1544
1800.26	v -x7104 -x5983 -x5696 -x5033 -x2894 -x1546 -x6067 -x5034 -x3816 -x1552 -x8845 -x8515 -x7110 -x6087 -x3815 -x341 -x2746
1800.26	v -x345 -x8851 -x6082 -x3823 -x3698 -x2747 -x3827 -x2490 -x10450 -x9598 -x10451 -x2103 -x10446 -x2619 -x2102 -x1054 -x429
1800.26	v -x2618 -x2574 -x1058 -x431 -x10444 -x8120 -x6159 -x5159 -x2110 -x726 -x649 -x6881 -x6158 -x5790 -x2114 -x8543 -x8123 -x7207
1800.26	v -x6902 -x6113 -x5792 -x3432 -x732 -x644 -x425 -x10474 -x7211 -x6898 -x3777 -x2117 -x8539 -x8021 -x6897 -x6218 -x6119 -x3779
1800.26	v -x2615 -x426 -x8022 -x1422 -x8537 -x8017 -x7213 -x6825 -x6221 -x6155 -x3525 -x1443 -x1172 -x7214 -x6824 -x4152 -x4106
1800.26	v -x3928 -x3529 -x1174 -x9897 -x8015 -x7764 -x6420 -x6127 -x4154 -x4105 -x1438 -x6419 -x6125 -x4541 -x9893 -x7767 -x4542
1800.26	v -x4036 -x1168 -x7973 -x5240 -x4915 -x9891 -x7975 -x6821 -x4992 -x4914 -x4559 -x4042 -x1169 -x8988 -x5815 -x4991 -x4120
1800.26	v -x8987 -x8786 -x6416 -x5817 -x5647 -x5552 -x3138 -x2262 -x6658 -x5823 -x5651 -x5385 -x5387 -x4045 -x3144 -x2258 -x1839
1800.26	v -x1815 -x1674 -x1841 -x1814 -x1678 -x9233 -x9003 -x8782 -x5555 -x4988 -x3453 -x2256 -x9002 -x5401 -x3457 -x9500 -x9239
1800.26	v -x8783 -x5861 -x3147 -x1835 -x5863 -x9946 -x9244 -x7594 -x6267 -x1836 -x1811 -x9945 -x6271 -x9247 -x7600 -x5857 -x3963
1800.26	v -x9245 -x1126 -x7928 -x7126 -x5858 -x1128 -x8934 -x7932 -x1134 -x9942 -x9407 -x7603 -x6010 -x3971 -x3849 -x2439 -x9900
1800.26	v -x9411 -x6012 -x3969 -x3305 -x983 -x79 -x9899 -x8825 -x7536 -x3855 -x985 -x7535 -x10300 -x10016 -x9907 -x7140 -x6761 -x6632
1800.26	v -x6006 -x3860 -x2445 -x97 -x10304 -x9911 -x7138 -x6634 -x2446 -x999 -x10022 -x6007 -x5746 -x5055 -x3863 -x9914 -x9040
1800.26	v -x6506 -x3861 -x10306 -x9061 -x8112 -x7532 -x7261 -x6628 -x6505 -x5749 -x3575 -x10307 -x9057 -x8113 -x3 -x10025 -x9056
1800.26	v -x8375 -x8108 -x6629 -x6513 -x3578 -x2 -x8379 -x6517 -x9870 -x8106 -x7264 -x4925 -x2858 -x108 -x10 -x9872 -x6520 -x5218
1800.26	v -x4931 -x2854 -x111 -x6351 -x3130 -x17 -x9866 -x6934 -x6372 -x5224 -x3197 -x2852 -x2362 -x8545 -x6938 -x6368 -x5569 -x10058
1800.26	v -x9867 -x8547 -x8480 -x6367 -x6309 -x4934 -x4409 -x2358 -x8553 -x7302 -x6313 -x4408 -x10064 -x9072 -x8675 -x6021 -x5585
1800.26	v -x5522 -x5227 -x2955 -x2356 -x2057 -x1666 -x256 -x8561 -x6164 -x6025 -x5526 -x2811 -x2056 -x258 -x8681 -x5363 -x5117 -x3616
1800.26	v -x3164 -x2810 -x9310 -x5116 -x10067 -x9331 -x6027 -x4405 -x3167 -x2818 -x2219 -x1500 -x252 -x6905 -x6028 -x5021 -x4945
1800.26	v -x2223 -x9326 -x8684 -x5020 -x4947 -x2826 -x2657 -x2053 -x1724 -x1503 -x253 -x10254 -x8467 -x2825 -x1728 -x10255 -x6923
1800.26	v -x5985 -x5113 -x5028 -x1181 -x10256 -x5987 -x4222 -x10272 -x4726 -x4221 -x2369 -x1187 -x5035 -x2373 -x8947 -x8518 -x6084
1800.26	v -x5981 -x5698 -x2896 -x8519 -x7103 -x6086 -x8847 -x8514 -x5982 -x1190 -x340 -x3817 -x344 -x8512 -x6080 -x5704 -x3818 -x2899
1800.26	v -x1562 -x5705 -x3819 -x10448 -x430 -x1053 -x646 -x7201 -x1210 -x1057 -x648 -x10445 -x8542 -x8119 -x7200 -x6899 -x6243
1800.26	v -x3428 -x2595 -x8541 -x6901 -x6247 -x725 -x8125 -x8020 -x3431 -x2591 -x727 -x642 -x8019 -x7212 -x6112 -x6895 -x6217 -x6114
1800.26	v -x4889 -x2589 -x1440 -x643 -x7215 -x6120 -x1442 -x1173 -x9896 -x8538 -x8401 -x8128 -x7834 -x6896 -x6223 -x4887 -x3801
1800.26	v -x3524 -x9895 -x3528 -x8016 -x7763 -x5871 -x4032 -x3796 -x1436 -x5875 -x4107 -x7769 -x6226 -x5542 -x4562 -x4108 -x4038
1800.26	v -x1437 -x291 -x4563 -x295 -x9892 -x8626 -x5261 -x4912 -x4558 -x4171 -x3991 -x3550 -x3134 -x2261 -x8787 -x3554 -x2260 -x7772
1800.26	v -x5646 -x5257 -x4913 -x4556 -x4046 -x3140 -x2004 -x8989 -x5650 -x4044 -x2008 -x1840 -x10125 -x8990 -x7992 -x5556 -x5255
1800.26	v -x2532 -x1673 -x5554 -x5388 -x1677 -x9496 -x6197 -x5409 -x3452 -x3148 -x2257 -x9232 -x5862 -x3456 -x3146 -x2265 -x10088
1800.26	v -x9499 -x9234 -x7590 -x5404 -x9240 -x10121 -x9236 -x7596 -x6963 -x6269 -x6045 -x9248 -x6273 -x6049 -x7601 -x3243 -x2433
1800.26	v -x7930 -x7604 -x7101 -x2432 -x133 -x7934 -x7602 -x7125 -x6276 -x6011 -x1129 -x137 -x9409 -x8821 -x7127 -x10294 -x9413
1800.26	v -x3848 -x1146 -x10293 -x10012 -x8824 -x7936 -x3850 -x1145 -x100 -x9901 -x7937 -x6633 -x2447 -x101 -x10018 -x9902 -x9415
1800.26	v -x7251 -x6763 -x5051 -x96 -x10305 -x9416 -x3864 -x1003 -x10023 -x9919 -x9058 -x8111 -x5745 -x5054 -x1002 -x94 -x10308
1800.26	v -x9060 -x8110 -x10026 -x7574 -x5751 -x3574 -x3184 -x10024 -x6507 -x9054 -x8377 -x8328 -x7265 -x5447 -x4921 -x3580 -x2857
1800.26	v -x9871 -x8381 -x7263 -x5451 -x2856 -x4 -x9055 -x8872 -x8107 -x5754 -x5214 -x4927 -x3277 -x2295 -x1465 -x107 -x2299 -x1467
1800.26	v -x8383 -x7545 -x6369 -x5220 -x3583 -x3198 -x2361 -x113 -x8384 -x7549 -x6371 -x3196 -x2360 -x10054 -x8476 -x6933 -x5587
1800.26	v -x5225 -x4935 -x2853 -x2553 -x6937 -x6015 -x5589 -x4933 -x2557 -x10060 -x9068 -x8479 -x6365 -x6308 -x6014 -x2958 -x1665
1800.26	v -x116 -x6312 -x2959 -x1664 -x257 -x9071 -x8677 -x7323 -x6366 -x5583 -x5521 -x5359 -x2954 -x2357 -x1986 -x5525 -x1987 -x10068
1800.26	v -x9959 -x9328 -x8564 -x7319 -x6185 -x5584 -x5362 -x3615 -x3163 -x2952 -x10066 -x9330 -x6029 -x2812 -x9217 -x8685 -x7317
1800.26	v -x6181 -x3169 -x2653 -x2221 -x1499 -x8683 -x2225 -x9324 -x6926 -x6179 -x2656 -x1723 -x1505 -x1303 -x1177 -x5986 -x4948
1800.26	v -x1727 -x1307 -x10275 -x9325 -x6922 -x4969 -x3172 -x2886 -x2227 -x1183 -x10276 -x4965 -x2228 -x10271 -x8943 -x8517 -x6920
1800.26	v -x4964 -x4725 -x4219 -x2371 -x1508 -x1188 -x8516 -x6085 -x2375 -x10269 -x8946 -x4220 -x1564 -x1191 -x1566 -x1189 -x3016
1800.26	v -x2900 -x2758 -x2377 -x342 -x8848 -x2898 -x2757 -x2378 -x346 -x8513 -x6081 -x3830 -x1560 -x3831 -x10449 -x647 -x8115 -x7623
1800.26	v -x2594 -x6900 -x2593 -x1059 -x7624 -x6242 -x3427 -x2125 -x706 -x6246 -x2126 -x710 -x6213 -x5811 -x3666 -x3433 -x2121 -x1061
1800.26	v -x5813 -x3670 -x1441 -x1062 -x7830 -x6219 -x3798 -x2590 -x2119 -x8127 -x3800 -x7833 -x7759 -x5807 -x4888 -x3526 -x3436
1800.26	v -x744 -x4917 -x3530 -x6227 -x6131 -x5870 -x5808 -x4561 -x4173 -x3794 -x2507 -x6225 -x5874 -x4560 -x4175 -x4031 -x7770
1800.26	v -x5260 -x4033 -x3987 -x3795 -x3532 -x5259 -x4039 -x3533 -x294 -x10134 -x8625 -x8409 -x7994 -x7773 -x4169 -x3990 -x3549
1800.26	v -x10138 -x7996 -x7771 -x3553 -x3133 -x5836 -x5648 -x4557 -x4170 -x3135 -x2528 -x2003 -x1353 -x5838 -x5652 -x2007 -x1357
1800.26	v -x7990 -x6193 -x5406 -x5256 -x2531 -x1675 -x5408 -x3149 -x1679 -x10084 -x9495 -x8634 -x7991 -x6196 -x5654 -x6263 -x5655
1800.26	v -x3458 -x10087 -x9501 -x9004 -x6262 -x5402 -x4066 -x1681 -x9235 -x7589 -x1682 -x9256 -x7591 -x6962 -x6270 -x6044 -x5403
1800.26	v -x3239 -x9252 -x7924 -x7597 -x6274 -x6048 -x3461 -x9504 -x9251 -x7923 -x7100 -x3242 -x9403 -x7605 -x7099 -x9402 -x3980
1800.26	v -x1147 -x132 -x58 -x2434 -x1149 -x136 -x62 -x9410 -x8820 -x3975 -x2435 -x99 -x9414 -x7938 -x7128 -x6757 -x98 -x8826 -x7149
1800.26	v -x7096 -x6756 -x1143 -x1004 -x10295 -x10011 -x1006 -x10013 -x9922 -x7144 -x5741 -x5050 -x1144 -x9923 -x9059 -x7250 -x3868
1800.26	v -x9918 -x8829 -x7570 -x7252 -x5747 -x5056 -x4237 -x3867 -x3570 -x1000 -x95 -x10027 -x8371 -x9916 -x8370 -x8324 -x7573
1800.26	v -x3576 -x3279 -x1001 -x3183 -x8868 -x8327 -x6528 -x5755 -x5446 -x5059 -x3581 -x103 -x5753 -x5450 -x4920 -x1466 -x8871
1800.26	v -x6524 -x4922 -x4276 -x3275 -x2294 -x109 -x25 -x8385 -x6370 -x5213 -x3582 -x3199 -x2298 -x1974 -x7544 -x6522 -x5215 -x3276
1800.26	v -x1973 -x21 -x7548 -x5588 -x5221 -x4936 -x8475 -x6935 -x2957 -x2552 -x117 -x19 -x10053 -x6939 -x2956 -x2556 -x115 -x10055
1800.26	v -x9067 -x8566 -x8481 -x7322 -x6433 -x6310 -x200 -x8568 -x7321 -x6314 -x6016 -x1988 -x204 -x9955 -x9073 -x6941 -x6863 -x6184
1800.26	v -x5523 -x5358 -x3159 -x9329 -x6942 -x6183 -x5527 -x2215 -x9958 -x9213 -x9172 -x8562 -x8484 -x6316 -x5364 -x3617 -x3165
1800.26	v -x2953 -x2214 -x1495 -x6317 -x9216 -x9076 -x8563 -x7318 -x6925 -x5529 -x2833 -x2652 -x1501 -x6924 -x5530 -x4224 -x10274
1800.26	v -x6180 -x5367 -x4966 -x3623 -x3173 -x2829 -x2658 -x1725 -x1302 -x10273 -x4968 -x3624 -x3171 -x2365 -x2229 -x1729 -x1306
1800.26	v -x1176 -x5043 -x2827 -x2364 -x1509 -x1178 -x2885 -x1507 -x8942 -x6921 -x5039 -x4962 -x4727 -x2661 -x1731 -x1732 -x1565
1800.26	v -x1192 -x336 -x10270 -x8948 -x5037 -x4963 -x2380 -x335 -x2379 -x7121 -x4730 -x3829 -x343 -x7123 -x3828 -x347 -x8951 -x8861
1800.26	v -x4617 -x1561 -x7119 -x1278 -x1050 -x1282 -x9446 -x3423 -x2124 -x2123 -x1060 -x8613 -x6244 -x3429 -x705 -x6248 -x5812
1800.26	v -x1063 -x709 -x7223 -x3665 -x1213 -x746 -x6212 -x3799 -x3669 -x3520 -x1214 -x748 -x8396 -x7829 -x7219 -x6214 -x6133 -x3519
1800.26	v -x2120 -x6135 -x3435 -x7859 -x7835 -x7217 -x2503 -x742 -x7758 -x4174 -x7760 -x6129 -x5872 -x4127 -x2506 -x743 -x5876 -x3534
1800.26	v -x8621 -x8410 -x7838 -x6130 -x3986 -x8408 -x7995 -x7774 -x5642 -x296 -x10133 -x8627 -x5878 -x5641 -x3992 -x3551 -x10137
1800.26	v -x5879 -x5837 -x3555 -x1669 -x9009 -x4123 -x4050 -x2527 -x2005 -x1668 -x1352 -x320 -x298 -x9008 -x5407 -x3448 -x3136 -x2009
1800.26	v -x1356 -x299 -x9491 -x8635 -x6192 -x5560 -x4851 -x3995 -x3557 -x3447 -x2533 -x8633 -x5656 -x4855 -x3558 -x3153 -x1680
1800.26	v -x10083 -x9497 -x9143 -x6198 -x4062 -x3152 -x2011 -x1684 -x9147 -x2012 -x1683 -x10089 -x9502 -x9253 -x9005 -x8576 -x4065
1800.26	v -x2536 -x9255 -x6264 -x9505 -x6964 -x6265 -x6201 -x6046 -x3314 -x3238 -x2287 -x1529 -x9503 -x7592 -x6050 -x3318 -x10092
1800.26	v -x9249 -x3977 -x3244 -x7925 -x3979 -x1148 -x9250 -x8816 -x7926 -x6967 -x6052 -x2281 -x57 -x9404 -x6053 -x138 -x61 -x8822
1800.26	v -x7231 -x7146 -x3973 -x3247 -x2455 -x7235 -x7148 -x1005 -x9921 -x8827 -x5046 -x3974 -x3869 -x140 -x9920 -x6758 -x3871
1800.26	v -x141 -x10316 -x8830 -x7142 -x5052 -x2449 -x10014 -x8828 -x5740 -x10312 -x7569 -x7143 -x5742 -x5057 -x4236 -x3865 -x5748
1800.26	v -x3569 -x3280 -x10310 -x10030 -x9917 -x8323 -x7575 -x6527 -x5060 -x3866 -x3571 -x806 -x8372 -x7270 -x6526 -x5058 -x810
1800.26	v -x8867 -x8329 -x7269 -x5448 -x24 -x5452 -x102 -x23 -x8873 -x7578 -x4275 -x2296 -x104 -x6929 -x4923 -x2300 -x8471 -x8332
1800.26	v -x7546 -x6928 -x6523 -x5454 -x3202 -x1774 -x7550 -x6304 -x5455 -x5216 -x4940 -x1975 -x1778 -x10603 -x9063 -x8477 -x6936
1800.26	v -x6429 -x6303 -x5237 -x4939 -x2554 -x2302 -x20 -x10607 -x8567 -x5517 -x2558 -x2303 -x9069 -x7552 -x6944 -x6859 -x6432
1800.26	v -x6311 -x5516 -x5354 -x5334 -x5232 -x199 -x7553 -x6943 -x6315 -x5338 -x3611 -x203 -x9954 -x9168 -x9074 -x8485 -x8263 -x6862
1800.26	v -x6037 -x5524 -x5360 -x3610 -x3218 -x2560 -x10073 -x8483 -x8267 -x6318 -x3158 -x2561 -x10072 -x9960 -x9212 -x9171 -x9077
1800.26	v -x8694 -x6033 -x3160 -x3093 -x2832 -x2648 -x9075 -x8690 -x5531 -x2831 -x2216 -x1494 -x9218 -x8689 -x6031 -x5368 -x3626
1800.26	v -x2654 -x1496 -x5366 -x4967 -x3625 -x9963 -x5042 -x4717 -x2659 -x2173 -x1304 -x5041 -x1510 -x9221 -x8938 -x2828 -x2662
1800.26	v -x1734 -x2660 -x2366 -x1733 -x8944 -x4728 -x2367 -x1479 -x1310 -x1200 -x1311 -x1196 -x9263 -x8949 -x5711 -x5038 -x4731
1800.26	v -x2384 -x1195 -x9267 -x7122 -x5713 -x4729 -x337 -x8952 -x8858 -x4613 -x3405 -x8950 -x8860 -x3409 -x4616 -x8856 -x7117
1800.26	v -x9442 -x1277 -x1074 -x1281 -x9445 -x3422 -x7222 -x3424 -x1068 -x707 -x7221 -x1215 -x747 -x711 -x7825 -x3667 -x8134 -x6134
1800.26	v -x3671 -x8133 -x7831 -x713 -x8395 -x5866 -x3521 -x714 -x8397 -x7858 -x7218 -x5865 -x5601 -x3673 -x2502 -x3674 -x286 -x7839
1800.26	v -x5873 -x3982 -x2508 -x285 -x7837 -x7761 -x3545 -x6576 -x4052 -x3988 -x3544 -x8620 -x6580 -x5880 -x4054 -x1999 -x297 -x10135
1800.26	v -x8622 -x7777 -x5562 -x2523 -x2511 -x1998 -x316 -x10139 -x5643 -x300 -x6188 -x4187 -x4048 -x3996 -x3560 -x3154 -x2529
1800.26	v -x2006 -x1354 -x319 -x3994 -x3559 -x3156 -x1670 -x1358 -x10141 -x10079 -x6194 -x5661 -x5558 -x4850 -x4049 -x10142 -x9490
1800.26	v -x4854 -x2013 -x10085 -x9492 -x9142 -x6199 -x5559 -x4061 -x3150 -x2537 -x1360 -x9254 -x9146 -x6040 -x2535 -x1361 -x8575
1800.26	v -x6202 -x6039 -x4067 -x3467 -x3234 -x3151 -x2286 -x1525 -x9506 -x6200 -x2285 -x10093 -x7610 -x6965 -x6285 -x3313 -x3240
1800.26	v -x3043 -x1528 -x10091 -x7612 -x3978 -x3317 -x128 -x6968 -x6281 -x6055 -x4070 -x127 -x6966 -x6054 -x7946 -x6279 -x3248
1800.26	v -x2454 -x2282 -x59 -x8815 -x7947 -x7147 -x3246 -x2453 -x139 -x9425 -x8817 -x7942 -x7607 -x7230 -x6988 -x7234 -x3870 -x142
1800.26	v -x10315 -x9421 -x7940 -x65 -x10314 -x5045 -x66 -x10032 -x9419 -x7565 -x5047 -x2450 -x1749 -x10034 -x5053 -x8319 -x7571
1800.26	v -x7271 -x5049 -x2152 -x7273 -x5442 -x5061 -x10311 -x10028 -x8863 -x8325 -x5764 -x5441 -x805 -x2290 -x809 -x10029 -x8869
1800.26	v -x8393 -x7267 -x5759 -x4241 -x3593 -x3204 -x2289 -x7577 -x7540 -x3206 -x8333 -x7539 -x7268 -x5457 -x4941 -x4277 -x3588
1800.26	v -x1603 -x8331 -x5456 -x4943 -x2548 -x2301 -x8387 -x5234 -x3200 -x2547 -x2305 -x1773 -x364 -x126 -x8470 -x7551 -x6930 -x5236
1800.26	v -x2304 -x1777 -x368 -x10602 -x8472 -x7555 -x6428 -x4937 -x4283 -x3201 -x1996 -x121 -x10606 -x9062 -x7554 -x6305 -x4284
1800.26	v -x1997 -x10074 -x9950 -x9656 -x9064 -x6858 -x6434 -x6306 -x6036 -x5333 -x5230 -x4938 -x3214 -x2563 -x1992 -x201 -x10076
1800.26	v -x9070 -x6035 -x5518 -x5353 -x5337 -x2562 -x205 -x9956 -x9208 -x9167 -x8691 -x8262 -x6864 -x5355 -x5231 -x3217 -x3089
1800.26	v -x1990 -x1929 -x8693 -x8266 -x3612 -x1933 -x10070 -x9214 -x9173 -x6437 -x4697 -x3613 -x3092 -x207 -x5369 -x4701 -x2647
1800.26	v -x1298 -x208 -x10071 -x9964 -x8687 -x6867 -x6032 -x5896 -x3630 -x2649 -x2237 -x1297 -x9962 -x5900 -x2655 -x1497 -x9222
1800.26	v -x8688 -x3177 -x2651 -x2233 -x2172 -x1305 -x9220 -x4716 -x2663 -x4718 -x2231 -x1475 -x1313 -x1197 -x1312 -x1199 -x7663
1800.26	v -x2906 -x2387 -x1478 -x5712 -x4732 -x3011 -x2388 -x9262 -x2383 -x2181 -x1193 -x9266 -x8859 -x4612 -x2902 -x2381 -x1194
1800.26	v -x6483 -x4618 -x4528 -x2903 -x352 -x8854 -x7118 -x9441 -x1279 -x1073 -x2067 -x1283 -x701 -x8750 -x1071 -x700 -x3661 -x1072
1800.26	v -x8135 -x6737 -x3660 -x1285 -x1067 -x8137 -x6741 -x1286 -x9450 -x3668 -x1065 -x716 -x7824 -x3442 -x715 -x8131 -x7826 -x7351
1800.26	v -x6233 -x5597 -x3441 -x2498 -x7355 -x6235 -x3675 -x8132 -x7860 -x5600 -x2504 -x7840 -x5867 -x270 -x8419 -x7779 -x6229
1800.26	v -x660 -x10129 -x7781 -x4053 -x3981 -x287 -x10208 -x10128 -x8414 -x6575 -x6230 -x3983 -x3536 -x2512 -x1260 -x6579 -x5563
1800.26	v -x3546 -x2510 -x1348 -x7775 -x5497 -x4183 -x3547 -x1347 -x315 -x305 -x5501 -x3997 -x3155 -x2522 -x2000 -x7776 -x5664 -x4186
1800.26	v -x3564 -x2524 -x1355 -x321 -x10143 -x6187 -x5665 -x1359 -x8639 -x6189 -x5660 -x4852 -x4057 -x1691 -x10078 -x4856 -x1692
1800.26	v -x1362 -x10080 -x9144 -x5658 -x4063 -x3470 -x1687 -x324 -x9148 -x6203 -x5626 -x3471 -x8577 -x6284 -x4858 -x4463 -x4068
1800.26	v -x3466 -x3039 -x1685 -x1524 -x9510 -x7611 -x6283 -x6041 -x4859 -x3233 -x9561 -x9509 -x9150 -x4071 -x3464 -x3315 -x3235
1800.26	v -x3042 -x2795 -x1530 -x9151 -x4069 -x3319 -x3241 -x53 -x8583 -x7945 -x52 -x8584 -x7944 -x1009 -x129 -x10705 -x9424 -x6984
1800.26	v -x6280 -x3321 -x1533 -x1008 -x9423 -x3322 -x8149 -x7232 -x6987 -x7236 -x7941 -x6778 -x4228 -x10033 -x6777 -x6383 -x9420
1800.26	v -x7238 -x2148 -x1748 -x1332 -x7564 -x7272 -x7239 -x5048 -x7566 -x5761 -x5069 -x2151 -x8318 -x7572 -x5763 -x5065 -x8392
1800.26	v -x8320 -x5064 -x4242 -x3590 -x807 -x8862 -x8391 -x8326 -x5443 -x4271 -x4240 -x3592 -x3205 -x811 -x8864 -x5757 -x4270 -x1757
1800.26	v -x1599 -x4942 -x2291 -x9097 -x5758 -x4278 -x3586 -x1602 -x813 -x123 -x7541 -x5235 -x814 -x125 -x8388 -x7542 -x6424 -x3587
1800.26	v -x1995 -x1775 -x363 -x2549 -x1994 -x1779 -x367 -x195 -x10604 -x9652 -x7038 -x6951 -x6854 -x6430 -x194 -x119 -x10608 -x10075
1800.26	v -x9655 -x9163 -x8494 -x6947 -x6860 -x6326 -x5725 -x5335 -x3213 -x1781 -x120 -x9949 -x8692 -x5339 -x1782 -x206 -x10610
1800.26	v -x9951 -x9169 -x8489 -x8264 -x6945 -x6438 -x6322 -x5539 -x3219 -x3088 -x1991 -x1928 -x10611 -x9207 -x9082 -x8268 -x6436
1800.26	v -x1932 -x209 -x9209 -x9081 -x6868 -x6320 -x5535 -x5341 -x4696 -x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9215 -x6866 -x5342
1800.26	v -x4700 -x3634 -x3181 -x2235 -x1235 -x8270 -x5895 -x5533 -x5372 -x3629 -x3222 -x2168 -x1515 -x8271 -x5899 -x2650 -x1517
1800.26	v -x1299 -x3627 -x3175 -x3097 -x2671 -x2174 -x2667 -x1198 -x7659 -x3176 -x2666 -x2386 -x2232 -x1511 -x1474 -x4719 -x2907
1800.26	v -x2385 -x10660 -x7662 -x4740 -x1512 -x1480 -x9264 -x4735 -x4608 -x3758 -x2995 -x355 -x9268 -x8957 -x3762 -x8956 -x6479
1800.26	v -x4614 -x2382 -x1483 -x608 -x612 -x9270 -x6482 -x4527 -x350 -x9271 -x8855 -x9443 -x8746 -x3733 -x1075 -x1070 -x3737 -x2066
1800.26	v -x1069 -x8749 -x7702 -x1288 -x8136 -x1287 -x702 -x9451 -x6260 -x3443 -x1079 -x33 -x9449 -x6740 -x3662 -x3445 -x37 -x7850
1800.26	v -x5001 -x4676 -x1066 -x720 -x6234 -x5005 -x7350 -x7281 -x6254 -x5596 -x3541 -x3439 -x7827 -x7354 -x7285 -x3540 -x2497
1800.26	v -x8416 -x5602 -x3440 -x2499 -x656 -x8418 -x7780 -x269 -x5888 -x1256 -x659 -x8412 -x6577 -x5605 -x3537 -x1259 -x311 -x308
1800.26	v -x6581 -x3984 -x309 -x10483 -x8641 -x8413 -x5882 -x5663 -x4182 -x4005 -x3567 -x317 -x304 -x10487 -x8643 -x5662 -x5500
1800.26	v -x4846 -x4001 -x1349 -x6583 -x4845 -x4188 -x4000 -x3563 -x2021 -x1690 -x322 -x302 -x6584 -x2022 -x1689 -x8637 -x3561 -x3469
1800.26	v -x2546 -x2017 -x1367 -x325 -x8571 -x4857 -x4056 -x3468 -x323 -x9511 -x9145 -x8638 -x6211 -x5659 -x4861 -x4459 -x4191 -x4058
1800.26	v -x2541 -x2015 -x1520 -x9513 -x6207 -x5625 -x4860 -x4064 -x3309 -x9834 -x9153 -x6206 -x4462 -x4060 -x3308 -x3038 -x2791
1800.26	v -x1686 -x1526 -x9152 -x4072 -x10097 -x9560 -x9507 -x7417 -x6977 -x6062 -x3465 -x3044 -x2794 -x2467 -x8585 -x7421 -x3320
1800.26	v -x10701 -x9508 -x6058 -x3257 -x1534 -x831 -x7226 -x1532 -x835 -x54 -x10704 -x7225 -x6983 -x6056 -x3252 -x3047 -x150 -x1010
1800.26	v -x151 -x9569 -x8836 -x8148 -x6989 -x6671 -x146 -x72 -x8838 -x7237 -x1328 -x1028 -x144 -x7240 -x6382 -x8832 -x6992 -x5066
1800.26	v -x3339 -x1750 -x1331 -x5762 -x5068 -x3343 -x801 -x8833 -x7954 -x2153 -x800 -x7567 -x4243 -x3591 -x5672 -x5062 -x2920 -x1758
1800.26	v -x5676 -x1756 -x9093 -x7583 -x5063 -x2156 -x1598 -x8865 -x1769 -x815 -x124 -x9096 -x8337 -x7181 -x5460 -x2312 -x1768 -x10598
1800.26	v -x7185 -x10597 -x7562 -x7034 -x6950 -x5458 -x2308 -x365 -x7563 -x6949 -x6423 -x5329 -x369 -x9651 -x8491 -x7558 -x7059
1800.26	v -x7037 -x6425 -x6325 -x5721 -x5328 -x3209 -x2570 -x2306 -x1607 -x8493 -x8258 -x7063 -x6853 -x6324 -x1783 -x196 -x10613
1800.26	v -x9657 -x9083 -x8257 -x7556 -x6855 -x5724 -x5538 -x3215 -x3084 -x2566 -x537 -x371 -x10612 -x9162 -x9085 -x6861 -x5537
1800.26	v -x372 -x9164 -x8487 -x8265 -x6946 -x5374 -x3632 -x3364 -x3090 -x2564 -x1930 -x928 -x214 -x9170 -x8269 -x5376 -x5343 -x3631
1800.26	v -x3368 -x3180 -x9660 -x9079 -x8488 -x8273 -x6321 -x4698 -x4305 -x3223 -x3095 -x1230 -x931 -x9969 -x8272 -x4702 -x3221
1800.26	v -x1516 -x1234 -x9968 -x9080 -x5925 -x5897 -x5534 -x5370 -x3478 -x3098 -x2668 -x1936 -x5901 -x3482 -x3096 -x2670 -x2167
1800.26	v -x1937 -x5371 -x4704 -x3628 -x2169 -x1470 -x1320 -x4705 -x10656 -x7658 -x5903 -x4737 -x2664 -x2413 -x1958 -x1316 -x9258
1800.26	v -x5904 -x4739 -x2417 -x10659 -x9257 -x8958 -x7664 -x2991 -x2665 -x1314 -x8960 -x4733 -x3757 -x2994 -x1484 -x4607 -x3761
1800.26	v -x1482 -x8954 -x7667 -x6478 -x4803 -x4734 -x4609 -x607 -x9272 -x4807 -x4615 -x611 -x10042 -x8955 -x6484 -x4529 -x351 -x10046
1800.26	v -x4620 -x9439 -x8745 -x7698 -x3732 -x1222 -x948 -x3736 -x2068 -x1221 -x952 -x8751 -x7701 -x6259 -x1080 -x6258 -x3444 -x1078
1800.26	v -x9805 -x7160 -x4672 -x2070 -x723 -x6742 -x2071 -x36 -x8754 -x5000 -x4675 -x3683 -x719 -x7849 -x5004 -x7851 -x7845 -x7352
1800.26	v -x7280 -x6255 -x3679 -x717 -x8417 -x7847 -x7356 -x7284 -x5887 -x4488 -x3677 -x655 -x6571 -x5886 -x271 -x10508 -x7358 -x6570
1800.26	v -x5606 -x3715 -x2521 -x1255 -x661 -x307 -x10512 -x7359 -x5604 -x2517 -x306 -x6578 -x4178 -x4002 -x3566 -x2516 -x1261 -x273
1800.26	v -x8642 -x6582 -x4004 -x3565 -x310 -x274 -x10482 -x6586 -x5883 -x4184 -x2020 -x664 -x312 -x10486 -x6585 -x5502 -x2019 -x10215
1800.26	v -x3998 -x2543 -x1370 -x1264 -x303 -x10216 -x4847 -x2545 -x1371 -x326 -x10145 -x6208 -x5504 -x4348 -x4192 -x3999 -x3562
1800.26	v -x1366 -x9512 -x6210 -x5505 -x4190 -x10099 -x9830 -x4865 -x4458 -x2539 -x2016 -x1364 -x10101 -x5627 -x4059 -x1519 -x10562
1800.26	v -x9833 -x9556 -x6974 -x6204 -x6061 -x4080 -x3040 -x2790 -x2540 -x2463 -x1521 -x6976 -x6060 -x4076 -x10095 -x9562 -x8651
1800.26	v -x7416 -x6716 -x6205 -x5629 -x4075 -x3254 -x3045 -x2796 -x2466 -x8655 -x7420 -x5630 -x3256 -x10700 -x10096 -x6979 -x4467
1800.26	v -x3328 -x3048 -x830 -x149 -x3046 -x834 -x148 -x10706 -x9570 -x9118 -x6985 -x6667 -x6057 -x5198 -x3250 -x75 -x9568 -x9122
1800.26	v -x8837 -x7227 -x8150 -x6990 -x6670 -x3251 -x71 -x10709 -x6993 -x2143 -x1327 -x1027 -x145 -x69 -x6991 -x6384 -x5067 -x8153
1800.26	v -x3338 -x1333 -x1025 -x860 -x3342 -x1751 -x7953 -x7585 -x6386 -x2916 -x7587 -x6387 -x802 -x9292 -x8339 -x5671 -x4246 -x2919
1800.26	v -x2157 -x1336 -x803 -x8341 -x5675 -x2155 -x9092 -x7581 -x2311 -x1600 -x820 -x2310 -x359 -x9098 -x8430 -x8335 -x7582 -x7561
1800.26	v -x7180 -x5416 -x358 -x7560 -x7184 -x5420 -x1770 -x9647 -x8336 -x7033 -x5459 -x4289 -x2569 -x366 -x10599 -x8492 -x2568
1800.26	v -x370 -x9653 -x8880 -x7058 -x7039 -x5720 -x4287 -x2307 -x1788 -x533 -x9084 -x7062 -x5330 -x3208 -x1924 -x7557 -x5726 -x5331
1800.26	v -x3210 -x1923 -x781 -x536 -x217 -x8259 -x5375 -x4692 -x3216 -x3083 -x785 -x218 -x9970 -x9661 -x8260 -x7042 -x6442 -x4691
1800.26	v -x4301 -x3363 -x3085 -x2565 -x1931 -x927 -x213 -x9972 -x9659 -x9165 -x8261 -x5891 -x3367 -x3091 -x9228 -x8277 -x6872 -x5921
1800.26	v -x5890 -x5729 -x4304 -x3087 -x1232 -x933 -x211 -x3099 -x2669 -x1938 -x1236 -x9966 -x5924 -x5898 -x3477 -x1319 -x5902 -x4706
1800.26	v -x3481 -x1318 -x9967 -x7654 -x5906 -x1954 -x1238 -x936 -x5905 -x4738 -x1469 -x1239 -x10655 -x7660 -x2412 -x1957 -x1471
1800.26	v -x8959 -x2416 -x10661 -x10187 -x2990 -x1315 -x9259 -x6474 -x3759 -x3030 -x2996 -x4523 -x3763 -x10664 -x6480 -x5130 -x4802
1800.26	v -x4522 -x609 -x4806 -x613 -x10041 -x4628 -x3765 -x3025 -x2999 -x228 -x10045 -x3766 -x8747 -x7697 -x3734 -x1295 -x947 -x6732
1800.26	v -x5292 -x3738 -x2069 -x951 -x9460 -x8752 -x7703 -x7156 -x6731 -x722 -x9456 -x2072 -x721 -x10533 -x9455 -x8755 -x7159 -x4671
1800.26	v -x3740 -x3682 -x1289 -x10537 -x8753 -x7346 -x3741 -x3681 -x38 -x7706 -x7345 -x5002 -x4677 -x7846 -x5006 -x261 -x7353 -x7282
1800.26	v -x4484 -x718 -x651 -x260 -x40 -x7852 -x7357 -x7286 -x41 -x7483 -x7361 -x5008 -x4680 -x4487 -x3711 -x3678 -x2518 -x1251
1800.26	v -x657 -x10203 -x7487 -x7360 -x5607 -x5009 -x2520 -x10507 -x10202 -x7288 -x3714 -x2320 -x1257 -x662 -x490 -x10511 -x7289
1800.26	v -x6572 -x5492 -x4003 -x2324 -x6573 -x5491 -x2514 -x1262 -x665 -x6574 -x4177 -x663 -x10484 -x6590 -x4179 -x2515 -x1369
1800.26	v -x1265 -x10488 -x10217 -x4185 -x2544 -x1368 -x1263 -x7376 -x4344 -x7380 -x6209 -x5617 -x4193 -x10490 -x10146 -x5616 -x4454
1800.26	v -x329 -x10491 -x10100 -x10558 -x9829 -x9160 -x4864 -x4460 -x4077 -x2786 -x1365 -x6975 -x5628 -x4079 -x10561 -x9835 -x9156
1800.26	v -x8593 -x6712 -x4862 -x2792 -x2462 -x9555 -x8594 -x5631 -x3255 -x3041 -x10696 -x9557 -x9154 -x8650 -x8589 -x7418 -x6715
1800.26	v -x4468 -x4073 -x3331 -x2729 -x2468 -x8654 -x7422 -x4466 -x3049 -x1539 -x10702 -x9838 -x8587 -x8140 -x5194 -x4074 -x3327
1800.26	v -x1538 -x832 -x74 -x9571 -x6978 -x836 -x73 -x9117 -x7424 -x6980 -x6666 -x5197 -x3325 -x2471 -x1030 -x9121 -x7425 -x6374
1800.26	v -x8151 -x7248 -x6672 -x6373 -x3937 -x1323 -x838 -x10708 -x7249 -x3941 -x839 -x8154 -x1329 -x907 -x856 -x70 -x8152 -x6385
1800.26	v -x2142 -x6675 -x6389 -x3340 -x2966 -x2144 -x1334 -x1026 -x859 -x7586 -x6388 -x3344 -x2970 -x9288 -x7955 -x2915 -x1337
1800.26	v -x8340 -x1335 -x9291 -x9088 -x5673 -x4244 -x2921 -x1762 -x823 -x8884 -x5677 -x3347 -x824 -x9094 -x8426 -x7961 -x4292 -x4245
1800.26	v -x819 -x7962 -x4291 -x8429 -x7182 -x7029 -x5679 -x5415 -x3645 -x2924 -x817 -x7186 -x5680 -x5419 -x360 -x7035 -x5716 -x1791
1800.26	v -x9646 -x1792 -x10620 -x9648 -x7188 -x7060 -x6444 -x5722 -x4288 -x1787 -x532 -x216 -x9654 -x7189 -x6446 -x215 -x10616
1800.26	v -x7043 -x6874 -x5351 -x1785 -x923 -x780 -x538 -x389 -x9971 -x7041 -x6876 -x1925 -x1226 -x784 -x393 -x10614 -x8280 -x7066
1800.26	v -x6440 -x5730 -x5347 -x4300 -x3365 -x1225 -x929 -x9229 -x8281 -x7067 -x5728 -x4693 -x3369 -x3086 -x8276 -x6870 -x6441
1800.26	v -x5920 -x5345 -x4306 -x3227 -x3107 -x1943 -x934 -x541 -x212 -x5892 -x3103 -x8274 -x6871 -x5926 -x5893 -x3479 -x3371 -x3102
1800.26	v -x2632 -x937 -x3483 -x3372 -x1240 -x935 -x10651 -x4309 -x2188 -x1953 -x2190 -x10657 -x5929 -x4422 -x3485 -x2986 -x1959
1800.26	v -x3753 -x3486 -x2418 -x1472 -x10186 -x3752 -x2992 -x2184 -x603 -x10665 -x9280 -x8178 -x5126 -x2997 -x2420 -x2185 -x1962
1800.26	v -x1488 -x602 -x10663 -x9281 -x8182 -x6473 -x2421 -x9276 -x6475 -x5129 -x4804 -x4625 -x3000 -x224 -x6481 -x4808 -x4627
1800.26	v -x4524 -x3767 -x2998 -x10043 -x9274 -x4525 -x3392 -x3026 -x227 -x10047 -x4623 -x616 -x9457 -x8743 -x7699 -x3735 -x1293
1800.26	v -x949 -x9459 -x8748 -x5291 -x953 -x28 -x8744 -x7704 -x7155 -x4667 -x1084 -x27 -x8756 -x6733 -x4996 -x10532 -x9453 -x7707
1800.26	v -x7161 -x4995 -x4673 -x1290 -x955 -x10536 -x7705 -x7276 -x956 -x9454 -x7275 -x5003 -x4678 -x4016 -x43 -x7347 -x5007 -x42
1800.26	v -x7870 -x7348 -x7283 -x7164 -x5011 -x4681 -x4483 -x7872 -x7349 -x7287 -x5010 -x4679 -x2519 -x650 -x262 -x7482 -x7365 -x4489
1800.26	v -x3710 -x652 -x486 -x7486 -x7290 -x5611 -x1250 -x658 -x10509 -x5610 -x3716 -x1252 -x489 -x280 -x10513 -x10478 -x10204
1800.26	v -x2323 -x1258 -x10477 -x10324 -x7867 -x6593 -x4492 -x10328 -x6594 -x5493 -x10515 -x6589 -x5494 -x3719 -x331 -x10516 -x4180
1800.26	v -x333 -x7375 -x6587 -x4867 -x4343 -x10492 -x7379 -x4866 -x9825 -x9159 -x327 -x9158 -x5618 -x4078 -x10557 -x9831 -x8592
1800.26	v -x5619 -x2458 -x328 -x8591 -x7412 -x2785 -x10563 -x9836 -x7411 -x6711 -x4863 -x4747 -x4352 -x3330 -x2787 -x2725 -x2464
1800.26	v -x1540 -x4751 -x3329 -x1542 -x826 -x9839 -x9744 -x9155 -x8652 -x6717 -x2728 -x2469 -x825 -x10695 -x9837 -x9748 -x9558
1800.26	v -x8656 -x3053 -x10697 -x10566 -x8588 -x7427 -x6834 -x6662 -x5193 -x3052 -x2472 -x1536 -x9575 -x8139 -x7426 -x6838 -x2470
1800.26	v -x9574 -x9119 -x8658 -x8141 -x7247 -x6720 -x6668 -x5199 -x3326 -x1537 -x9123 -x8659 -x7246 -x840 -x6673 -x3936 -x3879
1800.26	v -x903 -x6375 -x3940 -x3883 -x3334 -x1322 -x9125 -x6997 -x6676 -x5202 -x3333 -x1324 -x906 -x855 -x9126 -x7949 -x6674 -x4249
1800.26	v -x1330 -x7948 -x3341 -x2965 -x2911 -x1764 -x1326 -x861 -x5667 -x2969 -x2682 -x2145 -x1766 -x1338 -x9287 -x7956 -x5666
1800.26	v -x3068 -x2917 -x822 -x821 -x9293 -x7964 -x7902 -x5674 -x2922 -x1760 -x864 -x7963 -x7176 -x8425 -x7175 -x3641 -x2925 -x1761
1800.26	v -x9095 -x5681 -x2923 -x9296 -x8431 -x7183 -x5417 -x3644 -x1790 -x818 -x7054 -x7028 -x5421 -x1789 -x10619 -x7053 -x7030
1800.26	v -x528 -x381 -x10618 -x7190 -x6445 -x5715 -x382 -x8434 -x5717 -x5423 -x5350 -x534 -x377 -x9649 -x6875 -x5424 -x5349 -x3359
1800.26	v -x9383 -x8279 -x4296 -x3358 -x3229 -x1786 -x782 -x539 -x388 -x375 -x9387 -x8278 -x7068 -x3231 -x922 -x786 -x392 -x10615
1800.26	v -x9665 -x5916 -x4302 -x3104 -x1946 -x924 -x542 -x10415 -x3473 -x3106 -x1227 -x930 -x540 -x5922 -x5346 -x4714 -x4307 -x3472
1800.26	v -x3225 -x2628 -x1942 -x926 -x788 -x3373 -x938 -x789 -x8275 -x7446 -x5913 -x4710 -x4310 -x3480 -x3226 -x3100 -x2631 -x1949
1800.26	v -x1940 -x5914 -x4308 -x3484 -x2189 -x5930 -x5909 -x4708 -x4418 -x3101 -x1955 -x10650 -x5928 -x3487 -x10652 -x5907 -x4421
1800.26	v -x1960 -x1490 -x10658 -x2985 -x1492 -x10188 -x9279 -x2987 -x1963 -x9278 -x4798 -x3754 -x2993 -x2422 -x1961 -x9540 -x5125
1800.26	v -x4797 -x3755 -x3419 -x1486 -x10037 -x9544 -x8181 -x4626 -x3418 -x604 -x10191 -x10036 -x5131 -x3388 -x1487 -x223 -x6476
1800.26	v -x9275 -x6494 -x3414 -x3391 -x620 -x229 -x4811 -x4621 -x9458 -x7695 -x7151 -x2080 -x1294 -x1088 -x9800 -x8742 -x7700 -x5293
1800.26	v -x9799 -x8764 -x7157 -x2076 -x1082 -x8760 -x7708 -x4666 -x29 -x10534 -x8759 -x6754 -x5295 -x4668 -x4012 -x2074 -x1083
1800.26	v -x10538 -x5296 -x4997 -x4674 -x7165 -x6750 -x4998 -x4670 -x4479 -x47 -x7871 -x7277 -x7163 -x4682 -x10540 -x8238 -x7368
1800.26	v -x6748 -x5612 -x4485 -x3706 -x10541 -x10503 -x8242 -x7369 -x5614 -x10502 -x7484 -x7364 -x3712 -x485 -x283 -x7488 -x284
1800.26	v -x10510 -x7362 -x6592 -x5608 -x4570 -x4493 -x491 -x279 -x6591 -x4491 -x2325 -x10323 -x10225 -x7490 -x5609 -x3720 -x669
1800.26	v -x277 -x10517 -x10479 -x10327 -x7491 -x3718 -x332 -x10480 -x10221 -x4339 -x4198 -x2327 -x1269 -x4200 -x2328 -x10219 -x7377
1800.26	v -x6588 -x4345 -x7381 -x4194 -x9824 -x10559 -x9826 -x7383 -x6707 -x5639 -x4353 -x4195 -x9832 -x8646 -x7384 -x4351 -x2457
1800.26	v -x1541 -x10564 -x8645 -x6713 -x5635 -x3054 -x2724 -x2459 -x7413 -x4750 -x4473 -x3056 -x10567 -x9743 -x9576 -x7414 -x5633
1800.26	v -x5189 -x4472 -x2809 -x2730 -x10565 -x9747 -x9578 -x9113 -x2805 -x827 -x9112 -x6833 -x6721 -x5195 -x3050 -x2804 -x8660
1800.26	v -x6837 -x6719 -x6661 -x10719 -x9572 -x9120 -x6999 -x6663 -x3051 -x2733 -x9124 -x7001 -x9573 -x9128 -x8163 -x5203 -x3938
1800.26	v -x3878 -x851 -x9127 -x5201 -x3942 -x3882 -x8158 -x6995 -x6396 -x857 -x3335 -x1765 -x1325 -x9283 -x6996 -x3944 -x3336 -x3064
1800.26	v -x2967 -x2163 -x1346 -x7950 -x3945 -x2971 -x2910 -x2681 -x1342 -x9289 -x7951 -x6390 -x3067 -x2912 -x1341 -x911 -x5668
1800.26	v -x2918 -x863 -x9294 -x8421 -x7968 -x7901 -x5669 -x2973 -x2159 -x5411 -x2974 -x2926 -x9297 -x5686 -x5410 -x3640 -x2160
1800.26	v -x1614 -x9295 -x7177 -x9111 -x8432 -x7178 -x3646 -x380 -x9107 -x5422 -x379 -x9106 -x8435 -x7910 -x8433 -x7055 -x7031 -x5425
1800.26	v -x527 -x9667 -x7056 -x7052 -x3649 -x529 -x9669 -x3230 -x535 -x7073 -x7047 -x1945 -x783 -x531 -x390 -x376 -x9386 -x4295
1800.26	v -x3360 -x3105 -x1944 -x543 -x394 -x9663 -x5734 -x4713 -x4297 -x10414 -x5915 -x4712 -x925 -x790 -x9664 -x5917 -x5912 -x2627
1800.26	v -x1248 -x946 -x396 -x5923 -x5911 -x4311 -x3474 -x942 -x397 -x7445 -x1941 -x1244 -x941 -x1948 -x10178 -x4709 -x1950 -x1242
1800.26	v -x1956 -x1491 -x8705 -x7674 -x5908 -x4423 -x2636 -x7676 -x1964 -x10674 -x5121 -x2988 -x10669 -x10192 -x9539 -x7670 -x5127
1800.26	v -x3775 -x220 -x10190 -x8183 -x4799 -x7671 -x6491 -x4800 -x4536 -x3771 -x3387 -x3004 -x623 -x10038 -x6493 -x4535 -x10039
1800.26	v -x5133 -x3769 -x3415 -x3393 -x619 -x6489 -x5134 -x4622 -x8761 -x2078 -x1086 -x10528 -x8763 -x7694 -x7150 -x10527 -x7152
1800.26	v -x6753 -x3746 -x9801 -x6752 -x5297 -x8757 -x7711 -x4011 -x3744 -x2075 -x50 -x4669 -x51 -x8758 -x7367 -x5018 -x4690 -x46
1800.26	v -x7478 -x7366 -x5613 -x5019 -x4686 -x4478 -x8237 -x7477 -x7298 -x6749 -x5014 -x4685 -x4480 -x481 -x282 -x44 -x8241 -x3705
1800.26	v -x2315 -x281 -x7294 -x5012 -x3707 -x2314 -x671 -x487 -x10504 -x3713 -x673 -x10505 -x10224 -x7493 -x7363 -x7292 -x4569
1800.26	v -x1271 -x10223 -x7492 -x1273 -x10522 -x10325 -x5513 -x4776 -x667 -x278 -x10329 -x7371 -x4199 -x2329 -x7370 -x1267 -x668
1800.26	v -x4338 -x10496 -x10331 -x10220 -x4578 -x4340 -x1268 -x10332 -x4346 -x10494 -x7386 -x5638 -x5509 -x7385 -x5637 -x4354
1800.26	v -x4474 -x10560 -x6706 -x4476 -x3055 -x7797 -x6708 -x2806 -x2726 -x10568 -x9577 -x8647 -x4752 -x2808 -x9843 -x9745 -x7434
1800.26	v -x5634 -x4470 -x2731 -x9749 -x7435 -x5188 -x10716 -x7430 -x6835 -x5190 -x4471 -x2802 -x2476 -x848 -x10718 -x9114 -x7000
1800.26	v -x6839 -x3932 -x2732 -x9115 -x8160 -x7428 -x3931 -x2803 -x844 -x9116 -x8162 -x6664 -x5204 -x9132 -x6841 -x6395 -x3939
1800.26	v -x3880 -x842 -x6842 -x6681 -x6394 -x3943 -x2961 -x850 -x8156 -x6680 -x5775 -x3947 -x2960 -x1343 -x852 -x3946 -x2164 -x1345
1800.26	v -x8157 -x3886 -x3356 -x3063 -x912 -x9282 -x3887 -x2683 -x910 -x9284 -x7971 -x6391 -x3352 -x1339 -x2975 -x7967 -x5689 -x3636
1800.26	v -x3350 -x2685 -x1340 -x9298 -x8420 -x5690 -x2686 -x1615 -x9108 -x8422 -x7965 -x5685 -x3642 -x9110 -x7911 -x5683 -x4830
1800.26	v -x3647 -x8436 -x7909 -x9104 -x7049 -x3650 -x9668 -x7051 -x3648 -x384 -x9105 -x7076 -x5736 -x383 -x7077 -x5738 -x530 -x7072
1800.26	v -x7045 -x551 -x391 -x9388 -x547 -x7070 -x7046 -x5732 -x3381 -x2623 -x1247 -x943 -x795 -x546 -x10416 -x1246 -x945 -x398
1800.26	v -x9390 -x5733 -x2629 -x9391 -x4315 -x10418 -x7447 -x4413 -x4314 -x3495 -x3375 -x939 -x10419 -x5935 -x3496 -x8701 -x5934
1800.26	v -x2637 -x1243 -x940 -x10177 -x7675 -x2635 -x1951 -x10671 -x10179 -x8704 -x7450 -x3489 -x10673 -x8173 -x3774 -x3006 -x2426
1800.26	v -x1967 -x5120 -x3773 -x3008 -x10667 -x5122 -x3384 -x2424 -x622 -x6492 -x621 -x219 -x10668 -x4818 -x3389 -x3002 -x221 -x5135
1800.26	v -x4819 -x10051 -x9547 -x4814 -x3770 -x3003 -x617 -x9548 -x6487 -x8762 -x7713 -x2079 -x1087 -x7715 -x49 -x48 -x9822 -x7709
1800.26	v -x5017 -x4687 -x4013 -x3745 -x5016 -x4689 -x7710 -x7297 -x7169 -x2866 -x1869 -x7296 -x2870 -x8239 -x4683 -x45 -x8243 -x7479
1800.26	v -x4481 -x672 -x480 -x7480 -x5013 -x4684 -x4565 -x4502 -x482 -x10319 -x3708 -x2316 -x1272 -x10525 -x10318 -x8245 -x7497
1800.26	v -x7293 -x4772 -x4571 -x4497 -x8246 -x3725 -x10521 -x10499 -x4775 -x3724 -x2334 -x10330 -x10519 -x9677 -x7784 -x4579 -x10333
1800.26	v -x9681 -x7372 -x4577 -x10495 -x4742 -x4475 -x9845 -x4741 -x4357 -x9847 -x9739 -x7796 -x2807 -x9738 -x7433 -x2478 -x7432
1800.26	v -x6829 -x2727 -x2480 -x9841 -x9746 -x8668 -x6828 -x6730 -x847 -x10717 -x9750 -x6726 -x846 -x9842 -x8664 -x6836 -x6725
1800.26	v -x2474 -x8161 -x5191 -x3874 -x9135 -x8662 -x7429 -x6682 -x5212 -x3873 -x2475 -x9136 -x6843 -x6684 -x5208 -x3933 -x9131
1800.26	v -x5771 -x5207 -x3934 -x843 -x3935 -x2673 -x1344 -x9129 -x6678 -x5774 -x3951 -x3355 -x3059 -x3888 -x3354 -x2962 -x9607
1800.26	v -x7970 -x6679 -x3065 -x9611 -x7969 -x5688 -x2931 -x2688 -x869 -x5687 -x2933 -x2687 -x3351 -x9302 -x9109 -x3635 -x9301
1800.26	v -x7966 -x7197 -x4826 -x3637 -x8423 -x7912 -x3643 -x5684 -x5433 -x4829 -x7050 -x5434 -x3651 -x8439 -x7075 -x9378 -x7074
1800.26	v -x5737 -x9377 -x548 -x550 -x385 -x3380 -x386 -x9389 -x3379 -x944 -x7437 -x7071 -x4316 -x794 -x544 -x4318 -x2622 -x5936
1800.26	v -x3494 -x2624 -x792 -x545 -x10420 -x5938 -x3493 -x4312 -x3376 -x4412 -x8700 -x5932 -x4313 -x2429 -x1969 -x10672 -x1971
1800.26	v -x5933 -x3490 -x10180 -x3007 -x10201 -x1965 -x10197 -x10196 -x8709 -x4817 -x2425 -x1966 -x5123 -x4816 -x10050 -x5143
1800.26	v -x10049 -x9549 -x5139 -x5138 -x4812 -x618 -x6488 -x7714 -x9821 -x7171 -x9820 -x7173 -x4688 -x5299 -x8233 -x10546 -x8232
1800.26	v -x7167 -x2865 -x2869 -x10544 -x9817 -x8796 -x7168 -x4499 -x4501 -x10524 -x8248 -x7500 -x10523 -x8247 -x7501 -x4564 -x483
1800.26	v -x7496 -x4771 -x4566 -x4495 -x2337 -x1877 -x10320 -x7494 -x4777 -x4496 -x3722 -x2333 -x10520 -x9676 -x3723 -x2331 -x9680
1800.26	v -x7393 -x4780 -x7394 -x9846 -x7387 -x4355 -x2479 -x8667 -x6727 -x4356 -x9740 -x8666 -x6729 -x9741 -x2743 -x9635 -x6830
1800.26	v -x2739 -x10570 -x9134 -x6723 -x5209 -x2738 -x9133 -x6683 -x5211 -x9471 -x8663 -x6848 -x6724 -x9475 -x3875 -x5205 -x3954
1800.26	v -x3955 -x9130 -x5776 -x5206 -x3950 -x871 -x873 -x9606 -x3948 -x2983 -x9610 -x2932 -x9303 -x5779 -x5472 -x2979 -x867 -x9305
1800.26	v -x2977 -x868 -x9299 -x7920 -x5432 -x4825 -x5431 -x3638 -x9300 -x4831 -x3659 -x439 -x8437 -x3654 -x549 -x8438 -x797 -x9524
1800.26	v -x406 -x4317 -x407 -x402 -x7436 -x5937 -x7817 -x793 -x400 -x8696 -x1970 -x8702 -x2641 -x10198 -x10200 -x8710 -x8708 -x10194
1800.26	v -x5140 -x5142 -x10195 -x231 -x5136 -x4813 -x7172 -x3833 -x5300 -x8234 -x4500 -x10545 -x8795 -x8235 -x7499 -x7498 -x10394
1800.26	v -x8252 -x4767 -x2873 -x2336 -x501 -x2874 -x2335 -x1876 -x503 -x9792 -x4773 -x10341 -x8804 -x7495 -x4778 -x4584 -x10337
1800.26	v -x7392 -x4583 -x2332 -x498 -x7391 -x4779 -x4360 -x10335 -x1909 -x10574 -x7803 -x7802 -x7388 -x6728 -x2740 -x2742 -x10639
1800.26	v -x10643 -x5210 -x9703 -x6851 -x2736 -x9755 -x6847 -x5766 -x3953 -x2737 -x9474 -x3952 -x6845 -x3896 -x872 -x5777 -x2982
1800.26	v -x2981 -x9608 -x8054 -x5780 -x3949 -x914 -x9304 -x8058 -x5778 -x5471 -x915 -x9614 -x7917 -x4821 -x2978 -x1624 -x9615 -x8442
1800.26	v -x7919 -x1628 -x4827 -x3656 -x3658 -x4832 -x7914 -x3652 -x9520 -x3653 -x405 -x404 -x9723 -x9523 -x10578 -x7813 -x7816
1800.26	v -x2643 -x401 -x2645 -x4433 -x2639 -x10199 -x8703 -x2640 -x5141 -x232 -x5137 -x2861 -x4027 -x2860 -x8791 -x10754 -x8255
1800.26	v -x2876 -x8256 -x2875 -x502 -x9788 -x8251 -x4024 -x10340 -x9791 -x8805 -x8249 -x4585 -x10339 -x8803 -x4774 -x4587 -x7396
1800.26	v -x10680 -x4581 -x10684 -x10336 -x4582 -x1908 -x10380 -x7800 -x2741 -x9760 -x7801 -x10638 -x6850 -x10642 -x6849 -x4759
1800.26	v -x9756 -x7466 -x3895 -x9639 -x7470 -x5765 -x3894 -x6846 -x5767 -x9602 -x9711 -x9601 -x2694 -x5781 -x8053 -x3891 -x8057
1800.26	v -x5473 -x9616 -x7918 -x1623 -x4820 -x3657 -x1627 -x8078 -x6296 -x8082 -x5480 -x4828 -x9519 -x446 -x447 -x10427 -x9722
1800.26	v -x7812 -x10577 -x2644 -x10579 -x9395 -x7457 -x4434 -x10763 -x7453 -x7454 -x4438 -x179 -x4442 -x3396 -x4028 -x2862 -x10750
1800.26	v -x8254 -x8790 -x8253 -x10753 -x8792 -x9787 -x4586 -x8250 -x10402 -x10679 -x4785 -x7805 -x1910 -x9627 -x9626 -x1917 -x9699
1800.26	v -x9466 -x9465 -x10646 -x7465 -x10647 -x5768 -x9603 -x5785 -x9604 -x5784 -x8059 -x8311 -x5474 -x6292 -x1625 -x1629 -x434
1800.26	v -x8077 -x6295 -x433 -x8081 -x1631 -x1632 -x9516 -x7809 -x10282 -x7458 -x9730 -x9731 -x4437 -x4441 -x7507 -x5379 -x10749
1800.26	v -x6109 -x2883 -x10390 -x9784 -x2879 -x9789 -x2877 -x8810 -x8809 -x4787 -x1881 -x4789 -x9694 -x4783 -x2024 -x2028 -x1905
1800.26	v -x4784 -x1904 -x10687 -x1911 -x10688 -x10386 -x10648 -x7467 -x5786 -x8049 -x8048 -x7474 -x5782 -x8060 -x1619 -x9620 -x5783
1800.26	v -x1618 -x9618 -x6291 -x8079 -x6297 -x4841 -x4843 -x1633 -x6300 -x4837 -x8086 -x4838 -x10278 -x8596 -x175 -x10630 -x10631
1800.26	v -x10348 -x7506 -x4446 -x8344 -x10746 -x6105 -x2882 -x2881 -x10751 -x8811 -x8813 -x2878 -x4788 -x8807 -x9693 -x8808 -x9692
1800.26	v -x5436 -x2023 -x2027 -x10690 -x10689 -x10377 -x9689 -x7462 -x9642 -x5787 -x9623 -x9622 -x8050 -x8223 -x8068 -x5489 -x8074
1800.26	v -x1620 -x9619 -x8073 -x6293 -x1621 -x4842 -x8315 -x6298 -x5483 -x6301 -x456 -x6299 -x450 -x8041 -x9534 -x9533 -x10594
1800.26	v -x10286 -x8595 -x174 -x2128 -x10347 -x7508 -x10766 -x3840 -x10752 -x8812 -x5435 -x2025 -x2029 -x2031 -x2032 -x9487 -x9643
1800.26	v -x10767 -x9697 -x5488 -x5487 -x8067 -x8065 -x1641 -x8314 -x6294 -x5484 -x1637 -x455 -x6302 -x454 -x1635 -x451 -x9531 -x8165
1800.26	v -x8169 -x9532 -x9435 -x7503 -x9975 -x8600 -x4452 -x9979 -x2127 -x2129 -x188 -x3845 -x3844 -x5383 -x5381 -x3841 -x5437
1800.26	v -x2030 -x1920 -x1919 -x7922 -x9696 -x8070 -x1640 -x1639 -x8230 -x8066 -x8231 -x1636 -x10769 -x7821 -x9431 -x8164 -x8168
1800.26	v -x9735 -x9434 -x8601 -x8599 -x9974 -x4451 -x4449 -x186 -x187 -x5382 -x10692 -x8166 -x10292 -x10291 -x3903 -x8602 -x9976
1800.26	v -x4450 -x2138 -x2140 -x9983 -x9429 -x8167 -x10289 -x10290 -x9977 -x2139 -x9428 -x9427
1800.27	c Somebody sent me a SIGTERM
1800.27	smodels-2.31: no process killed
1800.28	pb2smodels: no process killed

Verifier Data (download as text)

OK	155

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node18/watcher-45877-1154049036 -o ROOT/results/node18/solver-45877-1154049036 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node18/45877-1154049036/instance-45877-1154049036.opb 385393390 ROOT/tmp/node18/45877-1154049036 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 3/64 4950
/proc/meminfo: memFree=576640/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5256 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) R 4948 4950 4901 0 -1 4194304 59 0 0 0 0 0 0 0 19 0 1 0 151764169 5382144 42 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227846193872 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 1315 50 37 169 0 14 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.95 0.98 2/68 4955
/proc/meminfo: memFree=570728/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=6936 CPUtime=8.45
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1383 0 0 0 844 1 0 0 25 0 1 0 151764174 7102464 1347 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532392 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1734 1347 210 21 0 1170 0
[pid=4955] ppid=4952 vsize=12268 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151764174 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/4955/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.42
Current children cumulated vsize (Kb) 42188

[startup+20.0097 s]
/proc/loadavg: 0.94 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570792/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=6936 CPUtime=18.45
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1384 0 0 0 1844 1 0 0 25 0 1 0 151764174 7102464 1348 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518687 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1734 1348 210 21 0 1170 0
[pid=4955] ppid=4952 vsize=12268 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151764174 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/4955/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.42
Current children cumulated vsize (Kb) 42188

[startup+30.0167 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570792/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=6936 CPUtime=28.45
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1385 0 0 0 2844 1 0 0 25 0 1 0 151764174 7102464 1349 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532706 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1734 1349 210 21 0 1170 0
[pid=4955] ppid=4952 vsize=12268 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151764174 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/4955/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.42
Current children cumulated vsize (Kb) 42188

[startup+40.0227 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570856/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=6936 CPUtime=38.46
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1386 0 0 0 3845 1 0 0 25 0 1 0 151764174 7102464 1350 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532721 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1734 1350 210 21 0 1170 0
[pid=4955] ppid=4952 vsize=12268 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151764174 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/4955/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 40.43
Current children cumulated vsize (Kb) 42188

[startup+50.0287 s]
/proc/loadavg: 0.96 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570856/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=6936 CPUtime=48.46
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1388 0 0 0 4845 1 0 0 25 0 1 0 151764174 7102464 1352 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1734 1352 210 21 0 1170 0
[pid=4955] ppid=4952 vsize=12268 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151764174 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/4955/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (Kb) 42188

[startup+60.0346 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570344/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=7200 CPUtime=58.46
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1464 0 0 0 5845 1 0 0 25 0 1 0 151764174 7372800 1428 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539651 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1800 1428 213 21 0 1236 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 151764174 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 60.43
Current children cumulated vsize (Kb) 42876

[startup+70.0416 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570344/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=7200 CPUtime=68.46
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1464 0 0 0 6845 1 0 0 25 0 1 0 151764174 7372800 1428 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1800 1428 213 21 0 1236 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 151764174 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 70.43
Current children cumulated vsize (Kb) 42876

[startup+80.0486 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570344/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=7200 CPUtime=78.47
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1464 0 0 0 7846 1 0 0 25 0 1 0 151764174 7372800 1428 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 1800 1428 213 21 0 1236 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 151764174 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 80.44
Current children cumulated vsize (Kb) 42876

[startup+90.0556 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 4955
/proc/meminfo: memFree=570344/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=7200 CPUtime=88.47
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 1464 0 0 0 8846 1 0 0 25 0 1 0 151764174 7372800 1428 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179118 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (Kb) 52248

[startup+1794.22 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1792.22
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179219 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (Kb) 52248

[startup+1795.23 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1793.22
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179319 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529491 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (Kb) 52248

[startup+1796.23 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1794.23
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179420 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521466 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (Kb) 52248

[startup+1797.24 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1795.23
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179520 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532721 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (Kb) 52248

[startup+1798.24 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1796.24
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179621 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (Kb) 52248

[startup+1799.25 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1797.24
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179721 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532381 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (Kb) 52248

[startup+1800.25 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1798.25
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179822 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (Kb) 52248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.26 s]
/proc/loadavg: 1.00 0.99 0.98 2/68 4955
/proc/meminfo: memFree=560424/2055920 swapFree=4152732/4192956
[pid=4950] ppid=4948 vsize=5360 CPUtime=0
/proc/4950/stat : 4950 (runpbsmodels) S 4948 4950 4901 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151764169 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4950/statm: 1340 234 195 169 0 51 0
[pid=4951] ppid=4950 vsize=12268 CPUtime=0
/proc/4951/stat : 4951 (pbsmodels-v1.31) S 4950 4950 4901 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151764170 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227857710996 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4951/statm: 3067 383 293 3 0 167 0
[pid=4952] ppid=4951 vsize=5356 CPUtime=1.97
/proc/4952/stat : 4952 (sh) S 4951 4950 4901 0 -1 4194304 309 1286 0 0 0 0 196 1 16 0 1 0 151764174 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4952/statm: 1339 227 188 169 0 50 0
[pid=4954] ppid=4952 vsize=16572 CPUtime=1798.25
/proc/4954/stat : 4954 (smodels-2.31) R 4952 4950 4901 0 -1 4194304 3808 0 0 0 179822 3 0 0 25 0 1 0 151764174 16969728 3772 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521721 0 0 4096 0 0 0 0 17 1 0 0
/proc/4954/statm: 4143 3772 213 21 0 3579 0
[pid=4955] ppid=4952 vsize=12692 CPUtime=0
/proc/4955/stat : 4955 (pbout.new.pl) S 4952 4950 4901 0 -1 4194304 568 0 0 0 0 0 0 0 17 0 1 0 151764174 12996608 528 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 227857707106 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/4955/statm: 3173 528 333 3 0 273 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (Kb) 52248

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 4950 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.22

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.28
CPU time (s): 1800.22
CPU user time (s): 1800.18
CPU system time (s): 0.04
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (Kb): 52248
The end

Launcher Data (download as text)

Begin job on node18 on Fri Jul 28 01:10:36 UTC 2006


FILE ID= 45877-1154049036

PBS_JOBID= 881793

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node18/45877-1154049036/instance-45877-1154049036.opb 385393390  ROOT/tmp/node18/45877-1154049036
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-45877-1154049036 -o ROOT/results/node18/solver-45877-1154049036 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node18/45877-1154049036/instance-45877-1154049036.opb 385393390  ROOT/tmp/node18/45877-1154049036

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  9d611ad786b3505d4cca46af1ba2bc6d

RANDOM SEED= 385393390

TIMEOUT= 1800 seconds


/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.236
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.236
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:        576848 kB
Buffers:         36796 kB
Cached:        1349292 kB
SwapCached:      33956 kB
Active:         291580 kB
Inactive:      1134388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        576848 kB
SwapTotal:     4192956 kB
SwapFree:      4152732 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14560 kB
Slab:            39168 kB
Committed_AS:   564488 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node18 on Fri Jul 28 01:40:36 UTC 2006