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