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 | 191 | 1800.21 | 1800.72 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb |
| MD5SUM | 45a62012cfe681f45441c62f782d8601 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 191 |
| Best CPU time to get the best result obtained on this benchmark | 30.1444 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 191 |
| Optimality of the best value was proved | YES |
| Number of variables | 672 |
| Total number of constraints | 2404 |
| Number of constraints which are clauses | 2404 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 672 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 672 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 672 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.04 c INFO: OSL Context initialized. 0.08 c Initial problem consists of 672 variables and 2404 constraints. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.054 0.08 c After prepocess the problem consists of 660 variables and 2386 constraints. 0.08 c Initial Lower Bound: 0 0.09 c Sol. found (all assignments made)... 0.09 o 336 0.09 c NEW SOLUTION FOUND: 336 @ 0.056 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 335 0.09 c NEW SOLUTION FOUND: 335 @ 0.057 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 334 0.09 c NEW SOLUTION FOUND: 334 @ 0.06 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 o 333 0.09 c NEW SOLUTION FOUND: 333 @ 0.065 0.09 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 332 0.10 c NEW SOLUTION FOUND: 332 @ 0.068 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 331 0.10 c NEW SOLUTION FOUND: 331 @ 0.071 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 330 0.11 c NEW SOLUTION FOUND: 330 @ 0.079 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 329 0.12 c NEW SOLUTION FOUND: 329 @ 0.093 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 328 0.15 c NEW SOLUTION FOUND: 328 @ 0.122 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Restart #1 #Var: 660 LB: 0 @ 0.153 0.18 c Sol. found (all assignments made)... 0.18 o 315 0.18 c NEW SOLUTION FOUND: 315 @ 0.155 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 o 314 0.18 c NEW SOLUTION FOUND: 314 @ 0.155 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o 313 0.19 c NEW SOLUTION FOUND: 313 @ 0.156 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o 312 0.19 c NEW SOLUTION FOUND: 312 @ 0.156 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o 311 0.19 c NEW SOLUTION FOUND: 311 @ 0.157 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Restart #2 #Var: 660 LB: 0 @ 0.213 0.24 c Sol. found (all assignments made)... 0.24 o 303 0.24 c NEW SOLUTION FOUND: 303 @ 0.215 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 o 302 0.25 c NEW SOLUTION FOUND: 302 @ 0.219 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Restart #3 #Var: 660 LB: 0 @ 0.301 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 o 301 0.34 c NEW SOLUTION FOUND: 301 @ 0.313 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Restart #4 #Var: 660 LB: 0 @ 0.423 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 300 0.46 c NEW SOLUTION FOUND: 300 @ 0.427 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 299 0.46 c NEW SOLUTION FOUND: 299 @ 0.428 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 298 0.46 c NEW SOLUTION FOUND: 298 @ 0.429 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 297 0.46 c NEW SOLUTION FOUND: 297 @ 0.43 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 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.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.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.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.60 c Restart #5 #Var: 660 LB: 0 @ 0.566 0.75 c Restart #6 #Var: 660 LB: 0 @ 0.722 0.76 c Sol. found (all assignments made)... 0.76 o 277 0.76 c NEW SOLUTION FOUND: 277 @ 0.726 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 o 276 0.76 c NEW SOLUTION FOUND: 276 @ 0.728 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.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.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.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.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.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 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 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 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 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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 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.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.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.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 Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Restart #7 #Var: 660 LB: 0 @ 0.904 1.13 c Restart #8 #Var: 660 LB: 0 @ 1.104 1.36 c Restart #9 #Var: 660 LB: 0 @ 1.329 1.61 c Restart #10 #Var: 660 LB: 0 @ 1.575 2.16 c CHANGE to LPR mode... UB: 276 MIS: 137 LPR: 165 (0.244) Diff: 0.8303 2.16 c Restart #0 #Var: 660 LB: 0 @ 2.126 5.08 o 267 5.08 c NEW SOLUTION FOUND: 267 @ 5.045 7.66 o 266 7.66 c NEW SOLUTION FOUND: 266 @ 7.626 14.03 c Restart #1 #Var: 660 LB: 165 @ 13.996 16.27 o 259 16.27 c NEW SOLUTION FOUND: 259 @ 16.237 17.81 o 254 17.81 c NEW SOLUTION FOUND: 254 @ 17.771 17.82 o 253 17.82 c NEW SOLUTION FOUND: 253 @ 17.789 18.22 o 252 18.22 c NEW SOLUTION FOUND: 252 @ 18.184 18.77 o 249 18.77 c NEW SOLUTION FOUND: 249 @ 18.731 19.37 o 244 19.37 c NEW SOLUTION FOUND: 244 @ 19.331 20.00 o 243 20.00 c NEW SOLUTION FOUND: 243 @ 19.963 21.53 o 242 21.53 c NEW SOLUTION FOUND: 242 @ 21.496 23.62 o 239 23.62 c NEW SOLUTION FOUND: 239 @ 23.587 29.72 o 234 29.72 c NEW SOLUTION FOUND: 234 @ 29.676 35.25 o 224 35.25 c NEW SOLUTION FOUND: 224 @ 35.21 35.92 o 217 35.92 c NEW SOLUTION FOUND: 217 @ 35.878 52.51 o 215 52.51 c NEW SOLUTION FOUND: 215 @ 52.463 78.28 c Restart #2 #Var: 660 LB: 165 @ 78.231 114.82 c Restart #3 #Var: 660 LB: 165 @ 114.76 144.42 o 211 144.42 c NEW SOLUTION FOUND: 211 @ 144.35 187.57 c Restart #4 #Var: 660 LB: 165 @ 187.48 248.00 c Restart #5 #Var: 660 LB: 165 @ 247.9 314.18 c Restart #6 #Var: 660 LB: 165 @ 314.07 417.50 c Restart #7 #Var: 660 LB: 165 @ 417.35 451.16 o 205 451.16 c NEW SOLUTION FOUND: 205 @ 451 460.09 o 198 460.09 c NEW SOLUTION FOUND: 198 @ 459.94 515.25 o 191 515.25 c NEW SOLUTION FOUND: 191 @ 515.08 642.12 c Restart #8 #Var: 660 LB: 165 @ 641.92 779.03 c Restart #9 #Var: 660 LB: 165 @ 778.79 931.89 c Restart #10 #Var: 660 LB: 165 @ 931.61 1099.86 c Restart #11 #Var: 660 LB: 165 @ 1099.5 1255.82 c Restart #12 #Var: 660 LB: 166 @ 1255.5 1442.10 c Restart #13 #Var: 660 LB: 166 @ 1441.7 1651.06 c Restart #14 #Var: 660 LB: 166 @ 1650.6 1800.71 s SATISFIABLE 1800.71 c Cost: 191 1800.71 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 x29 -x30 x31 -x32 1800.71 v x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 -x61 1800.71 v x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 1800.71 v x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 1800.71 v -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 1800.71 v x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 1800.71 v -x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 1800.71 v x185 -x186 x187 -x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 x200 -x201 x202 -x203 x204 -x205 -x206 -x207 1800.71 v x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.71 v -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 -x247 -x248 -x249 1800.71 v -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 1800.71 v -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.71 v x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 1800.71 v -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 x330 -x331 x332 -x333 x334 1800.71 v -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 1800.71 v -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 1800.71 v -x377 x378 -x379 x380 -x381 x382 -x383 x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.71 v -x399 x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 1800.71 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 -x441 1800.71 v x442 -x443 x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 1800.71 v x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 1800.71 v x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 1800.71 v x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 -x522 -x523 -x524 -x525 1800.71 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 x546 1800.71 v -x547 x548 -x549 x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 x568 1800.71 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 -x589 -x590 1800.71 v -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 1800.71 v -x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 -x623 x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 1800.71 v -x634 x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 1800.71 v x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.71 c Exit Code: 10 1800.71 c Total time: 1800.2 s
OK 191
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/node35/watcher-40388-1149419222 -o ROOT/results/node35/solver-40388-1149419222 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40388-1149419222/instance-40388-1149419222.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1267768/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=436 CPUtime=0 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 207586104 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1462571 0 0 4096 0 0 0 0 17 1 0 0 /proc/18218/statm: 109 23 18 55 0 18 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264064/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=8992 CPUtime=9.96 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 15803 0 0 0 987 9 0 0 25 0 1 0 207586104 9207808 1359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159721112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2248 1359 444 55 0 1140 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 8992 [startup+20.0095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264064/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=19.96 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 40997 0 0 0 1977 19 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 7912 [startup+30.0158 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264064/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=8992 CPUtime=29.97 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 59963 0 0 0 2970 27 0 0 25 0 1 0 207586104 9207808 1341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2248 1341 444 55 0 1140 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 8992 [startup+40.022 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=8992 CPUtime=39.97 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 73281 0 0 0 3964 33 0 0 25 0 1 0 207586104 9207808 1358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160342477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2248 1358 444 55 0 1140 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 8992 [startup+50.0282 s] /proc/loadavg: 1.00 1.00 1.00 3/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9140 CPUtime=49.98 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 86404 0 0 0 4959 39 0 0 25 0 1 0 207586104 9359360 1374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159943306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2285 1374 444 55 0 1177 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 9140 [startup+60.0344 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=59.98 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 99668 0 0 0 5954 44 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 7912 [startup+70.0416 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=69.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 113044 0 0 0 6949 50 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1928919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 7912 [startup+80.0478 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1263808/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9152 CPUtime=79.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 127440 0 0 0 7943 56 0 0 25 0 1 0 207586104 9371648 1418 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2288 1418 444 55 0 1180 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 9152 [startup+90.054 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=89.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 143868 0 0 0 8936 63 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 7912 [startup+100.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=99.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 157825 0 0 0 9930 69 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1930204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 7912 [startup+110.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=109.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 172532 0 0 0 10925 74 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 7912 [startup+120.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=119.99 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 188337 0 0 0 11918 81 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 7912 [startup+130.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=8108 CPUtime=130.01 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 205585 0 0 0 12912 89 0 0 25 0 1 0 207586104 8302592 1318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160206551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2027 1318 444 55 0 919 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 8108 [startup+140.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=140.01 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 221996 0 0 0 13904 97 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 7912 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1263936/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9124 CPUtime=150 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 237657 0 0 0 14897 103 0 0 25 0 1 0 207586104 9342976 1388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2281 1388 444 55 0 1173 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 9124 [startup+160.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9128 CPUtime=160.01 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 253278 0 0 0 15890 111 0 0 25 0 1 0 207586104 9347072 1344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2282 1344 444 55 0 1174 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 9128 [startup+170.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9128 CPUtime=170.02 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 269361 0 0 0 16883 119 0 0 25 0 1 0 207586104 9347072 1374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2282 1374 444 55 0 1174 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 9128 [startup+180.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=180.02 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 285813 0 0 0 17876 126 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 7912 [startup+190.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1263872/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=9296 CPUtime=190.02 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 303779 0 0 0 18868 134 0 0 25 0 1 0 207586104 9519104 1408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 2324 1408 444 55 0 1216 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 9296 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=7912 CPUtime=200.03 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 324539 0 0 0 19860 143 0 0 25 0 1 0 207586104 8101888 1317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1925008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 1978 1317 444 55 0 870 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 7912 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18218 /proc/meminfo: memFree=1264000/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/18218/statm: 7427 6768 444 55 0 6319 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 29708 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241728/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31248 CPUtime=1770.58 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3417965 0 0 0 175533 1525 0 0 25 0 1 0 207586104 31997952 6919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7812 6919 444 55 0 6704 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 31248 [startup+1781.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31404 CPUtime=1780.58 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3438303 0 0 0 176525 1533 0 0 25 0 1 0 207586104 32157696 6962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7851 6962 444 55 0 6743 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 31404 [startup+1782.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31416 CPUtime=1781.59 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3440021 0 0 0 176625 1534 0 0 25 0 1 0 207586104 32169984 6965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160427150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7854 6965 444 55 0 6746 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 31416 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241600/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31428 CPUtime=1782.59 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3441936 0 0 0 176724 1535 0 0 25 0 1 0 207586104 32182272 6945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1928829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7857 6945 444 55 0 6749 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 31428 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241280/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31676 CPUtime=1783.6 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3443968 0 0 0 176824 1536 0 0 25 0 1 0 207586104 32436224 7011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7919 7011 444 55 0 6811 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 31676 [startup+1785.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241280/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31584 CPUtime=1784.6 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3446119 0 0 0 176923 1537 0 0 25 0 1 0 207586104 32342016 7008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160431000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7896 7008 444 55 0 6788 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 31584 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30272 CPUtime=1785.6 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3447994 0 0 0 177022 1538 0 0 25 0 1 0 207586104 30998528 6909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7568 6909 444 55 0 6460 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 30272 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30272 CPUtime=1786.61 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3449974 0 0 0 177122 1539 0 0 25 0 1 0 207586104 30998528 6909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7568 6909 444 55 0 6460 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 30272 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241216/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31732 CPUtime=1787.62 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3452108 0 0 0 177222 1540 0 0 25 0 1 0 207586104 32493568 7024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7933 7024 444 55 0 6825 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 31732 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241216/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31788 CPUtime=1788.62 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3454367 0 0 0 177321 1541 0 0 25 0 1 0 207586104 32550912 7040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7947 7040 444 55 0 6839 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 31788 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30272 CPUtime=1789.63 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3456558 0 0 0 177421 1542 0 0 25 0 1 0 207586104 30998528 6909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7568 6909 444 55 0 6460 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 30272 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241472/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30272 CPUtime=1790.63 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3458965 0 0 0 177520 1543 0 0 25 0 1 0 207586104 30998528 6909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1906097 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7568 6909 444 55 0 6460 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 30272 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241280/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31720 CPUtime=1791.64 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3461479 0 0 0 177620 1544 0 0 25 0 1 0 207586104 32481280 7025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1928829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7930 7025 444 55 0 6822 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 31720 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241152/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31780 CPUtime=1792.63 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3463974 0 0 0 177718 1545 0 0 25 0 1 0 207586104 32542720 7046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7945 7046 444 55 0 6837 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 31780 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241408/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30340 CPUtime=1793.64 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3466361 0 0 0 177818 1546 0 0 25 0 1 0 207586104 31068160 6926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7585 6926 444 55 0 6477 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 30340 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241024/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31860 CPUtime=1794.65 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3468662 0 0 0 177918 1547 0 0 25 0 1 0 207586104 32624640 7081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1928829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7965 7081 444 55 0 6857 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 31860 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241344/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30388 CPUtime=1795.66 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3470923 0 0 0 178017 1549 0 0 25 0 1 0 207586104 31117312 6938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7597 6938 444 55 0 6489 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 30388 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241024/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31860 CPUtime=1796.66 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3473207 0 0 0 178116 1550 0 0 25 0 1 0 207586104 32624640 7078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7965 7078 444 55 0 6857 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 31860 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241344/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30408 CPUtime=1797.66 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3475658 0 0 0 178215 1551 0 0 25 0 1 0 207586104 31137792 6943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7602 6943 444 55 0 6494 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 30408 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1240896/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=31800 CPUtime=1798.67 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3477941 0 0 0 178315 1552 0 0 25 0 1 0 207586104 32563200 7057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1928919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7950 7057 444 55 0 6842 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 31800 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18220 /proc/meminfo: memFree=1241216/2055920 swapFree=4180888/4192956 [pid=18218] ppid=18216 vsize=30692 CPUtime=1799.68 /proc/18218/stat : 18218 (bsolo) R 18216 18218 18172 0 -1 0 3479767 0 0 0 178415 1553 0 0 25 0 1 0 207586104 31428608 6983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160199992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18218/statm: 7673 6983 444 55 0 6565 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 30692 Child status: 10 Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1784.67 CPU system time (s): 15.5376 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 31860
Begin job on node35 on Sun Jun 4 11:07:02 UTC 2006 FILE ID= 40388-1149419222 PBS_JOBID= 315654 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40388-1149419222/instance-40388-1149419222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-40388-1149419222 -o ROOT/results/node35/solver-40388-1149419222 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40388-1149419222/instance-40388-1149419222.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 45a62012cfe681f45441c62f782d8601 RANDOM SEED= 795427097 /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.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1267976 kB Buffers: 36168 kB Cached: 679400 kB SwapCached: 3872 kB Active: 171084 kB Inactive: 553304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1267976 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14936 kB Slab: 49540 kB Committed_AS: 450648 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sun Jun 4 11:37:03 UTC 2006