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