Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -48 | 1800.02 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
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.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 2.04 c Initial problem consists of 1534 variables and 126082 constraints. 23.05 c No problem reductions applied in OPT. instance. 23.05 c preprocess terminated. Elapsed time: 23.031 23.05 c After prepocess the problem consists of 1534 variables and 126082 constraints. 23.05 c Initial Lower Bound: -1534 23.17 c Sol. found (all assignments made)... 23.17 o -1 23.17 c NEW SOLUTION FOUND: -1 @ 23.147 23.17 c Sol. found (all assignments made)... 23.17 c Sol. found (all assignments made)... 23.17 c Sol. found (all assignments made)... 23.17 c Sol. found (all assignments made)... 23.17 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 o -2 23.18 c NEW SOLUTION FOUND: -2 @ 23.159 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.19 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.25 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.26 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.28 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.29 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 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.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.43 c Restart #1 #Var: 1534 LB: -1534 @ 23.408 23.53 c Sol. found (all assignments made)... 23.53 o -11 23.53 c NEW SOLUTION FOUND: -11 @ 23.508 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.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.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 o -12 23.57 c NEW SOLUTION FOUND: -12 @ 23.545 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.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.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.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.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.67 c Sol. found (all assignments made)... 23.67 c Sol. found (all assignments made)... 23.67 c Sol. found (all assignments made)... 23.67 c Sol. found (all assignments made)... 23.67 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.68 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.69 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.70 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.71 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.93 c Restart #2 #Var: 1534 LB: -1534 @ 23.898 24.05 c Sol. found (all assignments made)... 24.05 o -39 24.05 c NEW SOLUTION FOUND: -39 @ 24.022 24.05 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.16 c Sol. found (all assignments made)... 24.16 c Sol. found (all assignments made)... 24.16 c Sol. found (all assignments made)... 24.16 c Sol. found (all assignments made)... 24.16 c Sol. found (all assignments made)... 24.17 c Sol. found (all assignments made)... 24.17 c Sol. found (all assignments made)... 24.17 c Sol. found (all assignments made)... 24.18 c Sol. found (all assignments made)... 24.20 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.22 c Sol. found (all assignments made)... 24.22 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.25 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.26 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.27 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.31 c Sol. found (all assignments made)... 24.31 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.40 c Sol. found (all assignments made)... 24.40 c Sol. found (all assignments made)... 24.51 c Restart #3 #Var: 1534 LB: -1534 @ 24.482 24.64 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.75 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.77 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.78 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.80 o -40 24.80 c NEW SOLUTION FOUND: -40 @ 24.772 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.04 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 25.08 c Sol. found (all assignments made)... 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.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.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.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.14 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.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 c Sol. found (all assignments made)... 25.18 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.19 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.22 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.23 c Sol. found (all assignments made)... 25.39 c Restart #4 #Var: 1534 LB: -1534 @ 25.353 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.51 c Sol. found (all assignments made)... 25.51 o -41 25.51 c NEW SOLUTION FOUND: -41 @ 25.48 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.53 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.55 c Sol. found (all assignments made)... 25.55 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.61 c Sol. found (all assignments made)... 25.61 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.63 c Sol. found (all assignments made)... 25.65 c Sol. found (all assignments made)... 25.65 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.67 c Sol. found (all assignments made)... 25.68 c Sol. found (all assignments made)... 25.68 c Sol. found (all assignments made)... 25.69 c Sol. found (all assignments made)... 25.69 c Sol. found (all assignments made)... 25.69 c Sol. found (all assignments made)... 25.70 c Sol. found (all assignments made)... 25.70 c Sol. found (all assignments made)... 25.70 c Sol. found (all assignments made)... 25.71 c Sol. found (all assignments made)... 25.71 c Sol. found (all assignments made)... 25.71 c Sol. found (all assignments made)... 25.72 c Sol. found (all assignments made)... 25.72 c Sol. found (all assignments made)... 25.73 c Sol. found (all assignments made)... 25.77 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.78 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.83 c Sol. found (all assignments made)... 25.83 c Sol. found (all assignments made)... 25.83 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.86 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.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.90 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.97 c Sol. found (all assignments made)... 25.98 c Sol. found (all assignments made)... 25.99 c Sol. found (all assignments made)... 26.21 c Restart #5 #Var: 1534 LB: -1534 @ 26.173 26.34 c Sol. found (all assignments made)... 26.34 c Sol. found (all assignments made)... 26.34 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.83 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.85 c Sol. found (all assignments made)... 26.85 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.86 c Sol. found (all assignments made)... 26.87 c Sol. found (all assignments made)... 26.87 c Sol. found (all assignments made)... 26.87 c Sol. found (all assignments made)... 26.88 c Sol. found (all assignments made)... 26.89 c Sol. found (all assignments made)... 26.89 c Sol. found (all assignments made)... 26.90 c Sol. found (all assignments made)... 26.93 c Sol. found (all assignments made)... 26.94 c Sol. found (all assignments made)... 26.94 c Sol. found (all assignments made)... 26.95 c Sol. found (all assignments made)... 26.96 c Sol. found (all assignments made)... 26.97 c Sol. found (all assignments made)... 26.98 c Sol. found (all assignments made)... 26.98 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 27.00 c Sol. found (all assignments made)... 27.01 c Sol. found (all assignments made)... 27.02 c Sol. found (all assignments made)... 27.02 c Sol. found (all assignments made)... 27.14 c Restart #6 #Var: 1534 LB: -1534 @ 27.102 27.54 c Sol. found (all assignments made)... 27.54 c Sol. found (all assignments made)... 28.19 c Restart #7 #Var: 1534 LB: -1534 @ 28.151 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.34 c Sol. found (all assignments made)... 28.34 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.36 c Sol. found (all assignments made)... 28.36 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.39 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.41 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.42 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.43 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.44 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.13 c Sol. found (all assignments made)... 29.13 c Sol. found (all assignments made)... 29.13 c Sol. found (all assignments made)... 29.13 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.17 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.18 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.20 c Sol. found (all assignments made)... 29.20 c Sol. found (all assignments made)... 29.20 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.21 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.37 c Restart #8 #Var: 1534 LB: -1534 @ 29.324 29.49 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.56 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.59 o -42 29.59 c NEW SOLUTION FOUND: -42 @ 29.538 29.59 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.60 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.63 c Sol. found (all assignments made)... 29.64 c Sol. found (all assignments made)... 29.64 c Sol. found (all assignments made)... 29.64 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.65 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.66 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.70 c Sol. found (all assignments made)... 29.70 c Sol. found (all assignments made)... 29.79 c Sol. found (all assignments made)... 29.79 c Sol. found (all assignments made)... 29.79 c Sol. found (all assignments made)... 29.80 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.83 c Sol. found (all assignments made)... 29.87 c Sol. found (all assignments made)... 29.87 c Sol. found (all assignments made)... 29.88 c Sol. found (all assignments made)... 29.88 c Sol. found (all assignments made)... 29.89 c Sol. found (all assignments made)... 29.89 c Sol. found (all assignments made)... 29.89 c Sol. found (all assignments made)... 29.89 c Sol. found (all assignments made)... 29.89 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.91 c Sol. found (all assignments made)... 29.91 c Sol. found (all assignments made)... 29.91 c Sol. found (all assignments made)... 29.91 c Sol. found (all assignments made)... 29.92 c Sol. found (all assignments made)... 29.92 c Sol. found (all assignments made)... 29.92 c Sol. found (all assignments made)... 29.92 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.95 c Sol. found (all assignments made)... 29.96 c Sol. found (all assignments made)... 29.96 c Sol. found (all assignments made)... 29.97 c Sol. found (all assignments made)... 29.97 c Sol. found (all assignments made)... 29.97 c Sol. found (all assignments made)... 29.97 c Sol. found (all assignments made)... 29.98 c Sol. found (all assignments made)... 29.98 c Sol. found (all assignments made)... 29.98 c Sol. found (all assignments made)... 29.98 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 o -43 30.05 c NEW SOLUTION FOUND: -43 @ 29.993 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.07 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 o -44 30.09 c NEW SOLUTION FOUND: -44 @ 30.034 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.10 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.11 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.15 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.17 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.18 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.20 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.21 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.22 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.23 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.33 c Sol. found (all assignments made)... 30.34 c Sol. found (all assignments made)... 30.34 c Sol. found (all assignments made)... 30.34 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.41 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.44 c Sol. found (all assignments made)... 30.44 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.46 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.51 c Sol. found (all assignments made)... 30.51 c Sol. found (all assignments made)... 30.56 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.77 c Sol. found (all assignments made)... 30.77 c Sol. found (all assignments made)... 30.77 c Sol. found (all assignments made)... 30.78 c Sol. found (all assignments made)... 30.78 c Sol. found (all assignments made)... 30.78 c Sol. found (all assignments made)... 30.82 c Sol. found (all assignments made)... 30.83 c Sol. found (all assignments made)... 30.83 c Sol. found (all assignments made)... 30.83 c Sol. found (all assignments made)... 30.84 c Sol. found (all assignments made)... 30.84 c Sol. found (all assignments made)... 30.84 c Sol. found (all assignments made)... 30.84 c Sol. found (all assignments made)... 30.85 c Sol. found (all assignments made)... 30.85 c Sol. found (all assignments made)... 30.85 c Sol. found (all assignments made)... 30.85 c Sol. found (all assignments made)... 30.86 c Sol. found (all assignments made)... 30.86 c Sol. found (all assignments made)... 30.86 c Sol. found (all assignments made)... 30.86 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.88 c Sol. found (all assignments made)... 30.91 c Sol. found (all assignments made)... 30.91 c Sol. found (all assignments made)... 30.91 c Sol. found (all assignments made)... 30.92 c Sol. found (all assignments made)... 30.92 c Sol. found (all assignments made)... 30.92 c Sol. found (all assignments made)... 30.92 c Sol. found (all assignments made)... 30.92 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.93 o -45 30.93 c NEW SOLUTION FOUND: -45 @ 30.876 30.93 c Sol. found (all assignments made)... 30.94 c Sol. found (all assignments made)... 30.94 c Sol. found (all assignments made)... 30.95 c Sol. found (all assignments made)... 30.95 c Sol. found (all assignments made)... 30.95 c Sol. found (all assignments made)... 30.95 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 31.00 c Sol. found (all assignments made)... 31.00 c Sol. found (all assignments made)... 31.00 c Sol. found (all assignments made)... 31.01 c Sol. found (all assignments made)... 31.06 c Sol. found (all assignments made)... 31.06 c Sol. found (all assignments made)... 31.07 c Sol. found (all assignments made)... 31.07 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.09 c Sol. found (all assignments made)... 31.09 c Sol. found (all assignments made)... 31.09 c Sol. found (all assignments made)... 31.09 c Sol. found (all assignments made)... 31.10 c Sol. found (all assignments made)... 31.10 c Sol. found (all assignments made)... 31.10 c Sol. found (all assignments made)... 31.10 c Sol. found (all assignments made)... 31.11 c Sol. found (all assignments made)... 31.11 c Sol. found (all assignments made)... 31.12 c Sol. found (all assignments made)... 31.12 c Sol. found (all assignments made)... 31.12 c Sol. found (all assignments made)... 31.12 c Sol. found (all assignments made)... 31.13 c Sol. found (all assignments made)... 31.13 c Sol. found (all assignments made)... 31.13 c Sol. found (all assignments made)... 31.13 c Sol. found (all assignments made)... 31.14 c Sol. found (all assignments made)... 31.14 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.94 c Sol. found (all assignments made)... 31.94 c Sol. found (all assignments made)... 31.95 c Sol. found (all assignments made)... 31.95 c Sol. found (all assignments made)... 31.95 c Sol. found (all assignments made)... 31.96 c Sol. found (all assignments made)... 32.09 c Restart #9 #Var: 1534 LB: -1534 @ 32.034 33.51 c Restart #10 #Var: 1534 LB: -1534 @ 33.445 33.63 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.67 c Sol. found (all assignments made)... 33.85 c Sol. found (all assignments made)... 33.85 c Sol. found (all assignments made)... 33.86 c Sol. found (all assignments made)... 33.86 c Sol. found (all assignments made)... 33.86 c Sol. found (all assignments made)... 33.86 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.89 c Sol. found (all assignments made)... 33.89 c Sol. found (all assignments made)... 33.98 c Sol. found (all assignments made)... 33.98 c Sol. found (all assignments made)... 33.98 c Sol. found (all assignments made)... 33.98 c Sol. found (all assignments made)... 33.98 c Sol. found (all assignments made)... 33.99 c Sol. found (all assignments made)... 34.06 c Sol. found (all assignments made)... 34.06 c Sol. found (all assignments made)... 34.07 c Sol. found (all assignments made)... 34.07 c Sol. found (all assignments made)... 34.07 c Sol. found (all assignments made)... 34.07 c Sol. found (all assignments made)... 34.07 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.18 c Sol. found (all assignments made)... 34.18 c Sol. found (all assignments made)... 34.18 c Sol. found (all assignments made)... 34.21 c Sol. found (all assignments made)... 34.21 c Sol. found (all assignments made)... 34.21 c Sol. found (all assignments made)... 34.22 c Sol. found (all assignments made)... 34.23 c Sol. found (all assignments made)... 34.23 c Sol. found (all assignments made)... 34.30 c Sol. found (all assignments made)... 34.31 c Sol. found (all assignments made)... 34.35 c Sol. found (all assignments made)... 34.35 c Sol. found (all assignments made)... 34.36 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.41 c Sol. found (all assignments made)... 34.42 c Sol. found (all assignments made)... 34.43 c Sol. found (all assignments made)... 34.43 c Sol. found (all assignments made)... 34.46 c Sol. found (all assignments made)... 34.47 c Sol. found (all assignments made)... 34.48 c Sol. found (all assignments made)... 34.49 c Sol. found (all assignments made)... 34.50 c Sol. found (all assignments made)... 34.50 c Sol. found (all assignments made)... 34.71 c Sol. found (all assignments made)... 34.71 c Sol. found (all assignments made)... 34.72 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.77 c Sol. found (all assignments made)... 34.78 c Sol. found (all assignments made)... 34.78 c Sol. found (all assignments made)... 34.80 c Sol. found (all assignments made)... 34.80 c Sol. found (all assignments made)... 34.81 c Sol. found (all assignments made)... 34.82 c Sol. found (all assignments made)... 34.82 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 35.05 c Restart #11 #Var: 1534 LB: -1534 @ 34.99 35.35 c Sol. found (all assignments made)... 35.35 c Sol. found (all assignments made)... 36.71 c Restart #12 #Var: 1534 LB: -1534 @ 36.646 36.84 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.85 c Sol. found (all assignments made)... 36.85 c Sol. found (all assignments made)... 36.85 c Sol. found (all assignments made)... 36.85 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.87 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.89 c Sol. found (all assignments made)... 36.89 c Sol. found (all assignments made)... 36.89 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.92 c Sol. found (all assignments made)... 36.92 c Sol. found (all assignments made)... 36.92 c Sol. found (all assignments made)... 36.92 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 36.97 c Sol. found (all assignments made)... 36.97 c Sol. found (all assignments made)... 36.97 c Sol. found (all assignments made)... 36.97 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.99 c Sol. found (all assignments made)... 36.99 c Sol. found (all assignments made)... 36.99 c Sol. found (all assignments made)... 36.99 c Sol. found (all assignments made)... 37.00 c Sol. found (all assignments made)... 37.00 c Sol. found (all assignments made)... 37.00 c Sol. found (all assignments made)... 37.00 c Sol. found (all assignments made)... 37.01 c Sol. found (all assignments made)... 37.01 c Sol. found (all assignments made)... 37.01 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.03 c Sol. found (all assignments made)... 37.03 c Sol. found (all assignments made)... 37.03 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.06 c Sol. found (all assignments made)... 37.06 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.09 c Sol. found (all assignments made)... 37.09 c Sol. found (all assignments made)... 37.09 c Sol. found (all assignments made)... 37.09 c Sol. found (all assignments made)... 37.10 c Sol. found (all assignments made)... 37.11 c Sol. found (all assignments made)... 37.11 c Sol. found (all assignments made)... 37.11 c Sol. found (all assignments made)... 37.12 c Sol. found (all assignments made)... 37.12 c Sol. found (all assignments made)... 37.12 c Sol. found (all assignments made)... 37.13 c Sol. found (all assignments made)... 37.13 c Sol. found (all assignments made)... 37.13 c Sol. found (all assignments made)... 37.14 c Sol. found (all assignments made)... 37.14 c Sol. found (all assignments made)... 37.14 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.17 c Sol. found (all assignments made)... 37.17 c Sol. found (all assignments made)... 37.18 c Sol. found (all assignments made)... 37.18 c Sol. found (all assignments made)... 37.19 c Sol. found (all assignments made)... 37.19 c Sol. found (all assignments made)... 37.19 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.21 c Sol. found (all assignments made)... 37.21 c Sol. found (all assignments made)... 37.21 c Sol. found (all assignments made)... 37.21 c Sol. found (all assignments made)... 37.23 c Sol. found (all assignments made)... 37.23 c Sol. found (all assignments made)... 37.23 c Sol. found (all assignments made)... 37.24 c Sol. found (all assignments made)... 37.25 c Sol. found (all assignments made)... 37.25 c Sol. found (all assignments made)... 37.25 c Sol. found (all assignments made)... 37.25 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.27 c Sol. found (all assignments made)... 37.27 c Sol. found (all assignments made)... 37.27 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.29 c Sol. found (all assignments made)... 37.29 c Sol. found (all assignments made)... 37.30 c Sol. found (all assignments made)... 37.30 c Sol. found (all assignments made)... 37.30 c Sol. found (all assignments made)... 37.30 c Sol. found (all assignments made)... 37.31 c Sol. found (all assignments made)... 37.31 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.34 c Sol. found (all assignments made)... 37.34 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.36 c Sol. found (all assignments made)... 37.36 c Sol. found (all assignments made)... 37.36 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.38 c Sol. found (all assignments made)... 37.38 c Sol. found (all assignments made)... 37.38 c Sol. found (all assignments made)... 37.39 c Sol. found (all assignments made)... 37.39 c Sol. found (all assignments made)... 37.39 c Sol. found (all assignments made)... 37.40 c Sol. found (all assignments made)... 37.40 c Sol. found (all assignments made)... 37.40 c Sol. found (all assignments made)... 37.40 c Sol. found (all assignments made)... 37.41 c Sol. found (all assignments made)... 37.41 c Sol. found (all assignments made)... 37.41 c Sol. found (all assignments made)... 37.41 c Sol. found (all assignments made)... 37.42 c Sol. found (all assignments made)... 37.42 c Sol. found (all assignments made)... 37.43 c Sol. found (all assignments made)... 37.43 c Sol. found (all assignments made)... 37.43 c Sol. found (all assignments made)... 37.43 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.46 c Sol. found (all assignments made)... 37.46 c Sol. found (all assignments made)... 37.46 c Sol. found (all assignments made)... 37.46 c Sol. found (all assignments made)... 37.46 c Sol. found (all assignments made)... 37.47 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.49 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.51 c Sol. found (all assignments made)... 37.51 c Sol. found (all assignments made)... 37.51 c Sol. found (all assignments made)... 37.51 c Sol. found (all assignments made)... 37.52 c Sol. found (all assignments made)... 37.52 c Sol. found (all assignments made)... 37.52 c Sol. found (all assignments made)... 37.52 c Sol. found (all assignments made)... 37.53 c Sol. found (all assignments made)... 37.53 c Sol. found (all assignments made)... 37.53 c Sol. found (all assignments made)... 37.53 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.57 c Sol. found (all assignments made)... 37.57 c Sol. found (all assignments made)... 37.57 c Sol. found (all assignments made)... 37.57 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.61 c Sol. found (all assignments made)... 37.62 c Sol. found (all assignments made)... 37.62 c Sol. found (all assignments made)... 37.62 c Sol. found (all assignments made)... 37.62 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.64 c Sol. found (all assignments made)... 37.64 c Sol. found (all assignments made)... 37.64 c Sol. found (all assignments made)... 37.64 c Sol. found (all assignments made)... 37.65 c Sol. found (all assignments made)... 37.65 c Sol. found (all assignments made)... 37.65 c Sol. found (all assignments made)... 37.65 c Sol. found (all assignments made)... 37.65 c Sol. found (all assignments made)... 37.66 c Sol. found (all assignments made)... 37.66 c Sol. found (all assignments made)... 37.66 c Sol. found (all assignments made)... 37.66 c Sol. found (all assignments made)... 37.67 c Sol. found (all assignments made)... 37.67 c Sol. found (all assignments made)... 37.67 c Sol. found (all assignments made)... 37.67 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 37.69 c Sol. found (all assignments made)... 37.69 c Sol. found (all assignments made)... 37.69 c Sol. found (all assignments made)... 37.69 c Sol. found (all assignments made)... 37.69 c Sol. found (all assignments made)... 37.72 c Sol. found (all assignments made)... 37.72 c Sol. found (all assignments made)... 37.73 c Sol. found (all assignments made)... 37.73 c Sol. found (all assignments made)... 37.73 c Sol. found (all assignments made)... 37.74 c Sol. found (all assignments made)... 37.74 c Sol. found (all assignments made)... 37.75 c Sol. found (all assignments made)... 37.75 c Sol. found (all assignments made)... 37.75 c Sol. found (all assignments made)... 37.76 c Sol. found (all assignments made)... 37.76 c Sol. found (all assignments made)... 37.76 c Sol. found (all assignments made)... 37.77 c Sol. found (all assignments made)... 37.78 c Sol. found (all assignments made)... 37.78 c Sol. found (all assignments made)... 37.78 c Sol. found (all assignments made)... 37.79 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.81 c Sol. found (all assignments made)... 37.81 c Sol. found (all assignments made)... 37.81 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.83 c Sol. found (all assignments made)... 37.83 c Sol. found (all assignments made)... 37.84 c Sol. found (all assignments made)... 37.84 c Sol. found (all assignments made)... 37.85 c Sol. found (all assignments made)... 37.86 c Sol. found (all assignments made)... 37.86 c Sol. found (all assignments made)... 37.87 c Sol. found (all assignments made)... 37.87 c Sol. found (all assignments made)... 37.88 c Sol. found (all assignments made)... 37.88 c Sol. found (all assignments made)... 37.88 c Sol. found (all assignments made)... 37.88 c Sol. found (all assignments made)... 37.89 c Sol. found (all assignments made)... 37.89 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.91 c Sol. found (all assignments made)... 37.91 c Sol. found (all assignments made)... 37.91 c Sol. found (all assignments made)... 37.92 c Sol. found (all assignments made)... 37.92 c Sol. found (all assignments made)... 37.92 c Sol. found (all assignments made)... 37.92 c Sol. found (all assignments made)... 37.93 c Sol. found (all assignments made)... 37.93 c Sol. found (all assignments made)... 37.94 c Sol. found (all assignments made)... 37.94 c Sol. found (all assignments made)... 37.94 c Sol. found (all assignments made)... 37.95 c Sol. found (all assignments made)... 37.95 c Sol. found (all assignments made)... 37.95 c Sol. found (all assignments made)... 37.96 c Sol. found (all assignments made)... 37.97 c Sol. found (all assignments made)... 37.97 c Sol. found (all assignments made)... 37.97 c Sol. found (all assignments made)... 37.98 c Sol. found (all assignments made)... 37.98 c Sol. found (all assignments made)... 37.98 c Sol. found (all assignments made)... 37.99 c Sol. found (all assignments made)... 37.99 c Sol. found (all assignments made)... 37.99 c Sol. found (all assignments made)... 38.00 c Sol. found (all assignments made)... 38.00 c Sol. found (all assignments made)... 38.00 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.02 c Sol. found (all assignments made)... 38.02 c Sol. found (all assignments made)... 38.02 c Sol. found (all assignments made)... 38.03 c Sol. found (all assignments made)... 38.03 c Sol. found (all assignments made)... 38.03 c Sol. found (all assignments made)... 38.04 c Sol. found (all assignments made)... 38.04 c Sol. found (all assignments made)... 38.04 c Sol. found (all assignments made)... 38.16 c Sol. found (all assignments made)... 38.16 c Sol. found (all assignments made)... 38.26 c Sol. found (all assignments made)... 38.26 c Sol. found (all assignments made)... 177.31 c CHANGE to MIS mode... UB: -45 MIS: -1534 LPR: -736 (13.835) Diff: 2.0842 177.31 c Restart #0 #Var: 1534 LB: -1534 @ 176.88 177.97 c Restart #1 #Var: 1534 LB: -1534 @ 177.54 178.74 c Restart #2 #Var: 1534 LB: -1534 @ 178.3 179.61 c Restart #3 #Var: 1534 LB: -1534 @ 179.17 180.66 c Restart #4 #Var: 1534 LB: -1534 @ 180.22 181.82 c Restart #5 #Var: 1534 LB: -1534 @ 181.38 183.04 c Restart #6 #Var: 1534 LB: -1534 @ 182.61 184.39 c Restart #7 #Var: 1534 LB: -1534 @ 183.96 185.90 c Restart #8 #Var: 1534 LB: -1534 @ 185.46 186.78 c Sol. found (all assignments made)... 186.79 c Sol. found (all assignments made)... 186.79 c Sol. found (all assignments made)... 186.80 c Sol. found (all assignments made)... 186.80 c Sol. found (all assignments made)... 186.80 c Sol. found (all assignments made)... 186.81 c Sol. found (all assignments made)... 186.82 c Sol. found (all assignments made)... 186.82 c Sol. found (all assignments made)... 186.82 c Sol. found (all assignments made)... 186.83 c Sol. found (all assignments made)... 186.83 c Sol. found (all assignments made)... 186.85 c Sol. found (all assignments made)... 186.85 c Sol. found (all assignments made)... 186.86 c Sol. found (all assignments made)... 186.86 c Sol. found (all assignments made)... 186.86 c Sol. found (all assignments made)... 186.87 c Sol. found (all assignments made)... 186.94 c Sol. found (all assignments made)... 186.94 c Sol. found (all assignments made)... 186.95 c Sol. found (all assignments made)... 186.95 c Sol. found (all assignments made)... 186.96 c Sol. found (all assignments made)... 186.96 c Sol. found (all assignments made)... 186.98 c Sol. found (all assignments made)... 186.99 c Sol. found (all assignments made)... 186.99 c Sol. found (all assignments made)... 187.00 c Sol. found (all assignments made)... 187.00 c Sol. found (all assignments made)... 187.00 c Sol. found (all assignments made)... 187.01 c Sol. found (all assignments made)... 187.01 c Sol. found (all assignments made)... 187.01 c Sol. found (all assignments made)... 187.02 c Sol. found (all assignments made)... 187.02 c Sol. found (all assignments made)... 187.03 c Sol. found (all assignments made)... 187.50 c Restart #9 #Var: 1534 LB: -1534 @ 187.06 189.26 c Restart #10 #Var: 1534 LB: -1534 @ 188.82 191.16 c Restart #11 #Var: 1534 LB: -1534 @ 190.72 193.17 c Restart #12 #Var: 1534 LB: -1534 @ 192.73 195.31 c Restart #13 #Var: 1534 LB: -1534 @ 194.87 197.58 c Restart #14 #Var: 1534 LB: -1534 @ 197.13 200.04 c Restart #15 #Var: 1534 LB: -1534 @ 199.59 202.59 c Restart #16 #Var: 1534 LB: -1534 @ 202.15 205.24 c Restart #17 #Var: 1534 LB: -1534 @ 204.79 207.99 c Restart #18 #Var: 1534 LB: -1534 @ 207.54 210.88 c Restart #19 #Var: 1534 LB: -1534 @ 210.43 211.45 c Sol. found (all assignments made)... 211.45 c Sol. found (all assignments made)... 211.45 c Sol. found (all assignments made)... 211.46 c Sol. found (all assignments made)... 211.46 c Sol. found (all assignments made)... 211.46 c Sol. found (all assignments made)... 211.47 c Sol. found (all assignments made)... 211.47 c Sol. found (all assignments made)... 211.47 c Sol. found (all assignments made)... 211.48 c Sol. found (all assignments made)... 211.48 c Sol. found (all assignments made)... 211.49 c Sol. found (all assignments made)... 211.85 c Sol. found (all assignments made)... 211.86 c Sol. found (all assignments made)... 211.86 c Sol. found (all assignments made)... 211.86 c Sol. found (all assignments made)... 211.98 c Sol. found (all assignments made)... 211.98 c Sol. found (all assignments made)... 211.98 c Sol. found (all assignments made)... 211.99 c Sol. found (all assignments made)... 212.05 c Sol. found (all assignments made)... 212.06 c Sol. found (all assignments made)... 212.36 c Sol. found (all assignments made)... 212.37 c Sol. found (all assignments made)... 212.40 c Sol. found (all assignments made)... 212.41 c Sol. found (all assignments made)... 213.87 c Restart #20 #Var: 1534 LB: -1534 @ 213.42 217.16 c Restart #21 #Var: 1534 LB: -772 @ 216.71 220.55 c Restart #22 #Var: 1534 LB: -1534 @ 220.1 223.92 c Restart #23 #Var: 1534 LB: -1534 @ 223.47 227.40 c Restart #24 #Var: 1534 LB: -1534 @ 226.95 227.94 c Sol. found (all assignments made)... 227.94 o -46 227.94 c NEW SOLUTION FOUND: -46 @ 227.49 227.95 c Sol. found (all assignments made)... 228.91 c Sol. found (all assignments made)... 228.91 o -47 228.91 c NEW SOLUTION FOUND: -47 @ 228.46 228.91 c Sol. found (all assignments made)... 232.05 c Restart #25 #Var: 1534 LB: -1534 @ 231.6 235.84 c Restart #26 #Var: 1534 LB: -1534 @ 235.39 239.81 c Restart #27 #Var: 1534 LB: -1534 @ 239.36 243.89 c Restart #28 #Var: 1534 LB: -1534 @ 243.44 248.10 c Restart #29 #Var: 1534 LB: -1534 @ 247.64 252.46 c Restart #30 #Var: 1534 LB: -1534 @ 252 256.97 c Restart #31 #Var: 1534 LB: -1534 @ 256.51 261.52 c Restart #32 #Var: 1534 LB: -1534 @ 261.06 266.29 c Restart #33 #Var: 1534 LB: -1534 @ 265.83 268.58 c Sol. found (all assignments made)... 268.62 c Sol. found (all assignments made)... 269.88 c Sol. found (all assignments made)... 270.93 c Sol. found (all assignments made)... 271.23 c Restart #34 #Var: 1534 LB: -1534 @ 270.76 276.33 c Restart #35 #Var: 1534 LB: -1534 @ 275.87 281.26 c Sol. found (all assignments made)... 281.37 c Restart #36 #Var: 1534 LB: -1534 @ 280.91 286.51 c Restart #37 #Var: 1534 LB: -1534 @ 286.04 291.67 c Restart #38 #Var: 1534 LB: -1534 @ 291.2 297.17 c Restart #39 #Var: 1534 LB: -1534 @ 296.7 302.82 c Restart #40 #Var: 1534 LB: -1534 @ 302.35 308.56 c Restart #41 #Var: 1534 LB: -1534 @ 308.09 314.34 c Restart #42 #Var: 1534 LB: -1534 @ 313.86 317.72 c Sol. found (all assignments made)... 318.50 c Sol. found (all assignments made)... 318.50 c Sol. found (all assignments made)... 318.50 c Sol. found (all assignments made)... 318.51 c Sol. found (all assignments made)... 318.51 c Sol. found (all assignments made)... 318.51 c Sol. found (all assignments made)... 318.52 c Sol. found (all assignments made)... 318.53 c Sol. found (all assignments made)... 318.54 c Sol. found (all assignments made)... 318.55 c Sol. found (all assignments made)... 318.56 c Sol. found (all assignments made)... 318.76 c Sol. found (all assignments made)... 318.77 c Sol. found (all assignments made)... 318.81 c Sol. found (all assignments made)... 318.81 c Sol. found (all assignments made)... 318.82 c Sol. found (all assignments made)... 318.83 c Sol. found (all assignments made)... 318.83 c Sol. found (all assignments made)... 318.84 c Sol. found (all assignments made)... 318.84 c Sol. found (all assignments made)... 318.84 c Sol. found (all assignments made)... 318.84 c Sol. found (all assignments made)... 318.85 c Sol. found (all assignments made)... 318.86 c Sol. found (all assignments made)... 318.87 c Sol. found (all assignments made)... 318.88 c Sol. found (all assignments made)... 318.93 c Sol. found (all assignments made)... 319.10 c Sol. found (all assignments made)... 319.11 c Sol. found (all assignments made)... 319.11 c Sol. found (all assignments made)... 319.12 c Sol. found (all assignments made)... 319.12 c Sol. found (all assignments made)... 319.13 c Sol. found (all assignments made)... 319.16 c Sol. found (all assignments made)... 319.16 c Sol. found (all assignments made)... 319.17 c Sol. found (all assignments made)... 319.17 c Sol. found (all assignments made)... 319.17 c Sol. found (all assignments made)... 319.18 c Sol. found (all assignments made)... 319.18 c Sol. found (all assignments made)... 319.18 c Sol. found (all assignments made)... 319.19 c Sol. found (all assignments made)... 319.19 c Sol. found (all assignments made)... 319.19 c Sol. found (all assignments made)... 319.20 c Sol. found (all assignments made)... 319.23 c Sol. found (all assignments made)... 319.24 c Sol. found (all assignments made)... 319.25 c Sol. found (all assignments made)... 319.25 c Sol. found (all assignments made)... 319.31 c Sol. found (all assignments made)... 319.32 c Sol. found (all assignments made)... 319.32 c Sol. found (all assignments made)... 319.32 c Sol. found (all assignments made)... 319.33 c Sol. found (all assignments made)... 319.34 c Sol. found (all assignments made)... 319.34 c Sol. found (all assignments made)... 319.34 c Sol. found (all assignments made)... 319.38 c Sol. found (all assignments made)... 319.39 c Sol. found (all assignments made)... 319.47 c Sol. found (all assignments made)... 319.47 c Sol. found (all assignments made)... 319.48 c Sol. found (all assignments made)... 319.48 c Sol. found (all assignments made)... 319.49 c Sol. found (all assignments made)... 319.49 c Sol. found (all assignments made)... 319.50 c Sol. found (all assignments made)... 319.51 c Sol. found (all assignments made)... 319.56 c Sol. found (all assignments made)... 319.56 c Sol. found (all assignments made)... 319.66 c Sol. found (all assignments made)... 319.67 c Sol. found (all assignments made)... 319.68 c Sol. found (all assignments made)... 319.73 c Sol. found (all assignments made)... 319.73 c Sol. found (all assignments made)... 319.75 c Sol. found (all assignments made)... 319.75 c Sol. found (all assignments made)... 319.76 c Sol. found (all assignments made)... 319.76 c Sol. found (all assignments made)... 319.78 c Sol. found (all assignments made)... 319.78 c Sol. found (all assignments made)... 319.80 c Sol. found (all assignments made)... 319.81 c Sol. found (all assignments made)... 319.81 c Sol. found (all assignments made)... 319.81 c Sol. found (all assignments made)... 319.82 c Sol. found (all assignments made)... 319.83 c Sol. found (all assignments made)... 319.83 c Sol. found (all assignments made)... 319.83 c Sol. found (all assignments made)... 319.85 c Sol. found (all assignments made)... 319.85 c Sol. found (all assignments made)... 319.86 c Sol. found (all assignments made)... 319.86 c Sol. found (all assignments made)... 319.87 c Sol. found (all assignments made)... 319.87 c Sol. found (all assignments made)... 319.87 c Sol. found (all assignments made)... 319.88 c Sol. found (all assignments made)... 319.89 c Sol. found (all assignments made)... 319.89 c Sol. found (all assignments made)... 319.90 c Sol. found (all assignments made)... 319.90 c Sol. found (all assignments made)... 320.38 c Restart #43 #Var: 1534 LB: -1534 @ 319.9 326.52 c Restart #44 #Var: 1534 LB: -1534 @ 326.03 332.70 c Restart #45 #Var: 1534 LB: -1534 @ 332.21 339.16 c Restart #46 #Var: 1534 LB: -1534 @ 338.67 345.84 c Restart #47 #Var: 1534 LB: -1534 @ 345.35 352.48 c Restart #48 #Var: 1534 LB: -1534 @ 351.99 359.20 c Restart #49 #Var: 1534 LB: -1534 @ 358.71 366.04 c Restart #50 #Var: 1534 LB: -1534 @ 365.54 372.93 c Restart #51 #Var: 1534 LB: -1534 @ 372.43 374.90 c Sol. found (all assignments made)... 374.90 o -48 374.90 c NEW SOLUTION FOUND: -48 @ 374.4 374.90 c Sol. found (all assignments made)... 381.63 c Restart #52 #Var: 1534 LB: -1534 @ 381.13 388.84 c Restart #53 #Var: 1534 LB: -1534 @ 388.34 396.34 c Restart #54 #Var: 1534 LB: -1534 @ 395.84 403.83 c Restart #55 #Var: 1534 LB: -1534 @ 403.33 411.50 c Restart #56 #Var: 1534 LB: -1534 @ 410.99 419.27 c Restart #57 #Var: 1534 LB: -1534 @ 418.76 427.18 c Restart #58 #Var: 1534 LB: -1534 @ 426.67 435.12 c Restart #59 #Var: 1534 LB: -1534 @ 434.6 443.54 c Restart #60 #Var: 1534 LB: -1534 @ 443.03 451.68 c Restart #61 #Var: 1534 LB: -1534 @ 451.16 460.23 c Restart #62 #Var: 1534 LB: -1534 @ 459.7 468.82 c Restart #63 #Var: 1534 LB: -1534 @ 468.29 477.71 c Restart #64 #Var: 1534 LB: -1534 @ 477.18 486.55 c Restart #65 #Var: 1534 LB: -1534 @ 486.02 495.28 c Restart #66 #Var: 1534 LB: -1534 @ 494.74 504.36 c Restart #67 #Var: 1534 LB: -1534 @ 503.83 513.53 c Restart #68 #Var: 1534 LB: -1534 @ 512.99 523.13 c Restart #69 #Var: 1534 LB: -1534 @ 522.59 532.42 c Restart #70 #Var: 1534 LB: -1534 @ 531.88 541.93 c Restart #71 #Var: 1534 LB: -1534 @ 541.39 551.58 c Restart #72 #Var: 1534 LB: -1534 @ 551.03 561.31 c Restart #73 #Var: 1534 LB: -1534 @ 560.76 571.41 c Restart #74 #Var: 1534 LB: -1534 @ 570.86 581.63 c Restart #75 #Var: 1534 LB: -1534 @ 581.07 591.88 c Restart #76 #Var: 1534 LB: -1534 @ 591.32 602.38 c Restart #77 #Var: 1534 LB: -1534 @ 601.82 612.93 c Restart #78 #Var: 1534 LB: -1534 @ 612.36 623.57 c Restart #79 #Var: 1534 LB: -1534 @ 623 634.37 c Restart #80 #Var: 1534 LB: -1534 @ 633.79 645.04 c Restart #81 #Var: 1534 LB: -1534 @ 644.46 655.96 c Restart #82 #Var: 1534 LB: -1534 @ 655.38 667.14 c Restart #83 #Var: 1534 LB: -1534 @ 666.56 678.52 c Restart #84 #Var: 1534 LB: -1534 @ 677.93 690.18 c Restart #85 #Var: 1534 LB: -1534 @ 689.59 701.56 c Restart #86 #Var: 1534 LB: -1534 @ 700.96 713.12 c Restart #87 #Var: 1534 LB: -1534 @ 712.52 724.85 c Restart #88 #Var: 1534 LB: -1534 @ 724.25 737.00 c Restart #89 #Var: 1534 LB: -1534 @ 736.39 748.88 c Restart #90 #Var: 1534 LB: -1534 @ 748.27 761.26 c Restart #91 #Var: 1534 LB: -774 @ 760.64 773.41 c Restart #92 #Var: 1534 LB: -1534 @ 772.79 786.17 c Restart #93 #Var: 1534 LB: -1534 @ 785.55 798.48 c Restart #94 #Var: 1534 LB: -1534 @ 797.86 811.02 c Restart #95 #Var: 1534 LB: -1534 @ 810.39 823.98 c Restart #96 #Var: 1534 LB: -1534 @ 823.35 836.89 c Restart #97 #Var: 1534 LB: -1534 @ 836.26 849.92 c Restart #98 #Var: 1534 LB: -1534 @ 849.28 863.27 c Restart #99 #Var: 1534 LB: -1534 @ 862.63 876.46 c Restart #100 #Var: 1534 LB: -1534 @ 875.81 890.36 c Restart #101 #Var: 1534 LB: -1534 @ 889.71 903.79 c Restart #102 #Var: 1534 LB: -1534 @ 903.14 917.42 c Restart #103 #Var: 1534 LB: -1534 @ 916.77 931.26 c Restart #104 #Var: 1534 LB: -1534 @ 930.6 945.34 c Restart #105 #Var: 1534 LB: -1534 @ 944.67 959.35 c Restart #106 #Var: 1534 LB: -1534 @ 958.68 973.42 c Restart #107 #Var: 1534 LB: -1534 @ 972.74 987.88 c Restart #108 #Var: 1534 LB: -1534 @ 987.2 1002.39 c Restart #109 #Var: 1534 LB: -1534 @ 1001.7 1016.87 c Restart #110 #Var: 1534 LB: -1534 @ 1016.2 1031.80 c Restart #111 #Var: 1534 LB: -1534 @ 1031.1 1046.38 c Restart #112 #Var: 1534 LB: -1534 @ 1045.7 1061.50 c Restart #113 #Var: 1534 LB: -1534 @ 1060.8 1076.64 c Restart #114 #Var: 1534 LB: -1534 @ 1075.9 1092.01 c Restart #115 #Var: 1534 LB: -1534 @ 1091.3 1108.01 c Restart #116 #Var: 1534 LB: -1534 @ 1107.3 1123.74 c Restart #117 #Var: 1534 LB: -1534 @ 1123 1139.78 c Restart #118 #Var: 1534 LB: -1534 @ 1139.1 1155.15 c Restart #119 #Var: 1534 LB: -1534 @ 1154.4 1170.83 c Restart #120 #Var: 1534 LB: -1534 @ 1170.1 1187.17 c Restart #121 #Var: 1534 LB: -1534 @ 1186.4 1203.20 c Restart #122 #Var: 1534 LB: -1534 @ 1202.5 1220.02 c Restart #123 #Var: 1534 LB: -1534 @ 1219.3 1236.36 c Restart #124 #Var: 1534 LB: -1534 @ 1235.6 1253.16 c Restart #125 #Var: 1534 LB: -1534 @ 1252.4 1269.69 c Restart #126 #Var: 1534 LB: -1534 @ 1268.9 1286.47 c Restart #127 #Var: 1534 LB: -1534 @ 1285.7 1303.12 c Restart #128 #Var: 1534 LB: -1534 @ 1302.3 1319.94 c Restart #129 #Var: 1534 LB: -1534 @ 1319.2 1337.27 c Restart #130 #Var: 1534 LB: -1534 @ 1336.5 1354.63 c Restart #131 #Var: 1534 LB: -1534 @ 1353.8 1371.63 c Restart #132 #Var: 1534 LB: -1534 @ 1370.8 1389.30 c Restart #133 #Var: 1534 LB: -1534 @ 1388.5 1406.95 c Restart #134 #Var: 1534 LB: -1534 @ 1406.1 1424.61 c Restart #135 #Var: 1534 LB: -1534 @ 1423.8 1442.63 c Restart #136 #Var: 1534 LB: -1534 @ 1441.8 1460.91 c Restart #137 #Var: 1534 LB: -1534 @ 1460.1 1478.80 c Restart #138 #Var: 1534 LB: -1534 @ 1478 1497.08 c Restart #139 #Var: 1534 LB: -1534 @ 1496.3 1515.49 c Restart #140 #Var: 1534 LB: -1534 @ 1514.7 1533.82 c Restart #141 #Var: 1534 LB: -1534 @ 1533 1552.69 c Restart #142 #Var: 1534 LB: -1534 @ 1551.8 1571.37 c Restart #143 #Var: 1534 LB: -1534 @ 1570.5 1590.14 c Restart #144 #Var: 1534 LB: -1534 @ 1589.3 1609.41 c Restart #145 #Var: 1534 LB: -1534 @ 1608.6 1628.77 c Restart #146 #Var: 1534 LB: -1534 @ 1627.9 1647.91 c Restart #147 #Var: 1534 LB: -1534 @ 1647 1667.09 c Restart #148 #Var: 1534 LB: -1534 @ 1666.2 1680.71 c Sol. found (all assignments made)... 1680.71 c Sol. found (all assignments made)... 1680.72 c Sol. found (all assignments made)... 1680.72 c Sol. found (all assignments made)... 1680.73 c Sol. found (all assignments made)... 1680.73 c Sol. found (all assignments made)... 1685.82 c Restart #149 #Var: 1534 LB: -1534 @ 1684.9 1705.82 c Restart #150 #Var: 1534 LB: -1534 @ 1704.9 1725.97 c Restart #151 #Var: 1534 LB: -1534 @ 1725.1 1745.87 c Restart #152 #Var: 1534 LB: -1534 @ 1745 1765.92 c Restart #153 #Var: 1534 LB: -1534 @ 1765 1786.03 c Restart #154 #Var: 1534 LB: -1534 @ 1785.1 1800.92 s SATISFIABLE 1800.92 c Cost: -48 1800.92 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.92 v -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1800.92 v -x1500 -x1499 x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1800.92 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 1800.92 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 1800.92 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1800.92 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 1800.92 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1800.92 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1800.92 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1800.92 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 1800.92 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1800.92 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1800.92 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1800.92 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1800.92 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1800.92 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1800.92 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1800.92 v x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1800.92 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 x1197 x1196 -x1195 -x1194 1800.92 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 1800.92 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 1800.92 v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 1800.92 v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 1800.92 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 1800.92 v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 1800.92 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 1800.92 v -x1073 -x1072 -x1071 -x1070 x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 1800.92 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 1800.92 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 1800.92 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 1800.92 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 1800.92 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 1800.92 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 1800.92 v -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 1800.92 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903 1800.92 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 1800.92 v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 1800.92 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 1800.92 v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 1800.92 v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 1800.92 v -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 1800.92 v -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 1800.92 v -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 1800.92 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 1800.92 v -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 1800.92 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 1800.92 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 1800.92 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 1800.92 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 1800.92 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 1800.92 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 1800.92 v -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 1800.92 v -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 1800.92 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 1800.92 v -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 1800.92 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 1800.92 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 1800.92 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 1800.92 v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 1800.92 v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 1800.92 v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 1800.92 v -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 1800.92 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 1800.92 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 1800.92 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 1800.92 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 1800.92 v -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 1800.92 v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 1800.92 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 1800.92 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 1800.92 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 1800.92 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 1800.92 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 1800.92 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 1800.92 v 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 -x55 1800.92 v -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 -x29 1800.92 v -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 -x1 1800.92 c Exit Code: 10 1800.92 c Total time: 1800 s
OK -48
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/node90/watcher-40515-1149300082 -o ROOT/results/node90/solver-40515-1149300082 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40515-1149300082/instance-40515-1149300082.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/67 19826 /proc/meminfo: memFree=1574408/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=4672 CPUtime=0 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 154 0 0 0 0 0 0 0 19 0 1 0 195647200 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12389684 0 0 4096 0 0 0 0 17 1 0 0 /proc/19826/statm: 1168 135 105 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.95 0.90 2/67 19826 /proc/meminfo: memFree=1515544/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=63272 CPUtime=9.97 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 15054 0 0 0 990 7 0 0 25 0 1 0 195647200 64790528 14970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 15818 14970 284 55 0 14709 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 63272 [startup+20.009 s] /proc/loadavg: 0.94 0.96 0.91 2/67 19826 /proc/meminfo: memFree=1512856/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=66232 CPUtime=19.98 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 15794 0 0 0 1990 8 0 0 25 0 1 0 195647200 67821568 15710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 16558 15710 284 55 0 15449 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 66232 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.91 2/67 19826 /proc/meminfo: memFree=1511512/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=67448 CPUtime=29.95 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 16396 0 0 0 2986 9 0 0 25 0 1 0 195647200 69066752 16020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 16862 16020 294 55 0 15753 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 67448 [startup+40.0201 s] /proc/loadavg: 0.95 0.96 0.91 4/75 20212 /proc/meminfo: memFree=1502960/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=74436 CPUtime=39.68 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 17992 0 0 0 3957 11 0 0 25 0 1 0 195647200 76222464 17571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 18609 17571 305 55 0 17500 0 Current children cumulated CPU time (s) 39.68 Current children cumulated vsize (Kb) 74436 [startup+50.0272 s] /proc/loadavg: 1.12 0.99 0.92 2/72 20263 /proc/meminfo: memFree=1475424/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=76752 CPUtime=49.65 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 18694 0 0 0 4952 13 0 0 25 0 1 0 195647200 78594048 18183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 19188 18183 305 55 0 18079 0 Current children cumulated CPU time (s) 49.65 Current children cumulated vsize (Kb) 76752 [startup+60.0333 s] /proc/loadavg: 1.17 1.01 0.92 2/67 20318 /proc/meminfo: memFree=1462672/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=77824 CPUtime=59.62 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19009 0 0 0 5946 16 0 0 25 0 1 0 195647200 79691776 18470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535981 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19826/statm: 19456 18470 305 55 0 18347 0 Current children cumulated CPU time (s) 59.62 Current children cumulated vsize (Kb) 77824 [startup+70.0394 s] /proc/loadavg: 1.14 1.01 0.92 2/67 20318 /proc/meminfo: memFree=1461912/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=78728 CPUtime=69.62 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19248 0 0 0 6941 21 0 0 25 0 1 0 195647200 80617472 18709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 19682 18709 305 55 0 18573 0 Current children cumulated CPU time (s) 69.62 Current children cumulated vsize (Kb) 78728 [startup+80.0465 s] /proc/loadavg: 1.12 1.01 0.92 2/67 20318 /proc/meminfo: memFree=1460952/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=79672 CPUtime=79.63 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19494 0 0 0 7940 23 0 0 25 0 1 0 195647200 81584128 18955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 19918 18955 305 55 0 18809 0 Current children cumulated CPU time (s) 79.63 Current children cumulated vsize (Kb) 79672 [startup+90.0526 s] /proc/loadavg: 1.10 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1460824/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=79864 CPUtime=89.63 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19550 0 0 0 8938 25 0 0 25 0 1 0 195647200 81780736 19011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 19966 19011 305 55 0 18857 0 Current children cumulated CPU time (s) 89.63 Current children cumulated vsize (Kb) 79864 [startup+100.059 s] /proc/loadavg: 1.09 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1459800/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=80888 CPUtime=99.64 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19813 0 0 0 9936 28 0 0 25 0 1 0 195647200 82829312 19274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 20222 19274 305 55 0 19113 0 Current children cumulated CPU time (s) 99.64 Current children cumulated vsize (Kb) 80888 [startup+110.065 s] /proc/loadavg: 1.07 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1459736/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=81036 CPUtime=109.64 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19856 0 0 0 10934 30 0 0 25 0 1 0 195647200 82980864 19317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 20259 19317 305 55 0 19150 0 Current children cumulated CPU time (s) 109.64 Current children cumulated vsize (Kb) 81036 [startup+120.071 s] /proc/loadavg: 1.06 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1459544/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=81176 CPUtime=119.64 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 19897 0 0 0 11933 31 0 0 25 0 1 0 195647200 83124224 19358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 20294 19358 305 55 0 19185 0 Current children cumulated CPU time (s) 119.64 Current children cumulated vsize (Kb) 81176 [startup+130.077 s] /proc/loadavg: 1.05 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1458392/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=82340 CPUtime=129.64 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 20193 0 0 0 12932 32 0 0 25 0 1 0 195647200 84316160 19654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 20585 19654 305 55 0 19476 0 Current children cumulated CPU time (s) 129.64 Current children cumulated vsize (Kb) 82340 [startup+140.083 s] /proc/loadavg: 1.04 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1413656/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=165944 CPUtime=139.65 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 36326 0 0 0 13926 39 0 0 25 0 1 0 195647200 169926656 30902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 41486 30902 410 55 0 40377 0 Current children cumulated CPU time (s) 139.65 Current children cumulated vsize (Kb) 165944 [startup+150.089 s] /proc/loadavg: 1.04 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1412760/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=164956 CPUtime=149.65 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 36599 0 0 0 14926 39 0 0 25 0 1 0 195647200 168914944 31147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 41239 31147 411 55 0 40130 0 Current children cumulated CPU time (s) 149.65 Current children cumulated vsize (Kb) 164956 [startup+160.095 s] /proc/loadavg: 1.03 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1435096/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=114436 CPUtime=159.66 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 146727 0 0 0 15881 85 0 0 25 0 1 0 195647200 117182464 25534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 28609 25534 432 55 0 27500 0 Current children cumulated CPU time (s) 159.66 Current children cumulated vsize (Kb) 114436 [startup+170.101 s] /proc/loadavg: 1.02 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1399960/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=181180 CPUtime=169.65 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 278175 0 0 0 16827 138 0 0 25 0 1 0 195647200 185528320 34377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 45295 34377 433 55 0 44186 0 Current children cumulated CPU time (s) 169.65 Current children cumulated vsize (Kb) 181180 [startup+180.107 s] /proc/loadavg: 1.02 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1438680/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=103088 CPUtime=179.66 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 414620 0 0 0 17770 196 0 0 25 0 1 0 195647200 105562112 24694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 25772 24694 433 55 0 24663 0 Current children cumulated CPU time (s) 179.66 Current children cumulated vsize (Kb) 103088 [startup+190.113 s] /proc/loadavg: 1.02 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1438168/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=103516 CPUtime=189.66 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 414816 0 0 0 18769 197 0 0 25 0 1 0 195647200 106000384 24798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12854060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 25879 24798 433 55 0 24770 0 Current children cumulated CPU time (s) 189.66 Current children cumulated vsize (Kb) 103516 [startup+200.12 s] /proc/loadavg: 1.01 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1437976/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=103756 CPUtime=199.67 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 414923 0 0 0 19769 198 0 0 25 0 1 0 195647200 106246144 24854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 25939 24854 433 55 0 24830 0 Current children cumulated CPU time (s) 199.67 Current children cumulated vsize (Kb) 103756 [startup+210.125 s] /proc/loadavg: 1.01 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1437784/2055888 swapFree=4085308/4096564 ################ # More data... # ################ /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1760.12 Current children cumulated vsize (Kb) 105196 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1770.12 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 176705 307 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1770.12 Current children cumulated vsize (Kb) 105196 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1780.12 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 177705 307 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1780.12 Current children cumulated vsize (Kb) 105196 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1781.13 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 177805 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1781.13 Current children cumulated vsize (Kb) 105196 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1782.13 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 177905 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1782.13 Current children cumulated vsize (Kb) 105196 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1783.14 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178006 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1783.14 Current children cumulated vsize (Kb) 105196 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1784.14 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178106 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1784.14 Current children cumulated vsize (Kb) 105196 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1785.15 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178207 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (Kb) 105196 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1786.15 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178307 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1786.15 Current children cumulated vsize (Kb) 105196 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1787.15 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178407 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12854407 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1787.15 Current children cumulated vsize (Kb) 105196 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1788.16 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178508 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1788.16 Current children cumulated vsize (Kb) 105196 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1789.16 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178608 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12853164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1789.16 Current children cumulated vsize (Kb) 105196 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1790.17 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178709 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1790.17 Current children cumulated vsize (Kb) 105196 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1791.17 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178809 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (Kb) 105196 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436312/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105196 CPUtime=1792.18 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419609 0 0 0 178910 308 0 0 25 0 1 0 195647200 107720704 25227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12853628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26299 25227 433 55 0 25190 0 Current children cumulated CPU time (s) 1792.18 Current children cumulated vsize (Kb) 105196 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1793.18 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419618 0 0 0 179010 308 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1793.18 Current children cumulated vsize (Kb) 105216 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1794.18 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419618 0 0 0 179110 308 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12853221 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1794.18 Current children cumulated vsize (Kb) 105216 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105348 CPUtime=1795.18 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419622 0 0 0 179210 308 0 0 25 0 1 0 195647200 107876352 25236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26337 25236 433 55 0 25228 0 Current children cumulated CPU time (s) 1795.18 Current children cumulated vsize (Kb) 105348 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1796.2 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419622 0 0 0 179311 309 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (Kb) 105216 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1797.2 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419622 0 0 0 179411 309 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (Kb) 105216 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436248/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1798.21 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419622 0 0 0 179512 309 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1798.21 Current children cumulated vsize (Kb) 105216 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 0.92 2/67 20318 /proc/meminfo: memFree=1436120/2055888 swapFree=4085308/4096564 [pid=19826] ppid=19824 vsize=105216 CPUtime=1799.21 /proc/19826/stat : 19826 (bsolo) R 19824 19826 19780 0 -1 0 419653 0 0 0 179612 309 0 0 25 0 1 0 195647200 107741184 25232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19826/statm: 26304 25232 433 55 0 25195 0 Current children cumulated CPU time (s) 1799.21 Current children cumulated vsize (Kb) 105216 Child status: 10 Real time (s): 1800.94 CPU time (s): 1800.02 CPU user time (s): 1796.91 CPU system time (s): 3.10853 CPU usage (%): 99.9487 Max. virtual memory (cumulated for all children) (Kb): 181180
Begin job on node90 on Sat Jun 3 02:01:22 UTC 2006 FILE ID= 40515-1149300082 PBS_JOBID= 307301 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-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40515-1149300082/instance-40515-1149300082.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-40515-1149300082 -o ROOT/results/node90/solver-40515-1149300082 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40515-1149300082/instance-40515-1149300082.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 516819523 /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1574616 kB Buffers: 31064 kB Cached: 382732 kB SwapCached: 2568 kB Active: 47396 kB Inactive: 375152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1574616 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 192 kB Writeback: 0 kB Mapped: 16060 kB Slab: 45476 kB Committed_AS: 332676 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 02:31:23 UTC 2006