Trace number 33821

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.28SAT (TO)108635 1800.68 1798.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
MD5SUM6c96e127d2f61e098d2015d63d4a25a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark104536
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 99995
Optimality of the best value was proved NO
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 229
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 529702
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 529702
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	108635

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/node15/watcher-33821-1154025046 -o ROOT/results/node15/solver-33821-1154025046 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node15/33821-1154025046/instance-33821-1154025046.opb 668001518 ROOT/tmp/node15/33821-1154025046 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 3/64 15140
/proc/meminfo: memFree=931024/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5256 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) R 15138 15140 15091 0 -1 4194304 62 0 0 0 0 0 0 0 19 0 1 0 149365417 5382144 45 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240469998672 0 0 4096 0 0 0 0 17 1 0 0
/proc/15140/statm: 1315 51 37 169 0 17 0

[startup+10.0027 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=916848/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=7.64
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 762 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550967 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (Kb) 50264

[startup+20.0086 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=916976/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=17.64
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 1762 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 22.96
Current children cumulated vsize (Kb) 50264

[startup+30.0145 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917040/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=27.64
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 2762 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555316 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 32.96
Current children cumulated vsize (Kb) 50264

[startup+40.0204 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=37.64
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 3762 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 42.96
Current children cumulated vsize (Kb) 50264

[startup+50.0273 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=47.65
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 4763 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 52.97
Current children cumulated vsize (Kb) 50264

[startup+60.0343 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=57.65
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 5763 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 62.97
Current children cumulated vsize (Kb) 50264

[startup+70.0412 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=67.66
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 6764 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550205 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 72.98
Current children cumulated vsize (Kb) 50264

[startup+80.0471 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=77.66
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 7764 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549059 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3373 210 20 0 3190 0
[pid=15145] ppid=15142 vsize=12268 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149365418 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 82.98
Current children cumulated vsize (Kb) 50264

[startup+90.0531 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15145
/proc/meminfo: memFree=917104/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=87.66
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3409 0 0 0 8764 2 0 0 25 0 1 0 149365418 15372288 3373 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 178828 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551122 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 50688

[startup+1792.18 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1789.33
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 178929 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 50688

[startup+1793.19 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1790.33
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179029 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551044 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 50688

[startup+1794.19 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1791.34
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179130 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 50688

[startup+1795.2 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1792.34
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179230 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 50688

[startup+1796.2 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1793.35
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179331 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531217 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 50688

[startup+1797.21 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1794.35
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179431 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 50688

[startup+1798.21 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1795.36
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179532 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550967 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 50688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.22 s]
/proc/loadavg: 1.00 0.98 0.99 2/68 15147
/proc/meminfo: memFree=916272/2055920 swapFree=4182804/4192956
[pid=15140] ppid=15138 vsize=5360 CPUtime=0
/proc/15140/stat : 15140 (runpbsmodels) S 15138 15140 15091 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149365417 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15140/statm: 1340 234 195 169 0 51 0
[pid=15141] ppid=15140 vsize=12268 CPUtime=0
/proc/15141/stat : 15141 (pbsmodels-v1.28) S 15140 15140 15091 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149365417 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15141/statm: 3067 383 293 3 0 167 0
[pid=15142] ppid=15141 vsize=5356 CPUtime=5.32
/proc/15142/stat : 15142 (sh) S 15141 15140 15091 0 -1 4194304 311 1307 0 0 0 0 531 1 16 0 1 0 149365418 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15142/statm: 1339 227 188 169 0 50 0
[pid=15144] ppid=15142 vsize=15012 CPUtime=1795.36
/proc/15144/stat : 15144 (smodels) R 15142 15140 15091 0 -1 4194304 3419 0 0 0 179532 4 0 0 25 0 1 0 149365418 15372288 3383 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531220 0 0 4096 0 0 0 0 17 1 0 0
/proc/15144/statm: 3753 3383 212 20 0 3190 0
[pid=15145] ppid=15142 vsize=12692 CPUtime=0
/proc/15145/stat : 15145 (pbout.pl) S 15142 15140 15091 0 -1 4194304 551 0 0 0 0 0 0 0 16 0 1 0 149365418 12996608 510 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240481513570 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15145/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 50688

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 15140 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.68

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

Real time (s): 1798.24
CPU time (s): 1800.68
CPU user time (s): 1800.63
CPU system time (s): 0.05
CPU usage (%): 100.136
Max. virtual memory (cumulated for all children) (Kb): 50688
The end

Launcher Data (download as text)

Begin job on node15 on Thu Jul 27 18:30:46 UTC 2006


FILE ID= 33821-1154025046

PBS_JOBID= 880748

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node15/33821-1154025046/instance-33821-1154025046.opb 668001518  ROOT/tmp/node15/33821-1154025046
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-33821-1154025046 -o ROOT/results/node15/solver-33821-1154025046 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node15/33821-1154025046/instance-33821-1154025046.opb 668001518  ROOT/tmp/node15/33821-1154025046

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 668001518

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.227
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.227
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:        931232 kB
Buffers:         23256 kB
Cached:        1020432 kB
SwapCached:       3852 kB
Active:         214916 kB
Inactive:       837384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        931232 kB
SwapTotal:     4192956 kB
SwapFree:      4182804 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14516 kB
Slab:            58428 kB
Committed_AS:   651732 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node15 on Thu Jul 27 19:00:44 UTC 2006