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