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 | -47 | 1800.02 | 1800.68 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb |
| MD5SUM | 2295cbab79cf702b6a93f1d0b8bae876 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -57 |
| Best CPU time to get the best result obtained on this benchmark | 1800.48 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -58 |
| Optimality of the best value was proved | NO |
| Number of variables | 1534 |
| Total number of constraints | 125982 |
| Number of constraints which are clauses | 125982 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1534 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1534 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1534 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 1.76 c Initial problem consists of 1534 variables and 125982 constraints. 23.18 c No problem reductions applied in OPT. instance. 23.18 c preprocess terminated. Elapsed time: 23.141 23.18 c After prepocess the problem consists of 1534 variables and 125982 constraints. 23.18 c Initial Lower Bound: -1534 23.30 c Sol. found (all assignments made)... 23.30 o -1 23.30 c NEW SOLUTION FOUND: -1 @ 23.263 23.30 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.31 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 o -2 23.33 c NEW SOLUTION FOUND: -2 @ 23.29 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 o -3 23.42 c NEW SOLUTION FOUND: -3 @ 23.38 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 o -4 23.53 c NEW SOLUTION FOUND: -4 @ 23.492 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.59 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.62 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.63 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.64 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.67 c Sol. found (all assignments made)... 23.78 c Restart #1 #Var: 1534 LB: -1534 @ 23.743 23.90 c Sol. found (all assignments made)... 23.90 o -41 23.90 c NEW SOLUTION FOUND: -41 @ 23.861 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 o -42 23.98 c NEW SOLUTION FOUND: -42 @ 23.938 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.34 c Restart #2 #Var: 1534 LB: -1534 @ 24.301 24.66 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.95 c Restart #3 #Var: 1534 LB: -1534 @ 24.913 25.08 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.10 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.13 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.24 c Sol. found (all assignments made)... 25.24 c Sol. found (all assignments made)... 25.24 c Sol. found (all assignments made)... 25.24 c Sol. found (all assignments made)... 25.24 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.31 c Sol. found (all assignments made)... 25.31 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.40 c Sol. found (all assignments made)... 25.40 c Sol. found (all assignments made)... 25.41 c Sol. found (all assignments made)... 25.41 c Sol. found (all assignments made)... 25.41 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.43 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.45 c Sol. found (all assignments made)... 25.45 c Sol. found (all assignments made)... 25.45 c Sol. found (all assignments made)... 25.45 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.47 c Sol. found (all assignments made)... 25.47 c Sol. found (all assignments made)... 25.49 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.51 c Sol. found (all assignments made)... 25.52 c Sol. found (all assignments made)... 25.52 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.55 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.70 c Restart #4 #Var: 1534 LB: -1534 @ 25.655 25.83 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.86 c Sol. found (all assignments made)... 25.86 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.94 c Sol. found (all assignments made)... 25.94 c Sol. found (all assignments made)... 25.95 c Sol. found (all assignments made)... 25.95 c Sol. found (all assignments made)... 25.99 c Sol. found (all assignments made)... 25.99 c Sol. found (all assignments made)... 26.00 c Sol. found (all assignments made)... 26.01 c Sol. found (all assignments made)... 26.06 c Sol. found (all assignments made)... 26.30 c Sol. found (all assignments made)... 26.56 c Restart #5 #Var: 1534 LB: -1534 @ 26.523 197.16 c CHANGE to MIS mode... UB: -42 MIS: -1534 LPR: -733 (16.948) Diff: 2.0928 197.16 c Restart #0 #Var: 1534 LB: -1534 @ 197.06 197.66 c Sol. found (all assignments made)... 197.66 c Sol. found (all assignments made)... 197.66 c Sol. found (all assignments made)... 197.67 c Sol. found (all assignments made)... 197.67 c Sol. found (all assignments made)... 197.67 c Sol. found (all assignments made)... 197.79 c Restart #1 #Var: 1534 LB: -1534 @ 197.69 198.18 c Sol. found (all assignments made)... 198.18 c Sol. found (all assignments made)... 198.19 c Sol. found (all assignments made)... 198.19 c Sol. found (all assignments made)... 198.20 c Sol. found (all assignments made)... 198.20 c Sol. found (all assignments made)... 198.21 c Sol. found (all assignments made)... 198.22 c Sol. found (all assignments made)... 198.22 c Sol. found (all assignments made)... 198.22 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.24 c Sol. found (all assignments made)... 198.24 c Sol. found (all assignments made)... 198.24 c Sol. found (all assignments made)... 198.24 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.26 c Sol. found (all assignments made)... 198.26 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.28 c Sol. found (all assignments made)... 198.28 c Sol. found (all assignments made)... 198.28 c Sol. found (all assignments made)... 198.29 c Sol. found (all assignments made)... 198.29 c Sol. found (all assignments made)... 198.29 c Sol. found (all assignments made)... 198.29 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.31 c Sol. found (all assignments made)... 198.31 c Sol. found (all assignments made)... 198.31 c Sol. found (all assignments made)... 198.31 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.33 c Sol. found (all assignments made)... 198.33 c Sol. found (all assignments made)... 198.33 c Sol. found (all assignments made)... 198.34 c Sol. found (all assignments made)... 198.34 c Sol. found (all assignments made)... 198.34 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.37 c Sol. found (all assignments made)... 198.37 c Sol. found (all assignments made)... 198.64 c Restart #2 #Var: 1534 LB: -771 @ 198.54 199.10 c Sol. found (all assignments made)... 199.10 o -43 199.10 c NEW SOLUTION FOUND: -43 @ 199 199.11 c Sol. found (all assignments made)... 199.12 c Sol. found (all assignments made)... 199.14 c Sol. found (all assignments made)... 199.35 c Sol. found (all assignments made)... 199.35 c Sol. found (all assignments made)... 199.37 c Sol. found (all assignments made)... 199.38 c Sol. found (all assignments made)... 199.39 c Sol. found (all assignments made)... 199.39 c Sol. found (all assignments made)... 199.40 c Sol. found (all assignments made)... 199.41 c Sol. found (all assignments made)... 199.42 c Sol. found (all assignments made)... 199.43 c Sol. found (all assignments made)... 199.44 c Sol. found (all assignments made)... 199.44 c Sol. found (all assignments made)... 199.45 c Sol. found (all assignments made)... 199.46 c Sol. found (all assignments made)... 199.60 c Restart #3 #Var: 1534 LB: -1534 @ 199.5 200.03 c Sol. found (all assignments made)... 200.03 c Sol. found (all assignments made)... 200.04 c Sol. found (all assignments made)... 200.04 c Sol. found (all assignments made)... 200.04 c Sol. found (all assignments made)... 200.05 c Sol. found (all assignments made)... 200.05 c Sol. found (all assignments made)... 200.05 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.07 c Sol. found (all assignments made)... 200.07 c Sol. found (all assignments made)... 200.07 c Sol. found (all assignments made)... 200.08 c Sol. found (all assignments made)... 200.08 c Sol. found (all assignments made)... 200.08 c Sol. found (all assignments made)... 200.08 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.09 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.12 c Sol. found (all assignments made)... 200.12 c Sol. found (all assignments made)... 200.12 c Sol. found (all assignments made)... 200.12 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.14 c Sol. found (all assignments made)... 200.14 c Sol. found (all assignments made)... 200.14 c Sol. found (all assignments made)... 200.14 c Sol. found (all assignments made)... 200.14 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.16 c Sol. found (all assignments made)... 200.16 c Sol. found (all assignments made)... 200.16 c Sol. found (all assignments made)... 200.16 c Sol. found (all assignments made)... 200.16 c Sol. found (all assignments made)... 200.17 c Sol. found (all assignments made)... 200.17 c Sol. found (all assignments made)... 200.17 c Sol. found (all assignments made)... 200.17 c Sol. found (all assignments made)... 200.17 c Sol. found (all assignments made)... 200.18 c Sol. found (all assignments made)... 200.18 c Sol. found (all assignments made)... 200.18 c Sol. found (all assignments made)... 200.18 c Sol. found (all assignments made)... 200.18 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.20 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.21 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.23 c Sol. found (all assignments made)... 200.23 c Sol. found (all assignments made)... 200.23 c Sol. found (all assignments made)... 200.23 c Sol. found (all assignments made)... 200.23 c Sol. found (all assignments made)... 200.24 c Sol. found (all assignments made)... 200.24 c Sol. found (all assignments made)... 200.24 c Sol. found (all assignments made)... 200.25 c Sol. found (all assignments made)... 200.25 c Sol. found (all assignments made)... 200.25 c Sol. found (all assignments made)... 200.25 c Sol. found (all assignments made)... 200.25 c Sol. found (all assignments made)... 200.26 c Sol. found (all assignments made)... 200.26 c Sol. found (all assignments made)... 200.26 c Sol. found (all assignments made)... 200.26 c Sol. found (all assignments made)... 200.26 c Sol. found (all assignments made)... 200.27 c Sol. found (all assignments made)... 200.27 c Sol. found (all assignments made)... 200.27 c Sol. found (all assignments made)... 200.27 c Sol. found (all assignments made)... 200.27 c Sol. found (all assignments made)... 200.28 c Sol. found (all assignments made)... 200.28 c Sol. found (all assignments made)... 200.28 c Sol. found (all assignments made)... 200.28 c Sol. found (all assignments made)... 200.29 c Sol. found (all assignments made)... 200.29 c Sol. found (all assignments made)... 200.29 c Sol. found (all assignments made)... 200.29 c Sol. found (all assignments made)... 200.29 c Sol. found (all assignments made)... 200.30 c Sol. found (all assignments made)... 200.30 c Sol. found (all assignments made)... 200.30 c Sol. found (all assignments made)... 200.30 c Sol. found (all assignments made)... 200.30 c Sol. found (all assignments made)... 200.31 c Sol. found (all assignments made)... 200.31 c Sol. found (all assignments made)... 200.31 c Sol. found (all assignments made)... 200.31 c Sol. found (all assignments made)... 200.31 c Sol. found (all assignments made)... 200.32 c Sol. found (all assignments made)... 200.32 c Sol. found (all assignments made)... 200.32 c Sol. found (all assignments made)... 200.32 c Sol. found (all assignments made)... 200.33 c Sol. found (all assignments made)... 200.33 c Sol. found (all assignments made)... 200.33 c Sol. found (all assignments made)... 200.33 c Sol. found (all assignments made)... 200.33 c Sol. found (all assignments made)... 200.34 c Sol. found (all assignments made)... 200.34 c Sol. found (all assignments made)... 200.34 c Sol. found (all assignments made)... 200.34 c Sol. found (all assignments made)... 200.34 c Sol. found (all assignments made)... 200.35 c Sol. found (all assignments made)... 200.35 c Sol. found (all assignments made)... 200.35 c Sol. found (all assignments made)... 200.35 c Sol. found (all assignments made)... 200.36 c Sol. found (all assignments made)... 200.36 c Sol. found (all assignments made)... 200.36 c Sol. found (all assignments made)... 200.36 c Sol. found (all assignments made)... 200.37 c Sol. found (all assignments made)... 200.37 c Sol. found (all assignments made)... 200.37 c Sol. found (all assignments made)... 200.37 c Sol. found (all assignments made)... 200.38 c Sol. found (all assignments made)... 200.38 c Sol. found (all assignments made)... 200.40 c Sol. found (all assignments made)... 200.40 c Sol. found (all assignments made)... 200.40 c Sol. found (all assignments made)... 200.40 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.42 c Sol. found (all assignments made)... 200.42 c Sol. found (all assignments made)... 200.42 c Sol. found (all assignments made)... 200.42 c Sol. found (all assignments made)... 200.43 c Sol. found (all assignments made)... 200.43 c Sol. found (all assignments made)... 200.43 c Sol. found (all assignments made)... 200.43 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.44 c Sol. found (all assignments made)... 200.45 c Sol. found (all assignments made)... 200.45 c Sol. found (all assignments made)... 200.45 c Sol. found (all assignments made)... 200.45 c Sol. found (all assignments made)... 200.46 c Sol. found (all assignments made)... 200.46 c Sol. found (all assignments made)... 200.46 c Sol. found (all assignments made)... 200.46 c Sol. found (all assignments made)... 200.47 c Sol. found (all assignments made)... 200.47 c Sol. found (all assignments made)... 200.47 c Sol. found (all assignments made)... 200.47 c Sol. found (all assignments made)... 200.47 c Sol. found (all assignments made)... 200.48 c Sol. found (all assignments made)... 200.48 c Sol. found (all assignments made)... 200.48 c Sol. found (all assignments made)... 200.48 c Sol. found (all assignments made)... 200.49 c Sol. found (all assignments made)... 200.49 c Sol. found (all assignments made)... 200.49 c Sol. found (all assignments made)... 200.49 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.50 c Sol. found (all assignments made)... 200.51 c Sol. found (all assignments made)... 200.51 c Sol. found (all assignments made)... 200.51 c Sol. found (all assignments made)... 200.51 c Sol. found (all assignments made)... 200.51 c Sol. found (all assignments made)... 200.52 c Sol. found (all assignments made)... 200.52 c Sol. found (all assignments made)... 200.53 c Sol. found (all assignments made)... 200.66 c Restart #4 #Var: 1534 LB: -1534 @ 200.56 201.09 c Sol. found (all assignments made)... 201.09 c Sol. found (all assignments made)... 201.09 c Sol. found (all assignments made)... 201.10 c Sol. found (all assignments made)... 201.10 c Sol. found (all assignments made)... 201.10 c Sol. found (all assignments made)... 201.11 c Sol. found (all assignments made)... 201.11 c Sol. found (all assignments made)... 201.11 c Sol. found (all assignments made)... 201.12 c Sol. found (all assignments made)... 201.13 c Sol. found (all assignments made)... 201.13 c Sol. found (all assignments made)... 201.14 c Sol. found (all assignments made)... 201.14 c Sol. found (all assignments made)... 201.15 c Sol. found (all assignments made)... 201.15 c Sol. found (all assignments made)... 201.15 c Sol. found (all assignments made)... 201.16 c Sol. found (all assignments made)... 201.16 c Sol. found (all assignments made)... 201.16 c Sol. found (all assignments made)... 201.17 c Sol. found (all assignments made)... 201.17 c Sol. found (all assignments made)... 201.18 c Sol. found (all assignments made)... 201.18 c Sol. found (all assignments made)... 201.18 c Sol. found (all assignments made)... 201.19 c Sol. found (all assignments made)... 201.19 c Sol. found (all assignments made)... 201.19 c Sol. found (all assignments made)... 201.19 c Sol. found (all assignments made)... 201.20 c Sol. found (all assignments made)... 201.20 c Sol. found (all assignments made)... 201.20 c Sol. found (all assignments made)... 201.21 c Sol. found (all assignments made)... 201.21 c Sol. found (all assignments made)... 201.21 c Sol. found (all assignments made)... 201.22 c Sol. found (all assignments made)... 201.22 c Sol. found (all assignments made)... 201.22 c Sol. found (all assignments made)... 201.23 c Sol. found (all assignments made)... 201.23 c Sol. found (all assignments made)... 201.23 c Sol. found (all assignments made)... 201.23 c Sol. found (all assignments made)... 201.24 c Sol. found (all assignments made)... 201.24 c Sol. found (all assignments made)... 201.24 c Sol. found (all assignments made)... 201.24 c Sol. found (all assignments made)... 201.25 c Sol. found (all assignments made)... 201.25 c Sol. found (all assignments made)... 201.25 c Sol. found (all assignments made)... 201.25 c Sol. found (all assignments made)... 201.26 c Sol. found (all assignments made)... 201.26 c Sol. found (all assignments made)... 201.26 c Sol. found (all assignments made)... 201.27 c Sol. found (all assignments made)... 201.27 c Sol. found (all assignments made)... 201.27 c Sol. found (all assignments made)... 201.27 c Sol. found (all assignments made)... 201.27 c Sol. found (all assignments made)... 201.28 c Sol. found (all assignments made)... 201.28 c Sol. found (all assignments made)... 201.28 c Sol. found (all assignments made)... 201.28 c Sol. found (all assignments made)... 201.28 c Sol. found (all assignments made)... 201.29 c Sol. found (all assignments made)... 201.29 c Sol. found (all assignments made)... 201.29 c Sol. found (all assignments made)... 201.29 c Sol. found (all assignments made)... 201.30 c Sol. found (all assignments made)... 201.30 c Sol. found (all assignments made)... 201.30 c Sol. found (all assignments made)... 201.30 c Sol. found (all assignments made)... 201.30 c Sol. found (all assignments made)... 201.31 c Sol. found (all assignments made)... 201.31 c Sol. found (all assignments made)... 201.31 c Sol. found (all assignments made)... 201.31 c Sol. found (all assignments made)... 201.31 c Sol. found (all assignments made)... 201.32 c Sol. found (all assignments made)... 201.32 c Sol. found (all assignments made)... 201.32 c Sol. found (all assignments made)... 201.32 c Sol. found (all assignments made)... 201.32 c Sol. found (all assignments made)... 201.33 c Sol. found (all assignments made)... 201.33 c Sol. found (all assignments made)... 201.34 c Sol. found (all assignments made)... 201.34 c Sol. found (all assignments made)... 201.34 c Sol. found (all assignments made)... 201.35 c Sol. found (all assignments made)... 201.35 c Sol. found (all assignments made)... 201.35 c Sol. found (all assignments made)... 201.35 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.37 c Sol. found (all assignments made)... 201.37 c Sol. found (all assignments made)... 201.37 c Sol. found (all assignments made)... 201.38 c Sol. found (all assignments made)... 201.39 c Sol. found (all assignments made)... 201.39 c Sol. found (all assignments made)... 201.41 c Sol. found (all assignments made)... 201.41 c Sol. found (all assignments made)... 201.41 c Sol. found (all assignments made)... 201.42 c Sol. found (all assignments made)... 201.42 c Sol. found (all assignments made)... 201.43 c Sol. found (all assignments made)... 201.45 c Sol. found (all assignments made)... 201.45 c Sol. found (all assignments made)... 201.45 c Sol. found (all assignments made)... 201.47 c Sol. found (all assignments made)... 201.47 c Sol. found (all assignments made)... 201.47 c Sol. found (all assignments made)... 201.50 c Sol. found (all assignments made)... 201.50 c Sol. found (all assignments made)... 201.51 c Sol. found (all assignments made)... 201.51 c Sol. found (all assignments made)... 201.51 c Sol. found (all assignments made)... 201.52 c Sol. found (all assignments made)... 201.54 c Sol. found (all assignments made)... 201.55 c Sol. found (all assignments made)... 201.55 c Sol. found (all assignments made)... 201.55 c Sol. found (all assignments made)... 201.56 c Sol. found (all assignments made)... 201.56 c Sol. found (all assignments made)... 201.59 c Sol. found (all assignments made)... 201.59 c Sol. found (all assignments made)... 201.59 c Sol. found (all assignments made)... 201.60 c Sol. found (all assignments made)... 201.60 c Sol. found (all assignments made)... 201.60 c Sol. found (all assignments made)... 201.61 c Sol. found (all assignments made)... 201.61 c Sol. found (all assignments made)... 201.61 c Sol. found (all assignments made)... 201.62 c Sol. found (all assignments made)... 201.62 c Sol. found (all assignments made)... 201.62 c Sol. found (all assignments made)... 201.63 c Sol. found (all assignments made)... 201.64 c Sol. found (all assignments made)... 201.64 c Sol. found (all assignments made)... 201.64 c Sol. found (all assignments made)... 201.64 c Sol. found (all assignments made)... 201.65 c Sol. found (all assignments made)... 201.65 c Sol. found (all assignments made)... 201.65 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.68 c Sol. found (all assignments made)... 201.68 c Sol. found (all assignments made)... 201.69 c Sol. found (all assignments made)... 201.69 c Sol. found (all assignments made)... 201.69 c Sol. found (all assignments made)... 201.69 c Sol. found (all assignments made)... 201.72 c Sol. found (all assignments made)... 201.72 c Sol. found (all assignments made)... 201.72 c Sol. found (all assignments made)... 201.73 c Sol. found (all assignments made)... 201.73 c Sol. found (all assignments made)... 201.74 c Sol. found (all assignments made)... 201.94 c Restart #5 #Var: 1534 LB: -773 @ 201.84 203.32 c Restart #6 #Var: 1534 LB: -1534 @ 203.22 203.96 c Sol. found (all assignments made)... 203.96 c Sol. found (all assignments made)... 203.97 c Sol. found (all assignments made)... 203.97 c Sol. found (all assignments made)... 203.97 c Sol. found (all assignments made)... 203.98 c Sol. found (all assignments made)... 203.98 c Sol. found (all assignments made)... 203.98 c Sol. found (all assignments made)... 203.99 c Sol. found (all assignments made)... 203.99 c Sol. found (all assignments made)... 203.99 c Sol. found (all assignments made)... 203.99 c Sol. found (all assignments made)... 204.00 c Sol. found (all assignments made)... 204.00 c Sol. found (all assignments made)... 204.00 c Sol. found (all assignments made)... 204.01 c Sol. found (all assignments made)... 204.01 c Sol. found (all assignments made)... 204.01 c Sol. found (all assignments made)... 204.02 c Sol. found (all assignments made)... 204.02 c Sol. found (all assignments made)... 204.02 c Sol. found (all assignments made)... 204.03 c Sol. found (all assignments made)... 204.03 c Sol. found (all assignments made)... 204.03 c Sol. found (all assignments made)... 204.04 c Sol. found (all assignments made)... 204.04 c Sol. found (all assignments made)... 204.04 c Sol. found (all assignments made)... 204.05 c Sol. found (all assignments made)... 204.05 c Sol. found (all assignments made)... 204.05 c Sol. found (all assignments made)... 204.06 c Sol. found (all assignments made)... 204.06 c Sol. found (all assignments made)... 204.06 c Sol. found (all assignments made)... 204.06 c Sol. found (all assignments made)... 204.07 c Sol. found (all assignments made)... 204.07 c Sol. found (all assignments made)... 204.08 c Sol. found (all assignments made)... 204.08 c Sol. found (all assignments made)... 204.08 c Sol. found (all assignments made)... 204.08 c Sol. found (all assignments made)... 204.09 c Sol. found (all assignments made)... 204.09 c Sol. found (all assignments made)... 204.79 c Restart #7 #Var: 1534 LB: -772 @ 204.68 206.40 c Restart #8 #Var: 1534 LB: -1534 @ 206.3 207.17 c Sol. found (all assignments made)... 207.18 c Sol. found (all assignments made)... 207.18 c Sol. found (all assignments made)... 207.20 c Sol. found (all assignments made)... 207.20 o -44 207.20 c NEW SOLUTION FOUND: -44 @ 207.1 207.20 c Sol. found (all assignments made)... 207.22 c Sol. found (all assignments made)... 208.59 c Restart #9 #Var: 1534 LB: -774 @ 208.49 210.47 c Restart #10 #Var: 1534 LB: -1534 @ 210.37 212.04 c Sol. found (all assignments made)... 212.40 c Restart #11 #Var: 1534 LB: -1534 @ 212.29 212.81 c Sol. found (all assignments made)... 212.83 c Sol. found (all assignments made)... 212.84 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.10 c Sol. found (all assignments made)... 213.10 c Sol. found (all assignments made)... 213.10 c Sol. found (all assignments made)... 213.10 c Sol. found (all assignments made)... 213.15 c Sol. found (all assignments made)... 213.15 c Sol. found (all assignments made)... 213.18 c Sol. found (all assignments made)... 213.19 c Sol. found (all assignments made)... 213.19 c Sol. found (all assignments made)... 213.19 c Sol. found (all assignments made)... 213.26 c Sol. found (all assignments made)... 213.26 c Sol. found (all assignments made)... 213.28 c Sol. found (all assignments made)... 213.28 c Sol. found (all assignments made)... 213.28 c Sol. found (all assignments made)... 213.28 c Sol. found (all assignments made)... 213.31 c Sol. found (all assignments made)... 213.31 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.32 c Sol. found (all assignments made)... 213.33 c Sol. found (all assignments made)... 213.33 c Sol. found (all assignments made)... 213.33 c Sol. found (all assignments made)... 213.33 c Sol. found (all assignments made)... 213.33 c Sol. found (all assignments made)... 213.34 c Sol. found (all assignments made)... 213.34 c Sol. found (all assignments made)... 213.34 c Sol. found (all assignments made)... 213.34 c Sol. found (all assignments made)... 213.35 c Sol. found (all assignments made)... 213.35 c Sol. found (all assignments made)... 213.37 c Sol. found (all assignments made)... 213.37 c Sol. found (all assignments made)... 213.38 c Sol. found (all assignments made)... 213.38 c Sol. found (all assignments made)... 213.42 c Sol. found (all assignments made)... 213.42 c Sol. found (all assignments made)... 213.43 c Sol. found (all assignments made)... 213.43 c Sol. found (all assignments made)... 213.44 c Sol. found (all assignments made)... 213.44 c Sol. found (all assignments made)... 213.44 c Sol. found (all assignments made)... 213.45 c Sol. found (all assignments made)... 213.46 c Sol. found (all assignments made)... 213.46 c Sol. found (all assignments made)... 213.46 c Sol. found (all assignments made)... 213.46 c Sol. found (all assignments made)... 213.47 c Sol. found (all assignments made)... 213.47 o -45 213.47 c NEW SOLUTION FOUND: -45 @ 213.37 213.48 c Sol. found (all assignments made)... 213.48 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.57 c Sol. found (all assignments made)... 213.57 c Sol. found (all assignments made)... 213.57 c Sol. found (all assignments made)... 213.58 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 214.07 c Sol. found (all assignments made)... 214.07 c Sol. found (all assignments made)... 214.08 c Sol. found (all assignments made)... 214.08 c Sol. found (all assignments made)... 214.12 c Sol. found (all assignments made)... 214.12 c Sol. found (all assignments made)... 214.12 c Sol. found (all assignments made)... 214.13 c Sol. found (all assignments made)... 214.13 c Sol. found (all assignments made)... 214.13 c Sol. found (all assignments made)... 214.13 c Sol. found (all assignments made)... 214.14 c Sol. found (all assignments made)... 214.14 c Sol. found (all assignments made)... 214.14 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.17 c Sol. found (all assignments made)... 214.18 c Sol. found (all assignments made)... 214.18 c Sol. found (all assignments made)... 214.20 c Sol. found (all assignments made)... 214.21 c Sol. found (all assignments made)... 215.23 c Restart #12 #Var: 1534 LB: -774 @ 215.12 217.54 c Restart #13 #Var: 1534 LB: -1534 @ 217.44 219.99 c Restart #14 #Var: 1534 LB: -1534 @ 219.88 222.51 c Restart #15 #Var: 1534 LB: -1534 @ 222.41 225.13 c Restart #16 #Var: 1534 LB: -1534 @ 225.03 227.99 c Restart #17 #Var: 1534 LB: -1534 @ 227.88 230.98 c Restart #18 #Var: 1534 LB: -1534 @ 230.87 234.04 c Restart #19 #Var: 1534 LB: -1534 @ 233.93 237.31 c Restart #20 #Var: 1534 LB: -1534 @ 237.2 240.66 c Restart #21 #Var: 1534 LB: -1534 @ 240.55 242.22 c Sol. found (all assignments made)... 242.26 c Sol. found (all assignments made)... 242.27 c Sol. found (all assignments made)... 242.29 c Sol. found (all assignments made)... 244.15 c Restart #22 #Var: 1534 LB: -1534 @ 244.03 247.70 c Restart #23 #Var: 1534 LB: -1534 @ 247.59 251.45 c Restart #24 #Var: 1534 LB: -1534 @ 251.34 255.30 c Restart #25 #Var: 1534 LB: -1534 @ 255.18 259.34 c Restart #26 #Var: 1534 LB: -1534 @ 259.22 263.54 c Restart #27 #Var: 1534 LB: -1534 @ 263.42 264.18 c Sol. found (all assignments made)... 264.86 c Sol. found (all assignments made)... 264.87 c Sol. found (all assignments made)... 264.99 c Sol. found (all assignments made)... 265.00 c Sol. found (all assignments made)... 265.30 c Sol. found (all assignments made)... 265.32 c Sol. found (all assignments made)... 265.39 c Sol. found (all assignments made)... 265.40 c Sol. found (all assignments made)... 265.40 c Sol. found (all assignments made)... 265.40 c Sol. found (all assignments made)... 265.44 c Sol. found (all assignments made)... 265.44 c Sol. found (all assignments made)... 265.45 c Sol. found (all assignments made)... 265.45 c Sol. found (all assignments made)... 265.56 c Sol. found (all assignments made)... 265.56 c Sol. found (all assignments made)... 265.57 c Sol. found (all assignments made)... 265.57 c Sol. found (all assignments made)... 265.59 c Sol. found (all assignments made)... 265.60 c Sol. found (all assignments made)... 265.60 c Sol. found (all assignments made)... 265.60 c Sol. found (all assignments made)... 265.64 c Sol. found (all assignments made)... 265.64 c Sol. found (all assignments made)... 265.65 c Sol. found (all assignments made)... 265.65 c Sol. found (all assignments made)... 265.66 c Sol. found (all assignments made)... 265.66 c Sol. found (all assignments made)... 265.67 c Sol. found (all assignments made)... 265.67 c Sol. found (all assignments made)... 265.68 c Sol. found (all assignments made)... 265.68 c Sol. found (all assignments made)... 267.78 c Restart #28 #Var: 1534 LB: -1534 @ 267.66 272.12 c Restart #29 #Var: 1534 LB: -1534 @ 272 272.75 c Sol. found (all assignments made)... 272.76 c Sol. found (all assignments made)... 272.76 c Sol. found (all assignments made)... 276.67 c Restart #30 #Var: 1534 LB: -1534 @ 276.55 281.39 c Restart #31 #Var: 1534 LB: -1534 @ 281.27 286.25 c Restart #32 #Var: 1534 LB: -1534 @ 286.12 291.14 c Restart #33 #Var: 1534 LB: -1534 @ 291.01 296.33 c Restart #34 #Var: 1534 LB: -1534 @ 296.19 301.48 c Restart #35 #Var: 1534 LB: -1534 @ 301.35 306.83 c Restart #36 #Var: 1534 LB: -1534 @ 306.69 312.26 c Restart #37 #Var: 1534 LB: -1534 @ 312.12 317.93 c Restart #38 #Var: 1534 LB: -1534 @ 317.79 320.31 c Sol. found (all assignments made)... 323.73 c Restart #39 #Var: 1534 LB: -1534 @ 323.59 329.55 c Restart #40 #Var: 1534 LB: -1534 @ 329.41 335.59 c Restart #41 #Var: 1534 LB: -1534 @ 335.45 341.75 c Restart #42 #Var: 1534 LB: -1534 @ 341.61 347.93 c Restart #43 #Var: 1534 LB: -1534 @ 347.78 354.49 c Restart #44 #Var: 1534 LB: -1534 @ 354.34 361.24 c Restart #45 #Var: 1534 LB: -1534 @ 361.08 368.03 c Restart #46 #Var: 1534 LB: -1534 @ 367.87 374.97 c Restart #47 #Var: 1534 LB: -1534 @ 374.82 382.12 c Restart #48 #Var: 1534 LB: -1534 @ 381.96 389.19 c Restart #49 #Var: 1534 LB: -1534 @ 389.03 396.43 c Restart #50 #Var: 1534 LB: -1534 @ 396.27 401.72 c Sol. found (all assignments made)... 403.81 c Restart #51 #Var: 1534 LB: -1534 @ 403.65 411.27 c Restart #52 #Var: 1534 LB: -1534 @ 411.1 418.77 c Restart #53 #Var: 1534 LB: -1534 @ 418.6 426.53 c Restart #54 #Var: 1534 LB: -1534 @ 426.36 427.01 c Sol. found (all assignments made)... 427.05 c Sol. found (all assignments made)... 427.20 c Sol. found (all assignments made)... 427.20 c Sol. found (all assignments made)... 427.21 c Sol. found (all assignments made)... 427.22 c Sol. found (all assignments made)... 427.22 c Sol. found (all assignments made)... 427.23 c Sol. found (all assignments made)... 427.23 c Sol. found (all assignments made)... 427.24 c Sol. found (all assignments made)... 427.25 c Sol. found (all assignments made)... 427.25 c Sol. found (all assignments made)... 427.26 c Sol. found (all assignments made)... 427.26 c Sol. found (all assignments made)... 427.27 c Sol. found (all assignments made)... 427.27 c Sol. found (all assignments made)... 427.28 c Sol. found (all assignments made)... 427.28 c Sol. found (all assignments made)... 427.29 c Sol. found (all assignments made)... 427.29 c Sol. found (all assignments made)... 427.30 c Sol. found (all assignments made)... 427.38 c Sol. found (all assignments made)... 427.38 c Sol. found (all assignments made)... 427.38 o -46 427.38 c NEW SOLUTION FOUND: -46 @ 427.2 427.38 c Sol. found (all assignments made)... 427.38 c Sol. found (all assignments made)... 427.39 c Sol. found (all assignments made)... 430.21 c Sol. found (all assignments made)... 434.69 c Restart #55 #Var: 1534 LB: -772 @ 434.51 442.74 c Restart #56 #Var: 1534 LB: -1534 @ 442.56 450.81 c Restart #57 #Var: 1534 LB: -1534 @ 450.63 459.04 c Restart #58 #Var: 1534 LB: -1534 @ 458.85 467.65 c Restart #59 #Var: 1534 LB: -1534 @ 467.46 476.17 c Restart #60 #Var: 1534 LB: -1534 @ 475.98 485.11 c Restart #61 #Var: 1534 LB: -1534 @ 484.91 493.88 c Restart #62 #Var: 1534 LB: -1534 @ 493.68 502.26 c Sol. found (all assignments made)... 502.27 c Sol. found (all assignments made)... 502.90 c Restart #63 #Var: 1534 LB: -1534 @ 502.7 511.84 c Restart #64 #Var: 1534 LB: -1534 @ 511.64 521.13 c Restart #65 #Var: 1534 LB: -1534 @ 520.92 530.58 c Restart #66 #Var: 1534 LB: -1534 @ 530.37 540.16 c Restart #67 #Var: 1534 LB: -1534 @ 539.94 549.88 c Restart #68 #Var: 1534 LB: -1534 @ 549.66 559.74 c Restart #69 #Var: 1534 LB: -1534 @ 559.52 569.80 c Restart #70 #Var: 1534 LB: -1534 @ 569.58 579.83 c Restart #71 #Var: 1534 LB: -1534 @ 579.6 589.97 c Restart #72 #Var: 1534 LB: -1534 @ 589.74 600.44 c Restart #73 #Var: 1534 LB: -1534 @ 600.21 611.06 c Restart #74 #Var: 1534 LB: -1534 @ 610.82 621.61 c Restart #75 #Var: 1534 LB: -1534 @ 621.37 632.48 c Restart #76 #Var: 1534 LB: -1534 @ 632.23 643.69 c Restart #77 #Var: 1534 LB: -1534 @ 643.44 654.69 c Restart #78 #Var: 1534 LB: -1534 @ 654.44 666.16 c Restart #79 #Var: 1534 LB: -1534 @ 665.9 677.35 c Restart #80 #Var: 1534 LB: -1534 @ 677.09 688.63 c Restart #81 #Var: 1534 LB: -1534 @ 688.36 700.32 c Restart #82 #Var: 1534 LB: -1534 @ 700.05 700.90 c Sol. found (all assignments made)... 700.92 c Sol. found (all assignments made)... 700.92 c Sol. found (all assignments made)... 700.95 c Sol. found (all assignments made)... 700.97 c Sol. found (all assignments made)... 700.98 c Sol. found (all assignments made)... 701.02 c Sol. found (all assignments made)... 701.02 c Sol. found (all assignments made)... 701.03 c Sol. found (all assignments made)... 701.04 c Sol. found (all assignments made)... 701.06 c Sol. found (all assignments made)... 701.06 c Sol. found (all assignments made)... 702.08 c Sol. found (all assignments made)... 702.08 c Sol. found (all assignments made)... 702.09 c Sol. found (all assignments made)... 702.09 c Sol. found (all assignments made)... 702.14 c Sol. found (all assignments made)... 702.15 c Sol. found (all assignments made)... 702.15 c Sol. found (all assignments made)... 702.15 c Sol. found (all assignments made)... 702.16 c Sol. found (all assignments made)... 702.16 c Sol. found (all assignments made)... 702.17 c Sol. found (all assignments made)... 702.18 c Sol. found (all assignments made)... 702.18 c Sol. found (all assignments made)... 702.19 c Sol. found (all assignments made)... 702.33 c Sol. found (all assignments made)... 702.33 c Sol. found (all assignments made)... 702.37 c Sol. found (all assignments made)... 702.37 c Sol. found (all assignments made)... 702.48 c Sol. found (all assignments made)... 702.54 c Sol. found (all assignments made)... 702.54 c Sol. found (all assignments made)... 702.55 c Sol. found (all assignments made)... 702.55 c Sol. found (all assignments made)... 702.55 c Sol. found (all assignments made)... 702.56 c Sol. found (all assignments made)... 702.56 c Sol. found (all assignments made)... 702.57 c Sol. found (all assignments made)... 702.57 c Sol. found (all assignments made)... 702.57 c Sol. found (all assignments made)... 702.57 c Sol. found (all assignments made)... 702.58 c Sol. found (all assignments made)... 702.58 c Sol. found (all assignments made)... 702.58 c Sol. found (all assignments made)... 702.59 c Sol. found (all assignments made)... 702.60 c Sol. found (all assignments made)... 702.60 c Sol. found (all assignments made)... 702.60 c Sol. found (all assignments made)... 702.61 c Sol. found (all assignments made)... 702.61 c Sol. found (all assignments made)... 702.61 c Sol. found (all assignments made)... 702.62 c Sol. found (all assignments made)... 702.63 c Sol. found (all assignments made)... 702.63 c Sol. found (all assignments made)... 702.63 c Sol. found (all assignments made)... 702.64 c Sol. found (all assignments made)... 702.64 c Sol. found (all assignments made)... 702.65 c Sol. found (all assignments made)... 702.65 c Sol. found (all assignments made)... 702.66 c Sol. found (all assignments made)... 702.69 c Sol. found (all assignments made)... 702.69 c Sol. found (all assignments made)... 702.69 c Sol. found (all assignments made)... 702.69 c Sol. found (all assignments made)... 702.70 c Sol. found (all assignments made)... 702.70 c Sol. found (all assignments made)... 702.71 c Sol. found (all assignments made)... 702.71 c Sol. found (all assignments made)... 702.72 c Sol. found (all assignments made)... 702.74 c Sol. found (all assignments made)... 702.75 c Sol. found (all assignments made)... 702.75 c Sol. found (all assignments made)... 702.75 c Sol. found (all assignments made)... 702.76 c Sol. found (all assignments made)... 702.76 c Sol. found (all assignments made)... 702.77 c Sol. found (all assignments made)... 702.79 c Sol. found (all assignments made)... 702.80 c Sol. found (all assignments made)... 702.80 c Sol. found (all assignments made)... 702.81 c Sol. found (all assignments made)... 702.81 c Sol. found (all assignments made)... 702.82 c Sol. found (all assignments made)... 702.82 c Sol. found (all assignments made)... 703.46 c Sol. found (all assignments made)... 703.46 c Sol. found (all assignments made)... 703.47 c Sol. found (all assignments made)... 703.47 c Sol. found (all assignments made)... 703.47 c Sol. found (all assignments made)... 703.47 c Sol. found (all assignments made)... 703.47 c Sol. found (all assignments made)... 703.48 c Sol. found (all assignments made)... 703.48 c Sol. found (all assignments made)... 703.48 c Sol. found (all assignments made)... 703.48 c Sol. found (all assignments made)... 703.48 c Sol. found (all assignments made)... 703.49 c Sol. found (all assignments made)... 703.49 c Sol. found (all assignments made)... 703.49 c Sol. found (all assignments made)... 703.49 o -47 703.49 c NEW SOLUTION FOUND: -47 @ 703.22 703.49 c Sol. found (all assignments made)... 703.50 c Sol. found (all assignments made)... 703.50 c Sol. found (all assignments made)... 703.53 c Sol. found (all assignments made)... 703.56 c Sol. found (all assignments made)... 703.56 c Sol. found (all assignments made)... 703.57 c Sol. found (all assignments made)... 703.57 c Sol. found (all assignments made)... 703.60 c Sol. found (all assignments made)... 703.60 c Sol. found (all assignments made)... 703.60 c Sol. found (all assignments made)... 703.60 c Sol. found (all assignments made)... 703.61 c Sol. found (all assignments made)... 703.61 c Sol. found (all assignments made)... 703.61 c Sol. found (all assignments made)... 703.62 c Sol. found (all assignments made)... 703.62 c Sol. found (all assignments made)... 703.62 c Sol. found (all assignments made)... 703.63 c Sol. found (all assignments made)... 703.63 c Sol. found (all assignments made)... 703.64 c Sol. found (all assignments made)... 703.64 c Sol. found (all assignments made)... 703.64 c Sol. found (all assignments made)... 703.64 c Sol. found (all assignments made)... 703.65 c Sol. found (all assignments made)... 703.66 c Sol. found (all assignments made)... 703.66 c Sol. found (all assignments made)... 703.66 c Sol. found (all assignments made)... 703.67 c Sol. found (all assignments made)... 703.67 c Sol. found (all assignments made)... 703.67 c Sol. found (all assignments made)... 703.67 c Sol. found (all assignments made)... 710.13 c Sol. found (all assignments made)... 710.13 c Sol. found (all assignments made)... 710.14 c Sol. found (all assignments made)... 710.14 c Sol. found (all assignments made)... 710.14 c Sol. found (all assignments made)... 710.16 c Sol. found (all assignments made)... 710.16 c Sol. found (all assignments made)... 710.17 c Sol. found (all assignments made)... 710.17 c Sol. found (all assignments made)... 710.17 c Sol. found (all assignments made)... 710.18 c Sol. found (all assignments made)... 710.18 c Sol. found (all assignments made)... 710.18 c Sol. found (all assignments made)... 710.18 c Sol. found (all assignments made)... 710.19 c Sol. found (all assignments made)... 711.52 c Sol. found (all assignments made)... 711.52 c Sol. found (all assignments made)... 711.52 c Sol. found (all assignments made)... 712.43 c Sol. found (all assignments made)... 712.43 c Sol. found (all assignments made)... 712.44 c Sol. found (all assignments made)... 712.44 c Sol. found (all assignments made)... 712.45 c Sol. found (all assignments made)... 712.45 c Sol. found (all assignments made)... 712.47 c Sol. found (all assignments made)... 712.47 c Sol. found (all assignments made)... 712.49 c Sol. found (all assignments made)... 712.50 c Sol. found (all assignments made)... 712.50 c Sol. found (all assignments made)... 714.45 c Restart #83 #Var: 1534 LB: -1534 @ 714.18 726.41 c Restart #84 #Var: 1534 LB: -1534 @ 726.13 738.49 c Restart #85 #Var: 1534 LB: -1534 @ 738.22 750.58 c Restart #86 #Var: 1534 LB: -1534 @ 750.29 763.23 c Restart #87 #Var: 1534 LB: -1534 @ 762.94 775.64 c Restart #88 #Var: 1534 LB: -1534 @ 775.35 788.43 c Restart #89 #Var: 1534 LB: -1534 @ 788.14 801.23 c Restart #90 #Var: 1534 LB: -1534 @ 800.92 814.05 c Restart #91 #Var: 1534 LB: -1534 @ 813.74 826.97 c Restart #92 #Var: 1534 LB: -1534 @ 826.65 840.03 c Restart #93 #Var: 1534 LB: -1534 @ 839.71 853.42 c Restart #94 #Var: 1534 LB: -1534 @ 853.1 866.73 c Restart #95 #Var: 1534 LB: -1534 @ 866.41 879.95 c Restart #96 #Var: 1534 LB: -1534 @ 879.62 893.55 c Restart #97 #Var: 1534 LB: -1534 @ 893.21 907.24 c Restart #98 #Var: 1534 LB: -1534 @ 906.9 921.55 c Restart #99 #Var: 1534 LB: -1534 @ 921.21 935.50 c Restart #100 #Var: 1534 LB: -1534 @ 935.15 949.58 c Restart #101 #Var: 1534 LB: -1534 @ 949.23 964.18 c Restart #102 #Var: 1534 LB: -1534 @ 963.82 978.62 c Restart #103 #Var: 1534 LB: -1534 @ 978.26 993.34 c Restart #104 #Var: 1534 LB: -1534 @ 992.97 1007.83 c Restart #105 #Var: 1534 LB: -1534 @ 1007.5 1022.78 c Restart #106 #Var: 1534 LB: -1534 @ 1022.4 1037.62 c Restart #107 #Var: 1534 LB: -1534 @ 1037.2 1052.57 c Restart #108 #Var: 1534 LB: -1534 @ 1052.2 1067.93 c Restart #109 #Var: 1534 LB: -1534 @ 1067.5 1083.33 c Restart #110 #Var: 1534 LB: -1534 @ 1082.9 1098.85 c Restart #111 #Var: 1534 LB: -1534 @ 1098.5 1114.99 c Restart #112 #Var: 1534 LB: -1534 @ 1114.6 1130.90 c Restart #113 #Var: 1534 LB: -1534 @ 1130.5 1147.07 c Restart #114 #Var: 1534 LB: -1534 @ 1146.7 1163.11 c Restart #115 #Var: 1534 LB: -1534 @ 1162.7 1179.65 c Restart #116 #Var: 1534 LB: -1534 @ 1179.2 1196.30 c Restart #117 #Var: 1534 LB: -1534 @ 1195.9 1213.23 c Restart #118 #Var: 1534 LB: -1534 @ 1212.8 1229.89 c Restart #119 #Var: 1534 LB: -1534 @ 1229.4 1246.66 c Restart #120 #Var: 1534 LB: -1534 @ 1246.2 1263.77 c Restart #121 #Var: 1534 LB: -1534 @ 1263.3 1280.68 c Restart #122 #Var: 1534 LB: -1534 @ 1280.2 1297.71 c Restart #123 #Var: 1534 LB: -1534 @ 1297.2 1315.12 c Restart #124 #Var: 1534 LB: -1534 @ 1314.6 1332.81 c Restart #125 #Var: 1534 LB: -1534 @ 1332.3 1350.48 c Restart #126 #Var: 1534 LB: -1534 @ 1350 1368.40 c Restart #127 #Var: 1534 LB: -1534 @ 1367.9 1386.24 c Restart #128 #Var: 1534 LB: -1534 @ 1385.7 1404.58 c Restart #129 #Var: 1534 LB: -1534 @ 1404.1 1422.66 c Restart #130 #Var: 1534 LB: -1534 @ 1422.2 1440.77 c Restart #131 #Var: 1534 LB: -1534 @ 1440.3 1458.94 c Restart #132 #Var: 1534 LB: -1534 @ 1458.4 1477.20 c Restart #133 #Var: 1534 LB: -1534 @ 1476.7 1496.21 c Restart #134 #Var: 1534 LB: -1534 @ 1495.7 1514.93 c Restart #135 #Var: 1534 LB: -1534 @ 1514.4 1533.57 c Restart #136 #Var: 1534 LB: -1534 @ 1533 1545.51 c Sol. found (all assignments made)... 1545.54 c Sol. found (all assignments made)... 1545.67 c Sol. found (all assignments made)... 1545.70 c Sol. found (all assignments made)... 1545.70 c Sol. found (all assignments made)... 1545.73 c Sol. found (all assignments made)... 1545.74 c Sol. found (all assignments made)... 1545.74 c Sol. found (all assignments made)... 1545.74 c Sol. found (all assignments made)... 1545.74 c Sol. found (all assignments made)... 1545.74 c Sol. found (all assignments made)... 1545.75 c Sol. found (all assignments made)... 1545.75 c Sol. found (all assignments made)... 1545.75 c Sol. found (all assignments made)... 1545.76 c Sol. found (all assignments made)... 1545.77 c Sol. found (all assignments made)... 1545.77 c Sol. found (all assignments made)... 1545.77 c Sol. found (all assignments made)... 1545.77 c Sol. found (all assignments made)... 1545.78 c Sol. found (all assignments made)... 1545.78 c Sol. found (all assignments made)... 1545.79 c Sol. found (all assignments made)... 1545.79 c Sol. found (all assignments made)... 1545.79 c Sol. found (all assignments made)... 1545.81 c Sol. found (all assignments made)... 1545.82 c Sol. found (all assignments made)... 1545.83 c Sol. found (all assignments made)... 1545.84 c Sol. found (all assignments made)... 1545.85 c Sol. found (all assignments made)... 1545.89 c Sol. found (all assignments made)... 1545.89 c Sol. found (all assignments made)... 1545.90 c Sol. found (all assignments made)... 1545.90 c Sol. found (all assignments made)... 1545.90 c Sol. found (all assignments made)... 1545.90 c Sol. found (all assignments made)... 1545.90 c Sol. found (all assignments made)... 1545.96 c Sol. found (all assignments made)... 1545.96 c Sol. found (all assignments made)... 1545.96 c Sol. found (all assignments made)... 1545.97 c Sol. found (all assignments made)... 1545.97 c Sol. found (all assignments made)... 1546.04 c Sol. found (all assignments made)... 1546.18 c Sol. found (all assignments made)... 1546.18 c Sol. found (all assignments made)... 1546.18 c Sol. found (all assignments made)... 1546.19 c Sol. found (all assignments made)... 1546.20 c Sol. found (all assignments made)... 1546.20 c Sol. found (all assignments made)... 1546.20 c Sol. found (all assignments made)... 1546.21 c Sol. found (all assignments made)... 1546.30 c Sol. found (all assignments made)... 1546.31 c Sol. found (all assignments made)... 1546.31 c Sol. found (all assignments made)... 1546.31 c Sol. found (all assignments made)... 1546.37 c Sol. found (all assignments made)... 1546.38 c Sol. found (all assignments made)... 1546.65 c Sol. found (all assignments made)... 1546.65 c Sol. found (all assignments made)... 1546.66 c Sol. found (all assignments made)... 1546.66 c Sol. found (all assignments made)... 1546.66 c Sol. found (all assignments made)... 1546.67 c Sol. found (all assignments made)... 1546.69 c Sol. found (all assignments made)... 1546.69 c Sol. found (all assignments made)... 1546.69 c Sol. found (all assignments made)... 1546.70 c Sol. found (all assignments made)... 1546.70 c Sol. found (all assignments made)... 1546.72 c Sol. found (all assignments made)... 1546.72 c Sol. found (all assignments made)... 1546.73 c Sol. found (all assignments made)... 1546.74 c Sol. found (all assignments made)... 1546.75 c Sol. found (all assignments made)... 1546.77 c Sol. found (all assignments made)... 1546.78 c Sol. found (all assignments made)... 1546.79 c Sol. found (all assignments made)... 1546.80 c Sol. found (all assignments made)... 1546.80 c Sol. found (all assignments made)... 1546.81 c Sol. found (all assignments made)... 1546.81 c Sol. found (all assignments made)... 1546.82 c Sol. found (all assignments made)... 1546.83 c Sol. found (all assignments made)... 1546.84 c Sol. found (all assignments made)... 1546.85 c Sol. found (all assignments made)... 1546.85 c Sol. found (all assignments made)... 1546.85 c Sol. found (all assignments made)... 1546.88 c Sol. found (all assignments made)... 1546.88 c Sol. found (all assignments made)... 1546.89 c Sol. found (all assignments made)... 1549.13 c Sol. found (all assignments made)... 1549.13 c Sol. found (all assignments made)... 1549.14 c Sol. found (all assignments made)... 1549.14 c Sol. found (all assignments made)... 1549.15 c Sol. found (all assignments made)... 1549.16 c Sol. found (all assignments made)... 1549.16 c Sol. found (all assignments made)... 1549.16 c Sol. found (all assignments made)... 1549.17 c Sol. found (all assignments made)... 1549.17 c Sol. found (all assignments made)... 1549.18 c Sol. found (all assignments made)... 1549.18 c Sol. found (all assignments made)... 1549.25 c Sol. found (all assignments made)... 1549.26 c Sol. found (all assignments made)... 1549.26 c Sol. found (all assignments made)... 1549.27 c Sol. found (all assignments made)... 1549.28 c Sol. found (all assignments made)... 1549.28 c Sol. found (all assignments made)... 1549.29 c Sol. found (all assignments made)... 1549.29 c Sol. found (all assignments made)... 1549.29 c Sol. found (all assignments made)... 1549.29 c Sol. found (all assignments made)... 1549.30 c Sol. found (all assignments made)... 1549.30 c Sol. found (all assignments made)... 1549.30 c Sol. found (all assignments made)... 1549.30 c Sol. found (all assignments made)... 1549.31 c Sol. found (all assignments made)... 1549.33 c Sol. found (all assignments made)... 1549.33 c Sol. found (all assignments made)... 1549.33 c Sol. found (all assignments made)... 1549.34 c Sol. found (all assignments made)... 1549.34 c Sol. found (all assignments made)... 1549.34 c Sol. found (all assignments made)... 1549.35 c Sol. found (all assignments made)... 1549.35 c Sol. found (all assignments made)... 1549.35 c Sol. found (all assignments made)... 1549.35 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.39 c Sol. found (all assignments made)... 1549.40 c Sol. found (all assignments made)... 1549.40 c Sol. found (all assignments made)... 1549.41 c Sol. found (all assignments made)... 1549.41 c Sol. found (all assignments made)... 1549.41 c Sol. found (all assignments made)... 1549.42 c Sol. found (all assignments made)... 1549.43 c Sol. found (all assignments made)... 1549.44 c Sol. found (all assignments made)... 1549.44 c Sol. found (all assignments made)... 1549.45 c Sol. found (all assignments made)... 1549.45 c Sol. found (all assignments made)... 1549.46 c Sol. found (all assignments made)... 1549.46 c Sol. found (all assignments made)... 1549.47 c Sol. found (all assignments made)... 1549.47 c Sol. found (all assignments made)... 1549.47 c Sol. found (all assignments made)... 1549.47 c Sol. found (all assignments made)... 1549.47 c Sol. found (all assignments made)... 1549.48 c Sol. found (all assignments made)... 1549.48 c Sol. found (all assignments made)... 1549.48 c Sol. found (all assignments made)... 1549.48 c Sol. found (all assignments made)... 1549.49 c Sol. found (all assignments made)... 1549.49 c Sol. found (all assignments made)... 1549.49 c Sol. found (all assignments made)... 1549.50 c Sol. found (all assignments made)... 1549.50 c Sol. found (all assignments made)... 1549.50 c Sol. found (all assignments made)... 1549.50 c Sol. found (all assignments made)... 1549.50 c Sol. found (all assignments made)... 1549.51 c Sol. found (all assignments made)... 1549.51 c Sol. found (all assignments made)... 1549.51 c Sol. found (all assignments made)... 1549.51 c Sol. found (all assignments made)... 1549.51 c Sol. found (all assignments made)... 1549.52 c Sol. found (all assignments made)... 1549.52 c Sol. found (all assignments made)... 1549.52 c Sol. found (all assignments made)... 1549.52 c Sol. found (all assignments made)... 1549.52 c Sol. found (all assignments made)... 1549.53 c Sol. found (all assignments made)... 1549.53 c Sol. found (all assignments made)... 1549.53 c Sol. found (all assignments made)... 1549.53 c Sol. found (all assignments made)... 1549.54 c Sol. found (all assignments made)... 1549.54 c Sol. found (all assignments made)... 1549.54 c Sol. found (all assignments made)... 1549.54 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.55 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.56 c Sol. found (all assignments made)... 1549.57 c Sol. found (all assignments made)... 1549.57 c Sol. found (all assignments made)... 1549.57 c Sol. found (all assignments made)... 1549.57 c Sol. found (all assignments made)... 1549.57 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.58 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.59 c Sol. found (all assignments made)... 1549.60 c Sol. found (all assignments made)... 1549.60 c Sol. found (all assignments made)... 1549.60 c Sol. found (all assignments made)... 1549.60 c Sol. found (all assignments made)... 1549.60 c Sol. found (all assignments made)... 1549.61 c Sol. found (all assignments made)... 1549.61 c Sol. found (all assignments made)... 1549.61 c Sol. found (all assignments made)... 1549.61 c Sol. found (all assignments made)... 1549.61 c Sol. found (all assignments made)... 1549.62 c Sol. found (all assignments made)... 1549.62 c Sol. found (all assignments made)... 1549.62 c Sol. found (all assignments made)... 1549.62 c Sol. found (all assignments made)... 1549.62 c Sol. found (all assignments made)... 1549.63 c Sol. found (all assignments made)... 1549.63 c Sol. found (all assignments made)... 1549.63 c Sol. found (all assignments made)... 1549.63 c Sol. found (all assignments made)... 1549.63 c Sol. found (all assignments made)... 1549.64 c Sol. found (all assignments made)... 1549.64 c Sol. found (all assignments made)... 1549.64 c Sol. found (all assignments made)... 1549.64 c Sol. found (all assignments made)... 1549.64 c Sol. found (all assignments made)... 1549.65 c Sol. found (all assignments made)... 1549.65 c Sol. found (all assignments made)... 1549.65 c Sol. found (all assignments made)... 1549.65 c Sol. found (all assignments made)... 1549.65 c Sol. found (all assignments made)... 1549.66 c Sol. found (all assignments made)... 1549.66 c Sol. found (all assignments made)... 1549.66 c Sol. found (all assignments made)... 1549.66 c Sol. found (all assignments made)... 1549.66 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.67 c Sol. found (all assignments made)... 1549.68 c Sol. found (all assignments made)... 1549.68 c Sol. found (all assignments made)... 1549.68 c Sol. found (all assignments made)... 1549.68 c Sol. found (all assignments made)... 1549.69 c Sol. found (all assignments made)... 1549.69 c Sol. found (all assignments made)... 1549.69 c Sol. found (all assignments made)... 1549.69 c Sol. found (all assignments made)... 1549.70 c Sol. found (all assignments made)... 1549.70 c Sol. found (all assignments made)... 1549.70 c Sol. found (all assignments made)... 1549.70 c Sol. found (all assignments made)... 1549.70 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.71 c Sol. found (all assignments made)... 1549.72 c Sol. found (all assignments made)... 1549.72 c Sol. found (all assignments made)... 1549.72 c Sol. found (all assignments made)... 1549.72 c Sol. found (all assignments made)... 1549.72 c Sol. found (all assignments made)... 1549.73 c Sol. found (all assignments made)... 1549.85 c Sol. found (all assignments made)... 1549.85 c Sol. found (all assignments made)... 1549.85 c Sol. found (all assignments made)... 1549.86 c Sol. found (all assignments made)... 1549.86 c Sol. found (all assignments made)... 1549.87 c Sol. found (all assignments made)... 1549.87 c Sol. found (all assignments made)... 1549.87 c Sol. found (all assignments made)... 1549.91 c Sol. found (all assignments made)... 1549.91 c Sol. found (all assignments made)... 1549.92 c Sol. found (all assignments made)... 1549.92 c Sol. found (all assignments made)... 1549.93 c Sol. found (all assignments made)... 1550.17 c Sol. found (all assignments made)... 1550.17 c Sol. found (all assignments made)... 1550.18 c Sol. found (all assignments made)... 1550.21 c Sol. found (all assignments made)... 1550.22 c Sol. found (all assignments made)... 1550.22 c Sol. found (all assignments made)... 1550.24 c Sol. found (all assignments made)... 1550.24 c Sol. found (all assignments made)... 1550.24 c Sol. found (all assignments made)... 1550.30 c Sol. found (all assignments made)... 1550.30 c Sol. found (all assignments made)... 1550.31 c Sol. found (all assignments made)... 1550.31 c Sol. found (all assignments made)... 1550.31 c Sol. found (all assignments made)... 1550.32 c Sol. found (all assignments made)... 1550.34 c Sol. found (all assignments made)... 1550.35 c Sol. found (all assignments made)... 1550.46 c Sol. found (all assignments made)... 1550.46 c Sol. found (all assignments made)... 1550.47 c Sol. found (all assignments made)... 1550.52 c Sol. found (all assignments made)... 1550.52 c Sol. found (all assignments made)... 1550.53 c Sol. found (all assignments made)... 1550.53 c Sol. found (all assignments made)... 1550.53 c Sol. found (all assignments made)... 1550.54 c Sol. found (all assignments made)... 1550.56 c Sol. found (all assignments made)... 1550.57 c Sol. found (all assignments made)... 1550.62 c Sol. found (all assignments made)... 1550.63 c Sol. found (all assignments made)... 1550.63 c Sol. found (all assignments made)... 1550.63 c Sol. found (all assignments made)... 1550.64 c Sol. found (all assignments made)... 1550.64 c Sol. found (all assignments made)... 1550.65 c Sol. found (all assignments made)... 1550.65 c Sol. found (all assignments made)... 1550.66 c Sol. found (all assignments made)... 1550.66 c Sol. found (all assignments made)... 1550.67 c Sol. found (all assignments made)... 1550.68 c Sol. found (all assignments made)... 1550.68 c Sol. found (all assignments made)... 1550.69 c Sol. found (all assignments made)... 1550.69 c Sol. found (all assignments made)... 1550.70 c Sol. found (all assignments made)... 1550.70 c Sol. found (all assignments made)... 1550.71 c Sol. found (all assignments made)... 1550.72 c Sol. found (all assignments made)... 1550.72 c Sol. found (all assignments made)... 1550.73 c Sol. found (all assignments made)... 1550.73 c Sol. found (all assignments made)... 1550.73 c Sol. found (all assignments made)... 1550.73 c Sol. found (all assignments made)... 1550.75 c Sol. found (all assignments made)... 1550.75 c Sol. found (all assignments made)... 1550.75 c Sol. found (all assignments made)... 1550.75 c Sol. found (all assignments made)... 1550.85 c Sol. found (all assignments made)... 1550.86 c Sol. found (all assignments made)... 1550.86 c Sol. found (all assignments made)... 1550.87 c Sol. found (all assignments made)... 1550.87 c Sol. found (all assignments made)... 1550.87 c Sol. found (all assignments made)... 1550.87 c Sol. found (all assignments made)... 1550.88 c Sol. found (all assignments made)... 1550.88 c Sol. found (all assignments made)... 1550.88 c Sol. found (all assignments made)... 1550.88 c Sol. found (all assignments made)... 1550.89 c Sol. found (all assignments made)... 1550.89 c Sol. found (all assignments made)... 1550.89 c Sol. found (all assignments made)... 1550.89 c Sol. found (all assignments made)... 1550.90 c Sol. found (all assignments made)... 1550.90 c Sol. found (all assignments made)... 1550.90 c Sol. found (all assignments made)... 1550.91 c Sol. found (all assignments made)... 1550.92 c Sol. found (all assignments made)... 1550.92 c Sol. found (all assignments made)... 1550.92 c Sol. found (all assignments made)... 1550.92 c Sol. found (all assignments made)... 1550.93 c Sol. found (all assignments made)... 1550.93 c Sol. found (all assignments made)... 1550.93 c Sol. found (all assignments made)... 1550.94 c Sol. found (all assignments made)... 1550.94 c Sol. found (all assignments made)... 1550.94 c Sol. found (all assignments made)... 1550.95 c Sol. found (all assignments made)... 1550.95 c Sol. found (all assignments made)... 1550.96 c Sol. found (all assignments made)... 1550.96 c Sol. found (all assignments made)... 1550.96 c Sol. found (all assignments made)... 1550.97 c Sol. found (all assignments made)... 1550.97 c Sol. found (all assignments made)... 1550.98 c Sol. found (all assignments made)... 1550.99 c Sol. found (all assignments made)... 1550.99 c Sol. found (all assignments made)... 1551.00 c Sol. found (all assignments made)... 1551.00 c Sol. found (all assignments made)... 1551.00 c Sol. found (all assignments made)... 1551.00 c Sol. found (all assignments made)... 1551.01 c Sol. found (all assignments made)... 1551.01 c Sol. found (all assignments made)... 1551.27 c Sol. found (all assignments made)... 1551.27 c Sol. found (all assignments made)... 1551.28 c Sol. found (all assignments made)... 1551.29 c Sol. found (all assignments made)... 1551.32 c Sol. found (all assignments made)... 1551.34 c Sol. found (all assignments made)... 1551.35 c Sol. found (all assignments made)... 1551.37 c Sol. found (all assignments made)... 1551.39 c Sol. found (all assignments made)... 1551.39 c Sol. found (all assignments made)... 1551.40 c Sol. found (all assignments made)... 1551.40 c Sol. found (all assignments made)... 1551.40 c Sol. found (all assignments made)... 1551.41 c Sol. found (all assignments made)... 1551.42 c Sol. found (all assignments made)... 1551.42 c Sol. found (all assignments made)... 1551.42 c Sol. found (all assignments made)... 1551.43 c Sol. found (all assignments made)... 1551.43 c Sol. found (all assignments made)... 1551.43 c Sol. found (all assignments made)... 1551.43 c Sol. found (all assignments made)... 1551.44 c Sol. found (all assignments made)... 1551.44 c Sol. found (all assignments made)... 1551.45 c Sol. found (all assignments made)... 1551.45 c Sol. found (all assignments made)... 1551.46 c Sol. found (all assignments made)... 1551.49 c Sol. found (all assignments made)... 1551.50 c Sol. found (all assignments made)... 1551.50 c Sol. found (all assignments made)... 1551.50 c Sol. found (all assignments made)... 1551.50 c Sol. found (all assignments made)... 1551.51 c Sol. found (all assignments made)... 1551.51 c Sol. found (all assignments made)... 1551.52 c Sol. found (all assignments made)... 1551.52 c Sol. found (all assignments made)... 1551.53 c Sol. found (all assignments made)... 1551.53 c Sol. found (all assignments made)... 1551.53 c Sol. found (all assignments made)... 1551.54 c Sol. found (all assignments made)... 1551.54 c Sol. found (all assignments made)... 1551.55 c Sol. found (all assignments made)... 1551.55 c Sol. found (all assignments made)... 1551.56 c Sol. found (all assignments made)... 1551.57 c Sol. found (all assignments made)... 1551.57 c Sol. found (all assignments made)... 1551.58 c Sol. found (all assignments made)... 1551.58 c Sol. found (all assignments made)... 1551.59 c Sol. found (all assignments made)... 1551.59 c Sol. found (all assignments made)... 1551.60 c Sol. found (all assignments made)... 1551.60 c Sol. found (all assignments made)... 1551.60 c Sol. found (all assignments made)... 1551.60 c Sol. found (all assignments made)... 1551.61 c Sol. found (all assignments made)... 1551.61 c Sol. found (all assignments made)... 1551.62 c Sol. found (all assignments made)... 1551.62 c Sol. found (all assignments made)... 1551.62 c Sol. found (all assignments made)... 1551.63 c Sol. found (all assignments made)... 1551.63 c Sol. found (all assignments made)... 1551.64 c Sol. found (all assignments made)... 1551.64 c Sol. found (all assignments made)... 1551.65 c Sol. found (all assignments made)... 1551.66 c Sol. found (all assignments made)... 1551.66 c Sol. found (all assignments made)... 1551.67 c Sol. found (all assignments made)... 1551.67 c Sol. found (all assignments made)... 1551.75 c Sol. found (all assignments made)... 1551.75 c Sol. found (all assignments made)... 1551.76 c Sol. found (all assignments made)... 1551.76 c Sol. found (all assignments made)... 1551.76 c Sol. found (all assignments made)... 1551.77 c Sol. found (all assignments made)... 1551.77 c Sol. found (all assignments made)... 1551.77 c Sol. found (all assignments made)... 1551.77 c Sol. found (all assignments made)... 1551.78 c Sol. found (all assignments made)... 1551.78 c Sol. found (all assignments made)... 1551.89 c Sol. found (all assignments made)... 1551.89 c Sol. found (all assignments made)... 1551.89 c Sol. found (all assignments made)... 1551.90 c Sol. found (all assignments made)... 1551.90 c Sol. found (all assignments made)... 1551.90 c Sol. found (all assignments made)... 1551.91 c Sol. found (all assignments made)... 1551.91 c Sol. found (all assignments made)... 1551.91 c Sol. found (all assignments made)... 1551.92 c Sol. found (all assignments made)... 1551.92 c Sol. found (all assignments made)... 1551.92 c Sol. found (all assignments made)... 1552.03 c Sol. found (all assignments made)... 1552.03 c Sol. found (all assignments made)... 1552.04 c Sol. found (all assignments made)... 1552.04 c Sol. found (all assignments made)... 1552.04 c Sol. found (all assignments made)... 1552.04 c Sol. found (all assignments made)... 1552.05 c Sol. found (all assignments made)... 1552.05 c Sol. found (all assignments made)... 1552.05 c Sol. found (all assignments made)... 1552.05 c Sol. found (all assignments made)... 1552.06 c Sol. found (all assignments made)... 1552.06 c Sol. found (all assignments made)... 1552.06 c Sol. found (all assignments made)... 1552.06 c Sol. found (all assignments made)... 1552.07 c Sol. found (all assignments made)... 1552.07 c Sol. found (all assignments made)... 1552.07 c Sol. found (all assignments made)... 1552.08 c Sol. found (all assignments made)... 1552.08 c Sol. found (all assignments made)... 1552.08 c Sol. found (all assignments made)... 1552.08 c Sol. found (all assignments made)... 1552.09 c Sol. found (all assignments made)... 1552.09 c Sol. found (all assignments made)... 1552.09 c Sol. found (all assignments made)... 1552.10 c Sol. found (all assignments made)... 1552.10 c Sol. found (all assignments made)... 1552.10 c Sol. found (all assignments made)... 1552.11 c Sol. found (all assignments made)... 1552.11 c Sol. found (all assignments made)... 1552.11 c Sol. found (all assignments made)... 1552.12 c Sol. found (all assignments made)... 1552.12 c Sol. found (all assignments made)... 1552.12 c Sol. found (all assignments made)... 1552.13 c Sol. found (all assignments made)... 1552.13 c Sol. found (all assignments made)... 1552.13 c Sol. found (all assignments made)... 1552.13 c Sol. found (all assignments made)... 1552.14 c Sol. found (all assignments made)... 1552.14 c Sol. found (all assignments made)... 1552.14 c Sol. found (all assignments made)... 1552.14 c Sol. found (all assignments made)... 1552.15 c Sol. found (all assignments made)... 1552.15 c Sol. found (all assignments made)... 1552.15 c Sol. found (all assignments made)... 1552.15 c Sol. found (all assignments made)... 1552.16 c Sol. found (all assignments made)... 1552.16 c Sol. found (all assignments made)... 1552.16 c Sol. found (all assignments made)... 1552.16 c Sol. found (all assignments made)... 1552.17 c Sol. found (all assignments made)... 1552.17 c Sol. found (all assignments made)... 1552.18 c Sol. found (all assignments made)... 1552.18 c Sol. found (all assignments made)... 1552.18 c Sol. found (all assignments made)... 1552.18 c Sol. found (all assignments made)... 1552.19 c Sol. found (all assignments made)... 1552.19 c Sol. found (all assignments made)... 1552.19 c Sol. found (all assignments made)... 1552.19 c Sol. found (all assignments made)... 1552.20 c Sol. found (all assignments made)... 1552.20 c Sol. found (all assignments made)... 1552.21 c Sol. found (all assignments made)... 1552.21 c Sol. found (all assignments made)... 1552.21 c Sol. found (all assignments made)... 1552.22 c Sol. found (all assignments made)... 1552.22 c Sol. found (all assignments made)... 1552.22 c Sol. found (all assignments made)... 1552.23 c Sol. found (all assignments made)... 1552.23 c Sol. found (all assignments made)... 1552.23 c Sol. found (all assignments made)... 1552.24 c Sol. found (all assignments made)... 1552.24 c Sol. found (all assignments made)... 1552.24 c Sol. found (all assignments made)... 1552.25 c Sol. found (all assignments made)... 1552.25 c Sol. found (all assignments made)... 1552.26 c Sol. found (all assignments made)... 1552.26 c Sol. found (all assignments made)... 1552.27 c Sol. found (all assignments made)... 1552.27 c Sol. found (all assignments made)... 1552.27 c Sol. found (all assignments made)... 1552.28 c Sol. found (all assignments made)... 1552.29 c Sol. found (all assignments made)... 1552.29 c Sol. found (all assignments made)... 1552.29 c Sol. found (all assignments made)... 1552.30 c Sol. found (all assignments made)... 1552.31 c Sol. found (all assignments made)... 1552.31 c Sol. found (all assignments made)... 1552.31 c Sol. found (all assignments made)... 1552.33 c Sol. found (all assignments made)... 1552.33 c Sol. found (all assignments made)... 1552.34 c Sol. found (all assignments made)... 1552.34 c Sol. found (all assignments made)... 1552.36 c Sol. found (all assignments made)... 1552.37 c Sol. found (all assignments made)... 1552.37 c Sol. found (all assignments made)... 1552.37 c Sol. found (all assignments made)... 1552.37 c Sol. found (all assignments made)... 1552.38 c Sol. found (all assignments made)... 1552.38 c Sol. found (all assignments made)... 1552.38 c Sol. found (all assignments made)... 1552.39 c Sol. found (all assignments made)... 1552.39 c Sol. found (all assignments made)... 1552.39 c Sol. found (all assignments made)... 1552.39 c Sol. found (all assignments made)... 1552.40 c Sol. found (all assignments made)... 1552.40 c Sol. found (all assignments made)... 1552.40 c Sol. found (all assignments made)... 1552.41 c Sol. found (all assignments made)... 1552.41 c Sol. found (all assignments made)... 1552.41 c Sol. found (all assignments made)... 1552.42 c Sol. found (all assignments made)... 1552.42 c Sol. found (all assignments made)... 1552.42 c Sol. found (all assignments made)... 1552.43 c Sol. found (all assignments made)... 1552.43 c Sol. found (all assignments made)... 1552.43 c Sol. found (all assignments made)... 1552.44 c Sol. found (all assignments made)... 1552.44 c Sol. found (all assignments made)... 1552.44 c Sol. found (all assignments made)... 1552.45 c Sol. found (all assignments made)... 1552.45 c Sol. found (all assignments made)... 1552.45 c Sol. found (all assignments made)... 1552.45 c Sol. found (all assignments made)... 1552.46 c Sol. found (all assignments made)... 1552.46 c Sol. found (all assignments made)... 1552.47 c Sol. found (all assignments made)... 1552.47 c Sol. found (all assignments made)... 1552.47 c Sol. found (all assignments made)... 1552.47 c Sol. found (all assignments made)... 1552.48 c Sol. found (all assignments made)... 1552.48 c Sol. found (all assignments made)... 1552.48 c Sol. found (all assignments made)... 1552.49 c Sol. found (all assignments made)... 1552.49 c Sol. found (all assignments made)... 1552.49 c Sol. found (all assignments made)... 1552.49 c Sol. found (all assignments made)... 1552.50 c Sol. found (all assignments made)... 1552.50 c Sol. found (all assignments made)... 1552.50 c Sol. found (all assignments made)... 1552.50 c Sol. found (all assignments made)... 1552.51 c Sol. found (all assignments made)... 1552.51 c Sol. found (all assignments made)... 1552.51 c Sol. found (all assignments made)... 1552.51 c Sol. found (all assignments made)... 1552.52 c Sol. found (all assignments made)... 1552.52 c Sol. found (all assignments made)... 1552.52 c Sol. found (all assignments made)... 1552.53 c Sol. found (all assignments made)... 1552.53 c Sol. found (all assignments made)... 1552.53 c Sol. found (all assignments made)... 1552.53 c Sol. found (all assignments made)... 1552.54 c Sol. found (all assignments made)... 1552.55 c Sol. found (all assignments made)... 1552.55 c Sol. found (all assignments made)... 1552.56 c Sol. found (all assignments made)... 1552.56 c Sol. found (all assignments made)... 1552.56 c Sol. found (all assignments made)... 1552.57 c Sol. found (all assignments made)... 1552.57 c Sol. found (all assignments made)... 1552.57 c Sol. found (all assignments made)... 1552.57 c Sol. found (all assignments made)... 1552.58 c Sol. found (all assignments made)... 1552.70 c Restart #137 #Var: 1534 LB: -1534 @ 1552.1 1565.29 c Sol. found (all assignments made)... 1570.02 c Sol. found (all assignments made)... 1570.09 c Sol. found (all assignments made)... 1570.30 c Sol. found (all assignments made)... 1570.30 c Sol. found (all assignments made)... 1570.31 c Sol. found (all assignments made)... 1570.32 c Sol. found (all assignments made)... 1570.32 c Sol. found (all assignments made)... 1570.32 c Sol. found (all assignments made)... 1570.33 c Sol. found (all assignments made)... 1570.35 c Sol. found (all assignments made)... 1570.35 c Sol. found (all assignments made)... 1570.36 c Sol. found (all assignments made)... 1570.36 c Sol. found (all assignments made)... 1570.55 c Sol. found (all assignments made)... 1570.55 c Sol. found (all assignments made)... 1570.55 c Sol. found (all assignments made)... 1570.56 c Sol. found (all assignments made)... 1570.56 c Sol. found (all assignments made)... 1570.57 c Sol. found (all assignments made)... 1570.57 c Sol. found (all assignments made)... 1570.57 c Sol. found (all assignments made)... 1570.58 c Sol. found (all assignments made)... 1570.58 c Sol. found (all assignments made)... 1570.59 c Sol. found (all assignments made)... 1570.59 c Sol. found (all assignments made)... 1570.59 c Sol. found (all assignments made)... 1570.60 c Sol. found (all assignments made)... 1570.60 c Sol. found (all assignments made)... 1570.61 c Sol. found (all assignments made)... 1570.61 c Sol. found (all assignments made)... 1570.62 c Sol. found (all assignments made)... 1570.62 c Sol. found (all assignments made)... 1570.65 c Sol. found (all assignments made)... 1570.65 c Sol. found (all assignments made)... 1570.65 c Sol. found (all assignments made)... 1570.66 c Sol. found (all assignments made)... 1570.83 c Sol. found (all assignments made)... 1570.95 c Sol. found (all assignments made)... 1571.74 c Restart #138 #Var: 1534 LB: -1534 @ 1571.2 1590.92 c Restart #139 #Var: 1534 LB: -1534 @ 1590.3 1610.47 c Restart #140 #Var: 1534 LB: -1534 @ 1609.9 1629.77 c Restart #141 #Var: 1534 LB: -1534 @ 1629.2 1649.69 c Restart #142 #Var: 1534 LB: -1534 @ 1649.1 1670.26 c Restart #143 #Var: 1534 LB: -1534 @ 1669.7 1690.10 c Restart #144 #Var: 1534 LB: -1534 @ 1689.5 1710.13 c Restart #145 #Var: 1534 LB: -1534 @ 1709.5 1730.51 c Restart #146 #Var: 1534 LB: -1534 @ 1729.9 1750.81 c Restart #147 #Var: 1534 LB: -1534 @ 1750.2 1771.38 c Restart #148 #Var: 1534 LB: -1534 @ 1770.8 1791.85 c Restart #149 #Var: 1534 LB: -1534 @ 1791.2 1800.64 s SATISFIABLE 1800.64 c Cost: -47 1800.64 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.64 v x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1800.64 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1800.64 v -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1800.64 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1800.64 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1800.64 v -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1800.64 v -x1415 -x1414 -x1413 -x1412 x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1800.64 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1800.64 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1800.64 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1800.64 v -x1347 -x1346 x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1800.64 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 -x1314 1800.64 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1800.64 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1800.64 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1800.64 v -x1262 -x1261 -x1260 -x1259 -x1258 x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1800.64 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1800.64 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1800.64 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1800.64 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1800.64 v -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1800.64 v -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1800.64 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1800.64 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1800.64 v -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1800.64 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 1800.64 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1800.64 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 1800.64 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1800.64 v x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 1800.64 v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 1800.64 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 1800.64 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 1800.64 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.64 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.64 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 1800.64 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.64 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.64 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.64 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.64 v -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.64 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 1800.64 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 1800.64 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 1800.64 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.64 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.64 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 1800.64 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.64 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.64 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.64 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.64 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.64 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.64 v -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.64 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.64 v x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.64 v -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.64 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 1800.64 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.64 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.64 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 1800.64 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.64 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.64 v -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 1800.64 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 1800.64 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.64 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.64 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.64 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 1800.64 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.64 v -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.64 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.64 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.64 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 1800.64 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 1800.64 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.64 v -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.64 v -x1 1800.64 c Exit Code: 10 1800.64 c Total time: 1800 s
OK -47
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/node17/watcher-40517-1149300205 -o ROOT/results/node17/solver-40517-1149300205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40517-1149300205/instance-40517-1149300205.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.08 1.04 0.94 2/64 30656 /proc/meminfo: memFree=1288560/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=18540 CPUtime=0 /proc/30656/stat : 30656 (runsolver) D 30654 30656 30610 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 195683810 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 245482712359 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/30656/statm: 4635 279 243 16 0 2626 0 [startup+10.0031 s] /proc/loadavg: 1.07 1.04 0.94 2/64 30656 /proc/meminfo: memFree=1229752/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=63116 CPUtime=9.96 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 15041 0 0 0 989 7 0 0 25 0 1 0 195683810 64630784 14956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 15779 14956 287 55 0 14671 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 63116 [startup+20.0099 s] /proc/loadavg: 1.06 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1227128/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=66076 CPUtime=19.97 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 15781 0 0 0 1989 8 0 0 25 0 1 0 195683810 67661824 15696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 16519 15696 287 55 0 15411 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 66076 [startup+30.0168 s] /proc/loadavg: 1.05 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1219512/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=74696 CPUtime=29.97 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 17765 0 0 0 2988 9 0 0 25 0 1 0 195683810 76488704 17625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 18674 17625 308 55 0 17566 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 74696 [startup+40.0226 s] /proc/loadavg: 1.04 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1217400/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=76616 CPUtime=39.96 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 18422 0 0 0 3986 10 0 0 25 0 1 0 195683810 78454784 18155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 19154 18155 308 55 0 18046 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 76616 [startup+50.0295 s] /proc/loadavg: 1.03 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1216312/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=77552 CPUtime=49.97 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 18766 0 0 0 4984 13 0 0 25 0 1 0 195683810 79413248 18406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 19388 18406 308 55 0 18280 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 77552 [startup+60.0353 s] /proc/loadavg: 1.03 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1215480/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=78468 CPUtime=59.98 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19008 0 0 0 5983 15 0 0 25 0 1 0 195683810 80351232 18648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 19617 18648 308 55 0 18509 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 78468 [startup+70.0421 s] /proc/loadavg: 1.02 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1214456/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=79420 CPUtime=69.97 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19257 0 0 0 6980 17 0 0 25 0 1 0 195683810 81326080 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 19855 18897 308 55 0 18747 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 79420 [startup+80.049 s] /proc/loadavg: 1.02 1.03 0.94 2/64 30656 /proc/meminfo: memFree=1213432/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=80472 CPUtime=79.98 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19528 0 0 0 7978 20 0 0 25 0 1 0 195683810 82403328 19168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 20118 19168 308 55 0 19010 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 80472 [startup+90.0548 s] /proc/loadavg: 1.02 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1213240/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=80632 CPUtime=89.99 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19574 0 0 0 8977 22 0 0 25 0 1 0 195683810 82567168 19214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 20158 19214 308 55 0 19050 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 80632 [startup+100.061 s] /proc/loadavg: 1.01 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1213048/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=80784 CPUtime=99.99 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19619 0 0 0 9976 23 0 0 25 0 1 0 195683810 82722816 19259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 20196 19259 308 55 0 19088 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 80784 [startup+110.067 s] /proc/loadavg: 1.01 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1212984/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=80920 CPUtime=109.98 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19658 0 0 0 10974 24 0 0 25 0 1 0 195683810 82862080 19298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 20230 19298 308 55 0 19122 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 80920 [startup+120.072 s] /proc/loadavg: 1.01 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1211768/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=82080 CPUtime=119.99 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 19954 0 0 0 11973 26 0 0 25 0 1 0 195683810 84049920 19594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 20520 19594 308 55 0 19412 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 82080 [startup+130.078 s] /proc/loadavg: 1.01 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1167416/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=164652 CPUtime=129.99 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 36008 0 0 0 12967 32 0 0 25 0 1 0 195683810 168603648 30761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 41163 30761 413 55 0 40055 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 164652 [startup+140.084 s] /proc/loadavg: 1.00 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1166456/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=164652 CPUtime=139.99 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 36267 0 0 0 13967 32 0 0 25 0 1 0 195683810 168603648 31010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159448696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 41163 31010 414 55 0 40055 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 164652 [startup+150.09 s] /proc/loadavg: 1.00 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1166712/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=149808 CPUtime=150 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 39615 0 0 0 14966 34 0 0 25 0 1 0 195683810 153403392 30892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 37452 30892 414 55 0 36344 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 149808 [startup+160.096 s] /proc/loadavg: 1.00 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1196536/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=107884 CPUtime=160 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 69492 0 0 0 15952 48 0 0 25 0 1 0 195683810 110473216 23646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160212228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26971 23646 435 55 0 25863 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 107884 [startup+170.102 s] /proc/loadavg: 1.00 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1188472/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=153720 CPUtime=170 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 260132 0 0 0 16870 130 0 0 25 0 1 0 195683810 157409280 25508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160232601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 38430 25508 436 55 0 37322 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 153720 [startup+180.107 s] /proc/loadavg: 1.00 1.02 0.94 2/64 30656 /proc/meminfo: memFree=1155448/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=177472 CPUtime=180 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 327315 0 0 0 17840 160 0 0 25 0 1 0 195683810 181731328 33751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159228381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 44368 33751 436 55 0 43260 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 177472 [startup+190.113 s] /proc/loadavg: 1.00 1.01 0.94 2/64 30656 /proc/meminfo: memFree=1152440/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=180596 CPUtime=190 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 410236 0 0 0 18805 195 0 0 25 0 1 0 195683810 184930304 34500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159002261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 45149 34500 436 55 0 44041 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 180596 [startup+200.119 s] /proc/loadavg: 1.00 1.01 0.94 2/64 30656 /proc/meminfo: memFree=1191608/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=103120 CPUtime=200.01 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 423299 0 0 0 19799 202 0 0 25 0 1 0 195683810 105594880 24712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3292820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 25780 24712 436 55 0 24672 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 103120 [startup+210.125 s] /proc/loadavg: 1.00 1.01 0.94 2/64 30656 /proc/meminfo: memFree=1190904/2055920 swapFree=4180996/4192956 ################ # More data... # ################ /proc/30656/statm: 26196 25128 436 55 0 25088 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 104784 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189624/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104784 CPUtime=1770.42 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 176708 334 0 0 25 0 1 0 195683810 107298816 25128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26196 25128 436 55 0 25088 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 104784 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1780.43 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 177708 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3289227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 104292 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1781.43 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 177808 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134597392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 104292 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1782.44 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 177909 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 104292 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1783.44 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178009 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 104292 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1784.44 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178109 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 104292 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1785.45 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178210 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 104292 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1786.45 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178310 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 104292 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1787.46 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178411 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 104292 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104292 CPUtime=1788.46 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429618 0 0 0 178511 335 0 0 25 0 1 0 195683810 106795008 25005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26073 25005 436 55 0 24965 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 104292 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1190072/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104424 CPUtime=1789.46 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429651 0 0 0 178611 335 0 0 25 0 1 0 195683810 106930176 25038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26106 25038 436 55 0 24998 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 104424 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104692 CPUtime=1790.47 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 178712 335 0 0 25 0 1 0 195683810 107204608 25079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26173 25079 436 55 0 25065 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 104692 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1791.47 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 178812 335 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 104492 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1792.48 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 178913 335 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 104492 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1793.48 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179013 335 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 104492 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1794.48 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179113 335 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 104492 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1795.49 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179213 336 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 104492 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1796.5 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179314 336 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 104492 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1797.5 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179414 336 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 104492 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1798.5 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179514 336 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 104492 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 30656 /proc/meminfo: memFree=1189944/2055920 swapFree=4180996/4192956 [pid=30656] ppid=30654 vsize=104492 CPUtime=1799.51 /proc/30656/stat : 30656 (bsolo) R 30654 30656 30610 0 -1 0 429692 0 0 0 179615 336 0 0 25 0 1 0 195683810 106999808 25055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3293699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30656/statm: 26123 25055 436 55 0 25015 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 104492 Child status: 10 Real time (s): 1800.68 CPU time (s): 1800.02 CPU user time (s): 1796.63 CPU system time (s): 3.38649 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 180596
Begin job on node17 on Sat Jun 3 02:03:25 UTC 2006 FILE ID= 40517-1149300205 PBS_JOBID= 307328 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40517-1149300205/instance-40517-1149300205.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-40517-1149300205 -o ROOT/results/node17/solver-40517-1149300205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40517-1149300205/instance-40517-1149300205.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED= 210804574 /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.278 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 : 5914.62 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.278 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1288896 kB Buffers: 44104 kB Cached: 649144 kB SwapCached: 3752 kB Active: 374200 kB Inactive: 327868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1288896 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 144 kB Writeback: 0 kB Mapped: 14716 kB Slab: 50908 kB Committed_AS: 298000 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 02:33:32 UTC 2006