Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | OPT | 25 | 18.6682 | 18.6719 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb |
| MD5SUM | 90acfb7d1c18536583ef7e2a90905f54 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.50162 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 7798 |
| Total number of constraints | 24318 |
| Number of constraints which are clauses | 24318 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3790 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3790 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.15 c SCIP version 1.1.0.7 0.09/0.15 c LP-Solver SoPlex 1.4.1 0.09/0.15 c user parameter file <scip.set> not found - using default parameters 0.09/0.15 c read problem <HOME/instance-3735636-1338710352.opb> 0.09/0.15 c original problem has 7798 variables (7798 bin, 0 int, 0 impl, 0 cont) and 24318 constraints 0.09/0.18 c start presolving problem 0.09/0.18 c presolving: 0.19/0.27 c (round 1) 4397 del vars, 8166 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44016 impls, 0 clqs 0.19/0.28 c (round 2) 4398 del vars, 10600 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44016 impls, 0 clqs 0.28/0.33 c (round 3) 4398 del vars, 10604 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 13684 upgd conss, 44016 impls, 0 clqs 0.28/0.34 c (round 4) 4398 del vars, 10604 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 13714 upgd conss, 44016 impls, 0 clqs 0.28/0.39 c (0.2s) probing: 101/3400 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.28/0.39 c (0.2s) probing aborted: 100/100 successive totally useless probings 0.28/0.39 c presolving (5 rounds): 0.28/0.39 c 4398 deleted vars, 10604 deleted constraints, 610 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.28/0.39 c 44016 implications, 0 cliques 0.28/0.39 c presolved problem has 3400 variables (3400 bin, 0 int, 0 impl, 0 cont) and 13714 constraints 0.28/0.39 c 13714 constraints of type <logicor> 0.28/0.39 c transformed objective value is always integral (scale: 1) 0.28/0.39 c Presolving Time: 0.20 0.28/0.39 c strange?!, PURESAT with obj 0.28/0.39 c ----------------------------------------------------------------------------------------------- 0.28/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.28/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.28/0.39 c limits/memory = c 13950 0.28/0.39 c # maximal time in seconds to run 0.28/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.28/0.39 c limits/time = c 1791 0.28/0.39 c # frequency for displaying node information lines 0.28/0.39 c # [type: int, range: [-1,2147483647], default: 100] 0.28/0.39 c display/freq = c 10000 0.28/0.39 c ----------------------------------------------------------------------------------------------- 0.28/0.39 c start solving problem 0.28/0.39 c 0.48/0.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.48/0.52 c 0.3s| 1 | 0 | 715 | 35M| 0 | 142 |3400 | 13k| 13k|3400 | 13k| 0 | 0 | 0 | 2.344444e+01 | -- | Inf 0.48/0.53 o 46 0.48/0.53 c R 0.4s| 1 | 0 | 715 | 35M| 0 | 142 |3400 | 13k| 13k|3400 | 13k| 0 | 0 | 0 | 2.344444e+01 | 4.600000e+01 | 96.21% 0.99/1.02 c 0.8s| 1 | 0 | 851 | 36M| 0 | 146 |3400 | 13k| 13k|3400 | 13k| 4 | 0 | 0 | 2.363889e+01 | 4.600000e+01 | 94.59% 1.49/1.54 c 1.4s| 1 | 0 | 1029 | 36M| 0 | 134 |3400 | 13k| 13k|3400 | 13k| 9 | 0 | 0 | 2.378571e+01 | 4.600000e+01 | 93.39% 1.49/1.55 o 44 1.49/1.55 c R 1.4s| 1 | 0 | 1029 | 37M| 0 | 134 |3400 | 13k| 13k|3400 | 13k| 9 | 0 | 0 | 2.378571e+01 | 4.400000e+01 | 84.98% 2.10/2.12 c 1.9s| 1 | 0 | 1151 | 37M| 0 | 127 |3400 | 13k| 13k|3400 | 13k| 16 | 0 | 0 | 2.378571e+01 | 4.400000e+01 | 84.98% 2.68/2.75 c 2.6s| 1 | 0 | 1282 | 38M| 0 | 187 |3400 | 13k| 13k|3400 | 13k| 18 | 0 | 0 | 2.380974e+01 | 4.400000e+01 | 84.80% 4.59/4.61 c 4.4s| 1 | 0 | 1433 | 38M| 0 | 174 |3400 | 13k| 13k|3400 | 13k| 22 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 6.39/6.44 c 6.2s| 1 | 0 | 1599 | 39M| 0 | 158 |3400 | 13k| 13k|3400 | 13k| 26 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 8.48/8.58 c 8.4s| 1 | 0 | 1656 | 39M| 0 | 189 |3400 | 13k| 13k|3400 | 13k| 28 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 10.58/10.63 c 10.4s| 1 | 0 | 1663 | 39M| 0 | 186 |3400 | 13k| 13k|3400 | 13k| 31 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 12.69/12.78 c 12.6s| 1 | 0 | 1800 | 39M| 0 | 210 |3400 | 13k| 13k|3400 | 13k| 33 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 14.78/14.83 c 14.6s| 1 | 0 | 1828 | 39M| 0 | 239 |3400 | 13k| 13k|3400 | 13k| 36 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33% 14.78/14.84 o 43 14.78/14.84 c k14.6s| 1 | 0 | 1828 | 39M| 0 | 239 |3400 | 13k| 13k|3400 | 13k| 36 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17% 14.99/15.02 o 25 14.99/15.02 c E14.8s| 1 | 0 | 1828 | 39M| 0 | 239 |3400 | 13k| 13k|3400 | 13k| 36 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17% 14.99/15.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.99/15.03 c 14.8s| 1 | 0 | 1828 | 39M| 0 | 239 |3400 | 13k| 13k|3400 | 13k| 36 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17% 16.79/16.85 c 16.6s| 1 | 0 | 1834 | 36M| 0 | 231 |3400 | 10k| 10k|3400 |2087 | 38 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17% 17.59/17.69 c 17.4s| 1 | 0 | 1834 | 36M| 0 | - |3400 | 10k| 10k|3400 |2087 | 38 | 0 | 8 | 2.400000e+01 | 2.500000e+01 | 4.17% 17.59/17.69 c (run 1, node 1) restarting after 2661 global fixings of integer variables 17.59/17.69 c 17.59/17.69 (restart) converted 36 cuts from the global cut pool into linear constraints 17.69/17.70 c 17.69/17.70 presolving: 17.69/17.71 c (round 1) 2679 del vars, 8704 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44016 impls, 23 clqs 17.69/17.71 c (round 2) 2679 del vars, 8728 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 35 upgd conss, 44016 impls, 23 clqs 17.69/17.73 c (round 3) 2679 del vars, 8730 del conss, 2 chg bounds, 0 chg sides, 1 chg coeffs, 35 upgd conss, 44016 impls, 23 clqs 17.69/17.74 c presolving (4 rounds): 17.69/17.74 c 2679 deleted vars, 8730 deleted constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients 17.69/17.74 c 44016 implications, 23 cliques 17.69/17.74 c presolved problem has 721 variables (721 bin, 0 int, 0 impl, 0 cont) and 1924 constraints 17.69/17.74 c 10 constraints of type <knapsack> 17.69/17.74 c 23 constraints of type <setppc> 17.69/17.74 c 1891 constraints of type <logicor> 17.69/17.74 c transformed objective value is always integral (scale: 1) 17.69/17.74 c Presolving Time: 0.24 17.69/17.74 c 17.78/17.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 17.78/17.85 c 17.6s| 1 | 0 | 3038 | 28M| 0 | 137 | 721 |1924 |1924 | 721 |1924 | 0 | 0 | 8 | 2.400000e+01 | 2.500000e+01 | 4.17% 17.98/18.07 c 17.8s| 1 | 0 | 3043 | 28M| 0 | 147 | 721 |1873 |1873 | 721 |1755 | 1 | 0 | 8 | 2.400000e+01 | 2.500000e+01 | 4.17% 18.28/18.39 c 18.1s| 1 | 0 | 3115 | 28M| 0 | 142 | 721 |1872 |1872 | 721 |1755 | 1 | 0 | 13 | 2.400000e+01 | 2.500000e+01 | 4.17% 18.59/18.63 c 18.4s| 1 | 0 | 3193 | 28M| 0 | - | 721 |1870 |1870 | 721 |1755 | 1 | 0 | 18 | 2.500000e+01 | 2.500000e+01 | 0.00% 18.59/18.63 c 18.4s| 1 | 0 | 3193 | 28M| 0 | - | 721 |1870 |1870 | 721 |1755 | 1 | 0 | 18 | 2.500000e+01 | 2.500000e+01 | 0.00% 18.59/18.63 c 18.59/18.63 c SCIP Status : problem is solved [optimal solution found] 18.59/18.63 c Solving Time (sec) : 18.37 18.59/18.63 c Solving Nodes : 1 (total of 2 nodes in 2 runs) 18.59/18.63 c Primal Bound : +2.50000000000000e+01 (5 solutions) 18.59/18.63 c Dual Bound : +2.50000000000000e+01 18.59/18.63 c Gap : 0.00 % 18.59/18.64 c NODE 1 18.59/18.64 c DUAL BOUND 25 18.59/18.64 c PRIMAL BOUND 25 18.59/18.64 c GAP 0 18.59/18.64 s OPTIMUM FOUND 18.59/18.64 v x230 x229 x7797 x228 x7795 -x7793 -x227 -x7791 x226 x7789 x7787 -x7785 -x7783 -x7781 x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767 18.59/18.64 v -x225 -x7765 -x224 -x7763 -x7761 -x7759 -x223 -x7757 -x7755 -x222 -x7753 -x7751 -x7749 -x7747 x7745 -x7743 -x7741 -x7739 18.59/18.64 v -x7737 -x7735 -x221 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7721 -x220 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 18.59/18.64 v -x219 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x218 -x7679 x217 x7677 -x7675 18.59/18.64 v -x7673 -x216 -x7671 -x7669 -x7667 -x215 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 x7651 -x7649 -x7647 -x214 -x7645 18.59/18.64 v -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x213 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x212 -x7617 -x7615 -x7613 18.59/18.64 v -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x211 -x7587 -x7585 -x7583 -x210 -x7581 -x7579 18.59/18.64 v -x7577 -x7575 -x7573 -x7571 -x7569 -x209 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x208 -x7553 -x7551 -x7549 x7547 18.59/18.64 v -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 x7521 -x7519 -x7517 -x7515 -x7513 -x7511 18.59/18.64 v x207 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 -x206 -x7479 18.59/18.64 v -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x205 -x7449 -x7447 -x7445 18.59/18.64 v -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7414 -x7412 -x7410 -x7408 18.59/18.64 v -x7406 x7404 -x7402 -x7400 -x7398 -x7396 -x7394 -x204 -x7392 -x7390 -x7388 -x203 -x7386 -x7384 -x7382 -x202 -x7380 -x7378 18.59/18.64 v -x7376 -x7374 -x7372 -x7370 -x7368 -x201 -x7366 -x7364 -x200 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x199 -x7348 -x7346 18.59/18.64 v -x7344 -x7342 -x7340 -x7338 -x7336 -x198 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 18.59/18.64 v -x7310 -x7308 -x7306 -x197 -x7304 -x7302 -x7300 -x196 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x195 -x7284 -x7282 18.59/18.64 v -x7280 -x7278 -x7276 -x7274 -x194 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 18.59/18.64 v -x7246 -x7244 -x193 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x192 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 18.59/18.64 v -x7214 -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x191 -x7198 -x7196 -x7194 -x7192 -x7190 -x7188 -x7186 -x7184 -x7182 18.59/18.64 v -x7180 -x7178 -x7176 -x7174 -x7172 -x190 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 18.59/18.64 v -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 18.59/18.64 v -x7110 -x189 -x7108 -x7106 -x7104 -x188 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x187 -x7088 -x7086 -x7084 -x7082 18.59/18.64 v -x7080 -x7078 -x7076 -x186 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 18.59/18.64 v -x7046 -x185 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x184 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 18.59/18.64 v -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x183 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 18.59/18.64 v -x6980 -x6978 -x6976 -x6974 -x6972 -x182 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 18.59/18.64 v -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 18.59/18.64 v -x6910 -x181 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x180 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 18.59/18.64 v -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x179 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 18.59/18.64 v -x6844 -x6842 -x6840 -x6838 -x6836 -x178 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 18.59/18.64 v -x6810 -x6808 -x6806 -x177 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 18.59/18.64 v -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x176 18.59/18.64 v -x6742 -x175 -x6740 -x6738 -x6736 -x174 -x6734 -x6732 -x6730 -x173 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x172 -x6714 18.59/18.64 v -x6712 -x6710 -x171 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x170 -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 18.59/18.64 v -x169 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 -x6656 -x6654 -x6652 -x168 -x6650 18.59/18.64 v -x6648 -x6646 -x167 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x166 -x6630 -x6628 -x6626 -x6624 x6622 -x6620 -x6618 18.59/18.64 v x165 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x164 -x6586 x6584 18.59/18.64 v -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 18.59/18.64 v -x6546 -x6544 -x163 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 18.59/18.64 v -x162 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 18.59/18.64 v -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x161 -x6450 -x6448 -x6446 18.59/18.64 v -x160 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x159 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x158 -x6416 18.59/18.64 v -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x157 -x6386 -x6384 -x6382 18.59/18.64 v -x6380 -x6378 -x6376 -x6374 -x156 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 18.59/18.64 v -x6346 -x6344 -x155 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 18.59/18.64 v -x154 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 18.59/18.64 v -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x153 -x6250 -x6248 -x6246 18.59/18.64 v -x6244 -x6242 -x6240 -x6238 -x152 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 18.59/18.64 v -x6210 -x6208 -x151 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 18.59/18.64 v -x150 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 18.59/18.64 v -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x149 -x6114 -x6112 -x6110 18.59/18.64 v -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x148 -x6084 -x6082 -x6080 -x6078 -x6076 18.59/18.64 v -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 18.59/18.64 v -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x147 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 18.59/18.64 v -x6003 -x6001 -x5999 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 18.59/18.64 v -x5966 -x146 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 18.59/18.64 v -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 18.59/18.64 v -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 18.59/18.64 v -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x145 -x5838 -x5836 -x5834 -x144 -x5832 -x5830 18.59/18.64 v -x5828 -x5826 x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x143 -x5804 -x5802 -x5800 -x5798 -x5796 18.59/18.64 v -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x142 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 18.59/18.64 v -x141 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 x5734 -x5732 -x5730 -x5728 18.59/18.64 v -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x140 -x5700 -x5698 -x5696 -x5694 18.59/18.64 v -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 18.59/18.64 v -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x139 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x138 18.59/18.64 v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x137 -x5594 -x5592 18.59/18.64 v -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x136 -x5564 -x5562 -x5560 -x5558 18.59/18.64 v -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 18.59/18.64 v -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x135 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 18.59/18.64 v -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 18.59/18.64 v -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5423 -x5421 -x5419 -x5417 -x5415 18.59/18.64 v -x134 -x5413 -x5411 -x5409 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 18.59/18.64 v -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x133 -x5352 -x5350 -x5348 -x5346 18.59/18.64 v -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 18.59/18.64 v -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 18.59/18.64 v -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 18.59/18.64 v -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x132 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x131 -x5212 -x5210 -x5208 18.59/18.64 v -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x130 -x5182 -x5180 -x5178 -x5176 -x5174 18.59/18.64 v -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x129 -x5152 -x128 -x5150 -x5148 -x5146 -x127 -x5144 -x5142 18.59/18.64 v -x5140 -x126 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x125 -x5124 -x5122 -x5120 -x124 -x5118 -x5116 -x5114 -x5112 18.59/18.64 v -x5110 -x5108 -x5106 -x123 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x122 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 18.59/18.64 v -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x121 -x5060 -x5058 -x120 -x5056 -x5054 -x5052 -x5050 -x5048 18.59/18.64 v -x5046 -x5044 -x119 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x118 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 18.59/18.64 v -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x117 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x116 -x4984 18.59/18.64 v -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x115 -x4954 -x4952 -x4950 18.59/18.64 v -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x114 -x4924 -x4922 -x4920 -x4918 -x4916 18.59/18.64 v -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 18.59/18.64 v -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x113 -x4862 -x4860 -x4858 -x112 -x4856 -x4854 -x4852 -x4850 -x4848 18.59/18.64 v -x4846 -x4844 -x111 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x110 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 18.59/18.64 v -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x109 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x108 -x4784 -x4782 18.59/18.64 v -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x107 -x4754 -x4752 -x4750 -x4748 18.59/18.64 v -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x106 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 18.59/18.64 v -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 18.59/18.64 v -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x105 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x104 -x4648 -x4646 18.59/18.64 v -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x103 -x4618 -x4616 -x4614 -x4612 18.59/18.64 v -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x102 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 18.59/18.64 v -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 18.59/18.64 v -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x101 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 18.59/18.64 v -x4506 -x4504 -x4502 -x4500 -x4498 -x100 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 18.59/18.64 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 18.59/18.64 v -x4438 -x4436 -x99 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 18.59/18.64 v -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x98 -x4372 -x4370 18.59/18.64 v -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 18.59/18.64 v -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 18.59/18.64 v -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 18.59/18.64 v -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x97 -x4247 -x4245 -x4243 -x96 -x4241 -x4239 -x4237 -x4235 -x4233 x4231 -x4229 18.59/18.64 v -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x95 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x94 -x4199 -x4197 18.59/18.64 v -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x93 -x4169 -x4167 -x4165 -x4163 18.59/18.64 v -x4161 -x4159 -x4157 -x92 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x91 -x4129 18.59/18.64 v -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x90 -x4099 -x4097 -x4095 18.59/18.64 v -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 18.59/18.64 v -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x89 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 18.59/18.64 v -x88 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x87 -x3993 18.59/18.64 v -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x86 -x3963 -x3961 -x3959 -x3957 18.59/18.64 v -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x85 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 18.59/18.64 v -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 18.59/18.64 v -x3884 -x3882 -x3880 -x3878 -x3876 -x84 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 18.59/18.64 v -x3850 -x3848 -x3846 -x83 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 18.59/18.64 v -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x82 18.59/18.64 v -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 18.59/18.64 v -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x81 -x3720 -x3718 -x3716 -x3714 18.59/18.64 v -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 18.59/18.64 v -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 18.59/18.64 v -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 18.59/18.64 v -x3603 -x3601 -x3599 -x3597 -x3595 -x80 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x79 -x3579 -x3577 -x3575 -x3573 18.59/18.64 v -x3571 -x3569 -x3567 -x78 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 18.59/18.64 v -x3537 -x77 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x76 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 18.59/18.64 v -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x75 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 18.59/18.64 v -x3469 -x3467 -x3465 -x3463 -x74 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 18.59/18.64 v -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 18.59/18.64 v -x73 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x72 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 18.59/18.64 v -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x71 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 18.59/18.64 v -x3333 -x3331 -x3329 -x3327 -x70 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 18.59/18.64 v -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 18.59/18.64 v -x69 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x68 -x3233 -x3231 18.59/18.64 v -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 18.59/18.64 v -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x67 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 18.59/18.64 v -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 18.59/18.64 v -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x66 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 18.59/18.64 v -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 18.59/18.64 v -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 18.59/18.64 v -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 18.59/18.64 v -x65 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x64 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 18.59/18.64 v -x2949 -x2947 -x2945 -x2943 -x2941 -x63 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 18.59/18.64 v -x2915 -x2913 -x2911 -x62 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 18.59/18.64 v -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x61 18.59/18.64 v -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x60 -x2817 -x2815 18.59/18.64 v -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 18.59/18.64 v -x2777 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x59 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 18.59/18.64 v -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 18.59/18.64 v -x2705 -x2703 -x2701 -x2699 -x2697 -x58 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 18.59/18.64 v -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 18.59/18.64 v -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 18.59/18.64 v -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x57 -x2569 -x2567 18.59/18.64 v -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x56 -x2539 -x2537 -x2535 -x2533 18.59/18.64 v -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 18.59/18.64 v -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x55 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 18.59/18.64 v -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 18.59/18.64 v -x2425 -x2423 -x2421 -x2419 -x2417 -x54 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 18.59/18.64 v -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 18.59/18.64 v -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 18.59/18.64 v -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x53 -x2290 -x2288 -x2286 18.59/18.64 v -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 18.59/18.64 v -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x52 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 18.59/18.64 v -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 18.59/18.64 v -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 18.59/18.64 v -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 18.59/18.64 v -x2106 -x2104 -x51 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 18.59/18.64 v -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 18.59/18.64 v -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 18.59/18.64 v -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x50 -x1976 -x1974 -x1972 -x1970 -x1968 18.59/18.64 v -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 x1934 -x1932 18.59/18.64 v -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 18.59/18.64 v -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 18.59/18.64 v -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 18.59/18.64 v -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 18.59/18.64 v -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 18.59/18.64 v -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 18.59/18.64 v -x1715 -x1713 -x1711 -x49 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 18.59/18.64 v -x1681 -x48 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x47 18.59/18.64 v -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x46 -x1619 -x1617 -x1615 18.59/18.64 v -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 18.59/18.64 v -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 18.59/18.64 v -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x45 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 18.59/18.64 v -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 18.59/18.64 v -x1471 -x1469 -x1467 -x1465 -x44 -x1463 -x1461 -x1459 -x43 -x1457 -x1455 -x1453 -x42 -x1451 -x1449 -x1447 -x1445 -x1443 18.59/18.64 v -x1441 -x1439 -x41 -x1437 -x1435 -x1433 -x40 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x39 -x1417 -x1415 -x1413 -x1411 18.59/18.64 v -x1409 -x1407 -x1405 -x38 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 18.59/18.64 v -x1375 -x37 -x1373 -x1371 -x1369 -x36 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x35 -x1353 -x1351 -x1349 -x1347 -x1345 18.59/18.64 v -x1343 -x1341 -x34 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 18.59/18.64 v -x33 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x32 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 18.59/18.64 v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x31 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 18.59/18.64 v -x1241 -x1239 -x1237 -x30 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 18.59/18.64 v -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x29 18.59/18.64 v -x1173 -x1171 -x1169 -x28 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x27 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 18.59/18.64 v -x1141 -x26 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x25 -x1109 18.59/18.64 v -x1107 -x1105 -x24 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x23 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 18.59/18.64 v -x22 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x21 -x1045 -x1043 18.59/18.64 v -x1041 -x1039 -x1037 -x1035 -x20 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 18.59/18.64 v -x1007 -x1005 -x19 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x18 -x973 18.59/18.64 v -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 18.59/18.64 v -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x17 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x16 -x897 -x895 -x893 18.59/18.64 v -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x15 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 18.59/18.64 v -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x14 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 18.59/18.64 v -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x13 -x775 -x773 18.59/18.64 v -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x12 -x745 -x743 -x741 -x739 -x737 -x735 -x733 18.59/18.64 v -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 18.59/18.64 v -x689 -x687 -x685 -x11 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 18.59/18.64 v -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x10 -x621 -x619 -x617 -x615 -x613 -x611 18.59/18.64 v -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 18.59/18.64 v -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 18.59/18.64 v -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 x497 -x495 -x493 -x491 -x489 -x487 -x485 18.59/18.64 v -x483 -x9 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x8 -x451 -x449 -x447 18.59/18.64 v -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x7 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 18.59/18.64 v -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 18.59/18.64 v x363 -x361 -x359 -x357 -x355 -x6 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x5 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x4 18.59/18.64 v -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 x299 -x297 -x295 -x293 -x291 -x3 -x289 -x287 18.59/18.64 v -x285 -x283 -x281 -x279 -x277 -x2 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x1 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 18.59/18.64 v -x245 -x243 x241 -x239 -x237 -x235 -x233 -x231 x7798 x7796 -x7794 -x7792 x7790 x7788 -x7786 -x7784 -x7782 x7780 -x7778 -x7776 18.59/18.64 v -x7774 -x7772 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x7754 -x7752 -x7750 -x7748 x7746 -x7744 -x7742 -x7740 18.59/18.64 v -x7738 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x7722 -x7720 -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 18.59/18.64 v -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 x7678 -x7676 -x7674 -x7672 -x7670 -x7668 18.59/18.64 v -x7666 -x7664 -x7662 -x7660 -x7658 -x7656 -x7654 x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 18.59/18.64 v -x7630 -x7628 -x7626 -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 18.59/18.64 v -x7594 -x7592 -x7590 -x7588 -x7586 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 18.59/18.64 v -x7560 -x7558 -x7556 -x7554 -x7552 -x7550 x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526 18.59/18.64 v -x7524 x7522 -x7520 -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x7490 18.59/18.64 v -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 18.59/18.64 v -x7452 -x7450 -x7448 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 -x7420 -x7418 18.59/18.64 v -x7416 -x7415 -x7413 -x7411 -x7409 -x7407 x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 18.59/18.64 v -x7381 -x7379 -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 18.59/18.64 v -x7345 -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 18.59/18.64 v -x7309 -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 18.59/18.64 v -x7273 -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 18.59/18.64 v -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 18.59/18.64 v -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 18.59/18.64 v -x7167 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 18.59/18.64 v -x7131 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 18.59/18.64 v -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 18.59/18.64 v -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 18.59/18.64 v -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 18.59/18.64 v -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 18.59/18.64 v -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 18.59/18.64 v -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 18.59/18.64 v -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 18.59/18.64 v -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 18.59/18.64 v -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 18.59/18.64 v -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 18.59/18.64 v -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 18.59/18.64 v -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 18.59/18.64 v -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 18.59/18.64 v -x6631 -x6629 -x6627 -x6625 x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 18.59/18.64 v -x6595 -x6593 -x6591 -x6589 -x6587 x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 18.59/18.64 v -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 18.59/18.64 v -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 18.59/18.64 v -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 18.59/18.64 v -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 18.59/18.64 v -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 18.59/18.64 v -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 18.59/18.64 v -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 18.59/18.64 v -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 18.59/18.64 v -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 18.59/18.64 v -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 18.59/18.64 v -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 18.59/18.64 v -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 18.59/18.64 v -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 18.59/18.64 v -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 18.59/18.64 v -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 18.59/18.64 v -x6023 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5997 -x5995 -x5993 -x5991 18.59/18.64 v -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 18.59/18.64 v -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 18.59/18.64 v -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 18.59/18.64 v -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 18.59/18.64 v -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827 x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 18.59/18.64 v -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 18.59/18.64 v -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 18.59/18.64 v -x5739 -x5737 x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 18.59/18.64 v -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 18.59/18.64 v -x5667 -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 18.59/18.64 v -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 18.59/18.64 v -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 18.59/18.64 v -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 18.59/18.64 v -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 18.59/18.64 v -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 18.59/18.64 v -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5424 -x5422 -x5420 18.59/18.64 v -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 18.59/18.64 v -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 18.59/18.64 v -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 18.59/18.64 v -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 18.59/18.64 v -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 18.59/18.64 v -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 18.59/18.64 v -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 18.59/18.64 v -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 18.59/18.64 v -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 18.59/18.64 v -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 18.59/18.64 v -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 18.59/18.64 v -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 18.59/18.64 v -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 18.59/18.64 v -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 18.59/18.64 v -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 18.59/18.64 v -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 18.59/18.64 v -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 18.59/18.64 v -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 18.59/18.64 v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 18.59/18.64 v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 18.59/18.64 v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 18.59/18.64 v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 18.59/18.64 v -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 18.59/18.64 v -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 18.59/18.64 v -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 18.59/18.64 v -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 18.59/18.64 v -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 18.59/18.64 v -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 18.59/18.64 v -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 18.59/18.64 v -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 18.59/18.64 v -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 18.59/18.64 v -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 18.59/18.64 v -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 18.59/18.64 v -x4242 -x4240 -x4238 -x4236 -x4234 x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 18.59/18.64 v -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 18.59/18.64 v -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 18.59/18.64 v -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 18.59/18.64 v -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 18.59/18.64 v -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 18.59/18.64 v -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 18.59/18.64 v -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 18.59/18.64 v -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 18.59/18.64 v -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 18.59/18.64 v -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 18.59/18.64 v -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 18.59/18.64 v -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 18.59/18.64 v -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 18.59/18.64 v -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 18.59/18.64 v -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 18.59/18.64 v -x3671 -x3669 -x3667 -x3665 x3663 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 18.59/18.64 v -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 18.59/18.64 v -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 18.59/18.64 v -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 18.59/18.64 v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 18.59/18.64 v -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 18.59/18.64 v -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 18.59/18.64 v -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 18.59/18.64 v -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 18.59/18.64 v -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 18.59/18.64 v -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 18.59/18.64 v -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 18.59/18.64 v -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 18.59/18.64 v -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 18.59/18.64 v -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 18.59/18.64 v -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 18.59/18.64 v -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 18.59/18.64 v -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 18.59/18.64 v -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 18.59/18.64 v -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 18.59/18.64 v -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 18.59/18.64 v -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 18.59/18.64 v -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 18.59/18.64 v -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 18.59/18.64 v -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 18.59/18.64 v -x2778 -x2776 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 18.59/18.64 v -x2743 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 18.59/18.64 v -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 18.59/18.64 v -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 18.59/18.64 v -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 18.59/18.64 v -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 18.59/18.64 v -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 18.59/18.64 v -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 18.59/18.64 v -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 18.59/18.64 v -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 18.59/18.64 v -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 18.59/18.64 v -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 18.59/18.64 v -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 18.59/18.64 v -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 18.59/18.64 v -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 18.59/18.64 v -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 18.59/18.64 v -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 18.59/18.64 v -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 18.59/18.64 v -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 18.59/18.64 v -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 18.59/18.64 v -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 18.59/18.64 v -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 18.59/18.64 v -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 18.59/18.64 v -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 x1935 -x1933 -x1931 -x1929 -x1927 18.59/18.64 v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 18.59/18.64 v -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 18.59/18.64 v -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 18.59/18.64 v -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 18.59/18.64 v -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 18.59/18.64 v -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 18.59/18.64 v -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 18.59/18.64 v -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 18.59/18.64 v -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 18.59/18.64 v -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 18.59/18.64 v -x1568 x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 18.59/18.64 v -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 18.59/18.64 v -x1496 -x1494 -x1492 x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 18.59/18.64 v -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 18.59/18.64 v -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 18.59/18.64 v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 18.59/18.64 v -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 18.59/18.64 v -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 18.59/18.64 v -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 18.59/18.64 v -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 18.59/18.64 v -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 18.59/18.64 v -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 18.59/18.64 v -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 18.59/18.64 v -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 18.59/18.64 v -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 18.59/18.64 v -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 18.59/18.64 v -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 18.59/18.64 v -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 18.59/18.64 v -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 18.59/18.64 v -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 18.59/18.64 v -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 18.59/18.64 v -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 18.59/18.64 v -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 18.59/18.64 v -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 18.59/18.64 v -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 18.59/18.64 v -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 18.59/18.64 v -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 18.59/18.64 v -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 x498 18.59/18.64 v -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 18.59/18.64 v -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 18.59/18.64 v -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 18.59/18.64 v -x370 -x368 -x366 x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 18.59/18.64 v -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 x300 -x298 -x296 -x294 -x292 -x290 -x288 18.59/18.64 v -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 18.59/18.64 v -x244 x242 -x240 -x238 -x236 -x234 -x232 18.59/18.64 c SCIP Status : problem is solved [optimal solution found] 18.59/18.64 c Solving Time : 18.37 18.59/18.64 c Original Problem : 18.59/18.64 c Problem name : HOME/instance-3735636-1338710352.opb 18.59/18.64 c Variables : 7798 (7798 binary, 0 integer, 0 implicit integer, 0 continuous) 18.59/18.64 c Constraints : 24318 initial, 24318 maximal 18.59/18.64 c Presolved Problem : 18.59/18.64 c Problem name : t_HOME/instance-3735636-1338710352.opb 18.59/18.64 c Variables : 721 (721 binary, 0 integer, 0 implicit integer, 0 continuous) 18.59/18.64 c Constraints : 1924 initial, 1924 maximal 18.59/18.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 18.59/18.64 c trivial : 0.00 2661 0 0 0 0 0 0 0 18.59/18.64 c dualfix : 0.00 1 0 0 0 0 0 0 0 18.59/18.64 c boundshift : 0.00 0 0 0 0 0 0 0 0 18.59/18.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0 18.59/18.64 c implics : 0.00 0 9 0 0 0 0 0 0 18.59/18.64 c probing : 0.04 0 0 0 0 0 0 0 0 18.59/18.64 c knapsack : 0.02 0 0 0 0 0 0 0 1 18.59/18.64 c setppc : 0.00 0 0 0 0 0 0 0 0 18.59/18.64 c linear : 0.11 612 3778 0 612 0 10605 0 0 18.59/18.64 c logicor : 0.05 16 0 0 0 0 8729 0 0 18.59/18.64 c root node : - 2731 - - 2731 - - - - 18.59/18.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 18.59/18.64 c integral : 0 0 0 3 0 0 15 0 0 0 18.59/18.64 c knapsack : 10 1 5 0 0 0 0 0 0 0 18.59/18.64 c setppc : 23 1 5 0 0 0 0 0 0 0 18.59/18.64 c logicor : 1891 12 207 0 0 0 227 0 0 0 18.59/18.64 c countsols : 0 0 0 0 0 0 0 0 0 0 18.59/18.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 18.59/18.64 c integral : 1.37 0.00 0.00 1.37 0.00 18.59/18.64 c knapsack : 0.00 0.00 0.00 0.00 0.00 18.59/18.64 c setppc : 0.00 0.00 0.00 0.00 0.00 18.59/18.64 c logicor : 0.01 0.00 0.01 0.00 0.00 18.59/18.64 c countsols : 0.00 0.00 0.00 0.00 0.00 18.59/18.64 c Propagators : Time Calls Cutoffs DomReds 18.59/18.64 c rootredcost : 0.00 0 0 0 18.59/18.64 c pseudoobj : 0.00 15 0 0 18.59/18.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 18.59/18.64 c propagation : 0.00 0 0 0 0.0 0 0.0 - 18.59/18.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 18.59/18.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 18.59/18.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 18.59/18.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 18.59/18.64 c applied globally : - - - 0 0.0 - - - 18.59/18.64 c applied locally : - - - 0 0.0 - - - 18.59/18.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss 18.59/18.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 3) 18.59/18.64 c redcost : 0.01 12 0 2489 0 0 18.59/18.64 c impliedbounds : 0.00 12 0 0 0 0 18.59/18.64 c intobj : 0.00 0 0 0 0 0 18.59/18.64 c gomory : 7.29 12 0 0 2000 0 18.59/18.64 c strongcg : 6.12 12 0 0 2546 0 18.59/18.64 c cmir : 0.94 11 0 0 0 0 18.59/18.64 c flowcover : 1.10 11 0 0 0 0 18.59/18.64 c clique : 0.02 12 0 0 60 0 18.59/18.64 c zerohalf : 0.00 0 0 0 0 0 18.59/18.64 c mcf : 0.01 2 0 0 0 0 18.59/18.64 c Pricers : Time Calls Vars 18.59/18.64 c problem variables: 0.00 0 0 18.59/18.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 18.59/18.64 c relpscost : 1.37 3 0 15 0 0 0 18.59/18.64 c pscost : 0.00 0 0 0 0 0 0 18.59/18.64 c inference : 0.00 0 0 0 0 0 0 18.59/18.64 c mostinf : 0.00 0 0 0 0 0 0 18.59/18.64 c leastinf : 0.00 0 0 0 0 0 0 18.59/18.64 c fullstrong : 0.00 0 0 0 0 0 0 18.59/18.64 c allfullstrong : 0.00 0 0 0 0 0 0 18.59/18.64 c random : 0.00 0 0 0 0 0 0 18.59/18.64 c Primal Heuristics : Time Calls Found 18.59/18.64 c LP solutions : 0.00 - 0 18.59/18.64 c pseudo solutions : 0.00 - 0 18.59/18.64 c simplerounding : 0.00 0 0 18.59/18.64 c rounding : 0.04 15 2 18.59/18.64 c shifting : 0.01 15 1 18.59/18.64 c intshifting : 0.00 0 0 18.59/18.64 c oneopt : 0.00 1 1 18.59/18.64 c fixandinfer : 0.00 0 0 18.59/18.64 c feaspump : 0.00 0 0 18.59/18.64 c coefdiving : 0.00 0 0 18.59/18.64 c pscostdiving : 0.00 0 0 18.59/18.64 c fracdiving : 0.00 0 0 18.59/18.64 c veclendiving : 0.00 0 0 18.59/18.64 c intdiving : 0.00 0 0 18.59/18.64 c actconsdiving : 0.00 0 0 18.59/18.64 c objpscostdiving : 0.00 0 0 18.59/18.64 c rootsoldiving : 0.00 0 0 18.59/18.64 c linesearchdiving : 0.00 0 0 18.59/18.64 c guideddiving : 0.00 0 0 18.59/18.64 c octane : 0.00 0 0 18.59/18.64 c rens : 0.18 1 1 18.59/18.64 c rins : 0.00 0 0 18.59/18.64 c localbranching : 0.00 0 0 18.59/18.64 c mutation : 0.00 0 0 18.59/18.64 c crossover : 0.00 0 0 18.59/18.64 c dins : 0.00 0 0 18.59/18.64 c LP : Time Calls Iterations Iter/call Iter/sec 18.59/18.64 c primal LP : 0.00 0 0 0.00 - 18.59/18.64 c dual LP : 0.95 16 3193 199.56 3361.05 18.59/18.64 c barrier LP : 0.00 0 0 0.00 - 18.59/18.64 c diving/probing LP: 0.00 0 0 0.00 - 18.59/18.64 c strong branching : 1.37 18 6497 360.94 4742.34 18.59/18.64 c (at root node) : - 18 6497 360.94 - 18.59/18.64 c conflict analysis: 0.00 0 0 0.00 - 18.59/18.64 c B&B Tree : 18.59/18.64 c number of runs : 2 18.59/18.64 c nodes : 1 18.59/18.64 c nodes (total) : 2 18.59/18.64 c nodes left : 0 18.59/18.64 c max depth : 0 18.59/18.64 c max depth (total): 0 18.59/18.64 c backtracks : 0 (0.0%) 18.59/18.64 c delayed cutoffs : 0 18.59/18.64 c repropagations : 0 (0 domain reductions, 0 cutoffs) 18.59/18.64 c avg switch length: 2.00 18.59/18.64 c switching time : 0.00 18.59/18.64 c Solution : 18.59/18.64 c Solutions found : 5 (4 improvements) 18.59/18.64 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 14.77 seconds, depth 0, found by <rens>) 18.59/18.64 c Dual Bound : +2.50000000000000e+01 18.59/18.64 c Gap : 0.00 % 18.59/18.64 c Root Dual Bound : +2.50000000000000e+01 18.59/18.67 c Time complete: 18.65.
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735636-1338710352/watcher-3735636-1338710352 -o /tmp/evaluation-result-3735636-1338710352/solver-3735636-1338710352 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735636-1338710352.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.00 2.00 3/174 26951 /proc/meminfo: memFree=23715732/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=8232 CPUtime=0 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 337163753 8429568 1396 33554432000 4194304 7823515 140733496099584 140733496031688 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 2058 1396 337 887 0 1168 0 [startup+0.070771 s] /proc/loadavg: 2.02 2.00 2.00 3/174 26951 /proc/meminfo: memFree=23715732/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=19820 CPUtime=0.06 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 4306 0 0 0 6 0 0 0 20 0 1 0 337163753 20295680 4258 33554432000 4194304 7823515 140733496099584 140733496031688 6830437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 4955 4258 354 887 0 4065 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19820 [startup+0.100318 s] /proc/loadavg: 2.02 2.00 2.00 3/174 26951 /proc/meminfo: memFree=23715732/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=21324 CPUtime=0.09 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 4682 0 0 0 9 0 0 0 20 0 1 0 337163753 21835776 4634 33554432000 4194304 7823515 140733496099584 140733496031688 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 5331 4634 354 887 0 4441 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21324 [startup+0.300279 s] /proc/loadavg: 2.02 2.00 2.00 3/174 26951 /proc/meminfo: memFree=23715732/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=55048 CPUtime=0.28 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 13200 0 0 0 27 1 0 0 20 0 1 0 337163753 56369152 12798 33554432000 4194304 7823515 140733496099584 140733496095640 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 13762 12798 435 887 0 12872 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 55048 [startup+0.700278 s] /proc/loadavg: 2.02 2.00 2.00 3/174 26951 /proc/meminfo: memFree=23715732/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=79748 CPUtime=0.69 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 19584 0 0 0 66 3 0 0 20 0 1 0 337163753 81661952 18897 33554432000 4194304 7823515 140733496099584 140733496095640 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 19937 18897 538 887 0 19047 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 79748 [startup+1.50026 s] /proc/loadavg: 2.02 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23638744/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=90536 CPUtime=1.49 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 22053 0 0 0 145 4 0 0 20 0 1 0 337163753 92708864 21317 33554432000 4194304 7823515 140733496099584 140733496095384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 22634 21317 558 887 0 21744 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 90536 [startup+3.10023 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23625600/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=106768 CPUtime=3.08 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 26568 0 0 0 304 4 0 0 20 0 1 0 337163753 109330432 25658 33554432000 4194304 7823515 140733496099584 140733496094728 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 26692 25658 558 887 0 25802 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 106768 [startup+6.30026 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23614448/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=113944 CPUtime=6.29 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 28497 0 0 0 623 6 0 0 20 0 1 0 337163753 116678656 27582 33554432000 4194304 7823515 140733496099584 140733496095336 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 28486 27582 558 887 0 27596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 113944 [startup+12.7003 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23597776/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=122548 CPUtime=12.69 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 29835 0 0 0 1261 8 0 0 20 0 1 0 337163753 125489152 29431 33554432000 4194304 7823515 140733496099584 140733496094776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30637 29431 558 887 0 29747 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 122548 Solver just ended. Dumping a history of the last processes samples [startup+15.9002 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23597900/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=122020 CPUtime=15.89 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 35725 0 0 0 1578 11 0 0 20 0 1 0 337163753 124948480 29470 33554432000 4194304 7823515 140733496099584 140733496094728 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30505 29470 570 887 0 29615 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 122020 [startup+17.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23598024/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=122020 CPUtime=17.49 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 35726 0 0 0 1738 11 0 0 20 0 1 0 337163753 124948480 29471 33554432000 4194304 7823515 140733496099584 140733496094280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30505 29471 571 887 0 29615 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 122020 [startup+18.3002 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23598024/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=123200 CPUtime=18.28 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 36017 0 0 0 1817 11 0 0 20 0 1 0 337163753 126156800 29762 33554432000 4194304 7823515 140733496099584 140733496094744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30800 29762 577 887 0 29910 0 Current children cumulated CPU time (s) 18.28 Current children cumulated vsize (KiB) 123200 [startup+18.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23598024/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=123200 CPUtime=18.48 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 36017 0 0 0 1837 11 0 0 20 0 1 0 337163753 126156800 29762 33554432000 4194304 7823515 140733496099584 140733496094744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30800 29762 577 887 0 29910 0 Current children cumulated CPU time (s) 18.48 Current children cumulated vsize (KiB) 123200 [startup+18.6002 s] /proc/loadavg: 2.01 2.00 2.00 3/175 26952 /proc/meminfo: memFree=23597528/32873844 swapFree=7112/7112 [pid=26951] ppid=26949 vsize=123200 CPUtime=18.59 cores=0,2,4,6 /proc/26951/stat : 26951 (pbscip.linux.x8) R 26949 26951 13043 0 -1 4202496 36017 0 0 0 1848 11 0 0 20 0 1 0 337163753 126156800 29762 33554432000 4194304 7823515 140733496099584 140733496094744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/26951/statm: 30800 29762 577 887 0 29910 0 Current children cumulated CPU time (s) 18.59 Current children cumulated vsize (KiB) 123200 Child status: 0 Real time (s): 18.6719 CPU time (s): 18.6682 CPU user time (s): 18.5392 CPU system time (s): 0.12898 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 146888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5392 system time used= 0.12898 maximum resident set size= 141260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36022 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= 3 involuntary context switches= 30 runsolver used 0.032994 second user time and 0.074988 second system time The end
Begin job on node104 at 2012-06-03 09:59:12 IDJOB=3735636 IDBENCH=24981 IDSOLVER=2321 FILE ID=node104/3735636-1338710352 RUNJOBID= node104-1338679216-21695 PBS_JOBID= 14636709 Free space on /tmp= 66424 MiB SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735636-1338710352/watcher-3735636-1338710352 -o /tmp/evaluation-result-3735636-1338710352/solver-3735636-1338710352 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735636-1338710352.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54 RANDOM SEED=1740322573 node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23716160 kB Buffers: 556000 kB Cached: 7436788 kB SwapCached: 708 kB Active: 4938424 kB Inactive: 3215320 kB Active(anon): 152456 kB Inactive(anon): 8092 kB Active(file): 4785968 kB Inactive(file): 3207228 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67105164 kB Dirty: 10492 kB Writeback: 0 kB AnonPages: 164192 kB Mapped: 16836 kB Shmem: 8 kB Slab: 865340 kB SReclaimable: 307588 kB SUnreclaim: 557752 kB KernelStack: 1464 kB PageTables: 4264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 266920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 66412 MiB End job on node104 at 2012-06-03 09:59:31