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