Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | -7312 | 1800.03 | 1800.67 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
| MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -7863 |
| Best CPU time to get the best result obtained on this benchmark | 1800.63 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -7952 |
| Optimality of the best value was proved | NO |
| Number of variables | 2993 |
| Total number of constraints | 112 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 73 |
| Number of constraints which are nor clauses,nor cardinality constraints | 39 |
| Minimum length of a constraint | 41 |
| Maximum length of a constraint | 73 |
| Number of terms in the objective function | 2993 |
| Biggest coefficient in the objective function | 2020 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 525822 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 96167 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 525822 |
| Number of bits of the biggest sum of numbers | 20 |
| 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 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 2993 variables and 185 constraints. 0.07 c Switching on LPR. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.055 0.07 c After prepocess the problem consists of 1374 variables and 174 constraints. 0.13 c Initial Lower Bound: -125652 7.23 c Sol. found (all assignments made)... 7.23 o -4958 7.23 c NEW SOLUTION FOUND: -4958 @ 7.217 7.24 c Sol. found (all assignments made)... 7.24 o -5092 7.24 c NEW SOLUTION FOUND: -5092 @ 7.226 7.25 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.27 o -5210 7.27 c NEW SOLUTION FOUND: -5210 @ 7.258 7.28 c Sol. found (all assignments made)... 7.29 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 o -5216 7.34 c NEW SOLUTION FOUND: -5216 @ 7.322 7.35 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.47 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 o -5238 7.52 c NEW SOLUTION FOUND: -5238 @ 7.506 7.53 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 o -5244 7.55 c NEW SOLUTION FOUND: -5244 @ 7.535 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 o -5291 7.70 c NEW SOLUTION FOUND: -5291 @ 7.682 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 o -5297 7.71 c NEW SOLUTION FOUND: -5297 @ 7.696 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.93 o -5299 7.93 c NEW SOLUTION FOUND: -5299 @ 7.912 7.93 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.02 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.36 o -5310 8.36 c NEW SOLUTION FOUND: -5310 @ 8.348 8.42 o -5316 8.42 c NEW SOLUTION FOUND: -5316 @ 8.406 8.97 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 o -5352 9.12 c NEW SOLUTION FOUND: -5352 @ 9.105 9.15 o -5358 9.15 c NEW SOLUTION FOUND: -5358 @ 9.133 9.16 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.92 c Restart #1 #Var: 1374 LB: -125652 @ 9.907 20.81 c Restart #2 #Var: 1374 LB: -125652 @ 20.793 32.70 c Restart #3 #Var: 1374 LB: -125652 @ 32.681 43.97 c Restart #4 #Var: 1374 LB: -125652 @ 43.942 73.92 c Restart #5 #Var: 1374 LB: -125652 @ 73.88 116.66 c Restart #6 #Var: 1374 LB: -125652 @ 116.61 137.51 c Sol. found (all assignments made)... 137.51 o -6597 137.51 c NEW SOLUTION FOUND: -6597 @ 137.46 137.52 c Sol. found (all assignments made)... 137.53 c Sol. found (all assignments made)... 137.53 o -6602 137.53 c NEW SOLUTION FOUND: -6602 @ 137.48 137.54 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 137.55 o -6611 137.55 c NEW SOLUTION FOUND: -6611 @ 137.49 137.55 c Sol. found (all assignments made)... 137.57 c Sol. found (all assignments made)... 137.60 c Sol. found (all assignments made)... 137.61 c Sol. found (all assignments made)... 137.63 c Sol. found (all assignments made)... 137.64 c Sol. found (all assignments made)... 137.64 c Sol. found (all assignments made)... 137.65 c Sol. found (all assignments made)... 137.69 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.72 c Sol. found (all assignments made)... 137.72 c Sol. found (all assignments made)... 137.73 c Sol. found (all assignments made)... 137.74 c Sol. found (all assignments made)... 137.77 c Sol. found (all assignments made)... 137.79 c Sol. found (all assignments made)... 137.80 c Sol. found (all assignments made)... 137.81 c Sol. found (all assignments made)... 137.82 c Sol. found (all assignments made)... 137.82 c Sol. found (all assignments made)... 137.85 c Sol. found (all assignments made)... 137.87 c Sol. found (all assignments made)... 137.88 c Sol. found (all assignments made)... 137.89 c Sol. found (all assignments made)... 137.89 c Sol. found (all assignments made)... 137.90 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.94 c Sol. found (all assignments made)... 137.96 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.99 c Sol. found (all assignments made)... 138.00 c Sol. found (all assignments made)... 138.03 c Sol. found (all assignments made)... 138.05 c Sol. found (all assignments made)... 138.06 c Sol. found (all assignments made)... 138.07 c Sol. found (all assignments made)... 138.07 c Sol. found (all assignments made)... 138.08 c Sol. found (all assignments made)... 138.09 c Sol. found (all assignments made)... 138.12 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 138.17 c Sol. found (all assignments made)... 138.18 c Sol. found (all assignments made)... 138.19 c Sol. found (all assignments made)... 138.25 c Sol. found (all assignments made)... 138.28 c Sol. found (all assignments made)... 138.29 c Sol. found (all assignments made)... 138.30 c Sol. found (all assignments made)... 138.36 c Sol. found (all assignments made)... 138.38 c Sol. found (all assignments made)... 138.39 c Sol. found (all assignments made)... 138.40 c Sol. found (all assignments made)... 138.41 c Sol. found (all assignments made)... 138.45 c Sol. found (all assignments made)... 138.48 c Sol. found (all assignments made)... 138.50 c Sol. found (all assignments made)... 138.52 c Sol. found (all assignments made)... 138.54 c Sol. found (all assignments made)... 138.57 c Sol. found (all assignments made)... 138.57 c Sol. found (all assignments made)... 138.59 c Sol. found (all assignments made)... 138.60 c Sol. found (all assignments made)... 138.61 c Sol. found (all assignments made)... 138.64 c Sol. found (all assignments made)... 138.69 c Sol. found (all assignments made)... 138.71 c Sol. found (all assignments made)... 138.74 c Sol. found (all assignments made)... 138.77 c Sol. found (all assignments made)... 138.79 c Sol. found (all assignments made)... 138.80 c Sol. found (all assignments made)... 138.83 c Sol. found (all assignments made)... 138.84 c Sol. found (all assignments made)... 138.87 c Sol. found (all assignments made)... 138.89 c Sol. found (all assignments made)... 138.93 c Sol. found (all assignments made)... 138.93 c Sol. found (all assignments made)... 138.95 c Sol. found (all assignments made)... 138.96 c Sol. found (all assignments made)... 139.01 c Sol. found (all assignments made)... 139.03 c Sol. found (all assignments made)... 139.07 c Sol. found (all assignments made)... 139.09 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.12 c Sol. found (all assignments made)... 139.14 c Sol. found (all assignments made)... 139.15 c Sol. found (all assignments made)... 139.18 c Sol. found (all assignments made)... 139.20 c Sol. found (all assignments made)... 139.24 c Sol. found (all assignments made)... 139.26 c Sol. found (all assignments made)... 139.27 c Sol. found (all assignments made)... 139.32 c Sol. found (all assignments made)... 139.34 c Sol. found (all assignments made)... 139.40 c Sol. found (all assignments made)... 139.45 c Sol. found (all assignments made)... 139.51 c Sol. found (all assignments made)... 139.54 c Sol. found (all assignments made)... 139.56 c Sol. found (all assignments made)... 139.57 c Sol. found (all assignments made)... 139.62 c Sol. found (all assignments made)... 139.64 c Sol. found (all assignments made)... 139.69 c Sol. found (all assignments made)... 139.73 c Sol. found (all assignments made)... 139.75 c Sol. found (all assignments made)... 139.76 c Sol. found (all assignments made)... 139.79 c Sol. found (all assignments made)... 139.81 c Sol. found (all assignments made)... 139.84 c Sol. found (all assignments made)... 139.86 c Sol. found (all assignments made)... 139.87 c Sol. found (all assignments made)... 139.92 c Sol. found (all assignments made)... 139.94 c Sol. found (all assignments made)... 140.80 o -6614 140.80 c NEW SOLUTION FOUND: -6614 @ 140.74 140.80 c Sol. found (all assignments made)... 140.81 c Sol. found (all assignments made)... 140.82 c Sol. found (all assignments made)... 140.82 c Sol. found (all assignments made)... 140.85 c Sol. found (all assignments made)... 140.86 c Sol. found (all assignments made)... 140.87 c Sol. found (all assignments made)... 140.87 c Sol. found (all assignments made)... 140.91 c Sol. found (all assignments made)... 140.91 o -6620 140.91 c NEW SOLUTION FOUND: -6620 @ 140.84 140.91 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.93 c Sol. found (all assignments made)... 140.96 c Sol. found (all assignments made)... 140.97 c Sol. found (all assignments made)... 140.98 c Sol. found (all assignments made)... 140.98 c Sol. found (all assignments made)... 141.02 c Sol. found (all assignments made)... 141.02 c Sol. found (all assignments made)... 141.03 c Sol. found (all assignments made)... 141.03 c Sol. found (all assignments made)... 141.06 c Sol. found (all assignments made)... 141.07 c Sol. found (all assignments made)... 141.07 c Sol. found (all assignments made)... 141.08 c Sol. found (all assignments made)... 141.11 c Sol. found (all assignments made)... 141.12 c Sol. found (all assignments made)... 141.12 c Sol. found (all assignments made)... 141.13 c Sol. found (all assignments made)... 141.15 c Sol. found (all assignments made)... 141.16 c Sol. found (all assignments made)... 141.17 c Sol. found (all assignments made)... 141.17 c Sol. found (all assignments made)... 141.20 c Sol. found (all assignments made)... 141.21 c Sol. found (all assignments made)... 141.21 c Sol. found (all assignments made)... 141.22 c Sol. found (all assignments made)... 141.25 c Sol. found (all assignments made)... 141.26 c Sol. found (all assignments made)... 141.26 c Sol. found (all assignments made)... 141.26 c Sol. found (all assignments made)... 141.30 c Sol. found (all assignments made)... 141.31 c Sol. found (all assignments made)... 141.31 c Sol. found (all assignments made)... 141.32 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.36 c Sol. found (all assignments made)... 141.36 c Sol. found (all assignments made)... 141.40 c Sol. found (all assignments made)... 141.40 o -6625 141.40 c NEW SOLUTION FOUND: -6625 @ 141.33 141.41 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.41 c Sol. found (all assignments made)... 141.44 c Sol. found (all assignments made)... 141.45 c Sol. found (all assignments made)... 141.45 c Sol. found (all assignments made)... 141.46 c Sol. found (all assignments made)... 141.49 c Sol. found (all assignments made)... 141.50 c Sol. found (all assignments made)... 141.51 c Sol. found (all assignments made)... 141.51 c Sol. found (all assignments made)... 141.53 c Sol. found (all assignments made)... 141.54 c Sol. found (all assignments made)... 141.54 c Sol. found (all assignments made)... 141.55 c Sol. found (all assignments made)... 141.58 c Sol. found (all assignments made)... 141.59 c Sol. found (all assignments made)... 141.59 c Sol. found (all assignments made)... 141.60 c Sol. found (all assignments made)... 141.62 c Sol. found (all assignments made)... 141.63 c Sol. found (all assignments made)... 141.63 c Sol. found (all assignments made)... 141.63 c Sol. found (all assignments made)... 141.67 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.68 c Sol. found (all assignments made)... 141.70 c Sol. found (all assignments made)... 141.71 c Sol. found (all assignments made)... 141.72 c Sol. found (all assignments made)... 141.72 c Sol. found (all assignments made)... 141.76 c Sol. found (all assignments made)... 141.77 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 141.79 c Sol. found (all assignments made)... 141.80 c Sol. found (all assignments made)... 141.81 c Sol. found (all assignments made)... 141.84 c Sol. found (all assignments made)... 141.85 c Sol. found (all assignments made)... 141.85 c Sol. found (all assignments made)... 141.86 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 141.93 c Sol. found (all assignments made)... 141.94 c Sol. found (all assignments made)... 141.94 c Sol. found (all assignments made)... 141.94 c Sol. found (all assignments made)... 141.96 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 141.98 c Sol. found (all assignments made)... 141.98 c Sol. found (all assignments made)... 142.02 c Sol. found (all assignments made)... 142.02 c Sol. found (all assignments made)... 142.03 c Sol. found (all assignments made)... 142.03 c Sol. found (all assignments made)... 142.05 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.07 c Sol. found (all assignments made)... 142.07 c Sol. found (all assignments made)... 142.10 c Sol. found (all assignments made)... 142.11 c Sol. found (all assignments made)... 142.13 c Sol. found (all assignments made)... 142.14 c Sol. found (all assignments made)... 142.18 o -6626 142.18 c NEW SOLUTION FOUND: -6626 @ 142.11 142.18 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.19 o -6628 142.19 c NEW SOLUTION FOUND: -6628 @ 142.12 142.19 c Sol. found (all assignments made)... 142.21 c Sol. found (all assignments made)... 142.22 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.27 c Sol. found (all assignments made)... 142.27 o -6632 142.27 c NEW SOLUTION FOUND: -6632 @ 142.2 142.28 c Sol. found (all assignments made)... 142.28 c Sol. found (all assignments made)... 142.28 o -6634 142.28 c NEW SOLUTION FOUND: -6634 @ 142.21 142.28 c Sol. found (all assignments made)... 142.30 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.36 c Sol. found (all assignments made)... 142.36 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.39 c Sol. found (all assignments made)... 142.39 c Sol. found (all assignments made)... 142.40 c Sol. found (all assignments made)... 142.40 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.45 c Sol. found (all assignments made)... 142.45 c Sol. found (all assignments made)... 142.45 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.47 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.48 c Sol. found (all assignments made)... 142.52 c Sol. found (all assignments made)... 142.52 c Sol. found (all assignments made)... 142.53 c Sol. found (all assignments made)... 142.53 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.55 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.69 c Sol. found (all assignments made)... 142.71 c Sol. found (all assignments made)... 142.71 c Sol. found (all assignments made)... 142.75 c Sol. found (all assignments made)... 142.76 c Sol. found (all assignments made)... 142.77 c Sol. found (all assignments made)... 142.78 c Sol. found (all assignments made)... 142.82 c Sol. found (all assignments made)... 142.82 c Sol. found (all assignments made)... 142.84 c Sol. found (all assignments made)... 142.84 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 142.90 c Sol. found (all assignments made)... 142.90 c Sol. found (all assignments made)... 142.94 c Sol. found (all assignments made)... 142.95 c Sol. found (all assignments made)... 142.96 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 147.44 c Restart #7 #Var: 1374 LB: -125652 @ 147.37 178.48 c Restart #8 #Var: 1374 LB: -125652 @ 178.4 208.08 c Restart #9 #Var: 1374 LB: -125652 @ 208 212.92 o -6937 212.92 c NEW SOLUTION FOUND: -6937 @ 212.84 212.93 c Sol. found (all assignments made)... 212.93 c Sol. found (all assignments made)... 212.95 o -6957 212.95 c NEW SOLUTION FOUND: -6957 @ 212.86 212.95 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.97 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.02 c Sol. found (all assignments made)... 213.03 c Sol. found (all assignments made)... 213.05 c Sol. found (all assignments made)... 213.05 c Sol. found (all assignments made)... 213.07 c Sol. found (all assignments made)... 213.07 c Sol. found (all assignments made)... 213.09 c Sol. found (all assignments made)... 213.10 c Sol. found (all assignments made)... 213.13 c Sol. found (all assignments made)... 213.13 c Sol. found (all assignments made)... 213.16 c Sol. found (all assignments made)... 213.16 c Sol. found (all assignments made)... 213.18 o -6963 213.18 c NEW SOLUTION FOUND: -6963 @ 213.09 213.18 c Sol. found (all assignments made)... 213.19 c Sol. found (all assignments made)... 213.21 c Sol. found (all assignments made)... 213.22 c Sol. found (all assignments made)... 213.24 c Sol. found (all assignments made)... 213.24 c Sol. found (all assignments made)... 213.27 c Sol. found (all assignments made)... 213.27 c Sol. found (all assignments made)... 213.29 c Sol. found (all assignments made)... 213.30 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.35 c Sol. found (all assignments made)... 213.35 c Sol. found (all assignments made)... 213.38 c Sol. found (all assignments made)... 213.38 c Sol. found (all assignments made)... 213.41 c Sol. found (all assignments made)... 213.41 c Sol. found (all assignments made)... 213.43 c Sol. found (all assignments made)... 213.44 c Sol. found (all assignments made)... 213.46 c Sol. found (all assignments made)... 213.47 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.52 c Sol. found (all assignments made)... 213.53 c Sol. found (all assignments made)... 213.55 c Sol. found (all assignments made)... 213.55 c Sol. found (all assignments made)... 213.58 c Sol. found (all assignments made)... 213.58 c Sol. found (all assignments made)... 213.60 c Sol. found (all assignments made)... 213.61 c Sol. found (all assignments made)... 213.64 c Sol. found (all assignments made)... 213.65 c Sol. found (all assignments made)... 213.67 c Sol. found (all assignments made)... 213.67 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 213.79 c Sol. found (all assignments made)... 213.79 c Sol. found (all assignments made)... 213.82 c Sol. found (all assignments made)... 213.82 c Sol. found (all assignments made)... 213.84 c Sol. found (all assignments made)... 213.85 c Sol. found (all assignments made)... 213.87 c Sol. found (all assignments made)... 213.88 c Sol. found (all assignments made)... 213.91 c Sol. found (all assignments made)... 213.92 c Sol. found (all assignments made)... 213.94 c Sol. found (all assignments made)... 213.94 c Sol. found (all assignments made)... 213.96 c Sol. found (all assignments made)... 213.97 c Sol. found (all assignments made)... 214.00 c Sol. found (all assignments made)... 214.00 c Sol. found (all assignments made)... 214.02 c Sol. found (all assignments made)... 214.03 c Sol. found (all assignments made)... 214.06 c Sol. found (all assignments made)... 214.07 c Sol. found (all assignments made)... 214.09 c Sol. found (all assignments made)... 214.09 c Sol. found (all assignments made)... 214.11 c Sol. found (all assignments made)... 214.12 c Sol. found (all assignments made)... 214.14 c Sol. found (all assignments made)... 214.15 c Sol. found (all assignments made)... 214.17 c Sol. found (all assignments made)... 214.18 c Sol. found (all assignments made)... 214.20 c Sol. found (all assignments made)... 214.20 c Sol. found (all assignments made)... 214.23 c Sol. found (all assignments made)... 214.23 c Sol. found (all assignments made)... 214.25 c Sol. found (all assignments made)... 214.25 c Sol. found (all assignments made)... 214.28 c Sol. found (all assignments made)... 214.28 c Sol. found (all assignments made)... 214.31 c Sol. found (all assignments made)... 214.31 c Sol. found (all assignments made)... 214.34 c Sol. found (all assignments made)... 214.34 c Sol. found (all assignments made)... 214.37 c Sol. found (all assignments made)... 214.38 c Sol. found (all assignments made)... 214.40 c Sol. found (all assignments made)... 214.40 c Sol. found (all assignments made)... 214.43 c Sol. found (all assignments made)... 214.43 c Sol. found (all assignments made)... 214.46 c Sol. found (all assignments made)... 214.46 c Sol. found (all assignments made)... 214.48 c Sol. found (all assignments made)... 214.49 c Sol. found (all assignments made)... 214.51 c Sol. found (all assignments made)... 214.51 c Sol. found (all assignments made)... 214.54 c Sol. found (all assignments made)... 214.54 c Sol. found (all assignments made)... 214.56 c Sol. found (all assignments made)... 214.57 c Sol. found (all assignments made)... 214.59 c Sol. found (all assignments made)... 214.60 c Sol. found (all assignments made)... 214.63 c Sol. found (all assignments made)... 214.63 c Sol. found (all assignments made)... 214.66 c Sol. found (all assignments made)... 214.66 c Sol. found (all assignments made)... 214.70 c Sol. found (all assignments made)... 214.70 c Sol. found (all assignments made)... 214.72 c Sol. found (all assignments made)... 214.72 c Sol. found (all assignments made)... 214.75 c Sol. found (all assignments made)... 214.75 c Sol. found (all assignments made)... 214.78 c Sol. found (all assignments made)... 214.78 c Sol. found (all assignments made)... 214.81 c Sol. found (all assignments made)... 214.81 c Sol. found (all assignments made)... 214.85 c Sol. found (all assignments made)... 214.85 c Sol. found (all assignments made)... 214.87 c Sol. found (all assignments made)... 214.88 c Sol. found (all assignments made)... 214.90 c Sol. found (all assignments made)... 214.90 c Sol. found (all assignments made)... 214.93 c Sol. found (all assignments made)... 214.93 c Sol. found (all assignments made)... 214.97 c Sol. found (all assignments made)... 214.97 c Sol. found (all assignments made)... 214.99 c Sol. found (all assignments made)... 215.00 c Sol. found (all assignments made)... 215.02 c Sol. found (all assignments made)... 215.02 c Sol. found (all assignments made)... 215.05 c Sol. found (all assignments made)... 215.06 c Sol. found (all assignments made)... 215.08 c Sol. found (all assignments made)... 215.08 c Sol. found (all assignments made)... 215.11 c Sol. found (all assignments made)... 215.11 c Sol. found (all assignments made)... 215.13 c Sol. found (all assignments made)... 215.14 c Sol. found (all assignments made)... 215.16 c Sol. found (all assignments made)... 215.16 c Sol. found (all assignments made)... 215.19 c Sol. found (all assignments made)... 215.19 c Sol. found (all assignments made)... 215.22 c Sol. found (all assignments made)... 215.22 c Sol. found (all assignments made)... 215.24 c Sol. found (all assignments made)... 215.25 c Sol. found (all assignments made)... 215.28 c Sol. found (all assignments made)... 215.29 c Sol. found (all assignments made)... 215.31 c Sol. found (all assignments made)... 215.32 c Sol. found (all assignments made)... 215.34 c Sol. found (all assignments made)... 215.34 c Sol. found (all assignments made)... 215.37 c Sol. found (all assignments made)... 215.37 c Sol. found (all assignments made)... 215.39 c Sol. found (all assignments made)... 215.40 c Sol. found (all assignments made)... 215.42 c Sol. found (all assignments made)... 215.42 c Sol. found (all assignments made)... 215.44 c Sol. found (all assignments made)... 215.45 c Sol. found (all assignments made)... 215.47 c Sol. found (all assignments made)... 215.48 c Sol. found (all assignments made)... 215.51 c Sol. found (all assignments made)... 215.51 c Sol. found (all assignments made)... 215.53 c Sol. found (all assignments made)... 215.54 c Sol. found (all assignments made)... 215.57 c Sol. found (all assignments made)... 215.58 c Sol. found (all assignments made)... 215.60 c Sol. found (all assignments made)... 215.60 c Sol. found (all assignments made)... 215.62 c Sol. found (all assignments made)... 215.63 c Sol. found (all assignments made)... 215.67 c Sol. found (all assignments made)... 215.67 c Sol. found (all assignments made)... 215.72 c Sol. found (all assignments made)... 215.72 c Sol. found (all assignments made)... 215.75 c Sol. found (all assignments made)... 215.75 c Sol. found (all assignments made)... 215.78 c Sol. found (all assignments made)... 215.78 c Sol. found (all assignments made)... 215.82 c Sol. found (all assignments made)... 215.82 c Sol. found (all assignments made)... 215.84 c Sol. found (all assignments made)... 215.84 c Sol. found (all assignments made)... 215.87 c Sol. found (all assignments made)... 215.87 c Sol. found (all assignments made)... 215.90 c Sol. found (all assignments made)... 215.90 c Sol. found (all assignments made)... 215.93 c Sol. found (all assignments made)... 215.93 c Sol. found (all assignments made)... 215.95 c Sol. found (all assignments made)... 215.96 c Sol. found (all assignments made)... 215.98 c Sol. found (all assignments made)... 215.99 c Sol. found (all assignments made)... 216.01 c Sol. found (all assignments made)... 216.01 c Sol. found (all assignments made)... 216.03 c Sol. found (all assignments made)... 216.04 c Sol. found (all assignments made)... 216.06 c Sol. found (all assignments made)... 216.07 c Sol. found (all assignments made)... 216.09 c Sol. found (all assignments made)... 216.10 c Sol. found (all assignments made)... 216.13 c Sol. found (all assignments made)... 216.14 c Sol. found (all assignments made)... 216.16 c Sol. found (all assignments made)... 216.16 c Sol. found (all assignments made)... 216.19 c Sol. found (all assignments made)... 216.19 c Sol. found (all assignments made)... 216.22 c Sol. found (all assignments made)... 216.22 c Sol. found (all assignments made)... 216.24 c Sol. found (all assignments made)... 216.25 c Sol. found (all assignments made)... 216.27 c Sol. found (all assignments made)... 216.28 c Sol. found (all assignments made)... 216.30 c Sol. found (all assignments made)... 216.30 c Sol. found (all assignments made)... 216.32 c Sol. found (all assignments made)... 216.33 c Sol. found (all assignments made)... 216.36 c Sol. found (all assignments made)... 216.37 c Sol. found (all assignments made)... 216.39 c Sol. found (all assignments made)... 216.39 c Sol. found (all assignments made)... 216.43 c Sol. found (all assignments made)... 216.43 c Sol. found (all assignments made)... 216.45 c Sol. found (all assignments made)... 216.46 c Sol. found (all assignments made)... 216.48 c Sol. found (all assignments made)... 216.48 c Sol. found (all assignments made)... 216.51 c Sol. found (all assignments made)... 216.51 c Sol. found (all assignments made)... 216.54 c Sol. found (all assignments made)... 216.54 c Sol. found (all assignments made)... 216.58 c Sol. found (all assignments made)... 216.58 c Sol. found (all assignments made)... 216.61 c Sol. found (all assignments made)... 216.61 c Sol. found (all assignments made)... 216.63 c Sol. found (all assignments made)... 216.64 c Sol. found (all assignments made)... 216.66 c Sol. found (all assignments made)... 216.66 c Sol. found (all assignments made)... 216.70 c Sol. found (all assignments made)... 216.70 c Sol. found (all assignments made)... 216.72 c Sol. found (all assignments made)... 216.73 c Sol. found (all assignments made)... 216.75 c Sol. found (all assignments made)... 216.76 c Sol. found (all assignments made)... 216.79 c Sol. found (all assignments made)... 216.79 c Sol. found (all assignments made)... 216.81 c Sol. found (all assignments made)... 216.82 c Sol. found (all assignments made)... 216.84 c Sol. found (all assignments made)... 216.84 c Sol. found (all assignments made)... 216.87 c Sol. found (all assignments made)... 216.87 c Sol. found (all assignments made)... 216.89 c Sol. found (all assignments made)... 216.90 c Sol. found (all assignments made)... 216.92 c Sol. found (all assignments made)... 216.92 c Sol. found (all assignments made)... 216.95 c Sol. found (all assignments made)... 216.95 c Sol. found (all assignments made)... 216.98 c Sol. found (all assignments made)... 216.98 c Sol. found (all assignments made)... 217.02 c Sol. found (all assignments made)... 217.02 c Sol. found (all assignments made)... 217.04 c Sol. found (all assignments made)... 217.05 c Sol. found (all assignments made)... 217.07 c Sol. found (all assignments made)... 217.08 c Sol. found (all assignments made)... 217.10 c Sol. found (all assignments made)... 217.10 c Sol. found (all assignments made)... 217.13 c Sol. found (all assignments made)... 217.13 c Sol. found (all assignments made)... 217.15 c Sol. found (all assignments made)... 217.16 c Sol. found (all assignments made)... 217.18 c Sol. found (all assignments made)... 217.18 c Sol. found (all assignments made)... 217.21 c Sol. found (all assignments made)... 217.21 c Sol. found (all assignments made)... 217.24 c Sol. found (all assignments made)... 217.24 c Sol. found (all assignments made)... 217.27 c Sol. found (all assignments made)... 217.27 c Sol. found (all assignments made)... 217.31 c Sol. found (all assignments made)... 217.31 c Sol. found (all assignments made)... 217.33 c Sol. found (all assignments made)... 217.34 c Sol. found (all assignments made)... 217.36 c Sol. found (all assignments made)... 217.36 c Sol. found (all assignments made)... 217.40 c Sol. found (all assignments made)... 217.41 c Sol. found (all assignments made)... 217.45 c Sol. found (all assignments made)... 217.46 c Sol. found (all assignments made)... 217.48 c Sol. found (all assignments made)... 217.49 c Sol. found (all assignments made)... 217.51 c Sol. found (all assignments made)... 217.51 c Sol. found (all assignments made)... 217.55 c Sol. found (all assignments made)... 217.55 c Sol. found (all assignments made)... 217.57 c Sol. found (all assignments made)... 217.58 c Sol. found (all assignments made)... 217.60 c Sol. found (all assignments made)... 217.61 c Sol. found (all assignments made)... 217.63 c Sol. found (all assignments made)... 217.64 c Sol. found (all assignments made)... 217.66 c Sol. found (all assignments made)... 217.67 c Sol. found (all assignments made)... 217.69 c Sol. found (all assignments made)... 217.69 c Sol. found (all assignments made)... 217.72 c Sol. found (all assignments made)... 217.72 c Sol. found (all assignments made)... 217.74 c Sol. found (all assignments made)... 217.74 c Sol. found (all assignments made)... 217.77 c Sol. found (all assignments made)... 217.77 c Sol. found (all assignments made)... 217.80 c Sol. found (all assignments made)... 217.80 c Sol. found (all assignments made)... 217.83 c Sol. found (all assignments made)... 217.83 c Sol. found (all assignments made)... 217.87 c Sol. found (all assignments made)... 217.87 c Sol. found (all assignments made)... 217.90 c Sol. found (all assignments made)... 217.90 c Sol. found (all assignments made)... 217.92 c Sol. found (all assignments made)... 217.93 c Sol. found (all assignments made)... 217.95 c Sol. found (all assignments made)... 217.96 c Sol. found (all assignments made)... 217.98 c Sol. found (all assignments made)... 217.98 c Sol. found (all assignments made)... 218.01 c Sol. found (all assignments made)... 218.01 c Sol. found (all assignments made)... 218.03 c Sol. found (all assignments made)... 218.04 c Sol. found (all assignments made)... 218.06 c Sol. found (all assignments made)... 218.06 c Sol. found (all assignments made)... 218.10 c Sol. found (all assignments made)... 218.10 c Sol. found (all assignments made)... 218.12 c Sol. found (all assignments made)... 218.13 c Sol. found (all assignments made)... 218.16 c Sol. found (all assignments made)... 218.17 c Sol. found (all assignments made)... 218.19 c Sol. found (all assignments made)... 218.19 c Sol. found (all assignments made)... 218.22 c Sol. found (all assignments made)... 218.22 c Sol. found (all assignments made)... 218.26 c Sol. found (all assignments made)... 218.26 c Sol. found (all assignments made)... 218.31 c Sol. found (all assignments made)... 218.31 c Sol. found (all assignments made)... 218.34 c Sol. found (all assignments made)... 218.34 c Sol. found (all assignments made)... 218.37 c Sol. found (all assignments made)... 218.37 c Sol. found (all assignments made)... 218.40 c Sol. found (all assignments made)... 218.41 c Sol. found (all assignments made)... 218.43 c Sol. found (all assignments made)... 218.43 c Sol. found (all assignments made)... 218.46 c Sol. found (all assignments made)... 218.46 c Sol. found (all assignments made)... 218.49 c Sol. found (all assignments made)... 218.50 c Sol. found (all assignments made)... 218.52 c Sol. found (all assignments made)... 218.52 c Sol. found (all assignments made)... 218.56 c Sol. found (all assignments made)... 218.56 c Sol. found (all assignments made)... 218.58 c Sol. found (all assignments made)... 218.59 c Sol. found (all assignments made)... 218.61 c Sol. found (all assignments made)... 218.61 c Sol. found (all assignments made)... 218.64 c Sol. found (all assignments made)... 218.64 c Sol. found (all assignments made)... 218.67 c Sol. found (all assignments made)... 218.67 c Sol. found (all assignments made)... 218.71 c Sol. found (all assignments made)... 218.71 c Sol. found (all assignments made)... 218.73 c Sol. found (all assignments made)... 218.74 c Sol. found (all assignments made)... 218.76 c Sol. found (all assignments made)... 218.77 c Sol. found (all assignments made)... 218.79 c Sol. found (all assignments made)... 218.79 c Sol. found (all assignments made)... 218.83 c Sol. found (all assignments made)... 218.83 c Sol. found (all assignments made)... 218.85 c Sol. found (all assignments made)... 218.86 c Sol. found (all assignments made)... 218.88 c Sol. found (all assignments made)... 218.89 c Sol. found (all assignments made)... 218.92 c Sol. found (all assignments made)... 218.92 c Sol. found (all assignments made)... 218.94 c Sol. found (all assignments made)... 218.95 c Sol. found (all assignments made)... 218.98 c Sol. found (all assignments made)... 218.99 c Sol. found (all assignments made)... 219.01 c Sol. found (all assignments made)... 219.02 c Sol. found (all assignments made)... 219.05 c Sol. found (all assignments made)... 219.06 c Sol. found (all assignments made)... 219.11 c Sol. found (all assignments made)... 219.11 c Sol. found (all assignments made)... 219.13 c Sol. found (all assignments made)... 219.14 c Sol. found (all assignments made)... 219.16 c Sol. found (all assignments made)... 219.17 c Sol. found (all assignments made)... 219.20 c Sol. found (all assignments made)... 219.21 c Sol. found (all assignments made)... 219.23 c Sol. found (all assignments made)... 219.24 c Sol. found (all assignments made)... 219.26 c Sol. found (all assignments made)... 219.27 c Sol. found (all assignments made)... 219.29 c Sol. found (all assignments made)... 219.29 c Sol. found (all assignments made)... 219.33 c Sol. found (all assignments made)... 219.33 c Sol. found (all assignments made)... 219.35 c Sol. found (all assignments made)... 219.36 c Sol. found (all assignments made)... 219.38 c Sol. found (all assignments made)... 219.39 c Sol. found (all assignments made)... 219.41 c Sol. found (all assignments made)... 219.42 c Sol. found (all assignments made)... 219.44 c Sol. found (all assignments made)... 219.48 c Restart #10 #Var: 1374 LB: -125652 @ 219.38 243.99 c Restart #11 #Var: 1374 LB: -125652 @ 243.88 257.44 c Sol. found (all assignments made)... 257.44 o -7193 257.44 c NEW SOLUTION FOUND: -7193 @ 257.33 257.45 o -7281 257.45 c NEW SOLUTION FOUND: -7281 @ 257.33 257.46 c Sol. found (all assignments made)... 257.46 c Sol. found (all assignments made)... 257.47 o -7287 257.47 c NEW SOLUTION FOUND: -7287 @ 257.35 257.48 c Sol. found (all assignments made)... 257.49 c Sol. found (all assignments made)... 257.51 c Sol. found (all assignments made)... 257.52 c Sol. found (all assignments made)... 257.53 o -7289 257.53 c NEW SOLUTION FOUND: -7289 @ 257.42 257.53 c Sol. found (all assignments made)... 257.54 c Sol. found (all assignments made)... 257.56 c Sol. found (all assignments made)... 257.59 c Sol. found (all assignments made)... 257.61 c Sol. found (all assignments made)... 257.62 c Sol. found (all assignments made)... 257.62 o -7304 257.62 c NEW SOLUTION FOUND: -7304 @ 257.51 257.63 c Sol. found (all assignments made)... 257.64 c Sol. found (all assignments made)... 257.64 o -7310 257.64 c NEW SOLUTION FOUND: -7310 @ 257.53 257.66 c Sol. found (all assignments made)... 257.66 c Sol. found (all assignments made)... 257.68 c Sol. found (all assignments made)... 257.69 c Sol. found (all assignments made)... 257.70 o -7312 257.70 c NEW SOLUTION FOUND: -7312 @ 257.59 257.70 c Sol. found (all assignments made)... 257.78 c Sol. found (all assignments made)... 257.81 c Sol. found (all assignments made)... 257.83 c Sol. found (all assignments made)... 257.85 c Sol. found (all assignments made)... 257.86 c Sol. found (all assignments made)... 257.89 c Sol. found (all assignments made)... 257.90 c Sol. found (all assignments made)... 257.96 c Sol. found (all assignments made)... 257.97 c Sol. found (all assignments made)... 257.99 c Sol. found (all assignments made)... 258.00 c Sol. found (all assignments made)... 258.01 c Sol. found (all assignments made)... 258.03 c Sol. found (all assignments made)... 258.06 c Sol. found (all assignments made)... 258.07 c Sol. found (all assignments made)... 258.08 c Sol. found (all assignments made)... 258.09 c Sol. found (all assignments made)... 258.11 c Sol. found (all assignments made)... 258.12 c Sol. found (all assignments made)... 258.13 c Sol. found (all assignments made)... 258.14 c Sol. found (all assignments made)... 258.19 c Sol. found (all assignments made)... 258.20 c Sol. found (all assignments made)... 258.23 c Sol. found (all assignments made)... 258.24 c Sol. found (all assignments made)... 258.27 c Sol. found (all assignments made)... 258.28 c Sol. found (all assignments made)... 258.31 c Sol. found (all assignments made)... 258.32 c Sol. found (all assignments made)... 258.40 c Sol. found (all assignments made)... 258.41 c Sol. found (all assignments made)... 258.44 c Sol. found (all assignments made)... 258.45 c Sol. found (all assignments made)... 258.51 c Sol. found (all assignments made)... 258.52 c Sol. found (all assignments made)... 258.53 c Sol. found (all assignments made)... 258.54 c Sol. found (all assignments made)... 258.56 c Sol. found (all assignments made)... 258.57 c Sol. found (all assignments made)... 258.58 c Sol. found (all assignments made)... 258.59 c Sol. found (all assignments made)... 258.61 c Sol. found (all assignments made)... 258.63 c Sol. found (all assignments made)... 258.66 c Sol. found (all assignments made)... 258.67 c Sol. found (all assignments made)... 258.72 c Sol. found (all assignments made)... 258.73 c Sol. found (all assignments made)... 258.74 c Sol. found (all assignments made)... 258.75 c Sol. found (all assignments made)... 258.77 c Sol. found (all assignments made)... 258.78 c Sol. found (all assignments made)... 258.80 c Sol. found (all assignments made)... 258.80 c Sol. found (all assignments made)... 258.88 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 258.92 c Sol. found (all assignments made)... 258.93 c Sol. found (all assignments made)... 258.95 c Sol. found (all assignments made)... 258.96 c Sol. found (all assignments made)... 258.99 c Sol. found (all assignments made)... 259.00 c Sol. found (all assignments made)... 259.07 c Sol. found (all assignments made)... 259.07 c Sol. found (all assignments made)... 259.09 c Sol. found (all assignments made)... 259.10 c Sol. found (all assignments made)... 259.11 c Sol. found (all assignments made)... 259.12 c Sol. found (all assignments made)... 259.14 c Sol. found (all assignments made)... 259.14 c Sol. found (all assignments made)... 259.18 c Sol. found (all assignments made)... 259.19 c Sol. found (all assignments made)... 259.22 c Sol. found (all assignments made)... 259.23 c Sol. found (all assignments made)... 259.29 c Sol. found (all assignments made)... 259.29 c Sol. found (all assignments made)... 259.31 c Sol. found (all assignments made)... 259.32 c Sol. found (all assignments made)... 259.33 c Sol. found (all assignments made)... 259.34 c Sol. found (all assignments made)... 259.36 c Sol. found (all assignments made)... 259.36 c Sol. found (all assignments made)... 259.38 c Sol. found (all assignments made)... 259.40 c Sol. found (all assignments made)... 259.43 c Sol. found (all assignments made)... 259.44 c Sol. found (all assignments made)... 259.49 c Sol. found (all assignments made)... 259.50 c Sol. found (all assignments made)... 259.51 c Sol. found (all assignments made)... 259.52 c Sol. found (all assignments made)... 259.54 c Sol. found (all assignments made)... 259.55 c Sol. found (all assignments made)... 259.57 c Sol. found (all assignments made)... 259.57 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.71 c Sol. found (all assignments made)... 259.75 c Sol. found (all assignments made)... 259.76 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.79 c Sol. found (all assignments made)... 259.82 c Sol. found (all assignments made)... 259.83 c Sol. found (all assignments made)... 259.86 c Sol. found (all assignments made)... 259.87 c Sol. found (all assignments made)... 259.89 c Sol. found (all assignments made)... 259.90 c Sol. found (all assignments made)... 259.91 c Sol. found (all assignments made)... 259.92 c Sol. found (all assignments made)... 259.94 c Sol. found (all assignments made)... 259.95 c Sol. found (all assignments made)... 259.97 c Sol. found (all assignments made)... 259.98 c Sol. found (all assignments made)... 260.00 c Sol. found (all assignments made)... 260.01 c Sol. found (all assignments made)... 260.05 c Sol. found (all assignments made)... 260.07 c Sol. found (all assignments made)... 260.09 c Sol. found (all assignments made)... 260.11 c Sol. found (all assignments made)... 260.14 c Sol. found (all assignments made)... 260.15 c Sol. found (all assignments made)... 260.17 c Sol. found (all assignments made)... 260.18 c Sol. found (all assignments made)... 260.19 c Sol. found (all assignments made)... 260.20 c Sol. found (all assignments made)... 260.22 c Sol. found (all assignments made)... 260.23 c Sol. found (all assignments made)... 260.25 c Sol. found (all assignments made)... 260.25 c Sol. found (all assignments made)... 260.27 c Sol. found (all assignments made)... 260.28 c Sol. found (all assignments made)... 260.29 c Sol. found (all assignments made)... 260.30 c Sol. found (all assignments made)... 260.32 c Sol. found (all assignments made)... 260.33 c Sol. found (all assignments made)... 260.34 c Sol. found (all assignments made)... 260.35 c Sol. found (all assignments made)... 260.38 c Sol. found (all assignments made)... 260.39 c Sol. found (all assignments made)... 260.42 c Sol. found (all assignments made)... 260.43 c Sol. found (all assignments made)... 260.45 c Sol. found (all assignments made)... 260.46 c Sol. found (all assignments made)... 260.49 c Sol. found (all assignments made)... 260.50 c Sol. found (all assignments made)... 260.60 c Sol. found (all assignments made)... 260.61 c Sol. found (all assignments made)... 260.64 c Sol. found (all assignments made)... 260.65 c Sol. found (all assignments made)... 260.67 c Sol. found (all assignments made)... 260.68 c Sol. found (all assignments made)... 260.70 c Sol. found (all assignments made)... 260.72 c Sol. found (all assignments made)... 260.74 c Sol. found (all assignments made)... 260.75 c Sol. found (all assignments made)... 260.87 c Sol. found (all assignments made)... 260.89 c Sol. found (all assignments made)... 260.95 c Sol. found (all assignments made)... 260.97 c Sol. found (all assignments made)... 261.00 c Sol. found (all assignments made)... 261.01 c Sol. found (all assignments made)... 261.02 c Sol. found (all assignments made)... 261.04 c Sol. found (all assignments made)... 261.08 c Sol. found (all assignments made)... 261.09 c Sol. found (all assignments made)... 261.11 c Sol. found (all assignments made)... 261.12 c Sol. found (all assignments made)... 261.21 c Sol. found (all assignments made)... 261.22 c Sol. found (all assignments made)... 261.23 c Sol. found (all assignments made)... 261.24 c Sol. found (all assignments made)... 261.25 c Sol. found (all assignments made)... 261.26 c Sol. found (all assignments made)... 261.28 c Sol. found (all assignments made)... 261.29 c Sol. found (all assignments made)... 261.31 c Sol. found (all assignments made)... 261.32 c Sol. found (all assignments made)... 261.34 c Sol. found (all assignments made)... 261.34 c Sol. found (all assignments made)... 261.36 c Sol. found (all assignments made)... 261.36 c Sol. found (all assignments made)... 261.38 c Sol. found (all assignments made)... 261.38 c Sol. found (all assignments made)... 261.41 c Sol. found (all assignments made)... 261.42 c Sol. found (all assignments made)... 261.44 c Sol. found (all assignments made)... 261.45 c Sol. found (all assignments made)... 261.50 c Sol. found (all assignments made)... 261.51 c Sol. found (all assignments made)... 261.53 c Sol. found (all assignments made)... 261.54 c Sol. found (all assignments made)... 261.63 c Sol. found (all assignments made)... 261.64 c Sol. found (all assignments made)... 261.65 c Sol. found (all assignments made)... 261.66 c Sol. found (all assignments made)... 261.67 c Sol. found (all assignments made)... 261.68 c Sol. found (all assignments made)... 261.70 c Sol. found (all assignments made)... 261.71 c Sol. found (all assignments made)... 261.73 c Sol. found (all assignments made)... 261.74 c Sol. found (all assignments made)... 261.76 c Sol. found (all assignments made)... 261.76 c Sol. found (all assignments made)... 261.78 c Sol. found (all assignments made)... 261.78 c Sol. found (all assignments made)... 261.80 c Sol. found (all assignments made)... 261.80 c Sol. found (all assignments made)... 261.92 c Sol. found (all assignments made)... 261.93 c Sol. found (all assignments made)... 261.94 c Sol. found (all assignments made)... 261.95 c Sol. found (all assignments made)... 262.00 c Sol. found (all assignments made)... 262.01 c Sol. found (all assignments made)... 262.03 c Sol. found (all assignments made)... 262.04 c Sol. found (all assignments made)... 262.07 c Sol. found (all assignments made)... 262.08 c Sol. found (all assignments made)... 262.10 c Sol. found (all assignments made)... 262.11 c Sol. found (all assignments made)... 262.13 c Sol. found (all assignments made)... 262.14 c Sol. found (all assignments made)... 262.15 c Sol. found (all assignments made)... 262.17 c Sol. found (all assignments made)... 262.18 c Sol. found (all assignments made)... 262.20 c Sol. found (all assignments made)... 262.21 c Sol. found (all assignments made)... 262.22 c Sol. found (all assignments made)... 262.26 c Sol. found (all assignments made)... 262.28 c Sol. found (all assignments made)... 262.34 c Sol. found (all assignments made)... 262.36 c Sol. found (all assignments made)... 262.38 c Sol. found (all assignments made)... 262.38 c Sol. found (all assignments made)... 262.40 c Sol. found (all assignments made)... 262.40 c Sol. found (all assignments made)... 262.42 c Sol. found (all assignments made)... 262.42 c Sol. found (all assignments made)... 262.45 c Sol. found (all assignments made)... 262.46 c Sol. found (all assignments made)... 262.47 c Sol. found (all assignments made)... 262.48 c Sol. found (all assignments made)... 262.50 c Sol. found (all assignments made)... 262.51 c Sol. found (all assignments made)... 262.52 c Sol. found (all assignments made)... 262.53 c Sol. found (all assignments made)... 262.55 c Sol. found (all assignments made)... 262.55 c Sol. found (all assignments made)... 262.82 c Sol. found (all assignments made)... 262.83 c Sol. found (all assignments made)... 262.86 c Sol. found (all assignments made)... 262.87 c Sol. found (all assignments made)... 263.03 c Sol. found (all assignments made)... 263.04 c Sol. found (all assignments made)... 263.08 c Sol. found (all assignments made)... 263.09 c Sol. found (all assignments made)... 263.19 c Sol. found (all assignments made)... 263.20 c Sol. found (all assignments made)... 263.23 c Sol. found (all assignments made)... 263.25 c Sol. found (all assignments made)... 263.34 c Sol. found (all assignments made)... 263.35 c Sol. found (all assignments made)... 263.38 c Sol. found (all assignments made)... 263.40 c Sol. found (all assignments made)... 263.45 c Sol. found (all assignments made)... 263.46 c Sol. found (all assignments made)... 263.49 c Sol. found (all assignments made)... 263.50 c Sol. found (all assignments made)... 263.52 c Sol. found (all assignments made)... 263.59 c Sol. found (all assignments made)... 263.61 c Sol. found (all assignments made)... 263.63 c Sol. found (all assignments made)... 263.65 c Sol. found (all assignments made)... 263.72 c Sol. found (all assignments made)... 263.74 c Sol. found (all assignments made)... 263.76 c Sol. found (all assignments made)... 263.78 c Sol. found (all assignments made)... 264.07 c Sol. found (all assignments made)... 264.09 c Sol. found (all assignments made)... 264.12 c Sol. found (all assignments made)... 264.14 c Sol. found (all assignments made)... 264.15 c Sol. found (all assignments made)... 264.17 c Sol. found (all assignments made)... 264.19 c Sol. found (all assignments made)... 264.21 c Sol. found (all assignments made)... 264.38 c Sol. found (all assignments made)... 264.40 c Sol. found (all assignments made)... 264.42 c Sol. found (all assignments made)... 264.44 c Sol. found (all assignments made)... 264.45 c Sol. found (all assignments made)... 264.47 c Sol. found (all assignments made)... 264.49 c Sol. found (all assignments made)... 264.51 c Sol. found (all assignments made)... 264.67 c Sol. found (all assignments made)... 264.69 c Sol. found (all assignments made)... 264.71 c Sol. found (all assignments made)... 264.73 c Sol. found (all assignments made)... 264.74 c Sol. found (all assignments made)... 264.76 c Sol. found (all assignments made)... 264.79 c Sol. found (all assignments made)... 264.80 c Sol. found (all assignments made)... 264.89 c Sol. found (all assignments made)... 264.91 c Sol. found (all assignments made)... 264.93 c Sol. found (all assignments made)... 264.95 c Sol. found (all assignments made)... 264.96 c Sol. found (all assignments made)... 264.98 c Sol. found (all assignments made)... 264.99 c Sol. found (all assignments made)... 265.02 c Sol. found (all assignments made)... 265.03 c Sol. found (all assignments made)... 265.05 c Sol. found (all assignments made)... 265.64 c Sol. found (all assignments made)... 265.68 c Restart #12 #Var: 1374 LB: -125652 @ 265.55 318.77 c Restart #13 #Var: 1374 LB: -125652 @ 318.63 335.02 c Restart #14 #Var: 1374 LB: -125652 @ 334.87 390.01 c Restart #15 #Var: 1374 LB: -125652 @ 389.84 456.99 c Restart #16 #Var: 1374 LB: -125652 @ 456.8 548.70 c Restart #17 #Var: 1374 LB: -125652 @ 548.49 573.57 c Restart #18 #Var: 1374 LB: -125652 @ 573.35 679.40 c Restart #19 #Var: 1374 LB: -125652 @ 679.16 764.08 c Restart #20 #Var: 1374 LB: -125652 @ 763.82 797.94 c Sol. found (all assignments made)... 797.96 c Sol. found (all assignments made)... 797.98 c Sol. found (all assignments made)... 797.99 c Sol. found (all assignments made)... 798.06 c Sol. found (all assignments made)... 798.42 c Sol. found (all assignments made)... 798.59 c Sol. found (all assignments made)... 799.65 c Sol. found (all assignments made)... 799.68 c Sol. found (all assignments made)... 799.80 c Sol. found (all assignments made)... 800.08 c Sol. found (all assignments made)... 800.43 c Sol. found (all assignments made)... 800.82 c Sol. found (all assignments made)... 801.36 c Sol. found (all assignments made)... 801.39 c Sol. found (all assignments made)... 801.51 c Sol. found (all assignments made)... 803.06 c Sol. found (all assignments made)... 803.10 c Sol. found (all assignments made)... 803.19 c Sol. found (all assignments made)... 804.78 c Sol. found (all assignments made)... 805.21 c Sol. found (all assignments made)... 805.45 c Sol. found (all assignments made)... 805.46 c Sol. found (all assignments made)... 805.88 c Sol. found (all assignments made)... 805.89 c Sol. found (all assignments made)... 807.22 c Restart #21 #Var: 1374 LB: -125652 @ 806.94 938.58 c Restart #22 #Var: 1374 LB: -125652 @ 938.27 1037.88 c Restart #23 #Var: 1374 LB: -125652 @ 1037.5 1086.87 c Restart #24 #Var: 1374 LB: -125652 @ 1086.5 1124.36 c Restart #25 #Var: 1374 LB: -125652 @ 1124 1263.87 c Restart #26 #Var: 1374 LB: -125652 @ 1263.5 1516.34 c Restart #27 #Var: 1374 LB: -125652 @ 1515.8 1547.27 c Restart #28 #Var: 1374 LB: -125652 @ 1546.7 1580.47 c Restart #29 #Var: 1374 LB: -125652 @ 1579.9 1679.41 c Restart #30 #Var: 1374 LB: -125652 @ 1678.8 1711.01 c Sol. found (all assignments made)... 1711.02 c Sol. found (all assignments made)... 1711.03 c Sol. found (all assignments made)... 1711.09 c Sol. found (all assignments made)... 1711.12 c Sol. found (all assignments made)... 1711.14 c Sol. found (all assignments made)... 1711.17 c Sol. found (all assignments made)... 1711.19 c Sol. found (all assignments made)... 1711.23 c Sol. found (all assignments made)... 1711.24 c Sol. found (all assignments made)... 1711.25 c Sol. found (all assignments made)... 1711.30 c Sol. found (all assignments made)... 1711.35 c Sol. found (all assignments made)... 1711.40 c Sol. found (all assignments made)... 1711.43 c Sol. found (all assignments made)... 1711.46 c Sol. found (all assignments made)... 1711.47 c Sol. found (all assignments made)... 1711.50 c Sol. found (all assignments made)... 1711.51 c Sol. found (all assignments made)... 1711.56 c Sol. found (all assignments made)... 1711.58 c Sol. found (all assignments made)... 1711.60 c Sol. found (all assignments made)... 1711.62 c Sol. found (all assignments made)... 1711.64 c Sol. found (all assignments made)... 1711.67 c Sol. found (all assignments made)... 1711.71 c Sol. found (all assignments made)... 1711.74 c Sol. found (all assignments made)... 1711.75 c Sol. found (all assignments made)... 1711.77 c Sol. found (all assignments made)... 1711.78 c Sol. found (all assignments made)... 1711.81 c Sol. found (all assignments made)... 1711.84 c Sol. found (all assignments made)... 1711.87 c Sol. found (all assignments made)... 1711.91 c Sol. found (all assignments made)... 1711.93 c Sol. found (all assignments made)... 1711.94 c Sol. found (all assignments made)... 1711.97 c Sol. found (all assignments made)... 1711.99 c Sol. found (all assignments made)... 1712.03 c Sol. found (all assignments made)... 1712.04 c Sol. found (all assignments made)... 1712.05 c Sol. found (all assignments made)... 1712.11 c Sol. found (all assignments made)... 1712.13 c Sol. found (all assignments made)... 1712.18 c Sol. found (all assignments made)... 1712.19 c Sol. found (all assignments made)... 1712.23 c Sol. found (all assignments made)... 1712.24 c Sol. found (all assignments made)... 1712.26 c Sol. found (all assignments made)... 1712.27 c Sol. found (all assignments made)... 1712.29 c Sol. found (all assignments made)... 1712.30 c Sol. found (all assignments made)... 1712.33 c Sol. found (all assignments made)... 1712.35 c Sol. found (all assignments made)... 1712.39 c Sol. found (all assignments made)... 1712.40 c Sol. found (all assignments made)... 1712.42 c Sol. found (all assignments made)... 1712.48 c Sol. found (all assignments made)... 1712.50 c Sol. found (all assignments made)... 1712.53 c Sol. found (all assignments made)... 1712.55 c Sol. found (all assignments made)... 1712.56 c Sol. found (all assignments made)... 1712.58 c Sol. found (all assignments made)... 1712.61 c Sol. found (all assignments made)... 1712.62 c Sol. found (all assignments made)... 1712.69 c Sol. found (all assignments made)... 1712.71 c Sol. found (all assignments made)... 1712.74 c Sol. found (all assignments made)... 1712.76 c Sol. found (all assignments made)... 1712.78 c Sol. found (all assignments made)... 1712.80 c Sol. found (all assignments made)... 1712.83 c Sol. found (all assignments made)... 1712.85 c Sol. found (all assignments made)... 1712.86 c Sol. found (all assignments made)... 1713.00 c Sol. found (all assignments made)... 1713.01 c Sol. found (all assignments made)... 1713.04 c Sol. found (all assignments made)... 1713.05 c Sol. found (all assignments made)... 1713.07 c Sol. found (all assignments made)... 1713.09 c Sol. found (all assignments made)... 1713.12 c Sol. found (all assignments made)... 1713.13 c Sol. found (all assignments made)... 1713.17 c Sol. found (all assignments made)... 1713.19 c Sol. found (all assignments made)... 1713.20 c Sol. found (all assignments made)... 1713.23 c Sol. found (all assignments made)... 1713.25 c Sol. found (all assignments made)... 1713.27 c Sol. found (all assignments made)... 1713.28 c Sol. found (all assignments made)... 1713.31 c Sol. found (all assignments made)... 1713.32 c Sol. found (all assignments made)... 1713.34 c Sol. found (all assignments made)... 1713.35 c Sol. found (all assignments made)... 1713.38 c Sol. found (all assignments made)... 1713.40 c Sol. found (all assignments made)... 1713.44 c Sol. found (all assignments made)... 1713.44 c Sol. found (all assignments made)... 1713.46 c Sol. found (all assignments made)... 1713.52 c Sol. found (all assignments made)... 1713.54 c Sol. found (all assignments made)... 1713.57 c Sol. found (all assignments made)... 1713.59 c Sol. found (all assignments made)... 1713.62 c Sol. found (all assignments made)... 1713.63 c Sol. found (all assignments made)... 1713.67 c Sol. found (all assignments made)... 1713.68 c Sol. found (all assignments made)... 1713.80 c Sol. found (all assignments made)... 1713.81 c Sol. found (all assignments made)... 1713.84 c Sol. found (all assignments made)... 1713.85 c Sol. found (all assignments made)... 1713.87 c Sol. found (all assignments made)... 1713.88 c Sol. found (all assignments made)... 1713.90 c Sol. found (all assignments made)... 1713.91 c Sol. found (all assignments made)... 1713.94 c Sol. found (all assignments made)... 1713.96 c Sol. found (all assignments made)... 1713.99 c Sol. found (all assignments made)... 1714.00 c Sol. found (all assignments made)... 1714.02 c Sol. found (all assignments made)... 1714.03 c Sol. found (all assignments made)... 1714.06 c Sol. found (all assignments made)... 1714.07 c Sol. found (all assignments made)... 1714.09 c Sol. found (all assignments made)... 1714.10 c Sol. found (all assignments made)... 1714.13 c Sol. found (all assignments made)... 1714.15 c Sol. found (all assignments made)... 1714.17 c Sol. found (all assignments made)... 1714.18 c Sol. found (all assignments made)... 1714.21 c Sol. found (all assignments made)... 1714.23 c Sol. found (all assignments made)... 1714.25 c Sol. found (all assignments made)... 1714.28 c Sol. found (all assignments made)... 1714.30 c Sol. found (all assignments made)... 1714.32 c Sol. found (all assignments made)... 1714.34 c Sol. found (all assignments made)... 1714.36 c Sol. found (all assignments made)... 1714.39 c Sol. found (all assignments made)... 1714.40 c Sol. found (all assignments made)... 1714.42 c Sol. found (all assignments made)... 1714.44 c Sol. found (all assignments made)... 1714.46 c Sol. found (all assignments made)... 1714.49 c Sol. found (all assignments made)... 1714.51 c Sol. found (all assignments made)... 1714.52 c Sol. found (all assignments made)... 1714.68 c Sol. found (all assignments made)... 1714.69 c Sol. found (all assignments made)... 1714.72 c Sol. found (all assignments made)... 1714.73 c Sol. found (all assignments made)... 1714.75 c Sol. found (all assignments made)... 1714.77 c Sol. found (all assignments made)... 1714.80 c Sol. found (all assignments made)... 1714.81 c Sol. found (all assignments made)... 1714.85 c Sol. found (all assignments made)... 1714.87 c Sol. found (all assignments made)... 1714.88 c Sol. found (all assignments made)... 1714.91 c Sol. found (all assignments made)... 1714.93 c Sol. found (all assignments made)... 1714.95 c Sol. found (all assignments made)... 1714.96 c Sol. found (all assignments made)... 1714.99 c Sol. found (all assignments made)... 1715.00 c Sol. found (all assignments made)... 1715.03 c Sol. found (all assignments made)... 1715.04 c Sol. found (all assignments made)... 1715.07 c Sol. found (all assignments made)... 1715.09 c Sol. found (all assignments made)... 1715.11 c Sol. found (all assignments made)... 1715.14 c Sol. found (all assignments made)... 1715.15 c Sol. found (all assignments made)... 1715.22 c Sol. found (all assignments made)... 1715.27 c Sol. found (all assignments made)... 1715.30 c Sol. found (all assignments made)... 1715.31 c Sol. found (all assignments made)... 1715.32 c Sol. found (all assignments made)... 1715.37 c Sol. found (all assignments made)... 1715.42 c Sol. found (all assignments made)... 1715.45 c Sol. found (all assignments made)... 1715.46 c Sol. found (all assignments made)... 1715.47 c Sol. found (all assignments made)... 1715.52 c Sol. found (all assignments made)... 1715.54 c Sol. found (all assignments made)... 1715.61 c Sol. found (all assignments made)... 1715.65 c Sol. found (all assignments made)... 1715.66 c Sol. found (all assignments made)... 1715.68 c Sol. found (all assignments made)... 1715.70 c Sol. found (all assignments made)... 1715.73 c Sol. found (all assignments made)... 1715.74 c Sol. found (all assignments made)... 1715.78 c Sol. found (all assignments made)... 1715.80 c Sol. found (all assignments made)... 1715.82 c Sol. found (all assignments made)... 1715.84 c Sol. found (all assignments made)... 1715.86 c Sol. found (all assignments made)... 1715.87 c Sol. found (all assignments made)... 1715.90 c Sol. found (all assignments made)... 1715.91 c Sol. found (all assignments made)... 1715.95 c Sol. found (all assignments made)... 1715.96 c Sol. found (all assignments made)... 1715.97 c Sol. found (all assignments made)... 1715.98 c Sol. found (all assignments made)... 1716.04 c Sol. found (all assignments made)... 1716.07 c Sol. found (all assignments made)... 1716.09 c Sol. found (all assignments made)... 1716.10 c Sol. found (all assignments made)... 1716.18 c Sol. found (all assignments made)... 1716.21 c Sol. found (all assignments made)... 1716.23 c Sol. found (all assignments made)... 1716.24 c Sol. found (all assignments made)... 1716.28 c Sol. found (all assignments made)... 1716.31 c Sol. found (all assignments made)... 1716.34 c Sol. found (all assignments made)... 1716.37 c Sol. found (all assignments made)... 1716.39 c Sol. found (all assignments made)... 1716.44 c Sol. found (all assignments made)... 1716.46 c Sol. found (all assignments made)... 1716.47 c Sol. found (all assignments made)... 1716.50 c Sol. found (all assignments made)... 1716.51 c Sol. found (all assignments made)... 1716.53 c Sol. found (all assignments made)... 1716.57 c Sol. found (all assignments made)... 1716.61 c Sol. found (all assignments made)... 1716.61 c Sol. found (all assignments made)... 1716.64 c Sol. found (all assignments made)... 1716.67 c Sol. found (all assignments made)... 1716.72 c Sol. found (all assignments made)... 1716.73 c Sol. found (all assignments made)... 1716.75 c Sol. found (all assignments made)... 1716.77 c Sol. found (all assignments made)... 1716.79 c Sol. found (all assignments made)... 1716.80 c Sol. found (all assignments made)... 1716.82 c Sol. found (all assignments made)... 1716.95 c Sol. found (all assignments made)... 1716.97 c Sol. found (all assignments made)... 1716.97 c Sol. found (all assignments made)... 1717.01 c Sol. found (all assignments made)... 1717.02 c Sol. found (all assignments made)... 1717.04 c Sol. found (all assignments made)... 1717.05 c Sol. found (all assignments made)... 1717.07 c Sol. found (all assignments made)... 1717.10 c Sol. found (all assignments made)... 1717.11 c Sol. found (all assignments made)... 1717.13 c Sol. found (all assignments made)... 1717.16 c Sol. found (all assignments made)... 1717.17 c Sol. found (all assignments made)... 1717.19 c Sol. found (all assignments made)... 1717.20 c Sol. found (all assignments made)... 1717.23 c Sol. found (all assignments made)... 1717.24 c Sol. found (all assignments made)... 1717.25 c Sol. found (all assignments made)... 1717.29 c Sol. found (all assignments made)... 1717.30 c Sol. found (all assignments made)... 1717.33 c Sol. found (all assignments made)... 1717.34 c Sol. found (all assignments made)... 1717.36 c Sol. found (all assignments made)... 1717.37 c Sol. found (all assignments made)... 1717.43 c Sol. found (all assignments made)... 1717.46 c Sol. found (all assignments made)... 1717.48 c Sol. found (all assignments made)... 1717.50 c Sol. found (all assignments made)... 1717.53 c Sol. found (all assignments made)... 1717.58 c Sol. found (all assignments made)... 1717.59 c Sol. found (all assignments made)... 1717.62 c Sol. found (all assignments made)... 1717.63 c Sol. found (all assignments made)... 1717.65 c Sol. found (all assignments made)... 1717.66 c Sol. found (all assignments made)... 1717.69 c Sol. found (all assignments made)... 1717.81 c Sol. found (all assignments made)... 1717.83 c Sol. found (all assignments made)... 1717.83 c Sol. found (all assignments made)... 1717.87 c Sol. found (all assignments made)... 1717.88 c Sol. found (all assignments made)... 1717.91 c Sol. found (all assignments made)... 1717.91 c Sol. found (all assignments made)... 1717.93 c Sol. found (all assignments made)... 1717.96 c Sol. found (all assignments made)... 1717.97 c Sol. found (all assignments made)... 1717.99 c Sol. found (all assignments made)... 1718.01 c Sol. found (all assignments made)... 1718.04 c Sol. found (all assignments made)... 1718.05 c Sol. found (all assignments made)... 1718.07 c Sol. found (all assignments made)... 1718.08 c Sol. found (all assignments made)... 1718.10 c Sol. found (all assignments made)... 1718.14 c Sol. found (all assignments made)... 1718.15 c Sol. found (all assignments made)... 1718.16 c Sol. found (all assignments made)... 1718.17 c Sol. found (all assignments made)... 1718.20 c Sol. found (all assignments made)... 1718.22 c Sol. found (all assignments made)... 1718.24 c Sol. found (all assignments made)... 1718.29 c Sol. found (all assignments made)... 1718.32 c Sol. found (all assignments made)... 1718.36 c Sol. found (all assignments made)... 1718.42 c Sol. found (all assignments made)... 1718.45 c Sol. found (all assignments made)... 1718.47 c Sol. found (all assignments made)... 1718.49 c Sol. found (all assignments made)... 1718.51 c Sol. found (all assignments made)... 1718.60 c Sol. found (all assignments made)... 1718.61 c Sol. found (all assignments made)... 1718.62 c Sol. found (all assignments made)... 1718.63 c Sol. found (all assignments made)... 1718.66 c Sol. found (all assignments made)... 1718.67 c Sol. found (all assignments made)... 1718.69 c Sol. found (all assignments made)... 1718.69 c Sol. found (all assignments made)... 1718.72 c Sol. found (all assignments made)... 1718.73 c Sol. found (all assignments made)... 1718.77 c Sol. found (all assignments made)... 1718.78 c Sol. found (all assignments made)... 1718.80 c Sol. found (all assignments made)... 1718.81 c Sol. found (all assignments made)... 1718.83 c Sol. found (all assignments made)... 1718.84 c Sol. found (all assignments made)... 1718.87 c Sol. found (all assignments made)... 1718.89 c Sol. found (all assignments made)... 1718.90 c Sol. found (all assignments made)... 1718.91 c Sol. found (all assignments made)... 1718.93 c Sol. found (all assignments made)... 1718.94 c Sol. found (all assignments made)... 1718.98 c Sol. found (all assignments made)... 1719.00 c Sol. found (all assignments made)... 1719.03 c Sol. found (all assignments made)... 1719.04 c Sol. found (all assignments made)... 1719.07 c Sol. found (all assignments made)... 1719.10 c Sol. found (all assignments made)... 1719.15 c Sol. found (all assignments made)... 1719.16 c Sol. found (all assignments made)... 1719.18 c Sol. found (all assignments made)... 1719.19 c Sol. found (all assignments made)... 1719.22 c Sol. found (all assignments made)... 1719.23 c Sol. found (all assignments made)... 1719.25 c Sol. found (all assignments made)... 1719.38 c Sol. found (all assignments made)... 1719.39 c Sol. found (all assignments made)... 1719.40 c Sol. found (all assignments made)... 1719.43 c Sol. found (all assignments made)... 1719.45 c Sol. found (all assignments made)... 1719.47 c Sol. found (all assignments made)... 1719.48 c Sol. found (all assignments made)... 1719.49 c Sol. found (all assignments made)... 1719.53 c Sol. found (all assignments made)... 1719.54 c Sol. found (all assignments made)... 1719.56 c Sol. found (all assignments made)... 1719.58 c Sol. found (all assignments made)... 1719.60 c Sol. found (all assignments made)... 1719.61 c Sol. found (all assignments made)... 1719.64 c Sol. found (all assignments made)... 1719.65 c Sol. found (all assignments made)... 1719.67 c Sol. found (all assignments made)... 1719.70 c Sol. found (all assignments made)... 1719.71 c Sol. found (all assignments made)... 1719.73 c Sol. found (all assignments made)... 1719.74 c Sol. found (all assignments made)... 1719.77 c Sol. found (all assignments made)... 1719.79 c Sol. found (all assignments made)... 1719.80 c Sol. found (all assignments made)... 1719.86 c Sol. found (all assignments made)... 1719.89 c Sol. found (all assignments made)... 1719.93 c Sol. found (all assignments made)... 1719.96 c Sol. found (all assignments made)... 1719.99 c Sol. found (all assignments made)... 1720.01 c Sol. found (all assignments made)... 1720.05 c Sol. found (all assignments made)... 1720.09 c Sol. found (all assignments made)... 1720.19 c Sol. found (all assignments made)... 1720.25 c Sol. found (all assignments made)... 1720.28 c Sol. found (all assignments made)... 1720.31 c Sol. found (all assignments made)... 1720.67 c Sol. found (all assignments made)... 1720.69 c Sol. found (all assignments made)... 1720.73 c Sol. found (all assignments made)... 1720.80 c Sol. found (all assignments made)... 1720.84 c Sol. found (all assignments made)... 1720.86 c Sol. found (all assignments made)... 1721.02 c Sol. found (all assignments made)... 1721.05 c Sol. found (all assignments made)... 1721.08 c Sol. found (all assignments made)... 1721.16 c Sol. found (all assignments made)... 1721.20 c Sol. found (all assignments made)... 1721.22 c Sol. found (all assignments made)... 1721.38 c Sol. found (all assignments made)... 1721.42 c Sol. found (all assignments made)... 1721.57 c Sol. found (all assignments made)... 1721.60 c Sol. found (all assignments made)... 1721.63 c Sol. found (all assignments made)... 1721.71 c Sol. found (all assignments made)... 1721.75 c Sol. found (all assignments made)... 1721.77 c Sol. found (all assignments made)... 1721.81 c Sol. found (all assignments made)... 1721.82 c Sol. found (all assignments made)... 1721.84 c Sol. found (all assignments made)... 1721.85 c Sol. found (all assignments made)... 1721.87 c Sol. found (all assignments made)... 1721.89 c Sol. found (all assignments made)... 1721.93 c Sol. found (all assignments made)... 1721.97 c Sol. found (all assignments made)... 1721.99 c Sol. found (all assignments made)... 1722.00 c Sol. found (all assignments made)... 1722.03 c Sol. found (all assignments made)... 1722.04 c Sol. found (all assignments made)... 1722.06 c Sol. found (all assignments made)... 1722.07 c Sol. found (all assignments made)... 1722.21 c Sol. found (all assignments made)... 1722.22 c Sol. found (all assignments made)... 1722.25 c Sol. found (all assignments made)... 1722.26 c Sol. found (all assignments made)... 1722.28 c Sol. found (all assignments made)... 1722.29 c Sol. found (all assignments made)... 1722.32 c Sol. found (all assignments made)... 1722.33 c Sol. found (all assignments made)... 1722.36 c Sol. found (all assignments made)... 1722.38 c Sol. found (all assignments made)... 1722.40 c Sol. found (all assignments made)... 1722.42 c Sol. found (all assignments made)... 1722.44 c Sol. found (all assignments made)... 1722.45 c Sol. found (all assignments made)... 1722.47 c Sol. found (all assignments made)... 1722.48 c Sol. found (all assignments made)... 1722.51 c Sol. found (all assignments made)... 1722.54 c Sol. found (all assignments made)... 1722.55 c Sol. found (all assignments made)... 1722.56 c Sol. found (all assignments made)... 1722.58 c Sol. found (all assignments made)... 1722.61 c Sol. found (all assignments made)... 1722.63 c Sol. found (all assignments made)... 1722.64 c Sol. found (all assignments made)... 1722.68 c Sol. found (all assignments made)... 1722.70 c Sol. found (all assignments made)... 1722.72 c Sol. found (all assignments made)... 1722.74 c Sol. found (all assignments made)... 1722.76 c Sol. found (all assignments made)... 1722.77 c Sol. found (all assignments made)... 1722.81 c Sol. found (all assignments made)... 1722.83 c Sol. found (all assignments made)... 1722.87 c Sol. found (all assignments made)... 1722.89 c Sol. found (all assignments made)... 1722.91 c Sol. found (all assignments made)... 1722.92 c Sol. found (all assignments made)... 1722.94 c Sol. found (all assignments made)... 1722.95 c Sol. found (all assignments made)... 1723.09 c Sol. found (all assignments made)... 1723.10 c Sol. found (all assignments made)... 1723.13 c Sol. found (all assignments made)... 1723.15 c Sol. found (all assignments made)... 1723.16 c Sol. found (all assignments made)... 1723.17 c Sol. found (all assignments made)... 1723.20 c Sol. found (all assignments made)... 1723.21 c Sol. found (all assignments made)... 1723.25 c Sol. found (all assignments made)... 1723.26 c Sol. found (all assignments made)... 1723.28 c Sol. found (all assignments made)... 1723.30 c Sol. found (all assignments made)... 1723.32 c Sol. found (all assignments made)... 1723.33 c Sol. found (all assignments made)... 1723.36 c Sol. found (all assignments made)... 1723.37 c Sol. found (all assignments made)... 1723.39 c Sol. found (all assignments made)... 1723.42 c Sol. found (all assignments made)... 1723.43 c Sol. found (all assignments made)... 1723.45 c Sol. found (all assignments made)... 1723.46 c Sol. found (all assignments made)... 1723.49 c Sol. found (all assignments made)... 1723.51 c Sol. found (all assignments made)... 1723.52 c Sol. found (all assignments made)... 1723.58 c Sol. found (all assignments made)... 1723.61 c Sol. found (all assignments made)... 1723.64 c Sol. found (all assignments made)... 1723.71 c Sol. found (all assignments made)... 1723.73 c Sol. found (all assignments made)... 1723.75 c Sol. found (all assignments made)... 1723.77 c Sol. found (all assignments made)... 1723.79 c Sol. found (all assignments made)... 1723.89 c Sol. found (all assignments made)... 1723.89 c Sol. found (all assignments made)... 1723.92 c Sol. found (all assignments made)... 1723.93 c Sol. found (all assignments made)... 1723.95 c Sol. found (all assignments made)... 1723.97 c Sol. found (all assignments made)... 1723.98 c Sol. found (all assignments made)... 1724.00 c Sol. found (all assignments made)... 1724.02 c Sol. found (all assignments made)... 1724.03 c Sol. found (all assignments made)... 1724.07 c Sol. found (all assignments made)... 1724.08 c Sol. found (all assignments made)... 1724.10 c Sol. found (all assignments made)... 1724.12 c Sol. found (all assignments made)... 1724.13 c Sol. found (all assignments made)... 1724.14 c Sol. found (all assignments made)... 1724.17 c Sol. found (all assignments made)... 1724.19 c Sol. found (all assignments made)... 1724.21 c Sol. found (all assignments made)... 1724.22 c Sol. found (all assignments made)... 1724.23 c Sol. found (all assignments made)... 1724.27 c Sol. found (all assignments made)... 1724.28 c Sol. found (all assignments made)... 1724.30 c Sol. found (all assignments made)... 1724.32 c Sol. found (all assignments made)... 1724.34 c Sol. found (all assignments made)... 1724.35 c Sol. found (all assignments made)... 1724.38 c Sol. found (all assignments made)... 1724.41 c Sol. found (all assignments made)... 1724.46 c Sol. found (all assignments made)... 1724.47 c Sol. found (all assignments made)... 1724.49 c Sol. found (all assignments made)... 1724.50 c Sol. found (all assignments made)... 1724.53 c Sol. found (all assignments made)... 1724.54 c Sol. found (all assignments made)... 1724.56 c Sol. found (all assignments made)... 1724.69 c Sol. found (all assignments made)... 1724.71 c Sol. found (all assignments made)... 1724.71 c Sol. found (all assignments made)... 1724.75 c Sol. found (all assignments made)... 1724.76 c Sol. found (all assignments made)... 1724.79 c Sol. found (all assignments made)... 1724.80 c Sol. found (all assignments made)... 1724.82 c Sol. found (all assignments made)... 1724.83 c Sol. found (all assignments made)... 1724.86 c Sol. found (all assignments made)... 1724.88 c Sol. found (all assignments made)... 1724.90 c Sol. found (all assignments made)... 1724.92 c Sol. found (all assignments made)... 1724.94 c Sol. found (all assignments made)... 1724.95 c Sol. found (all assignments made)... 1724.98 c Sol. found (all assignments made)... 1724.99 c Sol. found (all assignments made)... 1725.00 c Sol. found (all assignments made)... 1725.03 c Sol. found (all assignments made)... 1725.05 c Sol. found (all assignments made)... 1725.08 c Sol. found (all assignments made)... 1725.09 c Sol. found (all assignments made)... 1725.11 c Sol. found (all assignments made)... 1725.12 c Sol. found (all assignments made)... 1725.25 c Sol. found (all assignments made)... 1725.28 c Sol. found (all assignments made)... 1725.34 c Sol. found (all assignments made)... 1725.36 c Sol. found (all assignments made)... 1725.38 c Sol. found (all assignments made)... 1725.40 c Sol. found (all assignments made)... 1725.42 c Sol. found (all assignments made)... 1725.46 c Sol. found (all assignments made)... 1725.50 c Sol. found (all assignments made)... 1725.52 c Sol. found (all assignments made)... 1725.53 c Sol. found (all assignments made)... 1725.56 c Sol. found (all assignments made)... 1725.57 c Sol. found (all assignments made)... 1725.59 c Sol. found (all assignments made)... 1725.60 c Sol. found (all assignments made)... 1725.71 c Sol. found (all assignments made)... 1725.75 c Sol. found (all assignments made)... 1725.80 c Sol. found (all assignments made)... 1725.81 c Sol. found (all assignments made)... 1725.85 c Sol. found (all assignments made)... 1725.86 c Sol. found (all assignments made)... 1725.88 c Sol. found (all assignments made)... 1725.91 c Sol. found (all assignments made)... 1725.96 c Sol. found (all assignments made)... 1725.97 c Sol. found (all assignments made)... 1726.04 c Restart #31 #Var: 1374 LB: -125652 @ 1725.4 1797.52 c Restart #32 #Var: 1374 LB: -125652 @ 1796.9 1800.65 s SATISFIABLE 1800.65 c Cost: -7312 1800.65 v -x1 -x1112 -x2217 -x2328 -x2439 -x2550 -x2661 -x2772 -x2883 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 1800.65 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2218 -x2229 -x2240 -x2251 -x2262 -x2273 -x2284 -x2295 1800.65 v -x2306 -x2317 x2329 -x2340 -x2351 -x2362 -x2373 -x2384 -x2395 -x2406 -x2417 -x2428 -x2440 x2451 -x2462 -x2473 -x2484 -x2495 1800.65 v -x2506 -x2517 -x2528 -x2539 -x2551 -x2562 -x2573 -x2584 -x2595 -x2606 -x2617 -x2628 -x2639 -x2650 -x2662 -x2673 -x2684 1800.65 v -x2695 -x2706 -x2717 -x2728 -x2739 -x2750 -x2761 -x2773 -x2784 -x2795 -x2806 -x2817 -x2828 -x2839 -x2850 -x2861 -x2872 1800.65 v -x2884 -x2895 -x2906 -x2917 -x2928 -x2939 -x2950 -x2961 -x2972 -x2983 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 1800.65 v -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 -x336 -x347 1800.65 v -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 1800.65 v -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 1800.65 v -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 1800.65 v -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 1800.65 v -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 1800.65 v -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 1800.65 v -x1613 x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 1800.65 v -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 1800.65 v -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 1800.65 v -x2179 -x2190 -x2201 -x2212 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2230 -x2231 -x2232 1800.65 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.65 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 1800.65 v -x2270 -x2271 -x2272 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 1800.65 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2307 1800.65 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1800.65 v -x2326 -x2327 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 1800.65 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2363 -x2364 1800.65 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 1800.65 v -x2383 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.65 v -x2402 -x2403 -x2404 -x2405 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2418 -x2419 -x2420 1800.65 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2441 1800.65 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.65 v -x2460 -x2461 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2474 -x2475 -x2476 -x2477 -x2478 1800.65 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2496 -x2497 1800.65 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.65 v -x2516 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 1800.65 v -x2535 -x2536 -x2537 -x2538 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2552 -x2553 -x2554 1800.65 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.65 v x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.65 v -x2592 -x2593 -x2594 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2608 -x2609 -x2610 1800.65 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2629 1800.65 v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.65 v -x2648 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2663 -x2664 -x2665 -x2666 -x2667 1800.65 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2685 -x2686 1800.65 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 1800.65 v x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.65 v -x2724 -x2725 -x2726 -x2727 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2740 -x2741 -x2742 1800.65 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.65 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.65 v -x2781 -x2782 -x2783 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2796 -x2797 -x2798 -x2799 1800.65 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2818 1800.65 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.65 v -x2837 -x2838 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2855 1800.65 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2874 1800.65 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.65 v -x2894 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.65 v -x2913 -x2914 -x2915 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 x2931 1800.65 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.65 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.65 v -x2969 -x2970 -x2971 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 1800.65 v x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 1800.65 v -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 1800.65 v -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 1800.65 v -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 1800.65 v -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 1800.65 v -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 1800.65 v -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1800.65 v -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1800.65 v -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 1800.65 v -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.65 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 1800.65 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 1800.65 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x314 -x315 -x316 1800.65 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 1800.65 v -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 1800.65 v -x364 -x365 -x366 x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 1800.65 v -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.65 v -x410 x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 1800.65 v -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.65 v -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1800.65 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 1800.65 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 1800.65 v -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 1800.65 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 1800.65 v -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 x593 -x594 -x595 -x596 1800.65 v -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 1800.65 v -x620 -x621 -x622 -x623 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 1800.65 v -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 1800.65 v -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1800.65 v -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 1800.65 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 1800.65 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x758 -x759 1800.65 v -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 1800.65 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 1800.65 v -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 1800.65 v -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 x849 -x850 -x851 -x852 1800.65 v -x853 -x854 x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 1800.65 v -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1800.65 v -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 1800.65 v -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.65 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 1800.65 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 x989 -x991 -x992 1800.65 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.65 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.65 v -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 1800.65 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 1800.65 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.65 v -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 1800.65 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1126 -x1127 1800.65 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.65 v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.65 v -x1165 -x1166 -x1167 -x1168 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 1800.65 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.65 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.65 v -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 1800.65 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1259 1800.65 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.65 v -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 1800.65 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 1800.65 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.65 v -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 1800.65 v -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 1800.65 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.65 v -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.65 v -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 1800.65 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 1800.65 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.65 v -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 1800.65 v x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 1800.65 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.65 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.65 v -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 1800.65 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 1800.65 v -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.65 v -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 1800.65 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 1800.65 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.65 v -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 1800.65 v -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 1800.65 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1800.65 v -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1800.65 v x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 1800.65 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 1800.65 v x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.65 v -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 1800.65 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1825 -x1826 1800.65 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1800.65 v -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.65 v -x1864 -x1865 -x1866 x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 1800.65 v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.65 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1800.65 v -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 1800.65 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 1800.65 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.65 v -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 1800.65 v -x1996 x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 1800.65 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.65 v -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 1800.65 v -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 1800.65 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.65 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1800.65 v -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 1800.65 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2147 1800.65 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.65 v -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 1800.65 v -x2185 x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 1800.65 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK -7312
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node84/watcher-40024-1149356170 -o ROOT/results/node84/solver-40024-1149356170 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40024-1149356170/instance-40024-1149356170.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1583144/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=436 CPUtime=0 /proc/26719/stat : 26719 (bsolo) D 26717 26719 26673 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 201256325 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8106932 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/26719/statm: 109 23 18 55 0 18 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1578088/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10000 CPUtime=9.97 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 9002 0 0 0 992 5 0 0 25 0 1 0 201256325 10240000 1733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8569607 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26719/statm: 2500 1733 423 55 0 1391 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 10000 [startup+20.0089 s] /proc/loadavg: 0.94 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577960/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=9680 CPUtime=19.98 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 22543 0 0 0 1986 12 0 0 25 0 1 0 201256325 9912320 1717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2420 1717 423 55 0 1311 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 9680 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1578024/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=9680 CPUtime=29.98 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 50876 0 0 0 2972 26 0 0 25 0 1 0 201256325 9912320 1717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2420 1717 423 55 0 1311 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 9680 [startup+40.0191 s] /proc/loadavg: 0.96 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577704/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=9984 CPUtime=39.99 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 84565 0 0 0 3957 42 0 0 25 0 1 0 201256325 10223616 1785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2496 1785 423 55 0 1387 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9984 [startup+50.0252 s] /proc/loadavg: 0.96 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577512/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10432 CPUtime=49.98 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 117517 0 0 0 4943 55 0 0 25 0 1 0 201256325 10682368 1838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160199992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2608 1838 423 55 0 1499 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 10432 [startup+60.0312 s] /proc/loadavg: 0.97 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577512/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10264 CPUtime=59.99 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 160681 0 0 0 5925 74 0 0 25 0 1 0 201256325 10510336 1851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2566 1851 423 55 0 1457 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 10264 [startup+70.0373 s] /proc/loadavg: 0.97 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577448/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10300 CPUtime=69.99 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 204087 0 0 0 6906 93 0 0 25 0 1 0 201256325 10547200 1872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2575 1872 423 55 0 1466 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 10300 [startup+80.0434 s] /proc/loadavg: 0.98 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577192/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10544 CPUtime=79.99 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 229338 0 0 0 7893 106 0 0 25 0 1 0 201256325 10797056 1933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2636 1933 423 55 0 1527 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 10544 [startup+90.0484 s] /proc/loadavg: 0.98 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577192/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10824 CPUtime=90 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 242477 0 0 0 8885 115 0 0 25 0 1 0 201256325 11083776 1965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2706 1965 423 55 0 1597 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10824 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577128/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=11080 CPUtime=100 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 257062 0 0 0 9874 126 0 0 25 0 1 0 201256325 11345920 1988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353622 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2770 1988 423 55 0 1661 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 11080 [startup+110.06 s] /proc/loadavg: 0.98 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1577128/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=10752 CPUtime=110 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 277824 0 0 0 10862 138 0 0 25 0 1 0 201256325 11010048 1984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2688 1984 423 55 0 1579 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 10752 [startup+120.066 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1576808/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=11152 CPUtime=120 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 298922 0 0 0 11850 150 0 0 25 0 1 0 201256325 11419648 2055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2788 2055 423 55 0 1679 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 11152 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1576616/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=11400 CPUtime=130.01 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 318431 0 0 0 12838 163 0 0 25 0 1 0 201256325 11673600 2092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 2850 2092 423 55 0 1741 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 11400 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26719 /proc/meminfo: memFree=1575272/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=12448 CPUtime=140 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 351388 0 0 0 13820 180 0 0 25 0 1 0 201256325 12746752 2409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3112 2409 423 55 0 2003 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 12448 [startup+150.083 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1575464/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=12200 CPUtime=150 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 352137 0 0 0 14817 183 0 0 25 0 1 0 201256325 12492800 2347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3050 2347 423 55 0 1941 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 12200 [startup+160.089 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1575464/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=12200 CPUtime=160 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 352137 0 0 0 15817 183 0 0 25 0 1 0 201256325 12492800 2347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3050 2347 423 55 0 1941 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 12200 [startup+170.095 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1575528/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=12200 CPUtime=170.01 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 352137 0 0 0 16816 185 0 0 25 0 1 0 201256325 12492800 2347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3050 2347 423 55 0 1941 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 12200 [startup+180.101 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1575208/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=12856 CPUtime=180.01 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 368951 0 0 0 17806 195 0 0 25 0 1 0 201256325 13164544 2461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3214 2461 423 55 0 2105 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 12856 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1574696/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=13136 CPUtime=190.02 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 422055 0 0 0 18785 217 0 0 25 0 1 0 201256325 13451264 2562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3284 2562 423 55 0 2175 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 13136 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1574248/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=13608 CPUtime=200.02 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 548763 0 0 0 19736 266 0 0 25 0 1 0 201256325 13934592 2681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 3402 2681 423 55 0 2293 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 13608 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26721 /proc/meminfo: memFree=1573608/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/26719/statm: 13035 12300 423 55 0 11926 0 Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 52140 [startup+1771.04 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1534632/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=52716 CPUtime=1770.41 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4135632 0 0 0 174943 2098 0 0 25 0 1 0 201256325 53981184 12458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13179 12458 423 55 0 12070 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 52716 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1534376/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=52956 CPUtime=1780.41 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4155992 0 0 0 175929 2112 0 0 25 0 1 0 201256325 54226944 12518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13239 12518 423 55 0 12130 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 52956 [startup+1782.05 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533736/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53592 CPUtime=1781.42 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4159190 0 0 0 176028 2114 0 0 25 0 1 0 201256325 54878208 12655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13398 12655 423 55 0 12289 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 53592 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533672/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53680 CPUtime=1782.42 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4160209 0 0 0 176127 2115 0 0 25 0 1 0 201256325 54968320 12699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13420 12699 423 55 0 12311 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 53680 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533544/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53768 CPUtime=1783.43 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4161306 0 0 0 176227 2116 0 0 25 0 1 0 201256325 55058432 12721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13442 12721 423 55 0 12333 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 53768 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533544/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53768 CPUtime=1784.43 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4161591 0 0 0 176327 2116 0 0 25 0 1 0 201256325 55058432 12721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13442 12721 423 55 0 12333 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 53768 [startup+1786.07 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533480/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53860 CPUtime=1785.43 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4162296 0 0 0 176426 2117 0 0 25 0 1 0 201256325 55152640 12744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13465 12744 423 55 0 12356 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 53860 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533480/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53768 CPUtime=1786.44 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4163280 0 0 0 176526 2118 0 0 25 0 1 0 201256325 55058432 12721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13442 12721 423 55 0 12333 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 53768 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533416/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=53856 CPUtime=1787.44 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4163866 0 0 0 176626 2118 0 0 25 0 1 0 201256325 55148544 12743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13464 12743 423 55 0 12355 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 53856 [startup+1789.08 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533288/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54036 CPUtime=1788.44 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4165090 0 0 0 176725 2119 0 0 25 0 1 0 201256325 55332864 12788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13509 12788 423 55 0 12400 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 54036 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533288/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54036 CPUtime=1789.46 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4165128 0 0 0 176826 2120 0 0 25 0 1 0 201256325 55332864 12788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13509 12788 423 55 0 12400 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 54036 [startup+1791.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533288/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54036 CPUtime=1790.46 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4165490 0 0 0 176926 2120 0 0 25 0 1 0 201256325 55332864 12788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13509 12788 423 55 0 12400 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 54036 [startup+1792.1 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54252 CPUtime=1791.46 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166828 0 0 0 177025 2121 0 0 25 0 1 0 201256325 55554048 12821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13563 12821 423 55 0 12454 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 54252 [startup+1793.1 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54252 CPUtime=1792.46 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166828 0 0 0 177125 2121 0 0 25 0 1 0 201256325 55554048 12821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13563 12821 423 55 0 12454 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 54252 [startup+1794.11 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54296 CPUtime=1793.47 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166836 0 0 0 177225 2122 0 0 25 0 1 0 201256325 55599104 12828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13574 12828 423 55 0 12465 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 54296 [startup+1795.11 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54296 CPUtime=1794.48 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166840 0 0 0 177326 2122 0 0 25 0 1 0 201256325 55599104 12831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13574 12831 423 55 0 12465 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 54296 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54296 CPUtime=1795.48 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166841 0 0 0 177426 2122 0 0 25 0 1 0 201256325 55599104 12831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13574 12831 423 55 0 12465 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 54296 [startup+1797.12 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54296 CPUtime=1796.48 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166874 0 0 0 177526 2122 0 0 25 0 1 0 201256325 55599104 12839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13574 12839 423 55 0 12465 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 54296 [startup+1798.13 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54156 CPUtime=1797.49 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166875 0 0 0 177627 2122 0 0 25 0 1 0 201256325 55455744 12818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13539 12818 423 55 0 12430 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 54156 [startup+1799.13 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54156 CPUtime=1798.49 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166875 0 0 0 177727 2122 0 0 25 0 1 0 201256325 55455744 12818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13539 12818 423 55 0 12430 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 54156 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 0.98 2/67 26916 /proc/meminfo: memFree=1533096/2055892 swapFree=4085292/4096564 [pid=26719] ppid=26717 vsize=54156 CPUtime=1799.49 /proc/26719/stat : 26719 (bsolo) R 26717 26719 26673 0 -1 0 4166875 0 0 0 177827 2122 0 0 25 0 1 0 201256325 55455744 12818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26719/statm: 13539 12818 423 55 0 12430 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 54156 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.03 CPU user time (s): 1778.79 CPU system time (s): 21.2368 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (Kb): 54296
Begin job on node84 on Sat Jun 3 17:36:10 UTC 2006 FILE ID= 40024-1149356170 PBS_JOBID= 311263 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40024-1149356170/instance-40024-1149356170.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-40024-1149356170 -o ROOT/results/node84/solver-40024-1149356170 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40024-1149356170/instance-40024-1149356170.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 758296117 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.15 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1583544 kB Buffers: 33752 kB Cached: 372508 kB SwapCached: 2420 kB Active: 57496 kB Inactive: 357416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1583544 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 156 kB Writeback: 0 kB Mapped: 16424 kB Slab: 44156 kB Committed_AS: 412876 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Sat Jun 3 18:06:11 UTC 2006