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 | 344935 | 1800.15 | 1800.72 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb |
| MD5SUM | d9b1bd39de70fdcf73e5c42a9dd94c9e |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 344750 |
| Best CPU time to get the best result obtained on this benchmark | 2.91656 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 344750 |
| Optimality of the best value was proved | YES |
| Number of variables | 90 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 90 |
| Biggest coefficient in the objective function | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 15032909794 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 15032909794 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.02 c Initial problem consists of 90 variables and 6 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.004 0.02 c After prepocess the problem consists of 61 variables and 6 constraints. 0.02 c Initial Lower Bound: 0 0.02 c Sol. found (all assignments made)... 0.02 o 425984 0.02 c NEW SOLUTION FOUND: 425984 @ 0.004 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 o 417792 0.02 c NEW SOLUTION FOUND: 417792 @ 0.005 0.02 c Sol. found (all assignments made)... 0.02 o 385024 0.02 c NEW SOLUTION FOUND: 385024 @ 0.005 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.02 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 o 368640 0.03 c NEW SOLUTION FOUND: 368640 @ 0.013 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Sol. found (all assignments made)... 0.03 c Restart #1 #Var: 61 LB: 0 @ 0.022 0.04 c Sol. found (all assignments made)... 0.04 o 364544 0.04 c NEW SOLUTION FOUND: 364544 @ 0.022 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.04 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 o 362496 0.05 c NEW SOLUTION FOUND: 362496 @ 0.039 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.05 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Restart #2 #Var: 61 LB: 0 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 o 360448 0.08 c NEW SOLUTION FOUND: 360448 @ 0.066 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 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.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 Restart #3 #Var: 61 LB: 0 @ 0.1 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.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 o 356352 0.14 c NEW SOLUTION FOUND: 356352 @ 0.13 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.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.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.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 Restart #4 #Var: 61 LB: 0 @ 0.18 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.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.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.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 Restart #5 #Var: 61 LB: 0 @ 0.242 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.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.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 o 355328 0.30 c NEW SOLUTION FOUND: 355328 @ 0.29 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.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.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.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.38 c Restart #6 #Var: 61 LB: 0 @ 0.367 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.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.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.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 o 352256 0.45 c NEW SOLUTION FOUND: 352256 @ 0.434 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.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.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.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.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.50 c Sol. found (all assignments made)... 0.50 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.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.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.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.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Restart #7 #Var: 61 LB: 0 @ 0.578 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.68 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.74 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.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 Restart #8 #Var: 61 LB: 0 @ 0.76 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.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.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.81 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.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.86 c Sol. found (all assignments made)... 0.86 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.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.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.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.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.01 c Restart #9 #Var: 61 LB: 0 @ 0.996 1.23 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.54 c Restart #10 #Var: 61 LB: 0 @ 1.523 1.60 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.83 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.03 c CHANGE to MIS mode... UB: 352256 MIS: 0 LPR: -2147483648 (0) Diff: -0 2.03 c Restart #0 #Var: 61 LB: 0 @ 2.021 2.18 c Restart #1 #Var: 61 LB: 0 @ 2.167 2.34 c Restart #2 #Var: 61 LB: 0 @ 2.324 2.50 c Restart #3 #Var: 61 LB: 0 @ 2.487 2.70 c Restart #4 #Var: 61 LB: 0 @ 2.683 2.92 c Restart #5 #Var: 61 LB: 0 @ 2.909 3.17 c Restart #6 #Var: 61 LB: 0 @ 3.156 3.38 c Restart #7 #Var: 61 LB: 0 @ 3.372 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.82 c Restart #8 #Var: 61 LB: 0 @ 3.809 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.94 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.11 c Restart #9 #Var: 61 LB: 0 @ 4.094 4.33 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.73 c Restart #10 #Var: 61 LB: 0 @ 4.717 5.23 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.38 c Restart #11 #Var: 61 LB: 0 @ 5.362 5.64 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.93 c Sol. found (all assignments made)... 5.94 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.99 c Restart #12 #Var: 61 LB: 0 @ 5.981 7.10 c Restart #13 #Var: 61 LB: 0 @ 7.081 7.48 c Sol. found (all assignments made)... 7.48 o 352044 7.48 c NEW SOLUTION FOUND: 352044 @ 7.463 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 o 350892 7.48 c NEW SOLUTION FOUND: 350892 @ 7.463 7.48 c Sol. found (all assignments made)... 7.48 c Sol. found (all assignments made)... 7.48 o 350784 7.48 c NEW SOLUTION FOUND: 350784 @ 7.464 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.49 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 o 346294 7.52 c NEW SOLUTION FOUND: 346294 @ 7.507 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 o 346038 7.52 c NEW SOLUTION FOUND: 346038 @ 7.508 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 o 346002 7.52 c NEW SOLUTION FOUND: 346002 @ 7.508 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 o 345930 7.52 c NEW SOLUTION FOUND: 345930 @ 7.509 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 o 345920 7.55 c NEW SOLUTION FOUND: 345920 @ 7.534 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.79 c Restart #14 #Var: 61 LB: 0 @ 7.779 9.36 c Restart #15 #Var: 61 LB: 0 @ 9.343 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 o 345720 9.40 c NEW SOLUTION FOUND: 345720 @ 9.387 9.40 c Sol. found (all assignments made)... 9.40 o 345684 9.40 c NEW SOLUTION FOUND: 345684 @ 9.387 9.40 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 o 345674 9.51 c NEW SOLUTION FOUND: 345674 @ 9.492 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 o 345664 9.51 c NEW SOLUTION FOUND: 345664 @ 9.497 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.95 c Restart #16 #Var: 61 LB: 0 @ 9.932 12.82 c Restart #17 #Var: 61 LB: 0 @ 12.797 12.90 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.92 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.04 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.10 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.12 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.16 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.19 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.20 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.25 c Sol. found (all assignments made)... 13.25 o 345436 13.25 c NEW SOLUTION FOUND: 345436 @ 13.231 13.25 c Sol. found (all assignments made)... 13.25 o 345418 13.25 c NEW SOLUTION FOUND: 345418 @ 13.231 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.26 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 o 345408 13.27 c NEW SOLUTION FOUND: 345408 @ 13.251 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.33 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.34 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.39 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.42 c Sol. found (all assignments made)... 13.43 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.47 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.29 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.25 c Sol. found (all assignments made)... 15.28 c Sol. found (all assignments made)... 15.36 c Restart #18 #Var: 61 LB: 0 @ 15.332 18.78 c Restart #19 #Var: 61 LB: 0 @ 18.755 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.51 c Sol. found (all assignments made)... 19.52 c Sol. found (all assignments made)... 19.53 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.57 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.58 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 20.32 c Restart #20 #Var: 61 LB: 0 @ 20.289 24.31 c Restart #21 #Var: 61 LB: 0 @ 24.286 26.22 c Restart #22 #Var: 61 LB: 0 @ 26.196 30.76 c Restart #23 #Var: 61 LB: 0 @ 30.734 38.29 c Restart #24 #Var: 61 LB: 0 @ 38.255 40.20 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.33 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.66 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 41.62 c Restart #25 #Var: 61 LB: 0 @ 41.59 47.65 c Restart #26 #Var: 61 LB: 0 @ 47.617 50.48 c Sol. found (all assignments made)... 50.48 c Sol. found (all assignments made)... 50.48 c Sol. found (all assignments made)... 50.48 c Sol. found (all assignments made)... 50.49 c Sol. found (all assignments made)... 50.51 c Sol. found (all assignments made)... 50.51 c Sol. found (all assignments made)... 50.51 c Sol. found (all assignments made)... 50.51 c Sol. found (all assignments made)... 50.52 c Sol. found (all assignments made)... 50.52 c Sol. found (all assignments made)... 50.53 c Sol. found (all assignments made)... 50.53 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 50.54 c Sol. found (all assignments made)... 51.22 c Restart #27 #Var: 61 LB: 0 @ 51.182 57.76 c Restart #28 #Var: 61 LB: 0 @ 57.719 58.18 c Sol. found (all assignments made)... 58.18 c Sol. found (all assignments made)... 58.18 o 345235 58.18 c NEW SOLUTION FOUND: 345235 @ 58.139 58.19 c Sol. found (all assignments made)... 58.19 o 345217 58.19 c NEW SOLUTION FOUND: 345217 @ 58.152 58.19 c Sol. found (all assignments made)... 58.19 o 345197 58.19 c NEW SOLUTION FOUND: 345197 @ 58.154 58.87 c Sol. found (all assignments made)... 58.87 o 345073 58.87 c NEW SOLUTION FOUND: 345073 @ 58.834 58.88 c Sol. found (all assignments made)... 58.89 c Sol. found (all assignments made)... 58.89 o 345065 58.89 c NEW SOLUTION FOUND: 345065 @ 58.851 58.89 c Sol. found (all assignments made)... 58.89 o 345057 58.89 c NEW SOLUTION FOUND: 345057 @ 58.854 58.95 c Sol. found (all assignments made)... 61.51 c Restart #29 #Var: 61 LB: 0 @ 61.474 67.46 c Restart #30 #Var: 61 LB: 0 @ 67.417 67.98 c Sol. found (all assignments made)... 68.01 c Sol. found (all assignments made)... 68.94 c Sol. found (all assignments made)... 68.96 c Sol. found (all assignments made)... 69.01 c Sol. found (all assignments made)... 69.02 c Sol. found (all assignments made)... 69.04 c Sol. found (all assignments made)... 69.05 c Sol. found (all assignments made)... 69.10 c Sol. found (all assignments made)... 69.11 c Sol. found (all assignments made)... 69.47 c Sol. found (all assignments made)... 69.48 c Sol. found (all assignments made)... 69.61 c Sol. found (all assignments made)... 69.70 c Sol. found (all assignments made)... 69.72 c Sol. found (all assignments made)... 69.75 c Sol. found (all assignments made)... 69.78 c Sol. found (all assignments made)... 69.84 c Sol. found (all assignments made)... 69.86 c Sol. found (all assignments made)... 70.35 c Sol. found (all assignments made)... 71.88 c Restart #31 #Var: 61 LB: 0 @ 71.835 82.29 c Restart #32 #Var: 61 LB: 0 @ 82.247 86.01 c Sol. found (all assignments made)... 86.08 c Sol. found (all assignments made)... 88.68 c Restart #33 #Var: 61 LB: 0 @ 88.634 92.83 c Sol. found (all assignments made)... 93.97 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.49 c Sol. found (all assignments made)... 94.58 c Sol. found (all assignments made)... 99.01 c Restart #34 #Var: 61 LB: 0 @ 98.964 104.77 c Restart #35 #Var: 61 LB: 0 @ 104.72 117.57 c Restart #36 #Var: 61 LB: 0 @ 117.52 120.55 c Sol. found (all assignments made)... 120.55 o 345029 120.55 c NEW SOLUTION FOUND: 345029 @ 120.49 120.57 c Sol. found (all assignments made)... 120.57 o 345022 120.57 c NEW SOLUTION FOUND: 345022 @ 120.51 120.57 c Sol. found (all assignments made)... 120.57 o 345016 120.57 c NEW SOLUTION FOUND: 345016 @ 120.51 120.57 c Sol. found (all assignments made)... 120.57 o 345008 120.57 c NEW SOLUTION FOUND: 345008 @ 120.51 120.57 c Sol. found (all assignments made)... 120.57 o 345007 120.57 c NEW SOLUTION FOUND: 345007 @ 120.51 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.75 c Sol. found (all assignments made)... 120.75 c Sol. found (all assignments made)... 120.75 o 344953 120.75 c NEW SOLUTION FOUND: 344953 @ 120.7 120.75 c Sol. found (all assignments made)... 120.75 c Sol. found (all assignments made)... 120.75 o 344946 120.75 c NEW SOLUTION FOUND: 344946 @ 120.7 120.76 c Sol. found (all assignments made)... 120.76 c Sol. found (all assignments made)... 120.76 c Sol. found (all assignments made)... 120.76 o 344941 120.76 c NEW SOLUTION FOUND: 344941 @ 120.7 129.22 c Restart #37 #Var: 61 LB: 0 @ 129.16 142.21 c Restart #38 #Var: 61 LB: 0 @ 142.15 145.55 c Sol. found (all assignments made)... 145.68 c Sol. found (all assignments made)... 145.71 c Sol. found (all assignments made)... 145.84 c Sol. found (all assignments made)... 145.89 c Sol. found (all assignments made)... 152.81 c Sol. found (all assignments made)... 153.46 c Sol. found (all assignments made)... 153.53 c Sol. found (all assignments made)... 154.25 c Restart #39 #Var: 61 LB: 0 @ 154.19 167.93 c Restart #40 #Var: 61 LB: 0 @ 167.86 174.70 c Sol. found (all assignments made)... 174.71 c Sol. found (all assignments made)... 174.71 c Sol. found (all assignments made)... 174.71 o 344935 174.71 c NEW SOLUTION FOUND: 344935 @ 174.64 174.89 c Sol. found (all assignments made)... 174.90 c Sol. found (all assignments made)... 175.48 c Sol. found (all assignments made)... 175.51 c Sol. found (all assignments made)... 177.34 c Sol. found (all assignments made)... 177.72 c Sol. found (all assignments made)... 182.84 c Restart #41 #Var: 61 LB: 0 @ 182.77 205.32 c Restart #42 #Var: 61 LB: 0 @ 205.25 233.82 c Restart #43 #Var: 61 LB: 0 @ 233.73 267.29 c Restart #44 #Var: 61 LB: 0 @ 267.2 288.39 c Restart #45 #Var: 61 LB: 0 @ 288.29 313.31 c Restart #46 #Var: 61 LB: 0 @ 313.2 323.65 c Restart #47 #Var: 61 LB: 0 @ 323.54 342.89 c Restart #48 #Var: 61 LB: 0 @ 342.78 360.69 c Restart #49 #Var: 61 LB: 0 @ 360.57 377.52 c Restart #50 #Var: 61 LB: 0 @ 377.4 397.31 c Restart #51 #Var: 61 LB: 0 @ 397.18 414.54 c Sol. found (all assignments made)... 414.55 c Sol. found (all assignments made)... 414.58 c Sol. found (all assignments made)... 414.59 c Sol. found (all assignments made)... 414.60 c Sol. found (all assignments made)... 414.64 c Sol. found (all assignments made)... 414.65 c Sol. found (all assignments made)... 414.66 c Sol. found (all assignments made)... 414.80 c Sol. found (all assignments made)... 414.82 c Sol. found (all assignments made)... 414.83 c Sol. found (all assignments made)... 414.83 c Sol. found (all assignments made)... 414.88 c Sol. found (all assignments made)... 414.88 c Sol. found (all assignments made)... 414.89 c Sol. found (all assignments made)... 414.89 c Sol. found (all assignments made)... 414.90 c Sol. found (all assignments made)... 414.92 c Sol. found (all assignments made)... 418.55 c Sol. found (all assignments made)... 418.70 c Sol. found (all assignments made)... 418.77 c Sol. found (all assignments made)... 418.80 c Sol. found (all assignments made)... 418.84 c Sol. found (all assignments made)... 419.12 c Sol. found (all assignments made)... 419.32 c Sol. found (all assignments made)... 419.39 c Sol. found (all assignments made)... 419.61 c Sol. found (all assignments made)... 419.69 c Sol. found (all assignments made)... 419.73 c Sol. found (all assignments made)... 419.80 c Sol. found (all assignments made)... 419.84 c Sol. found (all assignments made)... 419.90 c Sol. found (all assignments made)... 419.93 c Sol. found (all assignments made)... 419.94 c Sol. found (all assignments made)... 419.97 c Sol. found (all assignments made)... 420.11 c Sol. found (all assignments made)... 420.12 c Sol. found (all assignments made)... 420.17 c Sol. found (all assignments made)... 420.18 c Sol. found (all assignments made)... 420.21 c Sol. found (all assignments made)... 420.22 c Sol. found (all assignments made)... 420.23 c Sol. found (all assignments made)... 420.24 c Sol. found (all assignments made)... 420.26 c Sol. found (all assignments made)... 420.27 c Sol. found (all assignments made)... 420.28 c Sol. found (all assignments made)... 420.38 c Sol. found (all assignments made)... 420.40 c Sol. found (all assignments made)... 420.42 c Sol. found (all assignments made)... 420.44 c Sol. found (all assignments made)... 420.50 c Sol. found (all assignments made)... 420.52 c Sol. found (all assignments made)... 420.53 c Sol. found (all assignments made)... 420.59 c Sol. found (all assignments made)... 420.60 c Sol. found (all assignments made)... 420.62 c Sol. found (all assignments made)... 420.66 c Sol. found (all assignments made)... 420.68 c Sol. found (all assignments made)... 420.70 c Sol. found (all assignments made)... 420.72 c Sol. found (all assignments made)... 420.74 c Sol. found (all assignments made)... 420.76 c Sol. found (all assignments made)... 420.85 c Sol. found (all assignments made)... 420.86 c Sol. found (all assignments made)... 420.88 c Sol. found (all assignments made)... 420.90 c Sol. found (all assignments made)... 420.92 c Sol. found (all assignments made)... 420.99 c Sol. found (all assignments made)... 421.01 c Sol. found (all assignments made)... 421.04 c Sol. found (all assignments made)... 421.10 c Sol. found (all assignments made)... 421.11 c Sol. found (all assignments made)... 421.13 c Sol. found (all assignments made)... 421.14 c Sol. found (all assignments made)... 421.16 c Sol. found (all assignments made)... 421.17 c Sol. found (all assignments made)... 421.19 c Sol. found (all assignments made)... 421.28 c Sol. found (all assignments made)... 421.30 c Sol. found (all assignments made)... 421.32 c Sol. found (all assignments made)... 421.33 c Sol. found (all assignments made)... 421.35 c Sol. found (all assignments made)... 421.37 c Sol. found (all assignments made)... 421.39 c Sol. found (all assignments made)... 421.40 c Sol. found (all assignments made)... 421.42 c Sol. found (all assignments made)... 421.44 c Sol. found (all assignments made)... 421.51 c Sol. found (all assignments made)... 421.53 c Sol. found (all assignments made)... 421.55 c Sol. found (all assignments made)... 421.56 c Sol. found (all assignments made)... 421.58 c Sol. found (all assignments made)... 421.60 c Sol. found (all assignments made)... 421.61 c Sol. found (all assignments made)... 423.59 c Restart #52 #Var: 61 LB: 0 @ 423.45 454.17 c Restart #53 #Var: 61 LB: 0 @ 454.03 489.16 c Restart #54 #Var: 61 LB: 0 @ 489 514.65 c Restart #55 #Var: 61 LB: 0 @ 514.49 547.06 c Restart #56 #Var: 61 LB: 0 @ 546.89 598.18 c Restart #57 #Var: 61 LB: 0 @ 597.99 637.49 c Restart #58 #Var: 61 LB: 0 @ 637.29 689.13 c Restart #59 #Var: 61 LB: 0 @ 688.92 750.41 c Restart #60 #Var: 61 LB: 0 @ 750.18 815.63 c Restart #61 #Var: 61 LB: 0 @ 815.38 857.90 c Restart #62 #Var: 61 LB: 0 @ 857.64 952.35 c Restart #63 #Var: 61 LB: 0 @ 952.07 1031.42 c Restart #64 #Var: 61 LB: 0 @ 1031.1 1152.27 c Restart #65 #Var: 61 LB: 0 @ 1151.9 1217.04 c Restart #66 #Var: 61 LB: 0 @ 1216.7 1276.00 c Restart #67 #Var: 61 LB: 0 @ 1275.6 1353.82 c Restart #68 #Var: 61 LB: 0 @ 1353.4 1414.10 c Restart #69 #Var: 61 LB: 0 @ 1413.7 1524.33 c Restart #70 #Var: 61 LB: 0 @ 1523.9 1588.86 c Restart #71 #Var: 61 LB: 0 @ 1588.4 1655.71 c Restart #72 #Var: 61 LB: 0 @ 1655.2 1729.86 c Restart #73 #Var: 61 LB: 0 @ 1729.3 1800.58 s SATISFIABLE 1800.58 c Cost: 344935 1800.58 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 1800.58 v -x30 x31 -x32 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 1800.58 v -x58 -x59 -x60 x61 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 1800.58 v -x88 -x89 -x90 1800.58 c Exit Code: 10 1800.58 c Total time: 1800 s
OK 344935
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/node61/watcher-40622-1149309157 -o ROOT/results/node61/solver-40622-1149309157 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40622-1149309157/instance-40622-1149309157.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1648232/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=3364 CPUtime=0 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 59 0 0 0 0 0 0 0 19 0 1 0 196583595 3444736 42 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10348271 0 0 4096 0 0 0 0 17 1 0 0 /proc/4048/statm: 841 43 32 55 0 40 0 [startup+10.0023 s] /proc/loadavg: 0.87 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1562552/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=90292 CPUtime=9.98 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 21807 0 0 0 985 13 0 0 25 0 1 0 196583595 92459008 21673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 22573 21673 297 55 0 21465 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 90292 [startup+20.0093 s] /proc/loadavg: 0.89 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1533000/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=119888 CPUtime=19.97 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 29335 0 0 0 1980 17 0 0 25 0 1 0 196583595 122765312 29063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 29972 29063 297 55 0 28864 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 119888 [startup+30.0162 s] /proc/loadavg: 0.91 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1509960/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=143020 CPUtime=29.98 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 35073 0 0 0 2976 22 0 0 25 0 1 0 196583595 146452480 34797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 35755 34797 297 55 0 34647 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 143020 [startup+40.0212 s] /proc/loadavg: 0.92 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1494024/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=159216 CPUtime=39.98 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 39071 0 0 0 3973 25 0 0 25 0 1 0 196583595 163037184 38783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 39804 38783 297 55 0 38696 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 159216 [startup+50.0272 s] /proc/loadavg: 0.93 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1476168/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=176912 CPUtime=49.99 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 43545 0 0 0 4970 29 0 0 25 0 1 0 196583595 181157888 43257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 44228 43257 297 55 0 43120 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 176912 [startup+60.0332 s] /proc/loadavg: 0.94 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1450824/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=202500 CPUtime=59.98 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 50156 0 0 0 5964 34 0 0 25 0 1 0 196583595 207360000 49601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 50625 49601 297 55 0 49517 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 202500 [startup+70.0391 s] /proc/loadavg: 0.95 0.97 0.99 2/64 4048 /proc/meminfo: memFree=1429320/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=224084 CPUtime=69.99 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 55513 0 0 0 6959 40 0 0 25 0 1 0 196583595 229462016 54956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 56021 54956 297 55 0 54913 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 224084 [startup+80.0451 s] /proc/loadavg: 0.96 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1415560/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=237880 CPUtime=79.99 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 58953 0 0 0 7956 43 0 0 25 0 1 0 196583595 243589120 58387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 59470 58387 297 55 0 58362 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 237880 [startup+90.0521 s] /proc/loadavg: 0.96 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1400712/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=252632 CPUtime=90 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 62651 0 0 0 8954 46 0 0 25 0 1 0 196583595 258695168 62077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 63158 62077 297 55 0 62050 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 252632 [startup+100.058 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1390728/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=262824 CPUtime=100 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 65164 0 0 0 9951 49 0 0 25 0 1 0 196583595 269131776 64582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 65706 64582 297 55 0 64598 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 262824 [startup+110.064 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1374536/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=279140 CPUtime=110 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 69210 0 0 0 10947 53 0 0 25 0 1 0 196583595 285839360 68620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 69785 68620 297 55 0 68677 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 279140 [startup+120.07 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1366280/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=287352 CPUtime=120.01 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 71264 0 0 0 11945 56 0 0 25 0 1 0 196583595 294248448 70673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 71838 70673 297 55 0 70730 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 287352 [startup+130.076 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1352136/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=301644 CPUtime=130.01 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 74808 0 0 0 12942 59 0 0 25 0 1 0 196583595 308883456 74210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 75411 74210 297 55 0 74303 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 301644 [startup+140.082 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1343304/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=310408 CPUtime=140.02 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 77005 0 0 0 13940 62 0 0 25 0 1 0 196583595 317857792 76405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 77602 76405 297 55 0 76494 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 310408 [startup+150.088 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1333320/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=320484 CPUtime=150.02 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 79503 0 0 0 14938 64 0 0 25 0 1 0 196583595 328175616 78902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 80121 78902 297 55 0 79013 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 320484 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1323464/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=330404 CPUtime=160.01 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 81954 0 0 0 15935 66 0 0 25 0 1 0 196583595 338333696 81351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 82601 81351 297 55 0 81493 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 330404 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1315592/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=338324 CPUtime=170.02 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 83925 0 0 0 16933 69 0 0 25 0 1 0 196583595 346443776 83321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 84581 83321 297 55 0 83473 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 338324 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1300872/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=353000 CPUtime=180.02 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 88115 0 0 0 17929 73 0 0 25 0 1 0 196583595 361472000 86992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 88250 86992 297 55 0 87142 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 353000 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1292680/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=361236 CPUtime=190.03 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 90154 0 0 0 18928 75 0 0 25 0 1 0 196583595 369905664 89027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 90309 89027 297 55 0 89201 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 361236 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1286920/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=367108 CPUtime=200.03 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 91607 0 0 0 19926 77 0 0 25 0 1 0 196583595 375918592 90472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 91777 90472 297 55 0 90669 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 367108 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4050 /proc/meminfo: memFree=1282696/2055920 swapFree=4180908/4192956 ################ # More data... # ################ /proc/4048/statm: 218204 215695 297 55 0 217096 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 872816 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=782536/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=874664 CPUtime=1770.54 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 219759 0 0 0 176813 241 0 0 25 0 1 0 196583595 895655936 216178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 218666 216178 297 55 0 217558 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 874664 [startup+1781.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=780168/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=877548 CPUtime=1780.54 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220510 0 0 0 177812 242 0 0 25 0 1 0 196583595 898609152 216765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219387 216765 297 55 0 218279 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 877548 [startup+1782.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779912/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=877812 CPUtime=1781.54 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220586 0 0 0 177912 242 0 0 25 0 1 0 196583595 898879488 216841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219453 216841 297 55 0 218345 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 877812 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779720/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=877944 CPUtime=1782.55 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220623 0 0 0 178013 242 0 0 25 0 1 0 196583595 899014656 216878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219486 216878 297 55 0 218378 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 877944 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779528/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=878208 CPUtime=1783.55 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220675 0 0 0 178113 242 0 0 25 0 1 0 196583595 899284992 216930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219552 216930 297 55 0 218444 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 878208 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779464/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=878208 CPUtime=1784.56 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220695 0 0 0 178214 242 0 0 25 0 1 0 196583595 899284992 216950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219552 216950 297 55 0 218444 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 878208 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779336/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=878340 CPUtime=1785.56 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220724 0 0 0 178314 242 0 0 25 0 1 0 196583595 899420160 216979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219585 216979 297 55 0 218477 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 878340 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=779144/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=878604 CPUtime=1786.56 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220779 0 0 0 178414 242 0 0 25 0 1 0 196583595 899690496 217034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219651 217034 297 55 0 218543 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 878604 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=778952/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=878736 CPUtime=1787.58 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220822 0 0 0 178515 243 0 0 25 0 1 0 196583595 899825664 217077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219684 217077 297 55 0 218576 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 878736 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=778696/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=879000 CPUtime=1788.58 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220879 0 0 0 178615 243 0 0 25 0 1 0 196583595 900096000 217134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219750 217134 297 55 0 218642 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 879000 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=778376/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=879396 CPUtime=1789.59 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 220973 0 0 0 178716 243 0 0 25 0 1 0 196583595 900501504 217228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219849 217228 297 55 0 218741 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 879396 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=777992/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=879660 CPUtime=1790.59 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221057 0 0 0 178816 243 0 0 25 0 1 0 196583595 900771840 217312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 219915 217312 297 55 0 218807 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 879660 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=777416/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=880320 CPUtime=1791.6 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221202 0 0 0 178917 243 0 0 25 0 1 0 196583595 901447680 217457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220080 217457 297 55 0 218972 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 880320 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=777224/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=880452 CPUtime=1792.6 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221254 0 0 0 179017 243 0 0 25 0 1 0 196583595 901582848 217509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220113 217509 297 55 0 219005 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 880452 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=777096/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=880584 CPUtime=1793.6 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221281 0 0 0 179117 243 0 0 25 0 1 0 196583595 901718016 217536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220146 217536 297 55 0 219038 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 880584 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=776968/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=880716 CPUtime=1794.61 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221315 0 0 0 179218 243 0 0 25 0 1 0 196583595 901853184 217570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220179 217570 297 55 0 219071 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 880716 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=776904/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=880716 CPUtime=1795.61 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221324 0 0 0 179318 243 0 0 25 0 1 0 196583595 901853184 217579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220179 217579 297 55 0 219071 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 880716 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=776584/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=881112 CPUtime=1796.62 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221408 0 0 0 179419 243 0 0 25 0 1 0 196583595 902258688 217663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220278 217663 297 55 0 219170 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 881112 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=776456/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=881244 CPUtime=1797.62 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221447 0 0 0 179519 243 0 0 25 0 1 0 196583595 902393856 217702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220311 217702 297 55 0 219203 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 881244 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=776136/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=881508 CPUtime=1798.62 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221526 0 0 0 179619 243 0 0 25 0 1 0 196583595 902664192 217781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220377 217781 297 55 0 219269 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 881508 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4245 /proc/meminfo: memFree=775880/2055920 swapFree=4180908/4192956 [pid=4048] ppid=4046 vsize=881772 CPUtime=1799.63 /proc/4048/stat : 4048 (bsolo) R 4046 4048 4002 0 -1 0 221588 0 0 0 179720 243 0 0 25 0 1 0 196583595 902934528 217843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4048/statm: 220443 217843 297 55 0 219335 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 881772 Child status: 10 Real time (s): 1800.72 CPU time (s): 1800.15 CPU user time (s): 1797.58 CPU system time (s): 2.57561 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (Kb): 881772
Begin job on node61 on Sat Jun 3 04:32:37 UTC 2006 FILE ID= 40622-1149309157 PBS_JOBID= 307801 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40622-1149309157/instance-40622-1149309157.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-40622-1149309157 -o ROOT/results/node61/solver-40622-1149309157 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40622-1149309157/instance-40622-1149309157.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d9b1bd39de70fdcf73e5c42a9dd94c9e RANDOM SEED= 556575983 /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.232 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.232 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: 1648440 kB Buffers: 14920 kB Cached: 325436 kB SwapCached: 3724 kB Active: 35768 kB Inactive: 313280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1648440 kB SwapTotal: 4192956 kB SwapFree: 4180908 kB Dirty: 284 kB Writeback: 0 kB Mapped: 14724 kB Slab: 44556 kB Committed_AS: 325324 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 3 05:02:38 UTC 2006