Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -43 | 1800.02 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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.01 c INFO: OSL Context initialized. 1.32 c Initial problem consists of 1272 variables and 94226 constraints. 14.73 c No problem reductions applied in OPT. instance. 14.73 c preprocess terminated. Elapsed time: 14.708 14.73 c After prepocess the problem consists of 1272 variables and 94226 constraints. 14.73 c Initial Lower Bound: -1272 14.81 c Sol. found (all assignments made)... 14.81 o -1 14.81 c NEW SOLUTION FOUND: -1 @ 14.792 14.81 c Sol. found (all assignments made)... 14.81 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 o -2 14.82 c NEW SOLUTION FOUND: -2 @ 14.797 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.84 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.87 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 c Sol. found (all assignments made)... 14.88 o -3 14.88 c NEW SOLUTION FOUND: -3 @ 14.864 14.88 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.90 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.91 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.92 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.93 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.94 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 o -4 14.95 c NEW SOLUTION FOUND: -4 @ 14.93 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.95 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.96 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 14.99 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.01 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.02 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.03 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 c Sol. found (all assignments made)... 15.04 o -5 15.04 c NEW SOLUTION FOUND: -5 @ 15.023 15.04 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.05 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.07 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.09 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.10 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.11 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.12 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.15 c Sol. found (all assignments made)... 15.24 c Restart #1 #Var: 1272 LB: -1272 @ 15.217 15.32 c Sol. found (all assignments made)... 15.32 o -36 15.32 c NEW SOLUTION FOUND: -36 @ 15.305 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.33 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.35 o -37 15.35 c NEW SOLUTION FOUND: -37 @ 15.332 15.35 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.43 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.44 o -38 15.44 c NEW SOLUTION FOUND: -38 @ 15.425 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.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.73 c Restart #2 #Var: 1272 LB: -1272 @ 15.714 15.84 c Sol. found (all assignments made)... 15.85 c Sol. found (all assignments made)... 15.85 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)... 16.22 c Restart #3 #Var: 1272 LB: -1272 @ 16.198 16.80 c Restart #4 #Var: 1272 LB: -1272 @ 16.781 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.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.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.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.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.01 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.12 c Sol. found (all assignments made)... 17.13 c Sol. found (all assignments made)... 17.14 c Sol. found (all assignments made)... 17.14 c Sol. found (all assignments made)... 17.49 c Restart #5 #Var: 1272 LB: -1272 @ 17.473 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.60 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.65 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.67 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.72 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.73 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.74 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.75 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.82 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.01 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.02 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.05 c Sol. found (all assignments made)... 18.05 c Sol. found (all assignments made)... 18.06 c Sol. found (all assignments made)... 18.06 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.08 c Sol. found (all assignments made)... 18.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.11 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.11 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.13 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.19 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 131.09 c CHANGE to MIS mode... UB: -38 MIS: -1272 LPR: -607 (11.269) Diff: 2.0956 131.09 c Restart #0 #Var: 1272 LB: -1272 @ 131.01 131.37 c Sol. found (all assignments made)... 131.37 c Sol. found (all assignments made)... 131.38 c Sol. found (all assignments made)... 131.39 c Sol. found (all assignments made)... 131.40 c Sol. found (all assignments made)... 131.41 c Sol. found (all assignments made)... 131.42 c Sol. found (all assignments made)... 131.42 c Sol. found (all assignments made)... 131.44 c Sol. found (all assignments made)... 131.44 c Sol. found (all assignments made)... 131.45 c Sol. found (all assignments made)... 131.45 c Sol. found (all assignments made)... 131.55 c Restart #1 #Var: 1272 LB: -1272 @ 131.48 131.81 c Sol. found (all assignments made)... 131.82 c Sol. found (all assignments made)... 131.82 c Sol. found (all assignments made)... 131.82 c Sol. found (all assignments made)... 131.82 c Sol. found (all assignments made)... 131.83 c Sol. found (all assignments made)... 131.83 c Sol. found (all assignments made)... 131.83 c Sol. found (all assignments made)... 131.83 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.84 c Sol. found (all assignments made)... 131.85 c Sol. found (all assignments made)... 131.85 c Sol. found (all assignments made)... 131.85 c Sol. found (all assignments made)... 131.86 c Sol. found (all assignments made)... 131.86 c Sol. found (all assignments made)... 131.86 c Sol. found (all assignments made)... 131.86 c Sol. found (all assignments made)... 131.86 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.87 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.88 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.90 c Sol. found (all assignments made)... 131.91 c Sol. found (all assignments made)... 131.91 c Sol. found (all assignments made)... 131.91 c Sol. found (all assignments made)... 131.91 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.92 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.93 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.94 c Sol. found (all assignments made)... 131.95 c Sol. found (all assignments made)... 131.95 o -39 131.95 c NEW SOLUTION FOUND: -39 @ 131.88 131.95 c Sol. found (all assignments made)... 131.96 c Sol. found (all assignments made)... 131.96 c Sol. found (all assignments made)... 131.96 c Sol. found (all assignments made)... 131.96 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.97 c Sol. found (all assignments made)... 131.98 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.00 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.04 c Sol. found (all assignments made)... 132.04 c Sol. found (all assignments made)... 132.04 c Sol. found (all assignments made)... 132.04 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.07 c Sol. found (all assignments made)... 132.08 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.10 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.11 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.12 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.13 o -40 132.13 c NEW SOLUTION FOUND: -40 @ 132.06 132.14 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.15 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.17 c Sol. found (all assignments made)... 132.17 c Sol. found (all assignments made)... 132.17 c Sol. found (all assignments made)... 132.17 c Sol. found (all assignments made)... 132.25 c Sol. found (all assignments made)... 132.27 c Sol. found (all assignments made)... 132.28 c Sol. found (all assignments made)... 132.30 c Sol. found (all assignments made)... 132.31 c Sol. found (all assignments made)... 132.31 c Sol. found (all assignments made)... 132.32 c Sol. found (all assignments made)... 132.32 c Sol. found (all assignments made)... 132.32 c Sol. found (all assignments made)... 132.32 c Sol. found (all assignments made)... 132.43 c Restart #2 #Var: 1272 LB: -1272 @ 132.36 133.11 c Restart #3 #Var: 1272 LB: -1272 @ 133.04 133.89 c Restart #4 #Var: 1272 LB: -1272 @ 133.82 134.84 c Restart #5 #Var: 1272 LB: -644 @ 134.77 135.95 c Restart #6 #Var: 1272 LB: -642 @ 135.88 137.08 c Restart #7 #Var: 1272 LB: -1272 @ 137.01 138.32 c Restart #8 #Var: 1272 LB: -642 @ 138.25 139.17 c Sol. found (all assignments made)... 139.17 c Sol. found (all assignments made)... 139.18 c Sol. found (all assignments made)... 139.18 c Sol. found (all assignments made)... 139.24 c Sol. found (all assignments made)... 139.24 c Sol. found (all assignments made)... 139.26 c Sol. found (all assignments made)... 139.26 c Sol. found (all assignments made)... 139.26 c Sol. found (all assignments made)... 139.26 c Sol. found (all assignments made)... 139.42 c Sol. found (all assignments made)... 139.42 c Sol. found (all assignments made)... 139.43 c Sol. found (all assignments made)... 139.43 c Sol. found (all assignments made)... 139.46 c Sol. found (all assignments made)... 139.48 c Sol. found (all assignments made)... 139.48 c Sol. found (all assignments made)... 139.48 c Sol. found (all assignments made)... 139.48 c Sol. found (all assignments made)... 139.49 c Sol. found (all assignments made)... 139.49 c Sol. found (all assignments made)... 139.49 c Sol. found (all assignments made)... 139.49 c Sol. found (all assignments made)... 139.52 c Sol. found (all assignments made)... 139.52 c Sol. found (all assignments made)... 139.52 c Sol. found (all assignments made)... 139.52 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.53 c Sol. found (all assignments made)... 139.54 c Sol. found (all assignments made)... 139.54 c Sol. found (all assignments made)... 139.54 c Sol. found (all assignments made)... 139.55 c Sol. found (all assignments made)... 139.55 c Sol. found (all assignments made)... 139.55 c Sol. found (all assignments made)... 139.61 c Sol. found (all assignments made)... 139.61 c Sol. found (all assignments made)... 139.71 c Restart #9 #Var: 1272 LB: -1272 @ 139.64 141.13 c Restart #10 #Var: 1272 LB: -1272 @ 141.06 142.67 c Restart #11 #Var: 1272 LB: -1272 @ 142.59 144.31 c Restart #12 #Var: 1272 LB: -1272 @ 144.24 146.07 c Restart #13 #Var: 1272 LB: -1272 @ 146 147.93 c Restart #14 #Var: 1272 LB: -1272 @ 147.86 150.03 c Restart #15 #Var: 1272 LB: -641 @ 149.95 152.23 c Restart #16 #Var: 1272 LB: -640 @ 152.15 152.85 c Sol. found (all assignments made)... 152.86 c Sol. found (all assignments made)... 152.86 c Sol. found (all assignments made)... 152.87 c Sol. found (all assignments made)... 152.87 c Sol. found (all assignments made)... 152.87 c Sol. found (all assignments made)... 152.88 c Sol. found (all assignments made)... 152.89 c Sol. found (all assignments made)... 152.90 c Sol. found (all assignments made)... 152.92 c Sol. found (all assignments made)... 152.92 c Sol. found (all assignments made)... 152.93 c Sol. found (all assignments made)... 152.93 c Sol. found (all assignments made)... 152.94 c Sol. found (all assignments made)... 152.94 c Sol. found (all assignments made)... 152.94 c Sol. found (all assignments made)... 152.95 c Sol. found (all assignments made)... 152.95 c Sol. found (all assignments made)... 152.95 c Sol. found (all assignments made)... 152.95 c Sol. found (all assignments made)... 153.00 c Sol. found (all assignments made)... 153.03 c Sol. found (all assignments made)... 153.05 c Sol. found (all assignments made)... 153.05 c Sol. found (all assignments made)... 154.05 c Sol. found (all assignments made)... 154.06 c Sol. found (all assignments made)... 154.17 c Sol. found (all assignments made)... 154.18 c Sol. found (all assignments made)... 154.48 c Restart #17 #Var: 1272 LB: -1272 @ 154.4 155.49 c Sol. found (all assignments made)... 155.62 c Sol. found (all assignments made)... 155.62 o -41 155.62 c NEW SOLUTION FOUND: -41 @ 155.55 155.62 c Sol. found (all assignments made)... 156.92 c Sol. found (all assignments made)... 156.94 c Sol. found (all assignments made)... 156.96 c Sol. found (all assignments made)... 157.62 c Restart #18 #Var: 1272 LB: -1272 @ 157.54 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.96 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.98 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 157.99 c Sol. found (all assignments made)... 158.01 c Sol. found (all assignments made)... 158.01 c Sol. found (all assignments made)... 158.02 c Sol. found (all assignments made)... 158.02 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.07 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.08 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.09 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.12 c Sol. found (all assignments made)... 158.12 c Sol. found (all assignments made)... 158.12 c Sol. found (all assignments made)... 158.12 c Sol. found (all assignments made)... 158.13 c Sol. found (all assignments made)... 158.13 c Sol. found (all assignments made)... 158.13 c Sol. found (all assignments made)... 158.14 c Sol. found (all assignments made)... 158.14 c Sol. found (all assignments made)... 158.14 c Sol. found (all assignments made)... 158.14 c Sol. found (all assignments made)... 158.14 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.16 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.26 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.27 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.29 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.32 c Sol. found (all assignments made)... 158.33 c Sol. found (all assignments made)... 158.33 c Sol. found (all assignments made)... 158.40 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.41 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.42 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.44 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.45 c Sol. found (all assignments made)... 158.46 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.47 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.49 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.51 c Sol. found (all assignments made)... 158.52 c Sol. found (all assignments made)... 158.53 c Sol. found (all assignments made)... 158.53 c Sol. found (all assignments made)... 158.53 c Sol. found (all assignments made)... 158.54 c Sol. found (all assignments made)... 158.54 c Sol. found (all assignments made)... 158.54 c Sol. found (all assignments made)... 158.54 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.55 c Sol. found (all assignments made)... 158.56 c Sol. found (all assignments made)... 158.56 c Sol. found (all assignments made)... 158.57 c Sol. found (all assignments made)... 158.57 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.58 c Sol. found (all assignments made)... 158.59 c Sol. found (all assignments made)... 158.59 c Sol. found (all assignments made)... 158.59 c Sol. found (all assignments made)... 158.59 c Sol. found (all assignments made)... 158.59 c Sol. found (all assignments made)... 158.60 c Sol. found (all assignments made)... 158.60 c Sol. found (all assignments made)... 158.60 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.61 c Sol. found (all assignments made)... 158.62 c Sol. found (all assignments made)... 158.65 c Sol. found (all assignments made)... 158.65 c Sol. found (all assignments made)... 158.65 c Sol. found (all assignments made)... 158.66 c Sol. found (all assignments made)... 158.66 c Sol. found (all assignments made)... 158.66 c Sol. found (all assignments made)... 158.66 c Sol. found (all assignments made)... 158.67 c Sol. found (all assignments made)... 158.67 c Sol. found (all assignments made)... 158.67 c Sol. found (all assignments made)... 158.67 c Sol. found (all assignments made)... 158.69 c Sol. found (all assignments made)... 158.69 c Sol. found (all assignments made)... 158.69 c Sol. found (all assignments made)... 158.69 c Sol. found (all assignments made)... 158.69 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.71 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.75 c Sol. found (all assignments made)... 158.75 c Sol. found (all assignments made)... 158.75 c Sol. found (all assignments made)... 158.75 c Sol. found (all assignments made)... 158.76 c Sol. found (all assignments made)... 158.76 c Sol. found (all assignments made)... 158.76 c Sol. found (all assignments made)... 158.76 c Sol. found (all assignments made)... 158.77 c Sol. found (all assignments made)... 158.77 c Sol. found (all assignments made)... 158.77 c Sol. found (all assignments made)... 158.77 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.78 c Sol. found (all assignments made)... 158.82 c Sol. found (all assignments made)... 158.82 c Sol. found (all assignments made)... 158.82 c Sol. found (all assignments made)... 158.82 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.84 c Sol. found (all assignments made)... 158.84 c Sol. found (all assignments made)... 158.84 c Sol. found (all assignments made)... 158.84 c Sol. found (all assignments made)... 158.85 c Sol. found (all assignments made)... 158.85 c Sol. found (all assignments made)... 158.85 c Sol. found (all assignments made)... 158.85 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.86 c Sol. found (all assignments made)... 158.87 c Sol. found (all assignments made)... 159.04 c Sol. found (all assignments made)... 159.05 c Sol. found (all assignments made)... 159.25 c Sol. found (all assignments made)... 159.48 c Sol. found (all assignments made)... 159.49 c Sol. found (all assignments made)... 159.67 c Sol. found (all assignments made)... 159.67 c Sol. found (all assignments made)... 159.70 c Sol. found (all assignments made)... 159.70 c Sol. found (all assignments made)... 160.06 c Restart #19 #Var: 1272 LB: -1272 @ 159.98 162.61 c Restart #20 #Var: 1272 LB: -1272 @ 162.53 165.27 c Restart #21 #Var: 1272 LB: -1272 @ 165.19 168.07 c Restart #22 #Var: 1272 LB: -1272 @ 167.99 168.53 c Sol. found (all assignments made)... 169.35 c Sol. found (all assignments made)... 169.51 c Sol. found (all assignments made)... 169.52 c Sol. found (all assignments made)... 169.53 c Sol. found (all assignments made)... 170.32 c Sol. found (all assignments made)... 170.33 c Sol. found (all assignments made)... 170.88 c Restart #23 #Var: 1272 LB: -1272 @ 170.8 173.90 c Restart #24 #Var: 1272 LB: -1272 @ 173.82 177.11 c Restart #25 #Var: 1272 LB: -1272 @ 177.02 177.99 c Sol. found (all assignments made)... 178.01 c Sol. found (all assignments made)... 178.01 c Sol. found (all assignments made)... 178.01 c Sol. found (all assignments made)... 178.02 c Sol. found (all assignments made)... 178.02 c Sol. found (all assignments made)... 178.02 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.03 c Sol. found (all assignments made)... 178.04 c Sol. found (all assignments made)... 178.04 c Sol. found (all assignments made)... 178.04 c Sol. found (all assignments made)... 178.05 c Sol. found (all assignments made)... 178.06 c Sol. found (all assignments made)... 178.06 c Sol. found (all assignments made)... 178.07 c Sol. found (all assignments made)... 178.08 c Sol. found (all assignments made)... 178.08 c Sol. found (all assignments made)... 178.08 c Sol. found (all assignments made)... 178.09 c Sol. found (all assignments made)... 178.10 c Sol. found (all assignments made)... 178.10 c Sol. found (all assignments made)... 178.10 c Sol. found (all assignments made)... 178.10 c Sol. found (all assignments made)... 178.11 c Sol. found (all assignments made)... 178.11 c Sol. found (all assignments made)... 178.12 c Sol. found (all assignments made)... 178.12 c Sol. found (all assignments made)... 178.12 c Sol. found (all assignments made)... 178.12 c Sol. found (all assignments made)... 178.14 c Sol. found (all assignments made)... 178.14 c Sol. found (all assignments made)... 178.15 c Sol. found (all assignments made)... 178.15 c Sol. found (all assignments made)... 178.16 c Sol. found (all assignments made)... 178.16 c Sol. found (all assignments made)... 178.17 c Sol. found (all assignments made)... 178.17 c Sol. found (all assignments made)... 178.18 c Sol. found (all assignments made)... 178.18 c Sol. found (all assignments made)... 178.19 c Sol. found (all assignments made)... 178.19 c Sol. found (all assignments made)... 178.32 c Sol. found (all assignments made)... 178.32 c Sol. found (all assignments made)... 178.33 c Sol. found (all assignments made)... 178.33 c Sol. found (all assignments made)... 178.33 c Sol. found (all assignments made)... 178.34 c Sol. found (all assignments made)... 178.56 c Sol. found (all assignments made)... 178.56 c Sol. found (all assignments made)... 178.56 c Sol. found (all assignments made)... 178.56 c Sol. found (all assignments made)... 178.57 c Sol. found (all assignments made)... 178.57 c Sol. found (all assignments made)... 178.57 c Sol. found (all assignments made)... 178.58 c Sol. found (all assignments made)... 178.59 c Sol. found (all assignments made)... 178.59 c Sol. found (all assignments made)... 178.63 c Sol. found (all assignments made)... 178.64 c Sol. found (all assignments made)... 178.64 c Sol. found (all assignments made)... 178.64 c Sol. found (all assignments made)... 178.64 c Sol. found (all assignments made)... 178.65 c Sol. found (all assignments made)... 178.65 c Sol. found (all assignments made)... 178.65 c Sol. found (all assignments made)... 178.65 c Sol. found (all assignments made)... 178.66 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.67 c Sol. found (all assignments made)... 178.68 c Sol. found (all assignments made)... 178.68 c Sol. found (all assignments made)... 178.68 c Sol. found (all assignments made)... 178.69 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.70 c Sol. found (all assignments made)... 178.71 c Sol. found (all assignments made)... 178.74 c Sol. found (all assignments made)... 178.75 c Sol. found (all assignments made)... 179.51 c Sol. found (all assignments made)... 179.88 c Sol. found (all assignments made)... 179.88 c Sol. found (all assignments made)... 179.89 c Sol. found (all assignments made)... 179.89 c Sol. found (all assignments made)... 179.91 c Sol. found (all assignments made)... 179.91 c Sol. found (all assignments made)... 179.92 c Sol. found (all assignments made)... 179.92 c Sol. found (all assignments made)... 179.93 c Sol. found (all assignments made)... 179.93 c Sol. found (all assignments made)... 179.94 c Sol. found (all assignments made)... 179.94 c Sol. found (all assignments made)... 179.94 c Sol. found (all assignments made)... 179.95 c Sol. found (all assignments made)... 179.95 c Sol. found (all assignments made)... 179.95 c Sol. found (all assignments made)... 179.96 c Sol. found (all assignments made)... 179.96 c Sol. found (all assignments made)... 179.97 c Sol. found (all assignments made)... 179.97 c Sol. found (all assignments made)... 179.98 c Sol. found (all assignments made)... 179.98 c Sol. found (all assignments made)... 179.99 c Sol. found (all assignments made)... 179.99 c Sol. found (all assignments made)... 180.26 c Restart #26 #Var: 1272 LB: -1272 @ 180.18 183.55 c Restart #27 #Var: 1272 LB: -1272 @ 183.46 187.07 c Restart #28 #Var: 1272 LB: -1272 @ 186.98 190.59 c Restart #29 #Var: 1272 LB: -1272 @ 190.5 194.24 c Restart #30 #Var: 1272 LB: -1272 @ 194.15 197.99 c Restart #31 #Var: 1272 LB: -1272 @ 197.9 201.96 c Restart #32 #Var: 1272 LB: -641 @ 201.87 206.04 c Restart #33 #Var: 1272 LB: -1272 @ 205.95 210.18 c Restart #34 #Var: 1272 LB: -1272 @ 210.09 212.31 c Sol. found (all assignments made)... 212.31 c Sol. found (all assignments made)... 212.32 c Sol. found (all assignments made)... 212.32 c Sol. found (all assignments made)... 212.32 c Sol. found (all assignments made)... 212.38 c Sol. found (all assignments made)... 212.38 c Sol. found (all assignments made)... 212.38 c Sol. found (all assignments made)... 212.38 c Sol. found (all assignments made)... 212.39 c Sol. found (all assignments made)... 212.39 c Sol. found (all assignments made)... 212.39 c Sol. found (all assignments made)... 212.40 c Sol. found (all assignments made)... 212.40 c Sol. found (all assignments made)... 212.41 c Sol. found (all assignments made)... 212.41 c Sol. found (all assignments made)... 212.42 c Sol. found (all assignments made)... 212.42 c Sol. found (all assignments made)... 212.52 c Sol. found (all assignments made)... 212.59 c Sol. found (all assignments made)... 212.60 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.61 c Sol. found (all assignments made)... 212.64 c Sol. found (all assignments made)... 212.72 c Sol. found (all assignments made)... 212.72 c Sol. found (all assignments made)... 212.73 c Sol. found (all assignments made)... 212.73 c Sol. found (all assignments made)... 212.74 c Sol. found (all assignments made)... 212.74 c Sol. found (all assignments made)... 212.74 c Sol. found (all assignments made)... 212.88 c Sol. found (all assignments made)... 212.88 c Sol. found (all assignments made)... 212.89 c Sol. found (all assignments made)... 212.89 c Sol. found (all assignments made)... 212.90 c Sol. found (all assignments made)... 212.90 c Sol. found (all assignments made)... 212.90 c Sol. found (all assignments made)... 212.90 c Sol. found (all assignments made)... 212.90 c Sol. found (all assignments made)... 212.91 c Sol. found (all assignments made)... 212.92 c Sol. found (all assignments made)... 212.92 c Sol. found (all assignments made)... 212.92 c Sol. found (all assignments made)... 212.93 c Sol. found (all assignments made)... 212.93 c Sol. found (all assignments made)... 212.94 c Sol. found (all assignments made)... 212.94 c Sol. found (all assignments made)... 212.94 c Sol. found (all assignments made)... 212.94 c Sol. found (all assignments made)... 212.94 c Sol. found (all assignments made)... 212.95 c Sol. found (all assignments made)... 212.95 c Sol. found (all assignments made)... 212.95 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.97 c Sol. found (all assignments made)... 212.97 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 212.99 c Sol. found (all assignments made)... 212.99 c Sol. found (all assignments made)... 212.99 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.00 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.01 c Sol. found (all assignments made)... 213.05 c Sol. found (all assignments made)... 213.05 c Sol. found (all assignments made)... 213.06 c Sol. found (all assignments made)... 213.06 c Sol. found (all assignments made)... 213.08 c Sol. found (all assignments made)... 213.08 c Sol. found (all assignments made)... 213.12 c Sol. found (all assignments made)... 213.12 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 214.10 c Sol. found (all assignments made)... 214.17 c Sol. found (all assignments made)... 214.46 c Restart #35 #Var: 1272 LB: -1272 @ 214.37 218.81 c Restart #36 #Var: 1272 LB: -1272 @ 218.71 223.18 c Restart #37 #Var: 1272 LB: -1272 @ 223.08 227.71 c Restart #38 #Var: 1272 LB: -1272 @ 227.62 232.38 c Restart #39 #Var: 1272 LB: -1272 @ 232.29 235.47 c Sol. found (all assignments made)... 237.14 c Restart #40 #Var: 1272 LB: -1272 @ 237.04 242.02 c Restart #41 #Var: 1272 LB: -1272 @ 241.91 247.01 c Restart #42 #Var: 1272 LB: -1272 @ 246.91 252.31 c Restart #43 #Var: 1272 LB: -640 @ 252.21 257.62 c Restart #44 #Var: 1272 LB: -1272 @ 257.52 258.40 c Sol. found (all assignments made)... 258.47 c Sol. found (all assignments made)... 258.47 c Sol. found (all assignments made)... 258.48 c Sol. found (all assignments made)... 258.48 c Sol. found (all assignments made)... 258.87 c Sol. found (all assignments made)... 258.87 c Sol. found (all assignments made)... 258.90 c Sol. found (all assignments made)... 258.90 c Sol. found (all assignments made)... 258.91 c Sol. found (all assignments made)... 258.92 c Sol. found (all assignments made)... 258.93 c Sol. found (all assignments made)... 258.94 c Sol. found (all assignments made)... 258.94 c Sol. found (all assignments made)... 258.95 c Sol. found (all assignments made)... 258.97 c Sol. found (all assignments made)... 258.97 c Sol. found (all assignments made)... 258.98 c Sol. found (all assignments made)... 258.99 c Sol. found (all assignments made)... 259.16 c Sol. found (all assignments made)... 259.16 c Sol. found (all assignments made)... 259.17 c Sol. found (all assignments made)... 259.20 c Sol. found (all assignments made)... 259.20 c Sol. found (all assignments made)... 259.21 c Sol. found (all assignments made)... 259.22 c Sol. found (all assignments made)... 259.23 c Sol. found (all assignments made)... 259.24 c Sol. found (all assignments made)... 259.25 c Sol. found (all assignments made)... 259.27 c Sol. found (all assignments made)... 259.28 c Sol. found (all assignments made)... 259.41 c Sol. found (all assignments made)... 259.45 c Sol. found (all assignments made)... 259.48 c Sol. found (all assignments made)... 259.49 c Sol. found (all assignments made)... 259.49 c Sol. found (all assignments made)... 260.52 c Sol. found (all assignments made)... 260.52 c Sol. found (all assignments made)... 260.53 c Sol. found (all assignments made)... 260.53 c Sol. found (all assignments made)... 260.54 c Sol. found (all assignments made)... 260.54 c Sol. found (all assignments made)... 260.54 c Sol. found (all assignments made)... 260.55 c Sol. found (all assignments made)... 260.58 c Sol. found (all assignments made)... 260.89 c Sol. found (all assignments made)... 260.90 c Sol. found (all assignments made)... 260.90 c Sol. found (all assignments made)... 260.91 c Sol. found (all assignments made)... 260.91 c Sol. found (all assignments made)... 261.54 c Sol. found (all assignments made)... 261.56 c Sol. found (all assignments made)... 261.56 c Sol. found (all assignments made)... 261.57 c Sol. found (all assignments made)... 261.57 c Sol. found (all assignments made)... 261.59 c Sol. found (all assignments made)... 261.60 c Sol. found (all assignments made)... 261.64 c Sol. found (all assignments made)... 261.65 c Sol. found (all assignments made)... 261.65 c Sol. found (all assignments made)... 262.93 c Restart #45 #Var: 1272 LB: -1272 @ 262.82 268.28 c Restart #46 #Var: 1272 LB: -1272 @ 268.17 273.80 c Restart #47 #Var: 1272 LB: -1272 @ 273.69 279.38 c Restart #48 #Var: 1272 LB: -1272 @ 279.27 285.09 c Restart #49 #Var: 1272 LB: -1272 @ 284.98 291.09 c Restart #50 #Var: 1272 LB: -643 @ 290.98 297.16 c Restart #51 #Var: 1272 LB: -1272 @ 297.04 303.24 c Restart #52 #Var: 1272 LB: -1272 @ 303.12 309.39 c Restart #53 #Var: 1272 LB: -1272 @ 309.27 315.76 c Restart #54 #Var: 1272 LB: -1272 @ 315.64 322.17 c Restart #55 #Var: 1272 LB: -1272 @ 322.04 328.79 c Restart #56 #Var: 1272 LB: -1272 @ 328.67 335.61 c Restart #57 #Var: 1272 LB: -1272 @ 335.48 336.28 c Sol. found (all assignments made)... 336.29 c Sol. found (all assignments made)... 336.43 c Sol. found (all assignments made)... 336.44 c Sol. found (all assignments made)... 342.26 c Restart #58 #Var: 1272 LB: -1272 @ 342.13 349.05 c Restart #59 #Var: 1272 LB: -1272 @ 348.92 351.09 c Sol. found (all assignments made)... 351.10 c Sol. found (all assignments made)... 351.11 c Sol. found (all assignments made)... 351.11 c Sol. found (all assignments made)... 351.16 c Sol. found (all assignments made)... 351.17 c Sol. found (all assignments made)... 351.41 c Sol. found (all assignments made)... 351.41 c Sol. found (all assignments made)... 351.43 c Sol. found (all assignments made)... 351.43 c Sol. found (all assignments made)... 351.52 c Sol. found (all assignments made)... 351.53 c Sol. found (all assignments made)... 351.59 c Sol. found (all assignments made)... 351.60 c Sol. found (all assignments made)... 351.60 c Sol. found (all assignments made)... 351.81 c Sol. found (all assignments made)... 351.81 c Sol. found (all assignments made)... 351.81 c Sol. found (all assignments made)... 351.82 c Sol. found (all assignments made)... 351.84 c Sol. found (all assignments made)... 351.85 c Sol. found (all assignments made)... 352.23 c Sol. found (all assignments made)... 352.23 c Sol. found (all assignments made)... 352.23 c Sol. found (all assignments made)... 352.24 c Sol. found (all assignments made)... 352.24 c Sol. found (all assignments made)... 352.63 c Sol. found (all assignments made)... 352.64 c Sol. found (all assignments made)... 352.66 c Sol. found (all assignments made)... 352.66 c Sol. found (all assignments made)... 352.72 c Sol. found (all assignments made)... 352.75 c Sol. found (all assignments made)... 352.76 c Sol. found (all assignments made)... 352.76 c Sol. found (all assignments made)... 353.06 c Sol. found (all assignments made)... 353.06 c Sol. found (all assignments made)... 353.07 c Sol. found (all assignments made)... 353.07 c Sol. found (all assignments made)... 353.07 c Sol. found (all assignments made)... 353.08 c Sol. found (all assignments made)... 353.09 c Sol. found (all assignments made)... 353.09 c Sol. found (all assignments made)... 353.10 c Sol. found (all assignments made)... 353.12 c Sol. found (all assignments made)... 353.12 c Sol. found (all assignments made)... 353.12 c Sol. found (all assignments made)... 354.81 c Sol. found (all assignments made)... 354.82 c Sol. found (all assignments made)... 354.83 c Sol. found (all assignments made)... 354.85 c Sol. found (all assignments made)... 354.87 c Sol. found (all assignments made)... 356.15 c Restart #60 #Var: 1272 LB: -1272 @ 356.01 363.23 c Restart #61 #Var: 1272 LB: -1272 @ 363.1 370.36 c Restart #62 #Var: 1272 LB: -1272 @ 370.22 377.88 c Restart #63 #Var: 1272 LB: -1272 @ 377.74 384.10 c Sol. found (all assignments made)... 384.10 o -42 384.10 c NEW SOLUTION FOUND: -42 @ 383.96 384.10 c Sol. found (all assignments made)... 385.71 c Sol. found (all assignments made)... 391.13 c Restart #64 #Var: 1272 LB: -1272 @ 390.98 398.74 c Restart #65 #Var: 1272 LB: -1272 @ 398.6 406.23 c Restart #66 #Var: 1272 LB: -1272 @ 406.08 407.53 c Sol. found (all assignments made)... 414.00 c Restart #67 #Var: 1272 LB: -1272 @ 413.86 421.87 c Restart #68 #Var: 1272 LB: -1272 @ 421.72 429.82 c Restart #69 #Var: 1272 LB: -1272 @ 429.67 437.89 c Restart #70 #Var: 1272 LB: -1272 @ 437.73 446.22 c Restart #71 #Var: 1272 LB: -1272 @ 446.07 454.53 c Restart #72 #Var: 1272 LB: -1272 @ 454.37 459.15 c Sol. found (all assignments made)... 459.16 c Sol. found (all assignments made)... 459.18 c Sol. found (all assignments made)... 459.28 c Sol. found (all assignments made)... 459.32 c Sol. found (all assignments made)... 459.35 c Sol. found (all assignments made)... 459.36 c Sol. found (all assignments made)... 459.64 c Sol. found (all assignments made)... 460.46 c Sol. found (all assignments made)... 462.18 c Sol. found (all assignments made)... 462.20 c Sol. found (all assignments made)... 462.99 c Restart #73 #Var: 1272 LB: -1272 @ 462.82 471.81 c Restart #74 #Var: 1272 LB: -1272 @ 471.64 480.57 c Restart #75 #Var: 1272 LB: -1272 @ 480.4 489.30 c Restart #76 #Var: 1272 LB: -1272 @ 489.13 498.17 c Restart #77 #Var: 1272 LB: -1272 @ 498 498.50 c Sol. found (all assignments made)... 498.50 c Sol. found (all assignments made)... 498.50 c Sol. found (all assignments made)... 498.50 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.51 c Sol. found (all assignments made)... 498.52 c Sol. found (all assignments made)... 498.52 c Sol. found (all assignments made)... 498.52 c Sol. found (all assignments made)... 498.52 c Sol. found (all assignments made)... 498.52 c Sol. found (all assignments made)... 498.53 c Sol. found (all assignments made)... 498.53 c Sol. found (all assignments made)... 498.54 c Sol. found (all assignments made)... 498.55 c Sol. found (all assignments made)... 498.55 c Sol. found (all assignments made)... 498.55 c Sol. found (all assignments made)... 498.56 c Sol. found (all assignments made)... 498.56 c Sol. found (all assignments made)... 498.56 c Sol. found (all assignments made)... 498.56 c Sol. found (all assignments made)... 498.56 c Sol. found (all assignments made)... 498.57 c Sol. found (all assignments made)... 498.57 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.58 c Sol. found (all assignments made)... 498.59 c Sol. found (all assignments made)... 498.59 c Sol. found (all assignments made)... 498.59 c Sol. found (all assignments made)... 498.59 c Sol. found (all assignments made)... 498.59 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.60 c Sol. found (all assignments made)... 498.61 c Sol. found (all assignments made)... 498.61 c Sol. found (all assignments made)... 498.62 c Sol. found (all assignments made)... 498.62 c Sol. found (all assignments made)... 498.62 c Sol. found (all assignments made)... 498.63 c Sol. found (all assignments made)... 498.63 c Sol. found (all assignments made)... 498.63 c Sol. found (all assignments made)... 498.63 c Sol. found (all assignments made)... 498.63 c Sol. found (all assignments made)... 498.64 c Sol. found (all assignments made)... 498.64 c Sol. found (all assignments made)... 498.64 c Sol. found (all assignments made)... 498.64 c Sol. found (all assignments made)... 498.64 c Sol. found (all assignments made)... 498.65 c Sol. found (all assignments made)... 498.65 c Sol. found (all assignments made)... 498.65 c Sol. found (all assignments made)... 498.66 c Sol. found (all assignments made)... 498.66 c Sol. found (all assignments made)... 498.66 c Sol. found (all assignments made)... 498.66 c Sol. found (all assignments made)... 498.67 c Sol. found (all assignments made)... 498.67 c Sol. found (all assignments made)... 498.67 c Sol. found (all assignments made)... 498.67 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.68 c Sol. found (all assignments made)... 498.69 c Sol. found (all assignments made)... 498.69 c Sol. found (all assignments made)... 498.69 c Sol. found (all assignments made)... 498.69 c Sol. found (all assignments made)... 498.69 c Sol. found (all assignments made)... 498.70 c Sol. found (all assignments made)... 498.71 c Sol. found (all assignments made)... 498.71 c Sol. found (all assignments made)... 498.71 c Sol. found (all assignments made)... 498.71 c Sol. found (all assignments made)... 498.72 c Sol. found (all assignments made)... 498.72 c Sol. found (all assignments made)... 498.72 c Sol. found (all assignments made)... 498.74 c Sol. found (all assignments made)... 498.74 c Sol. found (all assignments made)... 498.74 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.75 c Sol. found (all assignments made)... 498.76 c Sol. found (all assignments made)... 498.76 c Sol. found (all assignments made)... 498.76 c Sol. found (all assignments made)... 498.76 c Sol. found (all assignments made)... 498.77 c Sol. found (all assignments made)... 498.77 c Sol. found (all assignments made)... 498.77 c Sol. found (all assignments made)... 498.77 c Sol. found (all assignments made)... 498.77 c Sol. found (all assignments made)... 498.78 c Sol. found (all assignments made)... 498.79 c Sol. found (all assignments made)... 498.79 c Sol. found (all assignments made)... 498.80 c Sol. found (all assignments made)... 498.81 c Sol. found (all assignments made)... 498.81 c Sol. found (all assignments made)... 498.81 c Sol. found (all assignments made)... 498.82 c Sol. found (all assignments made)... 498.82 c Sol. found (all assignments made)... 498.82 c Sol. found (all assignments made)... 498.82 c Sol. found (all assignments made)... 498.82 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.83 c Sol. found (all assignments made)... 498.84 c Sol. found (all assignments made)... 498.85 c Sol. found (all assignments made)... 498.85 c Sol. found (all assignments made)... 498.85 c Sol. found (all assignments made)... 498.85 c Sol. found (all assignments made)... 498.85 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.86 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 498.88 c Sol. found (all assignments made)... 498.88 c Sol. found (all assignments made)... 498.88 c Sol. found (all assignments made)... 498.89 c Sol. found (all assignments made)... 498.89 c Sol. found (all assignments made)... 498.90 c Sol. found (all assignments made)... 498.91 c Sol. found (all assignments made)... 498.91 c Sol. found (all assignments made)... 498.91 c Sol. found (all assignments made)... 498.92 c Sol. found (all assignments made)... 498.92 c Sol. found (all assignments made)... 498.92 c Sol. found (all assignments made)... 498.92 c Sol. found (all assignments made)... 498.92 c Sol. found (all assignments made)... 498.93 c Sol. found (all assignments made)... 498.93 c Sol. found (all assignments made)... 498.93 c Sol. found (all assignments made)... 498.93 c Sol. found (all assignments made)... 498.94 c Sol. found (all assignments made)... 498.94 c Sol. found (all assignments made)... 498.94 c Sol. found (all assignments made)... 498.95 c Sol. found (all assignments made)... 498.95 c Sol. found (all assignments made)... 498.95 c Sol. found (all assignments made)... 498.95 c Sol. found (all assignments made)... 498.95 c Sol. found (all assignments made)... 498.96 c Sol. found (all assignments made)... 498.96 c Sol. found (all assignments made)... 498.96 c Sol. found (all assignments made)... 498.96 c Sol. found (all assignments made)... 498.97 c Sol. found (all assignments made)... 498.98 c Sol. found (all assignments made)... 499.03 c Sol. found (all assignments made)... 499.04 c Sol. found (all assignments made)... 499.04 c Sol. found (all assignments made)... 499.04 c Sol. found (all assignments made)... 499.05 c Sol. found (all assignments made)... 499.05 c Sol. found (all assignments made)... 499.05 c Sol. found (all assignments made)... 499.07 c Sol. found (all assignments made)... 499.07 c Sol. found (all assignments made)... 499.07 c Sol. found (all assignments made)... 499.07 c Sol. found (all assignments made)... 499.09 c Sol. found (all assignments made)... 499.10 c Sol. found (all assignments made)... 499.10 c Sol. found (all assignments made)... 499.11 c Sol. found (all assignments made)... 499.13 c Sol. found (all assignments made)... 499.13 c Sol. found (all assignments made)... 499.13 c Sol. found (all assignments made)... 499.13 c Sol. found (all assignments made)... 499.14 c Sol. found (all assignments made)... 499.14 c Sol. found (all assignments made)... 499.15 c Sol. found (all assignments made)... 499.16 c Sol. found (all assignments made)... 499.16 c Sol. found (all assignments made)... 499.16 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.17 c Sol. found (all assignments made)... 499.18 c Sol. found (all assignments made)... 499.18 c Sol. found (all assignments made)... 499.18 c Sol. found (all assignments made)... 499.18 c Sol. found (all assignments made)... 499.19 c Sol. found (all assignments made)... 499.19 c Sol. found (all assignments made)... 499.19 c Sol. found (all assignments made)... 499.19 c Sol. found (all assignments made)... 499.19 c Sol. found (all assignments made)... 499.22 c Sol. found (all assignments made)... 499.22 c Sol. found (all assignments made)... 499.22 c Sol. found (all assignments made)... 499.22 c Sol. found (all assignments made)... 499.23 c Sol. found (all assignments made)... 499.23 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.24 c Sol. found (all assignments made)... 499.25 c Sol. found (all assignments made)... 499.25 c Sol. found (all assignments made)... 499.25 c Sol. found (all assignments made)... 499.26 c Sol. found (all assignments made)... 499.26 c Sol. found (all assignments made)... 499.26 c Sol. found (all assignments made)... 499.27 c Sol. found (all assignments made)... 499.27 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.28 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.29 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.30 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.31 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.32 c Sol. found (all assignments made)... 499.33 c Sol. found (all assignments made)... 499.33 c Sol. found (all assignments made)... 499.33 c Sol. found (all assignments made)... 499.34 c Sol. found (all assignments made)... 499.34 c Sol. found (all assignments made)... 499.34 c Sol. found (all assignments made)... 499.34 c Sol. found (all assignments made)... 499.34 c Sol. found (all assignments made)... 499.35 c Sol. found (all assignments made)... 499.35 c Sol. found (all assignments made)... 499.35 c Sol. found (all assignments made)... 499.35 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.36 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.37 c Sol. found (all assignments made)... 499.38 c Sol. found (all assignments made)... 499.38 c Sol. found (all assignments made)... 499.38 c Sol. found (all assignments made)... 499.38 c Sol. found (all assignments made)... 499.38 c Sol. found (all assignments made)... 499.39 c Sol. found (all assignments made)... 499.39 c Sol. found (all assignments made)... 499.39 c Sol. found (all assignments made)... 499.39 c Sol. found (all assignments made)... 499.39 c Sol. found (all assignments made)... 499.40 c Sol. found (all assignments made)... 499.41 c Sol. found (all assignments made)... 499.41 c Sol. found (all assignments made)... 499.41 c Sol. found (all assignments made)... 499.41 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 499.43 c Sol. found (all assignments made)... 499.43 c Sol. found (all assignments made)... 499.43 c Sol. found (all assignments made)... 499.43 c Sol. found (all assignments made)... 499.43 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.44 c Sol. found (all assignments made)... 499.47 c Sol. found (all assignments made)... 499.47 c Sol. found (all assignments made)... 499.49 c Sol. found (all assignments made)... 499.50 c Sol. found (all assignments made)... 499.52 c Sol. found (all assignments made)... 499.55 c Sol. found (all assignments made)... 499.57 c Sol. found (all assignments made)... 499.58 c Sol. found (all assignments made)... 499.61 c Sol. found (all assignments made)... 499.62 c Sol. found (all assignments made)... 499.62 c Sol. found (all assignments made)... 499.63 c Sol. found (all assignments made)... 499.64 c Sol. found (all assignments made)... 499.64 c Sol. found (all assignments made)... 499.65 c Sol. found (all assignments made)... 499.65 c Sol. found (all assignments made)... 499.65 c Sol. found (all assignments made)... 499.65 c Sol. found (all assignments made)... 499.73 c Sol. found (all assignments made)... 499.86 c Sol. found (all assignments made)... 499.88 c Sol. found (all assignments made)... 499.88 c Sol. found (all assignments made)... 499.90 c Sol. found (all assignments made)... 499.90 c Sol. found (all assignments made)... 499.91 c Sol. found (all assignments made)... 499.91 c Sol. found (all assignments made)... 499.94 c Sol. found (all assignments made)... 499.94 c Sol. found (all assignments made)... 500.01 c Sol. found (all assignments made)... 500.01 c Sol. found (all assignments made)... 500.03 c Sol. found (all assignments made)... 500.04 c Sol. found (all assignments made)... 500.05 c Sol. found (all assignments made)... 500.06 c Sol. found (all assignments made)... 500.07 c Sol. found (all assignments made)... 501.08 c Sol. found (all assignments made)... 501.10 c Sol. found (all assignments made)... 501.12 c Sol. found (all assignments made)... 501.13 c Sol. found (all assignments made)... 501.15 c Sol. found (all assignments made)... 501.21 c Sol. found (all assignments made)... 501.22 c Sol. found (all assignments made)... 501.28 c Sol. found (all assignments made)... 501.39 c Sol. found (all assignments made)... 501.39 c Sol. found (all assignments made)... 501.40 c Sol. found (all assignments made)... 501.42 c Sol. found (all assignments made)... 501.42 c Sol. found (all assignments made)... 501.43 c Sol. found (all assignments made)... 501.43 c Sol. found (all assignments made)... 501.45 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.46 c Sol. found (all assignments made)... 501.46 c Sol. found (all assignments made)... 501.47 c Sol. found (all assignments made)... 501.47 c Sol. found (all assignments made)... 501.47 c Sol. found (all assignments made)... 501.47 c Sol. found (all assignments made)... 501.49 c Sol. found (all assignments made)... 501.49 c Sol. found (all assignments made)... 503.16 c Sol. found (all assignments made)... 503.16 c Sol. found (all assignments made)... 503.16 c Sol. found (all assignments made)... 503.18 c Sol. found (all assignments made)... 503.18 c Sol. found (all assignments made)... 503.19 c Sol. found (all assignments made)... 503.19 c Sol. found (all assignments made)... 503.19 c Sol. found (all assignments made)... 503.19 c Sol. found (all assignments made)... 503.20 c Sol. found (all assignments made)... 503.20 c Sol. found (all assignments made)... 503.20 c Sol. found (all assignments made)... 503.20 c Sol. found (all assignments made)... 503.20 c Sol. found (all assignments made)... 503.21 c Sol. found (all assignments made)... 503.21 c Sol. found (all assignments made)... 503.22 c Sol. found (all assignments made)... 503.22 c Sol. found (all assignments made)... 503.22 c Sol. found (all assignments made)... 503.23 c Sol. found (all assignments made)... 503.23 c Sol. found (all assignments made)... 503.23 c Sol. found (all assignments made)... 503.23 c Sol. found (all assignments made)... 503.24 c Sol. found (all assignments made)... 503.24 c Sol. found (all assignments made)... 503.24 c Sol. found (all assignments made)... 503.24 c Sol. found (all assignments made)... 503.24 c Sol. found (all assignments made)... 503.25 c Sol. found (all assignments made)... 503.25 c Sol. found (all assignments made)... 503.26 c Sol. found (all assignments made)... 503.27 c Sol. found (all assignments made)... 503.27 c Sol. found (all assignments made)... 503.27 c Sol. found (all assignments made)... 503.30 c Sol. found (all assignments made)... 503.30 c Sol. found (all assignments made)... 503.30 c Sol. found (all assignments made)... 503.30 c Sol. found (all assignments made)... 503.31 c Sol. found (all assignments made)... 503.31 c Sol. found (all assignments made)... 503.33 c Sol. found (all assignments made)... 503.33 c Sol. found (all assignments made)... 503.39 c Sol. found (all assignments made)... 503.40 c Sol. found (all assignments made)... 503.40 c Sol. found (all assignments made)... 503.40 c Sol. found (all assignments made)... 503.41 c Sol. found (all assignments made)... 503.41 c Sol. found (all assignments made)... 503.41 c Sol. found (all assignments made)... 503.43 c Sol. found (all assignments made)... 503.44 c Sol. found (all assignments made)... 503.45 c Sol. found (all assignments made)... 503.45 c Sol. found (all assignments made)... 503.46 c Sol. found (all assignments made)... 503.46 c Sol. found (all assignments made)... 503.46 c Sol. found (all assignments made)... 503.47 c Sol. found (all assignments made)... 503.47 c Sol. found (all assignments made)... 503.48 c Sol. found (all assignments made)... 503.48 c Sol. found (all assignments made)... 503.49 c Sol. found (all assignments made)... 503.49 c Sol. found (all assignments made)... 503.50 c Sol. found (all assignments made)... 503.50 c Sol. found (all assignments made)... 503.51 c Sol. found (all assignments made)... 503.52 c Sol. found (all assignments made)... 503.53 c Sol. found (all assignments made)... 503.53 c Sol. found (all assignments made)... 503.54 c Sol. found (all assignments made)... 503.54 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.55 c Sol. found (all assignments made)... 503.56 c Sol. found (all assignments made)... 503.56 c Sol. found (all assignments made)... 503.56 c Sol. found (all assignments made)... 503.56 c Sol. found (all assignments made)... 503.57 c Sol. found (all assignments made)... 503.57 c Sol. found (all assignments made)... 503.58 c Sol. found (all assignments made)... 503.58 c Sol. found (all assignments made)... 503.59 c Sol. found (all assignments made)... 503.59 c Sol. found (all assignments made)... 503.59 c Sol. found (all assignments made)... 503.60 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.61 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.63 c Sol. found (all assignments made)... 503.63 c Sol. found (all assignments made)... 503.63 c Sol. found (all assignments made)... 503.64 c Sol. found (all assignments made)... 503.64 c Sol. found (all assignments made)... 503.65 c Sol. found (all assignments made)... 503.65 c Sol. found (all assignments made)... 503.65 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.67 c Sol. found (all assignments made)... 503.67 c Sol. found (all assignments made)... 503.67 c Sol. found (all assignments made)... 503.68 c Sol. found (all assignments made)... 503.68 c Sol. found (all assignments made)... 503.72 c Sol. found (all assignments made)... 503.73 c Sol. found (all assignments made)... 503.75 c Sol. found (all assignments made)... 503.75 c Sol. found (all assignments made)... 503.76 c Sol. found (all assignments made)... 503.83 c Sol. found (all assignments made)... 503.83 c Sol. found (all assignments made)... 503.83 c Sol. found (all assignments made)... 503.83 c Sol. found (all assignments made)... 503.83 c Sol. found (all assignments made)... 503.84 c Sol. found (all assignments made)... 503.84 c Sol. found (all assignments made)... 503.84 c Sol. found (all assignments made)... 503.85 c Sol. found (all assignments made)... 503.85 c Sol. found (all assignments made)... 503.85 c Sol. found (all assignments made)... 503.85 c Sol. found (all assignments made)... 503.86 c Sol. found (all assignments made)... 503.87 c Sol. found (all assignments made)... 503.87 c Sol. found (all assignments made)... 503.87 c Sol. found (all assignments made)... 503.88 c Sol. found (all assignments made)... 503.88 c Sol. found (all assignments made)... 503.88 c Sol. found (all assignments made)... 503.89 c Sol. found (all assignments made)... 503.89 c Sol. found (all assignments made)... 503.89 c Sol. found (all assignments made)... 503.89 c Sol. found (all assignments made)... 503.90 c Sol. found (all assignments made)... 503.90 c Sol. found (all assignments made)... 503.90 c Sol. found (all assignments made)... 503.90 c Sol. found (all assignments made)... 503.91 c Sol. found (all assignments made)... 503.91 c Sol. found (all assignments made)... 503.92 c Sol. found (all assignments made)... 503.92 c Sol. found (all assignments made)... 503.92 c Sol. found (all assignments made)... 503.92 c Sol. found (all assignments made)... 503.93 c Sol. found (all assignments made)... 503.93 c Sol. found (all assignments made)... 503.93 c Sol. found (all assignments made)... 503.94 c Sol. found (all assignments made)... 503.94 c Sol. found (all assignments made)... 503.95 c Sol. found (all assignments made)... 503.95 c Sol. found (all assignments made)... 503.95 c Sol. found (all assignments made)... 503.95 c Sol. found (all assignments made)... 503.98 c Sol. found (all assignments made)... 503.98 c Sol. found (all assignments made)... 503.99 c Sol. found (all assignments made)... 504.00 c Sol. found (all assignments made)... 504.00 c Sol. found (all assignments made)... 504.07 c Sol. found (all assignments made)... 504.07 c Sol. found (all assignments made)... 504.09 c Sol. found (all assignments made)... 504.16 c Sol. found (all assignments made)... 504.16 c Sol. found (all assignments made)... 504.18 c Sol. found (all assignments made)... 504.19 c Sol. found (all assignments made)... 504.19 c Sol. found (all assignments made)... 504.19 c Sol. found (all assignments made)... 504.20 c Sol. found (all assignments made)... 504.20 c Sol. found (all assignments made)... 504.20 c Sol. found (all assignments made)... 504.21 c Sol. found (all assignments made)... 504.21 c Sol. found (all assignments made)... 504.22 c Sol. found (all assignments made)... 504.22 c Sol. found (all assignments made)... 504.22 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.24 c Sol. found (all assignments made)... 504.24 c Sol. found (all assignments made)... 504.24 c Sol. found (all assignments made)... 504.25 c Sol. found (all assignments made)... 504.25 c Sol. found (all assignments made)... 504.25 c Sol. found (all assignments made)... 504.25 c Sol. found (all assignments made)... 504.25 c Sol. found (all assignments made)... 504.26 c Sol. found (all assignments made)... 504.26 c Sol. found (all assignments made)... 504.26 c Sol. found (all assignments made)... 504.27 c Sol. found (all assignments made)... 504.27 c Sol. found (all assignments made)... 504.28 c Sol. found (all assignments made)... 504.28 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.29 c Sol. found (all assignments made)... 504.30 c Sol. found (all assignments made)... 504.30 c Sol. found (all assignments made)... 504.30 c Sol. found (all assignments made)... 504.30 c Sol. found (all assignments made)... 504.30 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.31 c Sol. found (all assignments made)... 504.32 c Sol. found (all assignments made)... 504.32 c Sol. found (all assignments made)... 504.32 c Sol. found (all assignments made)... 504.32 c Sol. found (all assignments made)... 504.33 c Sol. found (all assignments made)... 504.33 c Sol. found (all assignments made)... 504.33 c Sol. found (all assignments made)... 504.34 c Sol. found (all assignments made)... 504.34 c Sol. found (all assignments made)... 504.35 c Sol. found (all assignments made)... 504.35 c Sol. found (all assignments made)... 504.35 c Sol. found (all assignments made)... 504.36 c Sol. found (all assignments made)... 504.36 c Sol. found (all assignments made)... 504.36 c Sol. found (all assignments made)... 504.37 c Sol. found (all assignments made)... 504.37 c Sol. found (all assignments made)... 504.38 c Sol. found (all assignments made)... 504.38 c Sol. found (all assignments made)... 504.38 c Sol. found (all assignments made)... 504.38 c Sol. found (all assignments made)... 504.38 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.39 c Sol. found (all assignments made)... 504.40 c Sol. found (all assignments made)... 504.40 c Sol. found (all assignments made)... 504.40 c Sol. found (all assignments made)... 504.40 c Sol. found (all assignments made)... 504.40 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.41 c Sol. found (all assignments made)... 504.42 c Sol. found (all assignments made)... 504.42 c Sol. found (all assignments made)... 504.42 c Sol. found (all assignments made)... 504.42 c Sol. found (all assignments made)... 504.42 c Sol. found (all assignments made)... 504.43 c Sol. found (all assignments made)... 504.43 c Sol. found (all assignments made)... 504.43 c Sol. found (all assignments made)... 504.43 c Sol. found (all assignments made)... 504.43 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.46 c Sol. found (all assignments made)... 504.46 c Sol. found (all assignments made)... 504.46 c Sol. found (all assignments made)... 504.46 c Sol. found (all assignments made)... 504.46 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.48 c Sol. found (all assignments made)... 504.48 c Sol. found (all assignments made)... 504.48 c Sol. found (all assignments made)... 504.48 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.49 c Sol. found (all assignments made)... 504.50 c Sol. found (all assignments made)... 504.50 c Sol. found (all assignments made)... 504.50 c Sol. found (all assignments made)... 504.50 c Sol. found (all assignments made)... 504.50 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.51 c Sol. found (all assignments made)... 504.52 c Sol. found (all assignments made)... 504.52 c Sol. found (all assignments made)... 504.52 c Sol. found (all assignments made)... 504.52 c Sol. found (all assignments made)... 504.52 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.53 c Sol. found (all assignments made)... 504.54 c Sol. found (all assignments made)... 504.54 c Sol. found (all assignments made)... 504.54 c Sol. found (all assignments made)... 504.55 c Sol. found (all assignments made)... 504.55 c Sol. found (all assignments made)... 504.55 c Sol. found (all assignments made)... 504.55 c Sol. found (all assignments made)... 504.55 c Sol. found (all assignments made)... 504.56 c Sol. found (all assignments made)... 504.56 c Sol. found (all assignments made)... 504.56 c Sol. found (all assignments made)... 504.56 c Sol. found (all assignments made)... 504.56 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.57 c Sol. found (all assignments made)... 504.58 c Sol. found (all assignments made)... 504.58 c Sol. found (all assignments made)... 504.58 c Sol. found (all assignments made)... 504.58 c Sol. found (all assignments made)... 504.58 c Sol. found (all assignments made)... 504.59 c Sol. found (all assignments made)... 504.59 c Sol. found (all assignments made)... 504.61 c Sol. found (all assignments made)... 504.66 c Sol. found (all assignments made)... 504.66 c Sol. found (all assignments made)... 504.66 c Sol. found (all assignments made)... 504.67 c Sol. found (all assignments made)... 504.67 c Sol. found (all assignments made)... 504.67 c Sol. found (all assignments made)... 504.68 c Sol. found (all assignments made)... 504.69 c Sol. found (all assignments made)... 504.69 c Sol. found (all assignments made)... 504.70 c Sol. found (all assignments made)... 504.70 c Sol. found (all assignments made)... 504.70 c Sol. found (all assignments made)... 504.70 c Sol. found (all assignments made)... 504.71 c Sol. found (all assignments made)... 504.71 c Sol. found (all assignments made)... 504.72 c Sol. found (all assignments made)... 504.72 c Sol. found (all assignments made)... 504.73 c Sol. found (all assignments made)... 504.74 c Sol. found (all assignments made)... 504.75 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.76 c Sol. found (all assignments made)... 504.77 c Sol. found (all assignments made)... 504.77 c Sol. found (all assignments made)... 504.77 c Sol. found (all assignments made)... 504.77 c Sol. found (all assignments made)... 504.78 c Sol. found (all assignments made)... 504.78 c Sol. found (all assignments made)... 504.78 c Sol. found (all assignments made)... 504.78 c Sol. found (all assignments made)... 504.78 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.79 c Sol. found (all assignments made)... 504.80 c Sol. found (all assignments made)... 504.80 c Sol. found (all assignments made)... 504.80 c Sol. found (all assignments made)... 504.80 c Sol. found (all assignments made)... 504.81 c Sol. found (all assignments made)... 504.81 c Sol. found (all assignments made)... 504.81 c Sol. found (all assignments made)... 504.82 c Sol. found (all assignments made)... 504.82 c Sol. found (all assignments made)... 504.82 c Sol. found (all assignments made)... 504.83 c Sol. found (all assignments made)... 504.83 c Sol. found (all assignments made)... 504.83 c Sol. found (all assignments made)... 504.84 c Sol. found (all assignments made)... 504.84 c Sol. found (all assignments made)... 504.84 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 504.86 c Sol. found (all assignments made)... 504.87 c Sol. found (all assignments made)... 504.87 c Sol. found (all assignments made)... 504.87 c Sol. found (all assignments made)... 504.88 c Sol. found (all assignments made)... 504.88 c Sol. found (all assignments made)... 504.88 c Sol. found (all assignments made)... 504.88 c Sol. found (all assignments made)... 504.88 c Sol. found (all assignments made)... 504.89 c Sol. found (all assignments made)... 504.89 c Sol. found (all assignments made)... 504.90 c Sol. found (all assignments made)... 504.90 c Sol. found (all assignments made)... 504.90 c Sol. found (all assignments made)... 504.91 c Sol. found (all assignments made)... 504.91 c Sol. found (all assignments made)... 504.91 c Sol. found (all assignments made)... 504.91 c Sol. found (all assignments made)... 504.91 c Sol. found (all assignments made)... 504.92 c Sol. found (all assignments made)... 504.92 c Sol. found (all assignments made)... 504.92 c Sol. found (all assignments made)... 504.92 c Sol. found (all assignments made)... 504.92 c Sol. found (all assignments made)... 504.93 c Sol. found (all assignments made)... 504.93 c Sol. found (all assignments made)... 504.93 c Sol. found (all assignments made)... 504.93 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.94 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.95 c Sol. found (all assignments made)... 504.96 c Sol. found (all assignments made)... 504.96 c Sol. found (all assignments made)... 504.97 c Sol. found (all assignments made)... 504.97 c Sol. found (all assignments made)... 504.97 c Sol. found (all assignments made)... 504.97 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.99 c Sol. found (all assignments made)... 504.99 c Sol. found (all assignments made)... 505.00 c Sol. found (all assignments made)... 505.00 c Sol. found (all assignments made)... 505.01 c Sol. found (all assignments made)... 505.01 c Sol. found (all assignments made)... 505.01 c Sol. found (all assignments made)... 505.01 c Sol. found (all assignments made)... 505.02 c Sol. found (all assignments made)... 505.02 c Sol. found (all assignments made)... 505.02 c Sol. found (all assignments made)... 505.02 c Sol. found (all assignments made)... 505.03 c Sol. found (all assignments made)... 505.03 c Sol. found (all assignments made)... 505.03 c Sol. found (all assignments made)... 505.03 c Sol. found (all assignments made)... 505.04 c Sol. found (all assignments made)... 505.05 c Sol. found (all assignments made)... 505.05 c Sol. found (all assignments made)... 505.06 c Sol. found (all assignments made)... 505.06 c Sol. found (all assignments made)... 505.06 c Sol. found (all assignments made)... 505.06 c Sol. found (all assignments made)... 505.07 c Sol. found (all assignments made)... 505.07 c Sol. found (all assignments made)... 505.08 c Sol. found (all assignments made)... 505.08 c Sol. found (all assignments made)... 505.08 c Sol. found (all assignments made)... 505.08 c Sol. found (all assignments made)... 505.09 c Sol. found (all assignments made)... 505.09 c Sol. found (all assignments made)... 505.09 c Sol. found (all assignments made)... 505.10 c Sol. found (all assignments made)... 505.10 c Sol. found (all assignments made)... 505.11 c Sol. found (all assignments made)... 505.11 c Sol. found (all assignments made)... 505.12 c Sol. found (all assignments made)... 505.14 c Sol. found (all assignments made)... 505.16 c Sol. found (all assignments made)... 505.16 c Sol. found (all assignments made)... 505.16 c Sol. found (all assignments made)... 505.16 c Sol. found (all assignments made)... 505.17 c Sol. found (all assignments made)... 505.17 c Sol. found (all assignments made)... 505.17 c Sol. found (all assignments made)... 505.18 c Sol. found (all assignments made)... 505.18 c Sol. found (all assignments made)... 505.18 c Sol. found (all assignments made)... 505.19 c Sol. found (all assignments made)... 505.19 c Sol. found (all assignments made)... 505.19 c Sol. found (all assignments made)... 505.20 c Sol. found (all assignments made)... 505.20 c Sol. found (all assignments made)... 505.20 c Sol. found (all assignments made)... 505.21 c Sol. found (all assignments made)... 505.22 c Sol. found (all assignments made)... 505.22 c Sol. found (all assignments made)... 505.22 c Sol. found (all assignments made)... 505.22 c Sol. found (all assignments made)... 505.23 c Sol. found (all assignments made)... 505.23 c Sol. found (all assignments made)... 505.23 c Sol. found (all assignments made)... 505.23 c Sol. found (all assignments made)... 505.23 c Sol. found (all assignments made)... 505.24 c Sol. found (all assignments made)... 505.24 c Sol. found (all assignments made)... 505.25 c Sol. found (all assignments made)... 505.25 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.27 c Sol. found (all assignments made)... 505.28 c Sol. found (all assignments made)... 505.29 c Sol. found (all assignments made)... 505.29 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 505.32 c Sol. found (all assignments made)... 505.33 c Sol. found (all assignments made)... 505.33 c Sol. found (all assignments made)... 505.33 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.34 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.35 c Sol. found (all assignments made)... 505.36 c Sol. found (all assignments made)... 505.36 c Sol. found (all assignments made)... 505.36 c Sol. found (all assignments made)... 505.37 c Sol. found (all assignments made)... 505.37 c Sol. found (all assignments made)... 505.38 c Sol. found (all assignments made)... 505.38 c Sol. found (all assignments made)... 505.38 c Sol. found (all assignments made)... 505.38 c Sol. found (all assignments made)... 505.39 c Sol. found (all assignments made)... 505.39 c Sol. found (all assignments made)... 505.39 c Sol. found (all assignments made)... 505.39 c Sol. found (all assignments made)... 505.40 c Sol. found (all assignments made)... 505.40 c Sol. found (all assignments made)... 505.40 c Sol. found (all assignments made)... 505.42 c Sol. found (all assignments made)... 505.43 c Sol. found (all assignments made)... 505.44 c Sol. found (all assignments made)... 505.44 c Sol. found (all assignments made)... 505.45 c Sol. found (all assignments made)... 505.45 c Sol. found (all assignments made)... 505.45 c Sol. found (all assignments made)... 505.45 c Sol. found (all assignments made)... 505.46 c Sol. found (all assignments made)... 505.46 c Sol. found (all assignments made)... 505.46 c Sol. found (all assignments made)... 505.47 c Sol. found (all assignments made)... 505.47 c Sol. found (all assignments made)... 505.47 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.49 c Sol. found (all assignments made)... 505.49 c Sol. found (all assignments made)... 505.49 c Sol. found (all assignments made)... 505.49 c Sol. found (all assignments made)... 505.50 c Sol. found (all assignments made)... 505.50 c Sol. found (all assignments made)... 505.50 c Sol. found (all assignments made)... 505.51 c Sol. found (all assignments made)... 505.60 c Sol. found (all assignments made)... 505.65 c Sol. found (all assignments made)... 505.67 c Sol. found (all assignments made)... 505.68 c Sol. found (all assignments made)... 505.68 c Sol. found (all assignments made)... 505.69 c Sol. found (all assignments made)... 505.70 c Sol. found (all assignments made)... 505.74 c Sol. found (all assignments made)... 505.74 c Sol. found (all assignments made)... 505.76 c Sol. found (all assignments made)... 505.78 c Sol. found (all assignments made)... 506.68 c Sol. found (all assignments made)... 506.88 c Sol. found (all assignments made)... 506.88 c Sol. found (all assignments made)... 506.89 c Sol. found (all assignments made)... 506.89 c Sol. found (all assignments made)... 506.90 c Sol. found (all assignments made)... 506.91 c Sol. found (all assignments made)... 506.93 c Sol. found (all assignments made)... 506.98 c Sol. found (all assignments made)... 506.98 c Sol. found (all assignments made)... 506.98 c Sol. found (all assignments made)... 507.00 c Sol. found (all assignments made)... 507.00 c Sol. found (all assignments made)... 507.00 c Sol. found (all assignments made)... 507.00 c Sol. found (all assignments made)... 507.10 c Sol. found (all assignments made)... 507.10 c Sol. found (all assignments made)... 507.10 c Sol. found (all assignments made)... 507.11 c Sol. found (all assignments made)... 507.12 c Sol. found (all assignments made)... 507.12 c Sol. found (all assignments made)... 507.19 c Sol. found (all assignments made)... 507.19 c Sol. found (all assignments made)... 507.20 c Sol. found (all assignments made)... 507.20 c Sol. found (all assignments made)... 507.21 c Sol. found (all assignments made)... 507.21 c Sol. found (all assignments made)... 507.27 c Sol. found (all assignments made)... 507.27 c Sol. found (all assignments made)... 507.27 c Sol. found (all assignments made)... 507.29 c Sol. found (all assignments made)... 507.30 c Sol. found (all assignments made)... 507.30 c Sol. found (all assignments made)... 507.32 c Sol. found (all assignments made)... 507.33 c Sol. found (all assignments made)... 507.33 c Sol. found (all assignments made)... 507.39 c Sol. found (all assignments made)... 507.39 c Sol. found (all assignments made)... 507.40 c Sol. found (all assignments made)... 507.40 c Sol. found (all assignments made)... 507.40 c Sol. found (all assignments made)... 507.41 c Sol. found (all assignments made)... 507.41 c Sol. found (all assignments made)... 507.41 c Sol. found (all assignments made)... 507.41 c Sol. found (all assignments made)... 507.45 c Sol. found (all assignments made)... 507.45 c Sol. found (all assignments made)... 507.45 c Sol. found (all assignments made)... 507.54 c Restart #78 #Var: 1272 LB: -1272 @ 507.36 517.10 c Restart #79 #Var: 1272 LB: -1272 @ 516.92 526.29 c Restart #80 #Var: 1272 LB: -1272 @ 526.1 535.60 c Restart #81 #Var: 1272 LB: -1272 @ 535.41 545.01 c Restart #82 #Var: 1272 LB: -1272 @ 544.83 554.83 c Restart #83 #Var: 1272 LB: -1272 @ 554.64 564.65 c Restart #84 #Var: 1272 LB: -1272 @ 564.46 574.47 c Restart #85 #Var: 1272 LB: -1272 @ 574.27 584.38 c Restart #86 #Var: 1272 LB: -1272 @ 584.18 594.77 c Restart #87 #Var: 1272 LB: -1272 @ 594.57 604.77 c Restart #88 #Var: 1272 LB: -1272 @ 604.56 615.05 c Restart #89 #Var: 1272 LB: -1272 @ 614.84 625.42 c Restart #90 #Var: 1272 LB: -1272 @ 625.21 636.08 c Restart #91 #Var: 1272 LB: -1272 @ 635.87 639.17 c Sol. found (all assignments made)... 646.41 c Restart #92 #Var: 1272 LB: -1272 @ 646.2 657.48 c Restart #93 #Var: 1272 LB: -1272 @ 657.27 668.07 c Restart #94 #Var: 1272 LB: -1272 @ 667.85 679.13 c Restart #95 #Var: 1272 LB: -1272 @ 678.91 690.26 c Restart #96 #Var: 1272 LB: -1272 @ 690.04 696.74 c Sol. found (all assignments made)... 701.53 c Restart #97 #Var: 1272 LB: -1272 @ 701.3 712.64 c Restart #98 #Var: 1272 LB: -1272 @ 712.41 723.85 c Restart #99 #Var: 1272 LB: -1272 @ 723.62 735.40 c Restart #100 #Var: 1272 LB: -1272 @ 735.16 746.95 c Restart #101 #Var: 1272 LB: -1272 @ 746.7 747.43 c Sol. found (all assignments made)... 747.43 c Sol. found (all assignments made)... 747.43 c Sol. found (all assignments made)... 747.43 c Sol. found (all assignments made)... 747.47 c Sol. found (all assignments made)... 747.47 c Sol. found (all assignments made)... 747.47 c Sol. found (all assignments made)... 747.47 c Sol. found (all assignments made)... 747.48 c Sol. found (all assignments made)... 747.58 c Sol. found (all assignments made)... 747.59 c Sol. found (all assignments made)... 747.59 c Sol. found (all assignments made)... 747.59 c Sol. found (all assignments made)... 747.59 c Sol. found (all assignments made)... 747.60 c Sol. found (all assignments made)... 747.60 c Sol. found (all assignments made)... 747.60 c Sol. found (all assignments made)... 747.79 c Sol. found (all assignments made)... 747.80 c Sol. found (all assignments made)... 747.80 c Sol. found (all assignments made)... 747.82 c Sol. found (all assignments made)... 747.85 c Sol. found (all assignments made)... 747.86 c Sol. found (all assignments made)... 747.93 c Sol. found (all assignments made)... 747.94 c Sol. found (all assignments made)... 747.95 c Sol. found (all assignments made)... 747.97 c Sol. found (all assignments made)... 747.97 c Sol. found (all assignments made)... 748.00 c Sol. found (all assignments made)... 748.18 c Sol. found (all assignments made)... 748.21 c Sol. found (all assignments made)... 748.33 c Sol. found (all assignments made)... 748.34 c Sol. found (all assignments made)... 748.34 c Sol. found (all assignments made)... 748.36 c Sol. found (all assignments made)... 748.37 c Sol. found (all assignments made)... 748.43 c Sol. found (all assignments made)... 748.43 c Sol. found (all assignments made)... 748.44 c Sol. found (all assignments made)... 748.45 c Sol. found (all assignments made)... 748.49 c Sol. found (all assignments made)... 748.49 c Sol. found (all assignments made)... 748.50 c Sol. found (all assignments made)... 748.50 c Sol. found (all assignments made)... 748.68 c Sol. found (all assignments made)... 748.69 c Sol. found (all assignments made)... 748.69 c Sol. found (all assignments made)... 748.69 c Sol. found (all assignments made)... 748.72 c Sol. found (all assignments made)... 748.72 c Sol. found (all assignments made)... 748.73 c Sol. found (all assignments made)... 748.73 c Sol. found (all assignments made)... 750.43 c Sol. found (all assignments made)... 750.43 c Sol. found (all assignments made)... 750.45 c Sol. found (all assignments made)... 750.45 c Sol. found (all assignments made)... 753.59 c Sol. found (all assignments made)... 753.59 c Sol. found (all assignments made)... 753.60 c Sol. found (all assignments made)... 753.60 c Sol. found (all assignments made)... 753.62 c Sol. found (all assignments made)... 754.05 c Sol. found (all assignments made)... 754.09 c Sol. found (all assignments made)... 754.10 c Sol. found (all assignments made)... 754.39 c Sol. found (all assignments made)... 754.39 c Sol. found (all assignments made)... 754.39 c Sol. found (all assignments made)... 754.39 c Sol. found (all assignments made)... 754.44 c Sol. found (all assignments made)... 754.44 c Sol. found (all assignments made)... 754.50 c Sol. found (all assignments made)... 754.51 c Sol. found (all assignments made)... 754.56 c Sol. found (all assignments made)... 754.57 c Sol. found (all assignments made)... 754.57 c Sol. found (all assignments made)... 754.58 c Sol. found (all assignments made)... 754.63 c Sol. found (all assignments made)... 754.64 c Sol. found (all assignments made)... 754.65 c Sol. found (all assignments made)... 754.66 c Sol. found (all assignments made)... 754.70 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 755.13 c Sol. found (all assignments made)... 755.14 c Sol. found (all assignments made)... 755.14 c Sol. found (all assignments made)... 755.25 c Sol. found (all assignments made)... 755.25 c Sol. found (all assignments made)... 756.01 c Sol. found (all assignments made)... 756.01 c Sol. found (all assignments made)... 756.03 c Sol. found (all assignments made)... 756.04 c Sol. found (all assignments made)... 756.07 c Sol. found (all assignments made)... 756.08 c Sol. found (all assignments made)... 756.08 c Sol. found (all assignments made)... 756.08 c Sol. found (all assignments made)... 756.09 c Sol. found (all assignments made)... 756.11 c Sol. found (all assignments made)... 756.11 c Sol. found (all assignments made)... 756.13 c Sol. found (all assignments made)... 756.13 c Sol. found (all assignments made)... 756.14 c Sol. found (all assignments made)... 756.14 c Sol. found (all assignments made)... 756.15 c Sol. found (all assignments made)... 756.15 c Sol. found (all assignments made)... 756.16 c Sol. found (all assignments made)... 756.17 c Sol. found (all assignments made)... 756.17 c Sol. found (all assignments made)... 756.22 c Sol. found (all assignments made)... 756.23 c Sol. found (all assignments made)... 756.24 c Sol. found (all assignments made)... 756.24 c Sol. found (all assignments made)... 756.24 c Sol. found (all assignments made)... 756.25 c Sol. found (all assignments made)... 756.25 c Sol. found (all assignments made)... 756.26 c Sol. found (all assignments made)... 756.27 c Sol. found (all assignments made)... 756.28 c Sol. found (all assignments made)... 756.28 c Sol. found (all assignments made)... 756.28 c Sol. found (all assignments made)... 756.28 c Sol. found (all assignments made)... 756.29 c Sol. found (all assignments made)... 756.30 c Sol. found (all assignments made)... 756.30 c Sol. found (all assignments made)... 756.78 c Sol. found (all assignments made)... 757.44 c Sol. found (all assignments made)... 757.49 c Sol. found (all assignments made)... 758.45 c Restart #102 #Var: 1272 LB: -1272 @ 758.2 770.38 c Restart #103 #Var: 1272 LB: -1272 @ 770.13 782.33 c Restart #104 #Var: 1272 LB: -1272 @ 782.08 794.37 c Restart #105 #Var: 1272 LB: -1272 @ 794.11 806.55 c Restart #106 #Var: 1272 LB: -1272 @ 806.29 818.76 c Restart #107 #Var: 1272 LB: -1272 @ 818.5 831.14 c Restart #108 #Var: 1272 LB: -1272 @ 830.88 833.57 c Sol. found (all assignments made)... 833.61 c Sol. found (all assignments made)... 835.23 c Sol. found (all assignments made)... 835.46 c Sol. found (all assignments made)... 835.49 c Sol. found (all assignments made)... 835.49 c Sol. found (all assignments made)... 835.50 c Sol. found (all assignments made)... 835.52 c Sol. found (all assignments made)... 835.54 c Sol. found (all assignments made)... 835.60 c Sol. found (all assignments made)... 835.60 c Sol. found (all assignments made)... 835.61 c Sol. found (all assignments made)... 835.61 c Sol. found (all assignments made)... 835.61 c Sol. found (all assignments made)... 835.62 c Sol. found (all assignments made)... 835.63 c Sol. found (all assignments made)... 835.63 c Sol. found (all assignments made)... 835.63 c Sol. found (all assignments made)... 835.64 c Sol. found (all assignments made)... 835.65 c Sol. found (all assignments made)... 835.65 c Sol. found (all assignments made)... 835.70 c Sol. found (all assignments made)... 835.71 c Sol. found (all assignments made)... 835.76 c Sol. found (all assignments made)... 835.76 c Sol. found (all assignments made)... 835.81 c Sol. found (all assignments made)... 835.85 c Sol. found (all assignments made)... 835.86 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.55 c Sol. found (all assignments made)... 843.53 c Restart #109 #Var: 1272 LB: -1272 @ 843.26 856.10 c Restart #110 #Var: 1272 LB: -1272 @ 855.83 868.80 c Restart #111 #Var: 1272 LB: -1272 @ 868.52 881.65 c Restart #112 #Var: 1272 LB: -1272 @ 881.37 894.65 c Restart #113 #Var: 1272 LB: -1272 @ 894.37 907.42 c Restart #114 #Var: 1272 LB: -1272 @ 907.13 920.43 c Restart #115 #Var: 1272 LB: -1272 @ 920.14 920.84 c Sol. found (all assignments made)... 920.84 c Sol. found (all assignments made)... 920.85 c Sol. found (all assignments made)... 920.85 c Sol. found (all assignments made)... 920.86 c Sol. found (all assignments made)... 920.97 c Sol. found (all assignments made)... 921.01 c Sol. found (all assignments made)... 921.02 c Sol. found (all assignments made)... 921.18 c Sol. found (all assignments made)... 921.19 c Sol. found (all assignments made)... 921.21 c Sol. found (all assignments made)... 921.23 c Sol. found (all assignments made)... 921.24 c Sol. found (all assignments made)... 922.27 c Sol. found (all assignments made)... 923.55 c Sol. found (all assignments made)... 923.55 c Sol. found (all assignments made)... 923.56 c Sol. found (all assignments made)... 923.56 c Sol. found (all assignments made)... 923.58 c Sol. found (all assignments made)... 923.58 c Sol. found (all assignments made)... 923.58 c Sol. found (all assignments made)... 923.58 c Sol. found (all assignments made)... 923.71 c Sol. found (all assignments made)... 923.71 c Sol. found (all assignments made)... 923.71 c Sol. found (all assignments made)... 923.72 c Sol. found (all assignments made)... 923.75 c Sol. found (all assignments made)... 923.75 c Sol. found (all assignments made)... 923.75 c Sol. found (all assignments made)... 923.76 c Sol. found (all assignments made)... 929.46 c Sol. found (all assignments made)... 929.47 c Sol. found (all assignments made)... 929.48 c Sol. found (all assignments made)... 929.48 c Sol. found (all assignments made)... 929.50 c Sol. found (all assignments made)... 929.50 c Sol. found (all assignments made)... 929.52 c Sol. found (all assignments made)... 929.52 c Sol. found (all assignments made)... 929.53 c Sol. found (all assignments made)... 929.54 c Sol. found (all assignments made)... 929.55 c Sol. found (all assignments made)... 929.55 c Sol. found (all assignments made)... 929.58 c Sol. found (all assignments made)... 929.59 c Sol. found (all assignments made)... 930.42 c Sol. found (all assignments made)... 931.28 c Sol. found (all assignments made)... 931.28 c Sol. found (all assignments made)... 931.29 c Sol. found (all assignments made)... 931.29 c Sol. found (all assignments made)... 931.41 c Sol. found (all assignments made)... 931.41 c Sol. found (all assignments made)... 931.42 c Sol. found (all assignments made)... 931.42 c Sol. found (all assignments made)... 933.28 c Restart #116 #Var: 1272 LB: -1272 @ 932.99 946.73 c Restart #117 #Var: 1272 LB: -1272 @ 946.43 960.09 c Restart #118 #Var: 1272 LB: -1272 @ 959.79 973.49 c Restart #119 #Var: 1272 LB: -1272 @ 973.19 987.17 c Restart #120 #Var: 1272 LB: -1272 @ 986.85 1001.04 c Restart #121 #Var: 1272 LB: -1272 @ 1000.7 1002.55 c Sol. found (all assignments made)... 1015.28 c Restart #122 #Var: 1272 LB: -1272 @ 1015 1017.52 c Sol. found (all assignments made)... 1029.22 c Restart #123 #Var: 1272 LB: -1272 @ 1028.9 1043.38 c Restart #124 #Var: 1272 LB: -1272 @ 1043 1057.47 c Restart #125 #Var: 1272 LB: -1272 @ 1057.1 1071.86 c Restart #126 #Var: 1272 LB: -1272 @ 1071.5 1086.41 c Restart #127 #Var: 1272 LB: -1272 @ 1086.1 1101.14 c Restart #128 #Var: 1272 LB: -1272 @ 1100.8 1115.53 c Restart #129 #Var: 1272 LB: -1272 @ 1115.2 1130.36 c Restart #130 #Var: 1272 LB: -1272 @ 1130 1134.47 c Sol. found (all assignments made)... 1134.47 c Sol. found (all assignments made)... 1137.43 c Sol. found (all assignments made)... 1137.46 c Sol. found (all assignments made)... 1138.29 c Sol. found (all assignments made)... 1145.24 c Restart #131 #Var: 1272 LB: -1272 @ 1144.9 1160.23 c Restart #132 #Var: 1272 LB: -1272 @ 1159.9 1175.11 c Restart #133 #Var: 1272 LB: -1272 @ 1174.7 1183.35 c Sol. found (all assignments made)... 1190.18 c Restart #134 #Var: 1272 LB: -1272 @ 1189.8 1205.50 c Restart #135 #Var: 1272 LB: -1272 @ 1205.1 1220.93 c Restart #136 #Var: 1272 LB: -1272 @ 1220.5 1236.45 c Restart #137 #Var: 1272 LB: -1272 @ 1236.1 1238.24 c Sol. found (all assignments made)... 1252.00 c Restart #138 #Var: 1272 LB: -1272 @ 1251.6 1267.72 c Restart #139 #Var: 1272 LB: -1272 @ 1267.3 1283.75 c Restart #140 #Var: 1272 LB: -1272 @ 1283.4 1299.50 c Restart #141 #Var: 1272 LB: -1272 @ 1299.1 1315.68 c Restart #142 #Var: 1272 LB: -1272 @ 1315.3 1331.96 c Restart #143 #Var: 1272 LB: -1272 @ 1331.6 1348.58 c Restart #144 #Var: 1272 LB: -1272 @ 1348.2 1357.30 c Sol. found (all assignments made)... 1358.89 c Sol. found (all assignments made)... 1359.18 c Sol. found (all assignments made)... 1360.44 c Sol. found (all assignments made)... 1360.48 c Sol. found (all assignments made)... 1360.48 c Sol. found (all assignments made)... 1364.60 c Restart #145 #Var: 1272 LB: -1272 @ 1364.2 1374.19 c Sol. found (all assignments made)... 1381.20 c Restart #146 #Var: 1272 LB: -1272 @ 1380.8 1395.34 c Sol. found (all assignments made)... 1395.34 o -43 1395.34 c NEW SOLUTION FOUND: -43 @ 1394.9 1395.34 c Sol. found (all assignments made)... 1411.47 c Restart #147 #Var: 1272 LB: -1272 @ 1411 1428.21 c Restart #148 #Var: 1272 LB: -1272 @ 1427.8 1445.21 c Restart #149 #Var: 1272 LB: -1272 @ 1444.8 1462.58 c Restart #150 #Var: 1272 LB: -641 @ 1462.1 1479.74 c Restart #151 #Var: 1272 LB: -1272 @ 1479.3 1497.26 c Restart #152 #Var: 1272 LB: -1272 @ 1496.8 1505.48 c Sol. found (all assignments made)... 1506.36 c Sol. found (all assignments made)... 1506.36 c Sol. found (all assignments made)... 1509.56 c Sol. found (all assignments made)... 1509.57 c Sol. found (all assignments made)... 1509.57 c Sol. found (all assignments made)... 1509.58 c Sol. found (all assignments made)... 1509.58 c Sol. found (all assignments made)... 1509.59 c Sol. found (all assignments made)... 1509.60 c Sol. found (all assignments made)... 1509.60 c Sol. found (all assignments made)... 1509.61 c Sol. found (all assignments made)... 1509.63 c Sol. found (all assignments made)... 1509.63 c Sol. found (all assignments made)... 1509.64 c Sol. found (all assignments made)... 1509.71 c Sol. found (all assignments made)... 1509.72 c Sol. found (all assignments made)... 1509.72 c Sol. found (all assignments made)... 1509.72 c Sol. found (all assignments made)... 1509.73 c Sol. found (all assignments made)... 1509.73 c Sol. found (all assignments made)... 1509.73 c Sol. found (all assignments made)... 1509.74 c Sol. found (all assignments made)... 1509.74 c Sol. found (all assignments made)... 1509.74 c Sol. found (all assignments made)... 1509.90 c Sol. found (all assignments made)... 1509.90 c Sol. found (all assignments made)... 1509.91 c Sol. found (all assignments made)... 1509.91 c Sol. found (all assignments made)... 1509.92 c Sol. found (all assignments made)... 1509.93 c Sol. found (all assignments made)... 1509.95 c Sol. found (all assignments made)... 1509.95 c Sol. found (all assignments made)... 1509.95 c Sol. found (all assignments made)... 1509.96 c Sol. found (all assignments made)... 1509.96 c Sol. found (all assignments made)... 1509.96 c Sol. found (all assignments made)... 1509.97 c Sol. found (all assignments made)... 1509.97 c Sol. found (all assignments made)... 1509.97 c Sol. found (all assignments made)... 1509.98 c Sol. found (all assignments made)... 1509.98 c Sol. found (all assignments made)... 1509.98 c Sol. found (all assignments made)... 1509.99 c Sol. found (all assignments made)... 1509.99 c Sol. found (all assignments made)... 1509.99 c Sol. found (all assignments made)... 1510.00 c Sol. found (all assignments made)... 1510.01 c Sol. found (all assignments made)... 1510.01 c Sol. found (all assignments made)... 1510.01 c Sol. found (all assignments made)... 1510.02 c Sol. found (all assignments made)... 1510.02 c Sol. found (all assignments made)... 1510.03 c Sol. found (all assignments made)... 1510.03 c Sol. found (all assignments made)... 1510.03 c Sol. found (all assignments made)... 1511.08 c Sol. found (all assignments made)... 1511.09 c Sol. found (all assignments made)... 1511.11 c Sol. found (all assignments made)... 1511.13 c Sol. found (all assignments made)... 1511.13 c Sol. found (all assignments made)... 1511.13 c Sol. found (all assignments made)... 1511.14 c Sol. found (all assignments made)... 1511.15 c Sol. found (all assignments made)... 1511.61 c Sol. found (all assignments made)... 1511.61 c Sol. found (all assignments made)... 1511.62 c Sol. found (all assignments made)... 1511.62 c Sol. found (all assignments made)... 1511.63 c Sol. found (all assignments made)... 1511.63 c Sol. found (all assignments made)... 1511.63 c Sol. found (all assignments made)... 1511.63 c Sol. found (all assignments made)... 1511.64 c Sol. found (all assignments made)... 1511.65 c Sol. found (all assignments made)... 1511.68 c Sol. found (all assignments made)... 1511.68 c Sol. found (all assignments made)... 1511.69 c Sol. found (all assignments made)... 1511.69 c Sol. found (all assignments made)... 1511.69 c Sol. found (all assignments made)... 1511.69 c Sol. found (all assignments made)... 1511.70 c Sol. found (all assignments made)... 1511.70 c Sol. found (all assignments made)... 1511.70 c Sol. found (all assignments made)... 1511.71 c Sol. found (all assignments made)... 1511.73 c Sol. found (all assignments made)... 1511.75 c Sol. found (all assignments made)... 1511.78 c Sol. found (all assignments made)... 1511.78 c Sol. found (all assignments made)... 1511.79 c Sol. found (all assignments made)... 1511.80 c Sol. found (all assignments made)... 1511.83 c Sol. found (all assignments made)... 1511.83 c Sol. found (all assignments made)... 1511.84 c Sol. found (all assignments made)... 1511.85 c Sol. found (all assignments made)... 1511.89 c Sol. found (all assignments made)... 1511.90 c Sol. found (all assignments made)... 1511.90 c Sol. found (all assignments made)... 1511.90 c Sol. found (all assignments made)... 1511.91 c Sol. found (all assignments made)... 1511.92 c Sol. found (all assignments made)... 1511.93 c Sol. found (all assignments made)... 1511.93 c Sol. found (all assignments made)... 1511.94 c Sol. found (all assignments made)... 1511.94 c Sol. found (all assignments made)... 1511.96 c Sol. found (all assignments made)... 1511.97 c Sol. found (all assignments made)... 1511.98 c Sol. found (all assignments made)... 1511.99 c Sol. found (all assignments made)... 1512.00 c Sol. found (all assignments made)... 1512.01 c Sol. found (all assignments made)... 1512.01 c Sol. found (all assignments made)... 1512.02 c Sol. found (all assignments made)... 1513.15 c Sol. found (all assignments made)... 1513.16 c Sol. found (all assignments made)... 1513.29 c Sol. found (all assignments made)... 1513.29 c Sol. found (all assignments made)... 1513.30 c Sol. found (all assignments made)... 1513.34 c Sol. found (all assignments made)... 1513.34 c Sol. found (all assignments made)... 1513.34 c Sol. found (all assignments made)... 1513.79 c Sol. found (all assignments made)... 1513.80 c Sol. found (all assignments made)... 1513.95 c Sol. found (all assignments made)... 1513.95 c Sol. found (all assignments made)... 1513.96 c Sol. found (all assignments made)... 1513.97 c Sol. found (all assignments made)... 1513.97 c Sol. found (all assignments made)... 1513.98 c Sol. found (all assignments made)... 1514.16 c Restart #153 #Var: 1272 LB: -1272 @ 1513.7 1532.19 c Restart #154 #Var: 1272 LB: -642 @ 1531.7 1549.91 c Restart #155 #Var: 1272 LB: -1272 @ 1549.4 1567.89 c Restart #156 #Var: 1272 LB: -1272 @ 1567.4 1586.26 c Restart #157 #Var: 1272 LB: -1272 @ 1585.8 1595.95 c Sol. found (all assignments made)... 1604.21 c Restart #158 #Var: 1272 LB: -1272 @ 1603.7 1622.12 c Restart #159 #Var: 1272 LB: -1272 @ 1621.6 1640.46 c Restart #160 #Var: 1272 LB: -1272 @ 1640 1658.66 c Restart #161 #Var: 1272 LB: -1272 @ 1658.2 1677.21 c Restart #162 #Var: 1272 LB: -1272 @ 1676.7 1695.91 c Restart #163 #Var: 1272 LB: -1272 @ 1695.4 1714.62 c Restart #164 #Var: 1272 LB: -1272 @ 1714.1 1733.78 c Restart #165 #Var: 1272 LB: -1272 @ 1733.3 1753.31 c Restart #166 #Var: 1272 LB: -1272 @ 1752.8 1772.55 c Restart #167 #Var: 1272 LB: -1272 @ 1772 1791.72 c Restart #168 #Var: 1272 LB: -1272 @ 1791.2 1800.55 s SATISFIABLE 1800.55 c Cost: -43 1800.55 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.55 v -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1800.55 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.55 v -x1221 -x1220 -x1219 x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 1800.55 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1800.55 v -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 1800.55 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 1800.55 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 1800.55 v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 1800.55 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 1800.55 v -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 1800.55 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 1800.55 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 1800.55 v x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 1800.55 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 1800.55 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1800.55 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1800.55 v -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1800.55 v -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1800.55 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 1800.55 v -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1800.55 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1800.55 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1800.55 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1800.55 v -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1800.55 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1800.55 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1800.55 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1800.55 v -x747 x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1800.55 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 1800.55 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1800.55 v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 1800.55 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1800.55 v -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1800.55 v -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1800.55 v x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1800.55 v -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1800.55 v -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 1800.55 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1800.55 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 1800.55 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1800.55 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1800.55 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1800.55 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 1800.55 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1800.55 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 1800.55 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1800.55 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 1800.55 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1800.55 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 1800.55 v -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1800.55 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1800.55 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 1800.55 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1800.55 v -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1800.55 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 1800.55 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 1800.55 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1800.55 v -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1800.55 v -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 -x71 1800.55 v -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 -x45 1800.55 v -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 -x19 1800.55 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK -43
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/node27/watcher-40506-1149297796 -o ROOT/results/node27/solver-40506-1149297796 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40506-1149297796/instance-40506-1149297796.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1774872/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=3364 CPUtime=0 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 60 0 0 0 0 0 0 0 18 0 1 0 195443095 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1467172 0 0 4096 0 0 0 0 17 1 0 0 /proc/26621/statm: 859 45 33 55 0 42 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1728728/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=50700 CPUtime=9.97 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 11915 0 0 0 991 6 0 0 25 0 1 0 195443095 51916800 11830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 12675 11830 287 55 0 11567 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 50700 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1722968/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=57076 CPUtime=19.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 13717 0 0 0 1989 9 0 0 25 0 1 0 195443095 58445824 13289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 14269 13289 308 55 0 13161 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 57076 [startup+30.0143 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1720728/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=59192 CPUtime=29.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 14374 0 0 0 2987 11 0 0 25 0 1 0 195443095 60612608 13861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 14798 13861 308 55 0 13690 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 59192 [startup+40.0203 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1719384/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=60416 CPUtime=39.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 14775 0 0 0 3986 13 0 0 25 0 1 0 195443095 61865984 14185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 15104 14185 308 55 0 13996 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 60416 [startup+50.0273 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1718552/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=61312 CPUtime=49.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 15011 0 0 0 4985 14 0 0 25 0 1 0 195443095 62783488 14421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 15328 14421 308 55 0 14220 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 61312 [startup+60.0324 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1717528/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=62264 CPUtime=59.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 15260 0 0 0 5983 16 0 0 25 0 1 0 195443095 63758336 14670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 15566 14670 308 55 0 14458 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 62264 [startup+70.0384 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1683928/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=123092 CPUtime=69.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 27244 0 3 0 6975 23 0 0 25 0 1 0 195443095 126046208 22992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 30773 22992 413 55 0 29665 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 123092 [startup+80.0444 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1683416/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=111968 CPUtime=79.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 29951 0 3 0 7974 24 0 0 25 0 1 0 195443095 114655232 23099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 27992 23099 414 55 0 26884 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 111968 [startup+90.0505 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1683416/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=112708 CPUtime=89.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 29977 0 3 0 8974 24 0 0 25 0 1 0 195443095 115412992 23101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 28177 23101 414 55 0 27069 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 112708 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1682648/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=114308 CPUtime=99.98 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 30234 0 3 0 9974 24 0 0 25 0 1 0 195443095 117051392 23324 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 28577 23324 415 55 0 27469 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 114308 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1682520/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=114308 CPUtime=109.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 32837 0 3 0 10973 26 0 0 25 0 1 0 195443095 117051392 23320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 28577 23320 415 55 0 27469 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 114308 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1712984/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=81108 CPUtime=119.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 65945 0 3 0 11958 41 0 0 25 0 1 0 195443095 83054592 15919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 20277 15924 435 55 0 19169 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 81108 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1672792/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=134260 CPUtime=129.99 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 303549 0 3 0 12852 147 0 0 25 0 1 0 195443095 137482240 25815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 33565 25815 436 55 0 32457 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 134260 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1701464/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78300 CPUtime=140 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313282 0 3 0 13847 153 0 0 25 0 1 0 195443095 80179200 18624 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19575 18624 436 55 0 18467 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 78300 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1701080/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78804 CPUtime=150 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313430 0 3 0 14846 154 0 0 25 0 1 0 195443095 80695296 18740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19701 18740 436 55 0 18593 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 78804 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1701080/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78768 CPUtime=160 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313430 0 3 0 15845 155 0 0 25 0 1 0 195443095 80658432 18740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19692 18740 436 55 0 18584 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 78768 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1701080/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78768 CPUtime=170 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313430 0 3 0 16844 156 0 0 25 0 1 0 195443095 80658432 18740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19692 18740 436 55 0 18584 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 78768 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1701080/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78768 CPUtime=180.01 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313430 0 3 0 17843 158 0 0 25 0 1 0 195443095 80658432 18740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19692 18740 436 55 0 18584 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 78768 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1700696/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78960 CPUtime=190.02 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313647 0 3 0 18843 159 0 0 25 0 1 0 195443095 80855040 18789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19740 18789 436 55 0 18632 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 78960 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1700888/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=78788 CPUtime=200.01 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 313774 0 3 0 19842 159 0 0 25 0 1 0 195443095 80678912 18746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1901615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19697 18746 436 55 0 18589 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 78788 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26621 /proc/meminfo: memFree=1700824/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/26621/statm: 19961 18987 436 55 0 18853 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 79844 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79844 CPUtime=1770.51 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 176740 311 0 0 25 0 1 0 195443095 81760256 18987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19961 18987 436 55 0 18853 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 79844 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1780.51 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 177739 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 79740 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1781.51 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 177839 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 79740 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1782.52 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 177940 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 79740 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1783.52 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178040 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 79740 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1784.53 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178141 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 79740 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1785.53 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178241 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 79740 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1786.54 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178342 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 79740 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1787.54 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178442 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 79740 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1788.54 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178542 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 79740 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1789.55 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178643 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1900590 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 79740 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1790.55 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178743 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 79740 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1791.56 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178844 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 79740 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1792.56 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 178944 312 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 79740 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1793.57 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179044 313 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 79740 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1794.58 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179145 313 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 79740 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1795.58 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179245 313 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 79740 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79740 CPUtime=1796.58 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179345 313 0 0 25 0 1 0 195443095 81653760 18984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19935 18984 436 55 0 18827 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 79740 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79688 CPUtime=1797.59 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179446 313 0 0 25 0 1 0 195443095 81600512 18971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19922 18971 436 55 0 18814 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 79688 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79688 CPUtime=1798.59 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179546 313 0 0 25 0 1 0 195443095 81600512 18971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19922 18971 436 55 0 18814 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 79688 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26623 /proc/meminfo: memFree=1699616/2055920 swapFree=4180900/4192956 [pid=26621] ppid=26619 vsize=79688 CPUtime=1799.59 /proc/26621/stat : 26621 (bsolo) R 26619 26621 26575 0 -1 0 317627 0 3 0 179646 313 0 0 25 0 1 0 195443095 81600512 18971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1908453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26621/statm: 19922 18971 436 55 0 18814 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 79688 Child status: 10 Real time (s): 1800.57 CPU time (s): 1800.02 CPU user time (s): 1796.87 CPU system time (s): 3.14852 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 134260
Begin job on node27 on Sat Jun 3 01:23:16 UTC 2006 FILE ID= 40506-1149297796 PBS_JOBID= 307192 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40506-1149297796/instance-40506-1149297796.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-40506-1149297796 -o ROOT/results/node27/solver-40506-1149297796 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40506-1149297796/instance-40506-1149297796.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED= 121829623 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1775080 kB Buffers: 16408 kB Cached: 196864 kB SwapCached: 3784 kB Active: 75276 kB Inactive: 146740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775080 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14776 kB Slab: 44904 kB Committed_AS: 334588 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Sat Jun 3 01:53:17 UTC 2006