Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -30 | 1800.01 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 601.031 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 28143 |
Number of constraints which are clauses | 28143 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.47 c Initial problem consists of 595 variables and 28143 constraints. 2.79 c No problem reductions applied in OPT. instance. 2.79 c preprocess terminated. Elapsed time: 2.781 2.79 c After prepocess the problem consists of 595 variables and 28143 constraints. 2.79 c Initial Lower Bound: -595 2.82 c Sol. found (all assignments made)... 2.82 o -1 2.82 c NEW SOLUTION FOUND: -1 @ 2.801 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 o -2 2.82 c NEW SOLUTION FOUND: -2 @ 2.808 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 o -3 2.84 c NEW SOLUTION FOUND: -3 @ 2.823 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 o -4 2.87 c NEW SOLUTION FOUND: -4 @ 2.857 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.94 c Restart #1 #Var: 595 LB: -595 @ 2.926 2.96 c Sol. found (all assignments made)... 2.96 o -24 2.96 c NEW SOLUTION FOUND: -24 @ 2.949 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.97 c Sol. found (all assignments made)... 2.98 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 2.99 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.08 c Restart #2 #Var: 595 LB: -595 @ 3.062 3.10 c Sol. found (all assignments made)... 3.10 o -25 3.10 c NEW SOLUTION FOUND: -25 @ 3.086 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 o -26 3.11 c NEW SOLUTION FOUND: -26 @ 3.093 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 o -27 3.15 c NEW SOLUTION FOUND: -27 @ 3.134 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.30 c Restart #3 #Var: 595 LB: -595 @ 3.29 3.53 c Restart #4 #Var: 595 LB: -595 @ 3.514 3.80 c Restart #5 #Var: 595 LB: -595 @ 3.784 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 4.12 c Restart #6 #Var: 595 LB: -595 @ 4.101 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.38 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 4.47 c Sol. found (all assignments made)... 14.15 c CHANGE to MIS mode... UB: -27 MIS: -300 LPR: -268 (0.9629) Diff: 1.1194 14.15 c Restart #0 #Var: 595 LB: -595 @ 14.128 14.30 c Restart #1 #Var: 595 LB: -304 @ 14.278 14.50 c Restart #2 #Var: 595 LB: -300 @ 14.471 14.57 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.66 c Sol. found (all assignments made)... 14.67 c Sol. found (all assignments made)... 14.75 c Restart #3 #Var: 595 LB: -300 @ 14.722 15.03 c Restart #4 #Var: 595 LB: -595 @ 15 15.36 c Restart #5 #Var: 595 LB: -299 @ 15.331 15.74 c Restart #6 #Var: 595 LB: -302 @ 15.716 15.92 c Sol. found (all assignments made)... 15.92 o -28 15.92 c NEW SOLUTION FOUND: -28 @ 15.894 15.92 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 16.30 c Restart #7 #Var: 595 LB: -299 @ 16.276 16.65 c Sol. found (all assignments made)... 16.65 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.79 c Restart #8 #Var: 595 LB: -300 @ 16.761 17.33 c Restart #9 #Var: 595 LB: -301 @ 17.307 17.96 c Restart #10 #Var: 595 LB: -301 @ 17.935 18.58 c Restart #11 #Var: 595 LB: -595 @ 18.549 19.26 c Restart #12 #Var: 595 LB: -595 @ 19.237 19.98 c Restart #13 #Var: 595 LB: -595 @ 19.957 20.75 c Restart #14 #Var: 595 LB: -595 @ 20.727 20.81 c Sol. found (all assignments made)... 20.81 o -29 20.81 c NEW SOLUTION FOUND: -29 @ 20.78 20.81 c Sol. found (all assignments made)... 20.85 c Sol. found (all assignments made)... 20.85 c Sol. found (all assignments made)... 20.86 c Sol. found (all assignments made)... 20.86 c Sol. found (all assignments made)... 20.86 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.90 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.93 c Sol. found (all assignments made)... 20.93 c Sol. found (all assignments made)... 20.94 c Sol. found (all assignments made)... 20.94 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 21.03 c Sol. found (all assignments made)... 21.03 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.04 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.09 c Sol. found (all assignments made)... 21.58 c Restart #15 #Var: 595 LB: -302 @ 21.554 22.50 c Restart #16 #Var: 595 LB: -301 @ 22.475 23.42 c Restart #17 #Var: 595 LB: -595 @ 23.395 24.39 c Restart #18 #Var: 595 LB: -595 @ 24.366 25.48 c Restart #19 #Var: 595 LB: -301 @ 25.45 26.61 c Restart #20 #Var: 595 LB: -301 @ 26.581 27.79 c Restart #21 #Var: 595 LB: -301 @ 27.756 28.20 c Sol. found (all assignments made)... 28.20 c Sol. found (all assignments made)... 28.20 c Sol. found (all assignments made)... 28.20 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.22 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.26 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.35 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.86 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.97 c Restart #22 #Var: 595 LB: -595 @ 28.937 30.19 c Restart #23 #Var: 595 LB: -595 @ 30.163 30.34 c Sol. found (all assignments made)... 30.34 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.41 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 31.46 c Restart #24 #Var: 595 LB: -595 @ 31.431 32.85 c Restart #25 #Var: 595 LB: -595 @ 32.82 34.24 c Restart #26 #Var: 595 LB: -595 @ 34.208 35.54 c Sol. found (all assignments made)... 35.60 c Sol. found (all assignments made)... 35.60 c Sol. found (all assignments made)... 35.65 c Restart #27 #Var: 595 LB: -595 @ 35.622 35.89 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.91 c Sol. found (all assignments made)... 35.91 c Sol. found (all assignments made)... 35.95 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.98 c Sol. found (all assignments made)... 35.98 c Sol. found (all assignments made)... 35.98 c Sol. found (all assignments made)... 35.98 c Sol. found (all assignments made)... 35.99 c Sol. found (all assignments made)... 35.99 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.21 c Sol. found (all assignments made)... 36.21 c Sol. found (all assignments made)... 36.23 c Sol. found (all assignments made)... 36.29 c Sol. found (all assignments made)... 36.31 c Sol. found (all assignments made)... 36.34 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.65 c Sol. found (all assignments made)... 37.15 c Restart #28 #Var: 595 LB: -595 @ 37.119 38.67 c Restart #29 #Var: 595 LB: -595 @ 38.632 40.22 c Restart #30 #Var: 595 LB: -595 @ 40.191 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.75 c Sol. found (all assignments made)... 40.76 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 41.86 c Restart #31 #Var: 595 LB: -595 @ 41.823 43.54 c Restart #32 #Var: 595 LB: -595 @ 43.509 45.33 c Restart #33 #Var: 595 LB: -302 @ 45.294 47.12 c Restart #34 #Var: 595 LB: -595 @ 47.086 49.02 c Restart #35 #Var: 595 LB: -595 @ 48.989 50.90 c Restart #36 #Var: 595 LB: -595 @ 50.862 52.93 c Restart #37 #Var: 595 LB: -595 @ 52.889 54.89 c Restart #38 #Var: 595 LB: -595 @ 54.855 57.04 c Restart #39 #Var: 595 LB: -595 @ 57.001 59.20 c Restart #40 #Var: 595 LB: -595 @ 59.163 61.39 c Restart #41 #Var: 595 LB: -595 @ 61.355 63.67 c Restart #42 #Var: 595 LB: -595 @ 63.629 66.02 c Restart #43 #Var: 595 LB: -595 @ 65.975 68.38 c Restart #44 #Var: 595 LB: -595 @ 68.337 70.81 c Restart #45 #Var: 595 LB: -595 @ 70.771 73.26 c Restart #46 #Var: 595 LB: -595 @ 73.217 75.77 c Restart #47 #Var: 595 LB: -300 @ 75.726 78.18 c Restart #48 #Var: 595 LB: -595 @ 78.139 78.25 c Sol. found (all assignments made)... 78.27 c Sol. found (all assignments made)... 78.27 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.35 c Sol. found (all assignments made)... 78.35 c Sol. found (all assignments made)... 78.38 c Sol. found (all assignments made)... 78.56 c Sol. found (all assignments made)... 78.56 c Sol. found (all assignments made)... 78.57 c Sol. found (all assignments made)... 78.58 c Sol. found (all assignments made)... 78.60 c Sol. found (all assignments made)... 78.61 c Sol. found (all assignments made)... 78.62 c Sol. found (all assignments made)... 78.63 c Sol. found (all assignments made)... 78.80 c Sol. found (all assignments made)... 78.84 c Sol. found (all assignments made)... 79.66 c Sol. found (all assignments made)... 79.66 c Sol. found (all assignments made)... 79.66 o -30 79.66 c NEW SOLUTION FOUND: -30 @ 79.615 80.09 c Sol. found (all assignments made)... 80.19 c Sol. found (all assignments made)... 80.19 c Sol. found (all assignments made)... 80.21 c Sol. found (all assignments made)... 80.21 c Sol. found (all assignments made)... 80.24 c Sol. found (all assignments made)... 80.24 c Sol. found (all assignments made)... 80.25 c Sol. found (all assignments made)... 80.25 c Sol. found (all assignments made)... 80.29 c Sol. found (all assignments made)... 80.29 c Sol. found (all assignments made)... 80.29 c Sol. found (all assignments made)... 80.29 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.31 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.36 c Sol. found (all assignments made)... 80.44 c Sol. found (all assignments made)... 80.44 c Sol. found (all assignments made)... 80.44 c Sol. found (all assignments made)... 80.44 c Sol. found (all assignments made)... 80.45 c Sol. found (all assignments made)... 80.45 c Sol. found (all assignments made)... 80.45 c Sol. found (all assignments made)... 80.45 c Sol. found (all assignments made)... 80.46 c Sol. found (all assignments made)... 80.46 c Sol. found (all assignments made)... 80.46 c Sol. found (all assignments made)... 80.46 c Sol. found (all assignments made)... 80.48 c Sol. found (all assignments made)... 80.48 c Sol. found (all assignments made)... 80.48 c Sol. found (all assignments made)... 80.48 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.50 c Sol. found (all assignments made)... 80.50 c Sol. found (all assignments made)... 80.50 c Sol. found (all assignments made)... 80.52 c Sol. found (all assignments made)... 80.52 c Sol. found (all assignments made)... 80.52 c Sol. found (all assignments made)... 80.53 c Sol. found (all assignments made)... 80.54 c Sol. found (all assignments made)... 80.54 c Sol. found (all assignments made)... 80.54 c Sol. found (all assignments made)... 80.54 c Sol. found (all assignments made)... 80.55 c Sol. found (all assignments made)... 80.55 c Sol. found (all assignments made)... 80.55 c Sol. found (all assignments made)... 80.55 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.56 c Sol. found (all assignments made)... 80.57 c Sol. found (all assignments made)... 80.57 c Sol. found (all assignments made)... 80.57 c Sol. found (all assignments made)... 80.57 c Sol. found (all assignments made)... 80.59 c Sol. found (all assignments made)... 80.59 c Sol. found (all assignments made)... 80.59 c Sol. found (all assignments made)... 80.59 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.61 c Sol. found (all assignments made)... 80.61 c Sol. found (all assignments made)... 80.61 c Sol. found (all assignments made)... 80.63 c Sol. found (all assignments made)... 80.63 c Sol. found (all assignments made)... 80.66 c Sol. found (all assignments made)... 80.66 c Sol. found (all assignments made)... 80.67 c Sol. found (all assignments made)... 80.67 c Sol. found (all assignments made)... 80.68 c Sol. found (all assignments made)... 80.68 c Sol. found (all assignments made)... 80.77 c Sol. found (all assignments made)... 80.77 c Sol. found (all assignments made)... 80.77 c Sol. found (all assignments made)... 80.78 c Sol. found (all assignments made)... 80.79 c Sol. found (all assignments made)... 80.79 c Sol. found (all assignments made)... 80.80 c Sol. found (all assignments made)... 80.80 c Sol. found (all assignments made)... 80.84 c Sol. found (all assignments made)... 80.84 c Sol. found (all assignments made)... 80.85 c Sol. found (all assignments made)... 80.85 c Sol. found (all assignments made)... 80.87 c Sol. found (all assignments made)... 80.87 c Sol. found (all assignments made)... 80.88 c Sol. found (all assignments made)... 80.88 c Sol. found (all assignments made)... 80.89 c Sol. found (all assignments made)... 80.89 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.92 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.94 c Sol. found (all assignments made)... 80.94 c Sol. found (all assignments made)... 80.94 c Sol. found (all assignments made)... 80.94 c Sol. found (all assignments made)... 80.97 c Sol. found (all assignments made)... 80.97 c Sol. found (all assignments made)... 80.97 c Sol. found (all assignments made)... 80.97 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 80.99 c Sol. found (all assignments made)... 81.00 c Sol. found (all assignments made)... 81.00 c Sol. found (all assignments made)... 81.00 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.02 c Sol. found (all assignments made)... 81.02 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.03 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.05 c Sol. found (all assignments made)... 81.05 c Sol. found (all assignments made)... 81.05 c Sol. found (all assignments made)... 81.05 c Sol. found (all assignments made)... 81.05 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.06 c Sol. found (all assignments made)... 81.07 c Sol. found (all assignments made)... 81.07 c Sol. found (all assignments made)... 81.08 c Sol. found (all assignments made)... 81.08 c Sol. found (all assignments made)... 81.09 c Sol. found (all assignments made)... 81.09 c Sol. found (all assignments made)... 81.09 c Sol. found (all assignments made)... 81.09 c Sol. found (all assignments made)... 81.11 c Sol. found (all assignments made)... 81.11 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.12 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.13 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.14 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.16 c Sol. found (all assignments made)... 81.16 c Sol. found (all assignments made)... 81.16 c Sol. found (all assignments made)... 81.17 c Sol. found (all assignments made)... 81.17 c Sol. found (all assignments made)... 81.17 c Sol. found (all assignments made)... 81.17 c Sol. found (all assignments made)... 81.38 c Sol. found (all assignments made)... 81.39 c Sol. found (all assignments made)... 81.42 c Sol. found (all assignments made)... 81.51 c Sol. found (all assignments made)... 81.51 c Sol. found (all assignments made)... 81.51 c Sol. found (all assignments made)... 81.52 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.53 c Sol. found (all assignments made)... 81.54 c Sol. found (all assignments made)... 81.54 c Sol. found (all assignments made)... 81.54 c Sol. found (all assignments made)... 81.54 c Sol. found (all assignments made)... 81.54 c Sol. found (all assignments made)... 81.87 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.90 c Sol. found (all assignments made)... 81.91 c Sol. found (all assignments made)... 81.91 c Sol. found (all assignments made)... 81.91 c Sol. found (all assignments made)... 81.91 c Sol. found (all assignments made)... 81.92 c Sol. found (all assignments made)... 81.93 c Sol. found (all assignments made)... 81.93 c Sol. found (all assignments made)... 81.99 c Sol. found (all assignments made)... 81.99 c Sol. found (all assignments made)... 81.99 c Sol. found (all assignments made)... 82.00 c Sol. found (all assignments made)... 82.00 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.05 c Sol. found (all assignments made)... 82.05 c Sol. found (all assignments made)... 82.05 c Sol. found (all assignments made)... 82.06 c Sol. found (all assignments made)... 82.08 c Restart #49 #Var: 595 LB: -595 @ 82.028 84.88 c Restart #50 #Var: 595 LB: -595 @ 84.833 87.62 c Restart #51 #Var: 595 LB: -595 @ 87.566 90.33 c Restart #52 #Var: 595 LB: -595 @ 90.279 93.17 c Restart #53 #Var: 595 LB: -302 @ 93.111 93.25 c Sol. found (all assignments made)... 93.33 c Sol. found (all assignments made)... 93.33 c Sol. found (all assignments made)... 93.50 c Sol. found (all assignments made)... 93.61 c Sol. found (all assignments made)... 93.61 c Sol. found (all assignments made)... 93.69 c Sol. found (all assignments made)... 93.69 c Sol. found (all assignments made)... 93.69 c Sol. found (all assignments made)... 93.70 c Sol. found (all assignments made)... 93.70 c Sol. found (all assignments made)... 93.70 c Sol. found (all assignments made)... 93.71 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.72 c Sol. found (all assignments made)... 93.73 c Sol. found (all assignments made)... 93.73 c Sol. found (all assignments made)... 93.73 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.74 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.75 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.76 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.77 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.78 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.79 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.80 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.81 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.82 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.83 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.84 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.85 c Sol. found (all assignments made)... 93.86 c Sol. found (all assignments made)... 93.90 c Sol. found (all assignments made)... 93.90 c Sol. found (all assignments made)... 93.91 c Sol. found (all assignments made)... 93.91 c Sol. found (all assignments made)... 93.91 c Sol. found (all assignments made)... 93.91 c Sol. found (all assignments made)... 93.95 c Sol. found (all assignments made)... 93.95 c Sol. found (all assignments made)... 93.95 c Sol. found (all assignments made)... 93.95 c Sol. found (all assignments made)... 93.96 c Sol. found (all assignments made)... 93.96 c Sol. found (all assignments made)... 93.96 c Sol. found (all assignments made)... 93.96 c Sol. found (all assignments made)... 93.96 c Sol. found (all assignments made)... 93.97 c Sol. found (all assignments made)... 93.98 c Sol. found (all assignments made)... 93.98 c Sol. found (all assignments made)... 93.98 c Sol. found (all assignments made)... 93.98 c Sol. found (all assignments made)... 93.98 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.03 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.04 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.05 c Sol. found (all assignments made)... 94.07 c Sol. found (all assignments made)... 94.07 c Sol. found (all assignments made)... 94.07 c Sol. found (all assignments made)... 94.07 c Sol. found (all assignments made)... 94.07 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.08 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.10 c Sol. found (all assignments made)... 94.10 c Sol. found (all assignments made)... 94.10 c Sol. found (all assignments made)... 94.10 c Sol. found (all assignments made)... 94.10 c Sol. found (all assignments made)... 94.11 c Sol. found (all assignments made)... 94.11 c Sol. found (all assignments made)... 94.11 c Sol. found (all assignments made)... 94.12 c Sol. found (all assignments made)... 94.16 c Sol. found (all assignments made)... 94.16 c Sol. found (all assignments made)... 94.16 c Sol. found (all assignments made)... 94.16 c Sol. found (all assignments made)... 94.16 c Sol. found (all assignments made)... 94.17 c Sol. found (all assignments made)... 94.17 c Sol. found (all assignments made)... 94.17 c Sol. found (all assignments made)... 94.17 c Sol. found (all assignments made)... 94.21 c Sol. found (all assignments made)... 94.21 c Sol. found (all assignments made)... 94.21 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.23 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.24 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.25 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.27 c Sol. found (all assignments made)... 94.27 c Sol. found (all assignments made)... 94.27 c Sol. found (all assignments made)... 94.27 c Sol. found (all assignments made)... 94.27 c Sol. found (all assignments made)... 94.28 c Sol. found (all assignments made)... 94.28 c Sol. found (all assignments made)... 94.28 c Sol. found (all assignments made)... 94.28 c Sol. found (all assignments made)... 94.28 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.29 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.30 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.95 c Sol. found (all assignments made)... 94.95 c Sol. found (all assignments made)... 95.70 c Sol. found (all assignments made)... 95.70 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.72 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.75 c Sol. found (all assignments made)... 95.93 c Sol. found (all assignments made)... 95.93 c Sol. found (all assignments made)... 96.09 c Restart #54 #Var: 595 LB: -595 @ 96.034 98.93 c Restart #55 #Var: 595 LB: -595 @ 98.874 101.90 c Restart #56 #Var: 595 LB: -595 @ 101.84 104.95 c Restart #57 #Var: 595 LB: -595 @ 104.89 107.98 c Restart #58 #Var: 595 LB: -595 @ 107.92 111.06 c Restart #59 #Var: 595 LB: -595 @ 110.99 114.18 c Restart #60 #Var: 595 LB: -595 @ 114.12 116.60 c Sol. found (all assignments made)... 117.43 c Restart #61 #Var: 595 LB: -595 @ 117.37 120.70 c Restart #62 #Var: 595 LB: -595 @ 120.63 124.06 c Restart #63 #Var: 595 LB: -595 @ 124 127.48 c Restart #64 #Var: 595 LB: -595 @ 127.41 131.02 c Restart #65 #Var: 595 LB: -595 @ 130.95 134.65 c Restart #66 #Var: 595 LB: -595 @ 134.58 138.20 c Restart #67 #Var: 595 LB: -595 @ 138.13 141.73 c Restart #68 #Var: 595 LB: -595 @ 141.66 145.48 c Restart #69 #Var: 595 LB: -595 @ 145.41 147.45 c Sol. found (all assignments made)... 147.45 c Sol. found (all assignments made)... 147.45 c Sol. found (all assignments made)... 147.45 c Sol. found (all assignments made)... 148.01 c Sol. found (all assignments made)... 148.01 c Sol. found (all assignments made)... 148.67 c Sol. found (all assignments made)... 148.68 c Sol. found (all assignments made)... 148.82 c Sol. found (all assignments made)... 148.82 c Sol. found (all assignments made)... 148.83 c Sol. found (all assignments made)... 148.83 c Sol. found (all assignments made)... 149.11 c Restart #70 #Var: 595 LB: -595 @ 149.03 151.78 c Sol. found (all assignments made)... 151.78 c Sol. found (all assignments made)... 151.79 c Sol. found (all assignments made)... 151.79 c Sol. found (all assignments made)... 151.79 c Sol. found (all assignments made)... 151.80 c Sol. found (all assignments made)... 151.82 c Sol. found (all assignments made)... 151.82 c Sol. found (all assignments made)... 151.82 c Sol. found (all assignments made)... 151.86 c Sol. found (all assignments made)... 151.87 c Sol. found (all assignments made)... 151.87 c Sol. found (all assignments made)... 151.87 c Sol. found (all assignments made)... 152.79 c Restart #71 #Var: 595 LB: -595 @ 152.72 152.89 c Sol. found (all assignments made)... 152.90 c Sol. found (all assignments made)... 156.38 c Restart #72 #Var: 595 LB: -595 @ 156.3 160.21 c Restart #73 #Var: 595 LB: -595 @ 160.13 162.14 c Sol. found (all assignments made)... 162.14 c Sol. found (all assignments made)... 162.15 c Sol. found (all assignments made)... 162.15 c Sol. found (all assignments made)... 162.17 c Sol. found (all assignments made)... 162.17 c Sol. found (all assignments made)... 162.76 c Sol. found (all assignments made)... 162.78 c Sol. found (all assignments made)... 162.78 c Sol. found (all assignments made)... 162.78 c Sol. found (all assignments made)... 162.78 c Sol. found (all assignments made)... 164.18 c Restart #74 #Var: 595 LB: -595 @ 164.11 168.21 c Restart #75 #Var: 595 LB: -595 @ 168.13 172.20 c Restart #76 #Var: 595 LB: -595 @ 172.12 176.27 c Restart #77 #Var: 595 LB: -595 @ 176.19 180.36 c Restart #78 #Var: 595 LB: -595 @ 180.27 181.42 c Sol. found (all assignments made)... 181.65 c Sol. found (all assignments made)... 181.65 c Sol. found (all assignments made)... 181.66 c Sol. found (all assignments made)... 181.66 c Sol. found (all assignments made)... 181.70 c Sol. found (all assignments made)... 181.70 c Sol. found (all assignments made)... 184.27 c Sol. found (all assignments made)... 184.27 c Sol. found (all assignments made)... 184.53 c Restart #79 #Var: 595 LB: -595 @ 184.45 188.72 c Restart #80 #Var: 595 LB: -595 @ 188.63 192.92 c Restart #81 #Var: 595 LB: -595 @ 192.83 197.45 c Restart #82 #Var: 595 LB: -595 @ 197.36 202.00 c Restart #83 #Var: 595 LB: -595 @ 201.91 206.45 c Restart #84 #Var: 595 LB: -595 @ 206.36 210.90 c Restart #85 #Var: 595 LB: -595 @ 210.81 215.49 c Restart #86 #Var: 595 LB: -595 @ 215.4 220.09 c Restart #87 #Var: 595 LB: -595 @ 219.99 224.78 c Restart #88 #Var: 595 LB: -595 @ 224.68 229.60 c Restart #89 #Var: 595 LB: -595 @ 229.5 234.52 c Restart #90 #Var: 595 LB: -595 @ 234.42 239.59 c Restart #91 #Var: 595 LB: -595 @ 239.49 244.41 c Restart #92 #Var: 595 LB: -595 @ 244.31 249.32 c Restart #93 #Var: 595 LB: -595 @ 249.21 254.38 c Restart #94 #Var: 595 LB: -595 @ 254.28 259.27 c Restart #95 #Var: 595 LB: -595 @ 259.16 264.60 c Restart #96 #Var: 595 LB: -595 @ 264.49 269.75 c Restart #97 #Var: 595 LB: -595 @ 269.64 275.05 c Restart #98 #Var: 595 LB: -595 @ 274.94 280.55 c Restart #99 #Var: 595 LB: -595 @ 280.44 284.43 c Sol. found (all assignments made)... 285.93 c Restart #100 #Var: 595 LB: -595 @ 285.81 291.12 c Restart #101 #Var: 595 LB: -595 @ 291 296.59 c Restart #102 #Var: 595 LB: -595 @ 296.47 302.03 c Restart #103 #Var: 595 LB: -595 @ 301.91 307.62 c Restart #104 #Var: 595 LB: -595 @ 307.5 312.99 c Restart #105 #Var: 595 LB: -595 @ 312.87 318.65 c Restart #106 #Var: 595 LB: -595 @ 318.53 324.30 c Restart #107 #Var: 595 LB: -595 @ 324.18 329.84 c Restart #108 #Var: 595 LB: -595 @ 329.72 335.83 c Restart #109 #Var: 595 LB: -595 @ 335.7 337.70 c Sol. found (all assignments made)... 341.46 c Restart #110 #Var: 595 LB: -595 @ 341.33 347.21 c Restart #111 #Var: 595 LB: -595 @ 347.08 353.14 c Restart #112 #Var: 595 LB: -595 @ 353 359.22 c Restart #113 #Var: 595 LB: -595 @ 359.09 365.35 c Restart #114 #Var: 595 LB: -595 @ 365.21 371.43 c Restart #115 #Var: 595 LB: -595 @ 371.3 377.54 c Restart #116 #Var: 595 LB: -595 @ 377.41 383.64 c Restart #117 #Var: 595 LB: -595 @ 383.5 389.95 c Restart #118 #Var: 595 LB: -595 @ 389.8 396.17 c Restart #119 #Var: 595 LB: -595 @ 396.02 402.24 c Restart #120 #Var: 595 LB: -595 @ 402.09 408.82 c Restart #121 #Var: 595 LB: -595 @ 408.68 415.20 c Restart #122 #Var: 595 LB: -595 @ 415.05 421.74 c Restart #123 #Var: 595 LB: -595 @ 421.59 428.38 c Restart #124 #Var: 595 LB: -595 @ 428.23 435.10 c Restart #125 #Var: 595 LB: -595 @ 434.95 441.66 c Restart #126 #Var: 595 LB: -595 @ 441.5 448.31 c Restart #127 #Var: 595 LB: -595 @ 448.15 455.67 c Restart #128 #Var: 595 LB: -595 @ 455.51 462.44 c Restart #129 #Var: 595 LB: -595 @ 462.28 469.47 c Restart #130 #Var: 595 LB: -595 @ 469.31 476.46 c Restart #131 #Var: 595 LB: -595 @ 476.29 483.49 c Restart #132 #Var: 595 LB: -595 @ 483.32 490.30 c Restart #133 #Var: 595 LB: -595 @ 490.13 497.48 c Restart #134 #Var: 595 LB: -595 @ 497.31 504.38 c Restart #135 #Var: 595 LB: -595 @ 504.2 511.75 c Restart #136 #Var: 595 LB: -595 @ 511.58 519.13 c Restart #137 #Var: 595 LB: -595 @ 518.95 526.41 c Restart #138 #Var: 595 LB: -595 @ 526.23 533.90 c Restart #139 #Var: 595 LB: -595 @ 533.72 541.42 c Restart #140 #Var: 595 LB: -595 @ 541.23 549.04 c Restart #141 #Var: 595 LB: -595 @ 548.85 556.34 c Restart #142 #Var: 595 LB: -595 @ 556.15 563.81 c Restart #143 #Var: 595 LB: -595 @ 563.62 571.27 c Restart #144 #Var: 595 LB: -595 @ 571.08 579.01 c Restart #145 #Var: 595 LB: -595 @ 578.81 586.63 c Restart #146 #Var: 595 LB: -595 @ 586.43 594.54 c Restart #147 #Var: 595 LB: -595 @ 594.34 601.57 c Sol. found (all assignments made)... 602.26 c Restart #148 #Var: 595 LB: -595 @ 602.06 610.37 c Restart #149 #Var: 595 LB: -595 @ 610.17 618.43 c Restart #150 #Var: 595 LB: -595 @ 618.23 626.59 c Restart #151 #Var: 595 LB: -595 @ 626.38 634.54 c Restart #152 #Var: 595 LB: -595 @ 634.33 642.33 c Restart #153 #Var: 595 LB: -595 @ 642.12 643.00 c Sol. found (all assignments made)... 643.01 c Sol. found (all assignments made)... 643.24 c Sol. found (all assignments made)... 643.41 c Sol. found (all assignments made)... 650.41 c Restart #154 #Var: 595 LB: -595 @ 650.2 658.34 c Restart #155 #Var: 595 LB: -595 @ 658.12 667.07 c Restart #156 #Var: 595 LB: -595 @ 666.85 675.62 c Restart #157 #Var: 595 LB: -595 @ 675.4 683.87 c Restart #158 #Var: 595 LB: -595 @ 683.65 692.19 c Restart #159 #Var: 595 LB: -595 @ 691.96 694.52 c Sol. found (all assignments made)... 694.53 c Sol. found (all assignments made)... 700.54 c Restart #160 #Var: 595 LB: -595 @ 700.31 708.95 c Restart #161 #Var: 595 LB: -595 @ 708.72 713.37 c Sol. found (all assignments made)... 713.38 c Sol. found (all assignments made)... 717.24 c Restart #162 #Var: 595 LB: -595 @ 717.01 725.91 c Restart #163 #Var: 595 LB: -595 @ 725.67 734.37 c Restart #164 #Var: 595 LB: -595 @ 734.14 743.22 c Restart #165 #Var: 595 LB: -595 @ 742.98 751.99 c Restart #166 #Var: 595 LB: -595 @ 751.75 760.74 c Restart #167 #Var: 595 LB: -595 @ 760.5 760.86 c Sol. found (all assignments made)... 760.86 c Sol. found (all assignments made)... 760.87 c Sol. found (all assignments made)... 761.30 c Sol. found (all assignments made)... 761.30 c Sol. found (all assignments made)... 761.32 c Sol. found (all assignments made)... 761.32 c Sol. found (all assignments made)... 761.32 c Sol. found (all assignments made)... 761.51 c Sol. found (all assignments made)... 769.65 c Restart #168 #Var: 595 LB: -595 @ 769.4 778.60 c Restart #169 #Var: 595 LB: -595 @ 778.35 787.69 c Restart #170 #Var: 595 LB: -595 @ 787.43 796.36 c Restart #171 #Var: 595 LB: -595 @ 796.11 805.41 c Restart #172 #Var: 595 LB: -595 @ 805.16 814.69 c Restart #173 #Var: 595 LB: -595 @ 814.43 823.96 c Restart #174 #Var: 595 LB: -595 @ 823.7 833.12 c Restart #175 #Var: 595 LB: -595 @ 832.85 833.21 c Sol. found (all assignments made)... 833.23 c Sol. found (all assignments made)... 833.24 c Sol. found (all assignments made)... 833.24 c Sol. found (all assignments made)... 833.28 c Sol. found (all assignments made)... 833.28 c Sol. found (all assignments made)... 833.28 c Sol. found (all assignments made)... 833.29 c Sol. found (all assignments made)... 833.30 c Sol. found (all assignments made)... 833.30 c Sol. found (all assignments made)... 833.30 c Sol. found (all assignments made)... 833.30 c Sol. found (all assignments made)... 833.41 c Sol. found (all assignments made)... 833.42 c Sol. found (all assignments made)... 833.42 c Sol. found (all assignments made)... 833.46 c Sol. found (all assignments made)... 833.47 c Sol. found (all assignments made)... 833.47 c Sol. found (all assignments made)... 833.51 c Sol. found (all assignments made)... 833.52 c Sol. found (all assignments made)... 833.52 c Sol. found (all assignments made)... 833.56 c Sol. found (all assignments made)... 833.57 c Sol. found (all assignments made)... 833.58 c Sol. found (all assignments made)... 833.60 c Sol. found (all assignments made)... 833.60 c Sol. found (all assignments made)... 833.61 c Sol. found (all assignments made)... 833.61 c Sol. found (all assignments made)... 833.61 c Sol. found (all assignments made)... 833.78 c Sol. found (all assignments made)... 833.78 c Sol. found (all assignments made)... 833.78 c Sol. found (all assignments made)... 833.86 c Sol. found (all assignments made)... 833.87 c Sol. found (all assignments made)... 833.91 c Sol. found (all assignments made)... 833.92 c Sol. found (all assignments made)... 833.92 c Sol. found (all assignments made)... 833.95 c Sol. found (all assignments made)... 833.95 c Sol. found (all assignments made)... 834.03 c Sol. found (all assignments made)... 834.07 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.08 c Sol. found (all assignments made)... 834.10 c Sol. found (all assignments made)... 834.10 c Sol. found (all assignments made)... 834.11 c Sol. found (all assignments made)... 834.11 c Sol. found (all assignments made)... 834.11 c Sol. found (all assignments made)... 834.12 c Sol. found (all assignments made)... 834.12 c Sol. found (all assignments made)... 834.12 c Sol. found (all assignments made)... 834.14 c Sol. found (all assignments made)... 834.15 c Sol. found (all assignments made)... 834.16 c Sol. found (all assignments made)... 834.22 c Sol. found (all assignments made)... 834.24 c Sol. found (all assignments made)... 834.24 c Sol. found (all assignments made)... 834.25 c Sol. found (all assignments made)... 834.25 c Sol. found (all assignments made)... 834.27 c Sol. found (all assignments made)... 834.27 c Sol. found (all assignments made)... 834.28 c Sol. found (all assignments made)... 834.28 c Sol. found (all assignments made)... 834.28 c Sol. found (all assignments made)... 834.28 c Sol. found (all assignments made)... 834.29 c Sol. found (all assignments made)... 834.29 c Sol. found (all assignments made)... 834.33 c Sol. found (all assignments made)... 834.33 c Sol. found (all assignments made)... 834.33 c Sol. found (all assignments made)... 834.33 c Sol. found (all assignments made)... 834.34 c Sol. found (all assignments made)... 834.34 c Sol. found (all assignments made)... 834.35 c Sol. found (all assignments made)... 834.36 c Sol. found (all assignments made)... 834.36 c Sol. found (all assignments made)... 834.36 c Sol. found (all assignments made)... 834.37 c Sol. found (all assignments made)... 834.38 c Sol. found (all assignments made)... 834.38 c Sol. found (all assignments made)... 834.38 c Sol. found (all assignments made)... 834.38 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.39 c Sol. found (all assignments made)... 834.40 c Sol. found (all assignments made)... 834.40 c Sol. found (all assignments made)... 834.40 c Sol. found (all assignments made)... 834.41 c Sol. found (all assignments made)... 834.41 c Sol. found (all assignments made)... 834.41 c Sol. found (all assignments made)... 834.41 c Sol. found (all assignments made)... 834.42 c Sol. found (all assignments made)... 834.42 c Sol. found (all assignments made)... 834.45 c Sol. found (all assignments made)... 834.45 c Sol. found (all assignments made)... 834.45 c Sol. found (all assignments made)... 834.45 c Sol. found (all assignments made)... 834.46 c Sol. found (all assignments made)... 834.46 c Sol. found (all assignments made)... 834.46 c Sol. found (all assignments made)... 834.47 c Sol. found (all assignments made)... 834.47 c Sol. found (all assignments made)... 834.47 c Sol. found (all assignments made)... 834.48 c Sol. found (all assignments made)... 834.48 c Sol. found (all assignments made)... 834.49 c Sol. found (all assignments made)... 834.49 c Sol. found (all assignments made)... 834.49 c Sol. found (all assignments made)... 834.49 c Sol. found (all assignments made)... 834.50 c Sol. found (all assignments made)... 834.50 c Sol. found (all assignments made)... 834.50 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.51 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.52 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.53 c Sol. found (all assignments made)... 834.54 c Sol. found (all assignments made)... 834.54 c Sol. found (all assignments made)... 834.54 c Sol. found (all assignments made)... 834.54 c Sol. found (all assignments made)... 834.54 c Sol. found (all assignments made)... 834.55 c Sol. found (all assignments made)... 834.55 c Sol. found (all assignments made)... 834.55 c Sol. found (all assignments made)... 834.56 c Sol. found (all assignments made)... 834.56 c Sol. found (all assignments made)... 834.56 c Sol. found (all assignments made)... 834.56 c Sol. found (all assignments made)... 834.56 c Sol. found (all assignments made)... 834.57 c Sol. found (all assignments made)... 834.57 c Sol. found (all assignments made)... 834.60 c Sol. found (all assignments made)... 834.60 c Sol. found (all assignments made)... 834.60 c Sol. found (all assignments made)... 834.60 c Sol. found (all assignments made)... 834.61 c Sol. found (all assignments made)... 834.61 c Sol. found (all assignments made)... 834.68 c Sol. found (all assignments made)... 834.68 c Sol. found (all assignments made)... 834.68 c Sol. found (all assignments made)... 834.68 c Sol. found (all assignments made)... 834.70 c Sol. found (all assignments made)... 834.70 c Sol. found (all assignments made)... 834.72 c Sol. found (all assignments made)... 834.72 c Sol. found (all assignments made)... 834.72 c Sol. found (all assignments made)... 834.72 c Sol. found (all assignments made)... 834.73 c Sol. found (all assignments made)... 834.74 c Sol. found (all assignments made)... 834.75 c Sol. found (all assignments made)... 834.75 c Sol. found (all assignments made)... 834.75 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.76 c Sol. found (all assignments made)... 834.77 c Sol. found (all assignments made)... 834.77 c Sol. found (all assignments made)... 834.77 c Sol. found (all assignments made)... 834.80 c Sol. found (all assignments made)... 834.81 c Sol. found (all assignments made)... 834.82 c Sol. found (all assignments made)... 834.82 c Sol. found (all assignments made)... 834.84 c Sol. found (all assignments made)... 834.84 c Sol. found (all assignments made)... 834.85 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.86 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.88 c Sol. found (all assignments made)... 834.89 c Sol. found (all assignments made)... 834.89 c Sol. found (all assignments made)... 834.89 c Sol. found (all assignments made)... 834.89 c Sol. found (all assignments made)... 834.89 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.90 c Sol. found (all assignments made)... 834.91 c Sol. found (all assignments made)... 834.91 c Sol. found (all assignments made)... 834.91 c Sol. found (all assignments made)... 834.91 c Sol. found (all assignments made)... 834.91 c Sol. found (all assignments made)... 834.93 c Sol. found (all assignments made)... 834.93 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.94 c Sol. found (all assignments made)... 834.95 c Sol. found (all assignments made)... 834.95 c Sol. found (all assignments made)... 834.95 c Sol. found (all assignments made)... 834.99 c Sol. found (all assignments made)... 835.00 c Sol. found (all assignments made)... 835.00 c Sol. found (all assignments made)... 835.09 c Sol. found (all assignments made)... 835.27 c Sol. found (all assignments made)... 835.27 c Sol. found (all assignments made)... 835.27 c Sol. found (all assignments made)... 835.28 c Sol. found (all assignments made)... 835.29 c Sol. found (all assignments made)... 835.43 c Sol. found (all assignments made)... 835.48 c Sol. found (all assignments made)... 835.49 c Sol. found (all assignments made)... 835.67 c Sol. found (all assignments made)... 835.68 c Sol. found (all assignments made)... 835.72 c Sol. found (all assignments made)... 835.72 c Sol. found (all assignments made)... 835.72 c Sol. found (all assignments made)... 835.73 c Sol. found (all assignments made)... 835.73 c Sol. found (all assignments made)... 836.15 c Sol. found (all assignments made)... 836.16 c Sol. found (all assignments made)... 836.17 c Sol. found (all assignments made)... 836.17 c Sol. found (all assignments made)... 836.18 c Sol. found (all assignments made)... 836.18 c Sol. found (all assignments made)... 836.19 c Sol. found (all assignments made)... 836.29 c Sol. found (all assignments made)... 836.43 c Sol. found (all assignments made)... 836.43 c Sol. found (all assignments made)... 836.44 c Sol. found (all assignments made)... 836.44 c Sol. found (all assignments made)... 836.45 c Sol. found (all assignments made)... 836.45 c Sol. found (all assignments made)... 836.45 c Sol. found (all assignments made)... 836.48 c Sol. found (all assignments made)... 836.48 c Sol. found (all assignments made)... 836.48 c Sol. found (all assignments made)... 836.48 c Sol. found (all assignments made)... 836.49 c Sol. found (all assignments made)... 836.49 c Sol. found (all assignments made)... 836.49 c Sol. found (all assignments made)... 836.49 c Sol. found (all assignments made)... 836.49 c Sol. found (all assignments made)... 836.50 c Sol. found (all assignments made)... 836.50 c Sol. found (all assignments made)... 836.50 c Sol. found (all assignments made)... 836.52 c Sol. found (all assignments made)... 836.52 c Sol. found (all assignments made)... 836.52 c Sol. found (all assignments made)... 836.52 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.53 c Sol. found (all assignments made)... 836.54 c Sol. found (all assignments made)... 836.54 c Sol. found (all assignments made)... 836.54 c Sol. found (all assignments made)... 836.74 c Sol. found (all assignments made)... 837.40 c Sol. found (all assignments made)... 837.69 c Sol. found (all assignments made)... 837.76 c Sol. found (all assignments made)... 838.54 c Sol. found (all assignments made)... 838.60 c Sol. found (all assignments made)... 838.61 c Sol. found (all assignments made)... 838.63 c Sol. found (all assignments made)... 838.63 c Sol. found (all assignments made)... 838.63 c Sol. found (all assignments made)... 838.63 c Sol. found (all assignments made)... 838.64 c Sol. found (all assignments made)... 838.64 c Sol. found (all assignments made)... 838.65 c Sol. found (all assignments made)... 838.65 c Sol. found (all assignments made)... 838.67 c Sol. found (all assignments made)... 838.67 c Sol. found (all assignments made)... 838.67 c Sol. found (all assignments made)... 838.68 c Sol. found (all assignments made)... 838.68 c Sol. found (all assignments made)... 838.69 c Sol. found (all assignments made)... 838.69 c Sol. found (all assignments made)... 838.82 c Sol. found (all assignments made)... 838.82 c Sol. found (all assignments made)... 838.82 c Sol. found (all assignments made)... 838.83 c Sol. found (all assignments made)... 838.83 c Sol. found (all assignments made)... 838.83 c Sol. found (all assignments made)... 838.83 c Sol. found (all assignments made)... 838.84 c Sol. found (all assignments made)... 838.84 c Sol. found (all assignments made)... 838.84 c Sol. found (all assignments made)... 838.84 c Sol. found (all assignments made)... 838.84 c Sol. found (all assignments made)... 838.85 c Sol. found (all assignments made)... 838.85 c Sol. found (all assignments made)... 838.86 c Sol. found (all assignments made)... 838.86 c Sol. found (all assignments made)... 838.86 c Sol. found (all assignments made)... 838.87 c Sol. found (all assignments made)... 838.87 c Sol. found (all assignments made)... 838.87 c Sol. found (all assignments made)... 838.88 c Sol. found (all assignments made)... 838.88 c Sol. found (all assignments made)... 839.02 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.04 c Sol. found (all assignments made)... 839.05 c Sol. found (all assignments made)... 839.05 c Sol. found (all assignments made)... 839.05 c Sol. found (all assignments made)... 839.05 c Sol. found (all assignments made)... 839.05 c Sol. found (all assignments made)... 839.06 c Sol. found (all assignments made)... 839.06 c Sol. found (all assignments made)... 839.07 c Sol. found (all assignments made)... 839.08 c Sol. found (all assignments made)... 839.41 c Sol. found (all assignments made)... 839.41 c Sol. found (all assignments made)... 839.41 c Sol. found (all assignments made)... 839.42 c Sol. found (all assignments made)... 839.42 c Sol. found (all assignments made)... 839.42 c Sol. found (all assignments made)... 839.43 c Sol. found (all assignments made)... 839.45 c Sol. found (all assignments made)... 839.46 c Sol. found (all assignments made)... 839.46 c Sol. found (all assignments made)... 839.47 c Sol. found (all assignments made)... 839.47 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.48 c Sol. found (all assignments made)... 839.52 c Sol. found (all assignments made)... 839.53 c Sol. found (all assignments made)... 839.54 c Sol. found (all assignments made)... 839.54 c Sol. found (all assignments made)... 839.54 c Sol. found (all assignments made)... 839.61 c Sol. found (all assignments made)... 839.61 c Sol. found (all assignments made)... 839.61 c Sol. found (all assignments made)... 839.63 c Sol. found (all assignments made)... 839.64 c Sol. found (all assignments made)... 839.64 c Sol. found (all assignments made)... 839.78 c Sol. found (all assignments made)... 839.79 c Sol. found (all assignments made)... 839.84 c Sol. found (all assignments made)... 839.86 c Sol. found (all assignments made)... 839.86 c Sol. found (all assignments made)... 840.07 c Sol. found (all assignments made)... 840.08 c Sol. found (all assignments made)... 840.08 c Sol. found (all assignments made)... 840.09 c Sol. found (all assignments made)... 840.17 c Sol. found (all assignments made)... 840.17 c Sol. found (all assignments made)... 840.18 c Sol. found (all assignments made)... 840.19 c Sol. found (all assignments made)... 840.19 c Sol. found (all assignments made)... 840.19 c Sol. found (all assignments made)... 840.19 c Sol. found (all assignments made)... 840.20 c Sol. found (all assignments made)... 840.20 c Sol. found (all assignments made)... 840.21 c Sol. found (all assignments made)... 840.21 c Sol. found (all assignments made)... 840.22 c Sol. found (all assignments made)... 840.22 c Sol. found (all assignments made)... 840.24 c Sol. found (all assignments made)... 840.24 c Sol. found (all assignments made)... 840.24 c Sol. found (all assignments made)... 840.24 c Sol. found (all assignments made)... 840.25 c Sol. found (all assignments made)... 840.32 c Sol. found (all assignments made)... 840.33 c Sol. found (all assignments made)... 840.33 c Sol. found (all assignments made)... 840.33 c Sol. found (all assignments made)... 840.33 c Sol. found (all assignments made)... 840.33 c Sol. found (all assignments made)... 840.34 c Sol. found (all assignments made)... 840.36 c Sol. found (all assignments made)... 840.36 c Sol. found (all assignments made)... 840.36 c Sol. found (all assignments made)... 840.36 c Sol. found (all assignments made)... 840.36 c Sol. found (all assignments made)... 840.38 c Sol. found (all assignments made)... 840.39 c Sol. found (all assignments made)... 840.39 c Sol. found (all assignments made)... 840.39 c Sol. found (all assignments made)... 840.39 c Sol. found (all assignments made)... 840.39 c Sol. found (all assignments made)... 840.40 c Sol. found (all assignments made)... 840.40 c Sol. found (all assignments made)... 840.40 c Sol. found (all assignments made)... 840.40 c Sol. found (all assignments made)... 840.40 c Sol. found (all assignments made)... 840.57 c Sol. found (all assignments made)... 840.57 c Sol. found (all assignments made)... 840.59 c Sol. found (all assignments made)... 840.59 c Sol. found (all assignments made)... 840.61 c Sol. found (all assignments made)... 840.61 c Sol. found (all assignments made)... 840.90 c Sol. found (all assignments made)... 840.90 c Sol. found (all assignments made)... 840.90 c Sol. found (all assignments made)... 840.90 c Sol. found (all assignments made)... 840.90 c Sol. found (all assignments made)... 840.91 c Sol. found (all assignments made)... 840.91 c Sol. found (all assignments made)... 840.91 c Sol. found (all assignments made)... 840.93 c Sol. found (all assignments made)... 840.93 c Sol. found (all assignments made)... 840.93 c Sol. found (all assignments made)... 840.93 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.94 c Sol. found (all assignments made)... 840.95 c Sol. found (all assignments made)... 840.95 c Sol. found (all assignments made)... 840.96 c Sol. found (all assignments made)... 840.96 c Sol. found (all assignments made)... 840.97 c Sol. found (all assignments made)... 840.97 c Sol. found (all assignments made)... 841.00 c Sol. found (all assignments made)... 841.00 c Sol. found (all assignments made)... 841.00 c Sol. found (all assignments made)... 841.02 c Sol. found (all assignments made)... 841.02 c Sol. found (all assignments made)... 841.02 c Sol. found (all assignments made)... 841.02 c Sol. found (all assignments made)... 841.03 c Sol. found (all assignments made)... 841.03 c Sol. found (all assignments made)... 841.03 c Sol. found (all assignments made)... 841.03 c Sol. found (all assignments made)... 841.07 c Sol. found (all assignments made)... 841.07 c Sol. found (all assignments made)... 841.08 c Sol. found (all assignments made)... 841.08 c Sol. found (all assignments made)... 841.09 c Sol. found (all assignments made)... 841.09 c Sol. found (all assignments made)... 841.09 c Sol. found (all assignments made)... 841.09 c Sol. found (all assignments made)... 841.09 c Sol. found (all assignments made)... 841.10 c Sol. found (all assignments made)... 841.12 c Sol. found (all assignments made)... 841.16 c Sol. found (all assignments made)... 841.16 c Sol. found (all assignments made)... 841.16 c Sol. found (all assignments made)... 841.16 c Sol. found (all assignments made)... 841.20 c Sol. found (all assignments made)... 841.20 c Sol. found (all assignments made)... 841.20 c Sol. found (all assignments made)... 841.21 c Sol. found (all assignments made)... 841.21 c Sol. found (all assignments made)... 841.22 c Sol. found (all assignments made)... 841.41 c Sol. found (all assignments made)... 841.42 c Sol. found (all assignments made)... 841.42 c Sol. found (all assignments made)... 841.43 c Sol. found (all assignments made)... 841.43 c Sol. found (all assignments made)... 841.44 c Sol. found (all assignments made)... 841.46 c Sol. found (all assignments made)... 841.46 c Sol. found (all assignments made)... 841.57 c Sol. found (all assignments made)... 841.57 c Sol. found (all assignments made)... 841.59 c Sol. found (all assignments made)... 841.60 c Sol. found (all assignments made)... 841.60 c Sol. found (all assignments made)... 841.61 c Sol. found (all assignments made)... 841.63 c Sol. found (all assignments made)... 841.63 c Sol. found (all assignments made)... 841.64 c Sol. found (all assignments made)... 841.64 c Sol. found (all assignments made)... 841.65 c Sol. found (all assignments made)... 841.65 c Sol. found (all assignments made)... 841.66 c Sol. found (all assignments made)... 841.66 c Sol. found (all assignments made)... 841.69 c Sol. found (all assignments made)... 841.69 c Sol. found (all assignments made)... 841.69 c Sol. found (all assignments made)... 841.69 c Sol. found (all assignments made)... 841.70 c Sol. found (all assignments made)... 841.70 c Sol. found (all assignments made)... 841.70 c Sol. found (all assignments made)... 841.70 c Sol. found (all assignments made)... 841.70 c Sol. found (all assignments made)... 841.71 c Sol. found (all assignments made)... 841.71 c Sol. found (all assignments made)... 841.71 c Sol. found (all assignments made)... 841.71 c Sol. found (all assignments made)... 841.71 c Sol. found (all assignments made)... 841.72 c Sol. found (all assignments made)... 841.73 c Sol. found (all assignments made)... 841.75 c Sol. found (all assignments made)... 841.78 c Sol. found (all assignments made)... 841.79 c Sol. found (all assignments made)... 841.80 c Sol. found (all assignments made)... 841.81 c Sol. found (all assignments made)... 841.81 c Sol. found (all assignments made)... 841.81 c Sol. found (all assignments made)... 841.81 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.82 c Sol. found (all assignments made)... 841.83 c Sol. found (all assignments made)... 841.83 c Sol. found (all assignments made)... 841.83 c Sol. found (all assignments made)... 841.84 c Sol. found (all assignments made)... 841.84 c Sol. found (all assignments made)... 841.84 c Sol. found (all assignments made)... 841.85 c Sol. found (all assignments made)... 841.85 c Sol. found (all assignments made)... 841.86 c Sol. found (all assignments made)... 841.87 c Sol. found (all assignments made)... 841.87 c Sol. found (all assignments made)... 841.87 c Sol. found (all assignments made)... 841.93 c Sol. found (all assignments made)... 841.93 c Sol. found (all assignments made)... 842.07 c Sol. found (all assignments made)... 842.07 c Sol. found (all assignments made)... 842.08 c Sol. found (all assignments made)... 842.08 c Sol. found (all assignments made)... 842.08 c Sol. found (all assignments made)... 842.09 c Sol. found (all assignments made)... 842.09 c Sol. found (all assignments made)... 842.11 c Sol. found (all assignments made)... 842.12 c Sol. found (all assignments made)... 842.12 c Sol. found (all assignments made)... 842.13 c Sol. found (all assignments made)... 842.17 c Sol. found (all assignments made)... 842.19 c Sol. found (all assignments made)... 842.20 c Sol. found (all assignments made)... 842.20 c Sol. found (all assignments made)... 842.31 c Sol. found (all assignments made)... 842.33 c Sol. found (all assignments made)... 842.33 c Sol. found (all assignments made)... 842.34 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.35 c Sol. found (all assignments made)... 842.37 c Sol. found (all assignments made)... 842.38 c Sol. found (all assignments made)... 842.38 c Sol. found (all assignments made)... 842.38 c Sol. found (all assignments made)... 842.39 c Sol. found (all assignments made)... 842.39 c Sol. found (all assignments made)... 842.46 c Sol. found (all assignments made)... 842.46 c Sol. found (all assignments made)... 842.51 c Restart #176 #Var: 595 LB: -595 @ 842.23 851.79 c Restart #177 #Var: 595 LB: -595 @ 851.51 861.40 c Restart #178 #Var: 595 LB: -595 @ 861.11 870.88 c Restart #179 #Var: 595 LB: -595 @ 870.59 880.23 c Restart #180 #Var: 595 LB: -595 @ 879.94 889.89 c Restart #181 #Var: 595 LB: -595 @ 889.6 899.51 c Restart #182 #Var: 595 LB: -595 @ 899.22 909.18 c Restart #183 #Var: 595 LB: -595 @ 908.88 918.64 c Restart #184 #Var: 595 LB: -595 @ 918.34 918.70 c Sol. found (all assignments made)... 918.73 c Sol. found (all assignments made)... 918.74 c Sol. found (all assignments made)... 918.75 c Sol. found (all assignments made)... 918.83 c Sol. found (all assignments made)... 918.83 c Sol. found (all assignments made)... 918.83 c Sol. found (all assignments made)... 918.83 c Sol. found (all assignments made)... 918.84 c Sol. found (all assignments made)... 918.84 c Sol. found (all assignments made)... 918.84 c Sol. found (all assignments made)... 918.84 c Sol. found (all assignments made)... 918.86 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.87 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 918.89 c Sol. found (all assignments made)... 918.89 c Sol. found (all assignments made)... 918.89 c Sol. found (all assignments made)... 918.89 c Sol. found (all assignments made)... 918.89 c Sol. found (all assignments made)... 918.90 c Sol. found (all assignments made)... 918.90 c Sol. found (all assignments made)... 918.90 c Sol. found (all assignments made)... 918.91 c Sol. found (all assignments made)... 918.91 c Sol. found (all assignments made)... 918.91 c Sol. found (all assignments made)... 918.92 c Sol. found (all assignments made)... 918.92 c Sol. found (all assignments made)... 918.92 c Sol. found (all assignments made)... 918.92 c Sol. found (all assignments made)... 918.93 c Sol. found (all assignments made)... 918.93 c Sol. found (all assignments made)... 918.93 c Sol. found (all assignments made)... 918.93 c Sol. found (all assignments made)... 918.94 c Sol. found (all assignments made)... 918.94 c Sol. found (all assignments made)... 918.95 c Sol. found (all assignments made)... 918.95 c Sol. found (all assignments made)... 918.96 c Sol. found (all assignments made)... 918.97 c Sol. found (all assignments made)... 918.97 c Sol. found (all assignments made)... 918.98 c Sol. found (all assignments made)... 918.98 c Sol. found (all assignments made)... 919.00 c Sol. found (all assignments made)... 919.00 c Sol. found (all assignments made)... 919.01 c Sol. found (all assignments made)... 919.02 c Sol. found (all assignments made)... 919.04 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.05 c Sol. found (all assignments made)... 919.06 c Sol. found (all assignments made)... 919.14 c Sol. found (all assignments made)... 919.14 c Sol. found (all assignments made)... 919.15 c Sol. found (all assignments made)... 919.15 c Sol. found (all assignments made)... 919.20 c Sol. found (all assignments made)... 919.20 c Sol. found (all assignments made)... 919.20 c Sol. found (all assignments made)... 919.20 c Sol. found (all assignments made)... 919.20 c Sol. found (all assignments made)... 919.25 c Sol. found (all assignments made)... 919.27 c Sol. found (all assignments made)... 919.27 c Sol. found (all assignments made)... 919.27 c Sol. found (all assignments made)... 919.27 c Sol. found (all assignments made)... 919.28 c Sol. found (all assignments made)... 919.28 c Sol. found (all assignments made)... 919.29 c Sol. found (all assignments made)... 919.29 c Sol. found (all assignments made)... 919.29 c Sol. found (all assignments made)... 919.60 c Sol. found (all assignments made)... 920.39 c Sol. found (all assignments made)... 920.44 c Sol. found (all assignments made)... 920.46 c Sol. found (all assignments made)... 920.46 c Sol. found (all assignments made)... 920.47 c Sol. found (all assignments made)... 920.47 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 920.63 c Sol. found (all assignments made)... 920.63 c Sol. found (all assignments made)... 920.63 c Sol. found (all assignments made)... 920.63 c Sol. found (all assignments made)... 920.63 c Sol. found (all assignments made)... 920.69 c Sol. found (all assignments made)... 921.67 c Sol. found (all assignments made)... 921.67 c Sol. found (all assignments made)... 921.68 c Sol. found (all assignments made)... 921.68 c Sol. found (all assignments made)... 921.69 c Sol. found (all assignments made)... 921.69 c Sol. found (all assignments made)... 923.77 c Sol. found (all assignments made)... 923.77 c Sol. found (all assignments made)... 923.78 c Sol. found (all assignments made)... 923.78 c Sol. found (all assignments made)... 924.68 c Sol. found (all assignments made)... 928.11 c Restart #185 #Var: 595 LB: -595 @ 927.8 928.35 c Sol. found (all assignments made)... 928.36 c Sol. found (all assignments made)... 928.40 c Sol. found (all assignments made)... 937.81 c Restart #186 #Var: 595 LB: -595 @ 937.5 938.43 c Sol. found (all assignments made)... 947.66 c Restart #187 #Var: 595 LB: -595 @ 947.35 957.43 c Restart #188 #Var: 595 LB: -595 @ 957.12 966.91 c Restart #189 #Var: 595 LB: -595 @ 966.6 977.16 c Restart #190 #Var: 595 LB: -595 @ 976.85 987.45 c Restart #191 #Var: 595 LB: -595 @ 987.13 997.34 c Restart #192 #Var: 595 LB: -595 @ 997.01 1007.74 c Restart #193 #Var: 595 LB: -595 @ 1007.4 1018.54 c Restart #194 #Var: 595 LB: -595 @ 1018.2 1028.98 c Restart #195 #Var: 595 LB: -595 @ 1028.6 1039.53 c Restart #196 #Var: 595 LB: -595 @ 1039.2 1049.76 c Restart #197 #Var: 595 LB: -595 @ 1049.4 1050.26 c Sol. found (all assignments made)... 1050.26 c Sol. found (all assignments made)... 1050.26 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.27 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.28 c Sol. found (all assignments made)... 1050.29 c Sol. found (all assignments made)... 1050.29 c Sol. found (all assignments made)... 1050.29 c Sol. found (all assignments made)... 1050.29 c Sol. found (all assignments made)... 1050.29 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.31 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.32 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1050.33 c Sol. found (all assignments made)... 1058.13 c Sol. found (all assignments made)... 1058.16 c Sol. found (all assignments made)... 1058.16 c Sol. found (all assignments made)... 1058.40 c Sol. found (all assignments made)... 1058.40 c Sol. found (all assignments made)... 1058.40 c Sol. found (all assignments made)... 1058.40 c Sol. found (all assignments made)... 1058.53 c Sol. found (all assignments made)... 1058.53 c Sol. found (all assignments made)... 1060.15 c Restart #198 #Var: 595 LB: -595 @ 1059.8 1070.49 c Restart #199 #Var: 595 LB: -595 @ 1070.2 1081.55 c Restart #200 #Var: 595 LB: -595 @ 1081.2 1092.28 c Restart #201 #Var: 595 LB: -595 @ 1091.9 1103.13 c Restart #202 #Var: 595 LB: -595 @ 1102.8 1113.89 c Restart #203 #Var: 595 LB: -595 @ 1113.5 1124.68 c Restart #204 #Var: 595 LB: -595 @ 1124.3 1135.44 c Restart #205 #Var: 595 LB: -595 @ 1135.1 1146.06 c Restart #206 #Var: 595 LB: -595 @ 1145.7 1148.65 c Sol. found (all assignments made)... 1148.68 c Sol. found (all assignments made)... 1148.70 c Sol. found (all assignments made)... 1148.72 c Sol. found (all assignments made)... 1148.76 c Sol. found (all assignments made)... 1150.38 c Sol. found (all assignments made)... 1150.40 c Sol. found (all assignments made)... 1150.41 c Sol. found (all assignments made)... 1150.55 c Sol. found (all assignments made)... 1150.55 c Sol. found (all assignments made)... 1150.56 c Sol. found (all assignments made)... 1150.56 c Sol. found (all assignments made)... 1150.56 c Sol. found (all assignments made)... 1156.76 c Restart #207 #Var: 595 LB: -595 @ 1156.4 1167.46 c Restart #208 #Var: 595 LB: -595 @ 1167.1 1178.48 c Restart #209 #Var: 595 LB: -595 @ 1178.1 1189.54 c Restart #210 #Var: 595 LB: -595 @ 1189.2 1201.49 c Restart #211 #Var: 595 LB: -595 @ 1201.1 1212.44 c Restart #212 #Var: 595 LB: -595 @ 1212.1 1223.61 c Restart #213 #Var: 595 LB: -595 @ 1223.2 1224.30 c Sol. found (all assignments made)... 1224.30 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.31 c Sol. found (all assignments made)... 1224.33 c Sol. found (all assignments made)... 1224.33 c Sol. found (all assignments made)... 1224.33 c Sol. found (all assignments made)... 1226.91 c Sol. found (all assignments made)... 1226.91 c Sol. found (all assignments made)... 1226.91 c Sol. found (all assignments made)... 1228.57 c Sol. found (all assignments made)... 1228.58 c Sol. found (all assignments made)... 1230.53 c Sol. found (all assignments made)... 1230.53 c Sol. found (all assignments made)... 1230.54 c Sol. found (all assignments made)... 1230.55 c Sol. found (all assignments made)... 1232.27 c Sol. found (all assignments made)... 1232.27 c Sol. found (all assignments made)... 1232.27 c Sol. found (all assignments made)... 1232.27 c Sol. found (all assignments made)... 1232.28 c Sol. found (all assignments made)... 1232.28 c Sol. found (all assignments made)... 1232.28 c Sol. found (all assignments made)... 1232.37 c Sol. found (all assignments made)... 1232.37 c Sol. found (all assignments made)... 1232.37 c Sol. found (all assignments made)... 1232.38 c Sol. found (all assignments made)... 1232.39 c Sol. found (all assignments made)... 1232.39 c Sol. found (all assignments made)... 1234.54 c Restart #214 #Var: 595 LB: -595 @ 1234.2 1245.97 c Restart #215 #Var: 595 LB: -595 @ 1245.6 1254.49 c Sol. found (all assignments made)... 1254.49 c Sol. found (all assignments made)... 1254.53 c Sol. found (all assignments made)... 1254.53 c Sol. found (all assignments made)... 1254.53 c Sol. found (all assignments made)... 1254.59 c Sol. found (all assignments made)... 1254.59 c Sol. found (all assignments made)... 1254.59 c Sol. found (all assignments made)... 1254.67 c Sol. found (all assignments made)... 1254.70 c Sol. found (all assignments made)... 1254.70 c Sol. found (all assignments made)... 1255.07 c Sol. found (all assignments made)... 1255.10 c Sol. found (all assignments made)... 1255.11 c Sol. found (all assignments made)... 1255.11 c Sol. found (all assignments made)... 1255.13 c Sol. found (all assignments made)... 1255.13 c Sol. found (all assignments made)... 1255.14 c Sol. found (all assignments made)... 1255.21 c Sol. found (all assignments made)... 1255.48 c Sol. found (all assignments made)... 1255.48 c Sol. found (all assignments made)... 1255.49 c Sol. found (all assignments made)... 1255.50 c Sol. found (all assignments made)... 1255.51 c Sol. found (all assignments made)... 1255.52 c Sol. found (all assignments made)... 1255.53 c Sol. found (all assignments made)... 1255.54 c Sol. found (all assignments made)... 1255.55 c Sol. found (all assignments made)... 1256.06 c Sol. found (all assignments made)... 1256.06 c Sol. found (all assignments made)... 1256.06 c Sol. found (all assignments made)... 1256.06 c Sol. found (all assignments made)... 1256.06 c Sol. found (all assignments made)... 1256.07 c Sol. found (all assignments made)... 1256.07 c Sol. found (all assignments made)... 1256.07 c Sol. found (all assignments made)... 1256.07 c Sol. found (all assignments made)... 1256.08 c Sol. found (all assignments made)... 1256.55 c Sol. found (all assignments made)... 1256.55 c Sol. found (all assignments made)... 1256.56 c Sol. found (all assignments made)... 1256.56 c Sol. found (all assignments made)... 1256.69 c Sol. found (all assignments made)... 1256.69 c Sol. found (all assignments made)... 1256.69 c Sol. found (all assignments made)... 1256.69 c Sol. found (all assignments made)... 1256.70 c Sol. found (all assignments made)... 1256.70 c Sol. found (all assignments made)... 1256.84 c Restart #216 #Var: 595 LB: -595 @ 1256.4 1268.54 c Restart #217 #Var: 595 LB: -595 @ 1268.1 1279.83 c Restart #218 #Var: 595 LB: -595 @ 1279.4 1291.39 c Restart #219 #Var: 595 LB: -595 @ 1291 1302.82 c Restart #220 #Var: 595 LB: -595 @ 1302.4 1314.29 c Restart #221 #Var: 595 LB: -595 @ 1313.9 1318.35 c Sol. found (all assignments made)... 1318.60 c Sol. found (all assignments made)... 1318.60 c Sol. found (all assignments made)... 1318.60 c Sol. found (all assignments made)... 1318.61 c Sol. found (all assignments made)... 1318.61 c Sol. found (all assignments made)... 1318.61 c Sol. found (all assignments made)... 1318.65 c Sol. found (all assignments made)... 1318.66 c Sol. found (all assignments made)... 1318.66 c Sol. found (all assignments made)... 1325.68 c Restart #222 #Var: 595 LB: -595 @ 1325.3 1337.21 c Restart #223 #Var: 595 LB: -595 @ 1336.8 1349.77 c Restart #224 #Var: 595 LB: -595 @ 1349.3 1361.75 c Restart #225 #Var: 595 LB: -595 @ 1361.3 1373.32 c Restart #226 #Var: 595 LB: -595 @ 1372.9 1385.37 c Restart #227 #Var: 595 LB: -595 @ 1384.9 1397.50 c Restart #228 #Var: 595 LB: -595 @ 1397.1 1409.42 c Restart #229 #Var: 595 LB: -595 @ 1409 1421.43 c Restart #230 #Var: 595 LB: -595 @ 1421 1433.37 c Restart #231 #Var: 595 LB: -595 @ 1432.9 1445.87 c Restart #232 #Var: 595 LB: -595 @ 1445.4 1458.28 c Restart #233 #Var: 595 LB: -595 @ 1457.8 1470.44 c Restart #234 #Var: 595 LB: -595 @ 1470 1483.32 c Restart #235 #Var: 595 LB: -595 @ 1482.9 1495.94 c Restart #236 #Var: 595 LB: -595 @ 1495.5 1502.16 c Sol. found (all assignments made)... 1502.16 c Sol. found (all assignments made)... 1502.22 c Sol. found (all assignments made)... 1502.23 c Sol. found (all assignments made)... 1502.81 c Sol. found (all assignments made)... 1502.81 c Sol. found (all assignments made)... 1502.84 c Sol. found (all assignments made)... 1506.77 c Sol. found (all assignments made)... 1507.20 c Sol. found (all assignments made)... 1508.09 c Sol. found (all assignments made)... 1508.33 c Restart #237 #Var: 595 LB: -595 @ 1507.9 1520.82 c Restart #238 #Var: 595 LB: -595 @ 1520.3 1533.19 c Restart #239 #Var: 595 LB: -595 @ 1532.7 1534.19 c Sol. found (all assignments made)... 1534.19 c Sol. found (all assignments made)... 1535.66 c Sol. found (all assignments made)... 1535.66 c Sol. found (all assignments made)... 1535.66 c Sol. found (all assignments made)... 1535.66 c Sol. found (all assignments made)... 1535.66 c Sol. found (all assignments made)... 1535.82 c Sol. found (all assignments made)... 1535.98 c Sol. found (all assignments made)... 1535.98 c Sol. found (all assignments made)... 1536.36 c Sol. found (all assignments made)... 1536.36 c Sol. found (all assignments made)... 1536.75 c Sol. found (all assignments made)... 1536.75 c Sol. found (all assignments made)... 1545.65 c Restart #240 #Var: 595 LB: -595 @ 1545.2 1558.01 c Restart #241 #Var: 595 LB: -595 @ 1557.5 1570.87 c Restart #242 #Var: 595 LB: -595 @ 1570.4 1583.41 c Restart #243 #Var: 595 LB: -595 @ 1582.9 1596.32 c Restart #244 #Var: 595 LB: -595 @ 1595.8 1609.25 c Restart #245 #Var: 595 LB: -595 @ 1608.8 1622.00 c Restart #246 #Var: 595 LB: -595 @ 1621.5 1630.01 c Sol. found (all assignments made)... 1630.01 c Sol. found (all assignments made)... 1630.01 c Sol. found (all assignments made)... 1630.01 c Sol. found (all assignments made)... 1631.69 c Sol. found (all assignments made)... 1631.69 c Sol. found (all assignments made)... 1631.69 c Sol. found (all assignments made)... 1631.69 c Sol. found (all assignments made)... 1631.78 c Sol. found (all assignments made)... 1631.78 c Sol. found (all assignments made)... 1631.78 c Sol. found (all assignments made)... 1631.78 c Sol. found (all assignments made)... 1631.80 c Sol. found (all assignments made)... 1631.82 c Sol. found (all assignments made)... 1631.83 c Sol. found (all assignments made)... 1631.89 c Sol. found (all assignments made)... 1631.89 c Sol. found (all assignments made)... 1631.89 c Sol. found (all assignments made)... 1631.89 c Sol. found (all assignments made)... 1631.90 c Sol. found (all assignments made)... 1631.90 c Sol. found (all assignments made)... 1631.90 c Sol. found (all assignments made)... 1632.21 c Sol. found (all assignments made)... 1632.22 c Sol. found (all assignments made)... 1632.31 c Sol. found (all assignments made)... 1632.31 c Sol. found (all assignments made)... 1632.36 c Sol. found (all assignments made)... 1634.78 c Restart #247 #Var: 595 LB: -595 @ 1634.3 1648.15 c Restart #248 #Var: 595 LB: -595 @ 1647.6 1661.02 c Restart #249 #Var: 595 LB: -595 @ 1660.5 1674.18 c Restart #250 #Var: 595 LB: -595 @ 1673.7 1675.15 c Sol. found (all assignments made)... 1687.31 c Restart #251 #Var: 595 LB: -595 @ 1686.8 1700.28 c Restart #252 #Var: 595 LB: -595 @ 1699.8 1702.33 c Sol. found (all assignments made)... 1702.36 c Sol. found (all assignments made)... 1702.36 c Sol. found (all assignments made)... 1702.37 c Sol. found (all assignments made)... 1710.30 c Sol. found (all assignments made)... 1713.68 c Restart #253 #Var: 595 LB: -595 @ 1713.2 1727.08 c Restart #254 #Var: 595 LB: -595 @ 1726.6 1740.84 c Restart #255 #Var: 595 LB: -595 @ 1740.3 1753.76 c Restart #256 #Var: 595 LB: -595 @ 1753.2 1767.11 c Restart #257 #Var: 595 LB: -595 @ 1766.6 1780.29 c Restart #258 #Var: 595 LB: -595 @ 1779.7 1794.32 c Restart #259 #Var: 595 LB: -595 @ 1793.8 1795.91 c Sol. found (all assignments made)... 1796.54 c Sol. found (all assignments made)... 1796.55 c Sol. found (all assignments made)... 1796.56 c Sol. found (all assignments made)... 1800.55 s SATISFIABLE 1800.55 c Cost: -30 1800.55 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1800.55 v -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1800.55 v -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 1800.55 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1800.55 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 1800.55 v -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1800.55 v -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 1800.55 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 1800.55 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1800.55 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 1800.55 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 1800.55 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1800.55 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 1800.55 v x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.55 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1800.55 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.55 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1800.55 v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1800.55 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 1800.55 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1800.55 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 1800.55 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.55 v -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.55 v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 1800.55 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 1800.55 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 1800.55 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 1800.55 v -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 -30
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/node87/watcher-40519-1149300643 -o ROOT/results/node87/solver-40519-1149300643 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40519-1149300643/instance-40519-1149300643.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1526128/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=436 CPUtime=0 /proc/29245/stat : 29245 (bsolo) D 29243 29245 29199 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 195703444 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240372 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/29245/statm: 109 23 18 55 0 18 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1496888/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=38836 CPUtime=9.97 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 9476 0 0 0 993 4 0 0 25 0 1 0 195703444 39768064 7650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 9709 7650 410 55 0 8600 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 38836 [startup+20.0092 s] /proc/loadavg: 0.94 0.98 0.94 3/67 29245 /proc/meminfo: memFree=1502784/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28056 CPUtime=19.97 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92047 0 0 0 1957 40 0 0 25 0 1 0 195703444 28729344 6252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7014 6252 433 55 0 5905 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 28056 [startup+30.0143 s] /proc/loadavg: 0.95 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502720/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28056 CPUtime=29.98 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92051 0 0 0 2956 42 0 0 25 0 1 0 195703444 28729344 6254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7014 6254 433 55 0 5905 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 28056 [startup+40.0195 s] /proc/loadavg: 0.96 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502720/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28156 CPUtime=39.98 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92084 0 0 0 3955 43 0 0 25 0 1 0 195703444 28831744 6271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7039 6271 433 55 0 5930 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 28156 [startup+50.0257 s] /proc/loadavg: 0.96 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502656/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28204 CPUtime=49.97 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92108 0 0 0 4953 44 0 0 25 0 1 0 195703444 28880896 6291 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7051 6291 433 55 0 5942 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 28204 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502656/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28320 CPUtime=59.98 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92149 0 0 0 5952 46 0 0 25 0 1 0 195703444 28999680 6293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7080 6293 433 55 0 5971 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 28320 [startup+70.038 s] /proc/loadavg: 0.97 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28208 CPUtime=69.98 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92174 0 0 0 6951 47 0 0 25 0 1 0 195703444 28884992 6275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7052 6275 433 55 0 5943 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 28208 [startup+80.0442 s] /proc/loadavg: 0.98 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28208 CPUtime=79.98 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92188 0 0 0 7949 49 0 0 25 0 1 0 195703444 28884992 6289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7052 6289 433 55 0 5943 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 28208 [startup+90.0493 s] /proc/loadavg: 0.98 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502592/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28212 CPUtime=89.99 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92192 0 0 0 8948 51 0 0 25 0 1 0 195703444 28889088 6293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11681874 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7053 6293 433 55 0 5944 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 28212 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502592/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28328 CPUtime=99.99 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92203 0 0 0 9946 53 0 0 25 0 1 0 195703444 29007872 6304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7082 6304 433 55 0 5973 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 28328 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28388 CPUtime=109.99 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92215 0 0 0 10945 54 0 0 25 0 1 0 195703444 29069312 6316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7097 6316 433 55 0 5988 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 28388 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28224 CPUtime=119.99 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92237 0 0 0 11944 55 0 0 25 0 1 0 195703444 28901376 6296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7056 6296 433 55 0 5947 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28224 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28356 CPUtime=129.99 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92240 0 0 0 12942 57 0 0 25 0 1 0 195703444 29036544 6299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11671834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7089 6299 433 55 0 5980 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28356 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28244 CPUtime=140 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92248 0 0 0 13942 58 0 0 25 0 1 0 195703444 28921856 6301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158099212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7061 6301 433 55 0 5952 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 28244 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502592/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28240 CPUtime=150 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92260 0 0 0 14940 60 0 0 25 0 1 0 195703444 28917760 6300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7060 6300 433 55 0 5951 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 28240 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502592/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28216 CPUtime=160 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92260 0 0 0 15939 61 0 0 25 0 1 0 195703444 28893184 6294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7054 6294 433 55 0 5945 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 28216 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502528/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28348 CPUtime=170 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92279 0 0 0 16938 62 0 0 25 0 1 0 195703444 29028352 6313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7087 6313 433 55 0 5978 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 28348 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502400/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28512 CPUtime=180.01 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92318 0 0 0 17937 64 0 0 25 0 1 0 195703444 29196288 6350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7128 6350 433 55 0 6019 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 28512 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502592/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28124 CPUtime=190.02 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92326 0 0 0 18936 66 0 0 25 0 1 0 195703444 28798976 6261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7031 6261 433 55 0 5922 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 28124 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502336/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28628 CPUtime=200.02 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 92432 0 0 0 19935 67 0 0 25 0 1 0 195703444 29315072 6367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7157 6367 433 55 0 6048 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 28628 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.94 2/67 29245 /proc/meminfo: memFree=1502336/2055888 swapFree=4085412/4096564 ################ # More data... # ################ /proc/29245/statm: 7164 6404 433 55 0 6055 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 28656 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28352 CPUtime=1770.5 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93678 0 0 0 176771 279 0 0 25 0 1 0 195703444 29032448 6328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7088 6328 433 55 0 5979 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 28352 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28616 CPUtime=1780.5 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 177770 280 0 0 25 0 1 0 195703444 29302784 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7154 6362 433 55 0 6045 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 28616 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28616 CPUtime=1781.5 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 177870 280 0 0 25 0 1 0 195703444 29302784 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7154 6362 433 55 0 6045 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 28616 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1782.51 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 177970 281 0 0 25 0 1 0 195703444 29216768 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6362 433 55 0 6024 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 28532 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1783.52 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 178071 281 0 0 25 0 1 0 195703444 29216768 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6362 433 55 0 6024 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 28532 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1784.52 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 178171 281 0 0 25 0 1 0 195703444 29216768 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6362 433 55 0 6024 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 28532 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1785.52 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 178271 281 0 0 25 0 1 0 195703444 29216768 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6362 433 55 0 6024 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 28532 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1786.52 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93712 0 0 0 178371 281 0 0 25 0 1 0 195703444 29216768 6362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6362 433 55 0 6024 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 28532 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1787.53 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178472 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 28532 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1788.53 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178572 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 28532 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1789.54 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178673 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 28532 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1790.54 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178773 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 28532 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1791.55 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178874 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 28532 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1792.55 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 178974 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 28532 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1793.55 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179074 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 28532 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1794.56 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179175 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 28532 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1795.56 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179275 281 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 28532 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1796.58 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179376 282 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 28532 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1797.58 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179476 282 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 28532 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1798.58 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179576 282 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 28532 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.95 2/67 29247 /proc/meminfo: memFree=1502144/2055888 swapFree=4085412/4096564 [pid=29245] ppid=29243 vsize=28532 CPUtime=1799.58 /proc/29245/stat : 29245 (bsolo) R 29243 29245 29199 0 -1 0 93719 0 0 0 179676 282 0 0 25 0 1 0 195703444 29216768 6369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29245/statm: 7133 6369 433 55 0 6024 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 28532 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1797.17 CPU system time (s): 2.83257 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 38836
Begin job on node87 on Sat Jun 3 02:10:43 UTC 2006 FILE ID= 40519-1149300643 PBS_JOBID= 307353 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40519-1149300643/instance-40519-1149300643.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-40519-1149300643 -o ROOT/results/node87/solver-40519-1149300643 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40519-1149300643/instance-40519-1149300643.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED= 172477094 /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 : 6006.17 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1526336 kB Buffers: 39236 kB Cached: 414464 kB SwapCached: 2512 kB Active: 58772 kB Inactive: 403796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1526336 kB SwapTotal: 4096564 kB SwapFree: 4085412 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16828 kB Slab: 53660 kB Committed_AS: 252560 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 02:40:44 UTC 2006