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