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 | -38 | 1800.01 | 1800.77 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
| MD5SUM | aabc023158e10c9511062af8ac97c515 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -44 |
| Best CPU time to get the best result obtained on this benchmark | 1800.48 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58624 |
| Number of constraints which are clauses | 58624 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.82 c Initial problem consists of 945 variables and 58624 constraints. 7.80 c No problem reductions applied in OPT. instance. 7.80 c preprocess terminated. Elapsed time: 7.791 7.80 c After prepocess the problem consists of 945 variables and 58624 constraints. 7.80 c Initial Lower Bound: -945 7.85 c Sol. found (all assignments made)... 7.85 o -1 7.85 c NEW SOLUTION FOUND: -1 @ 7.84 7.85 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 o -2 7.86 c NEW SOLUTION FOUND: -2 @ 7.842 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 o -3 7.86 c NEW SOLUTION FOUND: -3 @ 7.848 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.99 c Restart #1 #Var: 945 LB: -945 @ 7.971 8.03 c Sol. found (all assignments made)... 8.03 o -22 8.03 c NEW SOLUTION FOUND: -22 @ 8.014 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.22 c Restart #2 #Var: 945 LB: -945 @ 8.207 8.27 c Sol. found (all assignments made)... 8.27 o -29 8.27 c NEW SOLUTION FOUND: -29 @ 8.258 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.27 o -30 8.27 c NEW SOLUTION FOUND: -30 @ 8.261 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.54 c Restart #3 #Var: 945 LB: -945 @ 8.525 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 o -31 8.82 c NEW SOLUTION FOUND: -31 @ 8.807 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.91 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.94 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.95 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.16 c Restart #4 #Var: 945 LB: -945 @ 9.141 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 o -32 9.33 c NEW SOLUTION FOUND: -32 @ 9.316 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 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.42 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.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.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 o -33 9.55 c NEW SOLUTION FOUND: -33 @ 9.533 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.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.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 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.60 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.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 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.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 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 o -34 9.73 c NEW SOLUTION FOUND: -34 @ 9.715 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.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.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 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.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.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.15 c Restart #5 #Var: 945 LB: -945 @ 10.128 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.71 c Restart #6 #Var: 945 LB: -945 @ 10.692 11.35 c Restart #7 #Var: 945 LB: -945 @ 11.327 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.41 c Sol. found (all assignments made)... 11.41 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.87 c Sol. found (all assignments made)... 11.87 c Sol. found (all assignments made)... 11.91 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.97 c Sol. found (all assignments made)... 12.00 c Sol. found (all assignments made)... 12.06 c Restart #8 #Var: 945 LB: -945 @ 12.038 12.12 c Sol. found (all assignments made)... 12.12 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.15 c Sol. found (all assignments made)... 12.16 c Sol. found (all assignments made)... 12.17 c Sol. found (all assignments made)... 12.17 c Sol. found (all assignments made)... 12.18 c Sol. found (all assignments made)... 12.18 c Sol. found (all assignments made)... 12.19 c Sol. found (all assignments made)... 12.19 c Sol. found (all assignments made)... 12.19 c Sol. found (all assignments made)... 12.19 c Sol. found (all assignments made)... 12.20 c Sol. found (all assignments made)... 12.21 c Sol. found (all assignments made)... 12.21 c Sol. found (all assignments made)... 12.22 c Sol. found (all assignments made)... 12.22 c Sol. found (all assignments made)... 12.22 c Sol. found (all assignments made)... 12.23 c Sol. found (all assignments made)... 12.23 c Sol. found (all assignments made)... 12.24 c Sol. found (all assignments made)... 12.24 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.26 c Sol. found (all assignments made)... 12.26 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.27 c Sol. found (all assignments made)... 12.28 c Sol. found (all assignments made)... 12.28 c Sol. found (all assignments made)... 12.28 c Sol. found (all assignments made)... 12.29 c Sol. found (all assignments made)... 12.29 c Sol. found (all assignments made)... 12.29 c Sol. found (all assignments made)... 12.30 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.31 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.60 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 54.36 c CHANGE to MIS mode... UB: -34 MIS: -945 LPR: -440 (4.1441) Diff: 2.1477 54.36 c Restart #0 #Var: 945 LB: -945 @ 54.302 54.67 c Restart #1 #Var: 945 LB: -477 @ 54.61 55.09 c Restart #2 #Var: 945 LB: -478 @ 55.026 55.34 c Sol. found (all assignments made)... 55.36 c Sol. found (all assignments made)... 55.44 c Sol. found (all assignments made)... 55.44 c Sol. found (all assignments made)... 55.44 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.48 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.54 c Restart #3 #Var: 945 LB: -945 @ 55.483 55.70 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 c Sol. found (all assignments made)... 55.73 o -35 55.73 c NEW SOLUTION FOUND: -35 @ 55.669 55.74 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.76 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.77 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 c Sol. found (all assignments made)... 55.78 o -36 55.78 c NEW SOLUTION FOUND: -36 @ 55.72 55.81 c Sol. found (all assignments made)... 55.84 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.98 c Sol. found (all assignments made)... 56.02 c Sol. found (all assignments made)... 56.04 c Sol. found (all assignments made)... 56.05 c Sol. found (all assignments made)... 56.08 c Sol. found (all assignments made)... 56.15 c Restart #4 #Var: 945 LB: -945 @ 56.087 56.78 c Restart #5 #Var: 945 LB: -477 @ 56.717 57.51 c Restart #6 #Var: 945 LB: -945 @ 57.449 58.30 c Restart #7 #Var: 945 LB: -945 @ 58.234 59.16 c Restart #8 #Var: 945 LB: -945 @ 59.103 60.17 c Restart #9 #Var: 945 LB: -476 @ 60.104 61.25 c Restart #10 #Var: 945 LB: -478 @ 61.192 62.43 c Restart #11 #Var: 945 LB: -478 @ 62.363 62.86 c Sol. found (all assignments made)... 62.86 c Sol. found (all assignments made)... 63.47 c Sol. found (all assignments made)... 63.48 c Sol. found (all assignments made)... 63.68 c Restart #12 #Var: 945 LB: -476 @ 63.617 63.97 c Sol. found (all assignments made)... 63.98 c Sol. found (all assignments made)... 63.98 c Sol. found (all assignments made)... 63.99 c Sol. found (all assignments made)... 63.99 c Sol. found (all assignments made)... 64.00 c Sol. found (all assignments made)... 64.00 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.02 c Sol. found (all assignments made)... 64.02 c Sol. found (all assignments made)... 64.02 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.03 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.12 c Sol. found (all assignments made)... 64.12 c Sol. found (all assignments made)... 64.15 c Sol. found (all assignments made)... 64.26 c Sol. found (all assignments made)... 64.26 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.42 c Sol. found (all assignments made)... 64.42 c Sol. found (all assignments made)... 64.42 c Sol. found (all assignments made)... 64.42 c Sol. found (all assignments made)... 64.44 c Sol. found (all assignments made)... 64.44 c Sol. found (all assignments made)... 64.45 c Sol. found (all assignments made)... 64.45 c Sol. found (all assignments made)... 64.46 c Sol. found (all assignments made)... 64.49 c Sol. found (all assignments made)... 64.49 c Sol. found (all assignments made)... 64.50 c Sol. found (all assignments made)... 64.52 c Sol. found (all assignments made)... 64.52 c Sol. found (all assignments made)... 64.52 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.55 c Sol. found (all assignments made)... 64.56 c Sol. found (all assignments made)... 64.57 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.66 c Sol. found (all assignments made)... 64.68 c Sol. found (all assignments made)... 64.69 c Sol. found (all assignments made)... 64.70 c Sol. found (all assignments made)... 64.71 c Sol. found (all assignments made)... 64.71 c Sol. found (all assignments made)... 64.72 c Sol. found (all assignments made)... 64.72 c Sol. found (all assignments made)... 64.74 c Sol. found (all assignments made)... 64.76 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.81 c Sol. found (all assignments made)... 64.81 c Sol. found (all assignments made)... 64.81 c Sol. found (all assignments made)... 64.81 c Sol. found (all assignments made)... 64.82 c Sol. found (all assignments made)... 64.82 c Sol. found (all assignments made)... 64.83 c Sol. found (all assignments made)... 64.83 c Sol. found (all assignments made)... 64.83 c Sol. found (all assignments made)... 64.84 c Sol. found (all assignments made)... 64.84 c Sol. found (all assignments made)... 64.84 c Sol. found (all assignments made)... 64.85 c Sol. found (all assignments made)... 64.85 c Sol. found (all assignments made)... 64.86 c Sol. found (all assignments made)... 64.86 c Sol. found (all assignments made)... 64.87 c Sol. found (all assignments made)... 64.88 c Sol. found (all assignments made)... 64.88 c Sol. found (all assignments made)... 64.89 c Sol. found (all assignments made)... 64.89 c Sol. found (all assignments made)... 64.89 c Sol. found (all assignments made)... 64.90 c Sol. found (all assignments made)... 64.91 c Sol. found (all assignments made)... 64.91 c Sol. found (all assignments made)... 64.91 c Sol. found (all assignments made)... 64.92 c Sol. found (all assignments made)... 64.93 c Sol. found (all assignments made)... 64.93 c Sol. found (all assignments made)... 64.93 c Sol. found (all assignments made)... 64.99 c Restart #13 #Var: 945 LB: -945 @ 64.929 66.33 c Restart #14 #Var: 945 LB: -945 @ 66.266 67.76 c Restart #15 #Var: 945 LB: -945 @ 67.692 69.27 c Restart #16 #Var: 945 LB: -945 @ 69.203 70.82 c Restart #17 #Var: 945 LB: -945 @ 70.759 72.57 c Restart #18 #Var: 945 LB: -477 @ 72.501 73.31 c Sol. found (all assignments made)... 74.00 c Sol. found (all assignments made)... 74.37 c Restart #19 #Var: 945 LB: -945 @ 74.299 76.22 c Restart #20 #Var: 945 LB: -945 @ 76.153 78.23 c Restart #21 #Var: 945 LB: -945 @ 78.162 80.26 c Restart #22 #Var: 945 LB: -945 @ 80.185 82.45 c Restart #23 #Var: 945 LB: -945 @ 82.378 84.69 c Restart #24 #Var: 945 LB: -477 @ 84.616 85.95 c Sol. found (all assignments made)... 85.96 c Sol. found (all assignments made)... 85.97 c Sol. found (all assignments made)... 86.96 c Restart #25 #Var: 945 LB: -945 @ 86.891 89.39 c Restart #26 #Var: 945 LB: -478 @ 89.315 91.86 c Restart #27 #Var: 945 LB: -945 @ 91.788 94.42 c Restart #28 #Var: 945 LB: -478 @ 94.345 97.00 c Restart #29 #Var: 945 LB: -945 @ 96.927 99.68 c Restart #30 #Var: 945 LB: -945 @ 99.6 102.43 c Restart #31 #Var: 945 LB: -945 @ 102.35 105.23 c Restart #32 #Var: 945 LB: -945 @ 105.15 108.17 c Restart #33 #Var: 945 LB: -945 @ 108.09 111.19 c Restart #34 #Var: 945 LB: -945 @ 111.11 114.23 c Restart #35 #Var: 945 LB: -945 @ 114.15 117.40 c Restart #36 #Var: 945 LB: -477 @ 117.31 120.76 c Restart #37 #Var: 945 LB: -945 @ 120.68 121.11 c Sol. found (all assignments made)... 121.13 c Sol. found (all assignments made)... 121.13 c Sol. found (all assignments made)... 121.13 c Sol. found (all assignments made)... 121.14 c Sol. found (all assignments made)... 121.14 c Sol. found (all assignments made)... 123.21 c Sol. found (all assignments made)... 123.21 c Sol. found (all assignments made)... 123.21 c Sol. found (all assignments made)... 123.22 c Sol. found (all assignments made)... 123.23 c Sol. found (all assignments made)... 123.24 c Sol. found (all assignments made)... 123.24 c Sol. found (all assignments made)... 123.24 c Sol. found (all assignments made)... 123.29 c Sol. found (all assignments made)... 123.36 c Sol. found (all assignments made)... 123.52 c Sol. found (all assignments made)... 123.65 c Sol. found (all assignments made)... 123.65 c Sol. found (all assignments made)... 123.67 c Sol. found (all assignments made)... 123.67 c Sol. found (all assignments made)... 123.69 c Sol. found (all assignments made)... 123.69 c Sol. found (all assignments made)... 123.70 c Sol. found (all assignments made)... 123.70 c Sol. found (all assignments made)... 123.82 c Sol. found (all assignments made)... 123.82 c Sol. found (all assignments made)... 123.86 c Sol. found (all assignments made)... 123.86 c Sol. found (all assignments made)... 123.87 c Sol. found (all assignments made)... 124.00 c Sol. found (all assignments made)... 124.00 c Sol. found (all assignments made)... 124.00 c Sol. found (all assignments made)... 124.01 c Sol. found (all assignments made)... 124.02 c Sol. found (all assignments made)... 124.08 c Restart #38 #Var: 945 LB: -945 @ 123.99 127.71 c Restart #39 #Var: 945 LB: -945 @ 127.62 131.38 c Restart #40 #Var: 945 LB: -476 @ 131.29 132.87 c Sol. found (all assignments made)... 134.95 c Restart #41 #Var: 945 LB: -945 @ 134.86 135.13 c Sol. found (all assignments made)... 135.13 c Sol. found (all assignments made)... 135.14 c Sol. found (all assignments made)... 135.14 c Sol. found (all assignments made)... 135.14 c Sol. found (all assignments made)... 135.14 c Sol. found (all assignments made)... 135.15 c Sol. found (all assignments made)... 135.15 c Sol. found (all assignments made)... 135.15 c Sol. found (all assignments made)... 135.16 c Sol. found (all assignments made)... 135.16 c Sol. found (all assignments made)... 135.16 c Sol. found (all assignments made)... 135.16 c Sol. found (all assignments made)... 135.16 c Sol. found (all assignments made)... 135.17 c Sol. found (all assignments made)... 135.21 c Sol. found (all assignments made)... 135.21 c Sol. found (all assignments made)... 135.22 c Sol. found (all assignments made)... 135.22 c Sol. found (all assignments made)... 135.24 c Sol. found (all assignments made)... 135.24 c Sol. found (all assignments made)... 135.25 c Sol. found (all assignments made)... 135.25 c Sol. found (all assignments made)... 135.25 c Sol. found (all assignments made)... 135.26 c Sol. found (all assignments made)... 135.26 c Sol. found (all assignments made)... 135.27 c Sol. found (all assignments made)... 135.27 c Sol. found (all assignments made)... 135.28 c Sol. found (all assignments made)... 135.28 c Sol. found (all assignments made)... 135.35 c Sol. found (all assignments made)... 135.35 c Sol. found (all assignments made)... 135.36 c Sol. found (all assignments made)... 135.36 c Sol. found (all assignments made)... 135.36 c Sol. found (all assignments made)... 135.36 c Sol. found (all assignments made)... 135.42 c Sol. found (all assignments made)... 135.45 c Sol. found (all assignments made)... 135.46 c Sol. found (all assignments made)... 135.46 c Sol. found (all assignments made)... 135.46 c Sol. found (all assignments made)... 135.46 c Sol. found (all assignments made)... 135.47 c Sol. found (all assignments made)... 135.47 c Sol. found (all assignments made)... 135.50 c Sol. found (all assignments made)... 135.50 c Sol. found (all assignments made)... 135.63 c Sol. found (all assignments made)... 135.63 c Sol. found (all assignments made)... 135.63 c Sol. found (all assignments made)... 135.63 c Sol. found (all assignments made)... 135.81 c Sol. found (all assignments made)... 135.82 c Sol. found (all assignments made)... 135.82 c Sol. found (all assignments made)... 135.90 c Sol. found (all assignments made)... 135.92 c Sol. found (all assignments made)... 135.92 c Sol. found (all assignments made)... 135.99 c Sol. found (all assignments made)... 136.00 c Sol. found (all assignments made)... 136.00 c Sol. found (all assignments made)... 136.00 c Sol. found (all assignments made)... 136.00 c Sol. found (all assignments made)... 136.00 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.02 c Sol. found (all assignments made)... 136.02 c Sol. found (all assignments made)... 136.02 c Sol. found (all assignments made)... 136.02 c Sol. found (all assignments made)... 136.03 c Sol. found (all assignments made)... 136.03 c Sol. found (all assignments made)... 136.03 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.04 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 136.06 c Sol. found (all assignments made)... 136.06 c Sol. found (all assignments made)... 136.06 c Sol. found (all assignments made)... 136.06 c Sol. found (all assignments made)... 136.06 c Sol. found (all assignments made)... 136.07 c Sol. found (all assignments made)... 136.07 c Sol. found (all assignments made)... 136.07 c Sol. found (all assignments made)... 136.07 c Sol. found (all assignments made)... 136.07 c Sol. found (all assignments made)... 136.08 c Sol. found (all assignments made)... 136.08 c Sol. found (all assignments made)... 136.08 c Sol. found (all assignments made)... 136.09 c Sol. found (all assignments made)... 136.10 c Sol. found (all assignments made)... 136.10 c Sol. found (all assignments made)... 136.10 c Sol. found (all assignments made)... 136.14 c Sol. found (all assignments made)... 136.14 c Sol. found (all assignments made)... 136.14 c Sol. found (all assignments made)... 136.14 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.15 c Sol. found (all assignments made)... 136.16 c Sol. found (all assignments made)... 136.16 c Sol. found (all assignments made)... 136.16 c Sol. found (all assignments made)... 136.16 c Sol. found (all assignments made)... 136.17 c Sol. found (all assignments made)... 136.17 c Sol. found (all assignments made)... 136.17 c Sol. found (all assignments made)... 136.17 c Sol. found (all assignments made)... 136.18 c Sol. found (all assignments made)... 136.18 c Sol. found (all assignments made)... 136.18 c Sol. found (all assignments made)... 136.18 c Sol. found (all assignments made)... 136.19 c Sol. found (all assignments made)... 136.19 c Sol. found (all assignments made)... 136.21 c Sol. found (all assignments made)... 136.21 c Sol. found (all assignments made)... 136.22 c Sol. found (all assignments made)... 136.22 c Sol. found (all assignments made)... 136.22 c Sol. found (all assignments made)... 136.22 c Sol. found (all assignments made)... 136.22 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.24 c Sol. found (all assignments made)... 136.24 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.25 c Sol. found (all assignments made)... 136.26 c Sol. found (all assignments made)... 136.26 c Sol. found (all assignments made)... 136.26 c Sol. found (all assignments made)... 136.26 c Sol. found (all assignments made)... 136.27 c Sol. found (all assignments made)... 136.27 c Sol. found (all assignments made)... 136.27 c Sol. found (all assignments made)... 136.28 c Sol. found (all assignments made)... 136.28 c Sol. found (all assignments made)... 136.36 c Sol. found (all assignments made)... 136.36 c Sol. found (all assignments made)... 136.36 c Sol. found (all assignments made)... 136.37 c Sol. found (all assignments made)... 136.37 c Sol. found (all assignments made)... 136.38 c Sol. found (all assignments made)... 136.39 c Sol. found (all assignments made)... 136.39 c Sol. found (all assignments made)... 136.40 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.43 c Sol. found (all assignments made)... 136.44 c Sol. found (all assignments made)... 136.44 c Sol. found (all assignments made)... 136.44 c Sol. found (all assignments made)... 136.44 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.45 c Sol. found (all assignments made)... 136.46 c Sol. found (all assignments made)... 136.46 c Sol. found (all assignments made)... 136.46 c Sol. found (all assignments made)... 136.46 c Sol. found (all assignments made)... 136.49 c Sol. found (all assignments made)... 136.49 c Sol. found (all assignments made)... 136.50 c Sol. found (all assignments made)... 136.50 c Sol. found (all assignments made)... 136.50 c Sol. found (all assignments made)... 136.50 c Sol. found (all assignments made)... 136.50 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.51 c Sol. found (all assignments made)... 136.52 c Sol. found (all assignments made)... 136.52 c Sol. found (all assignments made)... 136.52 c Sol. found (all assignments made)... 136.52 c Sol. found (all assignments made)... 136.52 c Sol. found (all assignments made)... 136.53 c Sol. found (all assignments made)... 136.53 c Sol. found (all assignments made)... 136.53 c Sol. found (all assignments made)... 136.53 c Sol. found (all assignments made)... 136.53 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.54 c Sol. found (all assignments made)... 136.55 c Sol. found (all assignments made)... 136.55 c Sol. found (all assignments made)... 136.55 c Sol. found (all assignments made)... 136.58 c Sol. found (all assignments made)... 136.59 c Sol. found (all assignments made)... 136.59 c Sol. found (all assignments made)... 136.59 c Sol. found (all assignments made)... 136.60 c Sol. found (all assignments made)... 136.61 c Sol. found (all assignments made)... 136.61 c Sol. found (all assignments made)... 136.61 c Sol. found (all assignments made)... 136.62 c Sol. found (all assignments made)... 136.62 c Sol. found (all assignments made)... 136.63 c Sol. found (all assignments made)... 136.63 c Sol. found (all assignments made)... 136.63 c Sol. found (all assignments made)... 136.64 c Sol. found (all assignments made)... 136.66 c Sol. found (all assignments made)... 136.66 c Sol. found (all assignments made)... 136.68 c Sol. found (all assignments made)... 136.71 c Sol. found (all assignments made)... 136.72 c Sol. found (all assignments made)... 136.76 c Sol. found (all assignments made)... 136.77 c Sol. found (all assignments made)... 136.81 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.82 c Sol. found (all assignments made)... 136.83 c Sol. found (all assignments made)... 136.83 c Sol. found (all assignments made)... 136.83 c Sol. found (all assignments made)... 136.84 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.85 c Sol. found (all assignments made)... 136.86 c Sol. found (all assignments made)... 136.86 c Sol. found (all assignments made)... 136.86 c Sol. found (all assignments made)... 136.86 c Sol. found (all assignments made)... 136.87 c Sol. found (all assignments made)... 136.87 c Sol. found (all assignments made)... 136.87 c Sol. found (all assignments made)... 136.88 c Sol. found (all assignments made)... 136.89 c Sol. found (all assignments made)... 136.89 c Sol. found (all assignments made)... 136.90 c Sol. found (all assignments made)... 136.91 c Sol. found (all assignments made)... 136.91 c Sol. found (all assignments made)... 136.91 c Sol. found (all assignments made)... 136.91 c Sol. found (all assignments made)... 136.92 c Sol. found (all assignments made)... 136.92 c Sol. found (all assignments made)... 136.92 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.94 c Sol. found (all assignments made)... 136.95 c Sol. found (all assignments made)... 136.96 c Sol. found (all assignments made)... 136.96 c Sol. found (all assignments made)... 136.96 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.97 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 136.99 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.00 c Sol. found (all assignments made)... 137.01 c Sol. found (all assignments made)... 137.01 c Sol. found (all assignments made)... 137.01 c Sol. found (all assignments made)... 137.02 c Sol. found (all assignments made)... 137.02 c Sol. found (all assignments made)... 137.02 c Sol. found (all assignments made)... 137.02 c Sol. found (all assignments made)... 137.02 c Sol. found (all assignments made)... 137.03 c Sol. found (all assignments made)... 137.03 c Sol. found (all assignments made)... 137.03 c Sol. found (all assignments made)... 137.03 c Sol. found (all assignments made)... 137.04 c Sol. found (all assignments made)... 137.04 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.06 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.08 c Sol. found (all assignments made)... 137.08 c Sol. found (all assignments made)... 137.21 c Sol. found (all assignments made)... 137.24 c Sol. found (all assignments made)... 137.24 c Sol. found (all assignments made)... 137.28 c Sol. found (all assignments made)... 137.28 c Sol. found (all assignments made)... 137.29 c Sol. found (all assignments made)... 137.29 c Sol. found (all assignments made)... 137.29 c Sol. found (all assignments made)... 137.30 c Sol. found (all assignments made)... 137.30 c Sol. found (all assignments made)... 137.30 c Sol. found (all assignments made)... 137.34 c Sol. found (all assignments made)... 137.34 c Sol. found (all assignments made)... 137.36 c Sol. found (all assignments made)... 137.36 c Sol. found (all assignments made)... 137.36 c Sol. found (all assignments made)... 137.38 c Sol. found (all assignments made)... 137.39 c Sol. found (all assignments made)... 137.48 c Sol. found (all assignments made)... 137.48 c Sol. found (all assignments made)... 137.48 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.50 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.51 c Sol. found (all assignments made)... 137.54 c Sol. found (all assignments made)... 137.54 c Sol. found (all assignments made)... 137.54 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 137.55 c Sol. found (all assignments made)... 137.56 c Sol. found (all assignments made)... 137.56 c Sol. found (all assignments made)... 137.57 c Sol. found (all assignments made)... 137.58 c Sol. found (all assignments made)... 137.58 c Sol. found (all assignments made)... 137.58 c Sol. found (all assignments made)... 137.64 c Sol. found (all assignments made)... 137.64 c Sol. found (all assignments made)... 137.64 c Sol. found (all assignments made)... 137.65 c Sol. found (all assignments made)... 137.66 c Sol. found (all assignments made)... 137.66 c Sol. found (all assignments made)... 137.66 c Sol. found (all assignments made)... 137.66 c Sol. found (all assignments made)... 137.67 c Sol. found (all assignments made)... 137.67 c Sol. found (all assignments made)... 137.68 c Sol. found (all assignments made)... 137.68 c Sol. found (all assignments made)... 137.68 c Sol. found (all assignments made)... 137.69 c Sol. found (all assignments made)... 137.69 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.71 c Sol. found (all assignments made)... 137.72 c Sol. found (all assignments made)... 137.80 c Sol. found (all assignments made)... 137.80 c Sol. found (all assignments made)... 137.83 c Sol. found (all assignments made)... 137.83 c Sol. found (all assignments made)... 137.86 c Sol. found (all assignments made)... 137.86 c Sol. found (all assignments made)... 137.86 c Sol. found (all assignments made)... 137.86 c Sol. found (all assignments made)... 137.86 c Sol. found (all assignments made)... 137.87 c Sol. found (all assignments made)... 137.87 c Sol. found (all assignments made)... 137.87 c Sol. found (all assignments made)... 137.88 c Sol. found (all assignments made)... 137.90 c Sol. found (all assignments made)... 137.90 c Sol. found (all assignments made)... 137.90 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.91 c Sol. found (all assignments made)... 137.92 c Sol. found (all assignments made)... 137.92 c Sol. found (all assignments made)... 137.92 c Sol. found (all assignments made)... 137.92 c Sol. found (all assignments made)... 137.93 c Sol. found (all assignments made)... 137.93 c Sol. found (all assignments made)... 137.93 c Sol. found (all assignments made)... 137.93 c Sol. found (all assignments made)... 137.94 c Sol. found (all assignments made)... 137.94 c Sol. found (all assignments made)... 137.94 c Sol. found (all assignments made)... 137.95 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.98 c Sol. found (all assignments made)... 137.99 c Sol. found (all assignments made)... 137.99 c Sol. found (all assignments made)... 138.00 c Sol. found (all assignments made)... 138.00 c Sol. found (all assignments made)... 138.00 c Sol. found (all assignments made)... 138.07 c Sol. found (all assignments made)... 138.07 c Sol. found (all assignments made)... 138.07 c Sol. found (all assignments made)... 138.10 c Sol. found (all assignments made)... 138.12 c Sol. found (all assignments made)... 138.12 c Sol. found (all assignments made)... 138.13 c Sol. found (all assignments made)... 138.13 c Sol. found (all assignments made)... 138.13 c Sol. found (all assignments made)... 138.13 c Sol. found (all assignments made)... 138.14 c Sol. found (all assignments made)... 138.14 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.15 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 138.17 c Sol. found (all assignments made)... 138.32 c Sol. found (all assignments made)... 138.32 c Sol. found (all assignments made)... 138.32 c Sol. found (all assignments made)... 138.33 c Sol. found (all assignments made)... 138.33 c Sol. found (all assignments made)... 138.36 c Sol. found (all assignments made)... 138.37 c Sol. found (all assignments made)... 138.38 c Sol. found (all assignments made)... 138.38 c Sol. found (all assignments made)... 138.38 c Sol. found (all assignments made)... 138.41 c Sol. found (all assignments made)... 138.41 c Sol. found (all assignments made)... 138.49 c Sol. found (all assignments made)... 138.50 c Sol. found (all assignments made)... 138.57 c Restart #42 #Var: 945 LB: -945 @ 138.48 142.35 c Restart #43 #Var: 945 LB: -945 @ 142.26 146.17 c Restart #44 #Var: 945 LB: -945 @ 146.07 149.23 c Sol. found (all assignments made)... 149.23 c Sol. found (all assignments made)... 149.23 c Sol. found (all assignments made)... 149.23 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.24 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.25 c Sol. found (all assignments made)... 149.26 c Sol. found (all assignments made)... 149.26 c Sol. found (all assignments made)... 149.26 c Sol. found (all assignments made)... 149.26 c Sol. found (all assignments made)... 150.01 c Restart #45 #Var: 945 LB: -945 @ 149.92 154.13 c Restart #46 #Var: 945 LB: -478 @ 154.04 158.24 c Restart #47 #Var: 945 LB: -945 @ 158.14 159.08 c Sol. found (all assignments made)... 159.08 c Sol. found (all assignments made)... 159.16 c Sol. found (all assignments made)... 159.16 c Sol. found (all assignments made)... 159.17 c Sol. found (all assignments made)... 159.17 c Sol. found (all assignments made)... 160.84 c Sol. found (all assignments made)... 160.84 c Sol. found (all assignments made)... 162.36 c Restart #48 #Var: 945 LB: -945 @ 162.26 166.87 c Restart #49 #Var: 945 LB: -945 @ 166.77 170.48 c Sol. found (all assignments made)... 170.48 c Sol. found (all assignments made)... 170.64 c Sol. found (all assignments made)... 170.64 c Sol. found (all assignments made)... 170.65 c Sol. found (all assignments made)... 170.66 c Sol. found (all assignments made)... 170.71 c Sol. found (all assignments made)... 170.72 c Sol. found (all assignments made)... 170.73 c Sol. found (all assignments made)... 170.74 c Sol. found (all assignments made)... 171.03 c Restart #50 #Var: 945 LB: -945 @ 170.93 175.46 c Restart #51 #Var: 945 LB: -945 @ 175.36 179.96 c Restart #52 #Var: 945 LB: -945 @ 179.85 184.62 c Restart #53 #Var: 945 LB: -945 @ 184.51 189.43 c Restart #54 #Var: 945 LB: -945 @ 189.32 191.50 c Sol. found (all assignments made)... 191.50 c Sol. found (all assignments made)... 191.51 c Sol. found (all assignments made)... 191.52 c Sol. found (all assignments made)... 194.13 c Restart #55 #Var: 945 LB: -945 @ 194.02 195.53 c Sol. found (all assignments made)... 196.44 c Sol. found (all assignments made)... 196.44 o -37 196.44 c NEW SOLUTION FOUND: -37 @ 196.33 196.44 c Sol. found (all assignments made)... 201.12 c Restart #56 #Var: 945 LB: -945 @ 201 206.30 c Restart #57 #Var: 945 LB: -945 @ 206.18 211.37 c Restart #58 #Var: 945 LB: -945 @ 211.25 214.18 c Sol. found (all assignments made)... 216.43 c Restart #59 #Var: 945 LB: -945 @ 216.31 221.56 c Restart #60 #Var: 945 LB: -945 @ 221.44 226.88 c Restart #61 #Var: 945 LB: -945 @ 226.76 232.24 c Restart #62 #Var: 945 LB: -945 @ 232.11 237.76 c Restart #63 #Var: 945 LB: -945 @ 237.63 243.50 c Restart #64 #Var: 945 LB: -945 @ 243.37 249.08 c Restart #65 #Var: 945 LB: -945 @ 248.95 254.78 c Restart #66 #Var: 945 LB: -945 @ 254.65 260.74 c Restart #67 #Var: 945 LB: -945 @ 260.6 266.75 c Restart #68 #Var: 945 LB: -945 @ 266.61 272.95 c Restart #69 #Var: 945 LB: -945 @ 272.81 279.09 c Restart #70 #Var: 945 LB: -945 @ 278.95 285.21 c Restart #71 #Var: 945 LB: -945 @ 285.06 291.48 c Restart #72 #Var: 945 LB: -945 @ 291.33 297.68 c Restart #73 #Var: 945 LB: -945 @ 297.53 304.34 c Restart #74 #Var: 945 LB: -945 @ 304.18 310.75 c Restart #75 #Var: 945 LB: -945 @ 310.6 317.30 c Restart #76 #Var: 945 LB: -945 @ 317.14 324.21 c Restart #77 #Var: 945 LB: -945 @ 324.05 330.82 c Restart #78 #Var: 945 LB: -945 @ 330.65 331.77 c Sol. found (all assignments made)... 337.25 c Sol. found (all assignments made)... 337.27 c Sol. found (all assignments made)... 337.40 c Sol. found (all assignments made)... 337.41 c Sol. found (all assignments made)... 337.43 c Sol. found (all assignments made)... 337.43 c Sol. found (all assignments made)... 337.43 c Sol. found (all assignments made)... 337.44 c Sol. found (all assignments made)... 337.59 c Restart #79 #Var: 945 LB: -945 @ 337.42 344.45 c Restart #80 #Var: 945 LB: -945 @ 344.29 351.50 c Restart #81 #Var: 945 LB: -945 @ 351.32 358.39 c Restart #82 #Var: 945 LB: -945 @ 358.21 365.60 c Restart #83 #Var: 945 LB: -945 @ 365.42 372.83 c Restart #84 #Var: 945 LB: -945 @ 372.65 380.07 c Restart #85 #Var: 945 LB: -945 @ 379.89 387.42 c Restart #86 #Var: 945 LB: -945 @ 387.24 389.05 c Sol. found (all assignments made)... 389.05 c Sol. found (all assignments made)... 389.06 c Sol. found (all assignments made)... 389.06 c Sol. found (all assignments made)... 394.77 c Restart #87 #Var: 945 LB: -945 @ 394.58 402.46 c Restart #88 #Var: 945 LB: -945 @ 402.27 410.11 c Restart #89 #Var: 945 LB: -945 @ 409.92 417.77 c Restart #90 #Var: 945 LB: -945 @ 417.57 423.93 c Sol. found (all assignments made)... 423.94 c Sol. found (all assignments made)... 423.94 c Sol. found (all assignments made)... 423.94 c Sol. found (all assignments made)... 423.94 c Sol. found (all assignments made)... 423.95 c Sol. found (all assignments made)... 423.95 c Sol. found (all assignments made)... 423.95 c Sol. found (all assignments made)... 423.96 c Sol. found (all assignments made)... 423.96 c Sol. found (all assignments made)... 423.96 c Sol. found (all assignments made)... 423.97 c Sol. found (all assignments made)... 423.97 c Sol. found (all assignments made)... 423.97 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.98 c Sol. found (all assignments made)... 423.99 c Sol. found (all assignments made)... 424.00 c Sol. found (all assignments made)... 424.00 c Sol. found (all assignments made)... 424.01 c Sol. found (all assignments made)... 424.01 c Sol. found (all assignments made)... 424.01 c Sol. found (all assignments made)... 424.01 c Sol. found (all assignments made)... 424.01 c Sol. found (all assignments made)... 424.02 c Sol. found (all assignments made)... 424.02 c Sol. found (all assignments made)... 424.03 c Sol. found (all assignments made)... 424.03 c Sol. found (all assignments made)... 424.07 c Sol. found (all assignments made)... 424.07 c Sol. found (all assignments made)... 424.07 c Sol. found (all assignments made)... 424.14 c Sol. found (all assignments made)... 424.14 c Sol. found (all assignments made)... 424.15 c Sol. found (all assignments made)... 424.65 c Sol. found (all assignments made)... 425.04 c Sol. found (all assignments made)... 425.05 c Sol. found (all assignments made)... 425.05 c Sol. found (all assignments made)... 425.06 c Sol. found (all assignments made)... 425.06 c Sol. found (all assignments made)... 425.14 c Sol. found (all assignments made)... 425.19 c Sol. found (all assignments made)... 425.27 c Sol. found (all assignments made)... 425.44 c Restart #91 #Var: 945 LB: -945 @ 425.24 433.45 c Restart #92 #Var: 945 LB: -945 @ 433.25 441.64 c Restart #93 #Var: 945 LB: -945 @ 441.43 449.01 c Restart #94 #Var: 945 LB: -477 @ 448.8 453.37 c Sol. found (all assignments made)... 456.95 c Restart #95 #Var: 945 LB: -945 @ 456.71 464.94 c Restart #96 #Var: 945 LB: -945 @ 464.69 473.30 c Restart #97 #Var: 945 LB: -945 @ 473.05 481.75 c Restart #98 #Var: 945 LB: -945 @ 481.5 490.47 c Restart #99 #Var: 945 LB: -945 @ 490.21 498.94 c Restart #100 #Var: 945 LB: -945 @ 498.68 507.80 c Restart #101 #Var: 945 LB: -945 @ 507.53 516.40 c Restart #102 #Var: 945 LB: -945 @ 516.13 525.30 c Restart #103 #Var: 945 LB: -945 @ 525.03 534.20 c Restart #104 #Var: 945 LB: -945 @ 533.92 543.40 c Restart #105 #Var: 945 LB: -945 @ 543.12 552.31 c Restart #106 #Var: 945 LB: -945 @ 552.02 561.47 c Restart #107 #Var: 945 LB: -945 @ 561.18 570.91 c Restart #108 #Var: 945 LB: -945 @ 570.62 580.42 c Restart #109 #Var: 945 LB: -945 @ 580.13 589.77 c Restart #110 #Var: 945 LB: -945 @ 589.47 599.22 c Restart #111 #Var: 945 LB: -945 @ 598.92 608.77 c Restart #112 #Var: 945 LB: -945 @ 608.46 610.41 c Sol. found (all assignments made)... 610.58 c Sol. found (all assignments made)... 618.31 c Restart #113 #Var: 945 LB: -945 @ 618 627.87 c Restart #114 #Var: 945 LB: -945 @ 627.55 628.15 c Sol. found (all assignments made)... 628.54 c Sol. found (all assignments made)... 628.54 o -38 628.54 c NEW SOLUTION FOUND: -38 @ 628.23 628.54 c Sol. found (all assignments made)... 628.88 c Sol. found (all assignments made)... 628.88 c Sol. found (all assignments made)... 638.02 c Restart #115 #Var: 945 LB: -945 @ 637.7 647.96 c Restart #116 #Var: 945 LB: -945 @ 647.64 658.26 c Restart #117 #Var: 945 LB: -945 @ 657.94 668.62 c Restart #118 #Var: 945 LB: -945 @ 668.3 678.87 c Restart #119 #Var: 945 LB: -945 @ 678.54 689.51 c Restart #120 #Var: 945 LB: -945 @ 689.18 700.14 c Restart #121 #Var: 945 LB: -945 @ 699.8 710.75 c Restart #122 #Var: 945 LB: -945 @ 710.41 721.37 c Restart #123 #Var: 945 LB: -945 @ 721.02 732.00 c Restart #124 #Var: 945 LB: -945 @ 731.65 742.81 c Restart #125 #Var: 945 LB: -945 @ 742.46 743.01 c Sol. found (all assignments made)... 743.02 c Sol. found (all assignments made)... 743.02 c Sol. found (all assignments made)... 744.00 c Sol. found (all assignments made)... 748.44 c Sol. found (all assignments made)... 753.41 c Restart #126 #Var: 945 LB: -945 @ 753.05 764.75 c Restart #127 #Var: 945 LB: -476 @ 764.39 776.35 c Restart #128 #Var: 945 LB: -945 @ 775.98 787.48 c Restart #129 #Var: 945 LB: -945 @ 787.11 798.31 c Restart #130 #Var: 945 LB: -945 @ 797.93 809.92 c Restart #131 #Var: 945 LB: -945 @ 809.54 821.48 c Restart #132 #Var: 945 LB: -945 @ 821.1 832.79 c Restart #133 #Var: 945 LB: -945 @ 832.4 844.26 c Restart #134 #Var: 945 LB: -945 @ 843.86 855.74 c Restart #135 #Var: 945 LB: -945 @ 855.34 867.86 c Restart #136 #Var: 945 LB: -945 @ 867.46 871.79 c Sol. found (all assignments made)... 872.03 c Sol. found (all assignments made)... 872.38 c Sol. found (all assignments made)... 872.40 c Sol. found (all assignments made)... 879.61 c Restart #137 #Var: 945 LB: -945 @ 879.21 891.63 c Restart #138 #Var: 945 LB: -945 @ 891.22 903.25 c Restart #139 #Var: 945 LB: -945 @ 902.84 915.31 c Restart #140 #Var: 945 LB: -945 @ 914.89 927.70 c Restart #141 #Var: 945 LB: -945 @ 927.27 939.69 c Restart #142 #Var: 945 LB: -945 @ 939.26 951.80 c Restart #143 #Var: 945 LB: -945 @ 951.37 964.34 c Restart #144 #Var: 945 LB: -945 @ 963.9 976.92 c Restart #145 #Var: 945 LB: -945 @ 976.48 989.88 c Restart #146 #Var: 945 LB: -945 @ 989.43 1002.75 c Restart #147 #Var: 945 LB: -945 @ 1002.3 1015.90 c Restart #148 #Var: 945 LB: -945 @ 1015.4 1028.67 c Restart #149 #Var: 945 LB: -945 @ 1028.2 1041.87 c Restart #150 #Var: 945 LB: -945 @ 1041.4 1054.61 c Restart #151 #Var: 945 LB: -945 @ 1054.1 1067.86 c Restart #152 #Var: 945 LB: -945 @ 1067.4 1080.90 c Restart #153 #Var: 945 LB: -945 @ 1080.4 1094.14 c Restart #154 #Var: 945 LB: -945 @ 1093.7 1107.76 c Restart #155 #Var: 945 LB: -945 @ 1107.3 1121.58 c Restart #156 #Var: 945 LB: -945 @ 1121.1 1135.28 c Restart #157 #Var: 945 LB: -945 @ 1134.8 1149.02 c Restart #158 #Var: 945 LB: -945 @ 1148.5 1162.94 c Restart #159 #Var: 945 LB: -945 @ 1162.4 1176.87 c Restart #160 #Var: 945 LB: -945 @ 1176.4 1190.59 c Restart #161 #Var: 945 LB: -945 @ 1190.1 1204.37 c Restart #162 #Var: 945 LB: -945 @ 1203.8 1218.45 c Restart #163 #Var: 945 LB: -945 @ 1217.9 1232.29 c Restart #164 #Var: 945 LB: -945 @ 1231.8 1246.80 c Restart #165 #Var: 945 LB: -945 @ 1246.3 1260.92 c Restart #166 #Var: 945 LB: -945 @ 1260.4 1275.56 c Restart #167 #Var: 945 LB: -945 @ 1275 1289.78 c Restart #168 #Var: 945 LB: -945 @ 1289.2 1304.61 c Restart #169 #Var: 945 LB: -945 @ 1304 1319.02 c Restart #170 #Var: 945 LB: -945 @ 1318.4 1333.86 c Restart #171 #Var: 945 LB: -945 @ 1333.3 1348.37 c Restart #172 #Var: 945 LB: -945 @ 1347.8 1363.05 c Restart #173 #Var: 945 LB: -945 @ 1362.5 1378.37 c Restart #174 #Var: 945 LB: -945 @ 1377.8 1393.85 c Restart #175 #Var: 945 LB: -945 @ 1393.3 1408.59 c Restart #176 #Var: 945 LB: -945 @ 1408 1423.82 c Restart #177 #Var: 945 LB: -945 @ 1423.2 1439.09 c Restart #178 #Var: 945 LB: -945 @ 1438.5 1454.30 c Restart #179 #Var: 945 LB: -945 @ 1453.7 1469.30 c Restart #180 #Var: 945 LB: -945 @ 1468.7 1485.09 c Restart #181 #Var: 945 LB: -945 @ 1484.5 1500.40 c Restart #182 #Var: 945 LB: -945 @ 1499.8 1516.19 c Restart #183 #Var: 945 LB: -945 @ 1515.5 1532.63 c Restart #184 #Var: 945 LB: -945 @ 1532 1548.49 c Restart #185 #Var: 945 LB: -945 @ 1547.8 1564.45 c Restart #186 #Var: 945 LB: -945 @ 1563.8 1580.29 c Restart #187 #Var: 945 LB: -945 @ 1579.6 1596.08 c Restart #188 #Var: 945 LB: -945 @ 1595.4 1612.12 c Restart #189 #Var: 945 LB: -945 @ 1611.4 1628.32 c Restart #190 #Var: 945 LB: -945 @ 1627.6 1644.85 c Restart #191 #Var: 945 LB: -945 @ 1644.2 1661.30 c Restart #192 #Var: 945 LB: -945 @ 1660.6 1677.87 c Restart #193 #Var: 945 LB: -945 @ 1677.2 1694.57 c Restart #194 #Var: 945 LB: -945 @ 1693.9 1711.45 c Restart #195 #Var: 945 LB: -945 @ 1710.7 1728.06 c Restart #196 #Var: 945 LB: -945 @ 1727.3 1744.77 c Restart #197 #Var: 945 LB: -945 @ 1744 1761.63 c Restart #198 #Var: 945 LB: -945 @ 1760.9 1778.83 c Restart #199 #Var: 945 LB: -945 @ 1778.1 1795.91 c Restart #200 #Var: 945 LB: -945 @ 1795.2 1800.75 s SATISFIABLE 1800.75 c Cost: -38 1800.75 v -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.75 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.75 v -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.75 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.75 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.75 v -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.75 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.75 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 1800.75 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.75 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.75 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.75 v -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.75 v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.75 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.75 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.75 v -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.75 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.75 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.75 v -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.75 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.75 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.75 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 1800.75 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 1800.75 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.75 v -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.75 v -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.75 v -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.75 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 1800.75 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1800.75 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.75 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 1800.75 v -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.75 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 1800.75 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 1800.75 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.75 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.75 v -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.75 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.75 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.75 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 1800.75 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 1800.75 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 1800.75 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 1800.75 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 1800.75 c Exit Code: 10 1800.75 c Total time: 1800 s
OK -38
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/node6/watcher-40499-1149296019 -o ROOT/results/node6/solver-40499-1149296019 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40499-1149296019/instance-40499-1149296019.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1532384/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=2900 CPUtime=0 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 195264042 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 1 0 0 /proc/11659/statm: 725 27 19 55 0 38 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1500960/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=35576 CPUtime=9.98 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 8172 0 0 0 993 5 0 0 25 0 1 0 195264042 36429824 8087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 8894 8087 297 55 0 7786 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 35576 [startup+20.0096 s] /proc/loadavg: 0.94 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1495200/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=40472 CPUtime=19.96 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 9561 0 3 0 1989 7 0 0 25 0 1 0 195264042 41443328 9244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 10118 9244 308 55 0 9010 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 40472 [startup+30.0166 s] /proc/loadavg: 0.95 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1473632/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=80220 CPUtime=29.96 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 16907 0 9 0 2984 12 0 0 25 0 1 0 195264042 82145280 14421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 20055 14421 403 55 0 18947 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 80220 [startup+40.0225 s] /proc/loadavg: 0.96 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1470688/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=75440 CPUtime=39.96 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 19324 0 9 0 3982 14 0 0 25 0 1 0 195264042 77250560 15186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 18860 15186 415 55 0 17752 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 75440 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1464736/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=87696 CPUtime=49.96 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 182648 0 9 0 4910 86 0 0 25 0 1 0 195264042 89800704 16708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 21924 16708 436 55 0 20816 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 87696 [startup+60.0345 s] /proc/loadavg: 0.97 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482784/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52140 CPUtime=59.96 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 208401 0 9 0 5898 98 0 0 25 0 1 0 195264042 53391360 12174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13035 12174 436 55 0 11927 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 52140 [startup+70.0405 s] /proc/loadavg: 0.97 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482720/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52348 CPUtime=69.97 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 208726 0 9 0 6898 99 0 0 25 0 1 0 195264042 53604352 12232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13087 12232 436 55 0 11979 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 52348 [startup+80.0465 s] /proc/loadavg: 0.98 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482656/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52272 CPUtime=79.97 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 208941 0 9 0 7897 100 0 0 25 0 1 0 195264042 53526528 12214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13068 12214 436 55 0 11960 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 52272 [startup+90.0524 s] /proc/loadavg: 0.98 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482592/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52220 CPUtime=89.97 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209085 0 9 0 8897 100 0 0 25 0 1 0 195264042 53473280 12201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13055 12201 436 55 0 11947 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 52220 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482464/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52648 CPUtime=99.97 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209258 0 9 0 9896 101 0 0 25 0 1 0 195264042 53911552 12283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2622030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13162 12283 436 55 0 12054 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 52648 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482464/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52384 CPUtime=109.97 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209269 0 9 0 10895 102 0 0 25 0 1 0 195264042 53641216 12242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13096 12242 436 55 0 11988 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 52384 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482464/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52448 CPUtime=119.98 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209361 0 9 0 11894 104 0 0 25 0 1 0 195264042 53706752 12258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13112 12258 436 55 0 12004 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 52448 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482656/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52220 CPUtime=129.98 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209400 0 9 0 12894 104 0 0 25 0 1 0 195264042 53473280 12201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13055 12201 436 55 0 11947 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 52220 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482656/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52256 CPUtime=139.98 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209457 0 9 0 13892 106 0 0 25 0 1 0 195264042 53510144 12210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2622333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13064 12210 436 55 0 11956 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 52256 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482528/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52520 CPUtime=149.99 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209570 0 9 0 14892 107 0 0 25 0 1 0 195264042 53780480 12275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13130 12275 436 55 0 12022 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 52520 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482592/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52380 CPUtime=159.99 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209623 0 9 0 15891 108 0 0 25 0 1 0 195264042 53637120 12225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2621153 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13095 12225 436 55 0 11987 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 52380 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482592/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52352 CPUtime=169.99 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209683 0 9 0 16889 110 0 0 25 0 1 0 195264042 53608448 12227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13088 12227 436 55 0 11980 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 52352 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482464/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52616 CPUtime=179.99 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209737 0 9 0 17888 111 0 0 25 0 1 0 195264042 53878784 12281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13154 12281 436 55 0 12046 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 52616 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482464/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52568 CPUtime=190 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209737 0 9 0 18888 112 0 0 25 0 1 0 195264042 53829632 12281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2621590 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13142 12281 436 55 0 12034 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 52568 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482528/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52516 CPUtime=199.99 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 209794 0 9 0 19886 113 0 0 25 0 1 0 195264042 53776384 12258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13129 12258 436 55 0 12021 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 52516 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11659 /proc/meminfo: memFree=1482336/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1760.33 Current children cumulated vsize (Kb) 52956 [startup+1771.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1770.33 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 176748 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2617496 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1770.33 Current children cumulated vsize (Kb) 52956 [startup+1781.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1780.33 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 177748 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 52956 [startup+1782.09 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1781.33 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 177848 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 52956 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1782.34 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 177949 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 52956 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1783.34 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178049 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2620968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 52956 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1784.35 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178150 285 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 52956 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1785.36 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178250 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 52956 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1786.36 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178350 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 52956 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1787.36 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178450 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1787.36 Current children cumulated vsize (Kb) 52956 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1788.37 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178551 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 52956 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1789.37 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178651 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (Kb) 52956 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1790.37 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178751 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2617421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 52956 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1791.38 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178852 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2621495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 52956 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1792.38 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 178952 286 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1792.38 Current children cumulated vsize (Kb) 52956 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1793.39 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179052 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 52956 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1794.4 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179153 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2618692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 52956 [startup+1796.15 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1795.4 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179253 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 52956 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1796.41 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179354 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 52956 [startup+1798.16 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1797.41 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179454 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 52956 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1798.41 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179554 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 52956 [startup+1800.17 s] /proc/loadavg: 0.99 0.98 0.97 2/64 11854 /proc/meminfo: memFree=1481640/2055924 swapFree=4181416/4192956 [pid=11659] ppid=11657 vsize=52956 CPUtime=1799.41 /proc/11659/stat : 11659 (bsolo) R 11657 11659 11613 0 -1 0 212168 0 9 0 179654 287 0 0 25 0 1 0 195264042 54226944 12385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11659/statm: 13239 12385 436 55 0 12131 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 52956 Child status: 10 Real time (s): 1800.77 CPU time (s): 1800.01 CPU user time (s): 1797.13 CPU system time (s): 2.88456 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (Kb): 87696
Begin job on node6 on Sat Jun 3 00:53:39 UTC 2006 FILE ID= 40499-1149296019 PBS_JOBID= 307104 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40499-1149296019/instance-40499-1149296019.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-40499-1149296019 -o ROOT/results/node6/solver-40499-1149296019 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/40499-1149296019/instance-40499-1149296019.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED= 729050900 /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.268 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.268 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: 2055924 kB MemFree: 1532528 kB Buffers: 23996 kB Cached: 427928 kB SwapCached: 3472 kB Active: 29688 kB Inactive: 431192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1532528 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14924 kB Slab: 48584 kB Committed_AS: 254064 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Sat Jun 3 01:23:40 UTC 2006