Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -44 | 1800.02 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.02 c INFO: OSL Context initialized. 1.31 c Initial problem consists of 1272 variables and 94227 constraints. 15.42 c No problem reductions applied in OPT. instance. 15.42 c preprocess terminated. Elapsed time: 15.403 15.42 c After prepocess the problem consists of 1272 variables and 94227 constraints. 15.42 c Initial Lower Bound: -1272 15.51 c Sol. found (all assignments made)... 15.51 o -3 15.51 c NEW SOLUTION FOUND: -3 @ 15.49 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.52 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 o -4 15.53 c NEW SOLUTION FOUND: -4 @ 15.509 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.53 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.56 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.59 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.61 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.62 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.63 c Sol. found (all assignments made)... 15.72 c Restart #1 #Var: 1272 LB: -1272 @ 15.698 15.79 c Sol. found (all assignments made)... 15.79 o -17 15.79 c NEW SOLUTION FOUND: -17 @ 15.775 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.80 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.81 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.82 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.83 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.84 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.87 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.88 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.90 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.91 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.97 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.98 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 15.99 c Sol. found (all assignments made)... 16.00 c Sol. found (all assignments made)... 16.00 c Sol. found (all assignments made)... 16.09 c Restart #2 #Var: 1272 LB: -1272 @ 16.069 16.18 c Sol. found (all assignments made)... 16.18 o -36 16.18 c NEW SOLUTION FOUND: -36 @ 16.16 16.18 c Sol. found (all assignments made)... 16.18 c Sol. found (all assignments made)... 16.18 c Sol. found (all assignments made)... 16.18 c Sol. found (all assignments made)... 16.18 o -37 16.18 c NEW SOLUTION FOUND: -37 @ 16.164 16.19 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.19 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.20 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.22 c Sol. found (all assignments made)... 16.23 c Sol. found (all assignments made)... 16.23 c Sol. found (all assignments made)... 16.23 c Sol. found (all assignments made)... 16.58 c Restart #3 #Var: 1272 LB: -1272 @ 16.556 16.67 c Sol. found (all assignments made)... 16.67 o -38 16.67 c NEW SOLUTION FOUND: -38 @ 16.647 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.72 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.78 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.79 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.80 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.81 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.84 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.85 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.89 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.90 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.93 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.94 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.95 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.96 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.98 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 16.99 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.03 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.04 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.05 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.07 c Sol. found (all assignments made)... 17.08 c Sol. found (all assignments made)... 17.08 c Sol. found (all assignments made)... 17.08 c Sol. found (all assignments made)... 17.08 c Sol. found (all assignments made)... 17.17 c Restart #4 #Var: 1272 LB: -1272 @ 17.148 17.27 c Sol. found (all assignments made)... 17.29 c Sol. found (all assignments made)... 17.30 c Sol. found (all assignments made)... 17.31 c Sol. found (all assignments made)... 17.36 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.86 c Restart #5 #Var: 1272 LB: -1272 @ 17.839 17.95 c Sol. found (all assignments made)... 17.96 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.09 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.10 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.31 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.34 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.35 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.36 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.66 c Restart #6 #Var: 1272 LB: -1272 @ 18.635 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.92 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 18.99 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.10 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.12 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.13 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.56 c Restart #7 #Var: 1272 LB: -1272 @ 19.536 19.68 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.15 c Sol. found (all assignments made)... 20.43 c Sol. found (all assignments made)... 20.43 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.45 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 20.46 c Sol. found (all assignments made)... 129.73 c CHANGE to MIS mode... UB: -38 MIS: -1272 LPR: -604 (10.907) Diff: 2.106 129.73 c Restart #0 #Var: 1272 LB: -1272 @ 129.67 130.02 c Sol. found (all assignments made)... 130.02 c Sol. found (all assignments made)... 130.02 c Sol. found (all assignments made)... 130.02 c Sol. found (all assignments made)... 130.02 c Sol. found (all assignments made)... 130.03 c Sol. found (all assignments made)... 130.04 c Sol. found (all assignments made)... 130.04 c Sol. found (all assignments made)... 130.04 c Sol. found (all assignments made)... 130.05 c Sol. found (all assignments made)... 130.05 c Sol. found (all assignments made)... 130.05 c Sol. found (all assignments made)... 130.05 c Sol. found (all assignments made)... 130.16 c Restart #1 #Var: 1272 LB: -1272 @ 130.1 130.71 c Restart #2 #Var: 1272 LB: -1272 @ 130.66 131.17 c Sol. found (all assignments made)... 131.17 o -39 131.17 c NEW SOLUTION FOUND: -39 @ 131.11 131.17 c Sol. found (all assignments made)... 131.20 c Sol. found (all assignments made)... 131.20 c Sol. found (all assignments made)... 131.21 c Sol. found (all assignments made)... 131.21 c Sol. found (all assignments made)... 131.27 c Sol. found (all assignments made)... 131.27 o -40 131.27 c NEW SOLUTION FOUND: -40 @ 131.21 131.27 c Sol. found (all assignments made)... 131.28 c Sol. found (all assignments made)... 131.28 o -41 131.28 c NEW SOLUTION FOUND: -41 @ 131.22 131.28 c Sol. found (all assignments made)... 131.68 c Restart #3 #Var: 1272 LB: -1272 @ 131.62 132.51 c Restart #4 #Var: 1272 LB: -640 @ 132.45 133.50 c Restart #5 #Var: 1272 LB: -1272 @ 133.44 134.56 c Restart #6 #Var: 1272 LB: -644 @ 134.5 135.73 c Restart #7 #Var: 1272 LB: -1272 @ 135.66 136.90 c Restart #8 #Var: 1272 LB: -1272 @ 136.84 138.25 c Restart #9 #Var: 1272 LB: -1272 @ 138.19 139.72 c Restart #10 #Var: 1272 LB: -1272 @ 139.65 141.36 c Restart #11 #Var: 1272 LB: -641 @ 141.3 143.04 c Restart #12 #Var: 1272 LB: -1272 @ 142.97 144.87 c Restart #13 #Var: 1272 LB: -642 @ 144.81 146.51 c Sol. found (all assignments made)... 146.51 c Sol. found (all assignments made)... 146.52 c Sol. found (all assignments made)... 146.52 c Sol. found (all assignments made)... 146.54 c Sol. found (all assignments made)... 146.54 c Sol. found (all assignments made)... 146.55 c Sol. found (all assignments made)... 146.55 c Sol. found (all assignments made)... 146.57 c Sol. found (all assignments made)... 146.57 c Sol. found (all assignments made)... 146.58 c Sol. found (all assignments made)... 146.58 c Sol. found (all assignments made)... 146.89 c Restart #14 #Var: 1272 LB: -641 @ 146.83 149.01 c Restart #15 #Var: 1272 LB: -642 @ 148.95 151.13 c Restart #16 #Var: 1272 LB: -1272 @ 151.06 153.39 c Restart #17 #Var: 1272 LB: -640 @ 153.32 155.84 c Restart #18 #Var: 1272 LB: -642 @ 155.77 158.38 c Restart #19 #Var: 1272 LB: -1272 @ 158.31 160.87 c Restart #20 #Var: 1272 LB: -1272 @ 160.8 163.63 c Restart #21 #Var: 1272 LB: -643 @ 163.56 166.42 c Restart #22 #Var: 1272 LB: -1272 @ 166.35 169.39 c Restart #23 #Var: 1272 LB: -1272 @ 169.31 170.56 c Sol. found (all assignments made)... 170.57 c Sol. found (all assignments made)... 170.58 c Sol. found (all assignments made)... 170.58 c Sol. found (all assignments made)... 170.87 c Sol. found (all assignments made)... 171.79 c Sol. found (all assignments made)... 171.79 c Sol. found (all assignments made)... 171.80 c Sol. found (all assignments made)... 171.80 c Sol. found (all assignments made)... 171.80 c Sol. found (all assignments made)... 171.81 c Sol. found (all assignments made)... 171.81 c Sol. found (all assignments made)... 171.81 c Sol. found (all assignments made)... 171.82 c Sol. found (all assignments made)... 171.83 c Sol. found (all assignments made)... 171.83 c Sol. found (all assignments made)... 172.40 c Restart #24 #Var: 1272 LB: -1272 @ 172.33 175.62 c Restart #25 #Var: 1272 LB: -1272 @ 175.54 177.53 c Sol. found (all assignments made)... 177.53 c Sol. found (all assignments made)... 177.56 c Sol. found (all assignments made)... 178.80 c Restart #26 #Var: 1272 LB: -1272 @ 178.73 182.15 c Restart #27 #Var: 1272 LB: -1272 @ 182.07 185.54 c Restart #28 #Var: 1272 LB: -1272 @ 185.46 186.60 c Sol. found (all assignments made)... 186.61 c Sol. found (all assignments made)... 186.61 c Sol. found (all assignments made)... 186.63 c Sol. found (all assignments made)... 187.13 c Sol. found (all assignments made)... 187.33 c Sol. found (all assignments made)... 187.34 c Sol. found (all assignments made)... 187.36 c Sol. found (all assignments made)... 187.36 c Sol. found (all assignments made)... 187.36 c Sol. found (all assignments made)... 187.37 c Sol. found (all assignments made)... 187.52 c Sol. found (all assignments made)... 187.65 c Sol. found (all assignments made)... 187.92 c Sol. found (all assignments made)... 187.92 o -42 187.92 c NEW SOLUTION FOUND: -42 @ 187.84 187.92 c Sol. found (all assignments made)... 187.93 c Sol. found (all assignments made)... 191.12 c Restart #29 #Var: 1272 LB: -1272 @ 191.04 194.87 c Restart #30 #Var: 1272 LB: -1272 @ 194.79 195.17 c Sol. found (all assignments made)... 195.18 c Sol. found (all assignments made)... 195.24 c Sol. found (all assignments made)... 195.24 c Sol. found (all assignments made)... 195.25 c Sol. found (all assignments made)... 195.25 c Sol. found (all assignments made)... 195.26 c Sol. found (all assignments made)... 195.26 c Sol. found (all assignments made)... 195.78 c Sol. found (all assignments made)... 195.78 c Sol. found (all assignments made)... 195.78 c Sol. found (all assignments made)... 195.79 c Sol. found (all assignments made)... 195.79 c Sol. found (all assignments made)... 195.79 c Sol. found (all assignments made)... 195.79 c Sol. found (all assignments made)... 195.80 c Sol. found (all assignments made)... 195.80 c Sol. found (all assignments made)... 195.80 c Sol. found (all assignments made)... 195.81 c Sol. found (all assignments made)... 195.81 c Sol. found (all assignments made)... 195.81 c Sol. found (all assignments made)... 195.90 c Sol. found (all assignments made)... 196.33 c Sol. found (all assignments made)... 196.40 c Sol. found (all assignments made)... 196.41 c Sol. found (all assignments made)... 196.45 c Sol. found (all assignments made)... 196.45 c Sol. found (all assignments made)... 196.99 c Sol. found (all assignments made)... 197.00 c Sol. found (all assignments made)... 197.02 c Sol. found (all assignments made)... 197.02 c Sol. found (all assignments made)... 197.02 c Sol. found (all assignments made)... 197.03 c Sol. found (all assignments made)... 197.03 c Sol. found (all assignments made)... 197.03 c Sol. found (all assignments made)... 197.05 c Sol. found (all assignments made)... 197.07 c Sol. found (all assignments made)... 197.08 c Sol. found (all assignments made)... 197.08 c Sol. found (all assignments made)... 197.10 c Sol. found (all assignments made)... 197.10 c Sol. found (all assignments made)... 197.10 c Sol. found (all assignments made)... 197.10 c Sol. found (all assignments made)... 197.12 c Sol. found (all assignments made)... 197.13 c Sol. found (all assignments made)... 197.14 c Sol. found (all assignments made)... 197.17 c Sol. found (all assignments made)... 197.17 c Sol. found (all assignments made)... 197.22 c Sol. found (all assignments made)... 197.25 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.30 c Sol. found (all assignments made)... 197.32 c Sol. found (all assignments made)... 197.33 c Sol. found (all assignments made)... 197.34 c Sol. found (all assignments made)... 197.35 c Sol. found (all assignments made)... 197.35 c Sol. found (all assignments made)... 197.35 c Sol. found (all assignments made)... 197.43 c Sol. found (all assignments made)... 197.45 c Sol. found (all assignments made)... 197.47 c Sol. found (all assignments made)... 197.49 c Sol. found (all assignments made)... 197.50 c Sol. found (all assignments made)... 197.50 c Sol. found (all assignments made)... 197.50 c Sol. found (all assignments made)... 197.51 c Sol. found (all assignments made)... 197.51 c Sol. found (all assignments made)... 197.54 c Sol. found (all assignments made)... 197.55 c Sol. found (all assignments made)... 197.56 c Sol. found (all assignments made)... 197.58 c Sol. found (all assignments made)... 197.59 c Sol. found (all assignments made)... 197.60 c Sol. found (all assignments made)... 197.60 c Sol. found (all assignments made)... 197.61 c Sol. found (all assignments made)... 197.61 c Sol. found (all assignments made)... 197.62 c Sol. found (all assignments made)... 197.62 c Sol. found (all assignments made)... 197.63 c Sol. found (all assignments made)... 197.63 c Sol. found (all assignments made)... 197.73 c Sol. found (all assignments made)... 197.73 c Sol. found (all assignments made)... 197.74 c Sol. found (all assignments made)... 197.74 c Sol. found (all assignments made)... 197.74 c Sol. found (all assignments made)... 197.74 c Sol. found (all assignments made)... 197.78 c Sol. found (all assignments made)... 197.79 c Sol. found (all assignments made)... 197.79 c Sol. found (all assignments made)... 197.79 c Sol. found (all assignments made)... 197.80 c Sol. found (all assignments made)... 197.80 c Sol. found (all assignments made)... 197.94 c Sol. found (all assignments made)... 197.94 c Sol. found (all assignments made)... 197.95 c Sol. found (all assignments made)... 197.96 c Sol. found (all assignments made)... 197.98 c Sol. found (all assignments made)... 197.99 c Sol. found (all assignments made)... 198.00 c Sol. found (all assignments made)... 198.01 c Sol. found (all assignments made)... 198.02 c Sol. found (all assignments made)... 198.02 c Sol. found (all assignments made)... 198.02 c Sol. found (all assignments made)... 198.02 c Sol. found (all assignments made)... 198.04 c Sol. found (all assignments made)... 198.05 c Sol. found (all assignments made)... 198.06 c Sol. found (all assignments made)... 198.07 c Sol. found (all assignments made)... 198.07 c Sol. found (all assignments made)... 198.07 c Sol. found (all assignments made)... 198.07 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.34 c Sol. found (all assignments made)... 198.35 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.36 c Sol. found (all assignments made)... 198.44 c Sol. found (all assignments made)... 198.44 c Sol. found (all assignments made)... 198.45 c Sol. found (all assignments made)... 198.46 c Sol. found (all assignments made)... 198.51 c Sol. found (all assignments made)... 198.52 c Sol. found (all assignments made)... 198.52 c Sol. found (all assignments made)... 198.52 c Sol. found (all assignments made)... 198.53 c Sol. found (all assignments made)... 198.53 c Sol. found (all assignments made)... 198.55 c Sol. found (all assignments made)... 198.55 c Sol. found (all assignments made)... 198.55 c Sol. found (all assignments made)... 198.56 c Sol. found (all assignments made)... 198.57 c Sol. found (all assignments made)... 198.57 c Sol. found (all assignments made)... 198.57 c Sol. found (all assignments made)... 198.59 c Sol. found (all assignments made)... 198.60 c Sol. found (all assignments made)... 198.69 c Restart #31 #Var: 1272 LB: -1272 @ 198.61 202.55 c Restart #32 #Var: 1272 LB: -1272 @ 202.47 206.52 c Restart #33 #Var: 1272 LB: -1272 @ 206.44 210.69 c Restart #34 #Var: 1272 LB: -1272 @ 210.6 215.01 c Restart #35 #Var: 1272 LB: -1272 @ 214.92 219.49 c Restart #36 #Var: 1272 LB: -1272 @ 219.4 223.93 c Restart #37 #Var: 1272 LB: -1272 @ 223.84 228.53 c Restart #38 #Var: 1272 LB: -1272 @ 228.44 233.16 c Restart #39 #Var: 1272 LB: -1272 @ 233.07 237.94 c Restart #40 #Var: 1272 LB: -1272 @ 237.84 239.03 c Sol. found (all assignments made)... 239.03 c Sol. found (all assignments made)... 239.04 c Sol. found (all assignments made)... 239.04 c Sol. found (all assignments made)... 239.34 c Sol. found (all assignments made)... 239.35 c Sol. found (all assignments made)... 239.36 c Sol. found (all assignments made)... 239.36 c Sol. found (all assignments made)... 239.37 c Sol. found (all assignments made)... 239.37 c Sol. found (all assignments made)... 239.38 c Sol. found (all assignments made)... 239.39 c Sol. found (all assignments made)... 239.39 c Sol. found (all assignments made)... 239.40 c Sol. found (all assignments made)... 239.41 c Sol. found (all assignments made)... 239.41 c Sol. found (all assignments made)... 239.98 c Sol. found (all assignments made)... 240.04 c Sol. found (all assignments made)... 240.05 c Sol. found (all assignments made)... 240.06 c Sol. found (all assignments made)... 240.06 c Sol. found (all assignments made)... 240.13 c Sol. found (all assignments made)... 240.22 c Sol. found (all assignments made)... 240.22 c Sol. found (all assignments made)... 240.24 c Sol. found (all assignments made)... 240.24 c Sol. found (all assignments made)... 240.24 c Sol. found (all assignments made)... 240.24 c Sol. found (all assignments made)... 240.53 c Sol. found (all assignments made)... 240.53 c Sol. found (all assignments made)... 240.53 c Sol. found (all assignments made)... 240.53 c Sol. found (all assignments made)... 240.59 c Sol. found (all assignments made)... 240.59 c Sol. found (all assignments made)... 240.60 c Sol. found (all assignments made)... 240.60 c Sol. found (all assignments made)... 240.61 c Sol. found (all assignments made)... 240.61 c Sol. found (all assignments made)... 241.00 c Sol. found (all assignments made)... 241.01 c Sol. found (all assignments made)... 241.01 c Sol. found (all assignments made)... 241.01 c Sol. found (all assignments made)... 241.18 c Sol. found (all assignments made)... 241.19 c Sol. found (all assignments made)... 241.19 c Sol. found (all assignments made)... 241.21 c Sol. found (all assignments made)... 241.22 c Sol. found (all assignments made)... 241.22 c Sol. found (all assignments made)... 241.23 c Sol. found (all assignments made)... 241.23 c Sol. found (all assignments made)... 241.25 c Sol. found (all assignments made)... 241.25 c Sol. found (all assignments made)... 241.26 c Sol. found (all assignments made)... 241.26 c Sol. found (all assignments made)... 241.26 c Sol. found (all assignments made)... 241.26 c Sol. found (all assignments made)... 242.91 c Restart #41 #Var: 1272 LB: -642 @ 242.81 243.68 c Sol. found (all assignments made)... 243.69 c Sol. found (all assignments made)... 243.69 c Sol. found (all assignments made)... 243.70 c Sol. found (all assignments made)... 243.72 c Sol. found (all assignments made)... 243.72 c Sol. found (all assignments made)... 243.75 c Sol. found (all assignments made)... 243.76 c Sol. found (all assignments made)... 243.77 c Sol. found (all assignments made)... 243.81 c Sol. found (all assignments made)... 243.81 c Sol. found (all assignments made)... 243.81 c Sol. found (all assignments made)... 243.82 c Sol. found (all assignments made)... 243.82 c Sol. found (all assignments made)... 243.83 c Sol. found (all assignments made)... 243.83 c Sol. found (all assignments made)... 243.83 c Sol. found (all assignments made)... 243.84 c Sol. found (all assignments made)... 243.84 c Sol. found (all assignments made)... 243.84 c Sol. found (all assignments made)... 243.85 c Sol. found (all assignments made)... 243.88 c Sol. found (all assignments made)... 243.88 c Sol. found (all assignments made)... 243.88 c Sol. found (all assignments made)... 243.88 c Sol. found (all assignments made)... 243.89 c Sol. found (all assignments made)... 243.89 c Sol. found (all assignments made)... 243.89 c Sol. found (all assignments made)... 243.89 c Sol. found (all assignments made)... 243.90 c Sol. found (all assignments made)... 243.90 c Sol. found (all assignments made)... 243.92 c Sol. found (all assignments made)... 243.92 c Sol. found (all assignments made)... 243.94 c Sol. found (all assignments made)... 243.95 c Sol. found (all assignments made)... 243.95 c Sol. found (all assignments made)... 243.95 c Sol. found (all assignments made)... 243.95 c Sol. found (all assignments made)... 243.96 c Sol. found (all assignments made)... 243.99 c Sol. found (all assignments made)... 243.99 c Sol. found (all assignments made)... 243.99 c Sol. found (all assignments made)... 244.00 c Sol. found (all assignments made)... 244.00 c Sol. found (all assignments made)... 244.00 c Sol. found (all assignments made)... 244.00 c Sol. found (all assignments made)... 244.00 c Sol. found (all assignments made)... 244.02 c Sol. found (all assignments made)... 244.02 c Sol. found (all assignments made)... 244.02 c Sol. found (all assignments made)... 244.02 c Sol. found (all assignments made)... 244.02 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.03 c Sol. found (all assignments made)... 244.04 c Sol. found (all assignments made)... 244.04 c Sol. found (all assignments made)... 244.04 c Sol. found (all assignments made)... 244.04 c Sol. found (all assignments made)... 244.04 c Sol. found (all assignments made)... 244.06 c Sol. found (all assignments made)... 244.06 c Sol. found (all assignments made)... 244.07 c Sol. found (all assignments made)... 244.07 c Sol. found (all assignments made)... 244.08 c Sol. found (all assignments made)... 244.08 c Sol. found (all assignments made)... 244.08 c Sol. found (all assignments made)... 244.09 c Sol. found (all assignments made)... 244.13 c Sol. found (all assignments made)... 244.13 c Sol. found (all assignments made)... 244.13 c Sol. found (all assignments made)... 244.17 c Sol. found (all assignments made)... 244.17 c Sol. found (all assignments made)... 244.19 c Sol. found (all assignments made)... 244.19 c Sol. found (all assignments made)... 244.19 c Sol. found (all assignments made)... 244.20 c Sol. found (all assignments made)... 244.20 c Sol. found (all assignments made)... 244.20 c Sol. found (all assignments made)... 244.20 c Sol. found (all assignments made)... 244.21 c Sol. found (all assignments made)... 244.25 c Sol. found (all assignments made)... 244.26 c Sol. found (all assignments made)... 244.27 c Sol. found (all assignments made)... 244.29 c Sol. found (all assignments made)... 244.30 c Sol. found (all assignments made)... 244.31 c Sol. found (all assignments made)... 244.32 c Sol. found (all assignments made)... 244.34 c Sol. found (all assignments made)... 244.34 c Sol. found (all assignments made)... 244.34 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 244.36 c Sol. found (all assignments made)... 244.37 c Sol. found (all assignments made)... 244.38 c Sol. found (all assignments made)... 244.49 c Sol. found (all assignments made)... 244.49 c Sol. found (all assignments made)... 244.49 c Sol. found (all assignments made)... 244.50 c Sol. found (all assignments made)... 244.51 c Sol. found (all assignments made)... 244.53 c Sol. found (all assignments made)... 244.53 c Sol. found (all assignments made)... 244.55 c Sol. found (all assignments made)... 244.56 c Sol. found (all assignments made)... 244.57 c Sol. found (all assignments made)... 244.57 c Sol. found (all assignments made)... 244.60 c Sol. found (all assignments made)... 244.61 c Sol. found (all assignments made)... 244.71 c Sol. found (all assignments made)... 244.72 c Sol. found (all assignments made)... 244.73 c Sol. found (all assignments made)... 244.73 c Sol. found (all assignments made)... 244.73 c Sol. found (all assignments made)... 244.74 c Sol. found (all assignments made)... 244.74 c Sol. found (all assignments made)... 244.75 c Sol. found (all assignments made)... 244.75 c Sol. found (all assignments made)... 244.75 c Sol. found (all assignments made)... 244.75 c Sol. found (all assignments made)... 244.77 c Sol. found (all assignments made)... 244.77 c Sol. found (all assignments made)... 244.78 c Sol. found (all assignments made)... 244.78 c Sol. found (all assignments made)... 244.79 c Sol. found (all assignments made)... 244.80 c Sol. found (all assignments made)... 244.80 c Sol. found (all assignments made)... 244.81 c Sol. found (all assignments made)... 244.82 c Sol. found (all assignments made)... 244.83 c Sol. found (all assignments made)... 244.83 c Sol. found (all assignments made)... 244.83 c Sol. found (all assignments made)... 244.84 c Sol. found (all assignments made)... 244.87 c Sol. found (all assignments made)... 244.88 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 244.90 c Sol. found (all assignments made)... 244.91 c Sol. found (all assignments made)... 244.91 c Sol. found (all assignments made)... 244.91 c Sol. found (all assignments made)... 244.91 c Sol. found (all assignments made)... 245.04 c Sol. found (all assignments made)... 245.12 c Sol. found (all assignments made)... 245.14 c Sol. found (all assignments made)... 246.52 c Sol. found (all assignments made)... 248.32 c Restart #42 #Var: 1272 LB: -1272 @ 248.22 253.43 c Restart #43 #Var: 1272 LB: -1272 @ 253.32 258.82 c Restart #44 #Var: 1272 LB: -1272 @ 258.71 264.20 c Restart #45 #Var: 1272 LB: -1272 @ 264.09 269.61 c Restart #46 #Var: 1272 LB: -1272 @ 269.5 275.31 c Restart #47 #Var: 1272 LB: -1272 @ 275.2 281.00 c Restart #48 #Var: 1272 LB: -1272 @ 280.89 285.33 c Sol. found (all assignments made)... 285.34 c Sol. found (all assignments made)... 286.64 c Restart #49 #Var: 1272 LB: -1272 @ 286.53 292.53 c Restart #50 #Var: 1272 LB: -1272 @ 292.41 298.57 c Restart #51 #Var: 1272 LB: -1272 @ 298.46 304.67 c Restart #52 #Var: 1272 LB: -1272 @ 304.55 310.96 c Restart #53 #Var: 1272 LB: -1272 @ 310.84 317.27 c Restart #54 #Var: 1272 LB: -1272 @ 317.15 323.61 c Restart #55 #Var: 1272 LB: -1272 @ 323.48 330.17 c Restart #56 #Var: 1272 LB: -1272 @ 330.05 336.94 c Restart #57 #Var: 1272 LB: -1272 @ 336.81 343.62 c Restart #58 #Var: 1272 LB: -1272 @ 343.49 350.41 c Restart #59 #Var: 1272 LB: -1272 @ 350.27 357.36 c Restart #60 #Var: 1272 LB: -1272 @ 357.22 364.49 c Restart #61 #Var: 1272 LB: -1272 @ 364.35 371.80 c Restart #62 #Var: 1272 LB: -1272 @ 371.65 375.08 c Sol. found (all assignments made)... 375.08 c Sol. found (all assignments made)... 375.08 c Sol. found (all assignments made)... 375.08 c Sol. found (all assignments made)... 375.09 c Sol. found (all assignments made)... 375.09 c Sol. found (all assignments made)... 375.09 c Sol. found (all assignments made)... 375.09 c Sol. found (all assignments made)... 375.10 c Sol. found (all assignments made)... 375.10 c Sol. found (all assignments made)... 375.15 c Sol. found (all assignments made)... 375.15 c Sol. found (all assignments made)... 375.15 c Sol. found (all assignments made)... 375.15 c Sol. found (all assignments made)... 375.16 c Sol. found (all assignments made)... 375.16 c Sol. found (all assignments made)... 375.17 c Sol. found (all assignments made)... 375.17 c Sol. found (all assignments made)... 375.17 c Sol. found (all assignments made)... 375.17 c Sol. found (all assignments made)... 375.19 c Sol. found (all assignments made)... 375.19 c Sol. found (all assignments made)... 375.19 c Sol. found (all assignments made)... 375.20 c Sol. found (all assignments made)... 375.20 c Sol. found (all assignments made)... 375.20 c Sol. found (all assignments made)... 375.26 c Sol. found (all assignments made)... 375.26 c Sol. found (all assignments made)... 375.27 c Sol. found (all assignments made)... 375.27 c Sol. found (all assignments made)... 375.28 c Sol. found (all assignments made)... 375.28 c Sol. found (all assignments made)... 375.29 c Sol. found (all assignments made)... 375.29 c Sol. found (all assignments made)... 375.33 c Sol. found (all assignments made)... 375.33 c Sol. found (all assignments made)... 375.33 c Sol. found (all assignments made)... 375.34 c Sol. found (all assignments made)... 375.34 c Sol. found (all assignments made)... 375.34 c Sol. found (all assignments made)... 375.35 c Sol. found (all assignments made)... 375.35 c Sol. found (all assignments made)... 375.35 c Sol. found (all assignments made)... 375.36 c Sol. found (all assignments made)... 375.36 c Sol. found (all assignments made)... 375.36 c Sol. found (all assignments made)... 375.37 c Sol. found (all assignments made)... 375.37 c Sol. found (all assignments made)... 375.37 c Sol. found (all assignments made)... 375.38 c Sol. found (all assignments made)... 375.38 c Sol. found (all assignments made)... 375.38 c Sol. found (all assignments made)... 375.38 c Sol. found (all assignments made)... 375.38 c Sol. found (all assignments made)... 375.39 c Sol. found (all assignments made)... 375.39 c Sol. found (all assignments made)... 375.40 c Sol. found (all assignments made)... 375.40 c Sol. found (all assignments made)... 375.49 c Sol. found (all assignments made)... 375.49 c Sol. found (all assignments made)... 375.49 c Sol. found (all assignments made)... 375.50 c Sol. found (all assignments made)... 375.50 c Sol. found (all assignments made)... 375.50 c Sol. found (all assignments made)... 375.50 c Sol. found (all assignments made)... 375.51 c Sol. found (all assignments made)... 375.51 c Sol. found (all assignments made)... 375.51 c Sol. found (all assignments made)... 375.51 c Sol. found (all assignments made)... 375.52 c Sol. found (all assignments made)... 375.52 c Sol. found (all assignments made)... 375.52 c Sol. found (all assignments made)... 375.52 c Sol. found (all assignments made)... 375.55 c Sol. found (all assignments made)... 375.56 c Sol. found (all assignments made)... 375.56 c Sol. found (all assignments made)... 375.57 c Sol. found (all assignments made)... 375.57 c Sol. found (all assignments made)... 375.59 c Sol. found (all assignments made)... 375.60 c Sol. found (all assignments made)... 375.60 c Sol. found (all assignments made)... 375.60 c Sol. found (all assignments made)... 375.61 c Sol. found (all assignments made)... 375.61 c Sol. found (all assignments made)... 375.62 c Sol. found (all assignments made)... 375.62 c Sol. found (all assignments made)... 375.67 c Sol. found (all assignments made)... 375.67 c Sol. found (all assignments made)... 375.67 c Sol. found (all assignments made)... 375.67 c Sol. found (all assignments made)... 375.68 c Sol. found (all assignments made)... 375.68 c Sol. found (all assignments made)... 375.68 c Sol. found (all assignments made)... 375.68 c Sol. found (all assignments made)... 375.69 c Sol. found (all assignments made)... 375.69 c Sol. found (all assignments made)... 375.69 c Sol. found (all assignments made)... 375.70 c Sol. found (all assignments made)... 375.70 c Sol. found (all assignments made)... 375.70 c Sol. found (all assignments made)... 375.71 c Sol. found (all assignments made)... 375.71 c Sol. found (all assignments made)... 375.71 c Sol. found (all assignments made)... 375.72 c Sol. found (all assignments made)... 375.72 c Sol. found (all assignments made)... 375.72 c Sol. found (all assignments made)... 375.72 c Sol. found (all assignments made)... 375.73 c Sol. found (all assignments made)... 375.73 c Sol. found (all assignments made)... 375.73 c Sol. found (all assignments made)... 375.80 c Sol. found (all assignments made)... 375.80 c Sol. found (all assignments made)... 375.81 c Sol. found (all assignments made)... 375.81 c Sol. found (all assignments made)... 375.81 c Sol. found (all assignments made)... 375.81 c Sol. found (all assignments made)... 375.82 c Sol. found (all assignments made)... 375.82 c Sol. found (all assignments made)... 375.86 c Sol. found (all assignments made)... 375.87 c Sol. found (all assignments made)... 375.87 c Sol. found (all assignments made)... 375.87 c Sol. found (all assignments made)... 375.88 c Sol. found (all assignments made)... 375.88 c Sol. found (all assignments made)... 375.89 c Sol. found (all assignments made)... 375.89 c Sol. found (all assignments made)... 375.89 c Sol. found (all assignments made)... 375.90 c Sol. found (all assignments made)... 375.91 c Sol. found (all assignments made)... 375.91 c Sol. found (all assignments made)... 375.92 c Sol. found (all assignments made)... 375.95 c Sol. found (all assignments made)... 375.95 c Sol. found (all assignments made)... 375.99 c Sol. found (all assignments made)... 375.99 c Sol. found (all assignments made)... 376.00 c Sol. found (all assignments made)... 376.00 c Sol. found (all assignments made)... 376.01 c Sol. found (all assignments made)... 376.03 c Sol. found (all assignments made)... 376.04 c Sol. found (all assignments made)... 376.05 c Sol. found (all assignments made)... 376.06 c Sol. found (all assignments made)... 376.06 c Sol. found (all assignments made)... 376.06 c Sol. found (all assignments made)... 376.07 c Sol. found (all assignments made)... 376.08 c Sol. found (all assignments made)... 376.40 c Sol. found (all assignments made)... 376.40 c Sol. found (all assignments made)... 376.41 c Sol. found (all assignments made)... 376.41 c Sol. found (all assignments made)... 376.42 c Sol. found (all assignments made)... 376.43 c Sol. found (all assignments made)... 376.43 c Sol. found (all assignments made)... 376.43 c Sol. found (all assignments made)... 376.45 c Sol. found (all assignments made)... 376.45 c Sol. found (all assignments made)... 376.45 c Sol. found (all assignments made)... 376.45 c Sol. found (all assignments made)... 376.47 c Sol. found (all assignments made)... 376.47 c Sol. found (all assignments made)... 376.48 c Sol. found (all assignments made)... 376.48 c Sol. found (all assignments made)... 376.50 c Sol. found (all assignments made)... 376.50 c Sol. found (all assignments made)... 376.50 c Sol. found (all assignments made)... 376.50 c Sol. found (all assignments made)... 376.51 c Sol. found (all assignments made)... 376.51 c Sol. found (all assignments made)... 376.51 c Sol. found (all assignments made)... 376.51 c Sol. found (all assignments made)... 376.52 c Sol. found (all assignments made)... 376.52 c Sol. found (all assignments made)... 376.52 c Sol. found (all assignments made)... 376.52 c Sol. found (all assignments made)... 376.52 c Sol. found (all assignments made)... 376.53 c Sol. found (all assignments made)... 376.53 c Sol. found (all assignments made)... 376.53 c Sol. found (all assignments made)... 376.54 c Sol. found (all assignments made)... 376.54 c Sol. found (all assignments made)... 376.54 c Sol. found (all assignments made)... 376.55 c Sol. found (all assignments made)... 376.55 c Sol. found (all assignments made)... 376.55 c Sol. found (all assignments made)... 376.55 c Sol. found (all assignments made)... 376.55 c Sol. found (all assignments made)... 376.56 c Sol. found (all assignments made)... 376.57 c Sol. found (all assignments made)... 376.57 c Sol. found (all assignments made)... 376.57 c Sol. found (all assignments made)... 376.57 c Sol. found (all assignments made)... 376.57 c Sol. found (all assignments made)... 376.58 c Sol. found (all assignments made)... 376.58 c Sol. found (all assignments made)... 376.58 c Sol. found (all assignments made)... 376.58 c Sol. found (all assignments made)... 376.59 c Sol. found (all assignments made)... 376.59 c Sol. found (all assignments made)... 376.59 c Sol. found (all assignments made)... 376.59 c Sol. found (all assignments made)... 376.59 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.60 c Sol. found (all assignments made)... 376.61 c Sol. found (all assignments made)... 376.61 c Sol. found (all assignments made)... 376.61 c Sol. found (all assignments made)... 376.61 c Sol. found (all assignments made)... 376.62 c Sol. found (all assignments made)... 376.62 c Sol. found (all assignments made)... 376.62 c Sol. found (all assignments made)... 376.62 c Sol. found (all assignments made)... 376.62 c Sol. found (all assignments made)... 376.63 c Sol. found (all assignments made)... 376.63 c Sol. found (all assignments made)... 376.63 c Sol. found (all assignments made)... 376.64 c Sol. found (all assignments made)... 376.64 c Sol. found (all assignments made)... 376.64 c Sol. found (all assignments made)... 376.64 c Sol. found (all assignments made)... 376.64 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.65 c Sol. found (all assignments made)... 376.66 c Sol. found (all assignments made)... 376.66 c Sol. found (all assignments made)... 376.66 c Sol. found (all assignments made)... 376.66 c Sol. found (all assignments made)... 376.67 c Sol. found (all assignments made)... 376.67 c Sol. found (all assignments made)... 376.67 c Sol. found (all assignments made)... 376.67 c Sol. found (all assignments made)... 376.68 c Sol. found (all assignments made)... 376.68 c Sol. found (all assignments made)... 376.68 c Sol. found (all assignments made)... 376.68 c Sol. found (all assignments made)... 376.68 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.69 c Sol. found (all assignments made)... 376.70 c Sol. found (all assignments made)... 376.70 c Sol. found (all assignments made)... 376.70 c Sol. found (all assignments made)... 376.71 c Sol. found (all assignments made)... 376.71 c Sol. found (all assignments made)... 376.71 c Sol. found (all assignments made)... 376.72 c Sol. found (all assignments made)... 376.72 c Sol. found (all assignments made)... 376.72 c Sol. found (all assignments made)... 376.72 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.73 c Sol. found (all assignments made)... 376.74 c Sol. found (all assignments made)... 376.74 c Sol. found (all assignments made)... 376.74 c Sol. found (all assignments made)... 376.75 c Sol. found (all assignments made)... 376.75 c Sol. found (all assignments made)... 376.75 c Sol. found (all assignments made)... 376.75 c Sol. found (all assignments made)... 376.75 c Sol. found (all assignments made)... 376.76 c Sol. found (all assignments made)... 376.76 c Sol. found (all assignments made)... 376.76 c Sol. found (all assignments made)... 376.76 c Sol. found (all assignments made)... 376.77 c Sol. found (all assignments made)... 376.77 c Sol. found (all assignments made)... 376.77 c Sol. found (all assignments made)... 376.77 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.78 c Sol. found (all assignments made)... 376.79 c Sol. found (all assignments made)... 376.79 c Sol. found (all assignments made)... 376.79 c Sol. found (all assignments made)... 376.79 c Sol. found (all assignments made)... 376.79 c Sol. found (all assignments made)... 376.80 c Sol. found (all assignments made)... 376.80 c Sol. found (all assignments made)... 376.80 c Sol. found (all assignments made)... 376.80 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.81 c Sol. found (all assignments made)... 376.82 c Sol. found (all assignments made)... 376.82 c Sol. found (all assignments made)... 376.82 c Sol. found (all assignments made)... 376.82 c Sol. found (all assignments made)... 376.82 c Sol. found (all assignments made)... 376.83 c Sol. found (all assignments made)... 376.83 c Sol. found (all assignments made)... 376.83 c Sol. found (all assignments made)... 376.83 c Sol. found (all assignments made)... 376.84 c Sol. found (all assignments made)... 376.84 c Sol. found (all assignments made)... 376.84 c Sol. found (all assignments made)... 376.84 c Sol. found (all assignments made)... 376.84 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.85 c Sol. found (all assignments made)... 376.86 c Sol. found (all assignments made)... 376.86 c Sol. found (all assignments made)... 376.87 c Sol. found (all assignments made)... 376.87 c Sol. found (all assignments made)... 376.87 c Sol. found (all assignments made)... 376.87 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.88 c Sol. found (all assignments made)... 376.89 c Sol. found (all assignments made)... 376.89 c Sol. found (all assignments made)... 376.89 c Sol. found (all assignments made)... 376.89 c Sol. found (all assignments made)... 376.90 c Sol. found (all assignments made)... 376.90 c Sol. found (all assignments made)... 376.90 c Sol. found (all assignments made)... 376.91 c Sol. found (all assignments made)... 376.96 c Sol. found (all assignments made)... 376.96 c Sol. found (all assignments made)... 376.97 c Sol. found (all assignments made)... 376.97 c Sol. found (all assignments made)... 376.98 c Sol. found (all assignments made)... 376.98 c Sol. found (all assignments made)... 376.99 c Sol. found (all assignments made)... 376.99 c Sol. found (all assignments made)... 377.00 c Sol. found (all assignments made)... 377.00 c Sol. found (all assignments made)... 377.01 c Sol. found (all assignments made)... 377.01 c Sol. found (all assignments made)... 377.02 c Sol. found (all assignments made)... 377.02 c Sol. found (all assignments made)... 377.03 c Sol. found (all assignments made)... 377.03 c Sol. found (all assignments made)... 377.03 c Sol. found (all assignments made)... 377.04 c Sol. found (all assignments made)... 377.04 c Sol. found (all assignments made)... 377.04 c Sol. found (all assignments made)... 377.05 c Sol. found (all assignments made)... 377.05 c Sol. found (all assignments made)... 377.06 c Sol. found (all assignments made)... 377.06 c Sol. found (all assignments made)... 377.11 c Sol. found (all assignments made)... 377.12 c Sol. found (all assignments made)... 377.12 c Sol. found (all assignments made)... 377.12 c Sol. found (all assignments made)... 377.13 c Sol. found (all assignments made)... 377.13 c Sol. found (all assignments made)... 377.13 c Sol. found (all assignments made)... 377.13 c Sol. found (all assignments made)... 377.14 c Sol. found (all assignments made)... 377.14 c Sol. found (all assignments made)... 377.14 c Sol. found (all assignments made)... 377.15 c Sol. found (all assignments made)... 377.15 c Sol. found (all assignments made)... 377.15 c Sol. found (all assignments made)... 377.15 c Sol. found (all assignments made)... 377.15 c Sol. found (all assignments made)... 377.16 c Sol. found (all assignments made)... 377.16 c Sol. found (all assignments made)... 377.16 c Sol. found (all assignments made)... 377.16 c Sol. found (all assignments made)... 377.16 c Sol. found (all assignments made)... 377.17 c Sol. found (all assignments made)... 377.17 c Sol. found (all assignments made)... 377.17 c Sol. found (all assignments made)... 377.18 c Sol. found (all assignments made)... 377.18 c Sol. found (all assignments made)... 377.18 c Sol. found (all assignments made)... 377.18 c Sol. found (all assignments made)... 377.19 c Sol. found (all assignments made)... 377.19 c Sol. found (all assignments made)... 377.19 c Sol. found (all assignments made)... 377.19 c Sol. found (all assignments made)... 377.19 c Sol. found (all assignments made)... 377.20 c Sol. found (all assignments made)... 377.20 c Sol. found (all assignments made)... 377.20 c Sol. found (all assignments made)... 377.20 c Sol. found (all assignments made)... 377.21 c Sol. found (all assignments made)... 377.21 c Sol. found (all assignments made)... 377.21 c Sol. found (all assignments made)... 377.28 c Sol. found (all assignments made)... 377.28 c Sol. found (all assignments made)... 377.29 c Sol. found (all assignments made)... 377.29 c Sol. found (all assignments made)... 377.29 c Sol. found (all assignments made)... 377.29 c Sol. found (all assignments made)... 377.30 c Sol. found (all assignments made)... 377.30 c Sol. found (all assignments made)... 377.30 c Sol. found (all assignments made)... 377.30 c Sol. found (all assignments made)... 377.31 c Sol. found (all assignments made)... 377.31 c Sol. found (all assignments made)... 377.32 c Sol. found (all assignments made)... 377.32 c Sol. found (all assignments made)... 377.32 c Sol. found (all assignments made)... 377.33 c Sol. found (all assignments made)... 377.33 c Sol. found (all assignments made)... 377.33 c Sol. found (all assignments made)... 377.33 c Sol. found (all assignments made)... 377.33 c Sol. found (all assignments made)... 377.34 c Sol. found (all assignments made)... 377.34 c Sol. found (all assignments made)... 377.34 c Sol. found (all assignments made)... 377.34 c Sol. found (all assignments made)... 377.35 c Sol. found (all assignments made)... 377.35 c Sol. found (all assignments made)... 377.35 c Sol. found (all assignments made)... 377.35 c Sol. found (all assignments made)... 377.36 c Sol. found (all assignments made)... 377.36 c Sol. found (all assignments made)... 377.36 c Sol. found (all assignments made)... 377.36 c Sol. found (all assignments made)... 377.37 c Sol. found (all assignments made)... 377.37 c Sol. found (all assignments made)... 377.37 c Sol. found (all assignments made)... 377.37 c Sol. found (all assignments made)... 377.38 c Sol. found (all assignments made)... 377.38 c Sol. found (all assignments made)... 377.38 c Sol. found (all assignments made)... 377.38 c Sol. found (all assignments made)... 377.39 c Sol. found (all assignments made)... 377.39 c Sol. found (all assignments made)... 377.39 c Sol. found (all assignments made)... 377.39 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.40 c Sol. found (all assignments made)... 377.41 c Sol. found (all assignments made)... 377.41 c Sol. found (all assignments made)... 377.41 c Sol. found (all assignments made)... 377.41 c Sol. found (all assignments made)... 377.42 c Sol. found (all assignments made)... 377.42 c Sol. found (all assignments made)... 377.42 c Sol. found (all assignments made)... 377.42 c Sol. found (all assignments made)... 377.42 c Sol. found (all assignments made)... 377.43 c Sol. found (all assignments made)... 377.51 c Sol. found (all assignments made)... 377.51 c Sol. found (all assignments made)... 377.52 c Sol. found (all assignments made)... 377.52 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.53 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.54 c Sol. found (all assignments made)... 377.55 c Sol. found (all assignments made)... 377.55 c Sol. found (all assignments made)... 377.55 c Sol. found (all assignments made)... 377.55 c Sol. found (all assignments made)... 377.55 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.56 c Sol. found (all assignments made)... 377.57 c Sol. found (all assignments made)... 377.57 c Sol. found (all assignments made)... 377.58 c Sol. found (all assignments made)... 377.58 c Sol. found (all assignments made)... 377.58 c Sol. found (all assignments made)... 377.58 c Sol. found (all assignments made)... 377.58 c Sol. found (all assignments made)... 377.59 c Sol. found (all assignments made)... 377.59 c Sol. found (all assignments made)... 377.59 c Sol. found (all assignments made)... 377.75 c Sol. found (all assignments made)... 378.06 c Sol. found (all assignments made)... 378.07 c Sol. found (all assignments made)... 378.07 c Sol. found (all assignments made)... 378.08 c Sol. found (all assignments made)... 378.08 c Sol. found (all assignments made)... 378.08 c Sol. found (all assignments made)... 378.09 c Sol. found (all assignments made)... 378.09 c Sol. found (all assignments made)... 378.11 c Sol. found (all assignments made)... 378.12 c Sol. found (all assignments made)... 378.12 c Sol. found (all assignments made)... 378.13 c Sol. found (all assignments made)... 378.13 c Sol. found (all assignments made)... 378.13 c Sol. found (all assignments made)... 378.15 c Sol. found (all assignments made)... 378.15 c Sol. found (all assignments made)... 378.15 c Sol. found (all assignments made)... 378.16 c Sol. found (all assignments made)... 378.16 c Sol. found (all assignments made)... 378.16 c Sol. found (all assignments made)... 378.17 c Sol. found (all assignments made)... 378.17 c Sol. found (all assignments made)... 378.18 c Sol. found (all assignments made)... 378.18 c Sol. found (all assignments made)... 378.18 c Sol. found (all assignments made)... 378.18 c Sol. found (all assignments made)... 378.19 c Sol. found (all assignments made)... 378.19 c Sol. found (all assignments made)... 378.19 c Sol. found (all assignments made)... 378.19 c Sol. found (all assignments made)... 378.20 c Sol. found (all assignments made)... 378.20 c Sol. found (all assignments made)... 378.20 c Sol. found (all assignments made)... 378.21 c Sol. found (all assignments made)... 378.21 c Sol. found (all assignments made)... 378.21 c Sol. found (all assignments made)... 378.21 c Sol. found (all assignments made)... 378.22 c Sol. found (all assignments made)... 378.22 c Sol. found (all assignments made)... 378.22 c Sol. found (all assignments made)... 378.22 c Sol. found (all assignments made)... 378.23 c Sol. found (all assignments made)... 378.23 c Sol. found (all assignments made)... 378.23 c Sol. found (all assignments made)... 378.24 c Sol. found (all assignments made)... 378.24 c Sol. found (all assignments made)... 378.24 c Sol. found (all assignments made)... 378.24 c Sol. found (all assignments made)... 378.25 c Sol. found (all assignments made)... 378.25 c Sol. found (all assignments made)... 378.25 c Sol. found (all assignments made)... 378.25 c Sol. found (all assignments made)... 378.26 c Sol. found (all assignments made)... 378.26 c Sol. found (all assignments made)... 378.26 c Sol. found (all assignments made)... 378.26 c Sol. found (all assignments made)... 378.27 c Sol. found (all assignments made)... 378.27 c Sol. found (all assignments made)... 378.27 c Sol. found (all assignments made)... 378.27 c Sol. found (all assignments made)... 378.28 c Sol. found (all assignments made)... 378.28 c Sol. found (all assignments made)... 378.28 c Sol. found (all assignments made)... 378.28 c Sol. found (all assignments made)... 378.28 c Sol. found (all assignments made)... 378.29 c Sol. found (all assignments made)... 378.29 c Sol. found (all assignments made)... 378.29 c Sol. found (all assignments made)... 378.29 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.30 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.31 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.32 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.33 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.34 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.35 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.36 c Sol. found (all assignments made)... 378.37 c Sol. found (all assignments made)... 378.37 c Sol. found (all assignments made)... 378.37 c Sol. found (all assignments made)... 378.37 c Sol. found (all assignments made)... 378.38 c Sol. found (all assignments made)... 378.38 c Sol. found (all assignments made)... 378.38 c Sol. found (all assignments made)... 378.39 c Sol. found (all assignments made)... 378.39 c Sol. found (all assignments made)... 378.39 c Sol. found (all assignments made)... 378.40 c Sol. found (all assignments made)... 378.40 c Sol. found (all assignments made)... 378.40 c Sol. found (all assignments made)... 378.41 c Sol. found (all assignments made)... 378.41 c Sol. found (all assignments made)... 378.41 c Sol. found (all assignments made)... 378.42 c Sol. found (all assignments made)... 378.42 c Sol. found (all assignments made)... 378.42 c Sol. found (all assignments made)... 378.42 c Sol. found (all assignments made)... 378.42 c Sol. found (all assignments made)... 378.43 c Sol. found (all assignments made)... 378.43 c Sol. found (all assignments made)... 378.43 c Sol. found (all assignments made)... 378.44 c Sol. found (all assignments made)... 378.44 c Sol. found (all assignments made)... 378.44 c Sol. found (all assignments made)... 378.45 c Sol. found (all assignments made)... 378.45 c Sol. found (all assignments made)... 378.45 c Sol. found (all assignments made)... 378.45 c Sol. found (all assignments made)... 378.45 c Sol. found (all assignments made)... 378.46 c Sol. found (all assignments made)... 378.46 c Sol. found (all assignments made)... 378.46 c Sol. found (all assignments made)... 378.46 c Sol. found (all assignments made)... 378.47 c Sol. found (all assignments made)... 378.47 c Sol. found (all assignments made)... 378.47 c Sol. found (all assignments made)... 378.47 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.48 c Sol. found (all assignments made)... 378.49 c Sol. found (all assignments made)... 378.49 c Sol. found (all assignments made)... 378.49 c Sol. found (all assignments made)... 378.49 c Sol. found (all assignments made)... 378.49 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.50 c Sol. found (all assignments made)... 378.51 c Sol. found (all assignments made)... 378.51 c Sol. found (all assignments made)... 378.51 c Sol. found (all assignments made)... 378.51 c Sol. found (all assignments made)... 378.51 c Sol. found (all assignments made)... 378.52 c Sol. found (all assignments made)... 378.52 c Sol. found (all assignments made)... 378.52 c Sol. found (all assignments made)... 378.52 c Sol. found (all assignments made)... 378.53 c Sol. found (all assignments made)... 378.53 c Sol. found (all assignments made)... 378.53 c Sol. found (all assignments made)... 378.53 c Sol. found (all assignments made)... 378.53 c Sol. found (all assignments made)... 378.54 c Sol. found (all assignments made)... 378.54 c Sol. found (all assignments made)... 378.54 c Sol. found (all assignments made)... 378.55 c Sol. found (all assignments made)... 378.55 c Sol. found (all assignments made)... 378.55 c Sol. found (all assignments made)... 378.55 c Sol. found (all assignments made)... 378.55 c Sol. found (all assignments made)... 378.56 c Sol. found (all assignments made)... 378.56 c Sol. found (all assignments made)... 378.56 c Sol. found (all assignments made)... 378.56 c Sol. found (all assignments made)... 378.57 c Sol. found (all assignments made)... 378.57 c Sol. found (all assignments made)... 378.57 c Sol. found (all assignments made)... 378.58 c Sol. found (all assignments made)... 378.59 c Sol. found (all assignments made)... 378.59 c Sol. found (all assignments made)... 378.59 c Sol. found (all assignments made)... 378.59 c Sol. found (all assignments made)... 378.59 c Sol. found (all assignments made)... 378.60 c Sol. found (all assignments made)... 378.60 c Sol. found (all assignments made)... 378.60 c Sol. found (all assignments made)... 378.60 c Sol. found (all assignments made)... 378.60 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.61 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.62 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.63 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.64 c Sol. found (all assignments made)... 378.65 c Sol. found (all assignments made)... 378.66 c Sol. found (all assignments made)... 378.66 c Sol. found (all assignments made)... 378.67 c Sol. found (all assignments made)... 378.67 c Sol. found (all assignments made)... 378.67 c Sol. found (all assignments made)... 378.67 c Sol. found (all assignments made)... 378.67 c Sol. found (all assignments made)... 378.68 c Sol. found (all assignments made)... 378.68 c Sol. found (all assignments made)... 378.68 c Sol. found (all assignments made)... 378.68 c Sol. found (all assignments made)... 378.69 c Sol. found (all assignments made)... 378.69 c Sol. found (all assignments made)... 378.69 c Sol. found (all assignments made)... 378.69 c Sol. found (all assignments made)... 378.69 c Sol. found (all assignments made)... 378.70 c Sol. found (all assignments made)... 378.70 c Sol. found (all assignments made)... 378.70 c Sol. found (all assignments made)... 378.70 c Sol. found (all assignments made)... 378.70 c Sol. found (all assignments made)... 378.71 c Sol. found (all assignments made)... 378.71 c Sol. found (all assignments made)... 378.71 c Sol. found (all assignments made)... 378.71 c Sol. found (all assignments made)... 378.72 c Sol. found (all assignments made)... 378.72 c Sol. found (all assignments made)... 378.72 c Sol. found (all assignments made)... 378.72 c Sol. found (all assignments made)... 378.72 c Sol. found (all assignments made)... 378.73 c Sol. found (all assignments made)... 378.73 c Sol. found (all assignments made)... 378.73 c Sol. found (all assignments made)... 378.73 c Sol. found (all assignments made)... 378.73 c Sol. found (all assignments made)... 378.74 c Sol. found (all assignments made)... 378.74 c Sol. found (all assignments made)... 378.74 c Sol. found (all assignments made)... 378.74 c Sol. found (all assignments made)... 378.75 c Sol. found (all assignments made)... 378.75 c Sol. found (all assignments made)... 378.75 c Sol. found (all assignments made)... 378.75 c Sol. found (all assignments made)... 378.76 c Sol. found (all assignments made)... 378.76 c Sol. found (all assignments made)... 378.76 c Sol. found (all assignments made)... 378.76 c Sol. found (all assignments made)... 378.77 c Sol. found (all assignments made)... 378.78 c Sol. found (all assignments made)... 378.78 c Sol. found (all assignments made)... 378.78 c Sol. found (all assignments made)... 378.78 c Sol. found (all assignments made)... 378.78 c Sol. found (all assignments made)... 378.79 c Sol. found (all assignments made)... 378.79 c Sol. found (all assignments made)... 378.79 c Sol. found (all assignments made)... 378.79 c Sol. found (all assignments made)... 378.79 c Sol. found (all assignments made)... 378.80 c Sol. found (all assignments made)... 378.80 c Sol. found (all assignments made)... 378.80 c Sol. found (all assignments made)... 378.81 c Sol. found (all assignments made)... 378.81 c Sol. found (all assignments made)... 378.81 c Sol. found (all assignments made)... 378.82 c Sol. found (all assignments made)... 378.82 c Sol. found (all assignments made)... 378.82 c Sol. found (all assignments made)... 378.83 c Sol. found (all assignments made)... 378.83 c Sol. found (all assignments made)... 378.83 c Sol. found (all assignments made)... 378.83 c Sol. found (all assignments made)... 378.83 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.84 c Sol. found (all assignments made)... 378.85 c Sol. found (all assignments made)... 378.85 c Sol. found (all assignments made)... 378.85 c Sol. found (all assignments made)... 378.85 c Sol. found (all assignments made)... 378.85 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.86 c Sol. found (all assignments made)... 378.87 c Sol. found (all assignments made)... 378.87 c Sol. found (all assignments made)... 378.87 c Sol. found (all assignments made)... 378.87 c Sol. found (all assignments made)... 378.87 c Sol. found (all assignments made)... 378.89 c Sol. found (all assignments made)... 378.89 c Sol. found (all assignments made)... 378.89 c Sol. found (all assignments made)... 378.89 c Sol. found (all assignments made)... 378.89 c Sol. found (all assignments made)... 378.90 c Sol. found (all assignments made)... 378.90 c Sol. found (all assignments made)... 378.90 c Sol. found (all assignments made)... 378.90 c Sol. found (all assignments made)... 378.90 c Sol. found (all assignments made)... 378.91 c Sol. found (all assignments made)... 378.91 c Sol. found (all assignments made)... 378.91 c Sol. found (all assignments made)... 378.91 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.92 c Sol. found (all assignments made)... 378.93 c Sol. found (all assignments made)... 378.93 c Sol. found (all assignments made)... 378.93 c Sol. found (all assignments made)... 378.93 c Sol. found (all assignments made)... 378.94 c Sol. found (all assignments made)... 378.94 c Sol. found (all assignments made)... 379.03 c Restart #63 #Var: 1272 LB: -1272 @ 378.87 386.50 c Restart #64 #Var: 1272 LB: -1272 @ 386.33 394.13 c Restart #65 #Var: 1272 LB: -1272 @ 393.96 401.64 c Restart #66 #Var: 1272 LB: -1272 @ 401.47 409.35 c Restart #67 #Var: 1272 LB: -1272 @ 409.18 417.19 c Restart #68 #Var: 1272 LB: -1272 @ 417.01 425.28 c Restart #69 #Var: 1272 LB: -1272 @ 425.09 433.25 c Restart #70 #Var: 1272 LB: -1272 @ 433.06 441.81 c Restart #71 #Var: 1272 LB: -1272 @ 441.62 450.03 c Restart #72 #Var: 1272 LB: -1272 @ 449.83 458.28 c Restart #73 #Var: 1272 LB: -1272 @ 458.09 466.89 c Restart #74 #Var: 1272 LB: -1272 @ 466.69 468.82 c Sol. found (all assignments made)... 468.83 c Sol. found (all assignments made)... 469.42 c Sol. found (all assignments made)... 469.42 c Sol. found (all assignments made)... 469.42 c Sol. found (all assignments made)... 469.43 c Sol. found (all assignments made)... 470.03 c Sol. found (all assignments made)... 470.79 c Sol. found (all assignments made)... 471.02 c Sol. found (all assignments made)... 471.03 c Sol. found (all assignments made)... 471.03 c Sol. found (all assignments made)... 471.04 c Sol. found (all assignments made)... 471.05 c Sol. found (all assignments made)... 471.06 c Sol. found (all assignments made)... 471.06 c Sol. found (all assignments made)... 471.07 c Sol. found (all assignments made)... 471.08 c Sol. found (all assignments made)... 471.10 c Sol. found (all assignments made)... 471.10 c Sol. found (all assignments made)... 471.11 c Sol. found (all assignments made)... 471.12 c Sol. found (all assignments made)... 471.13 c Sol. found (all assignments made)... 475.86 c Restart #75 #Var: 1272 LB: -1272 @ 475.66 484.62 c Restart #76 #Var: 1272 LB: -1272 @ 484.41 487.03 c Sol. found (all assignments made)... 488.61 c Sol. found (all assignments made)... 488.61 c Sol. found (all assignments made)... 488.62 c Sol. found (all assignments made)... 488.69 c Sol. found (all assignments made)... 493.28 c Restart #77 #Var: 1272 LB: -1272 @ 493.08 495.80 c Sol. found (all assignments made)... 501.45 c Sol. found (all assignments made)... 501.45 c Sol. found (all assignments made)... 501.46 c Sol. found (all assignments made)... 501.52 c Sol. found (all assignments made)... 501.53 c Sol. found (all assignments made)... 501.53 c Sol. found (all assignments made)... 501.54 c Sol. found (all assignments made)... 502.19 c Restart #78 #Var: 1272 LB: -1272 @ 501.99 511.16 c Restart #79 #Var: 1272 LB: -1272 @ 510.95 520.17 c Restart #80 #Var: 1272 LB: -1272 @ 519.96 526.66 c Sol. found (all assignments made)... 526.70 c Sol. found (all assignments made)... 526.70 c Sol. found (all assignments made)... 529.29 c Restart #81 #Var: 1272 LB: -1272 @ 529.07 538.63 c Restart #82 #Var: 1272 LB: -1272 @ 538.41 548.01 c Restart #83 #Var: 1272 LB: -1272 @ 547.78 557.85 c Restart #84 #Var: 1272 LB: -1272 @ 557.62 567.77 c Restart #85 #Var: 1272 LB: -1272 @ 567.53 577.72 c Restart #86 #Var: 1272 LB: -1272 @ 577.48 587.86 c Restart #87 #Var: 1272 LB: -1272 @ 587.62 597.93 c Restart #88 #Var: 1272 LB: -641 @ 597.68 608.10 c Restart #89 #Var: 1272 LB: -1272 @ 607.86 618.32 c Restart #90 #Var: 1272 LB: -1272 @ 618.07 628.71 c Restart #91 #Var: 1272 LB: -1272 @ 628.45 639.36 c Restart #92 #Var: 1272 LB: -1272 @ 639.11 649.89 c Restart #93 #Var: 1272 LB: -1272 @ 649.63 660.76 c Restart #94 #Var: 1272 LB: -1272 @ 660.49 671.67 c Restart #95 #Var: 1272 LB: -1272 @ 671.4 682.49 c Restart #96 #Var: 1272 LB: -1272 @ 682.22 693.50 c Restart #97 #Var: 1272 LB: -1272 @ 693.22 705.00 c Restart #98 #Var: 1272 LB: -1272 @ 704.72 716.32 c Restart #99 #Var: 1272 LB: -1272 @ 716.03 727.89 c Restart #100 #Var: 1272 LB: -1272 @ 727.6 739.44 c Restart #101 #Var: 1272 LB: -1272 @ 739.15 751.03 c Restart #102 #Var: 1272 LB: -1272 @ 750.73 762.73 c Restart #103 #Var: 1272 LB: -1272 @ 762.43 774.62 c Restart #104 #Var: 1272 LB: -1272 @ 774.31 786.41 c Restart #105 #Var: 1272 LB: -1272 @ 786.1 797.12 c Sol. found (all assignments made)... 797.12 c Sol. found (all assignments made)... 797.13 c Sol. found (all assignments made)... 797.13 c Sol. found (all assignments made)... 797.15 c Sol. found (all assignments made)... 797.15 c Sol. found (all assignments made)... 797.16 c Sol. found (all assignments made)... 797.16 c Sol. found (all assignments made)... 797.23 c Sol. found (all assignments made)... 797.23 c Sol. found (all assignments made)... 797.24 c Sol. found (all assignments made)... 797.24 c Sol. found (all assignments made)... 797.25 c Sol. found (all assignments made)... 797.25 c Sol. found (all assignments made)... 797.25 c Sol. found (all assignments made)... 797.26 c Sol. found (all assignments made)... 798.09 c Sol. found (all assignments made)... 798.10 c Sol. found (all assignments made)... 798.10 c Sol. found (all assignments made)... 798.11 c Sol. found (all assignments made)... 798.11 c Sol. found (all assignments made)... 798.12 c Sol. found (all assignments made)... 798.12 c Sol. found (all assignments made)... 798.12 c Sol. found (all assignments made)... 798.37 c Restart #106 #Var: 1272 LB: -1272 @ 798.06 810.74 c Restart #107 #Var: 1272 LB: -1272 @ 810.42 811.30 c Sol. found (all assignments made)... 811.42 c Sol. found (all assignments made)... 811.42 c Sol. found (all assignments made)... 811.43 c Sol. found (all assignments made)... 813.30 c Sol. found (all assignments made)... 813.31 c Sol. found (all assignments made)... 813.31 c Sol. found (all assignments made)... 813.33 c Sol. found (all assignments made)... 813.34 c Sol. found (all assignments made)... 813.34 c Sol. found (all assignments made)... 813.46 c Sol. found (all assignments made)... 813.47 c Sol. found (all assignments made)... 813.47 c Sol. found (all assignments made)... 822.85 c Restart #108 #Var: 1272 LB: -1272 @ 822.52 835.37 c Restart #109 #Var: 1272 LB: -1272 @ 835.04 848.12 c Restart #110 #Var: 1272 LB: -1272 @ 847.79 861.06 c Restart #111 #Var: 1272 LB: -1272 @ 860.72 873.68 c Restart #112 #Var: 1272 LB: -1272 @ 873.34 886.91 c Restart #113 #Var: 1272 LB: -1272 @ 886.56 900.38 c Restart #114 #Var: 1272 LB: -1272 @ 900.03 913.59 c Restart #115 #Var: 1272 LB: -1272 @ 913.24 926.91 c Restart #116 #Var: 1272 LB: -1272 @ 926.55 940.40 c Restart #117 #Var: 1272 LB: -1272 @ 940.04 953.99 c Restart #118 #Var: 1272 LB: -1272 @ 953.62 967.51 c Restart #119 #Var: 1272 LB: -1272 @ 967.14 981.13 c Restart #120 #Var: 1272 LB: -1272 @ 980.75 994.74 c Restart #121 #Var: 1272 LB: -1272 @ 994.36 1008.81 c Restart #122 #Var: 1272 LB: -1272 @ 1008.4 1022.78 c Restart #123 #Var: 1272 LB: -1272 @ 1022.4 1036.64 c Restart #124 #Var: 1272 LB: -1272 @ 1036.2 1050.67 c Restart #125 #Var: 1272 LB: -1272 @ 1050.3 1064.85 c Restart #126 #Var: 1272 LB: -1272 @ 1064.4 1078.98 c Restart #127 #Var: 1272 LB: -1272 @ 1078.6 1093.34 c Restart #128 #Var: 1272 LB: -1272 @ 1092.9 1096.40 c Sol. found (all assignments made)... 1096.40 c Sol. found (all assignments made)... 1096.41 c Sol. found (all assignments made)... 1096.41 c Sol. found (all assignments made)... 1096.41 c Sol. found (all assignments made)... 1096.41 c Sol. found (all assignments made)... 1096.42 c Sol. found (all assignments made)... 1096.42 c Sol. found (all assignments made)... 1096.60 c Sol. found (all assignments made)... 1096.60 c Sol. found (all assignments made)... 1096.61 c Sol. found (all assignments made)... 1096.61 c Sol. found (all assignments made)... 1097.71 c Sol. found (all assignments made)... 1097.71 c Sol. found (all assignments made)... 1097.72 c Sol. found (all assignments made)... 1097.72 c Sol. found (all assignments made)... 1098.84 c Sol. found (all assignments made)... 1098.85 c Sol. found (all assignments made)... 1099.39 c Sol. found (all assignments made)... 1099.39 c Sol. found (all assignments made)... 1099.39 c Sol. found (all assignments made)... 1099.39 c Sol. found (all assignments made)... 1099.48 c Sol. found (all assignments made)... 1099.49 c Sol. found (all assignments made)... 1099.49 c Sol. found (all assignments made)... 1099.49 c Sol. found (all assignments made)... 1100.20 c Sol. found (all assignments made)... 1100.20 c Sol. found (all assignments made)... 1100.21 c Sol. found (all assignments made)... 1100.21 c Sol. found (all assignments made)... 1100.21 c Sol. found (all assignments made)... 1100.22 c Sol. found (all assignments made)... 1100.22 c Sol. found (all assignments made)... 1100.22 c Sol. found (all assignments made)... 1107.80 c Restart #129 #Var: 1272 LB: -1272 @ 1107.4 1122.35 c Restart #130 #Var: 1272 LB: -1272 @ 1121.9 1137.33 c Restart #131 #Var: 1272 LB: -1272 @ 1136.9 1152.33 c Restart #132 #Var: 1272 LB: -1272 @ 1151.9 1167.22 c Restart #133 #Var: 1272 LB: -1272 @ 1166.8 1170.94 c Sol. found (all assignments made)... 1170.95 c Sol. found (all assignments made)... 1170.95 c Sol. found (all assignments made)... 1170.95 c Sol. found (all assignments made)... 1170.95 c Sol. found (all assignments made)... 1170.96 c Sol. found (all assignments made)... 1170.96 c Sol. found (all assignments made)... 1170.96 c Sol. found (all assignments made)... 1170.96 c Sol. found (all assignments made)... 1170.98 c Sol. found (all assignments made)... 1170.98 c Sol. found (all assignments made)... 1170.98 c Sol. found (all assignments made)... 1170.98 c Sol. found (all assignments made)... 1170.98 c Sol. found (all assignments made)... 1170.99 c Sol. found (all assignments made)... 1171.01 c Sol. found (all assignments made)... 1171.01 c Sol. found (all assignments made)... 1171.01 c Sol. found (all assignments made)... 1171.02 c Sol. found (all assignments made)... 1171.02 c Sol. found (all assignments made)... 1171.02 c Sol. found (all assignments made)... 1171.03 c Sol. found (all assignments made)... 1171.03 c Sol. found (all assignments made)... 1171.03 c Sol. found (all assignments made)... 1171.03 c Sol. found (all assignments made)... 1171.04 c Sol. found (all assignments made)... 1171.04 c Sol. found (all assignments made)... 1171.04 c Sol. found (all assignments made)... 1171.04 c Sol. found (all assignments made)... 1171.05 c Sol. found (all assignments made)... 1171.05 c Sol. found (all assignments made)... 1171.05 c Sol. found (all assignments made)... 1171.05 c Sol. found (all assignments made)... 1171.06 c Sol. found (all assignments made)... 1171.09 c Sol. found (all assignments made)... 1171.10 c Sol. found (all assignments made)... 1171.10 c Sol. found (all assignments made)... 1171.11 c Sol. found (all assignments made)... 1171.11 c Sol. found (all assignments made)... 1171.12 c Sol. found (all assignments made)... 1171.13 c Sol. found (all assignments made)... 1171.13 c Sol. found (all assignments made)... 1171.13 c Sol. found (all assignments made)... 1171.13 c Sol. found (all assignments made)... 1171.14 c Sol. found (all assignments made)... 1171.14 c Sol. found (all assignments made)... 1171.14 c Sol. found (all assignments made)... 1171.14 c Sol. found (all assignments made)... 1171.15 c Sol. found (all assignments made)... 1171.15 c Sol. found (all assignments made)... 1171.15 c Sol. found (all assignments made)... 1171.16 c Sol. found (all assignments made)... 1171.16 c Sol. found (all assignments made)... 1171.16 c Sol. found (all assignments made)... 1171.16 c Sol. found (all assignments made)... 1171.17 c Sol. found (all assignments made)... 1171.17 c Sol. found (all assignments made)... 1171.19 c Sol. found (all assignments made)... 1171.20 c Sol. found (all assignments made)... 1171.20 c Sol. found (all assignments made)... 1171.21 c Sol. found (all assignments made)... 1171.21 c Sol. found (all assignments made)... 1171.22 c Sol. found (all assignments made)... 1171.23 c Sol. found (all assignments made)... 1171.23 c Sol. found (all assignments made)... 1171.24 c Sol. found (all assignments made)... 1171.24 c Sol. found (all assignments made)... 1171.25 c Sol. found (all assignments made)... 1171.25 c Sol. found (all assignments made)... 1171.26 c Sol. found (all assignments made)... 1171.26 c Sol. found (all assignments made)... 1171.27 c Sol. found (all assignments made)... 1182.28 c Restart #134 #Var: 1272 LB: -1272 @ 1181.8 1197.57 c Restart #135 #Var: 1272 LB: -1272 @ 1197.1 1212.87 c Restart #136 #Var: 1272 LB: -1272 @ 1212.4 1228.32 c Restart #137 #Var: 1272 LB: -1272 @ 1227.8 1243.88 c Restart #138 #Var: 1272 LB: -1272 @ 1243.4 1259.80 c Restart #139 #Var: 1272 LB: -1272 @ 1259.3 1275.86 c Restart #140 #Var: 1272 LB: -1272 @ 1275.4 1291.94 c Restart #141 #Var: 1272 LB: -1272 @ 1291.4 1308.39 c Restart #142 #Var: 1272 LB: -1272 @ 1307.9 1324.39 c Restart #143 #Var: 1272 LB: -1272 @ 1323.9 1324.80 c Sol. found (all assignments made)... 1324.80 o -43 1324.80 c NEW SOLUTION FOUND: -43 @ 1324.3 1324.80 c Sol. found (all assignments made)... 1325.44 c Sol. found (all assignments made)... 1325.44 c Sol. found (all assignments made)... 1325.45 c Sol. found (all assignments made)... 1325.45 c Sol. found (all assignments made)... 1325.45 c Sol. found (all assignments made)... 1325.45 c Sol. found (all assignments made)... 1325.56 c Sol. found (all assignments made)... 1325.56 c Sol. found (all assignments made)... 1325.60 c Sol. found (all assignments made)... 1325.60 c Sol. found (all assignments made)... 1325.60 o -44 1325.60 c NEW SOLUTION FOUND: -44 @ 1325.1 1325.60 c Sol. found (all assignments made)... 1341.59 c Restart #144 #Var: 1272 LB: -1272 @ 1341.1 1358.39 c Restart #145 #Var: 1272 LB: -1272 @ 1357.9 1375.46 c Restart #146 #Var: 1272 LB: -1272 @ 1374.9 1391.99 c Restart #147 #Var: 1272 LB: -1272 @ 1391.5 1409.30 c Restart #148 #Var: 1272 LB: -1272 @ 1408.8 1426.64 c Restart #149 #Var: 1272 LB: -1272 @ 1426.1 1444.06 c Restart #150 #Var: 1272 LB: -1272 @ 1443.5 1461.47 c Restart #151 #Var: 1272 LB: -1272 @ 1460.9 1478.89 c Restart #152 #Var: 1272 LB: -1272 @ 1478.3 1496.09 c Restart #153 #Var: 1272 LB: -1272 @ 1495.5 1513.38 c Restart #154 #Var: 1272 LB: -1272 @ 1512.8 1531.57 c Restart #155 #Var: 1272 LB: -1272 @ 1531 1549.46 c Restart #156 #Var: 1272 LB: -1272 @ 1548.9 1567.75 c Restart #157 #Var: 1272 LB: -1272 @ 1567.2 1585.85 c Restart #158 #Var: 1272 LB: -1272 @ 1585.2 1604.07 c Restart #159 #Var: 1272 LB: -1272 @ 1603.5 1622.74 c Restart #160 #Var: 1272 LB: -1272 @ 1622.1 1641.28 c Restart #161 #Var: 1272 LB: -1272 @ 1640.7 1659.62 c Restart #162 #Var: 1272 LB: -1272 @ 1659 1678.12 c Restart #163 #Var: 1272 LB: -1272 @ 1677.5 1697.14 c Restart #164 #Var: 1272 LB: -1272 @ 1696.5 1716.35 c Restart #165 #Var: 1272 LB: -1272 @ 1715.7 1735.69 c Restart #166 #Var: 1272 LB: -1272 @ 1735 1754.65 c Restart #167 #Var: 1272 LB: -1272 @ 1754 1774.12 c Restart #168 #Var: 1272 LB: -1272 @ 1773.5 1793.63 c Restart #169 #Var: 1272 LB: -1272 @ 1793 1800.67 s SATISFIABLE 1800.67 c Cost: -44 1800.67 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.67 v -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1800.67 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.67 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.67 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.67 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1800.67 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1800.67 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1800.67 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1800.67 v -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1800.67 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1800.67 v x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1800.67 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1800.67 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 1800.67 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1800.67 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 1800.67 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 1800.67 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 1800.67 v -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 1800.67 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 1800.67 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 1800.67 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 1800.67 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 1800.67 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 1800.67 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 1800.67 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 1800.67 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 1800.67 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 1800.67 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 1800.67 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 1800.67 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 1800.67 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 1800.67 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 1800.67 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 1800.67 v -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 1800.67 v -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 1800.67 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 1800.67 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 1800.67 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 1800.67 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 1800.67 v -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 1800.67 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 1800.67 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 1800.67 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 1800.67 v -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 1800.67 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 1800.67 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 1800.67 v -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 1800.67 v -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 1800.67 v x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 1800.67 v -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 1800.67 v -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 1800.67 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 1800.67 v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 1800.67 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 1800.67 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 1800.67 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 1800.67 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 1800.67 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 1800.67 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 1800.67 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 1800.67 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 1800.67 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.67 c Exit Code: 10 1800.67 c Total time: 1800 s
OK -44
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/node5/watcher-40507-1149298003 -o ROOT/results/node5/solver-40507-1149298003 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40507-1149298003/instance-40507-1149298003.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 2/64 737 /proc/meminfo: memFree=1762904/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=4748 CPUtime=0 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 215 0 0 0 0 0 0 0 19 0 1 0 195403981 4861952 185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134713704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 1187 195 145 55 0 79 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.91 2/64 737 /proc/meminfo: memFree=1716760/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=50696 CPUtime=9.97 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 11918 0 0 0 993 4 0 0 25 0 1 0 195403981 51912704 11833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 12674 11833 287 55 0 11566 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 50696 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.91 2/64 737 /proc/meminfo: memFree=1715800/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=51516 CPUtime=19.98 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 12346 0 0 0 1992 6 0 0 25 0 1 0 195403981 52752384 12070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 12879 12070 297 55 0 11771 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 51516 [startup+30.0157 s] /proc/loadavg: 0.95 0.98 0.91 2/64 737 /proc/meminfo: memFree=1709016/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=58948 CPUtime=29.98 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 14150 0 0 0 2991 7 0 0 25 0 1 0 195403981 60362752 13796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 14737 13796 308 55 0 13629 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 58948 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.91 2/64 737 /proc/meminfo: memFree=1707672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=60232 CPUtime=39.98 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 14568 0 0 0 3989 9 0 0 25 0 1 0 195403981 61677568 14136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 15058 14136 308 55 0 13950 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 60232 [startup+50.0276 s] /proc/loadavg: 0.96 0.98 0.91 2/64 737 /proc/meminfo: memFree=1706712/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=61228 CPUtime=49.99 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 14878 0 0 0 4988 11 0 0 25 0 1 0 195403981 62697472 14398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 15307 14398 308 55 0 14199 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 61228 [startup+60.0335 s] /proc/loadavg: 0.97 0.98 0.91 2/64 737 /proc/meminfo: memFree=1705688/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=62184 CPUtime=59.99 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 15127 0 0 0 5987 12 0 0 25 0 1 0 195403981 63676416 14647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 15546 14647 308 55 0 14438 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 62184 [startup+70.0395 s] /proc/loadavg: 0.97 0.98 0.91 2/64 737 /proc/meminfo: memFree=1676376/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=122304 CPUtime=69.99 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 26184 0 0 0 6981 18 0 0 25 0 1 0 195403981 125239296 22047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 30576 22047 403 55 0 29468 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 122304 [startup+80.0454 s] /proc/loadavg: 0.98 0.98 0.91 2/64 737 /proc/meminfo: memFree=1671832/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=111968 CPUtime=79.99 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 29939 0 0 0 7979 20 0 0 25 0 1 0 195403981 114655232 23200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 27992 23200 414 55 0 26884 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 111968 [startup+90.0514 s] /proc/loadavg: 0.98 0.98 0.91 2/64 737 /proc/meminfo: memFree=1671832/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=111968 CPUtime=89.99 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 29966 0 0 0 8979 20 0 0 25 0 1 0 195403981 114655232 23201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 27992 23201 414 55 0 26884 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 111968 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.91 2/64 737 /proc/meminfo: memFree=1692120/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=111148 CPUtime=100 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 72211 0 0 0 9961 39 0 0 25 0 1 0 195403981 113815552 18139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160232622 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 27787 18139 435 55 0 26679 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 111148 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.91 2/64 737 /proc/meminfo: memFree=1662488/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=134436 CPUtime=110 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 183294 0 0 0 10913 87 0 0 25 0 1 0 195403981 137662464 25543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 33609 25543 436 55 0 32501 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 134436 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1662424/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=134436 CPUtime=120 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 183331 0 0 0 11913 87 0 0 25 0 1 0 195403981 137662464 25554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 33609 25554 436 55 0 32501 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 134436 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1690968/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=77484 CPUtime=130.01 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 315464 0 0 0 12854 147 0 0 25 0 1 0 195403981 79343616 18421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157985660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19371 18421 436 55 0 18263 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 77484 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689944/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78572 CPUtime=140.01 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 315841 0 0 0 13853 148 0 0 25 0 1 0 195403981 80457728 18680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19643 18680 436 55 0 18535 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 78572 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78416 CPUtime=150.01 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 315887 0 0 0 14852 149 0 0 25 0 1 0 195403981 80297984 18650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19604 18650 436 55 0 18496 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 78416 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689752/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78464 CPUtime=160.01 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 316079 0 0 0 15851 150 0 0 25 0 1 0 195403981 80347136 18666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8335042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19616 18666 436 55 0 18508 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 78464 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689688/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78832 CPUtime=170.02 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 316327 0 0 0 16850 152 0 0 25 0 1 0 195403981 80723968 18733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19708 18733 436 55 0 18600 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 78832 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689752/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78620 CPUtime=180.02 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 316501 0 0 0 17849 153 0 0 25 0 1 0 195403981 80506880 18705 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19655 18705 436 55 0 18547 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 78620 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689624/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78712 CPUtime=190.02 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 316544 0 0 0 18848 154 0 0 25 0 1 0 195403981 80601088 18728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19678 18728 436 55 0 18570 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 78712 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689688/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=78500 CPUtime=200.02 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 316586 0 0 0 19848 154 0 0 25 0 1 0 195403981 80384000 18675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19625 18675 436 55 0 18517 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 78500 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.91 2/64 737 /proc/meminfo: memFree=1689560/2055920 swapFree=4180904/4192956 ################ # More data... # ################ /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 79388 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1770.4 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 176749 291 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 79388 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1780.4 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 177748 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8334990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 79388 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1781.4 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 177848 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 79388 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1782.41 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 177949 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 79388 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1783.41 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178049 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 79388 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1784.41 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178149 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 79388 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1785.42 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178250 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 79388 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1786.42 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178350 292 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 79388 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1787.43 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178450 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 79388 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1788.44 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178551 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8010868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 79388 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1789.44 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178651 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 79388 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1790.44 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178751 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 79388 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1791.45 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178852 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 79388 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1792.45 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 178952 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 79388 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79388 CPUtime=1793.45 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179052 293 0 0 25 0 1 0 195403981 81293312 18897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19847 18897 436 55 0 18739 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 79388 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1794.46 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179153 293 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 79328 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1795.46 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179253 293 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 79328 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1796.47 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179353 294 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 79328 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1797.48 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179454 294 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 79328 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1798.48 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179554 294 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 79328 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 739 /proc/meminfo: memFree=1688672/2055920 swapFree=4180904/4192956 [pid=737] ppid=735 vsize=79328 CPUtime=1799.48 /proc/737/stat : 737 (bsolo) R 735 737 691 0 -1 0 321356 0 0 0 179654 294 0 0 25 0 1 0 195403981 81231872 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/737/statm: 19832 18882 436 55 0 18724 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 79328 Child status: 10 Real time (s): 1800.69 CPU time (s): 1800.02 CPU user time (s): 1797.06 CPU system time (s): 2.95755 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (Kb): 134436
Begin job on node5 on Sat Jun 3 01:26:43 UTC 2006 FILE ID= 40507-1149298003 PBS_JOBID= 307200 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40507-1149298003/instance-40507-1149298003.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-40507-1149298003 -o ROOT/results/node5/solver-40507-1149298003 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node5/40507-1149298003/instance-40507-1149298003.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED= 976938130 /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.279 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.279 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: 1763112 kB Buffers: 22996 kB Cached: 208040 kB SwapCached: 3904 kB Active: 50416 kB Inactive: 189420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763112 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14944 kB Slab: 39004 kB Committed_AS: 274456 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node5 on Sat Jun 3 01:56:44 UTC 2006