Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 107878 | 1800.74 | 1798.32 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb |
MD5SUM | 6c96e127d2f61e098d2015d63d4a25a7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 104536 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 99995 |
Optimality of the best value was proved | NO |
Number of variables | 10582 |
Total number of constraints | 5865 |
Number of constraints which are clauses | 651 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5214 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 198 |
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 numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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
OK 107878
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
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