Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -47 | 1800.02 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
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 | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 1.76 c Initial problem consists of 1534 variables and 126555 constraints. 23.25 c No problem reductions applied in OPT. instance. 23.25 c preprocess terminated. Elapsed time: 23.208 23.25 c After prepocess the problem consists of 1534 variables and 126555 constraints. 23.25 c Initial Lower Bound: -1534 23.37 c Sol. found (all assignments made)... 23.37 o -2 23.37 c NEW SOLUTION FOUND: -2 @ 23.328 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 o -3 23.38 c NEW SOLUTION FOUND: -3 @ 23.339 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 o -4 23.39 c NEW SOLUTION FOUND: -4 @ 23.355 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.41 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.42 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.43 o -5 23.43 c NEW SOLUTION FOUND: -5 @ 23.387 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.43 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 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.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.47 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.53 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.55 c Sol. found (all assignments made)... 23.67 c Restart #1 #Var: 1534 LB: -1534 @ 23.632 23.78 c Sol. found (all assignments made)... 23.78 o -24 23.78 c NEW SOLUTION FOUND: -24 @ 23.739 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.78 o -25 23.78 c NEW SOLUTION FOUND: -25 @ 23.745 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.80 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 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.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.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.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.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.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)... 23.94 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)... 23.94 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 23.99 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.16 c Restart #2 #Var: 1534 LB: -1534 @ 24.117 24.29 c Sol. found (all assignments made)... 24.29 o -40 24.29 c NEW SOLUTION FOUND: -40 @ 24.246 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.33 o -41 24.33 c NEW SOLUTION FOUND: -41 @ 24.291 24.33 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.38 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.40 c Sol. found (all assignments made)... 24.40 c Sol. found (all assignments made)... 24.42 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.44 c Sol. found (all assignments made)... 24.45 c Sol. found (all assignments made)... 24.45 c Sol. found (all assignments made)... 24.46 c Sol. found (all assignments made)... 24.46 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.48 c Sol. found (all assignments made)... 24.48 c Sol. found (all assignments made)... 24.48 c Sol. found (all assignments made)... 24.49 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.50 c Sol. found (all assignments made)... 24.51 c Sol. found (all assignments made)... 24.53 c Sol. found (all assignments made)... 24.54 c Sol. found (all assignments made)... 24.56 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.58 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.62 o -42 24.62 c NEW SOLUTION FOUND: -42 @ 24.583 24.62 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.63 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.64 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.66 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.69 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.72 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.76 c Sol. found (all assignments made)... 24.79 c Sol. found (all assignments made)... 24.80 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 25.00 c Sol. found (all assignments made)... 25.12 c Restart #3 #Var: 1534 LB: -1534 @ 25.078 25.25 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.28 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.32 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.33 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.34 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 c Sol. found (all assignments made)... 25.35 o -43 25.35 c NEW SOLUTION FOUND: -43 @ 25.313 25.35 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.39 c Sol. found (all assignments made)... 25.41 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.56 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 o -44 25.59 c NEW SOLUTION FOUND: -44 @ 25.55 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.66 c Sol. found (all assignments made)... 25.74 c Sol. found (all assignments made)... 25.75 c Sol. found (all assignments made)... 25.75 c Sol. found (all assignments made)... 25.75 c Sol. found (all assignments made)... 25.76 c Sol. found (all assignments made)... 25.76 c Sol. found (all assignments made)... 25.76 c Sol. found (all assignments made)... 25.76 c Sol. found (all assignments made)... 26.21 c Restart #4 #Var: 1534 LB: -1534 @ 26.169 26.34 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 27.08 c Restart #5 #Var: 1534 LB: -1534 @ 27.044 28.09 c Restart #6 #Var: 1534 LB: -1534 @ 28.044 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.24 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.25 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.32 c Sol. found (all assignments made)... 28.45 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.01 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.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.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.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.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.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.09 c Sol. found (all assignments made)... 29.21 c Restart #7 #Var: 1534 LB: -1534 @ 29.174 29.37 c Sol. found (all assignments made)... 29.38 c Sol. found (all assignments made)... 29.43 c Sol. found (all assignments made)... 29.44 c Sol. found (all assignments made)... 29.44 c Sol. found (all assignments made)... 29.74 c Sol. found (all assignments made)... 29.74 c Sol. found (all assignments made)... 29.74 c Sol. found (all assignments made)... 29.75 c Sol. found (all assignments made)... 29.75 c Sol. found (all assignments made)... 29.76 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)... 30.01 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.02 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 30.32 c Sol. found (all assignments made)... 199.78 c CHANGE to MIS mode... UB: -44 MIS: -772 LPR: -737 (16.91) Diff: 1.0475 199.78 c Restart #0 #Var: 1534 LB: -1534 @ 199.69 200.50 c Restart #1 #Var: 1534 LB: -1534 @ 200.42 201.30 c Restart #2 #Var: 1534 LB: -1534 @ 201.22 202.19 c Restart #3 #Var: 1534 LB: -1534 @ 202.1 203.27 c Restart #4 #Var: 1534 LB: -1534 @ 203.18 204.45 c Restart #5 #Var: 1534 LB: -1534 @ 204.37 205.88 c Restart #6 #Var: 1534 LB: -775 @ 205.8 207.44 c Restart #7 #Var: 1534 LB: -1534 @ 207.36 208.22 c Sol. found (all assignments made)... 208.22 c Sol. found (all assignments made)... 208.23 c Sol. found (all assignments made)... 208.23 c Sol. found (all assignments made)... 208.23 c Sol. found (all assignments made)... 208.23 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.24 c Sol. found (all assignments made)... 208.25 c Sol. found (all assignments made)... 208.25 c Sol. found (all assignments made)... 208.25 c Sol. found (all assignments made)... 208.25 c Sol. found (all assignments made)... 208.46 c Sol. found (all assignments made)... 208.46 c Sol. found (all assignments made)... 208.46 c Sol. found (all assignments made)... 208.47 c Sol. found (all assignments made)... 208.47 c Sol. found (all assignments made)... 208.47 c Sol. found (all assignments made)... 208.48 c Sol. found (all assignments made)... 208.48 c Sol. found (all assignments made)... 208.48 c Sol. found (all assignments made)... 208.48 c Sol. found (all assignments made)... 208.69 c Sol. found (all assignments made)... 208.69 c Sol. found (all assignments made)... 208.69 c Sol. found (all assignments made)... 208.70 c Sol. found (all assignments made)... 208.71 c Sol. found (all assignments made)... 208.71 c Sol. found (all assignments made)... 208.71 c Sol. found (all assignments made)... 208.71 c Sol. found (all assignments made)... 208.72 c Sol. found (all assignments made)... 208.72 c Sol. found (all assignments made)... 209.11 c Restart #8 #Var: 1534 LB: -774 @ 209.03 210.88 c Restart #9 #Var: 1534 LB: -1534 @ 210.79 212.81 c Restart #10 #Var: 1534 LB: -1534 @ 212.72 214.60 c Sol. found (all assignments made)... 214.61 c Sol. found (all assignments made)... 214.77 c Restart #11 #Var: 1534 LB: -1534 @ 214.68 216.89 c Restart #12 #Var: 1534 LB: -1534 @ 216.81 219.15 c Restart #13 #Var: 1534 LB: -1534 @ 219.06 221.55 c Restart #14 #Var: 1534 LB: -1534 @ 221.46 224.29 c Restart #15 #Var: 1534 LB: -773 @ 224.19 227.01 c Restart #16 #Var: 1534 LB: -1534 @ 226.92 229.78 c Restart #17 #Var: 1534 LB: -1534 @ 229.69 232.67 c Restart #18 #Var: 1534 LB: -1534 @ 232.58 235.72 c Restart #19 #Var: 1534 LB: -1534 @ 235.63 238.92 c Restart #20 #Var: 1534 LB: -1534 @ 238.83 242.24 c Restart #21 #Var: 1534 LB: -1534 @ 242.14 245.81 c Restart #22 #Var: 1534 LB: -772 @ 245.72 246.43 c Sol. found (all assignments made)... 246.44 c Sol. found (all assignments made)... 246.55 c Sol. found (all assignments made)... 246.56 c Sol. found (all assignments made)... 246.86 c Sol. found (all assignments made)... 247.47 c Sol. found (all assignments made)... 247.47 c Sol. found (all assignments made)... 247.48 c Sol. found (all assignments made)... 247.48 c Sol. found (all assignments made)... 247.48 c Sol. found (all assignments made)... 247.48 c Sol. found (all assignments made)... 247.48 c Sol. found (all assignments made)... 247.49 c Sol. found (all assignments made)... 247.49 c Sol. found (all assignments made)... 247.49 c Sol. found (all assignments made)... 247.49 c Sol. found (all assignments made)... 247.50 c Sol. found (all assignments made)... 247.50 c Sol. found (all assignments made)... 247.50 c Sol. found (all assignments made)... 247.50 c Sol. found (all assignments made)... 247.50 c Sol. found (all assignments made)... 247.51 c Sol. found (all assignments made)... 247.51 c Sol. found (all assignments made)... 247.51 c Sol. found (all assignments made)... 247.51 c Sol. found (all assignments made)... 247.52 c Sol. found (all assignments made)... 247.52 c Sol. found (all assignments made)... 247.56 c Sol. found (all assignments made)... 247.56 c Sol. found (all assignments made)... 247.56 c Sol. found (all assignments made)... 247.56 c Sol. found (all assignments made)... 247.57 c Sol. found (all assignments made)... 247.57 c Sol. found (all assignments made)... 247.59 c Sol. found (all assignments made)... 247.59 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.60 c Sol. found (all assignments made)... 247.61 c Sol. found (all assignments made)... 247.61 c Sol. found (all assignments made)... 247.61 c Sol. found (all assignments made)... 247.61 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.62 c Sol. found (all assignments made)... 247.63 c Sol. found (all assignments made)... 247.63 c Sol. found (all assignments made)... 247.63 c Sol. found (all assignments made)... 247.63 c Sol. found (all assignments made)... 247.63 c Sol. found (all assignments made)... 247.64 c Sol. found (all assignments made)... 247.64 c Sol. found (all assignments made)... 247.64 c Sol. found (all assignments made)... 247.64 c Sol. found (all assignments made)... 247.64 c Sol. found (all assignments made)... 247.65 c Sol. found (all assignments made)... 247.65 c Sol. found (all assignments made)... 247.65 c Sol. found (all assignments made)... 247.68 c Sol. found (all assignments made)... 247.68 c Sol. found (all assignments made)... 247.68 c Sol. found (all assignments made)... 247.68 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.69 c Sol. found (all assignments made)... 247.73 c Sol. found (all assignments made)... 247.73 c Sol. found (all assignments made)... 247.73 c Sol. found (all assignments made)... 247.74 c Sol. found (all assignments made)... 247.74 c Sol. found (all assignments made)... 247.74 c Sol. found (all assignments made)... 247.74 c Sol. found (all assignments made)... 247.77 c Sol. found (all assignments made)... 247.77 c Sol. found (all assignments made)... 247.77 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.78 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.79 c Sol. found (all assignments made)... 247.80 c Sol. found (all assignments made)... 247.80 c Sol. found (all assignments made)... 247.83 c Sol. found (all assignments made)... 247.83 c Sol. found (all assignments made)... 247.83 c Sol. found (all assignments made)... 247.84 c Sol. found (all assignments made)... 247.84 c Sol. found (all assignments made)... 247.84 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.86 c Sol. found (all assignments made)... 247.87 c Sol. found (all assignments made)... 247.87 c Sol. found (all assignments made)... 247.87 c Sol. found (all assignments made)... 247.87 c Sol. found (all assignments made)... 247.87 c Sol. found (all assignments made)... 247.88 c Sol. found (all assignments made)... 247.88 c Sol. found (all assignments made)... 247.88 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.91 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.92 c Sol. found (all assignments made)... 247.93 c Sol. found (all assignments made)... 247.93 c Sol. found (all assignments made)... 247.93 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.94 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.95 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.96 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 247.97 c Sol. found (all assignments made)... 247.98 c Sol. found (all assignments made)... 247.98 c Sol. found (all assignments made)... 248.01 c Sol. found (all assignments made)... 248.01 c Sol. found (all assignments made)... 248.02 c Sol. found (all assignments made)... 248.02 c Sol. found (all assignments made)... 248.02 c Sol. found (all assignments made)... 248.02 c Sol. found (all assignments made)... 248.03 c Sol. found (all assignments made)... 248.03 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.04 c Sol. found (all assignments made)... 248.05 c Sol. found (all assignments made)... 248.05 c Sol. found (all assignments made)... 248.05 c Sol. found (all assignments made)... 248.05 c Sol. found (all assignments made)... 248.06 c Sol. found (all assignments made)... 248.06 c Sol. found (all assignments made)... 248.06 c Sol. found (all assignments made)... 248.06 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.07 c Sol. found (all assignments made)... 248.08 c Sol. found (all assignments made)... 248.08 c Sol. found (all assignments made)... 248.08 c Sol. found (all assignments made)... 248.08 c Sol. found (all assignments made)... 248.09 c Sol. found (all assignments made)... 248.09 c Sol. found (all assignments made)... 248.09 c Sol. found (all assignments made)... 248.09 c Sol. found (all assignments made)... 248.10 c Sol. found (all assignments made)... 248.10 c Sol. found (all assignments made)... 248.10 c Sol. found (all assignments made)... 248.10 c Sol. found (all assignments made)... 248.11 c Sol. found (all assignments made)... 248.11 c Sol. found (all assignments made)... 248.13 c Sol. found (all assignments made)... 248.14 c Sol. found (all assignments made)... 248.14 c Sol. found (all assignments made)... 248.14 c Sol. found (all assignments made)... 248.15 c Sol. found (all assignments made)... 248.15 c Sol. found (all assignments made)... 248.15 c Sol. found (all assignments made)... 248.16 c Sol. found (all assignments made)... 248.16 c Sol. found (all assignments made)... 248.16 c Sol. found (all assignments made)... 248.17 c Sol. found (all assignments made)... 248.17 c Sol. found (all assignments made)... 248.17 c Sol. found (all assignments made)... 248.17 c Sol. found (all assignments made)... 248.18 c Sol. found (all assignments made)... 248.18 c Sol. found (all assignments made)... 248.18 c Sol. found (all assignments made)... 248.19 c Sol. found (all assignments made)... 248.19 c Sol. found (all assignments made)... 248.19 c Sol. found (all assignments made)... 248.20 c Sol. found (all assignments made)... 248.20 c Sol. found (all assignments made)... 248.21 c Sol. found (all assignments made)... 248.22 c Sol. found (all assignments made)... 248.22 c Sol. found (all assignments made)... 248.22 c Sol. found (all assignments made)... 248.22 c Sol. found (all assignments made)... 248.23 c Sol. found (all assignments made)... 248.23 c Sol. found (all assignments made)... 248.24 c Sol. found (all assignments made)... 248.24 c Sol. found (all assignments made)... 248.24 c Sol. found (all assignments made)... 248.24 c Sol. found (all assignments made)... 248.25 c Sol. found (all assignments made)... 248.25 c Sol. found (all assignments made)... 248.25 c Sol. found (all assignments made)... 248.25 c Sol. found (all assignments made)... 248.27 c Sol. found (all assignments made)... 248.27 c Sol. found (all assignments made)... 248.28 c Sol. found (all assignments made)... 248.28 c Sol. found (all assignments made)... 248.32 c Sol. found (all assignments made)... 248.32 c Sol. found (all assignments made)... 248.33 c Sol. found (all assignments made)... 248.33 c Sol. found (all assignments made)... 248.38 c Sol. found (all assignments made)... 248.38 c Sol. found (all assignments made)... 248.39 c Sol. found (all assignments made)... 248.39 c Sol. found (all assignments made)... 248.44 c Sol. found (all assignments made)... 248.45 c Sol. found (all assignments made)... 248.45 c Sol. found (all assignments made)... 248.46 c Sol. found (all assignments made)... 248.47 c Sol. found (all assignments made)... 248.47 c Sol. found (all assignments made)... 248.48 c Sol. found (all assignments made)... 248.48 c Sol. found (all assignments made)... 248.51 c Sol. found (all assignments made)... 248.51 c Sol. found (all assignments made)... 248.52 c Sol. found (all assignments made)... 248.52 c Sol. found (all assignments made)... 248.56 c Sol. found (all assignments made)... 248.56 c Sol. found (all assignments made)... 248.57 c Sol. found (all assignments made)... 248.57 c Sol. found (all assignments made)... 248.59 c Sol. found (all assignments made)... 248.60 c Sol. found (all assignments made)... 248.60 c Sol. found (all assignments made)... 248.60 c Sol. found (all assignments made)... 248.61 c Sol. found (all assignments made)... 248.61 c Sol. found (all assignments made)... 248.69 c Sol. found (all assignments made)... 248.69 c Sol. found (all assignments made)... 248.70 c Sol. found (all assignments made)... 248.70 c Sol. found (all assignments made)... 248.72 c Sol. found (all assignments made)... 248.73 c Sol. found (all assignments made)... 248.73 c Sol. found (all assignments made)... 248.75 c Sol. found (all assignments made)... 248.75 c Sol. found (all assignments made)... 248.76 c Sol. found (all assignments made)... 248.76 c Sol. found (all assignments made)... 248.76 c Sol. found (all assignments made)... 248.77 c Sol. found (all assignments made)... 248.77 c Sol. found (all assignments made)... 248.78 c Sol. found (all assignments made)... 248.78 c Sol. found (all assignments made)... 248.79 c Sol. found (all assignments made)... 248.79 c Sol. found (all assignments made)... 248.79 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 248.81 c Sol. found (all assignments made)... 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.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.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.91 c Sol. found (all assignments made)... 248.92 c Sol. found (all assignments made)... 248.92 c Sol. found (all assignments made)... 248.92 c Sol. found (all assignments made)... 248.93 c Sol. found (all assignments made)... 248.93 c Sol. found (all assignments made)... 248.93 c Sol. found (all assignments made)... 248.94 c Sol. found (all assignments made)... 248.94 c Sol. found (all assignments made)... 248.94 c Sol. found (all assignments made)... 248.95 c Sol. found (all assignments made)... 248.95 c Sol. found (all assignments made)... 248.95 c Sol. found (all assignments made)... 248.97 c Sol. found (all assignments made)... 248.98 c Sol. found (all assignments made)... 248.98 c Sol. found (all assignments made)... 248.99 c Sol. found (all assignments made)... 249.00 c Sol. found (all assignments made)... 249.00 c Sol. found (all assignments made)... 249.02 c Sol. found (all assignments made)... 249.02 c Sol. found (all assignments made)... 249.03 c Sol. found (all assignments made)... 249.03 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.18 c Sol. found (all assignments made)... 249.19 c Sol. found (all assignments made)... 249.20 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.21 c Sol. found (all assignments made)... 249.22 c Sol. found (all assignments made)... 249.22 c Sol. found (all assignments made)... 249.23 c Sol. found (all assignments made)... 249.23 c Sol. found (all assignments made)... 249.23 c Sol. found (all assignments made)... 249.23 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.29 c Sol. found (all assignments made)... 249.31 c Sol. found (all assignments made)... 249.31 c Sol. found (all assignments made)... 249.31 c Sol. found (all assignments made)... 249.31 c Sol. found (all assignments made)... 249.32 c Sol. found (all assignments made)... 249.33 c Sol. found (all assignments made)... 249.33 c Sol. found (all assignments made)... 249.33 c Sol. found (all assignments made)... 249.56 c Restart #23 #Var: 1534 LB: -774 @ 249.46 253.43 c Restart #24 #Var: 1534 LB: -1534 @ 253.33 255.34 c Sol. found (all assignments made)... 255.35 c Sol. found (all assignments made)... 255.40 c Sol. found (all assignments made)... 255.41 c Sol. found (all assignments made)... 255.46 c Sol. found (all assignments made)... 256.64 c Sol. found (all assignments made)... 256.64 c Sol. found (all assignments made)... 257.25 c Restart #25 #Var: 1534 LB: -1534 @ 257.15 257.77 c Sol. found (all assignments made)... 257.81 c Sol. found (all assignments made)... 257.84 c Sol. found (all assignments made)... 257.87 c Sol. found (all assignments made)... 257.87 c Sol. found (all assignments made)... 257.90 c Sol. found (all assignments made)... 257.96 c Sol. found (all assignments made)... 257.96 c Sol. found (all assignments made)... 257.97 c Sol. found (all assignments made)... 257.97 c Sol. found (all assignments made)... 257.98 c Sol. found (all assignments made)... 257.98 c Sol. found (all assignments made)... 258.02 c Sol. found (all assignments made)... 258.03 c Sol. found (all assignments made)... 258.04 c Sol. found (all assignments made)... 258.05 c Sol. found (all assignments made)... 258.06 c Sol. found (all assignments made)... 258.07 c Sol. found (all assignments made)... 258.07 c Sol. found (all assignments made)... 258.08 c Sol. found (all assignments made)... 258.08 c Sol. found (all assignments made)... 258.09 c Sol. found (all assignments made)... 258.09 c Sol. found (all assignments made)... 258.09 c Sol. found (all assignments made)... 258.11 c Sol. found (all assignments made)... 258.11 c Sol. found (all assignments made)... 258.12 c Sol. found (all assignments made)... 258.82 c Sol. found (all assignments made)... 258.85 c Sol. found (all assignments made)... 258.86 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 258.89 c Sol. found (all assignments made)... 259.05 c Sol. found (all assignments made)... 259.06 c Sol. found (all assignments made)... 259.09 c Sol. found (all assignments made)... 259.10 c Sol. found (all assignments made)... 259.12 c Sol. found (all assignments made)... 259.13 c Sol. found (all assignments made)... 259.15 c Sol. found (all assignments made)... 259.16 c Sol. found (all assignments made)... 259.22 c Sol. found (all assignments made)... 259.23 c Sol. found (all assignments made)... 259.25 c Sol. found (all assignments made)... 259.26 c Sol. found (all assignments made)... 259.33 c Sol. found (all assignments made)... 259.34 c Sol. found (all assignments made)... 259.35 c Sol. found (all assignments made)... 259.36 c Sol. found (all assignments made)... 259.84 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 259.87 c Sol. found (all assignments made)... 259.87 c Sol. found (all assignments made)... 259.88 c Sol. found (all assignments made)... 259.88 c Sol. found (all assignments made)... 259.97 c Sol. found (all assignments made)... 259.97 c Sol. found (all assignments made)... 259.99 c Sol. found (all assignments made)... 260.00 c Sol. found (all assignments made)... 260.00 c Sol. found (all assignments made)... 260.00 c Sol. found (all assignments made)... 260.01 c Sol. found (all assignments made)... 260.31 c Sol. found (all assignments made)... 260.33 c Sol. found (all assignments made)... 260.38 c Sol. found (all assignments made)... 260.38 c Sol. found (all assignments made)... 260.39 c Sol. found (all assignments made)... 260.48 c Sol. found (all assignments made)... 260.49 c Sol. found (all assignments made)... 260.52 c Sol. found (all assignments made)... 260.57 c Sol. found (all assignments made)... 260.66 c Sol. found (all assignments made)... 261.31 c Restart #26 #Var: 1534 LB: -772 @ 261.21 265.55 c Restart #27 #Var: 1534 LB: -1534 @ 265.44 266.15 c Sol. found (all assignments made)... 266.16 c Sol. found (all assignments made)... 266.16 c Sol. found (all assignments made)... 266.16 c Sol. found (all assignments made)... 266.17 c Sol. found (all assignments made)... 266.17 c Sol. found (all assignments made)... 267.52 c Sol. found (all assignments made)... 267.52 o -45 267.52 c NEW SOLUTION FOUND: -45 @ 267.42 267.52 c Sol. found (all assignments made)... 267.53 c Sol. found (all assignments made)... 267.53 o -46 267.53 c NEW SOLUTION FOUND: -46 @ 267.43 267.54 c Sol. found (all assignments made)... 271.42 c Restart #28 #Var: 1534 LB: -1534 @ 271.31 275.78 c Restart #29 #Var: 1534 LB: -1534 @ 275.67 280.33 c Restart #30 #Var: 1534 LB: -1534 @ 280.22 285.01 c Restart #31 #Var: 1534 LB: -1534 @ 284.91 289.83 c Restart #32 #Var: 1534 LB: -1534 @ 289.72 294.79 c Restart #33 #Var: 1534 LB: -1534 @ 294.68 299.99 c Restart #34 #Var: 1534 LB: -1534 @ 299.88 305.22 c Restart #35 #Var: 1534 LB: -1534 @ 305.11 310.65 c Restart #36 #Var: 1534 LB: -1534 @ 310.54 316.11 c Restart #37 #Var: 1534 LB: -1534 @ 316 321.81 c Restart #38 #Var: 1534 LB: -1534 @ 321.69 327.59 c Restart #39 #Var: 1534 LB: -1534 @ 327.47 328.13 c Sol. found (all assignments made)... 328.13 c Sol. found (all assignments made)... 328.32 c Sol. found (all assignments made)... 328.57 c Sol. found (all assignments made)... 328.58 c Sol. found (all assignments made)... 328.59 c Sol. found (all assignments made)... 328.67 c Sol. found (all assignments made)... 328.69 c Sol. found (all assignments made)... 328.70 c Sol. found (all assignments made)... 328.71 c Sol. found (all assignments made)... 328.78 c Sol. found (all assignments made)... 328.85 c Sol. found (all assignments made)... 328.86 c Sol. found (all assignments made)... 328.87 c Sol. found (all assignments made)... 332.62 c Sol. found (all assignments made)... 332.62 c Sol. found (all assignments made)... 332.63 c Sol. found (all assignments made)... 332.64 c Sol. found (all assignments made)... 332.65 c Sol. found (all assignments made)... 332.66 c Sol. found (all assignments made)... 332.84 c Sol. found (all assignments made)... 332.84 c Sol. found (all assignments made)... 333.43 c Restart #40 #Var: 1534 LB: -1534 @ 333.31 339.47 c Restart #41 #Var: 1534 LB: -1534 @ 339.35 345.72 c Restart #42 #Var: 1534 LB: -1534 @ 345.6 351.99 c Restart #43 #Var: 1534 LB: -774 @ 351.86 358.50 c Restart #44 #Var: 1534 LB: -1534 @ 358.37 365.07 c Restart #45 #Var: 1534 LB: -1534 @ 364.95 367.64 c Sol. found (all assignments made)... 367.65 c Sol. found (all assignments made)... 367.72 c Sol. found (all assignments made)... 367.73 c Sol. found (all assignments made)... 367.75 c Sol. found (all assignments made)... 367.77 c Sol. found (all assignments made)... 367.77 c Sol. found (all assignments made)... 367.88 c Sol. found (all assignments made)... 367.90 c Sol. found (all assignments made)... 367.93 c Sol. found (all assignments made)... 367.95 c Sol. found (all assignments made)... 367.96 c Sol. found (all assignments made)... 367.97 c Sol. found (all assignments made)... 367.97 c Sol. found (all assignments made)... 367.98 c Sol. found (all assignments made)... 367.99 c Sol. found (all assignments made)... 368.01 c Sol. found (all assignments made)... 368.02 c Sol. found (all assignments made)... 368.04 c Sol. found (all assignments made)... 368.05 c Sol. found (all assignments made)... 368.06 c Sol. found (all assignments made)... 368.08 c Sol. found (all assignments made)... 368.93 c Sol. found (all assignments made)... 368.93 c Sol. found (all assignments made)... 368.96 c Sol. found (all assignments made)... 369.35 c Sol. found (all assignments made)... 369.35 c Sol. found (all assignments made)... 369.35 c Sol. found (all assignments made)... 369.35 c Sol. found (all assignments made)... 369.37 c Sol. found (all assignments made)... 369.48 c Sol. found (all assignments made)... 369.49 c Sol. found (all assignments made)... 369.49 c Sol. found (all assignments made)... 369.49 c Sol. found (all assignments made)... 369.50 c Sol. found (all assignments made)... 369.50 c Sol. found (all assignments made)... 369.52 c Sol. found (all assignments made)... 369.52 c Sol. found (all assignments made)... 369.52 c Sol. found (all assignments made)... 369.52 c Sol. found (all assignments made)... 369.53 c Sol. found (all assignments made)... 369.53 c Sol. found (all assignments made)... 369.54 c Sol. found (all assignments made)... 369.54 c Sol. found (all assignments made)... 369.56 c Sol. found (all assignments made)... 369.56 c Sol. found (all assignments made)... 369.57 c Sol. found (all assignments made)... 369.58 c Sol. found (all assignments made)... 369.58 c Sol. found (all assignments made)... 369.59 c Sol. found (all assignments made)... 369.59 c Sol. found (all assignments made)... 369.59 c Sol. found (all assignments made)... 369.60 c Sol. found (all assignments made)... 371.91 c Restart #46 #Var: 1534 LB: -774 @ 371.78 378.77 c Restart #47 #Var: 1534 LB: -773 @ 378.64 381.36 c Sol. found (all assignments made)... 381.36 o -47 381.36 c NEW SOLUTION FOUND: -47 @ 381.23 381.36 c Sol. found (all assignments made)... 383.67 c Sol. found (all assignments made)... 387.83 c Restart #48 #Var: 1534 LB: -1534 @ 387.69 394.90 c Restart #49 #Var: 1534 LB: -1534 @ 394.77 402.00 c Restart #50 #Var: 1534 LB: -1534 @ 401.86 405.01 c Sol. found (all assignments made)... 405.81 c Sol. found (all assignments made)... 405.83 c Sol. found (all assignments made)... 405.84 c Sol. found (all assignments made)... 406.07 c Sol. found (all assignments made)... 406.09 c Sol. found (all assignments made)... 409.31 c Restart #51 #Var: 1534 LB: -1534 @ 409.17 416.78 c Restart #52 #Var: 1534 LB: -1534 @ 416.64 424.54 c Restart #53 #Var: 1534 LB: -1534 @ 424.4 432.46 c Restart #54 #Var: 1534 LB: -1534 @ 432.31 440.47 c Restart #55 #Var: 1534 LB: -1534 @ 440.32 448.77 c Restart #56 #Var: 1534 LB: -1534 @ 448.62 457.07 c Restart #57 #Var: 1534 LB: -1534 @ 456.92 465.56 c Restart #58 #Var: 1534 LB: -1534 @ 465.4 473.96 c Restart #59 #Var: 1534 LB: -1534 @ 473.81 482.63 c Restart #60 #Var: 1534 LB: -1534 @ 482.48 491.62 c Restart #61 #Var: 1534 LB: -1534 @ 491.46 500.47 c Restart #62 #Var: 1534 LB: -773 @ 500.31 509.72 c Restart #63 #Var: 1534 LB: -1534 @ 509.56 518.78 c Restart #64 #Var: 1534 LB: -1534 @ 518.61 528.16 c Restart #65 #Var: 1534 LB: -1534 @ 527.99 537.50 c Restart #66 #Var: 1534 LB: -1534 @ 537.33 547.10 c Restart #67 #Var: 1534 LB: -1534 @ 546.92 556.82 c Restart #68 #Var: 1534 LB: -1534 @ 556.65 566.79 c Restart #69 #Var: 1534 LB: -1534 @ 566.61 576.84 c Restart #70 #Var: 1534 LB: -1534 @ 576.65 586.80 c Restart #71 #Var: 1534 LB: -1534 @ 586.61 596.88 c Restart #72 #Var: 1534 LB: -1534 @ 596.69 606.69 c Restart #73 #Var: 1534 LB: -1534 @ 606.49 616.83 c Restart #74 #Var: 1534 LB: -1534 @ 616.59 627.35 c Restart #75 #Var: 1534 LB: -1534 @ 627.11 638.22 c Restart #76 #Var: 1534 LB: -1534 @ 637.97 649.15 c Restart #77 #Var: 1534 LB: -1534 @ 648.91 660.18 c Restart #78 #Var: 1534 LB: -1534 @ 659.93 670.84 c Restart #79 #Var: 1534 LB: -1534 @ 670.54 682.00 c Restart #80 #Var: 1534 LB: -1534 @ 681.7 693.31 c Restart #81 #Var: 1534 LB: -1534 @ 693.01 704.99 c Restart #82 #Var: 1534 LB: -1534 @ 704.69 716.83 c Restart #83 #Var: 1534 LB: -1534 @ 716.53 728.91 c Restart #84 #Var: 1534 LB: -1534 @ 728.6 740.86 c Restart #85 #Var: 1534 LB: -1534 @ 740.55 752.87 c Restart #86 #Var: 1534 LB: -1534 @ 752.56 765.19 c Restart #87 #Var: 1534 LB: -1534 @ 764.87 777.67 c Restart #88 #Var: 1534 LB: -1534 @ 777.35 790.31 c Restart #89 #Var: 1534 LB: -1534 @ 789.99 803.04 c Restart #90 #Var: 1534 LB: -1534 @ 802.71 815.97 c Restart #91 #Var: 1534 LB: -1534 @ 815.64 829.11 c Restart #92 #Var: 1534 LB: -1534 @ 828.78 842.26 c Restart #93 #Var: 1534 LB: -1534 @ 841.92 855.33 c Restart #94 #Var: 1534 LB: -1534 @ 854.99 868.99 c Restart #95 #Var: 1534 LB: -1534 @ 868.65 882.62 c Restart #96 #Var: 1534 LB: -1534 @ 882.27 896.40 c Restart #97 #Var: 1534 LB: -1534 @ 896.05 910.22 c Restart #98 #Var: 1534 LB: -1534 @ 909.87 924.15 c Restart #99 #Var: 1534 LB: -1534 @ 923.79 938.10 c Restart #100 #Var: 1534 LB: -1534 @ 937.74 952.25 c Restart #101 #Var: 1534 LB: -1534 @ 951.88 966.41 c Restart #102 #Var: 1534 LB: -1534 @ 966.04 980.82 c Restart #103 #Var: 1534 LB: -1534 @ 980.45 995.50 c Restart #104 #Var: 1534 LB: -1534 @ 995.13 1010.36 c Restart #105 #Var: 1534 LB: -1534 @ 1010 1025.31 c Restart #106 #Var: 1534 LB: -1534 @ 1024.9 1040.60 c Restart #107 #Var: 1534 LB: -1534 @ 1040.2 1055.80 c Restart #108 #Var: 1534 LB: -1534 @ 1055.4 1070.83 c Restart #109 #Var: 1534 LB: -1534 @ 1070.4 1085.82 c Restart #110 #Var: 1534 LB: -1534 @ 1085.4 1101.28 c Restart #111 #Var: 1534 LB: -1534 @ 1100.9 1117.24 c Restart #112 #Var: 1534 LB: -1534 @ 1116.8 1133.29 c Restart #113 #Var: 1534 LB: -1534 @ 1132.9 1149.07 c Restart #114 #Var: 1534 LB: -1534 @ 1148.7 1165.19 c Restart #115 #Var: 1534 LB: -1534 @ 1164.8 1181.52 c Restart #116 #Var: 1534 LB: -1534 @ 1181.1 1197.58 c Restart #117 #Var: 1534 LB: -1534 @ 1197.1 1213.95 c Restart #118 #Var: 1534 LB: -1534 @ 1213.5 1230.56 c Restart #119 #Var: 1534 LB: -1534 @ 1230.1 1247.59 c Restart #120 #Var: 1534 LB: -1534 @ 1247.1 1264.74 c Restart #121 #Var: 1534 LB: -1534 @ 1264.3 1281.57 c Restart #122 #Var: 1534 LB: -1534 @ 1281.1 1298.68 c Restart #123 #Var: 1534 LB: -1534 @ 1298.2 1315.96 c Restart #124 #Var: 1534 LB: -1534 @ 1315.5 1323.21 c Sol. found (all assignments made)... 1324.15 c Sol. found (all assignments made)... 1324.17 c Sol. found (all assignments made)... 1324.18 c Sol. found (all assignments made)... 1324.33 c Sol. found (all assignments made)... 1324.33 c Sol. found (all assignments made)... 1324.53 c Sol. found (all assignments made)... 1324.56 c Sol. found (all assignments made)... 1324.61 c Sol. found (all assignments made)... 1325.15 c Sol. found (all assignments made)... 1325.15 c Sol. found (all assignments made)... 1325.16 c Sol. found (all assignments made)... 1325.16 c Sol. found (all assignments made)... 1325.16 c Sol. found (all assignments made)... 1325.16 c Sol. found (all assignments made)... 1325.17 c Sol. found (all assignments made)... 1325.17 c Sol. found (all assignments made)... 1325.17 c Sol. found (all assignments made)... 1325.18 c Sol. found (all assignments made)... 1325.18 c Sol. found (all assignments made)... 1325.19 c Sol. found (all assignments made)... 1325.20 c Sol. found (all assignments made)... 1325.20 c Sol. found (all assignments made)... 1325.25 c Sol. found (all assignments made)... 1325.47 c Sol. found (all assignments made)... 1325.47 c Sol. found (all assignments made)... 1325.47 c Sol. found (all assignments made)... 1325.47 c Sol. found (all assignments made)... 1325.48 c Sol. found (all assignments made)... 1325.48 c Sol. found (all assignments made)... 1325.48 c Sol. found (all assignments made)... 1325.49 c Sol. found (all assignments made)... 1325.50 c Sol. found (all assignments made)... 1325.51 c Sol. found (all assignments made)... 1325.51 c Sol. found (all assignments made)... 1325.51 c Sol. found (all assignments made)... 1325.52 c Sol. found (all assignments made)... 1325.53 c Sol. found (all assignments made)... 1325.55 c Sol. found (all assignments made)... 1325.56 c Sol. found (all assignments made)... 1325.56 c Sol. found (all assignments made)... 1325.56 c Sol. found (all assignments made)... 1325.57 c Sol. found (all assignments made)... 1325.57 c Sol. found (all assignments made)... 1325.57 c Sol. found (all assignments made)... 1325.58 c Sol. found (all assignments made)... 1325.65 c Sol. found (all assignments made)... 1325.65 c Sol. found (all assignments made)... 1325.66 c Sol. found (all assignments made)... 1325.66 c Sol. found (all assignments made)... 1325.66 c Sol. found (all assignments made)... 1325.68 c Sol. found (all assignments made)... 1325.68 c Sol. found (all assignments made)... 1325.74 c Sol. found (all assignments made)... 1325.74 c Sol. found (all assignments made)... 1325.75 c Sol. found (all assignments made)... 1325.75 c Sol. found (all assignments made)... 1325.76 c Sol. found (all assignments made)... 1325.77 c Sol. found (all assignments made)... 1325.78 c Sol. found (all assignments made)... 1325.80 c Sol. found (all assignments made)... 1325.80 c Sol. found (all assignments made)... 1326.84 c Sol. found (all assignments made)... 1326.97 c Sol. found (all assignments made)... 1327.26 c Sol. found (all assignments made)... 1327.27 c Sol. found (all assignments made)... 1327.29 c Sol. found (all assignments made)... 1327.30 c Sol. found (all assignments made)... 1327.48 c Sol. found (all assignments made)... 1327.49 c Sol. found (all assignments made)... 1327.50 c Sol. found (all assignments made)... 1327.51 c Sol. found (all assignments made)... 1327.93 c Sol. found (all assignments made)... 1330.94 c Sol. found (all assignments made)... 1331.35 c Sol. found (all assignments made)... 1331.36 c Sol. found (all assignments made)... 1331.40 c Sol. found (all assignments made)... 1331.45 c Sol. found (all assignments made)... 1331.49 c Sol. found (all assignments made)... 1331.49 c Sol. found (all assignments made)... 1331.50 c Sol. found (all assignments made)... 1331.52 c Sol. found (all assignments made)... 1331.52 c Sol. found (all assignments made)... 1331.52 c Sol. found (all assignments made)... 1331.53 c Sol. found (all assignments made)... 1331.56 c Sol. found (all assignments made)... 1331.56 c Sol. found (all assignments made)... 1331.66 c Sol. found (all assignments made)... 1331.68 c Sol. found (all assignments made)... 1331.69 c Sol. found (all assignments made)... 1331.71 c Sol. found (all assignments made)... 1331.75 c Sol. found (all assignments made)... 1331.91 c Sol. found (all assignments made)... 1331.91 c Sol. found (all assignments made)... 1331.92 c Sol. found (all assignments made)... 1331.92 c Sol. found (all assignments made)... 1331.97 c Sol. found (all assignments made)... 1331.98 c Sol. found (all assignments made)... 1333.00 c Restart #125 #Var: 1534 LB: -1534 @ 1332.5 1350.65 c Restart #126 #Var: 1534 LB: -1534 @ 1350.2 1368.80 c Restart #127 #Var: 1534 LB: -1534 @ 1368.3 1386.65 c Restart #128 #Var: 1534 LB: -1534 @ 1386.2 1404.72 c Restart #129 #Var: 1534 LB: -1534 @ 1404.2 1423.05 c Restart #130 #Var: 1534 LB: -1534 @ 1422.6 1441.39 c Restart #131 #Var: 1534 LB: -1534 @ 1440.9 1459.46 c Restart #132 #Var: 1534 LB: -1534 @ 1459 1478.06 c Restart #133 #Var: 1534 LB: -1534 @ 1477.6 1496.62 c Restart #134 #Var: 1534 LB: -1534 @ 1496.1 1515.36 c Restart #135 #Var: 1534 LB: -1534 @ 1514.9 1534.20 c Restart #136 #Var: 1534 LB: -1534 @ 1533.7 1553.17 c Restart #137 #Var: 1534 LB: -1534 @ 1552.6 1572.19 c Restart #138 #Var: 1534 LB: -1534 @ 1571.7 1591.31 c Restart #139 #Var: 1534 LB: -1534 @ 1590.8 1610.79 c Restart #140 #Var: 1534 LB: -1534 @ 1610.2 1630.20 c Restart #141 #Var: 1534 LB: -1534 @ 1629.7 1649.85 c Restart #142 #Var: 1534 LB: -1534 @ 1649.3 1669.68 c Restart #143 #Var: 1534 LB: -1534 @ 1669.1 1672.19 c Sol. found (all assignments made)... 1672.21 c Sol. found (all assignments made)... 1689.60 c Restart #144 #Var: 1534 LB: -1534 @ 1689 1710.02 c Restart #145 #Var: 1534 LB: -1534 @ 1709.5 1730.33 c Restart #146 #Var: 1534 LB: -1534 @ 1729.8 1751.18 c Restart #147 #Var: 1534 LB: -1534 @ 1750.6 1771.74 c Restart #148 #Var: 1534 LB: -1534 @ 1771.2 1792.26 c Restart #149 #Var: 1534 LB: -1534 @ 1791.7 1800.59 s SATISFIABLE 1800.59 c Cost: -47 1800.59 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.59 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1800.59 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1800.59 v -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1800.59 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1800.59 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1800.59 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1800.59 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1800.59 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1800.59 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1800.59 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1800.59 v -x1347 -x1346 x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1800.59 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 1800.59 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1800.59 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 1800.59 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1800.59 v -x1262 -x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1800.59 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1800.59 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 1800.59 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 1800.59 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 1800.59 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 1800.59 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 1800.59 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 1800.59 v -x1126 -x1125 -x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 1800.59 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 1800.59 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 1800.59 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 1800.59 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 x1043 -x1042 1800.59 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1800.59 v -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 1800.59 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1800.59 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1800.59 v -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 1800.59 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1800.59 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1800.59 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 1800.59 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1800.59 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1800.59 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 1800.59 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1800.59 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1800.59 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 1800.59 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1800.59 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 1800.59 v -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 1800.59 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1800.59 v -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1800.59 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 1800.59 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1800.59 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1800.59 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1800.59 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 1800.59 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 1800.59 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1800.59 v -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 1800.59 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 1800.59 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 1800.59 v -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1800.59 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1800.59 v -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 1800.59 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 1800.59 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1800.59 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 1800.59 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 1800.59 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1800.59 v -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 1800.59 v -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 1800.59 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1800.59 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1800.59 v x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 1800.59 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1800.59 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 1800.59 v -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 1800.59 v -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 1800.59 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 1800.59 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 1800.59 v -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 1800.59 v -x3 -x2 -x1 1800.59 c Exit Code: 10 1800.59 c Total time: 1800 s
OK -47
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/node63/watcher-40513-1149299462 -o ROOT/results/node63/solver-40513-1149299462 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40513-1149299462/instance-40513-1149299462.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 18444 /proc/meminfo: memFree=1792200/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=436 CPUtime=0 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 195513348 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970404 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/18444/statm: 109 23 18 55 0 18 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.95 0.91 2/64 18446 /proc/meminfo: memFree=1733208/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=63368 CPUtime=9.96 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 15098 0 0 0 988 8 0 0 25 0 1 0 195513348 64888832 15013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 15842 15013 287 55 0 14734 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 63368 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1730400/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=66340 CPUtime=19.96 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 15841 0 0 0 1988 8 0 0 25 0 1 0 195513348 67932160 15756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 16585 15756 287 55 0 15477 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 66340 [startup+30.0152 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1729184/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=67396 CPUtime=29.96 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 16557 0 0 0 2987 9 0 0 25 0 1 0 195513348 69013504 16037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 16849 16037 297 55 0 15741 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 67396 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1719712/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=77888 CPUtime=39.96 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 19042 0 0 0 3984 12 0 0 25 0 1 0 195513348 79757312 18465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 19472 18465 308 55 0 18364 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 77888 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1718176/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=79308 CPUtime=49.97 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 19465 0 0 0 4983 14 0 0 25 0 1 0 195513348 81211392 18838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 19827 18838 308 55 0 18719 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 79308 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1717280/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=80160 CPUtime=59.98 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 19691 0 0 0 5982 16 0 0 25 0 1 0 195513348 82083840 19064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20040 19064 308 55 0 18932 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 80160 [startup+70.0405 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1716320/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=81048 CPUtime=69.98 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 19924 0 0 0 6980 18 0 0 25 0 1 0 195513348 82993152 19297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20262 19297 308 55 0 19154 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 81048 [startup+80.0465 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1716192/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=81252 CPUtime=79.98 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 19983 0 0 0 7978 20 0 0 25 0 1 0 195513348 83202048 19356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20313 19356 308 55 0 19205 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 81252 [startup+90.0526 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1715424/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=81968 CPUtime=89.98 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 20350 0 0 0 8976 22 0 0 25 0 1 0 195513348 83935232 19543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20492 19543 308 55 0 19384 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 81968 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1715232/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=82128 CPUtime=99.99 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 20396 0 0 0 9974 25 0 0 25 0 1 0 195513348 84099072 19589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20532 19589 308 55 0 19424 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 82128 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18446 /proc/meminfo: memFree=1715040/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=82280 CPUtime=110 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 20441 0 0 0 10973 27 0 0 25 0 1 0 195513348 84254720 19634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20570 19634 308 55 0 19462 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 82280 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1713824/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=83448 CPUtime=120 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 20738 0 0 0 11972 28 0 0 25 0 1 0 195513348 85450752 19931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20862 19931 308 55 0 19754 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 83448 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1713696/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=83580 CPUtime=130 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 20777 0 0 0 12970 30 0 0 25 0 1 0 195513348 85585920 19970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 20895 19970 308 55 0 19787 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 83580 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1669344/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=166372 CPUtime=140 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 36836 0 0 0 13963 37 0 0 25 0 1 0 195513348 170364928 31127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 41593 31127 413 55 0 40485 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 166372 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 3/64 18446 /proc/meminfo: memFree=1668320/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=166372 CPUtime=150.01 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 37095 0 0 0 14964 37 0 0 25 0 1 0 195513348 170364928 31378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 41593 31378 414 55 0 40485 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 166372 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1668640/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=151460 CPUtime=160.01 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 40473 0 0 0 15963 38 0 0 25 0 1 0 195513348 155095040 31272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 37865 31272 414 55 0 36757 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 151460 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1668640/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=151460 CPUtime=170.01 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 40493 0 0 0 16963 38 0 0 25 0 1 0 195513348 155095040 31272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 37865 31272 414 55 0 36757 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 151460 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1696288/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=109704 CPUtime=180.02 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 71890 0 0 0 17949 53 0 0 25 0 1 0 195513348 112336896 24353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 27426 24353 435 55 0 26318 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 109704 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1692448/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105216 CPUtime=190.02 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 241298 0 0 0 18875 127 0 0 25 0 1 0 195513348 107741184 25215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159935006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26304 25215 436 55 0 25196 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 105216 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1695200/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=103028 CPUtime=200.02 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 429005 0 0 0 19797 205 0 0 25 0 1 0 195513348 105500672 24672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 25757 24672 436 55 0 24649 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 103028 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18446 /proc/meminfo: memFree=1693984/2055920 swapFree=4182328/4192956 ################ # More data... # ################ /proc/18444/statm: 26311 25238 436 55 0 25203 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 105244 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683432/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105244 CPUtime=1770.48 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431910 0 0 0 176717 331 0 0 25 0 1 0 195513348 107769856 25238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26311 25238 436 55 0 25203 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 105244 [startup+1781.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1780.48 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431910 0 0 0 177716 332 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3411685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 104928 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1781.49 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431910 0 0 0 177817 332 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 104928 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.91 3/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1782.49 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431910 0 0 0 177917 332 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 104928 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1783.49 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431910 0 0 0 178017 332 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 104928 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105192 CPUtime=1784.5 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 431944 0 0 0 178118 332 0 0 25 0 1 0 195513348 107716608 25197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26298 25197 436 55 0 25190 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 105192 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683496/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105112 CPUtime=1785.5 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178218 332 0 0 25 0 1 0 195513348 107634688 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26278 25209 436 55 0 25170 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 105112 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683496/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105112 CPUtime=1786.51 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178319 332 0 0 25 0 1 0 195513348 107634688 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26278 25209 436 55 0 25170 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 105112 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683496/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105112 CPUtime=1787.51 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178419 332 0 0 25 0 1 0 195513348 107634688 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26278 25209 436 55 0 25170 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 105112 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683496/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105112 CPUtime=1788.51 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178519 332 0 0 25 0 1 0 195513348 107634688 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26278 25209 436 55 0 25170 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 105112 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683496/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105112 CPUtime=1789.53 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178620 333 0 0 25 0 1 0 195513348 107634688 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3404197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26278 25209 436 55 0 25170 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 105112 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1790.53 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178720 333 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3411698 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 104928 [startup+1792.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1791.53 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178820 333 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 104928 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=104928 CPUtime=1792.54 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432003 0 0 0 178921 333 0 0 25 0 1 0 195513348 107446272 25163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3403501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26232 25163 436 55 0 25124 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 104928 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1793.54 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432049 0 0 0 179021 333 0 0 25 0 1 0 195513348 107720704 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25209 436 55 0 25191 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 105196 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1794.55 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432049 0 0 0 179122 333 0 0 25 0 1 0 195513348 107720704 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25209 436 55 0 25191 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 105196 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1795.55 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432049 0 0 0 179222 333 0 0 25 0 1 0 195513348 107720704 25209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25209 436 55 0 25191 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 105196 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1796.56 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432051 0 0 0 179323 333 0 0 25 0 1 0 195513348 107720704 25211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3403848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25211 436 55 0 25191 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 105196 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1797.56 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432051 0 0 0 179423 333 0 0 25 0 1 0 195513348 107720704 25211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25211 436 55 0 25191 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 105196 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683560/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105196 CPUtime=1798.56 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432051 0 0 0 179523 333 0 0 25 0 1 0 195513348 107720704 25211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26299 25211 436 55 0 25191 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 105196 [startup+1800.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 19117 /proc/meminfo: memFree=1683432/2055920 swapFree=4182328/4192956 [pid=18444] ppid=18442 vsize=105328 CPUtime=1799.57 /proc/18444/stat : 18444 (bsolo) R 18442 18444 18398 0 -1 0 432077 0 0 0 179624 333 0 0 25 0 1 0 195513348 107855872 25237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18444/statm: 26332 25237 436 55 0 25224 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 105328 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.02 CPU user time (s): 1796.67 CPU system time (s): 3.35449 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (Kb): 166372
Begin job on node63 on Sat Jun 3 01:51:02 UTC 2006 FILE ID= 40513-1149299462 PBS_JOBID= 307278 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40513-1149299462/instance-40513-1149299462.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-40513-1149299462 -o ROOT/results/node63/solver-40513-1149299462 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40513-1149299462/instance-40513-1149299462.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED= 789549753 /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.228 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.228 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: 1792408 kB Buffers: 23004 kB Cached: 172616 kB SwapCached: 2328 kB Active: 48104 kB Inactive: 156260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792408 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 200 kB Writeback: 0 kB Mapped: 15888 kB Slab: 45104 kB Committed_AS: 290344 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 node63 on Sat Jun 3 02:21:03 UTC 2006