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 | -41 | 1800.02 | 1800.67 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
| MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -49 |
| Best CPU time to get the best result obtained on this benchmark | 1800.25 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80851 |
| Number of constraints which are clauses | 80851 |
| 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 | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.08 c INFO: OSL Context initialized. 1.38 c Initial problem consists of 1150 variables and 80851 constraints. 12.31 c No problem reductions applied in OPT. instance. 12.31 c preprocess terminated. Elapsed time: 12.23 12.31 c After prepocess the problem consists of 1150 variables and 80851 constraints. 12.31 c Initial Lower Bound: -1150 12.38 c Sol. found (all assignments made)... 12.38 o -1 12.38 c NEW SOLUTION FOUND: -1 @ 12.303 12.38 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 o -2 12.39 c NEW SOLUTION FOUND: -2 @ 12.305 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 o -3 12.39 c NEW SOLUTION FOUND: -3 @ 12.311 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.56 c Restart #1 #Var: 1150 LB: -1150 @ 12.48 12.62 c Sol. found (all assignments made)... 12.62 o -11 12.62 c NEW SOLUTION FOUND: -11 @ 12.543 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.88 c Restart #2 #Var: 1150 LB: -1150 @ 12.804 12.96 c Sol. found (all assignments made)... 12.96 o -34 12.96 c NEW SOLUTION FOUND: -34 @ 12.881 12.96 c Sol. found (all assignments made)... 12.96 o -35 12.96 c NEW SOLUTION FOUND: -35 @ 12.882 12.96 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.05 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.06 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 o -36 13.08 c NEW SOLUTION FOUND: -36 @ 12.995 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.08 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.09 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.27 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.30 c Sol. found (all assignments made)... 13.42 c Restart #3 #Var: 1150 LB: -1150 @ 13.339 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.50 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.52 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.53 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.54 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.58 c Sol. found (all assignments made)... 13.59 c Sol. found (all assignments made)... 13.60 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.61 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.65 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.67 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.68 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.69 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.70 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.72 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.73 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.74 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.75 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.77 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.86 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.94 c Restart #4 #Var: 1150 LB: -1150 @ 13.861 14.55 c Restart #5 #Var: 1150 LB: -1150 @ 14.473 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.64 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.65 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.69 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.72 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.80 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.16 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.17 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.18 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.26 c Restart #6 #Var: 1150 LB: -1150 @ 15.179 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.39 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.40 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.47 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.49 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.64 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.69 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.71 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.74 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 o -37 15.75 c NEW SOLUTION FOUND: -37 @ 15.666 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.75 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.76 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.77 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.79 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 16.00 c Sol. found (all assignments made)... 16.01 c Sol. found (all assignments made)... 16.01 c Sol. found (all assignments made)... 16.01 c Sol. found (all assignments made)... 16.01 c Sol. found (all assignments made)... 16.02 c Sol. found (all assignments made)... 16.02 c Sol. found (all assignments made)... 16.02 c Sol. found (all assignments made)... 16.03 c Sol. found (all assignments made)... 16.03 c Sol. found (all assignments made)... 16.03 c Sol. found (all assignments made)... 16.03 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.05 c Sol. found (all assignments made)... 16.05 c Sol. found (all assignments made)... 16.06 c Sol. found (all assignments made)... 16.06 c Sol. found (all assignments made)... 16.06 c Sol. found (all assignments made)... 16.06 c Sol. found (all assignments made)... 16.06 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.07 c Sol. found (all assignments made)... 16.08 c Sol. found (all assignments made)... 16.08 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.24 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.32 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.34 c Sol. found (all assignments made)... 16.34 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.38 c Sol. found (all assignments made)... 16.46 c Restart #7 #Var: 1150 LB: -1150 @ 16.381 16.55 c Sol. found (all assignments made)... 16.55 c Sol. found (all assignments made)... 16.56 c Sol. found (all assignments made)... 16.57 c Sol. found (all assignments made)... 16.60 c Sol. found (all assignments made)... 16.60 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.63 c Sol. found (all assignments made)... 16.63 c Sol. found (all assignments made)... 16.64 c Sol. found (all assignments made)... 16.64 c Sol. found (all assignments made)... 16.65 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.12 c Sol. found (all assignments made)... 17.12 c Sol. found (all assignments made)... 17.12 c Sol. found (all assignments made)... 17.12 c Sol. found (all assignments made)... 17.13 c Sol. found (all assignments made)... 17.13 c Sol. found (all assignments made)... 17.13 c Sol. found (all assignments made)... 17.14 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.24 c Sol. found (all assignments made)... 17.24 c Sol. found (all assignments made)... 17.24 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.26 c Sol. found (all assignments made)... 17.36 c Restart #8 #Var: 1150 LB: -1150 @ 17.282 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.50 c Sol. found (all assignments made)... 17.50 c Sol. found (all assignments made)... 17.50 c Sol. found (all assignments made)... 17.51 c Sol. found (all assignments made)... 17.51 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.53 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.56 c Sol. found (all assignments made)... 17.57 c Sol. found (all assignments made)... 17.57 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.61 c Sol. found (all assignments made)... 17.61 c Sol. found (all assignments made)... 17.61 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.64 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.68 c Sol. found (all assignments made)... 17.68 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 17.71 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.76 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.77 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.79 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.80 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.81 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.83 c Sol. found (all assignments made)... 17.83 c Sol. found (all assignments made)... 17.83 c Sol. found (all assignments made)... 17.84 c Sol. found (all assignments made)... 17.84 c Sol. found (all assignments made)... 17.84 c Sol. found (all assignments made)... 17.85 c Sol. found (all assignments made)... 17.85 c Sol. found (all assignments made)... 17.86 c Sol. found (all assignments made)... 17.87 c Sol. found (all assignments made)... 17.88 c Sol. found (all assignments made)... 17.88 c Sol. found (all assignments made)... 17.89 c Sol. found (all assignments made)... 17.89 c Sol. found (all assignments made)... 17.89 c Sol. found (all assignments made)... 17.90 c Sol. found (all assignments made)... 17.91 c Sol. found (all assignments made)... 17.91 c Sol. found (all assignments made)... 17.92 c Sol. found (all assignments made)... 17.93 c Sol. found (all assignments made)... 17.93 c Sol. found (all assignments made)... 17.94 c Sol. found (all assignments made)... 17.95 c Sol. found (all assignments made)... 17.95 c Sol. found (all assignments made)... 17.96 c Sol. found (all assignments made)... 17.96 c Sol. found (all assignments made)... 17.96 c Sol. found (all assignments made)... 17.97 c Sol. found (all assignments made)... 17.97 c Sol. found (all assignments made)... 17.97 c Sol. found (all assignments made)... 17.97 c Sol. found (all assignments made)... 17.98 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.05 c Sol. found (all assignments made)... 18.05 c Sol. found (all assignments made)... 18.06 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.23 c Sol. found (all assignments made)... 18.25 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.28 c Sol. found (all assignments made)... 18.35 c Restart #9 #Var: 1150 LB: -1150 @ 18.272 18.75 c Sol. found (all assignments made)... 18.75 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.82 c Sol. found (all assignments made)... 18.82 c Sol. found (all assignments made)... 18.83 c Sol. found (all assignments made)... 18.84 c Sol. found (all assignments made)... 18.85 c Sol. found (all assignments made)... 18.85 c Sol. found (all assignments made)... 18.85 c Sol. found (all assignments made)... 18.85 c Sol. found (all assignments made)... 18.86 c Sol. found (all assignments made)... 18.86 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.43 c Restart #10 #Var: 1150 LB: -1150 @ 19.351 20.13 c Sol. found (all assignments made)... 20.19 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.21 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.22 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.25 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.26 c Sol. found (all assignments made)... 20.27 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.29 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.30 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.31 c Sol. found (all assignments made)... 20.33 c Sol. found (all assignments made)... 20.33 c Sol. found (all assignments made)... 20.43 c Sol. found (all assignments made)... 20.43 c Sol. found (all assignments made)... 20.44 c Sol. found (all assignments made)... 20.44 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.47 c Sol. found (all assignments made)... 20.51 c Sol. found (all assignments made)... 20.52 c Sol. found (all assignments made)... 87.77 c CHANGE to MIS mode... UB: -37 MIS: -1150 LPR: -545 (6.7062) Diff: 2.1101 87.77 c Restart #0 #Var: 1150 LB: -1150 @ 87.629 88.02 c Sol. found (all assignments made)... 88.02 c Sol. found (all assignments made)... 88.03 c Sol. found (all assignments made)... 88.03 c Sol. found (all assignments made)... 88.06 c Sol. found (all assignments made)... 88.06 c Sol. found (all assignments made)... 88.06 o -38 88.06 c NEW SOLUTION FOUND: -38 @ 87.92 88.06 c Sol. found (all assignments made)... 88.06 c Sol. found (all assignments made)... 88.06 c Sol. found (all assignments made)... 88.23 c Restart #1 #Var: 1150 LB: -1150 @ 88.09 88.69 c Restart #2 #Var: 1150 LB: -1150 @ 88.554 89.34 c Restart #3 #Var: 1150 LB: -580 @ 89.206 90.11 c Restart #4 #Var: 1150 LB: -580 @ 89.968 90.57 c Sol. found (all assignments made)... 90.57 c Sol. found (all assignments made)... 90.80 c Sol. found (all assignments made)... 90.92 c Restart #5 #Var: 1150 LB: -1150 @ 90.784 91.42 c Sol. found (all assignments made)... 91.42 c Sol. found (all assignments made)... 91.43 c Sol. found (all assignments made)... 91.43 c Sol. found (all assignments made)... 91.51 c Sol. found (all assignments made)... 91.51 c Sol. found (all assignments made)... 91.51 o -39 91.51 c NEW SOLUTION FOUND: -39 @ 91.371 91.51 c Sol. found (all assignments made)... 91.56 c Sol. found (all assignments made)... 91.57 c Sol. found (all assignments made)... 91.57 c Sol. found (all assignments made)... 91.58 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.60 c Sol. found (all assignments made)... 91.60 c Sol. found (all assignments made)... 92.16 c Restart #6 #Var: 1150 LB: -1150 @ 92.018 93.15 c Restart #7 #Var: 1150 LB: -1150 @ 93.012 94.22 c Restart #8 #Var: 1150 LB: -1150 @ 94.079 95.45 c Restart #9 #Var: 1150 LB: -1150 @ 95.314 96.78 c Restart #10 #Var: 1150 LB: -579 @ 96.642 98.27 c Restart #11 #Var: 1150 LB: -581 @ 98.134 99.83 c Restart #12 #Var: 1150 LB: -1150 @ 99.69 101.30 c Sol. found (all assignments made)... 101.39 c Restart #13 #Var: 1150 LB: -1150 @ 101.25 103.10 c Restart #14 #Var: 1150 LB: -1150 @ 102.95 104.94 c Restart #15 #Var: 1150 LB: -582 @ 104.8 106.89 c Restart #16 #Var: 1150 LB: -1150 @ 106.75 107.12 c Sol. found (all assignments made)... 107.13 c Sol. found (all assignments made)... 107.14 c Sol. found (all assignments made)... 107.15 c Sol. found (all assignments made)... 107.16 c Sol. found (all assignments made)... 107.16 c Sol. found (all assignments made)... 107.16 c Sol. found (all assignments made)... 107.17 c Sol. found (all assignments made)... 107.17 c Sol. found (all assignments made)... 107.18 c Sol. found (all assignments made)... 107.21 c Sol. found (all assignments made)... 107.21 c Sol. found (all assignments made)... 107.22 c Sol. found (all assignments made)... 107.22 c Sol. found (all assignments made)... 107.23 c Sol. found (all assignments made)... 107.23 c Sol. found (all assignments made)... 107.23 c Sol. found (all assignments made)... 107.23 c Sol. found (all assignments made)... 107.24 c Sol. found (all assignments made)... 107.24 c Sol. found (all assignments made)... 107.24 c Sol. found (all assignments made)... 107.24 c Sol. found (all assignments made)... 107.24 c Sol. found (all assignments made)... 107.25 c Sol. found (all assignments made)... 107.25 c Sol. found (all assignments made)... 107.25 c Sol. found (all assignments made)... 107.26 c Sol. found (all assignments made)... 107.26 c Sol. found (all assignments made)... 107.26 c Sol. found (all assignments made)... 107.27 c Sol. found (all assignments made)... 107.32 c Sol. found (all assignments made)... 107.32 c Sol. found (all assignments made)... 107.33 c Sol. found (all assignments made)... 107.33 c Sol. found (all assignments made)... 107.48 c Sol. found (all assignments made)... 107.48 c Sol. found (all assignments made)... 107.49 c Sol. found (all assignments made)... 107.49 c Sol. found (all assignments made)... 107.50 c Sol. found (all assignments made)... 107.50 c Sol. found (all assignments made)... 107.50 c Sol. found (all assignments made)... 107.51 c Sol. found (all assignments made)... 107.51 c Sol. found (all assignments made)... 107.51 c Sol. found (all assignments made)... 107.51 c Sol. found (all assignments made)... 107.53 c Sol. found (all assignments made)... 107.53 c Sol. found (all assignments made)... 107.53 c Sol. found (all assignments made)... 107.54 c Sol. found (all assignments made)... 107.54 c Sol. found (all assignments made)... 107.55 c Sol. found (all assignments made)... 107.55 c Sol. found (all assignments made)... 107.55 c Sol. found (all assignments made)... 107.56 c Sol. found (all assignments made)... 107.56 c Sol. found (all assignments made)... 107.56 c Sol. found (all assignments made)... 107.57 c Sol. found (all assignments made)... 107.57 c Sol. found (all assignments made)... 107.57 c Sol. found (all assignments made)... 107.58 c Sol. found (all assignments made)... 107.58 c Sol. found (all assignments made)... 107.58 c Sol. found (all assignments made)... 107.59 c Sol. found (all assignments made)... 107.60 c Sol. found (all assignments made)... 107.61 c Sol. found (all assignments made)... 107.62 c Sol. found (all assignments made)... 107.62 c Sol. found (all assignments made)... 107.63 c Sol. found (all assignments made)... 107.63 c Sol. found (all assignments made)... 107.65 c Sol. found (all assignments made)... 107.67 c Sol. found (all assignments made)... 107.67 c Sol. found (all assignments made)... 107.67 c Sol. found (all assignments made)... 107.69 c Sol. found (all assignments made)... 107.69 c Sol. found (all assignments made)... 107.69 c Sol. found (all assignments made)... 107.69 c Sol. found (all assignments made)... 107.70 c Sol. found (all assignments made)... 107.70 c Sol. found (all assignments made)... 107.70 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.73 c Sol. found (all assignments made)... 107.73 c Sol. found (all assignments made)... 107.73 c Sol. found (all assignments made)... 107.74 c Sol. found (all assignments made)... 107.75 c Sol. found (all assignments made)... 107.75 c Sol. found (all assignments made)... 107.75 c Sol. found (all assignments made)... 107.76 c Sol. found (all assignments made)... 107.76 c Sol. found (all assignments made)... 107.76 c Sol. found (all assignments made)... 107.77 c Sol. found (all assignments made)... 107.77 c Sol. found (all assignments made)... 107.77 c Sol. found (all assignments made)... 107.78 c Sol. found (all assignments made)... 107.84 c Sol. found (all assignments made)... 107.84 c Sol. found (all assignments made)... 107.87 c Sol. found (all assignments made)... 107.88 c Sol. found (all assignments made)... 107.89 c Sol. found (all assignments made)... 107.89 c Sol. found (all assignments made)... 107.90 c Sol. found (all assignments made)... 107.91 c Sol. found (all assignments made)... 107.91 c Sol. found (all assignments made)... 107.92 c Sol. found (all assignments made)... 107.92 c Sol. found (all assignments made)... 107.93 c Sol. found (all assignments made)... 107.93 c Sol. found (all assignments made)... 107.93 c Sol. found (all assignments made)... 107.94 c Sol. found (all assignments made)... 107.94 c Sol. found (all assignments made)... 107.94 c Sol. found (all assignments made)... 107.95 c Sol. found (all assignments made)... 107.95 c Sol. found (all assignments made)... 107.96 c Sol. found (all assignments made)... 107.96 c Sol. found (all assignments made)... 107.96 c Sol. found (all assignments made)... 107.97 c Sol. found (all assignments made)... 107.97 c Sol. found (all assignments made)... 107.97 c Sol. found (all assignments made)... 107.98 c Sol. found (all assignments made)... 107.98 c Sol. found (all assignments made)... 107.98 c Sol. found (all assignments made)... 107.98 c Sol. found (all assignments made)... 107.99 c Sol. found (all assignments made)... 107.99 c Sol. found (all assignments made)... 107.99 c Sol. found (all assignments made)... 107.99 c Sol. found (all assignments made)... 108.00 c Sol. found (all assignments made)... 108.00 c Sol. found (all assignments made)... 108.00 c Sol. found (all assignments made)... 108.00 c Sol. found (all assignments made)... 108.01 c Sol. found (all assignments made)... 108.01 c Sol. found (all assignments made)... 108.02 c Sol. found (all assignments made)... 108.04 c Sol. found (all assignments made)... 108.04 c Sol. found (all assignments made)... 108.04 c Sol. found (all assignments made)... 108.04 c Sol. found (all assignments made)... 108.06 c Sol. found (all assignments made)... 108.07 c Sol. found (all assignments made)... 108.07 c Sol. found (all assignments made)... 108.07 c Sol. found (all assignments made)... 108.09 c Sol. found (all assignments made)... 108.24 c Sol. found (all assignments made)... 108.25 c Sol. found (all assignments made)... 108.25 c Sol. found (all assignments made)... 108.26 c Sol. found (all assignments made)... 108.26 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.28 c Sol. found (all assignments made)... 108.28 c Sol. found (all assignments made)... 108.28 c Sol. found (all assignments made)... 108.29 c Sol. found (all assignments made)... 108.29 c Sol. found (all assignments made)... 108.29 c Sol. found (all assignments made)... 108.29 c Sol. found (all assignments made)... 108.30 c Sol. found (all assignments made)... 108.31 c Sol. found (all assignments made)... 108.31 c Sol. found (all assignments made)... 108.31 c Sol. found (all assignments made)... 108.31 c Sol. found (all assignments made)... 108.32 c Sol. found (all assignments made)... 108.32 c Sol. found (all assignments made)... 108.32 c Sol. found (all assignments made)... 108.32 c Sol. found (all assignments made)... 108.33 c Sol. found (all assignments made)... 108.33 c Sol. found (all assignments made)... 108.33 c Sol. found (all assignments made)... 108.33 c Sol. found (all assignments made)... 108.33 c Sol. found (all assignments made)... 108.34 c Sol. found (all assignments made)... 108.34 c Sol. found (all assignments made)... 108.34 c Sol. found (all assignments made)... 108.35 c Sol. found (all assignments made)... 108.35 c Sol. found (all assignments made)... 108.35 c Sol. found (all assignments made)... 108.35 c Sol. found (all assignments made)... 108.37 c Sol. found (all assignments made)... 108.37 c Sol. found (all assignments made)... 108.37 c Sol. found (all assignments made)... 108.37 c Sol. found (all assignments made)... 108.38 c Sol. found (all assignments made)... 108.38 c Sol. found (all assignments made)... 108.39 c Sol. found (all assignments made)... 108.39 c Sol. found (all assignments made)... 108.39 c Sol. found (all assignments made)... 108.39 c Sol. found (all assignments made)... 108.40 c Sol. found (all assignments made)... 108.40 c Sol. found (all assignments made)... 108.41 c Sol. found (all assignments made)... 108.41 c Sol. found (all assignments made)... 108.41 c Sol. found (all assignments made)... 108.41 c Sol. found (all assignments made)... 108.42 c Sol. found (all assignments made)... 108.42 c Sol. found (all assignments made)... 108.43 c Sol. found (all assignments made)... 108.43 c Sol. found (all assignments made)... 108.43 c Sol. found (all assignments made)... 108.44 c Sol. found (all assignments made)... 108.44 c Sol. found (all assignments made)... 108.45 c Sol. found (all assignments made)... 108.45 c Sol. found (all assignments made)... 108.45 c Sol. found (all assignments made)... 108.45 c Sol. found (all assignments made)... 108.45 c Sol. found (all assignments made)... 108.46 c Sol. found (all assignments made)... 108.46 c Sol. found (all assignments made)... 108.46 c Sol. found (all assignments made)... 108.46 c Sol. found (all assignments made)... 108.47 c Sol. found (all assignments made)... 108.52 c Sol. found (all assignments made)... 108.52 c Sol. found (all assignments made)... 108.52 c Sol. found (all assignments made)... 108.52 c Sol. found (all assignments made)... 108.53 c Sol. found (all assignments made)... 108.53 c Sol. found (all assignments made)... 108.54 c Sol. found (all assignments made)... 108.54 c Sol. found (all assignments made)... 108.54 c Sol. found (all assignments made)... 108.54 c Sol. found (all assignments made)... 108.55 c Sol. found (all assignments made)... 108.55 c Sol. found (all assignments made)... 108.56 c Sol. found (all assignments made)... 108.56 c Sol. found (all assignments made)... 108.56 c Sol. found (all assignments made)... 108.57 c Sol. found (all assignments made)... 108.57 c Sol. found (all assignments made)... 108.57 c Sol. found (all assignments made)... 108.57 c Sol. found (all assignments made)... 108.59 c Sol. found (all assignments made)... 108.59 c Sol. found (all assignments made)... 108.59 c Sol. found (all assignments made)... 108.59 c Sol. found (all assignments made)... 108.61 c Sol. found (all assignments made)... 108.61 c Sol. found (all assignments made)... 108.61 c Sol. found (all assignments made)... 108.62 c Sol. found (all assignments made)... 108.63 c Sol. found (all assignments made)... 108.63 c Sol. found (all assignments made)... 108.63 c Sol. found (all assignments made)... 108.63 c Sol. found (all assignments made)... 108.65 c Sol. found (all assignments made)... 108.65 c Sol. found (all assignments made)... 108.65 c Sol. found (all assignments made)... 108.65 c Sol. found (all assignments made)... 108.68 c Sol. found (all assignments made)... 108.68 c Sol. found (all assignments made)... 108.69 c Sol. found (all assignments made)... 108.69 c Sol. found (all assignments made)... 108.70 c Sol. found (all assignments made)... 108.70 c Sol. found (all assignments made)... 108.70 c Sol. found (all assignments made)... 108.70 c Sol. found (all assignments made)... 108.77 c Sol. found (all assignments made)... 108.77 c Sol. found (all assignments made)... 108.87 c Restart #17 #Var: 1150 LB: -1150 @ 108.72 110.96 c Restart #18 #Var: 1150 LB: -1150 @ 110.82 113.11 c Restart #19 #Var: 1150 LB: -1150 @ 112.97 115.47 c Restart #20 #Var: 1150 LB: -1150 @ 115.33 116.03 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.06 c Sol. found (all assignments made)... 116.07 c Sol. found (all assignments made)... 117.81 c Restart #21 #Var: 1150 LB: -1150 @ 117.67 120.44 c Restart #22 #Var: 1150 LB: -1150 @ 120.29 122.47 c Sol. found (all assignments made)... 123.04 c Restart #23 #Var: 1150 LB: -1150 @ 122.89 125.79 c Restart #24 #Var: 1150 LB: -1150 @ 125.65 128.62 c Restart #25 #Var: 1150 LB: -1150 @ 128.48 130.98 c Sol. found (all assignments made)... 131.51 c Restart #26 #Var: 1150 LB: -1150 @ 131.36 134.45 c Restart #27 #Var: 1150 LB: -1150 @ 134.3 137.56 c Restart #28 #Var: 1150 LB: -1150 @ 137.41 140.75 c Restart #29 #Var: 1150 LB: -1150 @ 140.59 144.15 c Restart #30 #Var: 1150 LB: -1150 @ 144 147.53 c Restart #31 #Var: 1150 LB: -1150 @ 147.38 150.99 c Restart #32 #Var: 1150 LB: -1150 @ 150.84 154.72 c Restart #33 #Var: 1150 LB: -580 @ 154.56 158.39 c Restart #34 #Var: 1150 LB: -1150 @ 158.23 162.28 c Restart #35 #Var: 1150 LB: -1150 @ 162.13 164.40 c Sol. found (all assignments made)... 164.61 c Sol. found (all assignments made)... 164.63 c Sol. found (all assignments made)... 164.64 c Sol. found (all assignments made)... 164.73 c Sol. found (all assignments made)... 164.76 c Sol. found (all assignments made)... 164.78 c Sol. found (all assignments made)... 166.18 c Restart #36 #Var: 1150 LB: -1150 @ 166.03 170.19 c Restart #37 #Var: 1150 LB: -1150 @ 170.03 174.28 c Restart #38 #Var: 1150 LB: -1150 @ 174.12 178.43 c Restart #39 #Var: 1150 LB: -1150 @ 178.28 182.83 c Restart #40 #Var: 1150 LB: -1150 @ 182.67 187.15 c Restart #41 #Var: 1150 LB: -1150 @ 186.99 191.71 c Restart #42 #Var: 1150 LB: -1150 @ 191.55 196.27 c Restart #43 #Var: 1150 LB: -1150 @ 196.1 200.90 c Restart #44 #Var: 1150 LB: -1150 @ 200.74 202.62 c Sol. found (all assignments made)... 205.17 c Sol. found (all assignments made)... 205.18 c Sol. found (all assignments made)... 205.18 c Sol. found (all assignments made)... 205.29 c Sol. found (all assignments made)... 205.36 c Sol. found (all assignments made)... 205.38 c Sol. found (all assignments made)... 205.39 c Sol. found (all assignments made)... 205.41 c Sol. found (all assignments made)... 205.68 c Restart #45 #Var: 1150 LB: -1150 @ 205.52 206.04 c Sol. found (all assignments made)... 206.09 c Sol. found (all assignments made)... 207.07 c Sol. found (all assignments made)... 207.07 o -40 207.07 c NEW SOLUTION FOUND: -40 @ 206.91 207.07 c Sol. found (all assignments made)... 211.73 c Restart #46 #Var: 1150 LB: -1150 @ 211.56 214.55 c Sol. found (all assignments made)... 216.65 c Restart #47 #Var: 1150 LB: -1150 @ 216.48 217.07 c Sol. found (all assignments made)... 220.42 c Sol. found (all assignments made)... 220.43 c Sol. found (all assignments made)... 220.43 c Sol. found (all assignments made)... 220.44 c Sol. found (all assignments made)... 220.45 c Sol. found (all assignments made)... 220.45 c Sol. found (all assignments made)... 220.48 c Sol. found (all assignments made)... 220.48 c Sol. found (all assignments made)... 220.49 c Sol. found (all assignments made)... 220.49 c Sol. found (all assignments made)... 220.49 c Sol. found (all assignments made)... 220.52 c Sol. found (all assignments made)... 220.52 c Sol. found (all assignments made)... 220.53 c Sol. found (all assignments made)... 220.54 c Sol. found (all assignments made)... 220.55 c Sol. found (all assignments made)... 220.55 c Sol. found (all assignments made)... 220.55 c Sol. found (all assignments made)... 220.56 c Sol. found (all assignments made)... 220.56 c Sol. found (all assignments made)... 220.57 c Sol. found (all assignments made)... 220.58 c Sol. found (all assignments made)... 220.58 c Sol. found (all assignments made)... 220.58 c Sol. found (all assignments made)... 220.59 c Sol. found (all assignments made)... 220.59 c Sol. found (all assignments made)... 220.60 c Sol. found (all assignments made)... 220.60 c Sol. found (all assignments made)... 220.60 c Sol. found (all assignments made)... 220.62 c Sol. found (all assignments made)... 220.63 c Sol. found (all assignments made)... 220.65 c Sol. found (all assignments made)... 220.65 c Sol. found (all assignments made)... 220.69 c Sol. found (all assignments made)... 220.70 c Sol. found (all assignments made)... 220.71 c Sol. found (all assignments made)... 220.72 c Sol. found (all assignments made)... 220.73 c Sol. found (all assignments made)... 220.73 c Sol. found (all assignments made)... 220.74 c Sol. found (all assignments made)... 220.74 c Sol. found (all assignments made)... 220.74 c Sol. found (all assignments made)... 220.75 c Sol. found (all assignments made)... 220.77 c Sol. found (all assignments made)... 220.78 c Sol. found (all assignments made)... 220.82 c Sol. found (all assignments made)... 220.82 c Sol. found (all assignments made)... 220.83 c Sol. found (all assignments made)... 220.83 c Sol. found (all assignments made)... 220.84 c Sol. found (all assignments made)... 220.84 c Sol. found (all assignments made)... 220.84 c Sol. found (all assignments made)... 220.84 c Sol. found (all assignments made)... 220.85 c Sol. found (all assignments made)... 220.86 c Sol. found (all assignments made)... 220.86 c Sol. found (all assignments made)... 220.86 c Sol. found (all assignments made)... 220.87 c Sol. found (all assignments made)... 220.88 c Sol. found (all assignments made)... 220.88 c Sol. found (all assignments made)... 220.88 c Sol. found (all assignments made)... 220.89 c Sol. found (all assignments made)... 220.89 c Sol. found (all assignments made)... 220.89 c Sol. found (all assignments made)... 220.89 c Sol. found (all assignments made)... 220.90 c Sol. found (all assignments made)... 220.90 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 221.05 c Sol. found (all assignments made)... 221.79 c Restart #48 #Var: 1150 LB: -1150 @ 221.61 227.10 c Restart #49 #Var: 1150 LB: -579 @ 226.93 232.56 c Restart #50 #Var: 1150 LB: -1150 @ 232.39 237.94 c Restart #51 #Var: 1150 LB: -1150 @ 237.76 243.48 c Restart #52 #Var: 1150 LB: -1150 @ 243.3 249.19 c Restart #53 #Var: 1150 LB: -1150 @ 249.01 255.08 c Restart #54 #Var: 1150 LB: -1150 @ 254.9 260.89 c Restart #55 #Var: 1150 LB: -1150 @ 260.71 261.90 c Sol. found (all assignments made)... 261.90 o -41 261.90 c NEW SOLUTION FOUND: -41 @ 261.72 261.90 c Sol. found (all assignments made)... 267.52 c Restart #56 #Var: 1150 LB: -1150 @ 267.34 273.75 c Restart #57 #Var: 1150 LB: -1150 @ 273.56 280.05 c Restart #58 #Var: 1150 LB: -1150 @ 279.86 286.30 c Restart #59 #Var: 1150 LB: -1150 @ 286.12 292.76 c Restart #60 #Var: 1150 LB: -1150 @ 292.57 299.36 c Restart #61 #Var: 1150 LB: -1150 @ 299.17 305.93 c Restart #62 #Var: 1150 LB: -1150 @ 305.73 312.70 c Restart #63 #Var: 1150 LB: -1150 @ 312.5 319.48 c Restart #64 #Var: 1150 LB: -1150 @ 319.29 326.52 c Restart #65 #Var: 1150 LB: -1150 @ 326.32 333.41 c Restart #66 #Var: 1150 LB: -1150 @ 333.21 340.60 c Restart #67 #Var: 1150 LB: -1150 @ 340.4 347.75 c Restart #68 #Var: 1150 LB: -1150 @ 347.55 355.40 c Restart #69 #Var: 1150 LB: -1150 @ 355.19 362.90 c Restart #70 #Var: 1150 LB: -1150 @ 362.69 370.63 c Restart #71 #Var: 1150 LB: -1150 @ 370.42 378.14 c Restart #72 #Var: 1150 LB: -1150 @ 377.92 386.18 c Restart #73 #Var: 1150 LB: -1150 @ 385.96 394.16 c Restart #74 #Var: 1150 LB: -1150 @ 393.95 402.13 c Restart #75 #Var: 1150 LB: -1150 @ 401.91 410.28 c Restart #76 #Var: 1150 LB: -1150 @ 410.06 418.38 c Restart #77 #Var: 1150 LB: -1150 @ 418.16 426.55 c Restart #78 #Var: 1150 LB: -1150 @ 426.32 434.93 c Restart #79 #Var: 1150 LB: -1150 @ 434.7 443.62 c Restart #80 #Var: 1150 LB: -1150 @ 443.39 452.17 c Restart #81 #Var: 1150 LB: -1150 @ 451.94 460.72 c Restart #82 #Var: 1150 LB: -1150 @ 460.49 469.64 c Restart #83 #Var: 1150 LB: -1150 @ 469.4 478.75 c Restart #84 #Var: 1150 LB: -1150 @ 478.51 487.87 c Restart #85 #Var: 1150 LB: -1150 @ 487.63 496.85 c Restart #86 #Var: 1150 LB: -1150 @ 496.61 505.95 c Restart #87 #Var: 1150 LB: -1150 @ 505.71 515.33 c Restart #88 #Var: 1150 LB: -1150 @ 515.08 524.55 c Restart #89 #Var: 1150 LB: -1150 @ 524.3 534.32 c Restart #90 #Var: 1150 LB: -1150 @ 534.07 543.87 c Restart #91 #Var: 1150 LB: -1150 @ 543.62 554.13 c Restart #92 #Var: 1150 LB: -1150 @ 553.87 563.62 c Restart #93 #Var: 1150 LB: -1150 @ 563.36 573.39 c Restart #94 #Var: 1150 LB: -1150 @ 573.12 583.36 c Restart #95 #Var: 1150 LB: -579 @ 583.1 593.80 c Restart #96 #Var: 1150 LB: -1150 @ 593.53 604.09 c Restart #97 #Var: 1150 LB: -1150 @ 603.82 614.45 c Restart #98 #Var: 1150 LB: -1150 @ 614.17 619.28 c Sol. found (all assignments made)... 619.28 c Sol. found (all assignments made)... 619.76 c Sol. found (all assignments made)... 619.77 c Sol. found (all assignments made)... 619.77 c Sol. found (all assignments made)... 620.74 c Sol. found (all assignments made)... 620.74 c Sol. found (all assignments made)... 620.75 c Sol. found (all assignments made)... 624.66 c Restart #99 #Var: 1150 LB: -1150 @ 624.38 635.32 c Restart #100 #Var: 1150 LB: -1150 @ 635.04 645.80 c Restart #101 #Var: 1150 LB: -1150 @ 645.52 656.64 c Restart #102 #Var: 1150 LB: -580 @ 656.36 667.47 c Restart #103 #Var: 1150 LB: -1150 @ 667.18 678.30 c Restart #104 #Var: 1150 LB: -1150 @ 678.01 688.98 c Restart #105 #Var: 1150 LB: -1150 @ 688.69 699.95 c Restart #106 #Var: 1150 LB: -1150 @ 699.65 711.03 c Restart #107 #Var: 1150 LB: -1150 @ 710.73 722.18 c Restart #108 #Var: 1150 LB: -1150 @ 721.88 733.58 c Restart #109 #Var: 1150 LB: -1150 @ 733.27 745.27 c Restart #110 #Var: 1150 LB: -1150 @ 744.96 746.41 c Sol. found (all assignments made)... 746.46 c Sol. found (all assignments made)... 746.47 c Sol. found (all assignments made)... 746.69 c Sol. found (all assignments made)... 746.73 c Sol. found (all assignments made)... 746.74 c Sol. found (all assignments made)... 746.80 c Sol. found (all assignments made)... 746.82 c Sol. found (all assignments made)... 748.89 c Sol. found (all assignments made)... 750.03 c Sol. found (all assignments made)... 750.06 c Sol. found (all assignments made)... 750.07 c Sol. found (all assignments made)... 750.07 c Sol. found (all assignments made)... 750.07 c Sol. found (all assignments made)... 750.08 c Sol. found (all assignments made)... 750.08 c Sol. found (all assignments made)... 750.28 c Sol. found (all assignments made)... 750.84 c Sol. found (all assignments made)... 750.85 c Sol. found (all assignments made)... 750.89 c Sol. found (all assignments made)... 751.43 c Sol. found (all assignments made)... 751.43 c Sol. found (all assignments made)... 751.44 c Sol. found (all assignments made)... 751.44 c Sol. found (all assignments made)... 752.75 c Sol. found (all assignments made)... 752.76 c Sol. found (all assignments made)... 752.76 c Sol. found (all assignments made)... 752.77 c Sol. found (all assignments made)... 752.81 c Sol. found (all assignments made)... 752.81 c Sol. found (all assignments made)... 752.82 c Sol. found (all assignments made)... 752.82 c Sol. found (all assignments made)... 752.96 c Sol. found (all assignments made)... 752.97 c Sol. found (all assignments made)... 752.97 c Sol. found (all assignments made)... 752.99 c Sol. found (all assignments made)... 753.00 c Sol. found (all assignments made)... 753.00 c Sol. found (all assignments made)... 753.01 c Sol. found (all assignments made)... 753.06 c Sol. found (all assignments made)... 753.06 c Sol. found (all assignments made)... 753.06 c Sol. found (all assignments made)... 753.08 c Sol. found (all assignments made)... 753.09 c Sol. found (all assignments made)... 753.09 c Sol. found (all assignments made)... 753.09 c Sol. found (all assignments made)... 753.11 c Sol. found (all assignments made)... 753.11 c Sol. found (all assignments made)... 753.11 c Sol. found (all assignments made)... 753.12 c Sol. found (all assignments made)... 753.13 c Sol. found (all assignments made)... 753.76 c Sol. found (all assignments made)... 753.81 c Sol. found (all assignments made)... 753.99 c Sol. found (all assignments made)... 754.00 c Sol. found (all assignments made)... 754.10 c Sol. found (all assignments made)... 754.11 c Sol. found (all assignments made)... 755.75 c Sol. found (all assignments made)... 755.75 c Sol. found (all assignments made)... 755.78 c Sol. found (all assignments made)... 755.78 c Sol. found (all assignments made)... 755.81 c Sol. found (all assignments made)... 755.85 c Sol. found (all assignments made)... 755.96 c Sol. found (all assignments made)... 755.97 c Sol. found (all assignments made)... 756.59 c Sol. found (all assignments made)... 756.59 c Sol. found (all assignments made)... 756.62 c Sol. found (all assignments made)... 756.63 c Sol. found (all assignments made)... 756.63 c Sol. found (all assignments made)... 756.63 c Sol. found (all assignments made)... 756.63 c Sol. found (all assignments made)... 756.64 c Sol. found (all assignments made)... 756.64 c Sol. found (all assignments made)... 756.64 c Sol. found (all assignments made)... 756.65 c Sol. found (all assignments made)... 756.65 c Sol. found (all assignments made)... 756.65 c Sol. found (all assignments made)... 756.66 c Sol. found (all assignments made)... 756.67 c Sol. found (all assignments made)... 756.67 c Sol. found (all assignments made)... 756.69 c Sol. found (all assignments made)... 756.70 c Sol. found (all assignments made)... 756.75 c Sol. found (all assignments made)... 756.77 c Sol. found (all assignments made)... 756.83 c Sol. found (all assignments made)... 756.86 c Sol. found (all assignments made)... 756.92 c Sol. found (all assignments made)... 756.95 c Sol. found (all assignments made)... 757.05 c Restart #111 #Var: 1150 LB: -1150 @ 756.74 768.87 c Restart #112 #Var: 1150 LB: -1150 @ 768.56 780.66 c Restart #113 #Var: 1150 LB: -1150 @ 780.34 792.87 c Restart #114 #Var: 1150 LB: -1150 @ 792.54 804.73 c Restart #115 #Var: 1150 LB: -1150 @ 804.4 816.73 c Restart #116 #Var: 1150 LB: -1150 @ 816.4 829.07 c Restart #117 #Var: 1150 LB: -1150 @ 828.72 841.48 c Restart #118 #Var: 1150 LB: -1150 @ 841.09 853.84 c Restart #119 #Var: 1150 LB: -1150 @ 853.46 866.31 c Restart #120 #Var: 1150 LB: -1150 @ 865.92 878.67 c Restart #121 #Var: 1150 LB: -1150 @ 878.27 890.84 c Restart #122 #Var: 1150 LB: -1150 @ 890.44 903.72 c Restart #123 #Var: 1150 LB: -1150 @ 903.31 916.68 c Restart #124 #Var: 1150 LB: -1150 @ 916.27 929.79 c Restart #125 #Var: 1150 LB: -1150 @ 929.37 942.68 c Restart #126 #Var: 1150 LB: -1150 @ 942.26 956.06 c Restart #127 #Var: 1150 LB: -1150 @ 955.64 956.90 c Sol. found (all assignments made)... 969.60 c Restart #128 #Var: 1150 LB: -1150 @ 969.17 983.13 c Restart #129 #Var: 1150 LB: -1150 @ 982.7 996.47 c Restart #130 #Var: 1150 LB: -1150 @ 996.04 1010.15 c Restart #131 #Var: 1150 LB: -1150 @ 1009.7 1023.82 c Restart #132 #Var: 1150 LB: -1150 @ 1023.4 1037.76 c Restart #133 #Var: 1150 LB: -1150 @ 1037.3 1051.87 c Restart #134 #Var: 1150 LB: -1150 @ 1051.4 1065.71 c Restart #135 #Var: 1150 LB: -1150 @ 1065.3 1066.83 c Sol. found (all assignments made)... 1079.70 c Restart #136 #Var: 1150 LB: -1150 @ 1079.2 1094.09 c Restart #137 #Var: 1150 LB: -1150 @ 1093.6 1108.37 c Restart #138 #Var: 1150 LB: -1150 @ 1107.9 1122.73 c Restart #139 #Var: 1150 LB: -1150 @ 1122.3 1137.50 c Restart #140 #Var: 1150 LB: -1150 @ 1137 1152.52 c Restart #141 #Var: 1150 LB: -1150 @ 1152 1167.30 c Restart #142 #Var: 1150 LB: -1150 @ 1166.8 1182.57 c Restart #143 #Var: 1150 LB: -1150 @ 1182.1 1197.63 c Restart #144 #Var: 1150 LB: -1150 @ 1197.1 1212.47 c Restart #145 #Var: 1150 LB: -1150 @ 1212 1227.20 c Restart #146 #Var: 1150 LB: -1150 @ 1226.7 1242.66 c Restart #147 #Var: 1150 LB: -1150 @ 1242.2 1257.90 c Restart #148 #Var: 1150 LB: -1150 @ 1257.4 1272.99 c Restart #149 #Var: 1150 LB: -1150 @ 1272.5 1288.69 c Restart #150 #Var: 1150 LB: -1150 @ 1288.2 1304.81 c Restart #151 #Var: 1150 LB: -1150 @ 1304.3 1320.33 c Restart #152 #Var: 1150 LB: -1150 @ 1319.8 1324.04 c Sol. found (all assignments made)... 1329.25 c Sol. found (all assignments made)... 1329.26 c Sol. found (all assignments made)... 1329.69 c Sol. found (all assignments made)... 1329.69 c Sol. found (all assignments made)... 1335.93 c Restart #153 #Var: 1150 LB: -1150 @ 1335.4 1351.87 c Restart #154 #Var: 1150 LB: -1150 @ 1351.3 1368.43 c Restart #155 #Var: 1150 LB: -1150 @ 1367.9 1375.44 c Sol. found (all assignments made)... 1375.63 c Sol. found (all assignments made)... 1384.43 c Restart #156 #Var: 1150 LB: -1150 @ 1383.9 1400.83 c Restart #157 #Var: 1150 LB: -1150 @ 1400.3 1417.40 c Restart #158 #Var: 1150 LB: -1150 @ 1416.9 1422.25 c Sol. found (all assignments made)... 1422.25 c Sol. found (all assignments made)... 1422.25 c Sol. found (all assignments made)... 1422.25 c Sol. found (all assignments made)... 1422.26 c Sol. found (all assignments made)... 1422.26 c Sol. found (all assignments made)... 1422.26 c Sol. found (all assignments made)... 1426.85 c Sol. found (all assignments made)... 1426.85 c Sol. found (all assignments made)... 1426.85 c Sol. found (all assignments made)... 1426.85 c Sol. found (all assignments made)... 1426.85 c Sol. found (all assignments made)... 1426.86 c Sol. found (all assignments made)... 1426.87 c Sol. found (all assignments made)... 1429.77 c Sol. found (all assignments made)... 1429.78 c Sol. found (all assignments made)... 1433.85 c Restart #159 #Var: 1150 LB: -1150 @ 1433.3 1450.75 c Restart #160 #Var: 1150 LB: -1150 @ 1450.2 1467.61 c Restart #161 #Var: 1150 LB: -1150 @ 1467 1484.07 c Restart #162 #Var: 1150 LB: -1150 @ 1483.5 1500.94 c Restart #163 #Var: 1150 LB: -1150 @ 1500.4 1517.84 c Restart #164 #Var: 1150 LB: -580 @ 1517.3 1535.02 c Restart #165 #Var: 1150 LB: -1150 @ 1534.4 1552.11 c Restart #166 #Var: 1150 LB: -1150 @ 1551.5 1569.78 c Restart #167 #Var: 1150 LB: -1150 @ 1569.2 1587.44 c Restart #168 #Var: 1150 LB: -1150 @ 1586.8 1604.93 c Restart #169 #Var: 1150 LB: -1150 @ 1604.3 1622.23 c Restart #170 #Var: 1150 LB: -1150 @ 1621.6 1640.00 c Restart #171 #Var: 1150 LB: -1150 @ 1639.4 1641.01 c Sol. found (all assignments made)... 1641.02 c Sol. found (all assignments made)... 1648.54 c Sol. found (all assignments made)... 1648.69 c Sol. found (all assignments made)... 1648.69 c Sol. found (all assignments made)... 1648.73 c Sol. found (all assignments made)... 1648.73 c Sol. found (all assignments made)... 1648.80 c Sol. found (all assignments made)... 1648.81 c Sol. found (all assignments made)... 1649.05 c Sol. found (all assignments made)... 1649.05 c Sol. found (all assignments made)... 1649.06 c Sol. found (all assignments made)... 1649.06 c Sol. found (all assignments made)... 1650.06 c Sol. found (all assignments made)... 1650.07 c Sol. found (all assignments made)... 1650.08 c Sol. found (all assignments made)... 1650.09 c Sol. found (all assignments made)... 1650.22 c Sol. found (all assignments made)... 1650.22 c Sol. found (all assignments made)... 1650.22 c Sol. found (all assignments made)... 1650.22 c Sol. found (all assignments made)... 1650.23 c Sol. found (all assignments made)... 1650.23 c Sol. found (all assignments made)... 1650.23 c Sol. found (all assignments made)... 1650.24 c Sol. found (all assignments made)... 1650.32 c Sol. found (all assignments made)... 1650.33 c Sol. found (all assignments made)... 1650.33 c Sol. found (all assignments made)... 1650.33 c Sol. found (all assignments made)... 1650.34 c Sol. found (all assignments made)... 1650.34 c Sol. found (all assignments made)... 1650.35 c Sol. found (all assignments made)... 1650.35 c Sol. found (all assignments made)... 1657.42 c Restart #172 #Var: 1150 LB: -1150 @ 1656.8 1675.23 c Restart #173 #Var: 1150 LB: -1150 @ 1674.6 1693.50 c Restart #174 #Var: 1150 LB: -1150 @ 1692.9 1711.50 c Restart #175 #Var: 1150 LB: -1150 @ 1710.9 1729.57 c Restart #176 #Var: 1150 LB: -1150 @ 1728.9 1747.78 c Restart #177 #Var: 1150 LB: -1150 @ 1747.2 1766.22 c Restart #178 #Var: 1150 LB: -1150 @ 1765.6 1785.25 c Restart #179 #Var: 1150 LB: -1150 @ 1784.6 1800.65 s SATISFIABLE 1800.65 c Cost: -41 1800.65 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.65 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 1800.65 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.65 v -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.65 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.65 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1800.65 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1800.65 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1800.65 v -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1800.65 v -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1800.65 v -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1800.65 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 1800.65 v -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 1800.65 v x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 1800.65 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 x873 -x872 -x871 1800.65 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 1800.65 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 1800.65 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 x809 -x808 1800.65 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 1800.65 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1800.65 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1800.65 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 -x725 -x724 1800.65 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1800.65 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1800.65 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1800.65 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1800.65 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1800.65 v -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1800.65 v -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1800.65 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 1800.65 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1800.65 v -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1800.65 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1800.65 v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 1800.65 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 1800.65 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1800.65 v x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1800.65 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1800.65 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.65 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 1800.65 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 1800.65 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.65 v -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1800.65 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.65 v -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.65 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1800.65 v -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1800.65 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1800.65 v x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1800.65 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.65 v -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1800.65 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.65 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1800.65 v -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 1800.65 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 1800.65 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK -41
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/node31/watcher-40512-1149299244 -o ROOT/results/node31/solver-40512-1149299244 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40512-1149299244/instance-40512-1149299244.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1544056/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=3436 CPUtime=0 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 65 0 0 0 0 0 0 0 18 0 1 0 195588088 3518464 47 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1172260 0 0 4096 0 0 0 0 17 1 0 0 /proc/2469/statm: 859 47 34 55 0 42 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1504376/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=44136 CPUtime=9.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 10276 0 0 0 987 4 0 0 25 0 1 0 195588088 45195264 10191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 11034 10191 287 55 0 9926 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 44136 [startup+20.0077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1503288/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=45192 CPUtime=19.92 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 10646 0 0 0 1986 6 0 0 25 0 1 0 195588088 46276608 10488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 11298 10488 297 55 0 10190 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 45192 [startup+30.0135 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1495800/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=52040 CPUtime=29.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 12350 0 3 0 2982 9 0 0 25 0 1 0 195588088 53288960 12095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 13010 12095 308 55 0 11902 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 52040 [startup+40.0194 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1494520/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=53276 CPUtime=39.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 12763 0 3 0 3979 12 0 0 25 0 1 0 195588088 54554624 12423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 13319 12423 308 55 0 12211 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 53276 [startup+50.0262 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1493560/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=54204 CPUtime=49.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 13009 0 3 0 4977 14 0 0 25 0 1 0 195588088 55504896 12669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 13551 12669 308 55 0 12443 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 54204 [startup+60.031 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1463352/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=106052 CPUtime=59.89 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 23508 0 9 0 5969 20 0 0 25 0 1 0 195588088 108597248 20037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 26513 20037 414 55 0 25405 0 Current children cumulated CPU time (s) 59.89 Current children cumulated vsize (Kb) 106052 [startup+70.0368 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1463480/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=96496 CPUtime=69.9 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 25686 0 9 0 6969 21 0 0 25 0 1 0 195588088 98811904 19966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 24124 19966 414 55 0 23016 0 Current children cumulated CPU time (s) 69.9 Current children cumulated vsize (Kb) 96496 [startup+80.0427 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1485304/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=72844 CPUtime=79.89 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 80736 0 9 0 7944 45 0 0 25 0 1 0 195588088 74592256 14986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 18211 14986 435 55 0 17103 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (Kb) 72844 [startup+90.0485 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1479608/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=67720 CPUtime=89.9 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269178 0 9 0 8860 130 0 0 25 0 1 0 195588088 69345280 16021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 16930 16021 436 55 0 15822 0 Current children cumulated CPU time (s) 89.9 Current children cumulated vsize (Kb) 67720 [startup+100.054 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1479288/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=67988 CPUtime=99.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269594 0 9 0 9860 131 0 0 25 0 1 0 195588088 69619712 16090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 16997 16090 436 55 0 15889 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 67988 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1479288/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=67916 CPUtime=109.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269615 0 9 0 10860 131 0 0 25 0 1 0 195588088 69545984 16073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 16979 16073 436 55 0 15871 0 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 67916 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478904/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68408 CPUtime=119.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269810 0 9 0 11859 132 0 0 25 0 1 0 195588088 70049792 16189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17102 16189 436 55 0 15994 0 Current children cumulated CPU time (s) 119.91 Current children cumulated vsize (Kb) 68408 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478904/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68400 CPUtime=129.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269810 0 9 0 12858 133 0 0 25 0 1 0 195588088 70041600 16189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17100 16189 436 55 0 15992 0 Current children cumulated CPU time (s) 129.91 Current children cumulated vsize (Kb) 68400 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1479160/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68040 CPUtime=139.91 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 269952 0 9 0 13857 134 0 0 25 0 1 0 195588088 69672960 16083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17010 16083 436 55 0 15902 0 Current children cumulated CPU time (s) 139.91 Current children cumulated vsize (Kb) 68040 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1479096/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68080 CPUtime=149.92 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270024 0 9 0 14857 135 0 0 25 0 1 0 195588088 69713920 16094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17020 16094 436 55 0 15912 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 68080 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478904/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68360 CPUtime=159.92 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270259 0 9 0 15856 136 0 0 25 0 1 0 195588088 70000640 16182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17090 16182 436 55 0 15982 0 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 68360 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478968/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68084 CPUtime=169.93 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270344 0 9 0 16855 138 0 0 25 0 1 0 195588088 69718016 16115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17021 16115 436 55 0 15913 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 68084 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478968/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68124 CPUtime=179.92 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270381 0 9 0 17854 138 0 0 25 0 1 0 195588088 69758976 16125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17031 16125 436 55 0 15923 0 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 68124 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478968/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68212 CPUtime=189.94 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270422 0 9 0 18854 140 0 0 25 0 1 0 195588088 69849088 16115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17053 16115 436 55 0 15945 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 68212 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478776/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68300 CPUtime=199.94 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 270533 0 9 0 19853 141 0 0 25 0 1 0 195588088 69939200 16169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17075 16169 436 55 0 15967 0 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 68300 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2469 /proc/meminfo: memFree=1478904/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/2469/statm: 17235 16319 436 55 0 16127 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 68940 [startup+1771.03 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1770.37 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 176758 279 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 68844 [startup+1781.03 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1780.38 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 177758 280 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 68844 [startup+1782.04 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1781.38 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 177858 280 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 68844 [startup+1783.04 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1782.39 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 177959 280 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 68844 [startup+1784.05 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1783.39 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178059 280 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 68844 [startup+1785.05 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68844 CPUtime=1784.39 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178159 280 0 0 25 0 1 0 195588088 70496256 16305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17211 16305 436 55 0 16103 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 68844 [startup+1786.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1785.4 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178260 280 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 68812 [startup+1787.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1786.4 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178360 280 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 68812 [startup+1788.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1787.41 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178461 280 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 68812 [startup+1789.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1788.42 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178561 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 68812 [startup+1790.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1789.43 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178662 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 68812 [startup+1791.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1790.43 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178762 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1606012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 68812 [startup+1792.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1791.43 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178862 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 68812 [startup+1793.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1792.44 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 178963 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 68812 [startup+1794.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1793.44 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179063 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 68812 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1794.44 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179163 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 68812 [startup+1796.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1795.45 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179264 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 68812 [startup+1797.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1796.45 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179364 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 68812 [startup+1798.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1797.45 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179464 281 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 68812 [startup+1799.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1798.47 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179565 282 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 68812 [startup+1800.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3140 /proc/meminfo: memFree=1475512/2055920 swapFree=4181480/4192956 [pid=2469] ppid=2467 vsize=68812 CPUtime=1799.47 /proc/2469/stat : 2469 (bsolo) R 2467 2469 2423 0 -1 0 273703 0 9 0 179665 282 0 0 25 0 1 0 195588088 70463488 16297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2469/statm: 17203 16297 436 55 0 16095 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 68812 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.02 CPU user time (s): 1797.18 CPU system time (s): 2.83357 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (Kb): 106052
Begin job on node31 on Sat Jun 3 01:47:24 UTC 2006 FILE ID= 40512-1149299244 PBS_JOBID= 307273 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40512-1149299244/instance-40512-1149299244.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-40512-1149299244 -o ROOT/results/node31/solver-40512-1149299244 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40512-1149299244/instance-40512-1149299244.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED= 159985328 /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.234 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1544264 kB Buffers: 29124 kB Cached: 410296 kB SwapCached: 3396 kB Active: 62176 kB Inactive: 386264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544264 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14964 kB Slab: 49136 kB Committed_AS: 325908 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sat Jun 3 02:17:25 UTC 2006