Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -33 | 1800.01 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 549.235 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27931 |
Number of constraints which are clauses | 27931 |
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 | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.40 c Initial problem consists of 595 variables and 27931 constraints. 2.64 c No problem reductions applied in OPT. instance. 2.64 c preprocess terminated. Elapsed time: 2.628 2.64 c After prepocess the problem consists of 595 variables and 27931 constraints. 2.64 c Initial Lower Bound: -595 2.67 c Sol. found (all assignments made)... 2.67 o -1 2.67 c NEW SOLUTION FOUND: -1 @ 2.65 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 o -2 2.67 c NEW SOLUTION FOUND: -2 @ 2.651 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 o -3 2.68 c NEW SOLUTION FOUND: -3 @ 2.663 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.68 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.72 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.75 c Restart #1 #Var: 595 LB: -595 @ 2.736 2.77 c Sol. found (all assignments made)... 2.77 o -24 2.77 c NEW SOLUTION FOUND: -24 @ 2.757 2.77 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 o -25 2.78 c NEW SOLUTION FOUND: -25 @ 2.765 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.81 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.90 c Restart #2 #Var: 595 LB: -595 @ 2.883 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.93 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.94 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.95 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.09 c Restart #3 #Var: 595 LB: -595 @ 3.074 3.11 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 o -26 3.16 c NEW SOLUTION FOUND: -26 @ 3.146 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.38 c Restart #4 #Var: 595 LB: -595 @ 3.362 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.67 c Restart #5 #Var: 595 LB: -595 @ 3.651 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 4.00 c Restart #6 #Var: 595 LB: -595 @ 3.986 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.05 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.08 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.09 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.39 c Restart #7 #Var: 595 LB: -595 @ 4.371 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.50 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.53 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.54 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.57 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.76 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 17.94 c CHANGE to MIS mode... UB: -26 MIS: -302 LPR: -264 (1.3081) Diff: 1.1439 17.94 c Restart #0 #Var: 595 LB: -595 @ 17.915 18.07 c Restart #1 #Var: 595 LB: -595 @ 18.048 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 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.13 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.13 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.13 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.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.14 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.14 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.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.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 c Sol. found (all assignments made)... 18.15 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.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.16 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 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.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.21 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.22 c Sol. found (all assignments made)... 18.25 c Restart #2 #Var: 595 LB: -595 @ 18.226 18.36 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.37 c Sol. found (all assignments made)... 18.37 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.39 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.40 c Sol. found (all assignments made)... 18.46 c Restart #3 #Var: 595 LB: -595 @ 18.443 18.78 c Restart #4 #Var: 595 LB: -301 @ 18.76 18.86 c Sol. found (all assignments made)... 18.86 c Sol. found (all assignments made)... 18.86 o -27 18.86 c NEW SOLUTION FOUND: -27 @ 18.843 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.95 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.98 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.16 c Restart #5 #Var: 595 LB: -300 @ 19.137 19.28 c Sol. found (all assignments made)... 19.30 c Sol. found (all assignments made)... 19.30 c Sol. found (all assignments made)... 19.33 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.57 c Restart #6 #Var: 595 LB: -302 @ 19.551 20.05 c Restart #7 #Var: 595 LB: -303 @ 20.024 20.46 c Sol. found (all assignments made)... 20.56 c Restart #8 #Var: 595 LB: -302 @ 20.533 21.12 c Restart #9 #Var: 595 LB: -595 @ 21.101 21.75 c Restart #10 #Var: 595 LB: -301 @ 21.723 21.82 c Sol. found (all assignments made)... 21.82 c Sol. found (all assignments made)... 21.82 c Sol. found (all assignments made)... 21.82 c Sol. found (all assignments made)... 21.83 c Sol. found (all assignments made)... 21.83 c Sol. found (all assignments made)... 21.83 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.85 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.88 c Sol. found (all assignments made)... 21.88 c Sol. found (all assignments made)... 21.88 c Sol. found (all assignments made)... 21.88 c Sol. found (all assignments made)... 21.88 c Sol. found (all assignments made)... 21.89 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.42 c Restart #11 #Var: 595 LB: -301 @ 22.395 23.13 c Restart #12 #Var: 595 LB: -595 @ 23.111 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.24 c Sol. found (all assignments made)... 23.24 o -28 23.24 c NEW SOLUTION FOUND: -28 @ 23.22 23.24 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.35 o -29 23.35 c NEW SOLUTION FOUND: -29 @ 23.324 23.35 c Sol. found (all assignments made)... 23.35 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.47 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.57 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.65 c Sol. found (all assignments made)... 23.66 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.76 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.89 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 23.94 c Sol. found (all assignments made)... 24.04 c Restart #13 #Var: 595 LB: -595 @ 24.014 24.43 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.67 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.88 c Restart #14 #Var: 595 LB: -595 @ 24.857 25.75 c Restart #15 #Var: 595 LB: -595 @ 25.728 26.69 c Restart #16 #Var: 595 LB: -595 @ 26.666 27.70 c Restart #17 #Var: 595 LB: -302 @ 27.679 28.78 c Restart #18 #Var: 595 LB: -301 @ 28.751 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.08 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.11 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.13 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.14 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.15 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.19 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.23 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.25 c Sol. found (all assignments made)... 29.26 c Sol. found (all assignments made)... 29.26 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.28 c Sol. found (all assignments made)... 29.28 c Sol. found (all assignments made)... 29.28 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.46 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.47 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.48 c Sol. found (all assignments made)... 29.49 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.51 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.52 c Sol. found (all assignments made)... 29.68 c Sol. found (all assignments made)... 29.72 c Sol. found (all assignments made)... 29.73 c Sol. found (all assignments made)... 29.74 c Sol. found (all assignments made)... 29.76 c Sol. found (all assignments made)... 29.77 c Sol. found (all assignments made)... 29.77 c Sol. found (all assignments made)... 29.77 c Sol. found (all assignments made)... 29.78 c Sol. found (all assignments made)... 29.78 c Sol. found (all assignments made)... 29.78 c Sol. found (all assignments made)... 29.78 c Sol. found (all assignments made)... 29.80 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.82 c Sol. found (all assignments made)... 29.85 c Restart #19 #Var: 595 LB: -595 @ 29.823 30.71 c Sol. found (all assignments made)... 30.73 c Sol. found (all assignments made)... 30.76 c Sol. found (all assignments made)... 30.77 c Sol. found (all assignments made)... 31.00 c Restart #20 #Var: 595 LB: -301 @ 30.977 32.23 c Restart #21 #Var: 595 LB: -595 @ 32.21 33.52 c Restart #22 #Var: 595 LB: -595 @ 33.497 34.83 c Restart #23 #Var: 595 LB: -595 @ 34.8 36.18 c Restart #24 #Var: 595 LB: -595 @ 36.15 37.74 c Restart #25 #Var: 595 LB: -595 @ 37.711 39.19 c Restart #26 #Var: 595 LB: -595 @ 39.167 39.37 c Sol. found (all assignments made)... 39.54 c Sol. found (all assignments made)... 40.57 c Sol. found (all assignments made)... 40.57 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.58 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.61 c Sol. found (all assignments made)... 40.63 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.64 c Sol. found (all assignments made)... 40.65 c Sol. found (all assignments made)... 40.73 c Restart #27 #Var: 595 LB: -595 @ 40.706 41.13 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.65 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.81 c Sol. found (all assignments made)... 41.82 c Sol. found (all assignments made)... 41.95 c Sol. found (all assignments made)... 42.11 c Sol. found (all assignments made)... 42.11 c Sol. found (all assignments made)... 42.13 c Sol. found (all assignments made)... 42.13 c Sol. found (all assignments made)... 42.28 c Restart #28 #Var: 595 LB: -595 @ 42.252 43.57 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.58 c Sol. found (all assignments made)... 43.58 c Sol. found (all assignments made)... 43.59 c Sol. found (all assignments made)... 43.59 c Sol. found (all assignments made)... 43.60 c Sol. found (all assignments made)... 43.60 c Sol. found (all assignments made)... 43.63 c Sol. found (all assignments made)... 43.64 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.69 c Sol. found (all assignments made)... 43.69 c Sol. found (all assignments made)... 43.95 c Restart #29 #Var: 595 LB: -595 @ 43.924 44.37 c Sol. found (all assignments made)... 44.43 c Sol. found (all assignments made)... 44.46 c Sol. found (all assignments made)... 44.48 c Sol. found (all assignments made)... 45.62 c Restart #30 #Var: 595 LB: -595 @ 45.593 47.40 c Restart #31 #Var: 595 LB: -302 @ 47.37 49.25 c Restart #32 #Var: 595 LB: -595 @ 49.224 51.07 c Restart #33 #Var: 595 LB: -595 @ 51.044 52.95 c Restart #34 #Var: 595 LB: -595 @ 52.922 54.90 c Restart #35 #Var: 595 LB: -595 @ 54.864 55.08 c Sol. found (all assignments made)... 55.08 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 56.96 c Restart #36 #Var: 595 LB: -302 @ 56.932 59.10 c Restart #37 #Var: 595 LB: -595 @ 59.069 60.58 c Sol. found (all assignments made)... 60.58 c Sol. found (all assignments made)... 60.58 c Sol. found (all assignments made)... 60.58 c Sol. found (all assignments made)... 60.59 c Sol. found (all assignments made)... 61.22 c Restart #38 #Var: 595 LB: -302 @ 61.188 63.47 c Restart #39 #Var: 595 LB: -302 @ 63.439 65.74 c Restart #40 #Var: 595 LB: -595 @ 65.707 68.15 c Restart #41 #Var: 595 LB: -595 @ 68.111 70.48 c Restart #42 #Var: 595 LB: -595 @ 70.448 72.97 c Restart #43 #Var: 595 LB: -595 @ 72.933 75.43 c Restart #44 #Var: 595 LB: -595 @ 75.396 77.95 c Restart #45 #Var: 595 LB: -595 @ 77.91 80.56 c Restart #46 #Var: 595 LB: -595 @ 80.524 83.28 c Restart #47 #Var: 595 LB: -595 @ 83.243 86.13 c Restart #48 #Var: 595 LB: -302 @ 86.087 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.13 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.16 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.18 c Sol. found (all assignments made)... 87.18 c Sol. found (all assignments made)... 87.19 c Sol. found (all assignments made)... 87.20 c Sol. found (all assignments made)... 87.20 c Sol. found (all assignments made)... 87.20 c Sol. found (all assignments made)... 87.20 c Sol. found (all assignments made)... 87.20 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.21 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.22 c Sol. found (all assignments made)... 87.23 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.24 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.25 c Sol. found (all assignments made)... 87.39 c Sol. found (all assignments made)... 87.40 c Sol. found (all assignments made)... 87.40 c Sol. found (all assignments made)... 87.48 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.50 c Sol. found (all assignments made)... 87.50 c Sol. found (all assignments made)... 87.51 c Sol. found (all assignments made)... 87.51 c Sol. found (all assignments made)... 87.51 c Sol. found (all assignments made)... 87.56 c Sol. found (all assignments made)... 87.56 c Sol. found (all assignments made)... 87.57 c Sol. found (all assignments made)... 87.58 c Sol. found (all assignments made)... 87.59 c Sol. found (all assignments made)... 87.60 c Sol. found (all assignments made)... 87.60 c Sol. found (all assignments made)... 87.61 c Sol. found (all assignments made)... 87.61 c Sol. found (all assignments made)... 87.62 c Sol. found (all assignments made)... 87.69 c Sol. found (all assignments made)... 87.69 c Sol. found (all assignments made)... 87.69 c Sol. found (all assignments made)... 88.85 c Restart #49 #Var: 595 LB: -595 @ 88.814 91.57 c Restart #50 #Var: 595 LB: -595 @ 91.526 94.37 c Restart #51 #Var: 595 LB: -595 @ 94.332 97.29 c Restart #52 #Var: 595 LB: -595 @ 97.248 98.48 c Sol. found (all assignments made)... 100.20 c Restart #53 #Var: 595 LB: -595 @ 100.16 103.26 c Restart #54 #Var: 595 LB: -595 @ 103.22 103.51 c Sol. found (all assignments made)... 103.51 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.61 c Sol. found (all assignments made)... 103.62 c Sol. found (all assignments made)... 103.62 c Sol. found (all assignments made)... 103.64 c Sol. found (all assignments made)... 103.64 c Sol. found (all assignments made)... 103.65 c Sol. found (all assignments made)... 103.65 c Sol. found (all assignments made)... 103.65 c Sol. found (all assignments made)... 103.65 c Sol. found (all assignments made)... 103.78 c Sol. found (all assignments made)... 103.78 c Sol. found (all assignments made)... 103.78 c Sol. found (all assignments made)... 103.78 c Sol. found (all assignments made)... 103.78 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.79 c Sol. found (all assignments made)... 103.80 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.81 c Sol. found (all assignments made)... 103.82 c Sol. found (all assignments made)... 103.82 c Sol. found (all assignments made)... 103.82 c Sol. found (all assignments made)... 103.82 c Sol. found (all assignments made)... 103.83 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.88 c Sol. found (all assignments made)... 103.88 c Sol. found (all assignments made)... 103.88 c Sol. found (all assignments made)... 103.88 c Sol. found (all assignments made)... 103.88 c Sol. found (all assignments made)... 103.89 c Sol. found (all assignments made)... 103.89 c Sol. found (all assignments made)... 103.89 c Sol. found (all assignments made)... 103.89 c Sol. found (all assignments made)... 103.90 c Sol. found (all assignments made)... 103.90 c Sol. found (all assignments made)... 103.90 c Sol. found (all assignments made)... 103.90 c Sol. found (all assignments made)... 104.28 c Sol. found (all assignments made)... 104.29 c Sol. found (all assignments made)... 104.60 c Sol. found (all assignments made)... 104.60 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.62 c Sol. found (all assignments made)... 104.63 c Sol. found (all assignments made)... 104.63 c Sol. found (all assignments made)... 104.63 c Sol. found (all assignments made)... 104.63 c Sol. found (all assignments made)... 104.63 c Sol. found (all assignments made)... 104.64 c Sol. found (all assignments made)... 105.13 c Sol. found (all assignments made)... 105.13 c Sol. found (all assignments made)... 105.14 c Sol. found (all assignments made)... 105.14 c Sol. found (all assignments made)... 105.15 c Sol. found (all assignments made)... 105.15 c Sol. found (all assignments made)... 106.34 c Restart #55 #Var: 595 LB: -595 @ 106.3 109.48 c Restart #56 #Var: 595 LB: -595 @ 109.43 112.67 c Restart #57 #Var: 595 LB: -595 @ 112.62 113.30 c Sol. found (all assignments made)... 113.31 c Sol. found (all assignments made)... 113.40 c Sol. found (all assignments made)... 113.40 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.41 c Sol. found (all assignments made)... 113.42 c Sol. found (all assignments made)... 113.42 c Sol. found (all assignments made)... 113.42 c Sol. found (all assignments made)... 113.42 c Sol. found (all assignments made)... 113.45 c Sol. found (all assignments made)... 113.45 c Sol. found (all assignments made)... 113.48 c Sol. found (all assignments made)... 113.48 c Sol. found (all assignments made)... 113.48 c Sol. found (all assignments made)... 113.48 c Sol. found (all assignments made)... 113.49 c Sol. found (all assignments made)... 113.49 c Sol. found (all assignments made)... 113.49 c Sol. found (all assignments made)... 113.49 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 113.64 c Sol. found (all assignments made)... 113.77 c Sol. found (all assignments made)... 113.77 c Sol. found (all assignments made)... 113.83 c Sol. found (all assignments made)... 113.97 c Sol. found (all assignments made)... 113.98 c Sol. found (all assignments made)... 113.98 c Sol. found (all assignments made)... 113.98 c Sol. found (all assignments made)... 113.99 c Sol. found (all assignments made)... 113.99 c Sol. found (all assignments made)... 114.36 c Sol. found (all assignments made)... 114.36 c Sol. found (all assignments made)... 114.49 c Sol. found (all assignments made)... 114.57 c Sol. found (all assignments made)... 114.57 c Sol. found (all assignments made)... 115.00 c Sol. found (all assignments made)... 115.00 c Sol. found (all assignments made)... 115.91 c Restart #58 #Var: 595 LB: -595 @ 115.86 119.12 c Restart #59 #Var: 595 LB: -595 @ 119.08 121.28 c Sol. found (all assignments made)... 122.51 c Restart #60 #Var: 595 LB: -595 @ 122.46 125.87 c Restart #61 #Var: 595 LB: -595 @ 125.82 129.28 c Restart #62 #Var: 595 LB: -595 @ 129.23 132.78 c Restart #63 #Var: 595 LB: -595 @ 132.73 132.97 c Sol. found (all assignments made)... 136.24 c Restart #64 #Var: 595 LB: -595 @ 136.19 140.02 c Restart #65 #Var: 595 LB: -595 @ 139.96 141.23 c Sol. found (all assignments made)... 141.24 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.35 c Sol. found (all assignments made)... 141.36 c Sol. found (all assignments made)... 141.38 c Sol. found (all assignments made)... 141.46 c Sol. found (all assignments made)... 141.83 c Sol. found (all assignments made)... 141.84 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 141.89 c Sol. found (all assignments made)... 142.97 c Sol. found (all assignments made)... 142.99 c Sol. found (all assignments made)... 142.99 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.08 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.09 c Sol. found (all assignments made)... 143.63 c Restart #66 #Var: 595 LB: -595 @ 143.57 147.56 c Restart #67 #Var: 595 LB: -595 @ 147.5 151.49 c Restart #68 #Var: 595 LB: -595 @ 151.44 151.63 c Sol. found (all assignments made)... 151.64 c Sol. found (all assignments made)... 151.78 c Sol. found (all assignments made)... 151.78 c Sol. found (all assignments made)... 151.78 c Sol. found (all assignments made)... 152.56 c Sol. found (all assignments made)... 154.29 c Sol. found (all assignments made)... 155.25 c Restart #69 #Var: 595 LB: -595 @ 155.19 159.21 c Restart #70 #Var: 595 LB: -595 @ 159.15 163.27 c Restart #71 #Var: 595 LB: -595 @ 163.21 167.43 c Restart #72 #Var: 595 LB: -595 @ 167.37 171.13 c Sol. found (all assignments made)... 171.14 c Sol. found (all assignments made)... 171.15 c Sol. found (all assignments made)... 171.16 c Sol. found (all assignments made)... 171.24 c Sol. found (all assignments made)... 171.26 c Sol. found (all assignments made)... 171.50 c Restart #73 #Var: 595 LB: -595 @ 171.44 174.96 c Sol. found (all assignments made)... 175.53 c Restart #74 #Var: 595 LB: -595 @ 175.47 179.68 c Restart #75 #Var: 595 LB: -595 @ 179.61 183.92 c Restart #76 #Var: 595 LB: -595 @ 183.85 188.18 c Restart #77 #Var: 595 LB: -595 @ 188.11 192.56 c Restart #78 #Var: 595 LB: -595 @ 192.49 197.07 c Restart #79 #Var: 595 LB: -302 @ 197 201.54 c Restart #80 #Var: 595 LB: -595 @ 201.47 203.88 c Sol. found (all assignments made)... 204.05 c Sol. found (all assignments made)... 204.36 c Sol. found (all assignments made)... 205.86 c Restart #81 #Var: 595 LB: -595 @ 205.79 210.49 c Restart #82 #Var: 595 LB: -595 @ 210.41 212.50 c Sol. found (all assignments made)... 212.51 c Sol. found (all assignments made)... 212.60 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.62 c Sol. found (all assignments made)... 212.64 c Sol. found (all assignments made)... 212.66 c Sol. found (all assignments made)... 212.67 c Sol. found (all assignments made)... 212.68 c Sol. found (all assignments made)... 212.70 c Sol. found (all assignments made)... 212.70 c Sol. found (all assignments made)... 212.71 c Sol. found (all assignments made)... 212.73 c Sol. found (all assignments made)... 212.75 c Sol. found (all assignments made)... 212.76 c Sol. found (all assignments made)... 212.77 c Sol. found (all assignments made)... 214.90 c Restart #83 #Var: 595 LB: -595 @ 214.83 219.55 c Restart #84 #Var: 595 LB: -595 @ 219.48 224.26 c Restart #85 #Var: 595 LB: -595 @ 224.19 228.43 c Sol. found (all assignments made)... 228.46 c Sol. found (all assignments made)... 228.47 c Sol. found (all assignments made)... 228.49 c Sol. found (all assignments made)... 228.49 c Sol. found (all assignments made)... 228.94 c Restart #86 #Var: 595 LB: -595 @ 228.86 233.66 c Restart #87 #Var: 595 LB: -595 @ 233.58 238.51 c Restart #88 #Var: 595 LB: -595 @ 238.43 243.47 c Restart #89 #Var: 595 LB: -595 @ 243.39 248.59 c Restart #90 #Var: 595 LB: -595 @ 248.51 248.81 c Sol. found (all assignments made)... 248.82 c Sol. found (all assignments made)... 248.82 c Sol. found (all assignments made)... 248.83 c Sol. found (all assignments made)... 248.83 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.85 c Sol. found (all assignments made)... 248.85 c Sol. found (all assignments made)... 248.85 c Sol. found (all assignments made)... 248.85 c Sol. found (all assignments made)... 248.86 c Sol. found (all assignments made)... 248.86 c Sol. found (all assignments made)... 248.87 c Sol. found (all assignments made)... 248.87 c Sol. found (all assignments made)... 248.88 c Sol. found (all assignments made)... 248.88 c Sol. found (all assignments made)... 248.88 c Sol. found (all assignments made)... 248.89 c Sol. found (all assignments made)... 248.90 c Sol. found (all assignments made)... 248.91 c Sol. found (all assignments made)... 248.91 c Sol. found (all assignments made)... 248.94 c Sol. found (all assignments made)... 248.96 c Sol. found (all assignments made)... 248.96 c Sol. found (all assignments made)... 248.96 c Sol. found (all assignments made)... 248.96 c Sol. found (all assignments made)... 249.01 c Sol. found (all assignments made)... 249.01 c Sol. found (all assignments made)... 249.05 c Sol. found (all assignments made)... 249.17 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.20 c Sol. found (all assignments made)... 249.20 c Sol. found (all assignments made)... 249.21 c Sol. found (all assignments made)... 249.22 c Sol. found (all assignments made)... 249.24 c Sol. found (all assignments made)... 249.24 c Sol. found (all assignments made)... 249.25 c Sol. found (all assignments made)... 249.26 c Sol. found (all assignments made)... 249.26 c Sol. found (all assignments made)... 249.26 c Sol. found (all assignments made)... 249.26 c Sol. found (all assignments made)... 249.27 c Sol. found (all assignments made)... 249.27 c Sol. found (all assignments made)... 249.28 c Sol. found (all assignments made)... 249.28 c Sol. found (all assignments made)... 249.28 c Sol. found (all assignments made)... 249.29 c Sol. found (all assignments made)... 249.29 c Sol. found (all assignments made)... 249.29 c Sol. found (all assignments made)... 249.30 c Sol. found (all assignments made)... 249.30 c Sol. found (all assignments made)... 249.30 c Sol. found (all assignments made)... 249.31 c Sol. found (all assignments made)... 249.32 c Sol. found (all assignments made)... 249.32 c Sol. found (all assignments made)... 249.32 c Sol. found (all assignments made)... 249.41 c Sol. found (all assignments made)... 249.44 c Sol. found (all assignments made)... 249.44 c Sol. found (all assignments made)... 249.44 c Sol. found (all assignments made)... 249.45 c Sol. found (all assignments made)... 249.45 c Sol. found (all assignments made)... 249.48 c Sol. found (all assignments made)... 249.48 c Sol. found (all assignments made)... 249.48 c Sol. found (all assignments made)... 249.48 c Sol. found (all assignments made)... 249.55 c Sol. found (all assignments made)... 249.58 c Sol. found (all assignments made)... 249.58 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.59 c Sol. found (all assignments made)... 249.62 c Sol. found (all assignments made)... 249.62 c Sol. found (all assignments made)... 249.63 c Sol. found (all assignments made)... 249.63 c Sol. found (all assignments made)... 249.65 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.66 c Sol. found (all assignments made)... 249.67 c Sol. found (all assignments made)... 249.67 c Sol. found (all assignments made)... 249.68 c Sol. found (all assignments made)... 249.68 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.69 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.70 c Sol. found (all assignments made)... 249.71 c Sol. found (all assignments made)... 249.71 c Sol. found (all assignments made)... 249.73 c Sol. found (all assignments made)... 249.73 c Sol. found (all assignments made)... 249.74 c Sol. found (all assignments made)... 249.74 c Sol. found (all assignments made)... 249.74 c Sol. found (all assignments made)... 249.75 c Sol. found (all assignments made)... 249.75 c Sol. found (all assignments made)... 249.81 c Sol. found (all assignments made)... 249.84 c Sol. found (all assignments made)... 249.85 c Sol. found (all assignments made)... 249.94 c Sol. found (all assignments made)... 250.01 c Sol. found (all assignments made)... 250.02 c Sol. found (all assignments made)... 250.02 c Sol. found (all assignments made)... 250.03 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.07 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.08 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.09 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.10 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.11 c Sol. found (all assignments made)... 250.12 c Sol. found (all assignments made)... 250.12 c Sol. found (all assignments made)... 250.12 c Sol. found (all assignments made)... 250.12 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.13 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.14 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.15 c Sol. found (all assignments made)... 250.16 c Sol. found (all assignments made)... 250.16 c Sol. found (all assignments made)... 250.16 c Sol. found (all assignments made)... 250.16 c Sol. found (all assignments made)... 250.16 c Sol. found (all assignments made)... 250.17 c Sol. found (all assignments made)... 250.17 c Sol. found (all assignments made)... 250.18 c Sol. found (all assignments made)... 250.18 c Sol. found (all assignments made)... 250.18 c Sol. found (all assignments made)... 250.22 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.23 c Sol. found (all assignments made)... 250.34 c Sol. found (all assignments made)... 250.45 c Sol. found (all assignments made)... 250.45 c Sol. found (all assignments made)... 250.50 c Sol. found (all assignments made)... 250.50 c Sol. found (all assignments made)... 250.50 c Sol. found (all assignments made)... 250.56 c Sol. found (all assignments made)... 250.56 c Sol. found (all assignments made)... 250.58 c Sol. found (all assignments made)... 250.59 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.60 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.61 c Sol. found (all assignments made)... 250.62 c Sol. found (all assignments made)... 250.62 c Sol. found (all assignments made)... 250.62 c Sol. found (all assignments made)... 250.62 c Sol. found (all assignments made)... 250.62 c Sol. found (all assignments made)... 250.63 c Sol. found (all assignments made)... 250.63 c Sol. found (all assignments made)... 250.63 c Sol. found (all assignments made)... 250.63 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.64 c Sol. found (all assignments made)... 250.65 c Sol. found (all assignments made)... 250.65 c Sol. found (all assignments made)... 250.65 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.66 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.67 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.68 c Sol. found (all assignments made)... 250.99 c Sol. found (all assignments made)... 251.03 c Sol. found (all assignments made)... 251.07 c Sol. found (all assignments made)... 251.07 c Sol. found (all assignments made)... 251.07 c Sol. found (all assignments made)... 251.07 c Sol. found (all assignments made)... 251.08 c Sol. found (all assignments made)... 251.08 c Sol. found (all assignments made)... 251.17 c Sol. found (all assignments made)... 251.17 c Sol. found (all assignments made)... 251.18 c Sol. found (all assignments made)... 251.18 c Sol. found (all assignments made)... 251.18 c Sol. found (all assignments made)... 251.18 c Sol. found (all assignments made)... 251.19 c Sol. found (all assignments made)... 251.19 c Sol. found (all assignments made)... 251.19 c Sol. found (all assignments made)... 251.21 c Sol. found (all assignments made)... 251.27 c Sol. found (all assignments made)... 251.27 c Sol. found (all assignments made)... 251.27 c Sol. found (all assignments made)... 251.27 c Sol. found (all assignments made)... 251.28 c Sol. found (all assignments made)... 251.28 c Sol. found (all assignments made)... 251.35 c Sol. found (all assignments made)... 251.35 c Sol. found (all assignments made)... 251.35 c Sol. found (all assignments made)... 251.41 c Sol. found (all assignments made)... 251.45 c Sol. found (all assignments made)... 251.45 c Sol. found (all assignments made)... 251.52 c Sol. found (all assignments made)... 251.53 c Sol. found (all assignments made)... 251.54 c Sol. found (all assignments made)... 251.64 c Sol. found (all assignments made)... 251.64 c Sol. found (all assignments made)... 251.64 c Sol. found (all assignments made)... 251.66 c Sol. found (all assignments made)... 251.67 c Sol. found (all assignments made)... 251.69 c Sol. found (all assignments made)... 251.73 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.76 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.77 c Sol. found (all assignments made)... 251.78 c Sol. found (all assignments made)... 251.78 c Sol. found (all assignments made)... 251.79 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.80 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.81 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.82 c Sol. found (all assignments made)... 251.83 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.84 c Sol. found (all assignments made)... 251.85 c Sol. found (all assignments made)... 251.86 c Sol. found (all assignments made)... 251.88 c Sol. found (all assignments made)... 251.89 c Sol. found (all assignments made)... 251.90 c Sol. found (all assignments made)... 251.90 c Sol. found (all assignments made)... 251.90 c Sol. found (all assignments made)... 251.90 c Sol. found (all assignments made)... 251.91 c Sol. found (all assignments made)... 251.91 c Sol. found (all assignments made)... 251.92 c Sol. found (all assignments made)... 251.92 c Sol. found (all assignments made)... 251.92 c Sol. found (all assignments made)... 251.93 c Sol. found (all assignments made)... 251.93 c Sol. found (all assignments made)... 251.93 c Sol. found (all assignments made)... 251.93 c Sol. found (all assignments made)... 251.95 c Sol. found (all assignments made)... 251.97 c Sol. found (all assignments made)... 251.97 c Sol. found (all assignments made)... 251.98 c Sol. found (all assignments made)... 251.98 c Sol. found (all assignments made)... 251.99 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.01 c Sol. found (all assignments made)... 252.01 c Sol. found (all assignments made)... 252.01 c Sol. found (all assignments made)... 252.01 c Sol. found (all assignments made)... 252.01 c Sol. found (all assignments made)... 252.02 c Sol. found (all assignments made)... 252.02 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.03 c Sol. found (all assignments made)... 252.04 c Sol. found (all assignments made)... 252.04 c Sol. found (all assignments made)... 252.04 c Sol. found (all assignments made)... 252.04 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.06 c Sol. found (all assignments made)... 252.07 c Sol. found (all assignments made)... 252.07 c Sol. found (all assignments made)... 252.07 c Sol. found (all assignments made)... 252.08 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.09 c Sol. found (all assignments made)... 252.10 c Sol. found (all assignments made)... 252.10 c Sol. found (all assignments made)... 252.10 c Sol. found (all assignments made)... 252.53 c Sol. found (all assignments made)... 252.54 c Sol. found (all assignments made)... 253.23 c Sol. found (all assignments made)... 253.28 c Sol. found (all assignments made)... 253.31 c Sol. found (all assignments made)... 253.32 c Sol. found (all assignments made)... 253.33 c Sol. found (all assignments made)... 253.38 c Sol. found (all assignments made)... 253.41 c Sol. found (all assignments made)... 253.48 c Sol. found (all assignments made)... 253.48 c Sol. found (all assignments made)... 253.54 c Restart #91 #Var: 595 LB: -595 @ 253.46 257.80 c Sol. found (all assignments made)... 257.88 c Sol. found (all assignments made)... 257.91 c Sol. found (all assignments made)... 258.58 c Restart #92 #Var: 595 LB: -595 @ 258.49 263.74 c Restart #93 #Var: 595 LB: -595 @ 263.65 264.21 c Sol. found (all assignments made)... 264.21 c Sol. found (all assignments made)... 268.82 c Restart #94 #Var: 595 LB: -595 @ 268.73 269.37 c Sol. found (all assignments made)... 272.82 c Sol. found (all assignments made)... 272.84 c Sol. found (all assignments made)... 272.84 c Sol. found (all assignments made)... 273.20 c Sol. found (all assignments made)... 273.43 c Sol. found (all assignments made)... 273.44 c Sol. found (all assignments made)... 273.44 c Sol. found (all assignments made)... 273.44 c Sol. found (all assignments made)... 274.06 c Restart #95 #Var: 595 LB: -595 @ 273.97 276.87 c Sol. found (all assignments made)... 277.90 c Sol. found (all assignments made)... 278.80 c Sol. found (all assignments made)... 278.80 c Sol. found (all assignments made)... 278.81 c Sol. found (all assignments made)... 278.81 c Sol. found (all assignments made)... 279.23 c Sol. found (all assignments made)... 279.23 c Sol. found (all assignments made)... 279.30 c Restart #96 #Var: 595 LB: -595 @ 279.21 284.69 c Restart #97 #Var: 595 LB: -595 @ 284.6 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.45 c Sol. found (all assignments made)... 285.53 c Sol. found (all assignments made)... 285.62 c Sol. found (all assignments made)... 285.62 c Sol. found (all assignments made)... 285.63 c Sol. found (all assignments made)... 285.63 c Sol. found (all assignments made)... 285.76 c Sol. found (all assignments made)... 285.78 c Sol. found (all assignments made)... 285.79 c Sol. found (all assignments made)... 285.81 c Sol. found (all assignments made)... 286.51 c Sol. found (all assignments made)... 286.68 c Sol. found (all assignments made)... 287.02 c Sol. found (all assignments made)... 287.02 o -30 287.02 c NEW SOLUTION FOUND: -30 @ 286.92 287.02 c Sol. found (all assignments made)... 292.45 c Restart #98 #Var: 595 LB: -595 @ 292.35 297.91 c Restart #99 #Var: 595 LB: -595 @ 297.81 303.77 c Restart #100 #Var: 595 LB: -595 @ 303.67 309.53 c Restart #101 #Var: 595 LB: -595 @ 309.43 315.25 c Restart #102 #Var: 595 LB: -595 @ 315.15 320.91 c Restart #103 #Var: 595 LB: -595 @ 320.81 326.73 c Restart #104 #Var: 595 LB: -595 @ 326.63 332.52 c Restart #105 #Var: 595 LB: -595 @ 332.41 332.80 c Sol. found (all assignments made)... 338.38 c Restart #106 #Var: 595 LB: -595 @ 338.28 344.70 c Restart #107 #Var: 595 LB: -595 @ 344.59 351.08 c Restart #108 #Var: 595 LB: -595 @ 350.97 357.09 c Restart #109 #Var: 595 LB: -595 @ 356.98 363.27 c Restart #110 #Var: 595 LB: -595 @ 363.16 369.33 c Restart #111 #Var: 595 LB: -595 @ 369.21 375.63 c Restart #112 #Var: 595 LB: -595 @ 375.51 382.19 c Restart #113 #Var: 595 LB: -595 @ 382.07 382.62 c Sol. found (all assignments made)... 384.65 c Sol. found (all assignments made)... 384.65 c Sol. found (all assignments made)... 384.72 c Sol. found (all assignments made)... 384.72 c Sol. found (all assignments made)... 385.97 c Sol. found (all assignments made)... 386.64 c Sol. found (all assignments made)... 386.76 c Sol. found (all assignments made)... 388.98 c Restart #114 #Var: 595 LB: -595 @ 388.86 393.90 c Sol. found (all assignments made)... 393.91 c Sol. found (all assignments made)... 393.91 c Sol. found (all assignments made)... 393.91 c Sol. found (all assignments made)... 393.92 c Sol. found (all assignments made)... 393.95 c Sol. found (all assignments made)... 394.97 c Sol. found (all assignments made)... 395.13 c Sol. found (all assignments made)... 395.56 c Restart #115 #Var: 595 LB: -595 @ 395.44 398.54 c Sol. found (all assignments made)... 398.54 c Sol. found (all assignments made)... 402.01 c Restart #116 #Var: 595 LB: -595 @ 401.89 408.52 c Restart #117 #Var: 595 LB: -595 @ 408.4 415.19 c Restart #118 #Var: 595 LB: -595 @ 415.06 421.89 c Restart #119 #Var: 595 LB: -595 @ 421.76 428.58 c Restart #120 #Var: 595 LB: -595 @ 428.45 435.51 c Restart #121 #Var: 595 LB: -595 @ 435.38 442.77 c Restart #122 #Var: 595 LB: -595 @ 442.64 449.54 c Restart #123 #Var: 595 LB: -595 @ 449.4 456.18 c Restart #124 #Var: 595 LB: -595 @ 456.04 463.22 c Restart #125 #Var: 595 LB: -595 @ 463.08 464.51 c Sol. found (all assignments made)... 466.12 c Sol. found (all assignments made)... 466.12 c Sol. found (all assignments made)... 466.12 c Sol. found (all assignments made)... 466.13 c Sol. found (all assignments made)... 466.15 c Sol. found (all assignments made)... 466.15 c Sol. found (all assignments made)... 466.15 c Sol. found (all assignments made)... 466.16 c Sol. found (all assignments made)... 466.18 c Sol. found (all assignments made)... 466.19 c Sol. found (all assignments made)... 466.42 c Sol. found (all assignments made)... 466.42 c Sol. found (all assignments made)... 466.47 c Sol. found (all assignments made)... 466.48 c Sol. found (all assignments made)... 466.49 c Sol. found (all assignments made)... 466.50 c Sol. found (all assignments made)... 466.51 c Sol. found (all assignments made)... 466.84 c Sol. found (all assignments made)... 466.84 c Sol. found (all assignments made)... 466.84 c Sol. found (all assignments made)... 466.87 c Sol. found (all assignments made)... 467.22 c Sol. found (all assignments made)... 470.26 c Restart #126 #Var: 595 LB: -595 @ 470.12 477.15 c Restart #127 #Var: 595 LB: -595 @ 477 484.35 c Restart #128 #Var: 595 LB: -595 @ 484.2 491.55 c Restart #129 #Var: 595 LB: -595 @ 491.4 498.56 c Restart #130 #Var: 595 LB: -595 @ 498.42 502.04 c Sol. found (all assignments made)... 502.04 c Sol. found (all assignments made)... 505.71 c Restart #131 #Var: 595 LB: -595 @ 505.56 513.01 c Restart #132 #Var: 595 LB: -595 @ 512.86 520.49 c Restart #133 #Var: 595 LB: -595 @ 520.33 527.75 c Restart #134 #Var: 595 LB: -595 @ 527.59 535.50 c Restart #135 #Var: 595 LB: -595 @ 535.34 542.93 c Restart #136 #Var: 595 LB: -595 @ 542.77 550.62 c Restart #137 #Var: 595 LB: -595 @ 550.46 558.32 c Restart #138 #Var: 595 LB: -595 @ 558.16 566.21 c Restart #139 #Var: 595 LB: -595 @ 566.05 572.22 c Sol. found (all assignments made)... 573.76 c Restart #140 #Var: 595 LB: -595 @ 573.59 581.26 c Restart #141 #Var: 595 LB: -595 @ 581.09 588.99 c Restart #142 #Var: 595 LB: -595 @ 588.82 590.20 c Sol. found (all assignments made)... 590.47 c Sol. found (all assignments made)... 590.48 c Sol. found (all assignments made)... 590.49 c Sol. found (all assignments made)... 591.53 c Sol. found (all assignments made)... 591.55 c Sol. found (all assignments made)... 592.10 c Sol. found (all assignments made)... 592.11 c Sol. found (all assignments made)... 592.11 c Sol. found (all assignments made)... 592.11 c Sol. found (all assignments made)... 592.12 c Sol. found (all assignments made)... 592.13 c Sol. found (all assignments made)... 592.13 c Sol. found (all assignments made)... 592.13 c Sol. found (all assignments made)... 592.13 c Sol. found (all assignments made)... 592.14 c Sol. found (all assignments made)... 592.14 c Sol. found (all assignments made)... 592.14 c Sol. found (all assignments made)... 592.14 c Sol. found (all assignments made)... 592.15 c Sol. found (all assignments made)... 592.15 c Sol. found (all assignments made)... 592.15 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.16 c Sol. found (all assignments made)... 592.17 c Sol. found (all assignments made)... 592.22 c Sol. found (all assignments made)... 593.29 c Sol. found (all assignments made)... 595.57 c Sol. found (all assignments made)... 595.57 c Sol. found (all assignments made)... 595.58 c Sol. found (all assignments made)... 595.58 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.59 c Sol. found (all assignments made)... 595.80 c Sol. found (all assignments made)... 596.57 c Restart #143 #Var: 595 LB: -595 @ 596.4 604.57 c Restart #144 #Var: 595 LB: -595 @ 604.4 612.73 c Restart #145 #Var: 595 LB: -595 @ 612.55 620.81 c Restart #146 #Var: 595 LB: -595 @ 620.63 628.85 c Restart #147 #Var: 595 LB: -595 @ 628.66 637.02 c Restart #148 #Var: 595 LB: -595 @ 636.83 643.44 c Sol. found (all assignments made)... 645.17 c Restart #149 #Var: 595 LB: -595 @ 644.99 653.26 c Restart #150 #Var: 595 LB: -595 @ 653.07 661.70 c Restart #151 #Var: 595 LB: -595 @ 661.5 668.63 c Sol. found (all assignments made)... 668.63 c Sol. found (all assignments made)... 670.11 c Restart #152 #Var: 595 LB: -595 @ 669.92 678.62 c Restart #153 #Var: 595 LB: -595 @ 678.42 687.31 c Restart #154 #Var: 595 LB: -595 @ 687.11 696.02 c Restart #155 #Var: 595 LB: -595 @ 695.81 704.53 c Restart #156 #Var: 595 LB: -595 @ 704.33 713.26 c Restart #157 #Var: 595 LB: -595 @ 713.05 722.15 c Restart #158 #Var: 595 LB: -595 @ 721.94 730.84 c Restart #159 #Var: 595 LB: -595 @ 730.63 739.73 c Restart #160 #Var: 595 LB: -595 @ 739.51 739.88 c Sol. found (all assignments made)... 740.06 c Sol. found (all assignments made)... 740.06 c Sol. found (all assignments made)... 740.06 c Sol. found (all assignments made)... 740.06 c Sol. found (all assignments made)... 740.06 c Sol. found (all assignments made)... 740.07 c Sol. found (all assignments made)... 740.07 c Sol. found (all assignments made)... 740.07 c Sol. found (all assignments made)... 740.07 c Sol. found (all assignments made)... 740.08 c Sol. found (all assignments made)... 740.12 c Sol. found (all assignments made)... 740.12 c Sol. found (all assignments made)... 740.12 c Sol. found (all assignments made)... 740.12 c Sol. found (all assignments made)... 740.14 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.88 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.89 c Sol. found (all assignments made)... 741.93 c Sol. found (all assignments made)... 741.94 c Sol. found (all assignments made)... 742.01 c Sol. found (all assignments made)... 742.01 c Sol. found (all assignments made)... 742.01 c Sol. found (all assignments made)... 742.70 c Sol. found (all assignments made)... 742.71 c Sol. found (all assignments made)... 744.20 c Sol. found (all assignments made)... 744.20 c Sol. found (all assignments made)... 744.21 c Sol. found (all assignments made)... 744.21 c Sol. found (all assignments made)... 744.49 c Sol. found (all assignments made)... 744.50 c Sol. found (all assignments made)... 744.50 c Sol. found (all assignments made)... 744.51 c Sol. found (all assignments made)... 744.51 c Sol. found (all assignments made)... 744.51 c Sol. found (all assignments made)... 744.52 c Sol. found (all assignments made)... 744.52 c Sol. found (all assignments made)... 744.53 c Sol. found (all assignments made)... 744.53 c Sol. found (all assignments made)... 744.56 c Sol. found (all assignments made)... 744.56 c Sol. found (all assignments made)... 744.57 c Sol. found (all assignments made)... 744.66 c Sol. found (all assignments made)... 745.12 c Sol. found (all assignments made)... 745.20 c Sol. found (all assignments made)... 745.21 c Sol. found (all assignments made)... 748.69 c Restart #161 #Var: 595 LB: -595 @ 748.47 749.75 c Sol. found (all assignments made)... 757.46 c Restart #162 #Var: 595 LB: -595 @ 757.24 766.70 c Restart #163 #Var: 595 LB: -595 @ 766.48 775.69 c Restart #164 #Var: 595 LB: -595 @ 775.47 776.85 c Sol. found (all assignments made)... 779.71 c Sol. found (all assignments made)... 780.95 c Sol. found (all assignments made)... 784.69 c Restart #165 #Var: 595 LB: -595 @ 784.47 794.16 c Restart #166 #Var: 595 LB: -595 @ 793.93 803.53 c Restart #167 #Var: 595 LB: -595 @ 803.3 807.90 c Sol. found (all assignments made)... 812.70 c Restart #168 #Var: 595 LB: -595 @ 812.47 821.95 c Restart #169 #Var: 595 LB: -595 @ 821.71 826.44 c Sol. found (all assignments made)... 826.46 c Sol. found (all assignments made)... 830.61 c Sol. found (all assignments made)... 831.32 c Restart #170 #Var: 595 LB: -595 @ 831.08 841.01 c Restart #171 #Var: 595 LB: -595 @ 840.77 850.55 c Restart #172 #Var: 595 LB: -595 @ 850.31 853.92 c Sol. found (all assignments made)... 853.92 c Sol. found (all assignments made)... 853.93 c Sol. found (all assignments made)... 853.93 c Sol. found (all assignments made)... 854.02 c Sol. found (all assignments made)... 854.02 c Sol. found (all assignments made)... 854.05 c Sol. found (all assignments made)... 861.08 c Restart #173 #Var: 595 LB: -595 @ 860.84 871.00 c Restart #174 #Var: 595 LB: -595 @ 870.75 880.69 c Restart #175 #Var: 595 LB: -595 @ 880.43 890.46 c Restart #176 #Var: 595 LB: -595 @ 890.2 900.45 c Restart #177 #Var: 595 LB: -595 @ 900.2 901.60 c Sol. found (all assignments made)... 903.31 c Sol. found (all assignments made)... 903.31 c Sol. found (all assignments made)... 903.35 c Sol. found (all assignments made)... 906.49 c Sol. found (all assignments made)... 906.78 c Sol. found (all assignments made)... 906.86 c Sol. found (all assignments made)... 906.91 c Sol. found (all assignments made)... 906.91 c Sol. found (all assignments made)... 906.93 c Sol. found (all assignments made)... 910.19 c Restart #178 #Var: 595 LB: -595 @ 909.93 919.86 c Restart #179 #Var: 595 LB: -595 @ 919.6 930.03 c Restart #180 #Var: 595 LB: -595 @ 929.77 940.22 c Restart #181 #Var: 595 LB: -595 @ 939.95 950.17 c Restart #182 #Var: 595 LB: -595 @ 949.9 960.68 c Restart #183 #Var: 595 LB: -595 @ 960.4 961.17 c Sol. found (all assignments made)... 970.97 c Restart #184 #Var: 595 LB: -595 @ 970.69 981.04 c Restart #185 #Var: 595 LB: -595 @ 980.76 991.40 c Restart #186 #Var: 595 LB: -595 @ 991.12 1001.55 c Restart #187 #Var: 595 LB: -595 @ 1001.3 1011.97 c Restart #188 #Var: 595 LB: -595 @ 1011.7 1022.49 c Restart #189 #Var: 595 LB: -595 @ 1022.2 1033.47 c Restart #190 #Var: 595 LB: -595 @ 1033.2 1044.27 c Restart #191 #Var: 595 LB: -595 @ 1044 1055.23 c Restart #192 #Var: 595 LB: -595 @ 1054.9 1065.94 c Restart #193 #Var: 595 LB: -595 @ 1065.6 1076.53 c Restart #194 #Var: 595 LB: -595 @ 1076.2 1087.13 c Restart #195 #Var: 595 LB: -595 @ 1086.8 1095.65 c Sol. found (all assignments made)... 1095.67 c Sol. found (all assignments made)... 1095.70 c Sol. found (all assignments made)... 1095.76 c Sol. found (all assignments made)... 1095.96 c Sol. found (all assignments made)... 1096.09 c Sol. found (all assignments made)... 1096.12 c Sol. found (all assignments made)... 1096.19 c Sol. found (all assignments made)... 1096.31 c Sol. found (all assignments made)... 1097.99 c Restart #196 #Var: 595 LB: -595 @ 1097.7 1109.16 c Restart #197 #Var: 595 LB: -595 @ 1108.9 1119.91 c Restart #198 #Var: 595 LB: -595 @ 1119.6 1119.96 c Sol. found (all assignments made)... 1119.96 c Sol. found (all assignments made)... 1119.97 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.98 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1119.99 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.00 c Sol. found (all assignments made)... 1120.01 c Sol. found (all assignments made)... 1120.01 c Sol. found (all assignments made)... 1120.02 c Sol. found (all assignments made)... 1120.04 c Sol. found (all assignments made)... 1120.04 c Sol. found (all assignments made)... 1120.06 c Sol. found (all assignments made)... 1120.07 c Sol. found (all assignments made)... 1120.07 c Sol. found (all assignments made)... 1120.07 c Sol. found (all assignments made)... 1120.07 c Sol. found (all assignments made)... 1120.07 c Sol. found (all assignments made)... 1120.10 c Sol. found (all assignments made)... 1120.10 c Sol. found (all assignments made)... 1120.10 c Sol. found (all assignments made)... 1120.10 o -31 1120.10 c NEW SOLUTION FOUND: -31 @ 1119.8 1120.10 c Sol. found (all assignments made)... 1120.10 c Sol. found (all assignments made)... 1121.43 c Sol. found (all assignments made)... 1121.43 c Sol. found (all assignments made)... 1121.43 c Sol. found (all assignments made)... 1121.45 c Sol. found (all assignments made)... 1121.49 c Sol. found (all assignments made)... 1121.50 c Sol. found (all assignments made)... 1121.50 c Sol. found (all assignments made)... 1121.50 c Sol. found (all assignments made)... 1121.54 c Sol. found (all assignments made)... 1121.55 c Sol. found (all assignments made)... 1121.56 c Sol. found (all assignments made)... 1121.56 c Sol. found (all assignments made)... 1121.56 c Sol. found (all assignments made)... 1121.57 c Sol. found (all assignments made)... 1121.57 c Sol. found (all assignments made)... 1121.58 c Sol. found (all assignments made)... 1121.58 c Sol. found (all assignments made)... 1121.59 c Sol. found (all assignments made)... 1121.59 c Sol. found (all assignments made)... 1121.60 c Sol. found (all assignments made)... 1121.60 c Sol. found (all assignments made)... 1121.61 c Sol. found (all assignments made)... 1123.46 c Sol. found (all assignments made)... 1123.46 c Sol. found (all assignments made)... 1123.46 c Sol. found (all assignments made)... 1123.46 c Sol. found (all assignments made)... 1127.21 c Sol. found (all assignments made)... 1127.22 c Sol. found (all assignments made)... 1127.22 c Sol. found (all assignments made)... 1127.23 c Sol. found (all assignments made)... 1127.24 c Sol. found (all assignments made)... 1127.24 c Sol. found (all assignments made)... 1127.25 c Sol. found (all assignments made)... 1127.25 c Sol. found (all assignments made)... 1127.26 c Sol. found (all assignments made)... 1127.26 c Sol. found (all assignments made)... 1127.27 c Sol. found (all assignments made)... 1127.27 c Sol. found (all assignments made)... 1127.27 c Sol. found (all assignments made)... 1127.27 c Sol. found (all assignments made)... 1130.87 c Restart #199 #Var: 595 LB: -595 @ 1130.6 1141.84 c Restart #200 #Var: 595 LB: -595 @ 1141.5 1152.92 c Restart #201 #Var: 595 LB: -595 @ 1152.6 1165.09 c Restart #202 #Var: 595 LB: -595 @ 1164.8 1177.07 c Restart #203 #Var: 595 LB: -595 @ 1176.7 1188.52 c Restart #204 #Var: 595 LB: -595 @ 1188.2 1199.98 c Restart #205 #Var: 595 LB: -595 @ 1199.6 1211.46 c Restart #206 #Var: 595 LB: -595 @ 1211.1 1223.11 c Restart #207 #Var: 595 LB: -595 @ 1222.8 1235.15 c Restart #208 #Var: 595 LB: -595 @ 1234.8 1247.68 c Restart #209 #Var: 595 LB: -595 @ 1247.3 1251.96 c Sol. found (all assignments made)... 1251.96 c Sol. found (all assignments made)... 1252.52 c Sol. found (all assignments made)... 1252.53 c Sol. found (all assignments made)... 1252.53 c Sol. found (all assignments made)... 1252.53 c Sol. found (all assignments made)... 1254.27 c Sol. found (all assignments made)... 1254.27 c Sol. found (all assignments made)... 1254.28 c Sol. found (all assignments made)... 1254.30 c Sol. found (all assignments made)... 1254.30 c Sol. found (all assignments made)... 1254.31 c Sol. found (all assignments made)... 1254.31 c Sol. found (all assignments made)... 1254.32 c Sol. found (all assignments made)... 1254.33 c Sol. found (all assignments made)... 1259.37 c Restart #210 #Var: 595 LB: -595 @ 1259 1271.26 c Restart #211 #Var: 595 LB: -595 @ 1270.9 1283.01 c Restart #212 #Var: 595 LB: -595 @ 1282.7 1295.24 c Restart #213 #Var: 595 LB: -595 @ 1294.9 1307.03 c Restart #214 #Var: 595 LB: -595 @ 1306.7 1319.02 c Restart #215 #Var: 595 LB: -595 @ 1318.7 1331.44 c Restart #216 #Var: 595 LB: -595 @ 1331.1 1343.80 c Restart #217 #Var: 595 LB: -595 @ 1343.4 1356.43 c Restart #218 #Var: 595 LB: -595 @ 1356 1356.69 c Sol. found (all assignments made)... 1356.69 c Sol. found (all assignments made)... 1356.69 c Sol. found (all assignments made)... 1356.69 c Sol. found (all assignments made)... 1356.69 c Sol. found (all assignments made)... 1356.69 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.70 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.72 c Sol. found (all assignments made)... 1356.73 c Sol. found (all assignments made)... 1359.73 c Sol. found (all assignments made)... 1359.74 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 o -32 1360.36 c NEW SOLUTION FOUND: -32 @ 1360 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.36 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.37 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.38 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.39 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.40 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.41 c Sol. found (all assignments made)... 1360.42 c Sol. found (all assignments made)... 1360.42 c Sol. found (all assignments made)... 1360.42 c Sol. found (all assignments made)... 1360.42 c Sol. found (all assignments made)... 1360.45 c Sol. found (all assignments made)... 1360.45 c Sol. found (all assignments made)... 1360.45 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.46 c Sol. found (all assignments made)... 1360.47 c Sol. found (all assignments made)... 1360.47 c Sol. found (all assignments made)... 1360.47 c Sol. found (all assignments made)... 1360.49 c Sol. found (all assignments made)... 1360.49 c Sol. found (all assignments made)... 1360.50 c Sol. found (all assignments made)... 1360.50 c Sol. found (all assignments made)... 1360.50 c Sol. found (all assignments made)... 1360.50 c Sol. found (all assignments made)... 1361.76 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.21 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.22 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.23 c Sol. found (all assignments made)... 1362.24 c Sol. found (all assignments made)... 1362.24 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.25 c Sol. found (all assignments made)... 1362.28 c Sol. found (all assignments made)... 1362.28 c Sol. found (all assignments made)... 1362.28 c Sol. found (all assignments made)... 1362.28 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 o -33 1362.29 c NEW SOLUTION FOUND: -33 @ 1361.9 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.29 c Sol. found (all assignments made)... 1362.30 c Sol. found (all assignments made)... 1362.31 c Sol. found (all assignments made)... 1362.31 c Sol. found (all assignments made)... 1362.31 c Sol. found (all assignments made)... 1362.31 c Sol. found (all assignments made)... 1362.31 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.32 c Sol. found (all assignments made)... 1362.33 c Sol. found (all assignments made)... 1362.35 c Sol. found (all assignments made)... 1362.44 c Sol. found (all assignments made)... 1364.26 c Sol. found (all assignments made)... 1364.27 c Sol. found (all assignments made)... 1364.27 c Sol. found (all assignments made)... 1364.27 c Sol. found (all assignments made)... 1366.30 c Sol. found (all assignments made)... 1366.31 c Sol. found (all assignments made)... 1366.31 c Sol. found (all assignments made)... 1366.32 c Sol. found (all assignments made)... 1366.32 c Sol. found (all assignments made)... 1366.34 c Sol. found (all assignments made)... 1366.49 c Sol. found (all assignments made)... 1366.49 c Sol. found (all assignments made)... 1366.49 c Sol. found (all assignments made)... 1366.50 c Sol. found (all assignments made)... 1366.50 c Sol. found (all assignments made)... 1366.50 c Sol. found (all assignments made)... 1366.50 c Sol. found (all assignments made)... 1366.51 c Sol. found (all assignments made)... 1366.51 c Sol. found (all assignments made)... 1366.51 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.52 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.53 c Sol. found (all assignments made)... 1366.54 c Sol. found (all assignments made)... 1366.54 c Sol. found (all assignments made)... 1366.54 c Sol. found (all assignments made)... 1366.54 c Sol. found (all assignments made)... 1366.54 c Sol. found (all assignments made)... 1366.55 c Sol. found (all assignments made)... 1374.32 c Restart #219 #Var: 595 LB: -595 @ 1373.9 1387.47 c Restart #220 #Var: 595 LB: -595 @ 1387.1 1400.94 c Restart #221 #Var: 595 LB: -595 @ 1400.6 1413.60 c Restart #222 #Var: 595 LB: -595 @ 1413.2 1426.42 c Restart #223 #Var: 595 LB: -595 @ 1426 1439.27 c Restart #224 #Var: 595 LB: -595 @ 1438.9 1452.68 c Restart #225 #Var: 595 LB: -595 @ 1452.3 1465.84 c Restart #226 #Var: 595 LB: -595 @ 1465.4 1478.99 c Restart #227 #Var: 595 LB: -595 @ 1478.6 1492.16 c Restart #228 #Var: 595 LB: -595 @ 1491.7 1505.98 c Restart #229 #Var: 595 LB: -595 @ 1505.6 1519.21 c Restart #230 #Var: 595 LB: -595 @ 1518.8 1532.92 c Restart #231 #Var: 595 LB: -595 @ 1532.5 1547.35 c Restart #232 #Var: 595 LB: -595 @ 1546.9 1560.56 c Restart #233 #Var: 595 LB: -595 @ 1560.1 1573.86 c Restart #234 #Var: 595 LB: -595 @ 1573.4 1587.97 c Restart #235 #Var: 595 LB: -595 @ 1587.5 1602.13 c Restart #236 #Var: 595 LB: -595 @ 1601.7 1615.72 c Restart #237 #Var: 595 LB: -595 @ 1615.3 1629.49 c Restart #238 #Var: 595 LB: -595 @ 1629 1643.41 c Restart #239 #Var: 595 LB: -595 @ 1643 1657.71 c Restart #240 #Var: 595 LB: -595 @ 1657.3 1671.99 c Restart #241 #Var: 595 LB: -595 @ 1671.5 1686.28 c Restart #242 #Var: 595 LB: -595 @ 1685.8 1700.51 c Restart #243 #Var: 595 LB: -595 @ 1700 1714.47 c Restart #244 #Var: 595 LB: -595 @ 1714 1728.93 c Restart #245 #Var: 595 LB: -595 @ 1728.5 1743.45 c Restart #246 #Var: 595 LB: -595 @ 1743 1757.92 c Restart #247 #Var: 595 LB: -595 @ 1757.4 1773.20 c Restart #248 #Var: 595 LB: -595 @ 1772.7 1787.40 c Restart #249 #Var: 595 LB: -595 @ 1786.9 1800.50 s SATISFIABLE 1800.50 c Cost: -33 1800.50 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1800.50 v -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 1800.50 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1800.50 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 1800.50 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1800.50 v -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1800.50 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1800.50 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 1800.50 v -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1800.50 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 1800.50 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1800.50 v x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1800.50 v -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 1800.50 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.50 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 1800.50 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.50 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1800.50 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1800.50 v x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 1800.50 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 1800.50 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1800.50 v x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.50 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.50 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 1800.50 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 1800.50 v -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 1800.50 v -x37 x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 1800.50 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.50 c Exit Code: 10 1800.50 c Total time: 1800 s
OK -33
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/node50/watcher-40520-1149301016 -o ROOT/results/node50/solver-40520-1149301016 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40520-1149301016/instance-40520-1149301016.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1545512/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=4656 CPUtime=0 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 73 0 0 0 0 0 0 0 18 0 1 0 195768836 4767744 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7920269 0 0 4096 0 0 0 0 17 1 0 0 /proc/8714/statm: 1165 60 44 55 0 45 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1513776/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=41852 CPUtime=9.98 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 9395 0 0 0 992 6 0 0 25 0 1 0 195768836 42856448 8350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 10463 8350 413 55 0 9355 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 41852 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522480/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=27900 CPUtime=19.98 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89003 0 0 0 1955 43 0 0 25 0 1 0 195768836 28569600 6200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 6975 6200 436 55 0 5867 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 27900 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522352/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28008 CPUtime=29.98 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89092 0 0 0 2953 45 0 0 25 0 1 0 195768836 28680192 6221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7002 6221 436 55 0 5894 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 28008 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522224/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28044 CPUtime=39.99 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89136 0 0 0 3951 48 0 0 25 0 1 0 195768836 28717056 6257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7011 6257 436 55 0 5903 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 28044 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522160/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28128 CPUtime=49.99 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89161 0 0 0 4949 50 0 0 25 0 1 0 195768836 28803072 6267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8359653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7032 6267 436 55 0 5924 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 28128 [startup+60.0322 s] /proc/loadavg: 0.97 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522224/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=27960 CPUtime=59.99 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89167 0 0 0 5948 51 0 0 25 0 1 0 195768836 28631040 6234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 6990 6234 436 55 0 5882 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 27960 [startup+70.0381 s] /proc/loadavg: 0.97 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522224/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28020 CPUtime=70 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89202 0 0 0 6947 53 0 0 25 0 1 0 195768836 28692480 6251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7005 6251 436 55 0 5897 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 28020 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522224/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28112 CPUtime=79.99 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89214 0 0 0 7945 54 0 0 25 0 1 0 195768836 28786688 6263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7028 6263 436 55 0 5920 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 28112 [startup+90.0499 s] /proc/loadavg: 0.98 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1521904/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28216 CPUtime=90 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89311 0 0 0 8944 56 0 0 25 0 1 0 195768836 28893184 6300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7054 6300 436 55 0 5946 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 28216 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522288/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28056 CPUtime=100 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89366 0 0 0 9943 57 0 0 25 0 1 0 195768836 28729344 6249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7014 6249 436 55 0 5906 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 28056 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522288/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28028 CPUtime=110.01 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89366 0 0 0 10943 58 0 0 25 0 1 0 195768836 28700672 6249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7007 6249 436 55 0 5899 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 28028 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522288/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=27928 CPUtime=120.01 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89366 0 0 0 11941 60 0 0 25 0 1 0 195768836 28598272 6228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8351460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 6982 6228 436 55 0 5874 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 27928 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522288/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28036 CPUtime=130.02 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89421 0 0 0 12940 62 0 0 25 0 1 0 195768836 28708864 6225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7009 6225 436 55 0 5901 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 28036 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522224/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28100 CPUtime=140.02 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89477 0 0 0 13939 63 0 0 25 0 1 0 195768836 28774400 6266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7025 6266 436 55 0 5917 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 28100 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522160/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28216 CPUtime=150.02 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89488 0 0 0 14938 64 0 0 25 0 1 0 195768836 28893184 6277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7054 6277 436 55 0 5946 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 28216 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522032/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28016 CPUtime=160.03 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89512 0 0 0 15937 66 0 0 25 0 1 0 195768836 28688384 6250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7004 6250 436 55 0 5896 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 28016 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522032/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28268 CPUtime=170.03 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89566 0 0 0 16936 67 0 0 25 0 1 0 195768836 28946432 6304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7067 6304 436 55 0 5959 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 28268 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522032/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28200 CPUtime=180.03 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89566 0 0 0 17935 68 0 0 25 0 1 0 195768836 28876800 6296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7050 6296 436 55 0 5942 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 28200 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522032/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28116 CPUtime=190.04 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89566 0 0 0 18934 70 0 0 25 0 1 0 195768836 28790784 6275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7029 6275 436 55 0 5921 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 28116 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522096/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28188 CPUtime=200.03 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 89576 0 0 0 19932 71 0 0 25 0 1 0 195768836 28864512 6276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7047 6276 436 55 0 5939 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 28188 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8714 /proc/meminfo: memFree=1522096/2055920 swapFree=4181340/4192956 ################ # More data... # ################ /proc/8714/statm: 7095 6337 436 55 0 5987 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 28380 [startup+1771.02 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521648/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28512 CPUtime=1770.53 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90405 0 0 0 176755 298 0 0 25 0 1 0 195768836 29196288 6358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7128 6358 436 55 0 6020 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 28512 [startup+1781.03 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1780.52 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 177754 298 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 28776 [startup+1782.03 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1781.54 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 177855 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 28776 [startup+1783.03 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1782.54 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 177955 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 28776 [startup+1784.04 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1783.54 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178055 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 28776 [startup+1785.05 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1784.54 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178155 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 28776 [startup+1786.05 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1785.55 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178256 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8347800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 28776 [startup+1787.06 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1786.55 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178356 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 28776 [startup+1788.06 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28776 CPUtime=1787.55 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178456 299 0 0 25 0 1 0 195768836 29466624 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7194 6408 436 55 0 6086 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 28776 [startup+1789.07 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1788.57 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178557 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 28760 [startup+1790.07 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1789.57 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178657 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 28760 [startup+1791.07 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1790.57 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178757 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 28760 [startup+1792.08 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1791.58 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178858 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 28760 [startup+1793.08 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1792.58 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 178958 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 28760 [startup+1794.09 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1793.59 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179059 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 28760 [startup+1795.09 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1794.59 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179159 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 28760 [startup+1796.1 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1795.59 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179259 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8352323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 28760 [startup+1797.1 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1796.6 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179360 300 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 28760 [startup+1798.11 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1797.61 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179460 301 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 28760 [startup+1799.11 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1798.61 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179560 301 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8351784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 28760 [startup+1800.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 8716 /proc/meminfo: memFree=1521392/2055920 swapFree=4181340/4192956 [pid=8714] ppid=8712 vsize=28760 CPUtime=1799.61 /proc/8714/stat : 8714 (bsolo) R 8712 8714 8668 0 -1 0 90455 0 0 0 179660 301 0 0 25 0 1 0 195768836 29450240 6408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8714/statm: 7190 6408 436 55 0 6082 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 28760 Child status: 10 Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1796.99 CPU system time (s): 3.02254 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (Kb): 41852
Begin job on node50 on Sat Jun 3 02:16:57 UTC 2006 FILE ID= 40520-1149301016 PBS_JOBID= 307365 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40520-1149301016/instance-40520-1149301016.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-40520-1149301016 -o ROOT/results/node50/solver-40520-1149301016 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40520-1149301016/instance-40520-1149301016.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED= 854686486 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1545912 kB Buffers: 27608 kB Cached: 411232 kB SwapCached: 3432 kB Active: 44076 kB Inactive: 403700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1545912 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14940 kB Slab: 48236 kB Committed_AS: 267524 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Sat Jun 3 02:46:57 UTC 2006