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