Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 13908610268 | 17.6183 | 17.6236 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb |
| MD5SUM | 9a691c3b1700d95cd917852b9436eebd |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 13908610268 |
| Best CPU time to get the best result obtained on this benchmark | 7.65883 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6415 |
| Total number of constraints | 26784 |
| Number of constraints which are clauses | 26523 |
| Number of constraints which are cardinality constraints (but not clauses) | 261 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 553 |
| Number of terms in the objective function | 3016 |
| Biggest coefficient in the objective function | 3442951000 |
| Number of bits for the biggest coefficient in the objective function | 32 |
| Sum of the numbers in the objective function | 1900504392757 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 3442951000 |
| Number of bits of the biggest number in a constraint | 32 |
| Biggest sum of numbers in a constraint | 1900504392757 |
| Number of bits of the biggest sum of numbers | 41 |
| 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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2704841-1278580115.opb>
0.39/0.44 c original problem has 6415 variables (6415 bin, 0 int, 0 impl, 0 cont) and 26784 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.49/0.58 c presolving:
0.69/0.73 c (round 1) 1099 del vars, 2213 del conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 59172 impls, 258 clqs
0.69/0.77 c (round 2) 1270 del vars, 2589 del conss, 137 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 67125 impls, 251 clqs
0.79/0.81 c (round 3) 1592 del vars, 7510 del conss, 337 chg bounds, 6 chg sides, 30 chg coeffs, 0 upgd conss, 71013 impls, 239 clqs
0.79/0.85 c (round 4) 2244 del vars, 11844 del conss, 367 chg bounds, 22 chg sides, 83 chg coeffs, 0 upgd conss, 71680 impls, 237 clqs
0.79/0.86 c (round 5) 2304 del vars, 12062 del conss, 373 chg bounds, 25 chg sides, 87 chg coeffs, 0 upgd conss, 71960 impls, 237 clqs
0.79/0.87 c (round 6) 2315 del vars, 12130 del conss, 373 chg bounds, 27 chg sides, 91 chg coeffs, 0 upgd conss, 72096 impls, 237 clqs
0.79/0.88 c (round 7) 2316 del vars, 12133 del conss, 373 chg bounds, 27 chg sides, 91 chg coeffs, 0 upgd conss, 72096 impls, 237 clqs
0.79/0.88 c (round 8) 2318 del vars, 12139 del conss, 373 chg bounds, 27 chg sides, 91 chg coeffs, 0 upgd conss, 72096 impls, 237 clqs
0.99/1.02 c (round 9) 2318 del vars, 13113 del conss, 373 chg bounds, 27 chg sides, 91 chg coeffs, 13624 upgd conss, 72096 impls, 237 clqs
0.99/1.07 c (round 10) 2324 del vars, 13119 del conss, 373 chg bounds, 27 chg sides, 91 chg coeffs, 13624 upgd conss, 72096 impls, 237 clqs
1.09/1.12 c (round 11) 2324 del vars, 13122 del conss, 373 chg bounds, 28 chg sides, 91 chg coeffs, 13624 upgd conss, 72096 impls, 237 clqs
1.09/1.15 c (round 12) 2324 del vars, 13122 del conss, 373 chg bounds, 28 chg sides, 91 chg coeffs, 13663 upgd conss, 72096 impls, 237 clqs
1.09/1.19 c (round 13) 2324 del vars, 13123 del conss, 373 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 72096 impls, 237 clqs
1.39/1.43 c (round 14) 2374 del vars, 13123 del conss, 373 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81466 impls, 233 clqs
1.39/1.45 c (round 15) 2381 del vars, 13518 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81812 impls, 233 clqs
1.39/1.46 c (round 16) 2387 del vars, 13536 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81814 impls, 233 clqs
1.39/1.49 c (round 17) 2387 del vars, 13540 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81814 impls, 233 clqs
1.69/1.75 c (round 18) 2387 del vars, 13739 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81814 impls, 233 clqs
1.69/1.77 c (round 19) 2389 del vars, 13740 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 81814 impls, 233 clqs
2.39/2.42 c (round 20) 2439 del vars, 13740 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 87907 impls, 231 clqs
2.39/2.43 c (round 21) 2440 del vars, 13816 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 87909 impls, 231 clqs
2.39/2.48 c (round 22) 2440 del vars, 13834 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 87909 impls, 231 clqs
2.49/2.52 c (round 23) 2440 del vars, 13863 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 87909 impls, 231 clqs
3.19/3.30 c (round 24) 2490 del vars, 13864 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 90123 impls, 229 clqs
3.29/3.31 c (round 25) 2490 del vars, 13944 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 90123 impls, 229 clqs
3.29/3.36 c (round 26) 2490 del vars, 14011 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 90123 impls, 229 clqs
3.99/4.04 c (round 27) 2540 del vars, 14012 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 92365 impls, 229 clqs
3.99/4.08 c (round 28) 2541 del vars, 14067 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 92365 impls, 229 clqs
4.09/4.11 c (round 29) 2542 del vars, 14116 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 92365 impls, 229 clqs
4.69/4.73 c (4.3s) probing: 1000/4091 (24.4%) - 60 fixings, 174 aggregations, 4454 implications, 0 bound changes
4.89/4.92 c (round 30) 2592 del vars, 14116 del conss, 376 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 94697 impls, 228 clqs
4.89/4.93 c (round 31) 2593 del vars, 14185 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 94700 impls, 228 clqs
5.29/5.35 c (round 32) 2594 del vars, 14305 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 94700 impls, 228 clqs
5.29/5.39 c (round 33) 2594 del vars, 14348 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 94700 impls, 228 clqs
6.09/6.16 c (round 34) 2644 del vars, 14348 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 96956 impls, 228 clqs
6.19/6.20 c (round 35) 2645 del vars, 14406 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 96958 impls, 228 clqs
6.79/6.87 c (round 36) 2695 del vars, 14407 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 98281 impls, 227 clqs
6.79/6.89 c (round 37) 2696 del vars, 14467 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 98283 impls, 227 clqs
7.29/7.38 c (round 38) 2746 del vars, 14468 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99100 impls, 227 clqs
7.39/7.42 c (round 39) 2746 del vars, 14531 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99100 impls, 227 clqs
7.39/7.45 c (round 40) 2746 del vars, 14658 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99100 impls, 227 clqs
7.49/7.51 c (round 41) 2746 del vars, 14662 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99100 impls, 227 clqs
7.79/7.80 c (7.4s) probing: 2000/4091 (48.9%) - 73 fixings, 350 aggregations, 6786 implications, 0 bound changes
7.99/8.03 c (round 42) 2796 del vars, 14662 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99769 impls, 227 clqs
7.99/8.07 c (round 43) 2796 del vars, 14715 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99769 impls, 227 clqs
8.09/8.11 c (round 44) 2796 del vars, 14765 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99769 impls, 227 clqs
8.59/8.64 c (round 45) 2796 del vars, 14954 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99769 impls, 227 clqs
8.59/8.67 c (round 46) 2799 del vars, 14982 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 99769 impls, 227 clqs
8.99/9.07 c (round 47) 2849 del vars, 14982 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100353 impls, 227 clqs
9.09/9.14 c (round 48) 2849 del vars, 15042 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100353 impls, 227 clqs
9.09/9.17 c (round 49) 2849 del vars, 15091 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100353 impls, 227 clqs
9.19/9.29 c (round 50) 2849 del vars, 15101 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100353 impls, 227 clqs
9.59/9.68 c (round 51) 2899 del vars, 15101 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
9.99/10.02 c (round 52) 2899 del vars, 15321 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
9.99/10.05 c (round 53) 2902 del vars, 15330 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
9.99/10.09 c (round 54) 2903 del vars, 15334 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.09/10.12 c (round 55) 2904 del vars, 15336 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.09/10.15 c (round 56) 2904 del vars, 15386 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.09/10.19 c (round 57) 2904 del vars, 15388 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.19/10.25 c (round 58) 2904 del vars, 15396 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.19/10.27 c (round 59) 2905 del vars, 15397 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 100731 impls, 227 clqs
10.59/10.60 c (round 60) 2955 del vars, 15397 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101075 impls, 227 clqs
10.59/10.64 c (round 61) 2955 del vars, 15455 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101075 impls, 227 clqs
10.59/10.67 c (round 62) 2955 del vars, 15504 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101075 impls, 227 clqs
10.90/11.00 c (round 63) 3005 del vars, 15505 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101343 impls, 227 clqs
11.00/11.06 c (round 64) 3005 del vars, 15577 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101343 impls, 227 clqs
11.00/11.09 c (round 65) 3005 del vars, 15625 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101343 impls, 227 clqs
11.49/11.52 c (round 66) 3055 del vars, 15625 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101885 impls, 227 clqs
11.49/11.56 c (round 67) 3056 del vars, 15689 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 101887 impls, 227 clqs
11.59/11.60 c (11.2s) probing: 3000/4091 (73.3%) - 81 fixings, 619 aggregations, 8098 implications, 0 bound changes
12.10/12.11 c (round 68) 3106 del vars, 15690 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 103317 impls, 227 clqs
12.10/12.14 c (round 69) 3106 del vars, 15760 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 103317 impls, 227 clqs
12.10/12.17 c (round 70) 3106 del vars, 15837 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 103317 impls, 227 clqs
12.79/12.89 c (round 71) 3156 del vars, 15837 del conss, 377 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106007 impls, 227 clqs
12.89/12.90 c (round 72) 3159 del vars, 15937 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
13.69/13.70 c (round 73) 3160 del vars, 16417 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
13.69/13.76 c (round 74) 3163 del vars, 16438 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
13.79/13.80 c (round 75) 3163 del vars, 16454 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
13.79/13.83 c (round 76) 3163 del vars, 16457 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
13.99/14.03 c (round 77) 3163 del vars, 16517 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 106022 impls, 227 clqs
14.79/14.82 c (14.4s) probing: 4000/4091 (97.8%) - 154 fixings, 683 aggregations, 13926 implications, 0 bound changes
14.79/14.87 c (round 78) 3200 del vars, 16517 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 112174 impls, 227 clqs
14.99/15.08 c (round 79) 3238 del vars, 16683 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 112478 impls, 227 clqs
14.99/15.10 c (round 80) 3240 del vars, 16722 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 112478 impls, 227 clqs
15.09/15.17 c (round 81) 3240 del vars, 16735 del conss, 378 chg bounds, 28 chg sides, 91 chg coeffs, 13664 upgd conss, 112478 impls, 227 clqs
15.19/15.20 c presolving (82 rounds):
15.19/15.20 c 3240 deleted vars, 16735 deleted constraints, 378 tightened bounds, 0 added holes, 28 changed sides, 91 changed coefficients
15.19/15.20 c 112478 implications, 227 cliques
15.19/15.20 c presolved problem has 3175 variables (3175 bin, 0 int, 0 impl, 0 cont) and 10054 constraints
15.19/15.20 c 4804 constraints of type <setppc>
15.19/15.20 c 5250 constraints of type <logicor>
15.19/15.20 c transformed objective value is always integral (scale: 1)
15.19/15.20 c Presolving Time: 14.67
15.19/15.20 c - non default parameters ----------------------------------------------------------------------
15.19/15.20 c # SCIP version 1.2.1.3
15.19/15.20 c
15.19/15.20 c # frequency for displaying node information lines
15.19/15.20 c # [type: int, range: [-1,2147483647], default: 100]
15.19/15.20 c display/freq = 10000
15.19/15.20 c
15.19/15.20 c # maximal time in seconds to run
15.19/15.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.19/15.20 c limits/time = 1789.56
15.19/15.20 c
15.19/15.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.19/15.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.19/15.20 c limits/memory = 1620
15.19/15.20 c
15.19/15.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.19/15.20 c # [type: int, range: [1,2], default: 1]
15.19/15.20 c timing/clocktype = 2
15.19/15.20 c
15.19/15.20 c # should presolving try to simplify inequalities
15.19/15.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.20 c constraints/linear/simplifyinequalities = TRUE
15.19/15.20 c
15.19/15.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.19/15.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.20 c constraints/indicator/addCouplingCons = TRUE
15.19/15.20 c
15.19/15.20 c # should presolving try to simplify knapsacks
15.19/15.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.20 c constraints/knapsack/simplifyinequalities = TRUE
15.19/15.20 c
15.19/15.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.19/15.20 c # [type: int, range: [-1,2147483647], default: -1]
15.19/15.20 c separating/rapidlearning/freq = 0
15.19/15.20 c
15.19/15.20 c -----------------------------------------------------------------------------------------------
15.19/15.20 c start solving
15.19/15.21 c
15.29/15.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.40 c 15.0s| 1 | 0 | 898 | - | 35M| 0 | 371 |3175 | 10k|3175 |8724 | 0 | 0 | 0 | 1.157892e+10 | -- | Inf
15.39/15.42 o -2147483648
15.39/15.42 c s15.0s| 1 | 0 | 898 | - | 35M| 0 | 371 |3175 | 10k|3175 |8724 | 0 | 0 | 0 | 1.157892e+10 | 1.481130e+11 |1179.16%
15.98/16.08 c 15.6s| 1 | 0 | 1068 | - | 35M| 0 | 34 |3175 | 10k|3175 |9120 | 396 | 0 | 0 | 1.390747e+10 | 1.481130e+11 | 964.99%
15.98/16.09 o -2147483648
15.98/16.09 c b15.6s| 1 | 0 | 1068 | - | 35M| 0 | 34 |3175 | 10k|3175 |9120 | 396 | 0 | 0 | 1.390747e+10 | 1.446678e+11 | 940.22%
16.09/16.10 o -2147483648
16.09/16.10 c s15.7s| 1 | 0 | 1068 | - | 35M| 0 | 34 |3175 | 10k|3175 |9120 | 396 | 0 | 0 | 1.390747e+10 | 1.390861e+10 | 0.01%
17.29/17.38 o -2147483648
17.29/17.38 c y16.9s| 1 | 0 | 1068 | - | 34M| 0 | 34 |3175 |8485 |3175 |9120 | 396 | 0 | 0 | 1.390747e+10 | 1.390861e+10 | 0.01%
17.38/17.48 c 17.0s| 1 | 0 | 1084 | - | 30M| 0 | 0 |3175 |2230 |3175 |1695 | 405 | 0 | 0 | 1.390861e+10 | 1.390861e+10 | 0.00%
17.50/17.50 c 17.1s| 1 | 0 | 1084 | - | 29M| 0 | 0 |3175 |1379 |3175 |1079 | 405 | 0 | 0 | 1.390861e+10 | 1.390861e+10 | 0.00%
17.50/17.51 o -2147483648
17.50/17.51 c *17.1s| 1 | 0 | 1084 | - | 29M| 0 | - |3175 |1379 |3175 |1079 | 405 | 0 | 0 | 1.390861e+10 | 1.390861e+10 | 0.00%
17.50/17.51 c
17.50/17.51 c SCIP Status : problem is solved [optimal solution found]
17.50/17.51 c Solving Time (sec) : 17.07
17.50/17.51 c Solving Nodes : 1
17.50/17.51 c Primal Bound : +1.39086102680000e+10 (5 solutions)
17.50/17.51 c Dual Bound : +1.39086102680000e+10
17.50/17.51 c Gap : 0.00 %
17.50/17.55 s OPTIMUM FOUND
17.50/17.55 v -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381
17.50/17.55 v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 x3366 -x3365 -x3364 -x3363
17.50/17.55 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346
17.50/17.55 v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328
17.50/17.55 v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310
17.50/17.55 v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292
17.50/17.55 v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274
17.50/17.55 v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 x3260 -x3259 -x3258 -x3257 -x3256
17.50/17.55 v -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238
17.50/17.55 v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220
17.50/17.55 v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203
17.50/17.55 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
17.50/17.55 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
17.50/17.55 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149
17.50/17.55 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131
17.50/17.55 v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113
17.50/17.55 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095
17.50/17.55 v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078
17.50/17.55 v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060
17.50/17.55 v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042
17.50/17.55 v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
17.50/17.55 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006
17.50/17.55 v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988
17.50/17.55 v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
17.50/17.55 v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952
17.50/17.55 v -x2951 x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934
17.50/17.55 v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916
17.50/17.55 v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899
17.50/17.55 v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881
17.50/17.55 v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863
17.50/17.55 v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 x2847 x2846 x2845
17.50/17.55 v -x2844 x2843 -x2842 -x2841 x2840 -x2839 x2838 -x2837 x2836 -x2835 -x2834 -x2833 x2832 x2831 x2830 -x2829 x2828 -x2827 -x2826
17.50/17.55 v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810 -x2809 -x2808
17.50/17.55 v x2807 x2806 -x2805 -x2804 -x2803 x2802 -x2801 -x2800 -x2799 x2798 x2797 x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789
17.50/17.55 v -x2788 -x2787 x2786 -x2785 x2784 -x2783 -x2782 x2781 x2780 x2779 -x2778 x2777 -x2776 -x2775 -x2774 -x2773 -x2772 x2771 -x2770
17.50/17.55 v -x2769 -x2768 -x2767 x2766 -x2765 -x2764 x2763 -x2762 x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752
17.50/17.55 v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734
17.50/17.55 v -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 -x2721 x2720 x2719 -x2718 x2717 -x2716 x2715
17.50/17.55 v -x2714 x2713 -x2712 -x2711 -x2710 x2709 x2708 x2707 x2706 -x2705 x2704 -x2703 x2702 -x2701 x2700 x2699 x2698 x2697 x2696
17.50/17.55 v x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 x2685 -x2684 x2683 -x2682 -x2681 -x2680 -x2679 x2678 -x2677
17.50/17.55 v -x2676 -x2675 -x2674 x2673 x2672 -x2671 -x2670 -x2669 -x2668 x2667 -x2666 -x2665 -x2664 -x2663 x2662 -x2661 -x2660 -x2659
17.50/17.55 v x2658 x2657 -x2656 -x2655 -x2654 x2653 -x2652 -x2651 x2650 x2649 -x2648 -x2647 -x2646 x2645 -x2644 -x2643 x2642 -x2641 -x2640
17.50/17.55 v -x2639 -x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632 x2631 -x2630 -x2629 x2628 -x2627 -x2626 x2625 -x2624 -x2623 -x2622 x2621
17.50/17.55 v -x2620 -x2619 -x2618 x2617 -x2616 -x2615 -x2614 x2613 -x2612 x2611 x2610 -x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603
17.50/17.55 v x2602 -x2601 x2600 -x2599 x2598 -x2597 -x2596 x2595 -x2594 -x2593 -x2592 x2591 -x2590 x2589 -x2588 x2587 -x2586 -x2585 -x2584
17.50/17.55 v -x2583 x2582 -x2581 -x2580 -x2579 x2578 -x2577 -x2576 -x2575 -x2574 -x2573 x2572 x2571 x2570 x2569 x2568 x2567 -x2566 -x2565
17.50/17.55 v -x2564 x2563 -x2562 -x2561 x2560 -x2559 x2558 x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 x2548 x2547 -x2546
17.50/17.55 v -x2545 -x2544 -x2543 -x2542 -x2541 x2540 x2539 -x2538 -x2537 -x2536 x2535 -x2534 x2533 -x2532 x2531 -x2530 x2529 -x2528 -x2527
17.50/17.55 v x2526 x2525 x2524 -x2523 -x2522 x2521 -x2520 -x2519 -x2518 x2517 -x2516 x2515 -x2514 -x2513 -x2512 x2511 x2510 -x2509 x2508
17.50/17.55 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 x2501 -x2500 -x2499 -x2498 x2497 -x2496 x2495 -x2494 -x2493 x2492 -x2491 -x2490
17.50/17.55 v x2489 -x2488 -x2487 -x2486 x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 x2478 -x2477 x2476 -x2475 -x2474 x2473 x2472 -x2471
17.50/17.55 v -x2470 x2469 x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 x2461 -x2460 -x2459 x2458 -x2457 x2456 -x2455 -x2454 -x2453 -x2452
17.50/17.55 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
17.50/17.55 v -x2434 -x2433 -x2432 -x2431 -x2430 x2429 -x2428 -x2427 x2426 x2425 -x2424 x2423 x2422 -x2421 -x2420 -x2419 x2418 -x2417 -x2416
17.50/17.55 v -x2415 x2414 -x2413 -x2412 -x2411 -x2410 x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 x2400 x2399 x2398 -x2397
17.50/17.55 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379
17.50/17.55 v -x2378 x2377 x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 x2365 -x2364 x2363 -x2362 x2361 -x2360
17.50/17.55 v -x2359 -x2358 x2357 -x2356 x2355 -x2354 x2353 -x2352 -x2351 x2350 -x2349 x2348 x2347 x2346 -x2345 -x2344 x2343 -x2342 -x2341
17.50/17.55 v -x2340 -x2339 -x2338 -x2337 x2336 x2335 -x2334 x2333 -x2332 x2331 -x2330 -x2329 -x2328 x2327 -x2326 -x2325 -x2324 -x2323
17.50/17.55 v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 x2315 -x2314 -x2313 -x2312 x2311 -x2310 x2309 -x2308 x2307 -x2306 x2305 -x2304
17.50/17.55 v x2303 -x2302 -x2301 x2300 -x2299 x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 x2291 -x2290 -x2289 -x2288 -x2287 -x2286
17.50/17.55 v x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 -x2273 -x2272 x2271 x2270 x2269 -x2268 -x2267
17.50/17.55 v -x2266 -x2265 -x2264 -x2263 x2262 x2261 x2260 x2259 -x2258 x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 x2248
17.50/17.55 v -x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 x2237 -x2236 -x2235 -x2234 -x2233 x2232 x2231 -x2230
17.50/17.55 v -x2229 x2228 -x2227 x2226 -x2225 -x2224 -x2223 -x2222 x2221 -x2220 x2219 -x2218 -x2217 -x2216 -x2215 x2214 x2213 -x2212 -x2211
17.50/17.55 v -x2210 x2209 -x2208 x2207 -x2206 -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193
17.50/17.55 v -x2192 -x2191 x2190 x2189 -x2188 -x2187 x2186 -x2185 -x2184 x2183 -x2182 x2181 -x2180 -x2179 -x2178 x2177 x2176 -x2175 -x2174
17.50/17.55 v -x2173 -x2172 -x2171 x2170 -x2169 x2168 x2167 -x2166 x2165 -x2164 x2163 x2162 -x2161 -x2160 x2159 -x2158 -x2157 x2156 -x2155
17.50/17.55 v -x2154 x2153 -x2152 -x2151 -x2150 x2149 -x2148 x2147 -x2146 -x2145 -x2144 x2143 -x2142 -x2141 -x2140 x2139 -x2138 x2137 -x2136
17.50/17.55 v -x2135 x2134 -x2133 -x2132 -x2131 -x2130 -x2129 x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 x2120 -x2119 x2118
17.50/17.55 v -x2117 x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 x2107 x2106 -x2105 -x2104 x2103 -x2102 -x2101 -x2100 x2099
17.50/17.55 v -x2098 x2097 -x2096 x2095 x2094 -x2093 -x2092 -x2091 x2090 x2089 x2088 -x2087 x2086 -x2085 -x2084 -x2083 x2082 -x2081 -x2080
17.50/17.55 v x2079 -x2078 x2077 -x2076 -x2075 -x2074 x2073 x2072 -x2071 -x2070 -x2069 -x2068 -x2067 x2066 -x2065 x2064 -x2063 -x2062 -x2061
17.50/17.55 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051 x2050 x2049 x2048 x2047 x2046 x2045 -x2044 -x2043 -x2042
17.50/17.55 v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024
17.50/17.55 v -x2023 x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 -x2012 x2011 -x2010 -x2009 x2008 -x2007 x2006
17.50/17.55 v -x2005 -x2004 -x2003 -x2002 -x2001 x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x1994 x1993 x1992 x1991 x1990 -x1989 -x1988 x1987
17.50/17.55 v -x1986 -x1985 x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 x1976 -x1975 -x1974 x1973 x1972 -x1971 -x1970 -x1969 -x1968
17.50/17.55 v x1967 -x1966 -x1965 -x1964 x1963 x1962 x1961 -x1960 x1959 -x1958 -x1957 x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950
17.50/17.55 v -x1949 -x1948 -x1947 x1946 -x1945 -x1944 x1943 -x1942 x1941 -x1940 x1939 -x1938 -x1937 x1936 -x1935 x1934 x1933 -x1932 -x1931
17.50/17.55 v x1930 -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 x1921 x1920 -x1919 x1918 -x1917 x1916 x1915 x1914 x1913 -x1912
17.50/17.55 v -x1911 x1910 x1909 x1908 -x1907 x1906 x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893
17.50/17.55 v x1892 -x1891 -x1890 -x1889 -x1888 x1887 -x1886 -x1885 -x1884 -x1883 x1882 x1881 -x1880 x1879 -x1878 x1877 x1876 -x1875 -x1874
17.50/17.55 v -x1873 -x1872 x1871 -x1870 -x1869 -x1868 -x1867 x1866 -x1865 -x1864 -x1863 -x1862 -x1861 x1860 -x1859 x1858 -x1857 x1856 -x1855
17.50/17.55 v -x1854 -x1853 -x1852 x1851 -x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 x1843 -x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836
17.50/17.55 v -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 -x1828 x1827 x1826 -x1825 x1824 -x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817
17.50/17.55 v x1816 x1815 -x1814 x1813 -x1812 -x1811 -x1810 -x1809 x1808 -x1807 x1806 -x1805 -x1804 x1803 -x1802 x1801 x1800 x1799 -x1798
17.50/17.55 v -x1797 -x1796 -x1795 -x1794 x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779
17.50/17.55 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 x1771 -x1770 -x1769 x1768 -x1767 -x1766 -x1765 x1764 x1763 -x1762 -x1761
17.50/17.55 v -x1760 -x1759 x1758 -x1757 x1756 x1755 x1754 x1753 -x1752 -x1751 x1750 -x1749 -x1748 x1747 -x1746 x1745 x1744 x1743 -x1742 -x1741
17.50/17.55 v x1740 -x1739 x1738 -x1737 x1736 x1735 x1734 x1733 x1732 -x1731 x1730 x1729 -x1728 -x1727 -x1726 x1725 -x1724 -x1723 x1722
17.50/17.55 v -x1721 -x1720 x1719 -x1718 x1717 -x1716 x1715 x1714 -x1713 -x1712 x1711 -x1710 x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703
17.50/17.55 v -x1702 -x1701 -x1700 -x1699 x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685
17.50/17.55 v -x1684 x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671 x1670 x1669 -x1668 -x1667 x1666
17.50/17.55 v -x1665 x1664 x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 -x1650 -x1649 x1648 -x1647
17.50/17.55 v -x1646 -x1645 -x1644 x1643 x1642 -x1641 -x1640 x1639 -x1638 x1637 -x1636 x1635 x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628
17.50/17.55 v -x1627 -x1626 -x1625 -x1624 x1623 -x1622 x1621 -x1620 x1619 -x1618 x1617 x1616 -x1615 x1614 -x1613 x1612 x1611 x1610 -x1609
17.50/17.55 v x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591
17.50/17.55 v -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572
17.50/17.55 v -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554
17.50/17.55 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536
17.50/17.55 v -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519
17.50/17.55 v -x1518 -x1517 -x1516 x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500
17.50/17.55 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482
17.50/17.55 v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
17.50/17.55 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447
17.50/17.55 v -x1446 -x1445 -x1444 x1443 -x1442 x1441 -x1440 x1439 -x1438 x1437 -x1436 -x1435 x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428
17.50/17.55 v x1427 -x1426 x1425 -x1424 x1423 x1422 -x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 x1414 -x1413 -x1412 x1411 -x1410 -x1409
17.50/17.55 v x1408 -x1407 x1406 -x1405 -x1404 -x1403 x1402 -x1401 x1400 -x1399 -x1398 x1397 x1396 -x1395 x1394 -x1393 x1392 -x1391 x1390
17.50/17.55 v -x1389 x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 x1371 -x1370
17.50/17.55 v x1369 -x1368 -x1367 x1366 -x1365 -x1364 x1363 x1362 -x1361 -x1360 -x1359 x1358 x1357 -x1356 -x1355 x1354 -x1353 x1352 -x1351
17.50/17.55 v x1350 -x1349 -x1348 x1347 -x1346 -x1345 -x1344 x1343 -x1342 x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
17.50/17.55 v -x1332 -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315
17.50/17.55 v x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
17.50/17.55 v -x1296 x1295 -x1294 -x1293 x1292 -x1291 x1290 -x1289 -x1288 x1287 -x1286 x1285 -x1284 -x1283 -x1282 x1281 x1280 -x1279 x1278
17.50/17.55 v x1277 -x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 x1264 x1263 -x1262 x1261 -x1260 -x1259
17.50/17.55 v -x1258 x1257 x1256 x1255 x1254 -x1253 -x1252 x1251 -x1250 x1249 -x1248 x1247 x1246 -x1245 -x1244 x1243 -x1242 -x1241 x1240 -x1239
17.50/17.55 v x1238 -x1237 x1236 -x1235 x1234 x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
17.50/17.55 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 x1205 -x1204 x1203
17.50/17.55 v -x1202 x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 x1184
17.50/17.55 v x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166
17.50/17.55 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 x1150 -x1149 -x1148
17.50/17.55 v x1147 x1146 -x1145 -x1144 -x1143 x1142 -x1141 -x1140 x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
17.50/17.55 v -x1128 x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 x1115 -x1114 -x1113 x1112 -x1111 -x1110
17.50/17.55 v x1109 x1108 x1107 x1106 x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 x1098 x1097 -x1096 -x1095 -x1094 -x1093 x1092 x1091
17.50/17.55 v x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073
17.50/17.55 v -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
17.50/17.55 v -x1053 x1052 -x1051 -x1050 -x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
17.50/17.55 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
17.50/17.55 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 x1001 -x1000
17.50/17.55 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 -x983 x982 -x981 x980 -x979
17.50/17.55 v -x978 -x977 x976 -x975 -x974 x973 x972 -x971 -x970 x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957
17.50/17.55 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 x942 x941 -x940 -x939 -x938 -x937 x936
17.50/17.55 v -x935 -x934 -x933 x932 -x931 -x930 -x929 x928 -x927 -x926 x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913
17.50/17.55 v -x912 -x911 -x910 x909 x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 x898 x897 -x896 -x895 -x894 -x893 -x892
17.50/17.55 v x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 x878 -x877 -x876 x875 -x874 x873 -x872 -x871 -x870
17.50/17.55 v x869 -x868 -x867 -x866 -x865 x864 x863 -x862 -x861 x860 -x859 x858 -x857 x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848
17.50/17.55 v -x847 -x846 x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 x837 -x836 -x835 x834 x833 -x832 -x831 x830 -x829 x828 -x827 -x826
17.50/17.55 v -x825 -x824 -x823 x822 -x821 -x820 x819 -x818 -x817 x816 -x815 x814 x813 x812 x811 x810 -x809 -x808 -x807 x806 x805 -x804 -x803
17.50/17.55 v -x802 -x801 -x800 -x799 x798 -x797 x796 -x795 -x794 x793 -x792 -x791 x790 -x789 -x788 -x787 -x786 x785 -x784 x783 -x782 -x781
17.50/17.55 v x780 x779 -x778 x777 -x776 -x775 x774 -x773 -x772 x771 -x770 -x769 x768 -x767 x766 -x765 x764 x763 -x762 x761 -x760 -x759
17.50/17.55 v x758 -x757 x756 -x755 -x754 -x753 x752 -x751 -x750 x749 -x748 -x747 -x746 x745 -x744 x743 -x742 x741 -x740 -x739 -x738 -x737
17.50/17.55 v -x736 -x735 -x734 x733 -x732 -x731 -x730 x729 x728 -x727 x726 x725 x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 x715
17.50/17.55 v x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693
17.50/17.55 v -x692 x691 -x690 x689 -x688 x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
17.50/17.55 v x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 x656 -x655 -x654 -x653 x652 -x651 x650
17.50/17.55 v -x649 -x648 -x647 -x646 x645 -x644 -x643 x642 x641 -x640 x639 -x638 -x637 x636 -x635 x634 -x633 -x632 -x631 x630 -x629 x628
17.50/17.55 v -x627 x626 x625 -x624 -x623 x622 -x621 x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 x608 -x607 -x606
17.50/17.55 v -x605 x604 -x603 -x602 -x601 x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 x586 x585 -x584
17.50/17.55 v -x583 x582 -x581 -x580 -x579 x578 -x577 -x576 x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562
17.50/17.55 v -x561 -x560 -x559 -x558 -x557 -x556 x555 x554 -x553 x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540
17.50/17.55 v x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 -x528 x527 x526 -x525 -x524 -x523 -x522 x521 -x520 x519 x518
17.50/17.55 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 x498 -x497
17.50/17.55 v x496 -x495 -x494 x493 -x492 -x491 x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 x478 -x477 x476 -x475
17.50/17.55 v x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454 -x453
17.50/17.55 v -x452 -x451 x450 x449 -x448 -x447 x446 -x445 x444 -x443 -x442 -x441 x440 x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431
17.50/17.55 v -x430 -x429 -x428 x427 -x426 -x425 -x424 x423 -x422 x421 x420 x419 x418 x417 x416 -x415 -x414 x413 -x412 x411 -x410 -x409
17.50/17.55 v -x408 -x407 x406 x405 x404 x403 x402 x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
17.50/17.55 v -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 x374 -x373 -x372 x371 -x370 x369 -x368 -x367 x366 -x365
17.50/17.55 v x364 -x363 x362 -x361 -x360 -x359 x358 x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 x345 x344 x343
17.50/17.55 v -x342 x341 x340 -x339 -x338 x337 -x336 -x335 x334 -x333 x332 x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
17.50/17.55 v -x320 -x319 -x318 x317 x316 -x315 -x314 x313 x312 -x311 -x310 x309 -x308 -x307 x306 x305 -x304 -x303 -x302 x301 -x300 x299 -x298
17.50/17.55 v x297 x296 -x295 x294 -x293 -x292 -x291 x290 x289 -x288 x287 -x286 -x285 -x284 -x283 x282 x281 -x280 x279 x278 -x277 x276
17.50/17.55 v x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
17.50/17.55 v -x253 x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232
17.50/17.55 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
17.50/17.55 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
17.50/17.55 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170
17.50/17.55 v -x169 -x168 x167 -x166 -x165 x164 -x163 -x162 x161 x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148
17.50/17.55 v -x147 x146 -x145 x144 x143 -x142 -x141 x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126
17.50/17.55 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
17.50/17.55 v -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
17.50/17.55 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
17.50/17.55 v -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 x44 x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 x28 -x27
17.50/17.55 v -x26 x25 -x24 x23 -x22 -x21 x20 -x19 x18 -x17 x16 x15 x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 x5 x4 -x3 -x2 -x1 -x6415 x6414
17.50/17.55 v -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 x6407 x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396
17.50/17.55 v -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378
17.50/17.55 v -x6377 -x6376 -x6375 x6374 x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 x6366 x6365 -x6364 x6363 -x6362 -x6361 -x6360 -x6359
17.50/17.55 v -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341
17.50/17.55 v -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 x6326 x6325 -x6324 x6323
17.50/17.55 v x6322 -x6321 x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 x6308 x6307 x6306 x6305 x6304
17.50/17.55 v x6303 -x6302 x6301 x6300 -x6299 -x6298 -x6297 -x6296 x6295 x6294 x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285
17.50/17.55 v -x6284 x6283 x6282 x6281 x6280 -x6279 -x6278 x6277 x6276 -x6275 x6274 -x6273 -x6272 -x6271 -x6270 x6269 x6268 x6267 -x6266
17.50/17.55 v -x6265 -x6264 -x6263 -x6262 -x6261 x6260 x6259 -x6258 -x6257 x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248
17.50/17.55 v -x6247 x6246 x6245 -x6244 -x6243 -x6242 -x6241 x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229
17.50/17.55 v -x6228 x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 x6219 x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211
17.50/17.55 v -x6210 -x6209 -x6208 -x6207 -x6206 x6205 -x6204 -x6203 x6202 x6201 x6200 -x6199 x6198 -x6197 -x6196 -x6195 -x6194 -x6193
17.50/17.55 v -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 x6184 x6183 x6182 x6181 x6180 x6179 -x6178 -x6177 -x6176 -x6175 -x6174
17.50/17.55 v -x6173 -x6172 -x6171 -x6170 -x6169 x6168 x6167 x6166 x6165 -x6164 -x6163 -x6162 x6161 x6160 -x6159 -x6158 -x6157 x6156 x6155
17.50/17.55 v x6154 -x6153 x6152 x6151 -x6150 -x6149 x6148 -x6147 -x6146 -x6145 -x6144 -x6143 x6142 x6141 -x6140 -x6139 -x6138 x6137 x6136
17.50/17.55 v -x6135 x6134 x6133 -x6132 x6131 x6130 x6129 x6128 x6127 -x6126 x6125 -x6124 -x6123 x6122 x6121 x6120 -x6119 -x6118 -x6117 -x6116
17.50/17.55 v -x6115 -x6114 x6113 x6112 x6111 -x6110 -x6109 x6108 -x6107 -x6106 -x6105 -x6104 -x6103 x6102 -x6101 -x6100 x6099 x6098
17.50/17.55 v -x6097 -x6096 -x6095 -x6094 x6093 -x6092 x6091 x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 x6081 x6080 -x6079
17.50/17.55 v x6078 -x6077 -x6076 -x6075 -x6074 -x6073 x6072 x6071 x6070 -x6069 -x6068 -x6067 -x6066 x6065 -x6064 -x6063 -x6062 -x6061 -x6060
17.50/17.55 v -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 x6043 -x6042
17.50/17.55 v x6041 x6040 x6039 -x6038 -x6037 x6036 -x6035 x6034 -x6033 -x6032 -x6031 x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024
17.50/17.55 v -x6023 x6022 -x6021 x6020 -x6019 -x6018 x6017 -x6016 -x6015 x6014 -x6013 x6012 -x6011 -x6010 -x6009 x6008 x6007 -x6006 -x6005
17.50/17.55 v x6004 -x6003 x6002 x6001 -x6000 x5999 x5998 x5997 -x5996 -x5995 -x5994 -x5993 -x5992 x5991 -x5990 -x5989 x5988 -x5987 -x5986
17.50/17.55 v -x5985 x5984 x5983 -x5982 x5981 x5980 -x5979 -x5978 x5977 -x5976 -x5975 -x5974 x5973 x5972 x5971 x5970 x5969 x5968 x5967 -x5966
17.50/17.55 v x5965 x5964 x5963 x5962 -x5961 -x5960 -x5959 -x5958 -x5957 x5956 x5955 x5954 x5953 x5952 x5951 -x5950 x5949 -x5948 x5947
17.50/17.55 v -x5946 -x5945 x5944 -x5943 x5942 -x5941 x5940 -x5939 x5938 -x5937 -x5936 -x5935 -x5934 x5933 x5932 x5931 -x5930 -x5929 -x5928
17.50/17.55 v x5927 -x5926 -x5925 -x5924 x5923 x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 x5915 x5914 -x5913 -x5912 -x5911 x5910 x5909
17.50/17.55 v -x5908 -x5907 -x5906 -x5905 x5904 x5903 x5902 x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891
17.50/17.55 v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 x5875 -x5874 -x5873
17.50/17.55 v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 x5865 x5864 x5863 -x5862 -x5861 x5860 -x5859 x5858 -x5857 -x5856 -x5855 x5854
17.50/17.55 v -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 x5844 -x5843 x5842 -x5841 -x5840 -x5839 -x5838 x5837 -x5836
17.50/17.55 v -x5835 -x5834 -x5833 x5832 -x5831 -x5830 -x5829 x5828 -x5827 x5826 -x5825 x5824 -x5823 x5822 -x5821 -x5820 x5819 x5818 -x5817
17.50/17.55 v x5816 -x5815 x5814 x5813 -x5812 -x5811 x5810 -x5809 -x5808 -x5807 x5806 x5805 -x5804 -x5803 x5802 x5801 -x5800 x5799 x5798 x5797
17.50/17.55 v x5796 x5795 -x5794 x5793 -x5792 -x5791 x5790 -x5789 -x5788 x5787 -x5786 -x5785 x5784 -x5783 -x5782 -x5781 -x5780 -x5779
17.50/17.55 v x5778 -x5777 -x5776 -x5775 x5774 -x5773 -x5772 -x5771 -x5770 -x5769 x5768 x5767 x5766 -x5765 -x5764 x5763 x5762 -x5761 -x5760
17.50/17.55 v -x5759 -x5758 -x5757 x5756 x5755 -x5754 -x5753 -x5752 x5751 x5750 x5749 x5748 -x5747 -x5746 -x5745 x5744 -x5743 -x5742 -x5741
17.50/17.55 v -x5740 x5739 x5738 x5737 x5736 x5735 x5734 -x5733 -x5732 x5731 x5730 x5729 -x5728 -x5727 x5726 x5725 x5724 x5723 x5722 -x5721
17.50/17.55 v -x5720 -x5719 -x5718 -x5717 x5716 x5715 x5714 -x5713 -x5712 -x5711 -x5710 x5709 -x5708 -x5707 -x5706 -x5705 x5704 -x5703 -x5702
17.50/17.55 v x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 x5693 -x5692 -x5691 -x5690 x5689 x5688 x5687 x5686 x5685 -x5684
17.50/17.55 v -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666
17.50/17.55 v -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 x5657 x5656 -x5655 -x5654 -x5653 -x5652 x5651 x5650 x5649 x5648 x5647
17.50/17.55 v -x5646 -x5645 -x5644 -x5643 x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629
17.50/17.55 v -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 x5620 -x5619 -x5618 x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611
17.50/17.55 v -x5610 -x5609 x5608 -x5607 -x5606 -x5605 x5604 -x5603 x5602 x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 x5594 -x5593 -x5592
17.50/17.55 v -x5591 -x5590 -x5589 -x5588 x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 x5575 x5574
17.50/17.55 v -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556
17.50/17.55 v -x5555 x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538
17.50/17.55 v -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520
17.50/17.55 v -x5519 x5518 x5517 x5516 -x5515 -x5514 x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 x5503 -x5502 -x5501
17.50/17.55 v -x5500 -x5499 x5498 x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483
17.50/17.55 v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 x5474 x5473 x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465
17.50/17.55 v -x5464 -x5463 -x5462 -x5461 -x5460 x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447
17.50/17.55 v -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429
17.50/17.55 v -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411
17.50/17.55 v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393
17.50/17.55 v -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376
17.50/17.55 v -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358
17.50/17.55 v -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340
17.50/17.55 v -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322
17.50/17.55 v -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304
17.50/17.55 v -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 x5293 -x5292 -x5291 -x5290 x5289 -x5288 -x5287 -x5286
17.50/17.55 v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 x5272 -x5271 -x5270 -x5269 -x5268
17.50/17.55 v -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250
17.50/17.55 v -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232
17.50/17.55 v -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214
17.50/17.55 v -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196
17.50/17.55 v -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 x5180 x5179 x5178
17.50/17.55 v -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160
17.50/17.55 v -x5159 -x5158 -x5157 -x5156 -x5155 x5154 x5153 x5152 x5151 x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142
17.50/17.55 v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124
17.50/17.55 v -x5123 x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106
17.50/17.55 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088
17.50/17.55 v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070
17.50/17.55 v -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052
17.50/17.55 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034
17.50/17.55 v -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017
17.50/17.55 v -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999
17.50/17.55 v -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981
17.50/17.55 v -x4980 -x4979 -x4978 -x4977 -x4976 x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963
17.50/17.55 v -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 x4954 x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945
17.50/17.55 v -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927
17.50/17.55 v -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
17.50/17.55 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
17.50/17.55 v -x4890 -x4889 x4888 x4887 x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 x4876 -x4875 -x4874 -x4873
17.50/17.55 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
17.50/17.55 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 x4839 -x4838 -x4837
17.50/17.55 v -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819
17.50/17.55 v -x4818 x4817 -x4816 -x4815 -x4814 -x4813 x4812 x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801
17.50/17.55 v -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 x4785 x4784 -x4783 -x4782
17.50/17.55 v -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 x4768 -x4767 -x4766 -x4765 -x4764
17.50/17.55 v x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746
17.50/17.55 v -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728
17.50/17.55 v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711
17.50/17.55 v -x4710 -x4709 x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693
17.50/17.55 v -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675
17.50/17.55 v -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 x4657
17.50/17.55 v -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639
17.50/17.55 v -x4638 -x4637 x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621
17.50/17.55 v -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603
17.50/17.55 v -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585
17.50/17.55 v -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567
17.50/17.55 v -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549
17.50/17.55 v -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532
17.50/17.55 v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514
17.50/17.55 v -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 x4507 x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495
17.50/17.55 v -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 x4480 x4479 x4478 -x4477
17.50/17.55 v -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 x4465 x4464 -x4463 -x4462 -x4461 -x4460 -x4459
17.50/17.55 v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 x4447 -x4446 x4445 x4444 -x4443 -x4442 -x4441
17.50/17.55 v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 x4433 x4432 -x4431 -x4430 -x4429 x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422
17.50/17.55 v -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405
17.50/17.55 v -x4404 x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387
17.50/17.55 v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369
17.50/17.55 v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 x4351
17.50/17.55 v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333
17.50/17.55 v -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 x4318 -x4317 -x4316 -x4315
17.50/17.55 v -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 x4301 -x4300 -x4299 -x4298 -x4297
17.50/17.55 v -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279
17.50/17.55 v x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261
17.50/17.55 v -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243
17.50/17.55 v -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225
17.50/17.55 v -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207
17.50/17.55 v -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 x4195 x4194 -x4193 -x4192 -x4191 -x4190 -x4189
17.50/17.55 v -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171
17.50/17.55 v -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 x4162 x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153
17.50/17.55 v -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135
17.50/17.55 v -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118
17.50/17.55 v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100
17.50/17.55 v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082
17.50/17.55 v -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064
17.50/17.55 v -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 x4049 -x4048 -x4047 -x4046
17.50/17.55 v -x4045 -x4044 -x4043 -x4042 -x4041 x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 x4033 -x4032 -x4031 -x4030 -x4029 -x4028
17.50/17.55 v -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010
17.50/17.55 v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992
17.50/17.55 v -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974
17.50/17.55 v -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956
17.50/17.55 v -x3955 -x3954 x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938
17.50/17.55 v -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921
17.50/17.55 v -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903
17.50/17.55 v -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885
17.50/17.55 v -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867
17.50/17.55 v -x3866 -x3865 -x3864 -x3863 -x3862 x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849
17.50/17.55 v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
17.50/17.55 v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813
17.50/17.55 v -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795
17.50/17.55 v -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778
17.50/17.55 v -x3777 x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
17.50/17.55 v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742
17.50/17.55 v -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724
17.50/17.55 v -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706
17.50/17.55 v -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688
17.50/17.55 v -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670
17.50/17.55 v -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652
17.50/17.55 v -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
17.50/17.55 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617
17.50/17.55 v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
17.50/17.55 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
17.50/17.55 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
17.50/17.55 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545
17.50/17.55 v -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527
17.50/17.55 v -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509
17.50/17.55 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492
17.50/17.55 v -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474
17.50/17.55 v -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456
17.50/17.55 v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438
17.50/17.55 v -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420
17.50/17.55 v -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402
17.50/17.55 v -x3401 -x3400
17.50/17.55 c SCIP Status : problem is solved [optimal solution found]
17.50/17.55 c Solving Time : 17.07
17.50/17.55 c Original Problem :
17.50/17.55 c Problem name : HOME/instance-2704841-1278580115.opb
17.50/17.55 c Variables : 6415 (6415 binary, 0 integer, 0 implicit integer, 0 continuous)
17.50/17.55 c Constraints : 26784 initial, 26784 maximal
17.50/17.55 c Presolved Problem :
17.50/17.55 c Problem name : t_HOME/instance-2704841-1278580115.opb
17.50/17.55 c Variables : 3175 (3175 binary, 0 integer, 0 implicit integer, 0 continuous)
17.50/17.55 c Constraints : 10054 initial, 10054 maximal
17.50/17.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
17.50/17.55 c trivial : 0.05 21 0 0 0 0 0 0 0
17.50/17.55 c dualfix : 0.04 1132 0 0 0 0 0 0 0
17.50/17.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
17.50/17.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
17.50/17.55 c implics : 0.10 0 168 0 0 0 0 0 0
17.50/17.55 c probing : 9.00 154 683 0 0 0 0 0 0
17.50/17.55 c setppc : 0.66 0 1 0 0 0 2005 0 0
17.50/17.55 c linear : 0.34 360 721 0 373 0 13120 28 91
17.50/17.55 c logicor : 4.33 0 0 0 5 0 1610 0 0
17.50/17.55 c root node : - 3060 - - 3060 - - - -
17.50/17.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
17.50/17.55 c integral : 0 0 0 1 0 0 0 0 0 0
17.50/17.55 c setppc : 4804 4 11189 1 0 63 129 0 0 0
17.50/17.55 c logicor : 5250 4 9290 1 0 40 229 0 0 0
17.50/17.55 c countsols : 0 0 0 1 0 0 0 0 0 0
17.50/17.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
17.50/17.55 c integral : 0.00 0.00 0.00 0.00 0.00
17.50/17.55 c setppc : 6.13 0.00 6.13 0.00 0.00
17.50/17.55 c logicor : 0.23 0.01 0.21 0.00 0.00
17.50/17.55 c countsols : 0.00 0.00 0.00 0.00 0.00
17.50/17.55 c Propagators : Time Calls Cutoffs DomReds
17.50/17.55 c vbounds : 0.00 2 0 0
17.50/17.55 c rootredcost : 0.01 0 0 0
17.50/17.55 c pseudoobj : 0.01 8 0 0
17.50/17.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
17.50/17.55 c propagation : 0.00 0 0 0 0.0 0 0.0 -
17.50/17.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
17.50/17.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
17.50/17.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
17.50/17.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
17.50/17.55 c applied globally : - - - 0 0.0 - - -
17.50/17.55 c applied locally : - - - 0 0.0 - - -
17.50/17.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
17.50/17.55 c cut pool : 0.00 3 - - 0 - (maximal pool size: 472)
17.50/17.55 c redcost : 0.02 4 0 1308 0 0
17.50/17.55 c impliedbounds : 0.00 2 0 0 391 0
17.50/17.55 c intobj : 0.00 0 0 0 0 0
17.50/17.55 c cgmip : 0.00 0 0 0 0 0
17.50/17.55 c gomory : 0.14 2 0 0 665 0
17.50/17.55 c strongcg : 0.14 2 0 0 665 0
17.50/17.55 c cmir : 0.27 2 0 0 0 0
17.50/17.55 c flowcover : 0.40 2 0 0 0 0
17.50/17.55 c clique : 0.07 2 0 0 11 0
17.50/17.55 c zerohalf : 0.00 0 0 0 0 0
17.50/17.55 c mcf : 0.03 1 0 0 0 0
17.50/17.55 c rapidlearning : 0.79 1 0 1394 0 0
17.50/17.55 c Pricers : Time Calls Vars
17.50/17.55 c problem variables: 0.00 0 0
17.50/17.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
17.50/17.55 c pscost : 0.00 0 0 0 0 0 0
17.50/17.55 c inference : 0.00 0 0 0 0 0 0
17.50/17.55 c mostinf : 0.00 0 0 0 0 0 0
17.50/17.55 c leastinf : 0.00 0 0 0 0 0 0
17.50/17.55 c fullstrong : 0.00 0 0 0 0 0 0
17.50/17.55 c allfullstrong : 0.00 0 0 0 0 0 0
17.50/17.55 c random : 0.00 0 0 0 0 0 0
17.50/17.55 c relpscost : 0.00 0 0 0 0 0 0
17.50/17.55 c Primal Heuristics : Time Calls Found
17.50/17.55 c LP solutions : 0.00 - 0
17.50/17.55 c pseudo solutions : 0.00 - 0
17.50/17.55 c crossover : 0.00 0 0
17.50/17.55 c oneopt : 0.01 2 1
17.50/17.55 c trivial : 0.02 2 0
17.50/17.55 c simplerounding : 0.00 1 0
17.50/17.55 c zirounding : 0.00 0 0
17.50/17.55 c rounding : 0.00 2 0
17.50/17.55 c shifting : 0.03 2 2
17.50/17.55 c intshifting : 0.00 0 0
17.50/17.55 c twoopt : 0.00 0 0
17.50/17.55 c fixandinfer : 0.00 0 0
17.50/17.55 c feaspump : 0.00 0 0
17.50/17.55 c coefdiving : 0.00 0 0
17.50/17.55 c pscostdiving : 0.00 0 0
17.50/17.55 c fracdiving : 0.00 0 0
17.50/17.55 c veclendiving : 0.00 0 0
17.50/17.55 c intdiving : 0.00 0 0
17.50/17.55 c actconsdiving : 0.00 0 0
17.50/17.55 c objpscostdiving : 0.00 0 0
17.50/17.55 c rootsoldiving : 0.00 0 0
17.50/17.55 c linesearchdiving : 0.00 0 0
17.50/17.55 c guideddiving : 0.00 0 0
17.50/17.55 c octane : 0.00 0 0
17.50/17.55 c rens : 0.00 0 0
17.50/17.55 c rins : 0.00 0 0
17.50/17.55 c localbranching : 0.00 0 0
17.50/17.55 c mutation : 0.00 0 0
17.50/17.55 c dins : 0.00 0 0
17.50/17.55 c undercover : 0.00 0 0
17.50/17.55 c nlp : 0.00 0 0
17.50/17.55 c trysol : 0.00 0 0
17.50/17.55 c LP : Time Calls Iterations Iter/call Iter/sec
17.50/17.55 c primal LP : 0.00 0 0 0.00 -
17.50/17.55 c dual LP : 0.23 4 1084 271.00 4632.48
17.50/17.55 c lex dual LP : 0.00 0 0 0.00 -
17.50/17.55 c barrier LP : 0.00 0 0 0.00 -
17.50/17.55 c diving/probing LP: 0.00 0 0 0.00 -
17.50/17.55 c strong branching : 0.00 0 0 0.00 -
17.50/17.55 c (at root node) : - 0 0 0.00 -
17.50/17.55 c conflict analysis: 0.00 0 0 0.00 -
17.50/17.55 c B&B Tree :
17.50/17.55 c number of runs : 1
17.50/17.55 c nodes : 1
17.50/17.55 c nodes (total) : 1
17.50/17.55 c nodes left : 0
17.50/17.55 c max depth : 0
17.50/17.55 c max depth (total): 0
17.50/17.55 c backtracks : 0 (0.0%)
17.50/17.55 c delayed cutoffs : 0
17.50/17.55 c repropagations : 0 (0 domain reductions, 0 cutoffs)
17.50/17.55 c avg switch length: 2.00
17.50/17.55 c switching time : 0.00
17.50/17.55 c Solution :
17.50/17.55 c Solutions found : 5 (5 improvements)
17.50/17.55 c First Solution : +1.48113016190000e+11 (in run 1, after 1 nodes, 14.96 seconds, depth 0, found by <shifting>)
17.50/17.55 c Primal Bound : +1.39086102680000e+10 (in run 1, after 1 nodes, 17.06 seconds, depth 0, found by <relaxation>)
17.50/17.55 c Dual Bound : +1.39086102680000e+10
17.50/17.55 c Gap : 0.00 %
17.50/17.55 c Root Dual Bound : +1.39086102680000e+10
17.50/17.55 c Root Iterations : 1084
17.60/17.62 c Time complete: 17.61.
OK 13908610268
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704841-1278580115/watcher-2704841-1278580115 -o /tmp/evaluation-result-2704841-1278580115/solver-2704841-1278580115 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704841-1278580115.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28277 /proc/meminfo: memFree=1845200/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=7904 CPUtime=0 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 1 0 26225069 8093696 1060 1992294400 4194304 8395647 140735170364128 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28277/statm: 1976 1067 365 1026 0 946 0 [startup+0.0571471 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28277 /proc/meminfo: memFree=1845200/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=14792 CPUtime=0.05 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 3005 0 0 0 4 1 0 0 20 0 1 0 26225069 15147008 2915 1992294400 4194304 8395647 140735170364128 18446744073709551615 5754838 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28277/statm: 3698 2915 393 1026 0 2668 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14792 [startup+0.101156 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28277 /proc/meminfo: memFree=1845200/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=17316 CPUtime=0.09 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 3576 0 0 0 8 1 0 0 20 0 1 0 26225069 17731584 3486 1992294400 4194304 8395647 140735170364128 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28277/statm: 4329 3497 393 1026 0 3299 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17316 [startup+0.301196 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28277 /proc/meminfo: memFree=1845200/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=22236 CPUtime=0.29 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 4847 0 0 0 27 2 0 0 20 0 1 0 26225069 22769664 4757 1992294400 4194304 8395647 140735170364128 18446744073709551615 5753718 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28277/statm: 5559 4757 393 1026 0 4529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22236 [startup+0.701309 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28277 /proc/meminfo: memFree=1845200/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=55820 CPUtime=0.69 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 13224 0 0 0 65 4 0 0 21 0 1 0 26225069 57159680 12780 1992294400 4194304 8395647 140735170364128 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 13955 12780 475 1026 0 12925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55820 [startup+1.50143 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1791004/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=62184 CPUtime=1.49 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 14875 0 0 0 145 4 0 0 23 0 1 0 26225069 63676416 14431 1992294400 4194304 8395647 140735170364128 18446744073709551615 5220191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 15546 14431 498 1026 0 14516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62184 [startup+3.10074 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1788648/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=62752 CPUtime=3.09 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 15017 0 0 0 305 4 0 0 25 0 1 0 26225069 64258048 14573 1992294400 4194304 8395647 140735170364128 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 15688 14573 498 1026 0 14658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62752 [startup+6.30137 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1788028/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=63776 CPUtime=6.29 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 15279 0 0 0 624 5 0 0 25 0 1 0 26225069 65306624 14835 1992294400 4194304 8395647 140735170364128 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 15944 14835 504 1026 0 14914 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63776 [startup+12.7007 s] /proc/loadavg: 1.00 0.99 0.91 3/107 28278 /proc/meminfo: memFree=1786168/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=64948 CPUtime=12.69 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 15572 0 0 0 1264 5 0 0 25 0 1 0 26225069 66506752 15128 1992294400 4194304 8395647 140735170364128 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 16237 15128 504 1026 0 15207 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64948 Solver just ended. Dumping a history of the last processes samples [startup+15.9013 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1775628/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=78168 CPUtime=15.88 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 18915 0 0 0 1582 6 0 0 18 0 1 0 26225069 80044032 18365 1992294400 4194304 8395647 140735170364128 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 19542 18365 606 1026 0 18512 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 78168 [startup+16.7014 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1770420/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=98000 CPUtime=16.69 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 24221 0 0 0 1661 8 0 0 20 0 1 0 26225069 100352000 23512 1992294400 4194304 8395647 140735170364128 18446744073709551615 4218646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 24500 23512 617 1026 0 23470 0 Current children cumulated CPU time (s) 16.69 Current children cumulated vsize (KiB) 98000 [startup+17.1015 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1770420/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=105136 CPUtime=17.09 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 25779 0 0 0 1694 15 0 0 20 0 1 0 26225069 107659264 25070 1992294400 4194304 8395647 140735170364128 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 26284 25070 624 1026 0 25254 0 Current children cumulated CPU time (s) 17.09 Current children cumulated vsize (KiB) 105136 [startup+17.5016 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1769924/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=80792 CPUtime=17.5 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 25862 0 0 0 1729 21 0 0 21 0 1 0 26225069 82731008 19184 1992294400 4194304 8395647 140735170364128 18446744073709551615 7430400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28277/statm: 20198 19184 631 1026 0 19168 0 Current children cumulated CPU time (s) 17.5 Current children cumulated vsize (KiB) 80792 [startup+17.6096 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28278 /proc/meminfo: memFree=1769924/2059040 swapFree=4140056/4192956 [pid=28277] ppid=28275 vsize=70224 CPUtime=17.6 /proc/28277/stat : 28277 (pbscip.linux.x8) R 28275 28277 27889 0 -1 4202496 25865 0 0 0 1739 21 0 0 21 0 1 0 26225069 71909376 16748 1992294400 4194304 8395647 140735170364128 18446744073709551615 4750474 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28277/statm: 17556 16748 634 1026 0 16526 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 70224 Child status: 0 Real time (s): 17.6236 CPU time (s): 17.6183 CPU user time (s): 17.3944 CPU system time (s): 0.223965 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 105136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3944 system time used= 0.223965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25868 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= 199 runsolver used 0.031995 second user time and 0.105983 second system time The end
Begin job on node006 at 2010-07-08 11:08:35 IDJOB=2704841 IDBENCH=72316 IDSOLVER=1213 FILE ID=node006/2704841-1278580115 PBS_JOBID= 11240109 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704841-1278580115/watcher-2704841-1278580115 -o /tmp/evaluation-result-2704841-1278580115/solver-2704841-1278580115 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704841-1278580115.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a691c3b1700d95cd917852b9436eebd RANDOM SEED=311491258 node006.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.269 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.269 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846448 kB Buffers: 8528 kB Cached: 117664 kB SwapCached: 6040 kB Active: 47420 kB Inactive: 92224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846448 kB SwapTotal: 4192956 kB SwapFree: 4140056 kB Dirty: 11184 kB Writeback: 0 kB AnonPages: 11992 kB Mapped: 12048 kB Slab: 51048 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179900 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node006 at 2010-07-08 11:08:53