Trace number 45244

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.31SAT (TO)107878 1800.74 1798.32

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

Verifier Data (download as text)

OK	107878

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/node36/watcher-45244-1154025084 -o ROOT/results/node36/solver-45244-1154025084 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node36/45244-1154025084/instance-45244-1154025084.opb 50765729 ROOT/tmp/node36/45244-1154025084 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 17487
/proc/meminfo: memFree=1290056/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=6268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) R 17487 17487 17438 0 -1 4194304 64 0 0 0 0 0 0 0 20 0 1 0 149379795 6418432 46 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258370206045 0 0 4096 0 0 0 0 17 1 0 0
/proc/17488/statm: 1567 47 36 3 0 8 0

[startup+10.0023 s]
/proc/loadavg: 1.01 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274408/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=7.71
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3784 0 0 0 770 1 0 0 25 0 1 0 149379796 16941056 3748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552469 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3748 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (Kb) 51796

[startup+20.0083 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274664/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=17.71
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3784 0 0 0 1770 1 0 0 25 0 1 0 149379796 16941056 3748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553216 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3748 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (Kb) 51796

[startup+30.0153 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274728/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=27.71
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3784 0 0 0 2770 1 0 0 25 0 1 0 149379796 16941056 3748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521002 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3748 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 32.95
Current children cumulated vsize (Kb) 51796

[startup+40.0223 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274792/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=37.76
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3784 0 0 0 3775 1 0 0 25 0 1 0 149379796 16941056 3748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3748 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 43
Current children cumulated vsize (Kb) 51796

[startup+50.0733 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274792/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=47.77
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3784 0 0 0 4776 1 0 0 25 0 1 0 149379796 16941056 3748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532894 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3748 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 53.01
Current children cumulated vsize (Kb) 51796

[startup+60.0804 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274856/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=57.77
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3785 0 0 0 5776 1 0 0 25 0 1 0 149379796 16941056 3749 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3749 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 63.01
Current children cumulated vsize (Kb) 51796

[startup+70.0864 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274856/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=67.77
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3785 0 0 0 6776 1 0 0 25 0 1 0 149379796 16941056 3749 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552466 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3749 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 73.01
Current children cumulated vsize (Kb) 51796

[startup+80.0924 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274856/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=16544 CPUtime=77.78
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 3785 0 0 0 7777 1 0 0 25 0 1 0 149379796 16941056 3749 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552050 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4136 3749 211 21 0 3572 0
[pid=17492] ppid=17489 vsize=12268 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149379796 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 83.02
Current children cumulated vsize (Kb) 51796

[startup+90.0984 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17492
/proc/meminfo: memFree=1274856/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 178841 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1793.72
Current children cumulated vsize (Kb) 54068

[startup+1792.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17628
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1789.48
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 178941 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (Kb) 54068

[startup+1793.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17628
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1790.48
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179041 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552037 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1795.72
Current children cumulated vsize (Kb) 54068

[startup+1794.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17628
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1791.49
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179142 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (Kb) 54068

[startup+1795.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17632
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1792.49
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179242 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (Kb) 54068

[startup+1796.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17632
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1793.5
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179343 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553119 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (Kb) 54068

[startup+1797.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17632
/proc/meminfo: memFree=1271096/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1794.5
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179443 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (Kb) 54068

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17652
/proc/meminfo: memFree=1271032/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1795.5
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179543 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552090 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (Kb) 54068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 17652
/proc/meminfo: memFree=1271032/2055920 swapFree=4183160/4192956
[pid=17487] ppid=17485 vsize=5360 CPUtime=0
/proc/17487/stat : 17487 (runpbsmodels) S 17485 17487 17438 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149379795 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17487/statm: 1340 234 195 169 0 51 0
[pid=17488] ppid=17487 vsize=12268 CPUtime=0
/proc/17488/stat : 17488 (pbsmodels-v1.31) S 17487 17487 17438 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149379795 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 258381758356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/17488/statm: 3067 383 293 3 0 167 0
[pid=17489] ppid=17488 vsize=5356 CPUtime=5.24
/proc/17489/stat : 17489 (sh) S 17488 17487 17438 0 -1 4194304 309 1284 0 0 0 0 523 1 16 0 1 0 149379796 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 258372854596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17489/statm: 1339 227 188 169 0 50 0
[pid=17491] ppid=17489 vsize=18392 CPUtime=1795.5
/proc/17491/stat : 17491 (smodels-2.31) R 17489 17487 17438 0 -1 4194304 4240 0 0 0 179543 7 0 0 25 0 1 0 149379796 18833408 4204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552466 0 0 4096 0 0 0 0 17 1 0 0
/proc/17491/statm: 4598 4204 214 21 0 4034 0
[pid=17492] ppid=17489 vsize=12692 CPUtime=0
/proc/17492/stat : 17492 (pbout.new.pl) S 17489 17487 17438 0 -1 4194304 550 0 0 0 0 0 0 0 16 0 1 0 149379796 12996608 510 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 258381754466 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17492/statm: 3173 510 333 3 0 273 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (Kb) 54068

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 17487 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999
CPU time returned by wait4() is 0.003998
while last known CPU time is 1800.74

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

Real time (s): 1798.32
CPU time (s): 1800.74
CPU user time (s): 1800.66
CPU system time (s): 0.08
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (Kb): 54068
The end

Launcher Data (download as text)

Begin job on node36 on Thu Jul 27 18:31:24 UTC 2006


FILE ID= 45244-1154025084

PBS_JOBID= 880749

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-v1.31/runpbsmodels ROOT/tmp/node36/45244-1154025084/instance-45244-1154025084.opb 50765729  ROOT/tmp/node36/45244-1154025084
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-45244-1154025084 -o ROOT/results/node36/solver-45244-1154025084 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node36/45244-1154025084/instance-45244-1154025084.opb 50765729  ROOT/tmp/node36/45244-1154025084

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 50765729

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.218
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.218
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:       1290264 kB
Buffers:         36496 kB
Cached:         643332 kB
SwapCached:       3640 kB
Active:          82964 kB
Inactive:       605496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1290264 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            63200 kB
Committed_AS:   499016 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Thu Jul 27 19:01:23 UTC 2006