Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 7 | 1800.16 | 1800.68 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb |
| MD5SUM | 9a8d1e3e59dfd2cd811494ddb4a3c92a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 1800.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 230 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 43691 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 524412 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261310 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524412 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 230 variables and 12 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.007 0.02 c After prepocess the problem consists of 176 variables and 12 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 176 LB: 0 @ 0.023 0.07 c Restart #2 #Var: 176 LB: 0 @ 0.06 0.12 c Restart #3 #Var: 176 LB: 0 @ 0.112 0.21 c Restart #4 #Var: 176 LB: 0 @ 0.198 0.31 c Restart #5 #Var: 176 LB: 0 @ 0.299 0.42 c Restart #6 #Var: 176 LB: 0 @ 0.412 0.53 c Restart #7 #Var: 176 LB: 0 @ 0.513 0.53 c Sol. found (all assignments made)... 0.53 o 96 0.53 c NEW SOLUTION FOUND: 96 @ 0.514 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Restart #8 #Var: 176 LB: 0 @ 0.618 0.63 c Sol. found (all assignments made)... 0.63 o 52 0.63 c NEW SOLUTION FOUND: 52 @ 0.62 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.71 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Restart #9 #Var: 176 LB: 0 @ 0.706 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.77 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.80 c Restart #10 #Var: 176 LB: 0 @ 0.789 0.81 c Sol. found (all assignments made)... 0.81 o 48 0.81 c NEW SOLUTION FOUND: 48 @ 0.797 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 o 47 0.81 c NEW SOLUTION FOUND: 47 @ 0.797 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 o 45 0.81 c NEW SOLUTION FOUND: 45 @ 0.799 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.93 c Restart #11 #Var: 176 LB: 0 @ 0.918 0.94 c Sol. found (all assignments made)... 0.94 o 22 0.94 c NEW SOLUTION FOUND: 22 @ 0.926 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 o 21 0.96 c NEW SOLUTION FOUND: 21 @ 0.945 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Restart #12 #Var: 176 LB: 0 @ 1.051 1.24 c Restart #13 #Var: 176 LB: 0 @ 1.227 1.56 c Restart #14 #Var: 176 LB: 0 @ 1.552 1.73 c Restart #15 #Var: 176 LB: 0 @ 1.714 2.10 c CHANGE to MIS mode... UB: 21 MIS: 0 LPR: 0 (0.007) Diff: nan 2.10 c Restart #0 #Var: 176 LB: 0 @ 2.087 2.17 c Restart #1 #Var: 176 LB: 0 @ 2.159 2.32 c Restart #2 #Var: 173 LB: 0 @ 2.304 2.40 c Restart #3 #Var: 173 LB: 0 @ 2.393 3.28 c Restart #4 #Var: 173 LB: 0 @ 3.265 3.46 c Restart #5 #Var: 173 LB: 0 @ 3.449 3.77 c Restart #6 #Var: 173 LB: 0 @ 3.762 4.42 c Restart #7 #Var: 173 LB: 0 @ 4.403 4.46 c Sol. found (all assignments made)... 4.46 o 20 4.46 c NEW SOLUTION FOUND: 20 @ 4.451 5.50 c Restart #8 #Var: 173 LB: 0 @ 5.482 5.79 c Sol. found (all assignments made)... 5.79 o 18 5.79 c NEW SOLUTION FOUND: 18 @ 5.78 7.67 c Restart #9 #Var: 173 LB: 0 @ 7.656 8.37 c Sol. found (all assignments made)... 8.37 o 17 8.37 c NEW SOLUTION FOUND: 17 @ 8.356 8.37 c Sol. found (all assignments made)... 8.37 o 16 8.37 c NEW SOLUTION FOUND: 16 @ 8.36 8.41 c Sol. found (all assignments made)... 8.41 o 15 8.41 c NEW SOLUTION FOUND: 15 @ 8.398 8.44 c Sol. found (all assignments made)... 8.44 o 14 8.44 c NEW SOLUTION FOUND: 14 @ 8.422 8.46 c Sol. found (all assignments made)... 8.46 o 13 8.46 c NEW SOLUTION FOUND: 13 @ 8.444 10.70 c Restart #10 #Var: 173 LB: 0 @ 10.68 13.03 c Restart #11 #Var: 173 LB: 0 @ 13.014 15.77 c Restart #12 #Var: 172 LB: 0 @ 15.752 20.37 c Restart #13 #Var: 172 LB: 0 @ 20.35 22.08 c Restart #14 #Var: 172 LB: 0 @ 22.059 25.06 c Restart #15 #Var: 170 LB: 0 @ 25.034 27.32 c Restart #16 #Var: 167 LB: 0 @ 27.295 30.93 c Restart #17 #Var: 167 LB: 0 @ 30.901 36.89 c Restart #18 #Var: 167 LB: 0 @ 36.868 40.07 c Restart #19 #Var: 167 LB: 0 @ 40.038 45.59 c Restart #20 #Var: 167 LB: 0 @ 45.56 50.73 c Restart #21 #Var: 167 LB: 0 @ 50.702 60.45 c Restart #22 #Var: 167 LB: 0 @ 60.416 64.02 c Restart #23 #Var: 166 LB: 0 @ 63.99 70.45 c Restart #24 #Var: 165 LB: 0 @ 70.413 77.69 c Restart #25 #Var: 165 LB: 0 @ 77.655 84.92 c Restart #26 #Var: 165 LB: 0 @ 84.884 91.60 c Restart #27 #Var: 164 LB: 0 @ 91.564 93.90 c Sol. found (all assignments made)... 93.90 o 12 93.90 c NEW SOLUTION FOUND: 12 @ 93.854 100.29 c Restart #28 #Var: 164 LB: 0 @ 100.25 106.59 c Restart #29 #Var: 164 LB: 0 @ 106.54 114.31 c Restart #30 #Var: 164 LB: 0 @ 114.27 120.45 c Restart #31 #Var: 164 LB: 0 @ 120.4 129.00 c Sol. found (all assignments made)... 129.00 o 11 129.00 c NEW SOLUTION FOUND: 11 @ 128.95 138.96 c Sol. found (all assignments made)... 138.96 o 9 138.96 c NEW SOLUTION FOUND: 9 @ 138.9 138.97 c Sol. found (all assignments made)... 138.97 o 8 138.97 c NEW SOLUTION FOUND: 8 @ 138.91 138.99 c Sol. found (all assignments made)... 138.99 o 7 138.99 c NEW SOLUTION FOUND: 7 @ 138.93 149.25 c Restart #32 #Var: 162 LB: 0 @ 149.19 157.61 c Restart #33 #Var: 160 LB: 0 @ 157.55 166.32 c Restart #34 #Var: 159 LB: 0 @ 166.26 174.92 c Restart #35 #Var: 158 LB: 0 @ 174.85 184.57 c Restart #36 #Var: 158 LB: 0 @ 184.5 192.22 c Restart #37 #Var: 158 LB: 0 @ 192.15 203.18 c Restart #38 #Var: 158 LB: 0 @ 203.1 213.47 c Restart #39 #Var: 158 LB: 0 @ 213.4 225.96 c Restart #40 #Var: 158 LB: 0 @ 225.88 236.71 c Restart #41 #Var: 158 LB: 0 @ 236.63 250.58 c Restart #42 #Var: 158 LB: 0 @ 250.49 262.82 c Restart #43 #Var: 158 LB: 0 @ 262.73 278.88 c Restart #44 #Var: 158 LB: 0 @ 278.79 292.72 c Restart #45 #Var: 158 LB: 0 @ 292.62 310.32 c Restart #46 #Var: 158 LB: 0 @ 310.22 322.12 c Restart #47 #Var: 158 LB: 0 @ 322.01 338.45 c Restart #48 #Var: 158 LB: 0 @ 338.34 351.89 c Restart #49 #Var: 158 LB: 0 @ 351.78 367.83 c Restart #50 #Var: 158 LB: 0 @ 367.71 388.81 c Restart #51 #Var: 158 LB: 0 @ 388.68 402.92 c Restart #52 #Var: 158 LB: 0 @ 402.79 425.86 c Restart #53 #Var: 158 LB: 0 @ 425.73 450.48 c Restart #54 #Var: 158 LB: 0 @ 450.34 474.67 c Restart #55 #Var: 158 LB: 0 @ 474.52 494.87 c Restart #56 #Var: 158 LB: 0 @ 494.72 525.91 c Restart #57 #Var: 158 LB: 0 @ 525.75 548.78 c Restart #58 #Var: 158 LB: 0 @ 548.62 569.80 c Restart #59 #Var: 158 LB: 0 @ 569.62 591.06 c Restart #60 #Var: 158 LB: 0 @ 590.88 619.55 c Restart #61 #Var: 158 LB: 0 @ 619.36 646.96 c Restart #62 #Var: 158 LB: 0 @ 646.76 673.77 c Restart #63 #Var: 158 LB: 0 @ 673.57 703.77 c Restart #64 #Var: 158 LB: 0 @ 703.56 733.50 c Restart #65 #Var: 158 LB: 0 @ 733.28 764.99 c Restart #66 #Var: 158 LB: 0 @ 764.77 793.55 c Restart #67 #Var: 158 LB: 0 @ 793.32 833.21 c Restart #68 #Var: 158 LB: 0 @ 832.96 885.84 c Restart #69 #Var: 158 LB: 0 @ 885.58 934.85 c Restart #70 #Var: 157 LB: 0 @ 934.58 968.97 c Restart #71 #Var: 157 LB: 0 @ 968.68 1014.38 c Restart #72 #Var: 157 LB: 0 @ 1014.1 1062.98 c Restart #73 #Var: 157 LB: 0 @ 1062.7 1093.33 c Restart #74 #Var: 156 LB: 0 @ 1093 1128.65 c Restart #75 #Var: 156 LB: 0 @ 1128.3 1174.38 c Restart #76 #Var: 156 LB: 0 @ 1174 1211.68 c Restart #77 #Var: 156 LB: 0 @ 1211.3 1276.13 c Restart #78 #Var: 156 LB: 0 @ 1275.8 1315.86 c Restart #79 #Var: 156 LB: 0 @ 1315.5 1371.26 c Restart #80 #Var: 156 LB: 0 @ 1370.9 1408.19 c Restart #81 #Var: 156 LB: 0 @ 1407.8 1466.57 c Restart #82 #Var: 156 LB: 0 @ 1466.1 1500.82 c Restart #83 #Var: 156 LB: 0 @ 1500.4 1562.70 c Restart #84 #Var: 156 LB: 0 @ 1562.3 1598.44 c Restart #85 #Var: 156 LB: 0 @ 1598 1675.35 c Restart #86 #Var: 156 LB: 0 @ 1674.9 1713.81 c Restart #87 #Var: 156 LB: 0 @ 1713.3 1788.71 c Restart #88 #Var: 156 LB: 0 @ 1788.2 1800.52 s SATISFIABLE 1800.52 c Cost: 7 1800.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.52 v -x29 -x30 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 1800.52 v -x102 -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 1800.52 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x171 -x172 x173 -x174 -x175 -x176 1800.52 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1800.52 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1800.52 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 1800.52 v -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 1800.52 v -x68 x69 -x70 x71 -x72 x73 x74 x75 x76 -x77 -x108 x109 -x110 -x111 x112 -x113 x114 -x115 x116 x117 x118 x119 x120 -x121 -x122 1800.52 v x123 -x124 x125 -x126 -x127 x158 -x159 x160 -x161 x162 -x163 -x164 x165 x166 x167 x168 -x169 -x170 1800.52 c Exit Code: 10 1800.52 c Total time: 1800 s
OK 7
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/node77/watcher-40034-1149358724 -o ROOT/results/node77/solver-40034-1149358724 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40034-1149358724/instance-40034-1149358724.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1370088/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=3228 CPUtime=0 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 201511589 3305472 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1466602 0 0 4096 0 0 0 0 17 1 0 0 /proc/10303/statm: 807 38 28 55 0 40 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1319144/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=55764 CPUtime=9.98 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 13246 0 0 0 989 9 0 0 25 0 1 0 201511589 57102336 13159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 13941 13159 417 55 0 12832 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 55764 [startup+20.0089 s] /proc/loadavg: 0.94 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1306472/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=68440 CPUtime=19.97 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 16406 0 0 0 1986 11 0 0 25 0 1 0 201511589 70082560 16319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 17110 16319 417 55 0 16001 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 68440 [startup+30.0151 s] /proc/loadavg: 0.95 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1289000/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=85860 CPUtime=29.98 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 21027 0 0 0 2982 16 0 0 25 0 1 0 201511589 87920640 20676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 21465 20676 417 55 0 20356 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 85860 [startup+40.0214 s] /proc/loadavg: 0.96 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1277032/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=97756 CPUtime=39.99 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 24001 0 0 0 3980 19 0 0 25 0 1 0 201511589 100102144 23650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 24439 23650 417 55 0 23330 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 97756 [startup+50.0276 s] /proc/loadavg: 0.97 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1266088/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=108728 CPUtime=49.99 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 26745 0 0 0 4977 22 0 0 25 0 1 0 201511589 111337472 26392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 27182 26392 417 55 0 26073 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 108728 [startup+60.0338 s] /proc/loadavg: 0.97 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1259112/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=115776 CPUtime=59.99 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 28493 0 0 0 5975 24 0 0 25 0 1 0 201511589 118554624 28137 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 28944 28137 417 55 0 27835 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 115776 [startup+70.0401 s] /proc/loadavg: 0.97 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1246888/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=127924 CPUtime=69.99 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 31536 0 0 0 6971 28 0 0 25 0 1 0 201511589 130994176 31178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 31981 31178 417 55 0 30872 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 127924 [startup+80.0463 s] /proc/loadavg: 0.98 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1237544/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=137308 CPUtime=79.99 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 33868 0 0 0 7968 31 0 0 25 0 1 0 201511589 140603392 33509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 34327 33509 417 55 0 33218 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 137308 [startup+90.0526 s] /proc/loadavg: 0.98 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1226664/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=148264 CPUtime=90 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 36604 0 0 0 8965 35 0 0 25 0 1 0 201511589 151822336 36245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 37066 36245 417 55 0 35957 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 148264 [startup+100.059 s] /proc/loadavg: 0.98 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1213608/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=161236 CPUtime=100 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 39854 0 0 0 9962 38 0 0 25 0 1 0 201511589 165105664 39494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 40309 39494 417 55 0 39200 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 161236 [startup+110.065 s] /proc/loadavg: 0.98 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1200680/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=174172 CPUtime=110 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 43074 0 0 0 10958 42 0 0 25 0 1 0 201511589 178352128 42714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 43543 42714 417 55 0 42434 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 174172 [startup+120.071 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1188008/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=186860 CPUtime=120.01 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 46237 0 0 0 11955 46 0 0 25 0 1 0 201511589 191344640 45877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 46715 45878 417 55 0 45606 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 186860 [startup+130.078 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1175464/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=199416 CPUtime=130.02 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 49897 0 0 0 12952 50 0 0 25 0 1 0 201511589 204201984 49009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 49854 49009 417 55 0 48745 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 199416 [startup+140.084 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1167208/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=207760 CPUtime=140.02 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 51961 0 0 0 13950 52 0 0 25 0 1 0 201511589 212746240 51072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 51940 51072 417 55 0 50831 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 207760 [startup+150.09 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1158120/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=216936 CPUtime=150.02 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 54235 0 0 0 14947 55 0 0 25 0 1 0 201511589 222142464 53342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 54234 53342 417 55 0 53125 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 216936 [startup+160.096 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1147112/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=227900 CPUtime=160.02 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 56971 0 0 0 15943 59 0 0 25 0 1 0 201511589 233369600 56078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 56975 56078 417 55 0 55866 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 227900 [startup+170.102 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1136168/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=239140 CPUtime=170.03 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 59704 0 0 0 16941 62 0 0 25 0 1 0 201511589 244879360 58810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 59785 58810 417 55 0 58676 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 239140 [startup+180.109 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1126312/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=249044 CPUtime=180.03 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 62175 0 0 0 17938 65 0 0 25 0 1 0 201511589 255021056 61280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 62261 61280 417 55 0 61152 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 249044 [startup+190.115 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1114920/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=260412 CPUtime=190.04 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 65021 0 0 0 18936 68 0 0 25 0 1 0 201511589 266661888 64124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 65103 64124 417 55 0 63994 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 260412 [startup+200.121 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1105512/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=269832 CPUtime=200.04 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 67363 0 0 0 19933 71 0 0 25 0 1 0 201511589 276307968 66465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 67458 66465 417 55 0 66349 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 269832 [startup+210.127 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10303 /proc/meminfo: memFree=1095848/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/10303/statm: 274352 272355 417 55 0 273243 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 1097408 [startup+1771.08 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=277416/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1100180 CPUtime=1770.56 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 277406 0 0 0 176684 372 0 0 25 0 1 0 201511589 1126584320 273051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 275045 273051 417 55 0 273936 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 1100180 [startup+1781.08 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=274600/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1102948 CPUtime=1780.57 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278100 0 0 0 177683 374 0 0 25 0 1 0 201511589 1129418752 273745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 275737 273745 417 55 0 274628 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 1102948 [startup+1782.09 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=274408/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1103080 CPUtime=1781.57 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278143 0 0 0 177783 374 0 0 25 0 1 0 201511589 1129553920 273788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 275770 273788 417 55 0 274661 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 1103080 [startup+1783.09 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=274088/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1103476 CPUtime=1782.57 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278226 0 0 0 177883 374 0 0 25 0 1 0 201511589 1129959424 273871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 275869 273871 417 55 0 274760 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 1103476 [startup+1784.1 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=273640/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1103872 CPUtime=1783.57 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278335 0 0 0 177983 374 0 0 25 0 1 0 201511589 1130364928 273980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 275968 273980 417 55 0 274859 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 1103872 [startup+1785.1 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=273384/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1104136 CPUtime=1784.58 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278393 0 0 0 178084 374 0 0 25 0 1 0 201511589 1130635264 274038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276034 274038 417 55 0 274925 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 1104136 [startup+1786.11 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=273384/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1104268 CPUtime=1785.58 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278419 0 0 0 178184 374 0 0 25 0 1 0 201511589 1130770432 274064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276067 274064 417 55 0 274958 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 1104268 [startup+1787.11 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=273192/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1104400 CPUtime=1786.59 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278472 0 0 0 178285 374 0 0 25 0 1 0 201511589 1130905600 274117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276100 274117 417 55 0 274991 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 1104400 [startup+1788.12 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=272872/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1104664 CPUtime=1787.6 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278546 0 0 0 178385 375 0 0 25 0 1 0 201511589 1131175936 274191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276166 274191 417 55 0 275057 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 1104664 [startup+1789.12 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=272616/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1104992 CPUtime=1788.6 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278613 0 0 0 178485 375 0 0 25 0 1 0 201511589 1131511808 274256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276248 274256 417 55 0 275139 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 1104992 [startup+1790.13 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=272424/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1105444 CPUtime=1789.6 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278737 0 0 0 178585 375 0 0 25 0 1 0 201511589 1131974656 274298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276361 274298 417 55 0 275252 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 1105444 [startup+1791.13 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=271912/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1105972 CPUtime=1790.61 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 278874 0 0 0 178686 375 0 0 25 0 1 0 201511589 1132515328 274435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276493 274435 417 55 0 275384 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 1105972 [startup+1792.13 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=271208/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1106764 CPUtime=1791.61 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279049 0 0 0 178786 375 0 0 25 0 1 0 201511589 1133326336 274610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276691 274610 417 55 0 275582 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 1106764 [startup+1793.14 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=270632/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1107292 CPUtime=1792.61 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279196 0 0 0 178886 375 0 0 25 0 1 0 201511589 1133867008 274757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276823 274757 417 55 0 275714 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 1107292 [startup+1794.14 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=269992/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1107952 CPUtime=1793.62 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279343 0 0 0 178986 376 0 0 25 0 1 0 201511589 1134542848 274904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 276988 274904 417 55 0 275879 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 1107952 [startup+1795.15 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=269416/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1108480 CPUtime=1794.62 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279491 0 0 0 179086 376 0 0 25 0 1 0 201511589 1135083520 275052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277120 275052 417 55 0 276011 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 1108480 [startup+1796.15 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=268840/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1109004 CPUtime=1795.63 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279637 0 0 0 179186 377 0 0 25 0 1 0 201511589 1135620096 275198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277251 275198 417 55 0 276142 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 1109004 [startup+1797.16 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=268200/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1109664 CPUtime=1796.64 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279798 0 0 0 179287 377 0 0 25 0 1 0 201511589 1136295936 275359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277416 275359 417 55 0 276307 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 1109664 [startup+1798.16 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=267688/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1110192 CPUtime=1797.64 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 279926 0 0 0 179387 377 0 0 25 0 1 0 201511589 1136836608 275487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277548 275487 417 55 0 276439 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 1110192 [startup+1799.17 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=266856/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1110984 CPUtime=1798.64 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 280124 0 0 0 179487 377 0 0 25 0 1 0 201511589 1137647616 275685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277746 275685 417 55 0 276637 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 1110984 [startup+1800.17 s] /proc/loadavg: 0.99 0.99 0.99 2/67 10305 /proc/meminfo: memFree=266216/2055892 swapFree=4085336/4096564 [pid=10303] ppid=10301 vsize=1111644 CPUtime=1799.65 /proc/10303/stat : 10303 (bsolo) R 10301 10303 10257 0 -1 0 280286 0 0 0 179587 378 0 0 25 0 1 0 201511589 1138323456 275847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10303/statm: 277911 275847 417 55 0 276802 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 1111644 Child status: 10 Real time (s): 1800.68 CPU time (s): 1800.16 CPU user time (s): 1796.22 CPU system time (s): 3.9354 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (Kb): 1111644
Begin job on node77 on Sat Jun 3 18:18:44 UTC 2006 FILE ID= 40034-1149358724 PBS_JOBID= 311399 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40034-1149358724/instance-40034-1149358724.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-40034-1149358724 -o ROOT/results/node77/solver-40034-1149358724 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40034-1149358724/instance-40034-1149358724.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9a8d1e3e59dfd2cd811494ddb4a3c92a RANDOM SEED= 102054134 /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.238 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.16 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.238 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: 2055892 kB MemFree: 1370424 kB Buffers: 40644 kB Cached: 575376 kB SwapCached: 2644 kB Active: 118852 kB Inactive: 506008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1370424 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16132 kB Slab: 47280 kB Committed_AS: 338892 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sat Jun 3 18:48:45 UTC 2006