Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -6274 | 1800.08 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.131979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.03 c Initial problem consists of 60 variables and 30 constraints. 0.03 c Switching on LPR. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.017 0.03 c After prepocess the problem consists of 60 variables and 30 constraints. 0.03 c Initial Lower Bound: -9228 0.16 c Sol. found (all assignments made)... 0.16 o -5302 0.16 c NEW SOLUTION FOUND: -5302 @ 0.147 0.18 c Sol. found (all assignments made)... 0.18 o -5755 0.18 c NEW SOLUTION FOUND: -5755 @ 0.171 0.18 c Sol. found (all assignments made)... 0.18 o -5760 0.18 c NEW SOLUTION FOUND: -5760 @ 0.173 0.18 c Sol. found (all assignments made)... 0.18 o -5774 0.18 c NEW SOLUTION FOUND: -5774 @ 0.174 0.18 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o -5780 0.19 c NEW SOLUTION FOUND: -5780 @ 0.18 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o -5798 0.19 c NEW SOLUTION FOUND: -5798 @ 0.181 0.19 c Sol. found (all assignments made)... 0.19 o -5831 0.19 c NEW SOLUTION FOUND: -5831 @ 0.181 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 o -5833 0.19 c NEW SOLUTION FOUND: -5833 @ 0.186 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 o -5849 0.23 c NEW SOLUTION FOUND: -5849 @ 0.217 0.24 c Sol. found (all assignments made)... 0.38 c Restart #1 #Var: 60 LB: -9228 @ 0.372 0.52 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 0.93 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.27 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.45 c Restart #2 #Var: 60 LB: -9228 @ 1.441 1.59 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.85 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 2.03 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.36 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.57 c Sol. found (all assignments made)... 2.59 c Restart #3 #Var: 60 LB: -9228 @ 2.579 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.96 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.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 4.07 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.54 c Restart #4 #Var: 60 LB: -9228 @ 4.53 4.77 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.89 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 6.01 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.42 c Restart #5 #Var: 60 LB: -9228 @ 6.406 6.57 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.56 c Restart #6 #Var: 60 LB: -9228 @ 9.553 10.12 c Sol. found (all assignments made)... 10.91 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.07 c Sol. found (all assignments made)... 13.57 c Restart #7 #Var: 60 LB: -9228 @ 13.552 13.96 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 15.13 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 16.18 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.49 c Sol. found (all assignments made)... 16.57 c Sol. found (all assignments made)... 16.59 c Sol. found (all assignments made)... 16.60 c Sol. found (all assignments made)... 16.65 c Sol. found (all assignments made)... 16.66 c Sol. found (all assignments made)... 16.71 c Sol. found (all assignments made)... 16.73 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.76 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.01 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.21 c Restart #8 #Var: 60 LB: -9228 @ 17.194 17.42 c Sol. found (all assignments made)... 17.57 c Sol. found (all assignments made)... 17.59 c Sol. found (all assignments made)... 17.91 c Sol. found (all assignments made)... 17.95 c Sol. found (all assignments made)... 17.95 c Sol. found (all assignments made)... 18.04 c Sol. found (all assignments made)... 18.17 c Sol. found (all assignments made)... 18.27 c Sol. found (all assignments made)... 18.28 c Sol. found (all assignments made)... 18.33 c Sol. found (all assignments made)... 18.59 c Sol. found (all assignments made)... 18.79 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 19.91 c Sol. found (all assignments made)... 20.02 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.20 c Sol. found (all assignments made)... 20.34 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 21.00 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.25 c Sol. found (all assignments made)... 21.56 c Sol. found (all assignments made)... 21.68 c Restart #9 #Var: 60 LB: -9228 @ 21.654 21.85 c Sol. found (all assignments made)... 21.95 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.97 c Sol. found (all assignments made)... 22.10 c Sol. found (all assignments made)... 22.11 c Sol. found (all assignments made)... 22.13 c Sol. found (all assignments made)... 22.19 c Sol. found (all assignments made)... 22.22 c Sol. found (all assignments made)... 22.26 c Sol. found (all assignments made)... 22.26 c Sol. found (all assignments made)... 22.26 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.38 c Sol. found (all assignments made)... 22.40 c Sol. found (all assignments made)... 22.47 c Sol. found (all assignments made)... 22.50 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.72 c Sol. found (all assignments made)... 22.78 c Sol. found (all assignments made)... 22.80 c Sol. found (all assignments made)... 22.81 c Sol. found (all assignments made)... 22.81 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 23.09 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.27 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.32 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.61 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.72 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.73 c Sol. found (all assignments made)... 23.79 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.81 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.82 c Sol. found (all assignments made)... 23.83 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.84 c Sol. found (all assignments made)... 23.93 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.00 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.18 c Sol. found (all assignments made)... 24.24 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.46 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.70 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.71 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.98 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.03 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.05 c Sol. found (all assignments made)... 25.06 c Sol. found (all assignments made)... 25.27 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.44 c Sol. found (all assignments made)... 25.60 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.86 c Sol. found (all assignments made)... 25.86 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.95 c Restart #10 #Var: 60 LB: -9228 @ 25.914 26.88 c Sol. found (all assignments made)... 27.33 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 28.11 c Sol. found (all assignments made)... 29.80 c Sol. found (all assignments made)... 31.04 c Sol. found (all assignments made)... 31.16 c Sol. found (all assignments made)... 31.23 c Sol. found (all assignments made)... 33.01 c Restart #11 #Var: 60 LB: -9228 @ 32.959 33.19 c Sol. found (all assignments made)... 33.22 c Sol. found (all assignments made)... 33.25 c Sol. found (all assignments made)... 33.27 c Sol. found (all assignments made)... 33.28 c Sol. found (all assignments made)... 33.29 c Sol. found (all assignments made)... 33.31 c Sol. found (all assignments made)... 33.36 c Sol. found (all assignments made)... 33.37 c Sol. found (all assignments made)... 33.39 c Sol. found (all assignments made)... 33.39 c Sol. found (all assignments made)... 33.42 c Sol. found (all assignments made)... 33.50 c Sol. found (all assignments made)... 33.57 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.76 c Sol. found (all assignments made)... 33.76 c Sol. found (all assignments made)... 33.78 c Sol. found (all assignments made)... 33.79 c Sol. found (all assignments made)... 33.83 c Sol. found (all assignments made)... 33.84 c Sol. found (all assignments made)... 33.89 c Sol. found (all assignments made)... 33.94 c Sol. found (all assignments made)... 33.94 c Sol. found (all assignments made)... 33.95 c Sol. found (all assignments made)... 33.97 c Sol. found (all assignments made)... 33.99 c Sol. found (all assignments made)... 34.03 c Sol. found (all assignments made)... 34.04 c Sol. found (all assignments made)... 34.11 c Sol. found (all assignments made)... 34.12 c Sol. found (all assignments made)... 34.12 c Sol. found (all assignments made)... 34.13 c Sol. found (all assignments made)... 34.19 c Sol. found (all assignments made)... 34.20 c Sol. found (all assignments made)... 34.21 c Sol. found (all assignments made)... 34.22 c Sol. found (all assignments made)... 34.22 c Sol. found (all assignments made)... 34.30 c Sol. found (all assignments made)... 34.33 c Sol. found (all assignments made)... 34.33 c Sol. found (all assignments made)... 34.36 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.40 c Sol. found (all assignments made)... 34.41 c Sol. found (all assignments made)... 34.45 c Sol. found (all assignments made)... 34.46 c Sol. found (all assignments made)... 34.53 c Sol. found (all assignments made)... 34.53 c Sol. found (all assignments made)... 34.53 c Sol. found (all assignments made)... 34.54 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.60 c Sol. found (all assignments made)... 34.62 c Sol. found (all assignments made)... 34.62 c Sol. found (all assignments made)... 34.63 c Sol. found (all assignments made)... 34.63 c Sol. found (all assignments made)... 34.64 c Sol. found (all assignments made)... 34.65 c Sol. found (all assignments made)... 34.67 c Sol. found (all assignments made)... 34.67 c Sol. found (all assignments made)... 34.69 c Sol. found (all assignments made)... 34.70 c Sol. found (all assignments made)... 34.70 c Sol. found (all assignments made)... 34.70 c Sol. found (all assignments made)... 34.70 c Sol. found (all assignments made)... 34.71 c Sol. found (all assignments made)... 34.71 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.78 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 34.84 c Sol. found (all assignments made)... 34.86 c Sol. found (all assignments made)... 34.87 c Sol. found (all assignments made)... 34.87 c Sol. found (all assignments made)... 34.89 c Sol. found (all assignments made)... 34.91 c Sol. found (all assignments made)... 34.91 c Sol. found (all assignments made)... 34.92 c Sol. found (all assignments made)... 35.04 c Sol. found (all assignments made)... 35.04 c Sol. found (all assignments made)... 35.04 c Sol. found (all assignments made)... 35.05 c Sol. found (all assignments made)... 35.05 c Sol. found (all assignments made)... 35.06 c Sol. found (all assignments made)... 35.06 c Sol. found (all assignments made)... 35.06 c Sol. found (all assignments made)... 35.07 c Sol. found (all assignments made)... 35.09 c Sol. found (all assignments made)... 35.09 c Sol. found (all assignments made)... 35.09 c Sol. found (all assignments made)... 35.10 c Sol. found (all assignments made)... 35.18 c Sol. found (all assignments made)... 35.19 c Sol. found (all assignments made)... 35.19 c Sol. found (all assignments made)... 35.20 c Sol. found (all assignments made)... 35.20 c Sol. found (all assignments made)... 35.20 c Sol. found (all assignments made)... 35.21 c Sol. found (all assignments made)... 35.23 c Sol. found (all assignments made)... 35.25 c Sol. found (all assignments made)... 35.25 c Sol. found (all assignments made)... 35.27 c Sol. found (all assignments made)... 35.27 c Sol. found (all assignments made)... 35.38 c Sol. found (all assignments made)... 35.38 c Sol. found (all assignments made)... 35.40 c Sol. found (all assignments made)... 35.41 c Sol. found (all assignments made)... 35.42 c Sol. found (all assignments made)... 35.43 c Sol. found (all assignments made)... 35.43 c Sol. found (all assignments made)... 35.48 c Sol. found (all assignments made)... 35.49 c Sol. found (all assignments made)... 35.51 c Sol. found (all assignments made)... 35.54 c Sol. found (all assignments made)... 35.58 c Sol. found (all assignments made)... 35.58 c Sol. found (all assignments made)... 35.59 c Sol. found (all assignments made)... 35.60 c Sol. found (all assignments made)... 35.62 c Sol. found (all assignments made)... 35.62 c Sol. found (all assignments made)... 35.63 c Sol. found (all assignments made)... 35.64 c Sol. found (all assignments made)... 35.65 c Sol. found (all assignments made)... 35.66 c Sol. found (all assignments made)... 35.66 c Sol. found (all assignments made)... 35.67 c Sol. found (all assignments made)... 35.67 c Sol. found (all assignments made)... 35.68 c Sol. found (all assignments made)... 35.71 c Sol. found (all assignments made)... 35.74 c Restart #12 #Var: 60 LB: -9228 @ 35.652 36.37 c Sol. found (all assignments made)... 36.39 c Sol. found (all assignments made)... 36.62 c Sol. found (all assignments made)... 36.64 c Sol. found (all assignments made)... 36.67 c Sol. found (all assignments made)... 36.86 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 37.18 c Sol. found (all assignments made)... 37.31 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.48 c Sol. found (all assignments made)... 37.52 c Sol. found (all assignments made)... 37.71 c Sol. found (all assignments made)... 37.85 c Sol. found (all assignments made)... 38.09 c Sol. found (all assignments made)... 38.24 c Sol. found (all assignments made)... 38.32 c Sol. found (all assignments made)... 38.35 c Sol. found (all assignments made)... 38.64 c Sol. found (all assignments made)... 38.89 c Sol. found (all assignments made)... 38.93 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.07 c Sol. found (all assignments made)... 39.10 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.58 c Sol. found (all assignments made)... 40.14 c Sol. found (all assignments made)... 40.48 c Sol. found (all assignments made)... 40.50 c Sol. found (all assignments made)... 40.69 c Sol. found (all assignments made)... 40.77 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.85 c Sol. found (all assignments made)... 41.20 c Sol. found (all assignments made)... 41.27 c Sol. found (all assignments made)... 41.39 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.42 c Sol. found (all assignments made)... 41.43 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 41.96 c Sol. found (all assignments made)... 42.11 c Sol. found (all assignments made)... 42.16 c Sol. found (all assignments made)... 42.20 c Sol. found (all assignments made)... 42.20 c Sol. found (all assignments made)... 42.28 c Sol. found (all assignments made)... 42.28 c Sol. found (all assignments made)... 42.29 c Sol. found (all assignments made)... 42.42 c Sol. found (all assignments made)... 42.42 c Sol. found (all assignments made)... 42.43 c Sol. found (all assignments made)... 42.49 c Sol. found (all assignments made)... 42.57 c Sol. found (all assignments made)... 42.59 c Sol. found (all assignments made)... 42.67 c Sol. found (all assignments made)... 42.71 c Sol. found (all assignments made)... 43.26 c Sol. found (all assignments made)... 43.28 c Sol. found (all assignments made)... 43.30 c Sol. found (all assignments made)... 43.43 c Sol. found (all assignments made)... 43.49 c Sol. found (all assignments made)... 43.49 c Sol. found (all assignments made)... 43.60 c Sol. found (all assignments made)... 43.66 c Sol. found (all assignments made)... 43.72 c Sol. found (all assignments made)... 43.79 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.85 c Sol. found (all assignments made)... 43.92 c Restart #13 #Var: 60 LB: -9228 @ 43.821 44.52 c Sol. found (all assignments made)... 45.08 c Sol. found (all assignments made)... 45.14 c Sol. found (all assignments made)... 45.35 c Sol. found (all assignments made)... 45.43 c Sol. found (all assignments made)... 45.71 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.79 c Sol. found (all assignments made)... 45.84 c Sol. found (all assignments made)... 45.90 c Sol. found (all assignments made)... 45.99 c Sol. found (all assignments made)... 46.15 c Sol. found (all assignments made)... 46.26 c Sol. found (all assignments made)... 46.31 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.41 c Sol. found (all assignments made)... 46.43 c Sol. found (all assignments made)... 46.53 c Sol. found (all assignments made)... 46.54 c Sol. found (all assignments made)... 46.72 c Sol. found (all assignments made)... 46.75 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.82 c Sol. found (all assignments made)... 46.85 c Sol. found (all assignments made)... 46.93 c Sol. found (all assignments made)... 47.06 c Sol. found (all assignments made)... 47.12 c Sol. found (all assignments made)... 47.12 c Sol. found (all assignments made)... 47.13 c Sol. found (all assignments made)... 47.15 c Sol. found (all assignments made)... 47.17 c Sol. found (all assignments made)... 47.46 c Sol. found (all assignments made)... 47.64 c Sol. found (all assignments made)... 47.70 c Sol. found (all assignments made)... 47.76 c Sol. found (all assignments made)... 48.05 c Sol. found (all assignments made)... 48.13 c Sol. found (all assignments made)... 48.17 c Sol. found (all assignments made)... 48.24 c Sol. found (all assignments made)... 48.34 c Sol. found (all assignments made)... 48.35 c Sol. found (all assignments made)... 48.35 c Sol. found (all assignments made)... 48.42 c Sol. found (all assignments made)... 48.72 c Sol. found (all assignments made)... 48.73 c Sol. found (all assignments made)... 48.88 c Sol. found (all assignments made)... 48.89 c Sol. found (all assignments made)... 48.97 c Sol. found (all assignments made)... 48.98 c Sol. found (all assignments made)... 49.02 c Sol. found (all assignments made)... 49.02 c Sol. found (all assignments made)... 49.09 c Sol. found (all assignments made)... 49.14 c Sol. found (all assignments made)... 49.17 c Sol. found (all assignments made)... 49.17 c Sol. found (all assignments made)... 49.17 c Sol. found (all assignments made)... 49.32 c Sol. found (all assignments made)... 49.42 c Sol. found (all assignments made)... 49.47 c Sol. found (all assignments made)... 49.48 c Sol. found (all assignments made)... 49.53 c Sol. found (all assignments made)... 49.55 c Sol. found (all assignments made)... 49.55 c Sol. found (all assignments made)... 49.55 c Sol. found (all assignments made)... 49.59 c Sol. found (all assignments made)... 49.67 c Sol. found (all assignments made)... 49.68 c Sol. found (all assignments made)... 49.69 c Sol. found (all assignments made)... 49.70 c Sol. found (all assignments made)... 49.72 c Sol. found (all assignments made)... 49.76 c Sol. found (all assignments made)... 50.00 c Sol. found (all assignments made)... 50.05 c Sol. found (all assignments made)... 50.05 c Sol. found (all assignments made)... 50.16 c Sol. found (all assignments made)... 50.30 c Sol. found (all assignments made)... 50.42 c Sol. found (all assignments made)... 50.46 c Sol. found (all assignments made)... 50.57 c Sol. found (all assignments made)... 50.69 c Restart #14 #Var: 60 LB: -9228 @ 50.595 51.10 c Sol. found (all assignments made)... 51.66 c Sol. found (all assignments made)... 51.72 c Sol. found (all assignments made)... 51.97 c Sol. found (all assignments made)... 52.17 c Sol. found (all assignments made)... 52.28 c Sol. found (all assignments made)... 54.57 c Sol. found (all assignments made)... 54.72 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 55.07 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.39 c Sol. found (all assignments made)... 55.70 c Sol. found (all assignments made)... 55.71 c Sol. found (all assignments made)... 55.72 c Sol. found (all assignments made)... 56.23 c Sol. found (all assignments made)... 56.46 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.87 c Sol. found (all assignments made)... 56.94 c Sol. found (all assignments made)... 57.11 c Sol. found (all assignments made)... 57.26 c Sol. found (all assignments made)... 57.82 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.65 c Sol. found (all assignments made)... 58.66 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.34 c Sol. found (all assignments made)... 60.73 c Restart #15 #Var: 60 LB: -9228 @ 60.63 60.97 c Sol. found (all assignments made)... 61.05 c Sol. found (all assignments made)... 61.28 c Sol. found (all assignments made)... 61.39 c Sol. found (all assignments made)... 61.40 c Sol. found (all assignments made)... 61.65 c Sol. found (all assignments made)... 61.66 c Sol. found (all assignments made)... 61.74 c Sol. found (all assignments made)... 61.75 c Sol. found (all assignments made)... 61.80 c Sol. found (all assignments made)... 61.91 c Sol. found (all assignments made)... 61.95 c Sol. found (all assignments made)... 61.95 c Sol. found (all assignments made)... 61.95 o -6108 61.95 c NEW SOLUTION FOUND: -6108 @ 61.847 61.96 c Sol. found (all assignments made)... 62.00 c Sol. found (all assignments made)... 63.34 c Sol. found (all assignments made)... 63.65 c Sol. found (all assignments made)... 63.82 c Sol. found (all assignments made)... 63.97 c Sol. found (all assignments made)... 63.97 c Sol. found (all assignments made)... 63.97 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.08 c Sol. found (all assignments made)... 64.10 c Sol. found (all assignments made)... 64.12 c Sol. found (all assignments made)... 64.13 c Sol. found (all assignments made)... 64.85 c Sol. found (all assignments made)... 65.12 c Sol. found (all assignments made)... 65.22 c Sol. found (all assignments made)... 65.44 c Sol. found (all assignments made)... 65.44 c Sol. found (all assignments made)... 65.46 c Sol. found (all assignments made)... 65.53 c Sol. found (all assignments made)... 65.54 c Sol. found (all assignments made)... 65.54 c Sol. found (all assignments made)... 65.55 c Sol. found (all assignments made)... 65.56 c Sol. found (all assignments made)... 65.56 o -6274 65.56 c NEW SOLUTION FOUND: -6274 @ 65.455 65.82 c Sol. found (all assignments made)... 66.25 c Sol. found (all assignments made)... 66.89 c Sol. found (all assignments made)... 66.96 c Sol. found (all assignments made)... 67.23 c Sol. found (all assignments made)... 67.42 c Sol. found (all assignments made)... 67.48 c Sol. found (all assignments made)... 67.52 c Sol. found (all assignments made)... 67.55 c Sol. found (all assignments made)... 67.85 c Sol. found (all assignments made)... 68.18 c Sol. found (all assignments made)... 68.55 c Sol. found (all assignments made)... 69.83 c Sol. found (all assignments made)... 70.34 c Sol. found (all assignments made)... 70.70 c Sol. found (all assignments made)... 71.22 c Sol. found (all assignments made)... 71.25 c Sol. found (all assignments made)... 71.40 c Sol. found (all assignments made)... 71.63 c Sol. found (all assignments made)... 72.24 c Sol. found (all assignments made)... 72.24 c Sol. found (all assignments made)... 72.62 c Sol. found (all assignments made)... 72.64 c Sol. found (all assignments made)... 73.14 c Sol. found (all assignments made)... 73.15 c Sol. found (all assignments made)... 73.28 c Sol. found (all assignments made)... 73.35 c Sol. found (all assignments made)... 73.51 c Sol. found (all assignments made)... 73.52 c Sol. found (all assignments made)... 73.54 c Sol. found (all assignments made)... 73.56 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.79 c Sol. found (all assignments made)... 74.34 c Sol. found (all assignments made)... 74.41 c Sol. found (all assignments made)... 74.42 c Sol. found (all assignments made)... 74.56 c Sol. found (all assignments made)... 74.97 c Sol. found (all assignments made)... 75.09 c Sol. found (all assignments made)... 75.19 c Sol. found (all assignments made)... 75.73 c Restart #16 #Var: 60 LB: -9228 @ 75.627 77.56 c Sol. found (all assignments made)... 78.35 c Sol. found (all assignments made)... 78.53 c Sol. found (all assignments made)... 79.10 c Sol. found (all assignments made)... 79.25 c Sol. found (all assignments made)... 81.30 c Sol. found (all assignments made)... 81.86 c Sol. found (all assignments made)... 82.67 c Sol. found (all assignments made)... 82.76 c Sol. found (all assignments made)... 83.30 c Sol. found (all assignments made)... 84.63 c Sol. found (all assignments made)... 85.44 c Sol. found (all assignments made)... 85.86 c Sol. found (all assignments made)... 85.94 c Sol. found (all assignments made)... 86.59 c Sol. found (all assignments made)... 86.99 c Sol. found (all assignments made)... 87.00 c Sol. found (all assignments made)... 87.58 c Sol. found (all assignments made)... 87.95 c Sol. found (all assignments made)... 88.24 c Sol. found (all assignments made)... 88.59 c Sol. found (all assignments made)... 88.93 c Sol. found (all assignments made)... 88.98 c Sol. found (all assignments made)... 89.17 c Sol. found (all assignments made)... 89.24 c Sol. found (all assignments made)... 89.63 c Sol. found (all assignments made)... 90.90 c Sol. found (all assignments made)... 91.51 c Sol. found (all assignments made)... 91.87 c Sol. found (all assignments made)... 94.00 c Sol. found (all assignments made)... 94.12 c Sol. found (all assignments made)... 94.38 c Sol. found (all assignments made)... 94.45 c Sol. found (all assignments made)... 94.92 c Sol. found (all assignments made)... 95.16 c Restart #17 #Var: 60 LB: -9228 @ 95.049 97.69 c Sol. found (all assignments made)... 99.69 c Sol. found (all assignments made)... 100.01 c Sol. found (all assignments made)... 100.09 c Sol. found (all assignments made)... 100.68 c Sol. found (all assignments made)... 101.42 c Sol. found (all assignments made)... 106.33 c Sol. found (all assignments made)... 107.25 c Sol. found (all assignments made)... 107.46 c Sol. found (all assignments made)... 107.57 c Sol. found (all assignments made)... 107.67 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 108.06 c Sol. found (all assignments made)... 108.16 c Sol. found (all assignments made)... 108.36 c Sol. found (all assignments made)... 108.39 c Sol. found (all assignments made)... 110.02 c Sol. found (all assignments made)... 110.41 c Sol. found (all assignments made)... 111.20 c Sol. found (all assignments made)... 111.29 c Sol. found (all assignments made)... 113.78 c Sol. found (all assignments made)... 114.23 c Sol. found (all assignments made)... 114.46 c Sol. found (all assignments made)... 114.63 c Sol. found (all assignments made)... 114.69 c Sol. found (all assignments made)... 114.75 c Sol. found (all assignments made)... 114.83 c Sol. found (all assignments made)... 114.85 c Sol. found (all assignments made)... 115.01 c Sol. found (all assignments made)... 115.15 c Restart #18 #Var: 60 LB: -9228 @ 115.03 116.36 c Sol. found (all assignments made)... 116.71 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.70 c Sol. found (all assignments made)... 117.71 c Sol. found (all assignments made)... 117.72 c Sol. found (all assignments made)... 118.58 c Sol. found (all assignments made)... 119.14 c Sol. found (all assignments made)... 119.15 c Sol. found (all assignments made)... 119.15 c Sol. found (all assignments made)... 119.19 c Sol. found (all assignments made)... 119.34 c Sol. found (all assignments made)... 119.45 c Sol. found (all assignments made)... 119.45 c Sol. found (all assignments made)... 119.65 c Sol. found (all assignments made)... 119.79 c Sol. found (all assignments made)... 119.83 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 119.96 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.25 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.35 c Sol. found (all assignments made)... 120.41 c Sol. found (all assignments made)... 120.53 c Sol. found (all assignments made)... 120.77 c Sol. found (all assignments made)... 121.70 c Sol. found (all assignments made)... 122.25 c Sol. found (all assignments made)... 122.69 c Sol. found (all assignments made)... 123.13 c Sol. found (all assignments made)... 123.16 c Sol. found (all assignments made)... 123.64 c Sol. found (all assignments made)... 123.84 c Sol. found (all assignments made)... 123.99 c Sol. found (all assignments made)... 124.04 c Sol. found (all assignments made)... 124.17 c Sol. found (all assignments made)... 124.18 c Sol. found (all assignments made)... 124.39 c Sol. found (all assignments made)... 124.47 c Sol. found (all assignments made)... 124.49 c Sol. found (all assignments made)... 124.81 c Sol. found (all assignments made)... 125.05 c Sol. found (all assignments made)... 125.36 c Sol. found (all assignments made)... 125.62 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 126.12 c Sol. found (all assignments made)... 126.13 c Sol. found (all assignments made)... 126.19 c Sol. found (all assignments made)... 126.60 c Sol. found (all assignments made)... 127.10 c Sol. found (all assignments made)... 127.11 c Sol. found (all assignments made)... 127.33 c Sol. found (all assignments made)... 128.02 c Sol. found (all assignments made)... 128.08 c Sol. found (all assignments made)... 128.48 c Sol. found (all assignments made)... 128.61 c Restart #19 #Var: 60 LB: -9228 @ 128.49 129.55 c Sol. found (all assignments made)... 131.20 c Sol. found (all assignments made)... 133.01 c Sol. found (all assignments made)... 134.34 c Sol. found (all assignments made)... 134.46 c Sol. found (all assignments made)... 134.47 c Sol. found (all assignments made)... 134.58 c Sol. found (all assignments made)... 134.65 c Sol. found (all assignments made)... 134.70 c Sol. found (all assignments made)... 135.87 c Sol. found (all assignments made)... 136.35 c Sol. found (all assignments made)... 136.35 c Sol. found (all assignments made)... 137.29 c Sol. found (all assignments made)... 138.25 c Sol. found (all assignments made)... 138.39 c Sol. found (all assignments made)... 138.85 c Sol. found (all assignments made)... 138.87 c Sol. found (all assignments made)... 138.90 c Sol. found (all assignments made)... 139.40 c Sol. found (all assignments made)... 139.70 c Sol. found (all assignments made)... 140.50 c Sol. found (all assignments made)... 142.06 c Sol. found (all assignments made)... 142.35 c Sol. found (all assignments made)... 144.85 c Sol. found (all assignments made)... 145.57 c Sol. found (all assignments made)... 146.26 c Sol. found (all assignments made)... 146.35 c Sol. found (all assignments made)... 147.36 c Sol. found (all assignments made)... 147.63 c Sol. found (all assignments made)... 148.54 c Restart #20 #Var: 60 LB: -9228 @ 148.42 149.73 c Sol. found (all assignments made)... 150.90 c Sol. found (all assignments made)... 153.52 c Sol. found (all assignments made)... 153.84 c Sol. found (all assignments made)... 153.85 c Sol. found (all assignments made)... 154.19 c Sol. found (all assignments made)... 154.86 c Sol. found (all assignments made)... 155.63 c Sol. found (all assignments made)... 155.65 c Sol. found (all assignments made)... 155.88 c Sol. found (all assignments made)... 155.90 c Sol. found (all assignments made)... 155.95 c Sol. found (all assignments made)... 155.97 c Sol. found (all assignments made)... 156.17 c Sol. found (all assignments made)... 156.51 c Sol. found (all assignments made)... 156.52 c Sol. found (all assignments made)... 156.56 c Sol. found (all assignments made)... 157.14 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.68 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 158.83 c Sol. found (all assignments made)... 159.59 c Sol. found (all assignments made)... 159.79 c Sol. found (all assignments made)... 159.82 c Sol. found (all assignments made)... 160.63 c Sol. found (all assignments made)... 160.64 c Sol. found (all assignments made)... 162.25 c Sol. found (all assignments made)... 162.31 c Sol. found (all assignments made)... 162.35 c Sol. found (all assignments made)... 162.38 c Sol. found (all assignments made)... 162.69 c Sol. found (all assignments made)... 163.07 c Sol. found (all assignments made)... 163.21 c Sol. found (all assignments made)... 163.22 c Sol. found (all assignments made)... 163.44 c Sol. found (all assignments made)... 163.44 c Sol. found (all assignments made)... 163.54 c Sol. found (all assignments made)... 163.58 c Sol. found (all assignments made)... 163.90 c Sol. found (all assignments made)... 163.93 c Sol. found (all assignments made)... 163.93 c Sol. found (all assignments made)... 163.95 c Sol. found (all assignments made)... 164.04 c Sol. found (all assignments made)... 164.12 c Sol. found (all assignments made)... 164.13 c Sol. found (all assignments made)... 164.68 c Sol. found (all assignments made)... 164.69 c Sol. found (all assignments made)... 164.72 c Sol. found (all assignments made)... 164.76 c Sol. found (all assignments made)... 164.77 c Sol. found (all assignments made)... 164.77 c Sol. found (all assignments made)... 164.78 c Sol. found (all assignments made)... 166.15 c Sol. found (all assignments made)... 166.25 c Sol. found (all assignments made)... 166.26 c Sol. found (all assignments made)... 166.26 c Sol. found (all assignments made)... 167.35 c Sol. found (all assignments made)... 167.35 c Sol. found (all assignments made)... 167.46 c Sol. found (all assignments made)... 167.46 c Sol. found (all assignments made)... 167.47 c Sol. found (all assignments made)... 167.95 c Sol. found (all assignments made)... 169.14 c Sol. found (all assignments made)... 169.14 c Sol. found (all assignments made)... 169.15 c Sol. found (all assignments made)... 169.32 c Sol. found (all assignments made)... 170.08 c Sol. found (all assignments made)... 170.34 c Restart #21 #Var: 60 LB: -9228 @ 170.2 172.09 c Sol. found (all assignments made)... 172.60 c Sol. found (all assignments made)... 173.91 c Sol. found (all assignments made)... 173.93 c Sol. found (all assignments made)... 174.26 c Sol. found (all assignments made)... 177.19 c Sol. found (all assignments made)... 177.75 c Sol. found (all assignments made)... 178.88 c Sol. found (all assignments made)... 178.96 c Sol. found (all assignments made)... 180.79 c Sol. found (all assignments made)... 181.48 c Sol. found (all assignments made)... 182.24 c Sol. found (all assignments made)... 182.55 c Sol. found (all assignments made)... 182.65 c Sol. found (all assignments made)... 182.75 c Sol. found (all assignments made)... 182.76 c Sol. found (all assignments made)... 182.93 c Sol. found (all assignments made)... 182.95 c Sol. found (all assignments made)... 182.97 c Sol. found (all assignments made)... 183.00 c Sol. found (all assignments made)... 183.11 c Sol. found (all assignments made)... 183.53 c Sol. found (all assignments made)... 183.57 c Sol. found (all assignments made)... 183.88 c Sol. found (all assignments made)... 184.05 c Sol. found (all assignments made)... 184.13 c Sol. found (all assignments made)... 184.17 c Sol. found (all assignments made)... 185.25 c Sol. found (all assignments made)... 185.29 c Sol. found (all assignments made)... 185.41 c Sol. found (all assignments made)... 185.66 c Sol. found (all assignments made)... 186.80 c Sol. found (all assignments made)... 188.59 c Sol. found (all assignments made)... 188.65 c Sol. found (all assignments made)... 188.66 c Sol. found (all assignments made)... 188.69 c Sol. found (all assignments made)... 188.84 c Sol. found (all assignments made)... 188.86 c Sol. found (all assignments made)... 188.87 c Sol. found (all assignments made)... 188.89 c Sol. found (all assignments made)... 188.94 c Sol. found (all assignments made)... 189.07 c Sol. found (all assignments made)... 189.23 c Sol. found (all assignments made)... 189.31 c Sol. found (all assignments made)... 189.48 c Sol. found (all assignments made)... 189.76 c Sol. found (all assignments made)... 190.03 c Sol. found (all assignments made)... 190.22 c Sol. found (all assignments made)... 190.37 c Sol. found (all assignments made)... 192.52 c Sol. found (all assignments made)... 192.52 c Sol. found (all assignments made)... 192.56 c Sol. found (all assignments made)... 193.35 c Sol. found (all assignments made)... 193.43 c Sol. found (all assignments made)... 193.48 c Sol. found (all assignments made)... 193.64 c Sol. found (all assignments made)... 193.89 c Sol. found (all assignments made)... 193.90 c Sol. found (all assignments made)... 194.18 c Sol. found (all assignments made)... 194.26 c Sol. found (all assignments made)... 194.34 c Sol. found (all assignments made)... 194.70 c Sol. found (all assignments made)... 195.02 c Sol. found (all assignments made)... 195.13 c Restart #22 #Var: 60 LB: -9228 @ 194.99 196.02 c Sol. found (all assignments made)... 196.11 c Sol. found (all assignments made)... 196.98 c Sol. found (all assignments made)... 197.46 c Sol. found (all assignments made)... 197.74 c Sol. found (all assignments made)... 197.96 c Sol. found (all assignments made)... 198.48 c Sol. found (all assignments made)... 199.60 c Sol. found (all assignments made)... 199.83 c Sol. found (all assignments made)... 200.42 c Sol. found (all assignments made)... 201.36 c Sol. found (all assignments made)... 201.64 c Sol. found (all assignments made)... 201.86 c Sol. found (all assignments made)... 202.81 c Sol. found (all assignments made)... 203.34 c Sol. found (all assignments made)... 203.56 c Sol. found (all assignments made)... 203.63 c Sol. found (all assignments made)... 203.81 c Sol. found (all assignments made)... 203.81 c Sol. found (all assignments made)... 203.84 c Sol. found (all assignments made)... 203.90 c Sol. found (all assignments made)... 204.16 c Sol. found (all assignments made)... 204.27 c Sol. found (all assignments made)... 204.27 c Sol. found (all assignments made)... 204.28 c Sol. found (all assignments made)... 204.39 c Sol. found (all assignments made)... 204.40 c Sol. found (all assignments made)... 204.43 c Sol. found (all assignments made)... 204.47 c Sol. found (all assignments made)... 204.81 c Sol. found (all assignments made)... 204.92 c Sol. found (all assignments made)... 205.28 c Sol. found (all assignments made)... 205.29 c Sol. found (all assignments made)... 205.48 c Sol. found (all assignments made)... 205.56 c Sol. found (all assignments made)... 205.56 c Sol. found (all assignments made)... 205.67 c Sol. found (all assignments made)... 205.92 c Sol. found (all assignments made)... 206.23 c Sol. found (all assignments made)... 206.24 c Sol. found (all assignments made)... 206.24 c Sol. found (all assignments made)... 206.26 c Sol. found (all assignments made)... 206.37 c Sol. found (all assignments made)... 206.53 c Sol. found (all assignments made)... 207.05 c Sol. found (all assignments made)... 207.07 c Sol. found (all assignments made)... 207.16 c Sol. found (all assignments made)... 207.17 c Sol. found (all assignments made)... 207.19 c Sol. found (all assignments made)... 207.20 c Sol. found (all assignments made)... 207.22 c Sol. found (all assignments made)... 207.22 c Sol. found (all assignments made)... 207.50 c Sol. found (all assignments made)... 207.76 c Sol. found (all assignments made)... 207.88 c Sol. found (all assignments made)... 207.90 c Sol. found (all assignments made)... 208.55 c Sol. found (all assignments made)... 208.63 c Sol. found (all assignments made)... 208.79 c Sol. found (all assignments made)... 208.87 c Sol. found (all assignments made)... 209.47 c Sol. found (all assignments made)... 210.15 c Sol. found (all assignments made)... 210.17 c Sol. found (all assignments made)... 210.50 c Sol. found (all assignments made)... 210.56 c Sol. found (all assignments made)... 211.11 c Sol. found (all assignments made)... 211.45 c Sol. found (all assignments made)... 211.58 c Sol. found (all assignments made)... 211.60 c Sol. found (all assignments made)... 211.84 c Sol. found (all assignments made)... 211.84 c Sol. found (all assignments made)... 212.09 c Sol. found (all assignments made)... 212.09 c Sol. found (all assignments made)... 212.53 c Sol. found (all assignments made)... 212.85 c Sol. found (all assignments made)... 214.05 c Sol. found (all assignments made)... 214.31 c Sol. found (all assignments made)... 215.24 c Restart #23 #Var: 60 LB: -9228 @ 215.09 216.17 c Sol. found (all assignments made)... 216.82 c Sol. found (all assignments made)... 216.90 c Sol. found (all assignments made)... 220.43 c Sol. found (all assignments made)... 220.56 c Sol. found (all assignments made)... 220.69 c Sol. found (all assignments made)... 220.91 c Sol. found (all assignments made)... 221.08 c Sol. found (all assignments made)... 221.12 c Sol. found (all assignments made)... 221.17 c Sol. found (all assignments made)... 222.70 c Sol. found (all assignments made)... 222.73 c Sol. found (all assignments made)... 222.74 c Sol. found (all assignments made)... 222.75 c Sol. found (all assignments made)... 223.56 c Sol. found (all assignments made)... 223.62 c Sol. found (all assignments made)... 223.90 c Sol. found (all assignments made)... 224.19 c Sol. found (all assignments made)... 224.25 c Sol. found (all assignments made)... 224.58 c Sol. found (all assignments made)... 225.12 c Sol. found (all assignments made)... 225.92 c Sol. found (all assignments made)... 225.98 c Sol. found (all assignments made)... 226.20 c Sol. found (all assignments made)... 226.30 c Sol. found (all assignments made)... 226.32 c Sol. found (all assignments made)... 226.67 c Sol. found (all assignments made)... 226.76 c Sol. found (all assignments made)... 226.80 c Sol. found (all assignments made)... 227.20 c Sol. found (all assignments made)... 227.25 c Sol. found (all assignments made)... 228.75 c Sol. found (all assignments made)... 229.21 c Sol. found (all assignments made)... 229.36 c Sol. found (all assignments made)... 230.53 c Sol. found (all assignments made)... 230.57 c Sol. found (all assignments made)... 230.63 c Sol. found (all assignments made)... 230.66 c Sol. found (all assignments made)... 230.66 c Sol. found (all assignments made)... 230.82 c Sol. found (all assignments made)... 231.51 c Sol. found (all assignments made)... 231.56 c Sol. found (all assignments made)... 231.57 c Sol. found (all assignments made)... 231.58 c Sol. found (all assignments made)... 231.59 c Sol. found (all assignments made)... 231.63 c Sol. found (all assignments made)... 231.71 c Sol. found (all assignments made)... 231.71 c Sol. found (all assignments made)... 232.09 c Sol. found (all assignments made)... 232.20 c Sol. found (all assignments made)... 232.20 c Sol. found (all assignments made)... 232.63 c Sol. found (all assignments made)... 232.74 c Sol. found (all assignments made)... 232.97 c Sol. found (all assignments made)... 233.10 c Sol. found (all assignments made)... 233.21 c Sol. found (all assignments made)... 233.58 c Sol. found (all assignments made)... 233.69 c Sol. found (all assignments made)... 234.01 c Sol. found (all assignments made)... 235.30 c Sol. found (all assignments made)... 235.45 c Sol. found (all assignments made)... 235.95 c Sol. found (all assignments made)... 236.01 c Sol. found (all assignments made)... 236.02 c Sol. found (all assignments made)... 236.26 c Sol. found (all assignments made)... 237.59 c Sol. found (all assignments made)... 238.03 c Sol. found (all assignments made)... 238.21 c Sol. found (all assignments made)... 238.58 c Sol. found (all assignments made)... 239.10 c Sol. found (all assignments made)... 239.38 c Sol. found (all assignments made)... 239.56 c Sol. found (all assignments made)... 240.07 c Restart #24 #Var: 60 LB: -9228 @ 239.91 242.76 c Sol. found (all assignments made)... 242.86 c Sol. found (all assignments made)... 244.06 c Sol. found (all assignments made)... 244.07 c Sol. found (all assignments made)... 244.42 c Sol. found (all assignments made)... 244.99 c Sol. found (all assignments made)... 246.14 c Sol. found (all assignments made)... 246.21 c Sol. found (all assignments made)... 246.53 c Sol. found (all assignments made)... 248.21 c Sol. found (all assignments made)... 248.68 c Sol. found (all assignments made)... 248.70 c Sol. found (all assignments made)... 248.80 c Sol. found (all assignments made)... 249.32 c Sol. found (all assignments made)... 250.31 c Sol. found (all assignments made)... 250.65 c Sol. found (all assignments made)... 253.08 c Sol. found (all assignments made)... 253.09 c Sol. found (all assignments made)... 253.11 c Sol. found (all assignments made)... 254.80 c Sol. found (all assignments made)... 255.06 c Sol. found (all assignments made)... 255.07 c Sol. found (all assignments made)... 255.09 c Sol. found (all assignments made)... 255.15 c Sol. found (all assignments made)... 255.34 c Sol. found (all assignments made)... 256.28 c Sol. found (all assignments made)... 256.52 c Sol. found (all assignments made)... 257.26 c Sol. found (all assignments made)... 258.97 c Sol. found (all assignments made)... 259.06 c Sol. found (all assignments made)... 259.62 c Sol. found (all assignments made)... 259.67 c Sol. found (all assignments made)... 259.76 c Sol. found (all assignments made)... 260.72 c Sol. found (all assignments made)... 260.99 c Sol. found (all assignments made)... 261.35 c Sol. found (all assignments made)... 261.36 c Sol. found (all assignments made)... 261.37 c Sol. found (all assignments made)... 261.67 c Sol. found (all assignments made)... 261.86 c Sol. found (all assignments made)... 261.97 c Sol. found (all assignments made)... 261.99 c Sol. found (all assignments made)... 262.21 c Sol. found (all assignments made)... 262.35 c Sol. found (all assignments made)... 262.72 c Sol. found (all assignments made)... 263.11 c Sol. found (all assignments made)... 264.58 c Sol. found (all assignments made)... 264.78 c Sol. found (all assignments made)... 264.79 c Sol. found (all assignments made)... 264.83 c Sol. found (all assignments made)... 264.86 c Sol. found (all assignments made)... 265.57 c Sol. found (all assignments made)... 266.04 c Restart #25 #Var: 60 LB: -9228 @ 265.88 267.41 c Sol. found (all assignments made)... 267.59 c Sol. found (all assignments made)... 268.25 c Sol. found (all assignments made)... 268.45 c Sol. found (all assignments made)... 268.49 c Sol. found (all assignments made)... 272.22 c Sol. found (all assignments made)... 273.42 c Sol. found (all assignments made)... 273.72 c Sol. found (all assignments made)... 274.19 c Sol. found (all assignments made)... 274.24 c Sol. found (all assignments made)... 274.37 c Sol. found (all assignments made)... 274.83 c Sol. found (all assignments made)... 274.87 c Sol. found (all assignments made)... 274.97 c Sol. found (all assignments made)... 275.02 c Sol. found (all assignments made)... 275.06 c Sol. found (all assignments made)... 275.28 c Sol. found (all assignments made)... 275.31 c Sol. found (all assignments made)... 276.07 c Sol. found (all assignments made)... 277.27 c Sol. found (all assignments made)... 277.48 c Sol. found (all assignments made)... 278.00 c Sol. found (all assignments made)... 278.17 c Sol. found (all assignments made)... 280.52 c Sol. found (all assignments made)... 280.64 c Sol. found (all assignments made)... 281.59 c Sol. found (all assignments made)... 282.94 c Sol. found (all assignments made)... 283.59 c Sol. found (all assignments made)... 289.75 c Sol. found (all assignments made)... 289.86 c Sol. found (all assignments made)... 290.27 c Sol. found (all assignments made)... 290.81 c Sol. found (all assignments made)... 290.84 c Sol. found (all assignments made)... 292.44 c Sol. found (all assignments made)... 292.46 c Sol. found (all assignments made)... 292.89 c Sol. found (all assignments made)... 293.34 c Sol. found (all assignments made)... 295.03 c Sol. found (all assignments made)... 295.05 c Sol. found (all assignments made)... 296.86 c Sol. found (all assignments made)... 297.06 c Sol. found (all assignments made)... 297.58 c Sol. found (all assignments made)... 298.19 c Sol. found (all assignments made)... 298.20 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.98 c Sol. found (all assignments made)... 299.16 c Sol. found (all assignments made)... 299.35 c Sol. found (all assignments made)... 299.46 c Sol. found (all assignments made)... 300.09 c Sol. found (all assignments made)... 300.31 c Sol. found (all assignments made)... 300.36 c Sol. found (all assignments made)... 302.97 c Sol. found (all assignments made)... 303.00 c Sol. found (all assignments made)... 303.36 c Sol. found (all assignments made)... 303.97 c Sol. found (all assignments made)... 304.39 c Sol. found (all assignments made)... 304.40 c Sol. found (all assignments made)... 304.42 c Sol. found (all assignments made)... 304.47 c Sol. found (all assignments made)... 305.17 c Restart #26 #Var: 60 LB: -9228 @ 305 306.07 c Sol. found (all assignments made)... 306.37 c Sol. found (all assignments made)... 308.31 c Sol. found (all assignments made)... 309.49 c Sol. found (all assignments made)... 309.51 c Sol. found (all assignments made)... 310.58 c Sol. found (all assignments made)... 310.60 c Sol. found (all assignments made)... 310.68 c Sol. found (all assignments made)... 310.94 c Sol. found (all assignments made)... 311.84 c Sol. found (all assignments made)... 312.55 c Sol. found (all assignments made)... 314.34 c Sol. found (all assignments made)... 314.70 c Sol. found (all assignments made)... 314.92 c Sol. found (all assignments made)... 315.17 c Sol. found (all assignments made)... 315.31 c Sol. found (all assignments made)... 315.39 c Sol. found (all assignments made)... 315.69 c Sol. found (all assignments made)... 316.06 c Sol. found (all assignments made)... 316.17 c Sol. found (all assignments made)... 316.99 c Sol. found (all assignments made)... 317.28 c Sol. found (all assignments made)... 317.47 c Sol. found (all assignments made)... 318.29 c Sol. found (all assignments made)... 318.40 c Sol. found (all assignments made)... 318.89 c Sol. found (all assignments made)... 319.15 c Sol. found (all assignments made)... 319.74 c Sol. found (all assignments made)... 320.32 c Sol. found (all assignments made)... 321.25 c Sol. found (all assignments made)... 321.38 c Sol. found (all assignments made)... 321.58 c Sol. found (all assignments made)... 322.11 c Sol. found (all assignments made)... 322.65 c Sol. found (all assignments made)... 323.21 c Sol. found (all assignments made)... 325.82 c Sol. found (all assignments made)... 326.11 c Sol. found (all assignments made)... 326.41 c Sol. found (all assignments made)... 326.72 c Sol. found (all assignments made)... 326.84 c Sol. found (all assignments made)... 326.95 c Sol. found (all assignments made)... 327.32 c Sol. found (all assignments made)... 328.82 c Sol. found (all assignments made)... 329.05 c Sol. found (all assignments made)... 329.47 c Sol. found (all assignments made)... 329.56 c Sol. found (all assignments made)... 330.50 c Sol. found (all assignments made)... 330.76 c Sol. found (all assignments made)... 331.50 c Sol. found (all assignments made)... 333.24 c Sol. found (all assignments made)... 333.32 c Sol. found (all assignments made)... 333.44 c Sol. found (all assignments made)... 334.21 c Sol. found (all assignments made)... 334.60 c Sol. found (all assignments made)... 335.53 c Sol. found (all assignments made)... 336.21 c Sol. found (all assignments made)... 336.54 c Sol. found (all assignments made)... 337.74 c Sol. found (all assignments made)... 339.23 c Sol. found (all assignments made)... 339.28 c Sol. found (all assignments made)... 340.39 c Sol. found (all assignments made)... 340.66 c Sol. found (all assignments made)... 340.98 c Restart #27 #Var: 60 LB: -9228 @ 340.79 344.29 c Sol. found (all assignments made)... 344.70 c Sol. found (all assignments made)... 345.40 c Sol. found (all assignments made)... 346.09 c Sol. found (all assignments made)... 346.98 c Sol. found (all assignments made)... 348.19 c Sol. found (all assignments made)... 348.22 c Sol. found (all assignments made)... 348.28 c Sol. found (all assignments made)... 349.28 c Sol. found (all assignments made)... 350.09 c Sol. found (all assignments made)... 350.32 c Sol. found (all assignments made)... 350.45 c Sol. found (all assignments made)... 352.74 c Sol. found (all assignments made)... 352.77 c Sol. found (all assignments made)... 353.41 c Sol. found (all assignments made)... 353.94 c Sol. found (all assignments made)... 353.97 c Sol. found (all assignments made)... 354.49 c Sol. found (all assignments made)... 355.02 c Sol. found (all assignments made)... 355.18 c Sol. found (all assignments made)... 355.32 c Sol. found (all assignments made)... 355.72 c Sol. found (all assignments made)... 355.82 c Sol. found (all assignments made)... 355.84 c Sol. found (all assignments made)... 355.86 c Sol. found (all assignments made)... 355.90 c Sol. found (all assignments made)... 356.00 c Sol. found (all assignments made)... 356.77 c Sol. found (all assignments made)... 357.40 c Sol. found (all assignments made)... 358.08 c Sol. found (all assignments made)... 358.12 c Sol. found (all assignments made)... 358.93 c Sol. found (all assignments made)... 359.16 c Sol. found (all assignments made)... 359.42 c Sol. found (all assignments made)... 361.04 c Sol. found (all assignments made)... 363.49 c Sol. found (all assignments made)... 364.28 c Sol. found (all assignments made)... 365.23 c Sol. found (all assignments made)... 366.71 c Sol. found (all assignments made)... 367.04 c Sol. found (all assignments made)... 367.13 c Sol. found (all assignments made)... 367.20 c Sol. found (all assignments made)... 367.27 c Sol. found (all assignments made)... 367.47 c Sol. found (all assignments made)... 367.52 c Sol. found (all assignments made)... 368.14 c Sol. found (all assignments made)... 368.29 c Sol. found (all assignments made)... 368.53 c Sol. found (all assignments made)... 368.95 c Sol. found (all assignments made)... 369.06 c Sol. found (all assignments made)... 369.11 c Sol. found (all assignments made)... 370.30 c Sol. found (all assignments made)... 370.39 c Sol. found (all assignments made)... 370.45 c Sol. found (all assignments made)... 370.69 c Sol. found (all assignments made)... 370.94 c Sol. found (all assignments made)... 370.94 c Sol. found (all assignments made)... 371.35 c Sol. found (all assignments made)... 371.66 c Sol. found (all assignments made)... 371.73 c Sol. found (all assignments made)... 371.85 c Sol. found (all assignments made)... 371.90 c Sol. found (all assignments made)... 372.40 c Sol. found (all assignments made)... 372.62 c Sol. found (all assignments made)... 372.64 c Sol. found (all assignments made)... 372.75 c Sol. found (all assignments made)... 373.20 c Sol. found (all assignments made)... 373.26 c Sol. found (all assignments made)... 374.99 c Sol. found (all assignments made)... 375.09 c Sol. found (all assignments made)... 375.16 c Sol. found (all assignments made)... 375.50 c Sol. found (all assignments made)... 376.66 c Sol. found (all assignments made)... 377.84 c Sol. found (all assignments made)... 378.27 c Sol. found (all assignments made)... 379.97 c Sol. found (all assignments made)... 380.16 c Sol. found (all assignments made)... 380.21 c Sol. found (all assignments made)... 380.29 c Sol. found (all assignments made)... 380.84 c Restart #28 #Var: 60 LB: -9228 @ 380.63 383.77 c Sol. found (all assignments made)... 383.86 c Sol. found (all assignments made)... 383.87 c Sol. found (all assignments made)... 384.88 c Sol. found (all assignments made)... 385.42 c Sol. found (all assignments made)... 385.50 c Sol. found (all assignments made)... 385.75 c Sol. found (all assignments made)... 386.09 c Sol. found (all assignments made)... 386.71 c Sol. found (all assignments made)... 386.79 c Sol. found (all assignments made)... 388.63 c Sol. found (all assignments made)... 388.80 c Sol. found (all assignments made)... 388.84 c Sol. found (all assignments made)... 389.47 c Sol. found (all assignments made)... 389.48 c Sol. found (all assignments made)... 390.80 c Sol. found (all assignments made)... 390.91 c Sol. found (all assignments made)... 391.09 c Sol. found (all assignments made)... 391.10 c Sol. found (all assignments made)... 391.12 c Sol. found (all assignments made)... 391.39 c Sol. found (all assignments made)... 392.17 c Sol. found (all assignments made)... 392.68 c Sol. found (all assignments made)... 394.36 c Sol. found (all assignments made)... 394.48 c Sol. found (all assignments made)... 394.98 c Sol. found (all assignments made)... 395.07 c Sol. found (all assignments made)... 395.12 c Sol. found (all assignments made)... 395.13 c Sol. found (all assignments made)... 395.32 c Sol. found (all assignments made)... 395.61 c Sol. found (all assignments made)... 396.11 c Sol. found (all assignments made)... 396.71 c Sol. found (all assignments made)... 397.41 c Sol. found (all assignments made)... 397.45 c Sol. found (all assignments made)... 399.05 c Sol. found (all assignments made)... 399.61 c Sol. found (all assignments made)... 400.01 c Sol. found (all assignments made)... 400.19 c Sol. found (all assignments made)... 400.62 c Sol. found (all assignments made)... 401.14 c Sol. found (all assignments made)... 401.53 c Sol. found (all assignments made)... 401.59 c Sol. found (all assignments made)... 402.43 c Sol. found (all assignments made)... 403.08 c Sol. found (all assignments made)... 405.30 c Sol. found (all assignments made)... 407.19 c Sol. found (all assignments made)... 407.44 c Sol. found (all assignments made)... 408.15 c Sol. found (all assignments made)... 408.73 c Sol. found (all assignments made)... 410.51 c Sol. found (all assignments made)... 410.64 c Sol. found (all assignments made)... 410.98 c Sol. found (all assignments made)... 411.22 c Sol. found (all assignments made)... 411.27 c Sol. found (all assignments made)... 411.30 c Sol. found (all assignments made)... 411.40 c Sol. found (all assignments made)... 411.61 c Sol. found (all assignments made)... 412.29 c Sol. found (all assignments made)... 412.41 c Sol. found (all assignments made)... 412.78 c Sol. found (all assignments made)... 412.88 c Sol. found (all assignments made)... 413.07 c Sol. found (all assignments made)... 414.42 c Sol. found (all assignments made)... 414.54 c Sol. found (all assignments made)... 414.81 c Sol. found (all assignments made)... 415.32 c Sol. found (all assignments made)... 415.85 c Sol. found (all assignments made)... 416.00 c Sol. found (all assignments made)... 417.34 c Sol. found (all assignments made)... 417.69 c Restart #29 #Var: 60 LB: -9228 @ 417.48 420.55 c Sol. found (all assignments made)... 424.68 c Sol. found (all assignments made)... 424.84 c Sol. found (all assignments made)... 426.21 c Sol. found (all assignments made)... 426.39 c Sol. found (all assignments made)... 426.59 c Sol. found (all assignments made)... 426.67 c Sol. found (all assignments made)... 427.23 c Sol. found (all assignments made)... 427.74 c Sol. found (all assignments made)... 428.06 c Sol. found (all assignments made)... 429.13 c Sol. found (all assignments made)... 429.64 c Sol. found (all assignments made)... 429.72 c Sol. found (all assignments made)... 431.59 c Sol. found (all assignments made)... 434.76 c Sol. found (all assignments made)... 435.14 c Sol. found (all assignments made)... 436.24 c Sol. found (all assignments made)... 437.72 c Sol. found (all assignments made)... 437.95 c Sol. found (all assignments made)... 439.44 c Sol. found (all assignments made)... 441.37 c Sol. found (all assignments made)... 441.74 c Sol. found (all assignments made)... 443.84 c Sol. found (all assignments made)... 447.17 c Sol. found (all assignments made)... 448.96 c Sol. found (all assignments made)... 449.46 c Sol. found (all assignments made)... 450.54 c Sol. found (all assignments made)... 451.72 c Sol. found (all assignments made)... 451.77 c Sol. found (all assignments made)... 453.06 c Sol. found (all assignments made)... 455.80 c Sol. found (all assignments made)... 456.19 c Sol. found (all assignments made)... 456.90 c Sol. found (all assignments made)... 458.81 c Sol. found (all assignments made)... 461.28 c Sol. found (all assignments made)... 462.18 c Sol. found (all assignments made)... 462.35 c Sol. found (all assignments made)... 462.49 c Sol. found (all assignments made)... 462.72 c Sol. found (all assignments made)... 463.24 c Sol. found (all assignments made)... 464.90 c Sol. found (all assignments made)... 466.35 c Sol. found (all assignments made)... 468.48 c Sol. found (all assignments made)... 469.10 c Sol. found (all assignments made)... 470.35 c Sol. found (all assignments made)... 470.48 c Sol. found (all assignments made)... 471.65 c Sol. found (all assignments made)... 471.88 c Sol. found (all assignments made)... 472.49 c Sol. found (all assignments made)... 473.29 c Sol. found (all assignments made)... 473.48 c Sol. found (all assignments made)... 473.97 c Sol. found (all assignments made)... 475.63 c Sol. found (all assignments made)... 475.97 c Sol. found (all assignments made)... 477.53 c Sol. found (all assignments made)... 477.93 c Sol. found (all assignments made)... 478.24 c Sol. found (all assignments made)... 478.35 c Sol. found (all assignments made)... 478.43 c Sol. found (all assignments made)... 479.07 c Sol. found (all assignments made)... 479.26 c Sol. found (all assignments made)... 479.60 c Sol. found (all assignments made)... 480.58 c Sol. found (all assignments made)... 480.76 c Restart #30 #Var: 60 LB: -9228 @ 480.52 482.12 c Sol. found (all assignments made)... 483.27 c Sol. found (all assignments made)... 483.56 c Sol. found (all assignments made)... 484.17 c Sol. found (all assignments made)... 484.37 c Sol. found (all assignments made)... 485.42 c Sol. found (all assignments made)... 485.76 c Sol. found (all assignments made)... 485.95 c Sol. found (all assignments made)... 486.37 c Sol. found (all assignments made)... 486.76 c Sol. found (all assignments made)... 488.24 c Sol. found (all assignments made)... 488.25 c Sol. found (all assignments made)... 488.29 c Sol. found (all assignments made)... 489.00 c Sol. found (all assignments made)... 489.29 c Sol. found (all assignments made)... 489.42 c Sol. found (all assignments made)... 489.53 c Sol. found (all assignments made)... 489.69 c Sol. found (all assignments made)... 489.77 c Sol. found (all assignments made)... 490.54 c Sol. found (all assignments made)... 490.69 c Sol. found (all assignments made)... 491.67 c Sol. found (all assignments made)... 492.53 c Sol. found (all assignments made)... 492.66 c Sol. found (all assignments made)... 492.82 c Sol. found (all assignments made)... 492.90 c Sol. found (all assignments made)... 492.96 c Sol. found (all assignments made)... 493.20 c Sol. found (all assignments made)... 493.24 c Sol. found (all assignments made)... 493.26 c Sol. found (all assignments made)... 493.36 c Sol. found (all assignments made)... 493.43 c Sol. found (all assignments made)... 493.49 c Sol. found (all assignments made)... 493.53 c Sol. found (all assignments made)... 493.92 c Sol. found (all assignments made)... 494.11 c Sol. found (all assignments made)... 494.44 c Sol. found (all assignments made)... 494.73 c Sol. found (all assignments made)... 495.32 c Sol. found (all assignments made)... 495.36 c Sol. found (all assignments made)... 495.54 c Sol. found (all assignments made)... 495.86 c Sol. found (all assignments made)... 495.89 c Sol. found (all assignments made)... 495.95 c Sol. found (all assignments made)... 496.25 c Sol. found (all assignments made)... 496.79 c Sol. found (all assignments made)... 496.84 c Sol. found (all assignments made)... 496.93 c Sol. found (all assignments made)... 497.12 c Sol. found (all assignments made)... 497.12 c Sol. found (all assignments made)... 497.19 c Sol. found (all assignments made)... 497.20 c Sol. found (all assignments made)... 497.40 c Sol. found (all assignments made)... 497.43 c Sol. found (all assignments made)... 498.78 c Sol. found (all assignments made)... 498.90 c Sol. found (all assignments made)... 499.42 c Sol. found (all assignments made)... 500.32 c Sol. found (all assignments made)... 500.44 c Sol. found (all assignments made)... 500.66 c Sol. found (all assignments made)... 500.70 c Sol. found (all assignments made)... 501.01 c Sol. found (all assignments made)... 501.06 c Sol. found (all assignments made)... 501.26 c Sol. found (all assignments made)... 502.45 c Sol. found (all assignments made)... 503.02 c Sol. found (all assignments made)... 503.33 c Sol. found (all assignments made)... 503.62 c Sol. found (all assignments made)... 503.66 c Sol. found (all assignments made)... 503.80 c Sol. found (all assignments made)... 503.82 c Sol. found (all assignments made)... 503.84 c Sol. found (all assignments made)... 503.84 c Sol. found (all assignments made)... 504.02 c Sol. found (all assignments made)... 504.04 c Sol. found (all assignments made)... 504.23 c Sol. found (all assignments made)... 504.28 c Sol. found (all assignments made)... 504.44 c Sol. found (all assignments made)... 504.45 c Sol. found (all assignments made)... 504.47 c Sol. found (all assignments made)... 504.98 c Sol. found (all assignments made)... 504.99 c Sol. found (all assignments made)... 505.54 c Sol. found (all assignments made)... 505.64 c Sol. found (all assignments made)... 505.73 c Sol. found (all assignments made)... 505.87 c Sol. found (all assignments made)... 505.91 c Sol. found (all assignments made)... 506.29 c Sol. found (all assignments made)... 506.53 c Sol. found (all assignments made)... 506.67 c Sol. found (all assignments made)... 506.93 c Sol. found (all assignments made)... 506.98 c Sol. found (all assignments made)... 507.14 c Sol. found (all assignments made)... 507.32 c Sol. found (all assignments made)... 507.47 c Sol. found (all assignments made)... 507.83 c Sol. found (all assignments made)... 507.87 c Sol. found (all assignments made)... 507.95 c Sol. found (all assignments made)... 508.03 c Sol. found (all assignments made)... 508.04 c Sol. found (all assignments made)... 508.07 c Sol. found (all assignments made)... 508.07 c Sol. found (all assignments made)... 508.55 c Sol. found (all assignments made)... 508.62 c Sol. found (all assignments made)... 509.13 c Sol. found (all assignments made)... 509.40 c Sol. found (all assignments made)... 509.46 c Sol. found (all assignments made)... 509.52 c Sol. found (all assignments made)... 509.53 c Sol. found (all assignments made)... 509.60 c Sol. found (all assignments made)... 509.61 c Sol. found (all assignments made)... 509.74 c Sol. found (all assignments made)... 509.87 c Sol. found (all assignments made)... 509.93 c Sol. found (all assignments made)... 509.93 c Sol. found (all assignments made)... 509.94 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.79 c Sol. found (all assignments made)... 510.81 c Sol. found (all assignments made)... 510.89 c Sol. found (all assignments made)... 511.39 c Sol. found (all assignments made)... 511.46 c Sol. found (all assignments made)... 511.48 c Sol. found (all assignments made)... 511.63 c Sol. found (all assignments made)... 511.79 c Sol. found (all assignments made)... 511.83 c Sol. found (all assignments made)... 511.91 c Sol. found (all assignments made)... 511.95 c Sol. found (all assignments made)... 511.97 c Sol. found (all assignments made)... 512.17 c Restart #31 #Var: 60 LB: -9228 @ 511.93 513.49 c Sol. found (all assignments made)... 514.44 c Sol. found (all assignments made)... 514.62 c Sol. found (all assignments made)... 514.74 c Sol. found (all assignments made)... 518.30 c Sol. found (all assignments made)... 520.93 c Sol. found (all assignments made)... 521.86 c Sol. found (all assignments made)... 527.44 c Sol. found (all assignments made)... 530.32 c Sol. found (all assignments made)... 531.12 c Sol. found (all assignments made)... 531.49 c Sol. found (all assignments made)... 531.87 c Sol. found (all assignments made)... 535.11 c Sol. found (all assignments made)... 536.78 c Sol. found (all assignments made)... 537.12 c Sol. found (all assignments made)... 540.73 c Sol. found (all assignments made)... 546.10 c Sol. found (all assignments made)... 546.28 c Sol. found (all assignments made)... 548.63 c Sol. found (all assignments made)... 553.05 c Sol. found (all assignments made)... 555.96 c Sol. found (all assignments made)... 556.35 c Sol. found (all assignments made)... 559.88 c Sol. found (all assignments made)... 561.09 c Sol. found (all assignments made)... 561.23 c Sol. found (all assignments made)... 562.02 c Sol. found (all assignments made)... 562.25 c Sol. found (all assignments made)... 562.87 c Sol. found (all assignments made)... 563.67 c Sol. found (all assignments made)... 564.45 c Sol. found (all assignments made)... 564.53 c Sol. found (all assignments made)... 565.35 c Sol. found (all assignments made)... 565.92 c Sol. found (all assignments made)... 566.97 c Sol. found (all assignments made)... 567.01 c Sol. found (all assignments made)... 568.77 c Sol. found (all assignments made)... 570.77 c Sol. found (all assignments made)... 570.91 c Sol. found (all assignments made)... 570.96 c Sol. found (all assignments made)... 572.81 c Sol. found (all assignments made)... 572.84 c Sol. found (all assignments made)... 574.21 c Sol. found (all assignments made)... 574.80 c Sol. found (all assignments made)... 575.66 c Sol. found (all assignments made)... 575.77 c Sol. found (all assignments made)... 575.91 c Sol. found (all assignments made)... 576.44 c Sol. found (all assignments made)... 576.70 c Sol. found (all assignments made)... 576.96 c Sol. found (all assignments made)... 580.97 c Sol. found (all assignments made)... 581.72 c Sol. found (all assignments made)... 582.28 c Sol. found (all assignments made)... 583.81 c Sol. found (all assignments made)... 585.84 c Sol. found (all assignments made)... 587.88 c Sol. found (all assignments made)... 588.45 c Sol. found (all assignments made)... 590.22 c Sol. found (all assignments made)... 590.64 c Sol. found (all assignments made)... 590.83 c Sol. found (all assignments made)... 593.35 c Sol. found (all assignments made)... 594.77 c Sol. found (all assignments made)... 595.89 c Sol. found (all assignments made)... 597.32 c Sol. found (all assignments made)... 597.95 c Sol. found (all assignments made)... 599.23 c Restart #32 #Var: 60 LB: -9228 @ 598.96 602.36 c Sol. found (all assignments made)... 604.64 c Sol. found (all assignments made)... 605.47 c Sol. found (all assignments made)... 606.41 c Sol. found (all assignments made)... 606.87 c Sol. found (all assignments made)... 606.99 c Sol. found (all assignments made)... 612.17 c Sol. found (all assignments made)... 615.97 c Sol. found (all assignments made)... 617.15 c Sol. found (all assignments made)... 617.25 c Sol. found (all assignments made)... 617.61 c Sol. found (all assignments made)... 617.86 c Sol. found (all assignments made)... 617.92 c Sol. found (all assignments made)... 619.03 c Sol. found (all assignments made)... 619.33 c Sol. found (all assignments made)... 622.58 c Sol. found (all assignments made)... 622.87 c Sol. found (all assignments made)... 624.03 c Sol. found (all assignments made)... 624.13 c Sol. found (all assignments made)... 625.09 c Sol. found (all assignments made)... 626.94 c Sol. found (all assignments made)... 627.58 c Sol. found (all assignments made)... 628.18 c Sol. found (all assignments made)... 628.84 c Sol. found (all assignments made)... 631.71 c Sol. found (all assignments made)... 632.35 c Sol. found (all assignments made)... 633.41 c Sol. found (all assignments made)... 633.46 c Sol. found (all assignments made)... 633.49 c Sol. found (all assignments made)... 633.82 c Sol. found (all assignments made)... 633.86 c Sol. found (all assignments made)... 634.19 c Sol. found (all assignments made)... 636.13 c Sol. found (all assignments made)... 636.44 c Sol. found (all assignments made)... 636.46 c Sol. found (all assignments made)... 640.60 c Sol. found (all assignments made)... 641.18 c Sol. found (all assignments made)... 641.92 c Sol. found (all assignments made)... 641.96 c Sol. found (all assignments made)... 644.84 c Sol. found (all assignments made)... 644.86 c Sol. found (all assignments made)... 644.90 c Sol. found (all assignments made)... 644.93 c Sol. found (all assignments made)... 644.94 c Sol. found (all assignments made)... 645.08 c Sol. found (all assignments made)... 645.21 c Sol. found (all assignments made)... 646.99 c Sol. found (all assignments made)... 647.77 c Sol. found (all assignments made)... 650.19 c Sol. found (all assignments made)... 650.46 c Sol. found (all assignments made)... 650.75 c Sol. found (all assignments made)... 652.70 c Sol. found (all assignments made)... 654.60 c Sol. found (all assignments made)... 654.67 c Sol. found (all assignments made)... 655.67 c Sol. found (all assignments made)... 655.81 c Sol. found (all assignments made)... 655.82 c Sol. found (all assignments made)... 656.00 c Sol. found (all assignments made)... 656.31 c Sol. found (all assignments made)... 656.49 c Sol. found (all assignments made)... 656.52 c Sol. found (all assignments made)... 657.33 c Sol. found (all assignments made)... 657.84 c Sol. found (all assignments made)... 657.88 c Sol. found (all assignments made)... 657.90 c Sol. found (all assignments made)... 659.65 c Sol. found (all assignments made)... 659.68 c Sol. found (all assignments made)... 659.86 c Sol. found (all assignments made)... 659.99 c Sol. found (all assignments made)... 661.03 c Sol. found (all assignments made)... 661.11 c Sol. found (all assignments made)... 662.18 c Sol. found (all assignments made)... 662.73 c Sol. found (all assignments made)... 662.77 c Sol. found (all assignments made)... 663.36 c Sol. found (all assignments made)... 663.52 c Sol. found (all assignments made)... 663.55 c Sol. found (all assignments made)... 663.56 c Sol. found (all assignments made)... 664.33 c Sol. found (all assignments made)... 665.16 c Sol. found (all assignments made)... 665.96 c Sol. found (all assignments made)... 667.00 c Sol. found (all assignments made)... 667.11 c Sol. found (all assignments made)... 667.12 c Sol. found (all assignments made)... 667.12 c Sol. found (all assignments made)... 667.14 c Sol. found (all assignments made)... 668.85 c Sol. found (all assignments made)... 669.32 c Sol. found (all assignments made)... 670.23 c Sol. found (all assignments made)... 670.29 c Sol. found (all assignments made)... 670.60 c Sol. found (all assignments made)... 670.74 c Sol. found (all assignments made)... 671.06 c Restart #33 #Var: 60 LB: -9228 @ 670.77 676.04 c Sol. found (all assignments made)... 677.47 c Sol. found (all assignments made)... 678.72 c Sol. found (all assignments made)... 679.73 c Sol. found (all assignments made)... 680.61 c Sol. found (all assignments made)... 681.87 c Sol. found (all assignments made)... 682.07 c Sol. found (all assignments made)... 682.30 c Sol. found (all assignments made)... 682.71 c Sol. found (all assignments made)... 683.42 c Sol. found (all assignments made)... 683.92 c Sol. found (all assignments made)... 685.85 c Sol. found (all assignments made)... 686.08 c Sol. found (all assignments made)... 686.09 c Sol. found (all assignments made)... 686.86 c Sol. found (all assignments made)... 688.20 c Sol. found (all assignments made)... 691.10 c Sol. found (all assignments made)... 692.99 c Sol. found (all assignments made)... 696.59 c Sol. found (all assignments made)... 696.97 c Sol. found (all assignments made)... 699.75 c Sol. found (all assignments made)... 700.42 c Sol. found (all assignments made)... 700.58 c Sol. found (all assignments made)... 702.12 c Sol. found (all assignments made)... 703.49 c Sol. found (all assignments made)... 703.53 c Sol. found (all assignments made)... 704.74 c Sol. found (all assignments made)... 705.01 c Sol. found (all assignments made)... 705.12 c Sol. found (all assignments made)... 707.21 c Sol. found (all assignments made)... 711.37 c Sol. found (all assignments made)... 713.18 c Sol. found (all assignments made)... 713.24 c Sol. found (all assignments made)... 713.52 c Sol. found (all assignments made)... 714.96 c Sol. found (all assignments made)... 716.68 c Sol. found (all assignments made)... 718.02 c Sol. found (all assignments made)... 718.74 c Sol. found (all assignments made)... 720.47 c Sol. found (all assignments made)... 720.70 c Sol. found (all assignments made)... 721.08 c Sol. found (all assignments made)... 721.32 c Sol. found (all assignments made)... 721.46 c Sol. found (all assignments made)... 721.57 c Sol. found (all assignments made)... 722.22 c Sol. found (all assignments made)... 722.75 c Sol. found (all assignments made)... 722.82 c Sol. found (all assignments made)... 722.82 c Sol. found (all assignments made)... 722.89 c Sol. found (all assignments made)... 723.40 c Sol. found (all assignments made)... 723.68 c Sol. found (all assignments made)... 723.99 c Sol. found (all assignments made)... 725.00 c Sol. found (all assignments made)... 725.37 c Sol. found (all assignments made)... 725.48 c Sol. found (all assignments made)... 725.60 c Sol. found (all assignments made)... 725.63 c Sol. found (all assignments made)... 725.94 c Sol. found (all assignments made)... 726.00 c Sol. found (all assignments made)... 726.64 c Sol. found (all assignments made)... 726.66 c Sol. found (all assignments made)... 726.73 c Sol. found (all assignments made)... 726.81 c Sol. found (all assignments made)... 726.92 c Sol. found (all assignments made)... 727.36 c Sol. found (all assignments made)... 727.48 c Sol. found (all assignments made)... 727.63 c Sol. found (all assignments made)... 729.50 c Sol. found (all assignments made)... 729.55 c Sol. found (all assignments made)... 729.56 c Sol. found (all assignments made)... 729.64 c Sol. found (all assignments made)... 729.65 c Sol. found (all assignments made)... 729.66 c Sol. found (all assignments made)... 730.63 c Sol. found (all assignments made)... 730.90 c Sol. found (all assignments made)... 731.14 c Sol. found (all assignments made)... 731.24 c Sol. found (all assignments made)... 731.51 c Sol. found (all assignments made)... 731.98 c Sol. found (all assignments made)... 731.99 c Sol. found (all assignments made)... 732.23 c Restart #34 #Var: 60 LB: -9228 @ 731.92 734.70 c Sol. found (all assignments made)... 735.34 c Sol. found (all assignments made)... 736.31 c Sol. found (all assignments made)... 737.04 c Sol. found (all assignments made)... 737.27 c Sol. found (all assignments made)... 737.96 c Sol. found (all assignments made)... 740.73 c Sol. found (all assignments made)... 741.05 c Sol. found (all assignments made)... 741.07 c Sol. found (all assignments made)... 744.18 c Sol. found (all assignments made)... 744.40 c Sol. found (all assignments made)... 744.56 c Sol. found (all assignments made)... 744.76 c Sol. found (all assignments made)... 744.92 c Sol. found (all assignments made)... 744.98 c Sol. found (all assignments made)... 745.19 c Sol. found (all assignments made)... 745.33 c Sol. found (all assignments made)... 745.66 c Sol. found (all assignments made)... 745.80 c Sol. found (all assignments made)... 746.60 c Sol. found (all assignments made)... 746.66 c Sol. found (all assignments made)... 746.74 c Sol. found (all assignments made)... 746.81 c Sol. found (all assignments made)... 746.92 c Sol. found (all assignments made)... 746.95 c Sol. found (all assignments made)... 746.97 c Sol. found (all assignments made)... 746.98 c Sol. found (all assignments made)... 747.36 c Sol. found (all assignments made)... 748.25 c Sol. found (all assignments made)... 748.26 c Sol. found (all assignments made)... 748.43 c Sol. found (all assignments made)... 748.68 c Sol. found (all assignments made)... 749.33 c Sol. found (all assignments made)... 750.37 c Sol. found (all assignments made)... 750.59 c Sol. found (all assignments made)... 750.61 c Sol. found (all assignments made)... 751.09 c Sol. found (all assignments made)... 751.36 c Sol. found (all assignments made)... 751.77 c Sol. found (all assignments made)... 752.49 c Sol. found (all assignments made)... 752.64 c Sol. found (all assignments made)... 752.65 c Sol. found (all assignments made)... 753.90 c Sol. found (all assignments made)... 755.31 c Sol. found (all assignments made)... 755.91 c Sol. found (all assignments made)... 755.91 c Sol. found (all assignments made)... 756.41 c Sol. found (all assignments made)... 756.53 c Sol. found (all assignments made)... 756.57 c Sol. found (all assignments made)... 758.25 c Sol. found (all assignments made)... 758.67 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.93 c Sol. found (all assignments made)... 759.97 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.39 c Sol. found (all assignments made)... 760.42 c Sol. found (all assignments made)... 760.47 c Sol. found (all assignments made)... 761.40 c Sol. found (all assignments made)... 761.79 c Sol. found (all assignments made)... 761.81 c Sol. found (all assignments made)... 761.96 c Sol. found (all assignments made)... 762.04 c Sol. found (all assignments made)... 762.11 c Sol. found (all assignments made)... 762.21 c Sol. found (all assignments made)... 762.63 c Sol. found (all assignments made)... 762.90 c Sol. found (all assignments made)... 763.46 c Sol. found (all assignments made)... 763.72 c Sol. found (all assignments made)... 763.79 c Sol. found (all assignments made)... 763.82 c Sol. found (all assignments made)... 764.58 c Sol. found (all assignments made)... 764.68 c Sol. found (all assignments made)... 765.73 c Sol. found (all assignments made)... 765.90 c Sol. found (all assignments made)... 767.10 c Sol. found (all assignments made)... 767.17 c Sol. found (all assignments made)... 767.28 c Sol. found (all assignments made)... 767.30 c Sol. found (all assignments made)... 767.74 c Sol. found (all assignments made)... 767.98 c Sol. found (all assignments made)... 768.75 c Sol. found (all assignments made)... 768.99 c Sol. found (all assignments made)... 769.02 c Sol. found (all assignments made)... 769.04 c Sol. found (all assignments made)... 769.15 c Sol. found (all assignments made)... 769.50 c Sol. found (all assignments made)... 770.00 c Sol. found (all assignments made)... 770.20 c Sol. found (all assignments made)... 770.27 c Sol. found (all assignments made)... 770.31 c Sol. found (all assignments made)... 770.43 c Sol. found (all assignments made)... 770.73 c Sol. found (all assignments made)... 770.75 c Sol. found (all assignments made)... 770.82 c Sol. found (all assignments made)... 770.93 c Sol. found (all assignments made)... 770.99 c Sol. found (all assignments made)... 771.15 c Sol. found (all assignments made)... 771.45 c Sol. found (all assignments made)... 771.54 c Sol. found (all assignments made)... 771.69 c Sol. found (all assignments made)... 772.98 c Sol. found (all assignments made)... 773.35 c Sol. found (all assignments made)... 773.69 c Sol. found (all assignments made)... 773.77 c Sol. found (all assignments made)... 773.91 c Sol. found (all assignments made)... 774.31 c Sol. found (all assignments made)... 774.48 c Sol. found (all assignments made)... 774.59 c Sol. found (all assignments made)... 774.64 c Sol. found (all assignments made)... 775.09 c Sol. found (all assignments made)... 775.67 c Sol. found (all assignments made)... 776.58 c Sol. found (all assignments made)... 776.76 c Sol. found (all assignments made)... 776.80 c Sol. found (all assignments made)... 777.03 c Sol. found (all assignments made)... 777.05 c Sol. found (all assignments made)... 777.53 c Sol. found (all assignments made)... 777.80 c Sol. found (all assignments made)... 777.80 c Sol. found (all assignments made)... 777.81 c Sol. found (all assignments made)... 777.84 c Sol. found (all assignments made)... 778.16 c Sol. found (all assignments made)... 778.19 c Sol. found (all assignments made)... 778.20 c Sol. found (all assignments made)... 778.21 c Sol. found (all assignments made)... 778.22 c Sol. found (all assignments made)... 778.22 c Sol. found (all assignments made)... 778.23 c Sol. found (all assignments made)... 778.24 c Sol. found (all assignments made)... 778.28 c Sol. found (all assignments made)... 778.32 c Sol. found (all assignments made)... 778.35 c Sol. found (all assignments made)... 778.46 c Sol. found (all assignments made)... 778.52 c Sol. found (all assignments made)... 778.92 c Sol. found (all assignments made)... 778.96 c Sol. found (all assignments made)... 779.22 c Sol. found (all assignments made)... 779.38 c Sol. found (all assignments made)... 779.38 c Sol. found (all assignments made)... 779.72 c Sol. found (all assignments made)... 779.83 c Sol. found (all assignments made)... 779.95 c Sol. found (all assignments made)... 780.02 c Sol. found (all assignments made)... 780.10 c Sol. found (all assignments made)... 780.41 c Sol. found (all assignments made)... 781.75 c Sol. found (all assignments made)... 781.76 c Sol. found (all assignments made)... 782.06 c Sol. found (all assignments made)... 782.18 c Sol. found (all assignments made)... 782.67 c Sol. found (all assignments made)... 782.68 c Sol. found (all assignments made)... 782.74 c Sol. found (all assignments made)... 783.22 c Sol. found (all assignments made)... 783.42 c Sol. found (all assignments made)... 783.53 c Sol. found (all assignments made)... 783.63 c Sol. found (all assignments made)... 784.86 c Sol. found (all assignments made)... 785.10 c Sol. found (all assignments made)... 785.24 c Sol. found (all assignments made)... 785.82 c Sol. found (all assignments made)... 786.13 c Sol. found (all assignments made)... 786.52 c Sol. found (all assignments made)... 786.52 c Sol. found (all assignments made)... 786.56 c Sol. found (all assignments made)... 786.83 c Sol. found (all assignments made)... 786.97 c Sol. found (all assignments made)... 787.70 c Sol. found (all assignments made)... 788.14 c Sol. found (all assignments made)... 788.39 c Restart #35 #Var: 60 LB: -9228 @ 788.06 794.58 c Sol. found (all assignments made)... 794.65 c Sol. found (all assignments made)... 794.79 c Sol. found (all assignments made)... 795.27 c Sol. found (all assignments made)... 795.87 c Sol. found (all assignments made)... 796.11 c Sol. found (all assignments made)... 796.12 c Sol. found (all assignments made)... 796.12 c Sol. found (all assignments made)... 797.69 c Sol. found (all assignments made)... 802.22 c Sol. found (all assignments made)... 802.39 c Sol. found (all assignments made)... 803.25 c Sol. found (all assignments made)... 804.29 c Sol. found (all assignments made)... 804.47 c Sol. found (all assignments made)... 807.68 c Sol. found (all assignments made)... 807.76 c Sol. found (all assignments made)... 809.12 c Sol. found (all assignments made)... 809.44 c Sol. found (all assignments made)... 809.73 c Sol. found (all assignments made)... 810.33 c Sol. found (all assignments made)... 810.80 c Sol. found (all assignments made)... 810.82 c Sol. found (all assignments made)... 811.02 c Sol. found (all assignments made)... 812.12 c Sol. found (all assignments made)... 812.67 c Sol. found (all assignments made)... 813.26 c Sol. found (all assignments made)... 815.21 c Sol. found (all assignments made)... 815.60 c Sol. found (all assignments made)... 817.45 c Sol. found (all assignments made)... 819.72 c Sol. found (all assignments made)... 820.08 c Sol. found (all assignments made)... 820.88 c Sol. found (all assignments made)... 820.92 c Sol. found (all assignments made)... 823.46 c Sol. found (all assignments made)... 823.96 c Sol. found (all assignments made)... 824.18 c Sol. found (all assignments made)... 824.56 c Sol. found (all assignments made)... 824.59 c Sol. found (all assignments made)... 824.66 c Sol. found (all assignments made)... 826.21 c Sol. found (all assignments made)... 826.30 c Sol. found (all assignments made)... 827.12 c Sol. found (all assignments made)... 827.89 c Sol. found (all assignments made)... 828.24 c Sol. found (all assignments made)... 828.49 c Sol. found (all assignments made)... 830.93 c Sol. found (all assignments made)... 831.56 c Sol. found (all assignments made)... 833.13 c Sol. found (all assignments made)... 835.65 c Sol. found (all assignments made)... 837.06 c Sol. found (all assignments made)... 837.62 c Sol. found (all assignments made)... 838.56 c Sol. found (all assignments made)... 838.63 c Sol. found (all assignments made)... 838.88 c Sol. found (all assignments made)... 841.04 c Sol. found (all assignments made)... 841.06 c Sol. found (all assignments made)... 841.27 c Sol. found (all assignments made)... 841.67 c Sol. found (all assignments made)... 842.70 c Sol. found (all assignments made)... 842.82 c Sol. found (all assignments made)... 844.45 c Sol. found (all assignments made)... 844.52 c Sol. found (all assignments made)... 844.54 c Sol. found (all assignments made)... 844.57 c Sol. found (all assignments made)... 844.69 c Sol. found (all assignments made)... 844.79 c Sol. found (all assignments made)... 845.23 c Sol. found (all assignments made)... 845.39 c Sol. found (all assignments made)... 845.42 c Sol. found (all assignments made)... 845.56 c Sol. found (all assignments made)... 845.87 c Sol. found (all assignments made)... 845.91 c Sol. found (all assignments made)... 845.93 c Sol. found (all assignments made)... 846.11 c Sol. found (all assignments made)... 846.15 c Sol. found (all assignments made)... 846.17 c Sol. found (all assignments made)... 846.35 c Sol. found (all assignments made)... 846.58 c Sol. found (all assignments made)... 846.85 c Sol. found (all assignments made)... 846.95 c Sol. found (all assignments made)... 847.66 c Sol. found (all assignments made)... 848.15 c Sol. found (all assignments made)... 848.34 c Sol. found (all assignments made)... 848.35 c Sol. found (all assignments made)... 848.57 c Sol. found (all assignments made)... 848.95 c Sol. found (all assignments made)... 849.51 c Sol. found (all assignments made)... 849.55 c Sol. found (all assignments made)... 849.57 c Sol. found (all assignments made)... 849.72 c Sol. found (all assignments made)... 849.79 c Sol. found (all assignments made)... 850.03 c Sol. found (all assignments made)... 850.11 c Sol. found (all assignments made)... 850.90 c Sol. found (all assignments made)... 851.71 c Sol. found (all assignments made)... 852.15 c Sol. found (all assignments made)... 852.52 c Sol. found (all assignments made)... 852.86 c Sol. found (all assignments made)... 852.92 c Sol. found (all assignments made)... 853.21 c Sol. found (all assignments made)... 853.22 c Sol. found (all assignments made)... 854.00 c Sol. found (all assignments made)... 854.56 c Sol. found (all assignments made)... 855.29 c Sol. found (all assignments made)... 855.66 c Sol. found (all assignments made)... 855.89 c Sol. found (all assignments made)... 857.61 c Sol. found (all assignments made)... 858.26 c Sol. found (all assignments made)... 858.83 c Sol. found (all assignments made)... 858.99 c Sol. found (all assignments made)... 859.08 c Sol. found (all assignments made)... 859.84 c Sol. found (all assignments made)... 859.92 c Sol. found (all assignments made)... 860.32 c Sol. found (all assignments made)... 863.95 c Sol. found (all assignments made)... 864.91 c Sol. found (all assignments made)... 865.17 c Sol. found (all assignments made)... 865.92 c Sol. found (all assignments made)... 866.34 c Sol. found (all assignments made)... 866.49 c Sol. found (all assignments made)... 866.62 c Sol. found (all assignments made)... 866.91 c Sol. found (all assignments made)... 867.03 c Sol. found (all assignments made)... 868.08 c Sol. found (all assignments made)... 868.66 c Sol. found (all assignments made)... 870.08 c Sol. found (all assignments made)... 870.61 c Sol. found (all assignments made)... 871.28 c Sol. found (all assignments made)... 872.55 c Sol. found (all assignments made)... 872.99 c Sol. found (all assignments made)... 873.08 c Sol. found (all assignments made)... 873.26 c Sol. found (all assignments made)... 875.10 c Restart #36 #Var: 60 LB: -9228 @ 874.74 876.80 c Sol. found (all assignments made)... 884.90 c Sol. found (all assignments made)... 885.06 c Sol. found (all assignments made)... 885.07 c Sol. found (all assignments made)... 887.20 c Sol. found (all assignments made)... 888.66 c Sol. found (all assignments made)... 890.27 c Sol. found (all assignments made)... 890.32 c Sol. found (all assignments made)... 894.72 c Sol. found (all assignments made)... 897.19 c Sol. found (all assignments made)... 898.06 c Sol. found (all assignments made)... 899.52 c Sol. found (all assignments made)... 901.06 c Sol. found (all assignments made)... 901.88 c Sol. found (all assignments made)... 905.89 c Sol. found (all assignments made)... 907.07 c Sol. found (all assignments made)... 907.72 c Sol. found (all assignments made)... 910.15 c Sol. found (all assignments made)... 911.79 c Sol. found (all assignments made)... 912.39 c Sol. found (all assignments made)... 913.01 c Sol. found (all assignments made)... 913.20 c Sol. found (all assignments made)... 913.36 c Sol. found (all assignments made)... 916.13 c Sol. found (all assignments made)... 916.35 c Sol. found (all assignments made)... 917.12 c Sol. found (all assignments made)... 918.88 c Sol. found (all assignments made)... 919.85 c Sol. found (all assignments made)... 920.14 c Sol. found (all assignments made)... 920.26 c Sol. found (all assignments made)... 920.62 c Sol. found (all assignments made)... 921.34 c Sol. found (all assignments made)... 921.54 c Sol. found (all assignments made)... 921.66 c Sol. found (all assignments made)... 922.87 c Sol. found (all assignments made)... 922.89 c Sol. found (all assignments made)... 924.26 c Sol. found (all assignments made)... 925.73 c Sol. found (all assignments made)... 925.84 c Sol. found (all assignments made)... 926.19 c Sol. found (all assignments made)... 926.22 c Sol. found (all assignments made)... 930.24 c Sol. found (all assignments made)... 931.53 c Sol. found (all assignments made)... 932.75 c Sol. found (all assignments made)... 932.77 c Sol. found (all assignments made)... 933.27 c Sol. found (all assignments made)... 933.30 c Sol. found (all assignments made)... 933.66 c Sol. found (all assignments made)... 935.77 c Sol. found (all assignments made)... 935.83 c Sol. found (all assignments made)... 937.06 c Sol. found (all assignments made)... 938.24 c Sol. found (all assignments made)... 938.69 c Sol. found (all assignments made)... 938.98 c Sol. found (all assignments made)... 939.75 c Sol. found (all assignments made)... 939.91 c Sol. found (all assignments made)... 940.97 c Sol. found (all assignments made)... 941.40 c Sol. found (all assignments made)... 942.40 c Sol. found (all assignments made)... 944.23 c Sol. found (all assignments made)... 945.56 c Sol. found (all assignments made)... 945.94 c Sol. found (all assignments made)... 946.19 c Sol. found (all assignments made)... 946.28 c Sol. found (all assignments made)... 946.61 c Sol. found (all assignments made)... 948.74 c Sol. found (all assignments made)... 951.57 c Sol. found (all assignments made)... 951.59 c Sol. found (all assignments made)... 952.61 c Sol. found (all assignments made)... 952.62 c Sol. found (all assignments made)... 952.65 c Sol. found (all assignments made)... 952.74 c Sol. found (all assignments made)... 953.10 c Sol. found (all assignments made)... 953.11 c Sol. found (all assignments made)... 956.22 c Sol. found (all assignments made)... 957.59 c Sol. found (all assignments made)... 957.83 c Sol. found (all assignments made)... 958.00 c Sol. found (all assignments made)... 958.35 c Sol. found (all assignments made)... 959.41 c Sol. found (all assignments made)... 960.20 c Sol. found (all assignments made)... 960.87 c Sol. found (all assignments made)... 961.12 c Sol. found (all assignments made)... 961.69 c Sol. found (all assignments made)... 962.03 c Sol. found (all assignments made)... 962.06 c Sol. found (all assignments made)... 962.50 c Sol. found (all assignments made)... 963.31 c Sol. found (all assignments made)... 964.03 c Sol. found (all assignments made)... 965.14 c Sol. found (all assignments made)... 965.33 c Sol. found (all assignments made)... 966.76 c Sol. found (all assignments made)... 967.92 c Sol. found (all assignments made)... 968.67 c Sol. found (all assignments made)... 969.24 c Sol. found (all assignments made)... 969.63 c Sol. found (all assignments made)... 970.10 c Sol. found (all assignments made)... 970.93 c Sol. found (all assignments made)... 970.95 c Sol. found (all assignments made)... 973.03 c Sol. found (all assignments made)... 973.06 c Sol. found (all assignments made)... 973.41 c Sol. found (all assignments made)... 974.60 c Sol. found (all assignments made)... 974.66 c Sol. found (all assignments made)... 975.29 c Sol. found (all assignments made)... 976.64 c Sol. found (all assignments made)... 976.81 c Sol. found (all assignments made)... 977.59 c Restart #37 #Var: 60 LB: -9228 @ 977.18 980.38 c Sol. found (all assignments made)... 987.37 c Sol. found (all assignments made)... 987.46 c Sol. found (all assignments made)... 987.93 c Sol. found (all assignments made)... 987.95 c Sol. found (all assignments made)... 988.34 c Sol. found (all assignments made)... 990.35 c Sol. found (all assignments made)... 990.53 c Sol. found (all assignments made)... 990.65 c Sol. found (all assignments made)... 991.24 c Sol. found (all assignments made)... 995.36 c Sol. found (all assignments made)... 996.32 c Sol. found (all assignments made)... 997.28 c Sol. found (all assignments made)... 998.14 c Sol. found (all assignments made)... 998.35 c Sol. found (all assignments made)... 998.76 c Sol. found (all assignments made)... 999.88 c Sol. found (all assignments made)... 1000.55 c Sol. found (all assignments made)... 1001.44 c Sol. found (all assignments made)... 1001.75 c Sol. found (all assignments made)... 1002.46 c Sol. found (all assignments made)... 1002.79 c Sol. found (all assignments made)... 1003.52 c Sol. found (all assignments made)... 1004.42 c Sol. found (all assignments made)... 1004.81 c Sol. found (all assignments made)... 1010.80 c Sol. found (all assignments made)... 1012.68 c Sol. found (all assignments made)... 1012.70 c Sol. found (all assignments made)... 1014.97 c Sol. found (all assignments made)... 1020.82 c Sol. found (all assignments made)... 1023.70 c Sol. found (all assignments made)... 1023.79 c Sol. found (all assignments made)... 1023.94 c Sol. found (all assignments made)... 1024.16 c Sol. found (all assignments made)... 1026.43 c Sol. found (all assignments made)... 1026.47 c Sol. found (all assignments made)... 1026.76 c Sol. found (all assignments made)... 1032.26 c Sol. found (all assignments made)... 1033.14 c Sol. found (all assignments made)... 1033.61 c Sol. found (all assignments made)... 1035.45 c Sol. found (all assignments made)... 1035.68 c Sol. found (all assignments made)... 1036.52 c Sol. found (all assignments made)... 1036.62 c Sol. found (all assignments made)... 1038.72 c Sol. found (all assignments made)... 1039.33 c Sol. found (all assignments made)... 1040.37 c Sol. found (all assignments made)... 1040.78 c Sol. found (all assignments made)... 1040.87 c Sol. found (all assignments made)... 1041.89 c Sol. found (all assignments made)... 1041.97 c Sol. found (all assignments made)... 1042.54 c Sol. found (all assignments made)... 1043.87 c Sol. found (all assignments made)... 1045.08 c Sol. found (all assignments made)... 1045.28 c Sol. found (all assignments made)... 1045.32 c Sol. found (all assignments made)... 1047.27 c Sol. found (all assignments made)... 1047.58 c Sol. found (all assignments made)... 1047.80 c Sol. found (all assignments made)... 1048.64 c Sol. found (all assignments made)... 1051.49 c Restart #38 #Var: 60 LB: -9228 @ 1051.1 1055.92 c Sol. found (all assignments made)... 1056.46 c Sol. found (all assignments made)... 1056.49 c Sol. found (all assignments made)... 1056.52 c Sol. found (all assignments made)... 1056.64 c Sol. found (all assignments made)... 1059.31 c Sol. found (all assignments made)... 1059.41 c Sol. found (all assignments made)... 1060.50 c Sol. found (all assignments made)... 1062.05 c Sol. found (all assignments made)... 1062.31 c Sol. found (all assignments made)... 1063.71 c Sol. found (all assignments made)... 1064.02 c Sol. found (all assignments made)... 1064.60 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.35 c Sol. found (all assignments made)... 1066.04 c Sol. found (all assignments made)... 1066.39 c Sol. found (all assignments made)... 1068.80 c Sol. found (all assignments made)... 1068.85 c Sol. found (all assignments made)... 1070.00 c Sol. found (all assignments made)... 1071.63 c Sol. found (all assignments made)... 1072.82 c Sol. found (all assignments made)... 1072.84 c Sol. found (all assignments made)... 1072.85 c Sol. found (all assignments made)... 1072.88 c Sol. found (all assignments made)... 1073.10 c Sol. found (all assignments made)... 1073.26 c Sol. found (all assignments made)... 1073.44 c Sol. found (all assignments made)... 1074.01 c Sol. found (all assignments made)... 1074.18 c Sol. found (all assignments made)... 1074.25 c Sol. found (all assignments made)... 1076.81 c Sol. found (all assignments made)... 1077.09 c Sol. found (all assignments made)... 1078.05 c Sol. found (all assignments made)... 1079.50 c Sol. found (all assignments made)... 1079.53 c Sol. found (all assignments made)... 1079.86 c Sol. found (all assignments made)... 1080.63 c Sol. found (all assignments made)... 1083.45 c Sol. found (all assignments made)... 1084.19 c Sol. found (all assignments made)... 1084.32 c Sol. found (all assignments made)... 1086.44 c Sol. found (all assignments made)... 1086.74 c Sol. found (all assignments made)... 1086.79 c Sol. found (all assignments made)... 1086.93 c Sol. found (all assignments made)... 1087.53 c Sol. found (all assignments made)... 1088.03 c Sol. found (all assignments made)... 1089.60 c Sol. found (all assignments made)... 1090.13 c Sol. found (all assignments made)... 1092.46 c Sol. found (all assignments made)... 1098.28 c Sol. found (all assignments made)... 1098.37 c Sol. found (all assignments made)... 1099.45 c Sol. found (all assignments made)... 1099.52 c Sol. found (all assignments made)... 1100.34 c Sol. found (all assignments made)... 1100.62 c Sol. found (all assignments made)... 1103.13 c Sol. found (all assignments made)... 1103.58 c Sol. found (all assignments made)... 1104.31 c Sol. found (all assignments made)... 1104.35 c Sol. found (all assignments made)... 1105.84 c Sol. found (all assignments made)... 1106.02 c Sol. found (all assignments made)... 1106.04 c Sol. found (all assignments made)... 1106.11 c Sol. found (all assignments made)... 1106.44 c Sol. found (all assignments made)... 1106.84 c Sol. found (all assignments made)... 1106.89 c Sol. found (all assignments made)... 1107.15 c Sol. found (all assignments made)... 1107.32 c Sol. found (all assignments made)... 1107.55 c Sol. found (all assignments made)... 1107.66 c Sol. found (all assignments made)... 1107.88 c Sol. found (all assignments made)... 1109.15 c Sol. found (all assignments made)... 1109.15 c Sol. found (all assignments made)... 1109.18 c Sol. found (all assignments made)... 1109.99 c Sol. found (all assignments made)... 1110.26 c Sol. found (all assignments made)... 1110.58 c Sol. found (all assignments made)... 1110.91 c Sol. found (all assignments made)... 1110.93 c Sol. found (all assignments made)... 1111.63 c Sol. found (all assignments made)... 1112.60 c Sol. found (all assignments made)... 1112.89 c Sol. found (all assignments made)... 1113.13 c Sol. found (all assignments made)... 1113.34 c Sol. found (all assignments made)... 1113.68 c Sol. found (all assignments made)... 1113.71 c Sol. found (all assignments made)... 1113.92 c Sol. found (all assignments made)... 1114.04 c Sol. found (all assignments made)... 1114.10 c Sol. found (all assignments made)... 1114.11 c Sol. found (all assignments made)... 1115.72 c Sol. found (all assignments made)... 1116.40 c Sol. found (all assignments made)... 1116.51 c Sol. found (all assignments made)... 1117.25 c Sol. found (all assignments made)... 1117.40 c Sol. found (all assignments made)... 1117.63 c Sol. found (all assignments made)... 1117.64 c Sol. found (all assignments made)... 1118.02 c Sol. found (all assignments made)... 1118.06 c Sol. found (all assignments made)... 1118.16 c Sol. found (all assignments made)... 1119.13 c Sol. found (all assignments made)... 1119.40 c Sol. found (all assignments made)... 1119.82 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.69 c Sol. found (all assignments made)... 1121.44 c Sol. found (all assignments made)... 1121.48 c Sol. found (all assignments made)... 1121.53 c Sol. found (all assignments made)... 1121.75 c Sol. found (all assignments made)... 1121.78 c Sol. found (all assignments made)... 1121.90 c Sol. found (all assignments made)... 1122.08 c Sol. found (all assignments made)... 1122.09 c Sol. found (all assignments made)... 1122.12 c Sol. found (all assignments made)... 1122.44 c Sol. found (all assignments made)... 1122.44 c Sol. found (all assignments made)... 1122.44 c Sol. found (all assignments made)... 1122.82 c Sol. found (all assignments made)... 1122.84 c Sol. found (all assignments made)... 1123.21 c Sol. found (all assignments made)... 1123.42 c Sol. found (all assignments made)... 1124.00 c Sol. found (all assignments made)... 1124.99 c Sol. found (all assignments made)... 1125.08 c Sol. found (all assignments made)... 1125.10 c Sol. found (all assignments made)... 1126.51 c Sol. found (all assignments made)... 1126.52 c Sol. found (all assignments made)... 1126.64 c Sol. found (all assignments made)... 1126.74 c Sol. found (all assignments made)... 1126.83 c Sol. found (all assignments made)... 1126.99 c Sol. found (all assignments made)... 1127.01 c Sol. found (all assignments made)... 1127.15 c Sol. found (all assignments made)... 1129.04 c Restart #39 #Var: 60 LB: -9228 @ 1128.6 1131.43 c Sol. found (all assignments made)... 1134.27 c Sol. found (all assignments made)... 1134.63 c Sol. found (all assignments made)... 1135.97 c Sol. found (all assignments made)... 1137.18 c Sol. found (all assignments made)... 1137.41 c Sol. found (all assignments made)... 1137.71 c Sol. found (all assignments made)... 1138.15 c Sol. found (all assignments made)... 1138.77 c Sol. found (all assignments made)... 1138.79 c Sol. found (all assignments made)... 1139.14 c Sol. found (all assignments made)... 1139.16 c Sol. found (all assignments made)... 1139.23 c Sol. found (all assignments made)... 1139.40 c Sol. found (all assignments made)... 1139.42 c Sol. found (all assignments made)... 1139.43 c Sol. found (all assignments made)... 1139.86 c Sol. found (all assignments made)... 1141.48 c Sol. found (all assignments made)... 1141.48 c Sol. found (all assignments made)... 1141.51 c Sol. found (all assignments made)... 1142.01 c Sol. found (all assignments made)... 1142.05 c Sol. found (all assignments made)... 1142.83 c Sol. found (all assignments made)... 1142.87 c Sol. found (all assignments made)... 1143.01 c Sol. found (all assignments made)... 1143.02 c Sol. found (all assignments made)... 1143.09 c Sol. found (all assignments made)... 1143.30 c Sol. found (all assignments made)... 1143.43 c Sol. found (all assignments made)... 1144.05 c Sol. found (all assignments made)... 1144.50 c Sol. found (all assignments made)... 1145.48 c Sol. found (all assignments made)... 1145.65 c Sol. found (all assignments made)... 1146.89 c Sol. found (all assignments made)... 1147.54 c Sol. found (all assignments made)... 1147.78 c Sol. found (all assignments made)... 1147.80 c Sol. found (all assignments made)... 1148.45 c Sol. found (all assignments made)... 1148.62 c Sol. found (all assignments made)... 1148.69 c Sol. found (all assignments made)... 1149.55 c Sol. found (all assignments made)... 1149.80 c Sol. found (all assignments made)... 1150.02 c Sol. found (all assignments made)... 1150.04 c Sol. found (all assignments made)... 1150.34 c Sol. found (all assignments made)... 1150.35 c Sol. found (all assignments made)... 1151.18 c Sol. found (all assignments made)... 1151.44 c Sol. found (all assignments made)... 1151.59 c Sol. found (all assignments made)... 1151.77 c Sol. found (all assignments made)... 1151.80 c Sol. found (all assignments made)... 1151.84 c Sol. found (all assignments made)... 1151.87 c Sol. found (all assignments made)... 1152.48 c Sol. found (all assignments made)... 1152.54 c Sol. found (all assignments made)... 1152.56 c Sol. found (all assignments made)... 1152.63 c Sol. found (all assignments made)... 1152.63 c Sol. found (all assignments made)... 1152.79 c Sol. found (all assignments made)... 1152.81 c Sol. found (all assignments made)... 1152.85 c Sol. found (all assignments made)... 1152.85 c Sol. found (all assignments made)... 1152.87 c Sol. found (all assignments made)... 1152.88 c Sol. found (all assignments made)... 1153.66 c Sol. found (all assignments made)... 1154.32 c Sol. found (all assignments made)... 1154.62 c Sol. found (all assignments made)... 1155.44 c Sol. found (all assignments made)... 1155.45 c Sol. found (all assignments made)... 1155.80 c Sol. found (all assignments made)... 1155.83 c Sol. found (all assignments made)... 1155.86 c Sol. found (all assignments made)... 1156.52 c Sol. found (all assignments made)... 1156.76 c Sol. found (all assignments made)... 1156.80 c Sol. found (all assignments made)... 1156.86 c Sol. found (all assignments made)... 1156.88 c Sol. found (all assignments made)... 1156.91 c Sol. found (all assignments made)... 1157.01 c Sol. found (all assignments made)... 1157.27 c Sol. found (all assignments made)... 1157.28 c Sol. found (all assignments made)... 1157.28 c Sol. found (all assignments made)... 1157.37 c Sol. found (all assignments made)... 1157.50 c Sol. found (all assignments made)... 1157.51 c Sol. found (all assignments made)... 1157.54 c Sol. found (all assignments made)... 1157.67 c Sol. found (all assignments made)... 1158.40 c Sol. found (all assignments made)... 1158.42 c Sol. found (all assignments made)... 1158.43 c Sol. found (all assignments made)... 1160.19 c Sol. found (all assignments made)... 1160.55 c Sol. found (all assignments made)... 1160.94 c Sol. found (all assignments made)... 1161.11 c Sol. found (all assignments made)... 1161.66 c Sol. found (all assignments made)... 1161.70 c Sol. found (all assignments made)... 1161.80 c Sol. found (all assignments made)... 1161.80 c Sol. found (all assignments made)... 1161.82 c Sol. found (all assignments made)... 1161.82 c Sol. found (all assignments made)... 1161.82 c Sol. found (all assignments made)... 1161.86 c Sol. found (all assignments made)... 1162.11 c Sol. found (all assignments made)... 1162.12 c Sol. found (all assignments made)... 1162.12 c Sol. found (all assignments made)... 1162.12 c Sol. found (all assignments made)... 1162.12 c Sol. found (all assignments made)... 1162.29 c Sol. found (all assignments made)... 1162.29 c Sol. found (all assignments made)... 1162.32 c Sol. found (all assignments made)... 1162.32 c Sol. found (all assignments made)... 1162.35 c Sol. found (all assignments made)... 1162.43 c Sol. found (all assignments made)... 1162.76 c Sol. found (all assignments made)... 1163.35 c Sol. found (all assignments made)... 1163.40 c Sol. found (all assignments made)... 1163.56 c Sol. found (all assignments made)... 1163.82 c Sol. found (all assignments made)... 1164.29 c Sol. found (all assignments made)... 1164.63 c Sol. found (all assignments made)... 1164.63 c Sol. found (all assignments made)... 1164.67 c Sol. found (all assignments made)... 1164.72 c Sol. found (all assignments made)... 1164.73 c Sol. found (all assignments made)... 1164.79 c Sol. found (all assignments made)... 1164.99 c Sol. found (all assignments made)... 1165.01 c Sol. found (all assignments made)... 1165.10 c Sol. found (all assignments made)... 1165.11 c Sol. found (all assignments made)... 1165.13 c Sol. found (all assignments made)... 1165.19 c Sol. found (all assignments made)... 1166.33 c Sol. found (all assignments made)... 1166.45 c Sol. found (all assignments made)... 1166.95 c Sol. found (all assignments made)... 1166.99 c Sol. found (all assignments made)... 1167.08 c Sol. found (all assignments made)... 1167.38 c Sol. found (all assignments made)... 1167.46 c Sol. found (all assignments made)... 1167.91 c Sol. found (all assignments made)... 1168.64 c Sol. found (all assignments made)... 1168.65 c Sol. found (all assignments made)... 1169.28 c Sol. found (all assignments made)... 1170.28 c Sol. found (all assignments made)... 1170.37 c Sol. found (all assignments made)... 1170.38 c Sol. found (all assignments made)... 1170.38 c Sol. found (all assignments made)... 1170.40 c Sol. found (all assignments made)... 1170.41 c Sol. found (all assignments made)... 1170.51 c Sol. found (all assignments made)... 1170.51 c Sol. found (all assignments made)... 1170.52 c Sol. found (all assignments made)... 1171.53 c Sol. found (all assignments made)... 1171.57 c Sol. found (all assignments made)... 1171.73 c Sol. found (all assignments made)... 1171.77 c Sol. found (all assignments made)... 1171.98 c Sol. found (all assignments made)... 1172.18 c Sol. found (all assignments made)... 1172.56 c Sol. found (all assignments made)... 1172.85 c Sol. found (all assignments made)... 1173.10 c Sol. found (all assignments made)... 1173.37 c Sol. found (all assignments made)... 1173.73 c Sol. found (all assignments made)... 1173.81 c Sol. found (all assignments made)... 1174.06 c Sol. found (all assignments made)... 1174.25 c Sol. found (all assignments made)... 1174.59 c Sol. found (all assignments made)... 1174.87 c Sol. found (all assignments made)... 1174.87 c Sol. found (all assignments made)... 1174.87 c Sol. found (all assignments made)... 1174.90 c Sol. found (all assignments made)... 1174.92 c Sol. found (all assignments made)... 1175.11 c Sol. found (all assignments made)... 1175.35 c Sol. found (all assignments made)... 1175.36 c Sol. found (all assignments made)... 1175.42 c Sol. found (all assignments made)... 1175.45 c Sol. found (all assignments made)... 1175.61 c Sol. found (all assignments made)... 1175.63 c Sol. found (all assignments made)... 1176.33 c Sol. found (all assignments made)... 1176.47 c Sol. found (all assignments made)... 1176.47 c Sol. found (all assignments made)... 1176.47 c Sol. found (all assignments made)... 1176.48 c Sol. found (all assignments made)... 1177.03 c Sol. found (all assignments made)... 1177.34 c Sol. found (all assignments made)... 1177.34 c Sol. found (all assignments made)... 1177.35 c Sol. found (all assignments made)... 1177.35 c Sol. found (all assignments made)... 1177.36 c Sol. found (all assignments made)... 1177.36 c Sol. found (all assignments made)... 1177.40 c Sol. found (all assignments made)... 1177.65 c Sol. found (all assignments made)... 1177.75 c Sol. found (all assignments made)... 1177.98 c Sol. found (all assignments made)... 1178.12 c Sol. found (all assignments made)... 1178.18 c Sol. found (all assignments made)... 1178.21 c Sol. found (all assignments made)... 1178.32 c Sol. found (all assignments made)... 1178.48 c Sol. found (all assignments made)... 1178.66 c Sol. found (all assignments made)... 1178.72 c Sol. found (all assignments made)... 1178.84 c Sol. found (all assignments made)... 1179.29 c Sol. found (all assignments made)... 1179.58 c Sol. found (all assignments made)... 1180.51 c Sol. found (all assignments made)... 1180.51 c Sol. found (all assignments made)... 1180.56 c Sol. found (all assignments made)... 1180.74 c Sol. found (all assignments made)... 1180.80 c Sol. found (all assignments made)... 1181.12 c Sol. found (all assignments made)... 1181.16 c Sol. found (all assignments made)... 1182.32 c Sol. found (all assignments made)... 1182.36 c Sol. found (all assignments made)... 1182.48 c Sol. found (all assignments made)... 1182.85 c Sol. found (all assignments made)... 1182.85 c Sol. found (all assignments made)... 1183.06 c Sol. found (all assignments made)... 1183.53 c Restart #40 #Var: 60 LB: -9228 @ 1183 1187.47 c Sol. found (all assignments made)... 1189.52 c Sol. found (all assignments made)... 1190.21 c Sol. found (all assignments made)... 1191.89 c Sol. found (all assignments made)... 1192.96 c Sol. found (all assignments made)... 1197.21 c Sol. found (all assignments made)... 1199.36 c Sol. found (all assignments made)... 1199.48 c Sol. found (all assignments made)... 1199.59 c Sol. found (all assignments made)... 1202.84 c Sol. found (all assignments made)... 1203.47 c Sol. found (all assignments made)... 1207.98 c Sol. found (all assignments made)... 1208.82 c Sol. found (all assignments made)... 1211.98 c Sol. found (all assignments made)... 1212.03 c Sol. found (all assignments made)... 1212.13 c Sol. found (all assignments made)... 1212.47 c Sol. found (all assignments made)... 1212.60 c Sol. found (all assignments made)... 1213.55 c Sol. found (all assignments made)... 1214.10 c Sol. found (all assignments made)... 1214.27 c Sol. found (all assignments made)... 1215.25 c Sol. found (all assignments made)... 1215.39 c Sol. found (all assignments made)... 1215.52 c Sol. found (all assignments made)... 1215.65 c Sol. found (all assignments made)... 1216.47 c Sol. found (all assignments made)... 1216.56 c Sol. found (all assignments made)... 1217.52 c Sol. found (all assignments made)... 1218.44 c Sol. found (all assignments made)... 1218.56 c Sol. found (all assignments made)... 1219.33 c Sol. found (all assignments made)... 1219.41 c Sol. found (all assignments made)... 1219.59 c Sol. found (all assignments made)... 1219.84 c Sol. found (all assignments made)... 1220.27 c Sol. found (all assignments made)... 1222.71 c Sol. found (all assignments made)... 1223.86 c Sol. found (all assignments made)... 1224.11 c Sol. found (all assignments made)... 1224.98 c Sol. found (all assignments made)... 1225.28 c Sol. found (all assignments made)... 1225.96 c Sol. found (all assignments made)... 1225.98 c Sol. found (all assignments made)... 1227.92 c Sol. found (all assignments made)... 1227.97 c Sol. found (all assignments made)... 1228.12 c Sol. found (all assignments made)... 1228.18 c Sol. found (all assignments made)... 1228.76 c Sol. found (all assignments made)... 1228.90 c Sol. found (all assignments made)... 1229.99 c Sol. found (all assignments made)... 1230.11 c Sol. found (all assignments made)... 1231.27 c Sol. found (all assignments made)... 1231.41 c Sol. found (all assignments made)... 1231.49 c Sol. found (all assignments made)... 1232.28 c Sol. found (all assignments made)... 1232.60 c Sol. found (all assignments made)... 1232.97 c Sol. found (all assignments made)... 1234.25 c Sol. found (all assignments made)... 1234.37 c Sol. found (all assignments made)... 1234.38 c Sol. found (all assignments made)... 1234.51 c Sol. found (all assignments made)... 1234.53 c Sol. found (all assignments made)... 1234.67 c Sol. found (all assignments made)... 1235.51 c Sol. found (all assignments made)... 1235.61 c Sol. found (all assignments made)... 1236.13 c Sol. found (all assignments made)... 1236.15 c Sol. found (all assignments made)... 1236.25 c Sol. found (all assignments made)... 1237.16 c Sol. found (all assignments made)... 1237.51 c Sol. found (all assignments made)... 1237.53 c Sol. found (all assignments made)... 1237.61 c Sol. found (all assignments made)... 1237.61 c Sol. found (all assignments made)... 1237.78 c Sol. found (all assignments made)... 1238.36 c Sol. found (all assignments made)... 1239.01 c Sol. found (all assignments made)... 1239.12 c Sol. found (all assignments made)... 1239.14 c Sol. found (all assignments made)... 1239.79 c Sol. found (all assignments made)... 1239.89 c Sol. found (all assignments made)... 1239.93 c Sol. found (all assignments made)... 1240.59 c Sol. found (all assignments made)... 1240.70 c Sol. found (all assignments made)... 1240.71 c Sol. found (all assignments made)... 1240.96 c Sol. found (all assignments made)... 1241.01 c Sol. found (all assignments made)... 1241.42 c Sol. found (all assignments made)... 1241.43 c Sol. found (all assignments made)... 1242.40 c Sol. found (all assignments made)... 1242.43 c Sol. found (all assignments made)... 1242.64 c Sol. found (all assignments made)... 1242.83 c Sol. found (all assignments made)... 1243.64 c Sol. found (all assignments made)... 1243.77 c Sol. found (all assignments made)... 1243.87 c Sol. found (all assignments made)... 1243.90 c Sol. found (all assignments made)... 1244.05 c Sol. found (all assignments made)... 1244.79 c Sol. found (all assignments made)... 1245.59 c Sol. found (all assignments made)... 1245.92 c Sol. found (all assignments made)... 1246.11 c Sol. found (all assignments made)... 1246.51 c Sol. found (all assignments made)... 1246.99 c Sol. found (all assignments made)... 1247.04 c Sol. found (all assignments made)... 1247.17 c Sol. found (all assignments made)... 1248.18 c Sol. found (all assignments made)... 1248.39 c Sol. found (all assignments made)... 1248.67 c Sol. found (all assignments made)... 1248.76 c Sol. found (all assignments made)... 1249.14 c Sol. found (all assignments made)... 1249.23 c Sol. found (all assignments made)... 1249.25 c Sol. found (all assignments made)... 1249.47 c Sol. found (all assignments made)... 1249.84 c Sol. found (all assignments made)... 1250.66 c Sol. found (all assignments made)... 1251.08 c Sol. found (all assignments made)... 1251.14 c Sol. found (all assignments made)... 1251.15 c Sol. found (all assignments made)... 1251.82 c Sol. found (all assignments made)... 1252.01 c Sol. found (all assignments made)... 1252.01 c Sol. found (all assignments made)... 1252.36 c Sol. found (all assignments made)... 1252.47 c Sol. found (all assignments made)... 1252.48 c Sol. found (all assignments made)... 1252.48 c Sol. found (all assignments made)... 1252.48 c Sol. found (all assignments made)... 1252.54 c Sol. found (all assignments made)... 1252.76 c Sol. found (all assignments made)... 1252.82 c Sol. found (all assignments made)... 1253.11 c Sol. found (all assignments made)... 1253.16 c Sol. found (all assignments made)... 1253.16 c Sol. found (all assignments made)... 1253.19 c Sol. found (all assignments made)... 1253.52 c Restart #41 #Var: 60 LB: -9228 @ 1253 1259.45 c Sol. found (all assignments made)... 1261.01 c Sol. found (all assignments made)... 1264.48 c Sol. found (all assignments made)... 1266.09 c Sol. found (all assignments made)... 1266.13 c Sol. found (all assignments made)... 1266.17 c Sol. found (all assignments made)... 1268.35 c Sol. found (all assignments made)... 1269.05 c Sol. found (all assignments made)... 1269.35 c Sol. found (all assignments made)... 1269.49 c Sol. found (all assignments made)... 1270.71 c Sol. found (all assignments made)... 1270.80 c Sol. found (all assignments made)... 1271.11 c Sol. found (all assignments made)... 1272.46 c Sol. found (all assignments made)... 1273.00 c Sol. found (all assignments made)... 1273.15 c Sol. found (all assignments made)... 1273.18 c Sol. found (all assignments made)... 1273.20 c Sol. found (all assignments made)... 1273.78 c Sol. found (all assignments made)... 1273.80 c Sol. found (all assignments made)... 1273.81 c Sol. found (all assignments made)... 1274.63 c Sol. found (all assignments made)... 1277.01 c Sol. found (all assignments made)... 1278.03 c Sol. found (all assignments made)... 1278.76 c Sol. found (all assignments made)... 1281.02 c Sol. found (all assignments made)... 1281.09 c Sol. found (all assignments made)... 1281.34 c Sol. found (all assignments made)... 1281.38 c Sol. found (all assignments made)... 1282.22 c Sol. found (all assignments made)... 1283.80 c Sol. found (all assignments made)... 1283.91 c Sol. found (all assignments made)... 1284.17 c Sol. found (all assignments made)... 1285.95 c Sol. found (all assignments made)... 1286.00 c Sol. found (all assignments made)... 1288.67 c Sol. found (all assignments made)... 1295.54 c Sol. found (all assignments made)... 1296.06 c Sol. found (all assignments made)... 1296.32 c Sol. found (all assignments made)... 1296.61 c Sol. found (all assignments made)... 1297.21 c Sol. found (all assignments made)... 1297.70 c Sol. found (all assignments made)... 1302.04 c Sol. found (all assignments made)... 1302.26 c Sol. found (all assignments made)... 1302.67 c Sol. found (all assignments made)... 1303.28 c Sol. found (all assignments made)... 1304.23 c Sol. found (all assignments made)... 1310.85 c Sol. found (all assignments made)... 1311.03 c Sol. found (all assignments made)... 1315.21 c Sol. found (all assignments made)... 1315.56 c Sol. found (all assignments made)... 1315.58 c Sol. found (all assignments made)... 1316.50 c Sol. found (all assignments made)... 1318.44 c Sol. found (all assignments made)... 1318.52 c Sol. found (all assignments made)... 1320.68 c Sol. found (all assignments made)... 1322.45 c Sol. found (all assignments made)... 1322.49 c Sol. found (all assignments made)... 1322.79 c Sol. found (all assignments made)... 1323.11 c Sol. found (all assignments made)... 1324.10 c Sol. found (all assignments made)... 1324.96 c Sol. found (all assignments made)... 1325.61 c Sol. found (all assignments made)... 1326.68 c Sol. found (all assignments made)... 1327.04 c Sol. found (all assignments made)... 1327.06 c Sol. found (all assignments made)... 1327.39 c Sol. found (all assignments made)... 1328.44 c Sol. found (all assignments made)... 1328.46 c Sol. found (all assignments made)... 1329.32 c Sol. found (all assignments made)... 1331.77 c Sol. found (all assignments made)... 1332.03 c Sol. found (all assignments made)... 1332.09 c Sol. found (all assignments made)... 1333.10 c Sol. found (all assignments made)... 1334.12 c Sol. found (all assignments made)... 1335.08 c Sol. found (all assignments made)... 1335.42 c Sol. found (all assignments made)... 1335.45 c Sol. found (all assignments made)... 1335.95 c Sol. found (all assignments made)... 1337.89 c Sol. found (all assignments made)... 1338.00 c Sol. found (all assignments made)... 1338.24 c Sol. found (all assignments made)... 1338.25 c Sol. found (all assignments made)... 1338.35 c Sol. found (all assignments made)... 1338.41 c Sol. found (all assignments made)... 1338.42 c Sol. found (all assignments made)... 1338.42 c Sol. found (all assignments made)... 1338.60 c Sol. found (all assignments made)... 1339.03 c Sol. found (all assignments made)... 1339.57 c Sol. found (all assignments made)... 1339.65 c Sol. found (all assignments made)... 1339.83 c Sol. found (all assignments made)... 1341.23 c Sol. found (all assignments made)... 1342.01 c Sol. found (all assignments made)... 1342.10 c Sol. found (all assignments made)... 1342.16 c Sol. found (all assignments made)... 1345.43 c Sol. found (all assignments made)... 1345.49 c Sol. found (all assignments made)... 1345.78 c Sol. found (all assignments made)... 1346.31 c Sol. found (all assignments made)... 1346.48 c Sol. found (all assignments made)... 1346.85 c Sol. found (all assignments made)... 1346.86 c Sol. found (all assignments made)... 1349.60 c Sol. found (all assignments made)... 1349.86 c Sol. found (all assignments made)... 1350.53 c Sol. found (all assignments made)... 1350.68 c Sol. found (all assignments made)... 1350.88 c Sol. found (all assignments made)... 1350.91 c Sol. found (all assignments made)... 1351.13 c Sol. found (all assignments made)... 1351.14 c Sol. found (all assignments made)... 1351.40 c Sol. found (all assignments made)... 1351.56 c Sol. found (all assignments made)... 1351.56 c Sol. found (all assignments made)... 1352.05 c Sol. found (all assignments made)... 1352.31 c Sol. found (all assignments made)... 1352.39 c Sol. found (all assignments made)... 1353.09 c Sol. found (all assignments made)... 1354.71 c Sol. found (all assignments made)... 1354.73 c Sol. found (all assignments made)... 1355.09 c Sol. found (all assignments made)... 1355.45 c Sol. found (all assignments made)... 1355.83 c Sol. found (all assignments made)... 1356.37 c Restart #42 #Var: 60 LB: -9228 @ 1355.8 1360.17 c Sol. found (all assignments made)... 1362.56 c Sol. found (all assignments made)... 1368.08 c Sol. found (all assignments made)... 1368.99 c Sol. found (all assignments made)... 1369.58 c Sol. found (all assignments made)... 1369.69 c Sol. found (all assignments made)... 1370.54 c Sol. found (all assignments made)... 1373.72 c Sol. found (all assignments made)... 1374.16 c Sol. found (all assignments made)... 1375.01 c Sol. found (all assignments made)... 1375.32 c Sol. found (all assignments made)... 1376.38 c Sol. found (all assignments made)... 1380.17 c Sol. found (all assignments made)... 1380.51 c Sol. found (all assignments made)... 1384.37 c Sol. found (all assignments made)... 1384.40 c Sol. found (all assignments made)... 1385.26 c Sol. found (all assignments made)... 1388.72 c Sol. found (all assignments made)... 1388.88 c Sol. found (all assignments made)... 1388.94 c Sol. found (all assignments made)... 1389.48 c Sol. found (all assignments made)... 1391.41 c Sol. found (all assignments made)... 1394.48 c Sol. found (all assignments made)... 1398.77 c Sol. found (all assignments made)... 1402.17 c Sol. found (all assignments made)... 1404.85 c Sol. found (all assignments made)... 1405.56 c Sol. found (all assignments made)... 1405.87 c Sol. found (all assignments made)... 1406.98 c Sol. found (all assignments made)... 1407.08 c Sol. found (all assignments made)... 1410.22 c Sol. found (all assignments made)... 1410.27 c Sol. found (all assignments made)... 1411.84 c Sol. found (all assignments made)... 1412.13 c Sol. found (all assignments made)... 1412.23 c Sol. found (all assignments made)... 1412.89 c Sol. found (all assignments made)... 1413.71 c Sol. found (all assignments made)... 1414.34 c Sol. found (all assignments made)... 1414.44 c Sol. found (all assignments made)... 1414.49 c Sol. found (all assignments made)... 1415.18 c Sol. found (all assignments made)... 1415.85 c Sol. found (all assignments made)... 1416.25 c Sol. found (all assignments made)... 1418.52 c Sol. found (all assignments made)... 1418.96 c Sol. found (all assignments made)... 1419.17 c Sol. found (all assignments made)... 1419.37 c Sol. found (all assignments made)... 1419.39 c Sol. found (all assignments made)... 1419.47 c Sol. found (all assignments made)... 1419.62 c Sol. found (all assignments made)... 1420.12 c Sol. found (all assignments made)... 1420.92 c Sol. found (all assignments made)... 1421.03 c Sol. found (all assignments made)... 1421.54 c Sol. found (all assignments made)... 1421.58 c Sol. found (all assignments made)... 1422.97 c Sol. found (all assignments made)... 1423.16 c Sol. found (all assignments made)... 1423.22 c Sol. found (all assignments made)... 1423.80 c Sol. found (all assignments made)... 1423.99 c Sol. found (all assignments made)... 1424.61 c Sol. found (all assignments made)... 1424.68 c Sol. found (all assignments made)... 1424.71 c Sol. found (all assignments made)... 1424.72 c Sol. found (all assignments made)... 1424.75 c Sol. found (all assignments made)... 1424.75 c Sol. found (all assignments made)... 1424.83 c Sol. found (all assignments made)... 1424.99 c Sol. found (all assignments made)... 1425.16 c Sol. found (all assignments made)... 1425.18 c Sol. found (all assignments made)... 1425.30 c Sol. found (all assignments made)... 1426.77 c Sol. found (all assignments made)... 1427.41 c Sol. found (all assignments made)... 1427.56 c Sol. found (all assignments made)... 1428.29 c Sol. found (all assignments made)... 1428.75 c Sol. found (all assignments made)... 1428.80 c Sol. found (all assignments made)... 1429.02 c Sol. found (all assignments made)... 1429.02 c Sol. found (all assignments made)... 1429.03 c Sol. found (all assignments made)... 1429.03 c Sol. found (all assignments made)... 1429.04 c Sol. found (all assignments made)... 1429.31 c Sol. found (all assignments made)... 1430.14 c Sol. found (all assignments made)... 1430.18 c Sol. found (all assignments made)... 1430.19 c Sol. found (all assignments made)... 1432.10 c Sol. found (all assignments made)... 1433.12 c Sol. found (all assignments made)... 1433.37 c Sol. found (all assignments made)... 1433.61 c Sol. found (all assignments made)... 1433.86 c Sol. found (all assignments made)... 1434.27 c Sol. found (all assignments made)... 1434.33 c Sol. found (all assignments made)... 1434.62 c Sol. found (all assignments made)... 1435.55 c Sol. found (all assignments made)... 1435.96 c Sol. found (all assignments made)... 1437.62 c Sol. found (all assignments made)... 1437.99 c Sol. found (all assignments made)... 1438.01 c Sol. found (all assignments made)... 1438.64 c Sol. found (all assignments made)... 1439.85 c Sol. found (all assignments made)... 1444.81 c Sol. found (all assignments made)... 1445.00 c Sol. found (all assignments made)... 1446.37 c Sol. found (all assignments made)... 1446.61 c Sol. found (all assignments made)... 1447.29 c Sol. found (all assignments made)... 1448.17 c Sol. found (all assignments made)... 1449.95 c Sol. found (all assignments made)... 1450.34 c Sol. found (all assignments made)... 1450.55 c Sol. found (all assignments made)... 1451.30 c Sol. found (all assignments made)... 1451.82 c Sol. found (all assignments made)... 1452.76 c Sol. found (all assignments made)... 1452.97 c Sol. found (all assignments made)... 1452.99 c Sol. found (all assignments made)... 1453.01 c Sol. found (all assignments made)... 1453.02 c Sol. found (all assignments made)... 1453.29 c Sol. found (all assignments made)... 1453.67 c Sol. found (all assignments made)... 1454.09 c Sol. found (all assignments made)... 1454.32 c Sol. found (all assignments made)... 1454.50 c Sol. found (all assignments made)... 1454.85 c Sol. found (all assignments made)... 1455.05 c Sol. found (all assignments made)... 1455.88 c Sol. found (all assignments made)... 1455.89 c Sol. found (all assignments made)... 1455.89 c Sol. found (all assignments made)... 1456.40 c Sol. found (all assignments made)... 1457.02 c Sol. found (all assignments made)... 1457.15 c Sol. found (all assignments made)... 1457.30 c Sol. found (all assignments made)... 1458.42 c Sol. found (all assignments made)... 1459.14 c Sol. found (all assignments made)... 1459.65 c Sol. found (all assignments made)... 1459.67 c Sol. found (all assignments made)... 1460.04 c Restart #43 #Var: 60 LB: -9228 @ 1459.4 1463.81 c Sol. found (all assignments made)... 1463.94 c Sol. found (all assignments made)... 1464.54 c Sol. found (all assignments made)... 1470.09 c Sol. found (all assignments made)... 1480.79 c Sol. found (all assignments made)... 1481.98 c Sol. found (all assignments made)... 1482.89 c Sol. found (all assignments made)... 1482.96 c Sol. found (all assignments made)... 1486.72 c Sol. found (all assignments made)... 1491.13 c Sol. found (all assignments made)... 1497.77 c Sol. found (all assignments made)... 1503.73 c Sol. found (all assignments made)... 1510.06 c Sol. found (all assignments made)... 1510.18 c Sol. found (all assignments made)... 1510.40 c Sol. found (all assignments made)... 1511.33 c Sol. found (all assignments made)... 1513.17 c Sol. found (all assignments made)... 1518.18 c Sol. found (all assignments made)... 1519.95 c Sol. found (all assignments made)... 1520.70 c Sol. found (all assignments made)... 1520.92 c Sol. found (all assignments made)... 1521.00 c Sol. found (all assignments made)... 1521.44 c Sol. found (all assignments made)... 1521.50 c Sol. found (all assignments made)... 1525.69 c Sol. found (all assignments made)... 1533.04 c Sol. found (all assignments made)... 1536.09 c Sol. found (all assignments made)... 1537.41 c Sol. found (all assignments made)... 1537.50 c Sol. found (all assignments made)... 1538.69 c Sol. found (all assignments made)... 1541.19 c Sol. found (all assignments made)... 1541.34 c Sol. found (all assignments made)... 1542.13 c Sol. found (all assignments made)... 1542.22 c Sol. found (all assignments made)... 1542.67 c Sol. found (all assignments made)... 1544.34 c Sol. found (all assignments made)... 1544.41 c Sol. found (all assignments made)... 1544.73 c Sol. found (all assignments made)... 1544.88 c Sol. found (all assignments made)... 1545.08 c Sol. found (all assignments made)... 1546.86 c Sol. found (all assignments made)... 1551.17 c Sol. found (all assignments made)... 1551.37 c Sol. found (all assignments made)... 1551.65 c Sol. found (all assignments made)... 1552.08 c Sol. found (all assignments made)... 1553.21 c Sol. found (all assignments made)... 1557.00 c Sol. found (all assignments made)... 1558.29 c Sol. found (all assignments made)... 1561.04 c Sol. found (all assignments made)... 1566.08 c Sol. found (all assignments made)... 1567.07 c Sol. found (all assignments made)... 1568.42 c Sol. found (all assignments made)... 1570.70 c Sol. found (all assignments made)... 1571.61 c Sol. found (all assignments made)... 1573.07 c Sol. found (all assignments made)... 1578.93 c Sol. found (all assignments made)... 1580.28 c Sol. found (all assignments made)... 1581.62 c Sol. found (all assignments made)... 1581.77 c Sol. found (all assignments made)... 1582.09 c Sol. found (all assignments made)... 1582.92 c Sol. found (all assignments made)... 1586.80 c Restart #44 #Var: 60 LB: -9228 @ 1586.1 1594.77 c Sol. found (all assignments made)... 1604.70 c Sol. found (all assignments made)... 1607.77 c Sol. found (all assignments made)... 1610.49 c Sol. found (all assignments made)... 1611.13 c Sol. found (all assignments made)... 1611.17 c Sol. found (all assignments made)... 1612.39 c Sol. found (all assignments made)... 1612.41 c Sol. found (all assignments made)... 1613.00 c Sol. found (all assignments made)... 1613.08 c Sol. found (all assignments made)... 1613.50 c Sol. found (all assignments made)... 1613.55 c Sol. found (all assignments made)... 1614.48 c Sol. found (all assignments made)... 1616.68 c Sol. found (all assignments made)... 1619.20 c Sol. found (all assignments made)... 1619.48 c Sol. found (all assignments made)... 1621.91 c Sol. found (all assignments made)... 1629.93 c Sol. found (all assignments made)... 1631.67 c Sol. found (all assignments made)... 1638.51 c Sol. found (all assignments made)... 1638.81 c Sol. found (all assignments made)... 1641.46 c Sol. found (all assignments made)... 1641.86 c Sol. found (all assignments made)... 1642.90 c Sol. found (all assignments made)... 1643.01 c Sol. found (all assignments made)... 1643.21 c Sol. found (all assignments made)... 1644.30 c Sol. found (all assignments made)... 1644.36 c Sol. found (all assignments made)... 1649.99 c Sol. found (all assignments made)... 1651.84 c Sol. found (all assignments made)... 1651.86 c Sol. found (all assignments made)... 1651.98 c Sol. found (all assignments made)... 1656.18 c Sol. found (all assignments made)... 1657.54 c Sol. found (all assignments made)... 1662.66 c Sol. found (all assignments made)... 1663.64 c Sol. found (all assignments made)... 1665.38 c Sol. found (all assignments made)... 1665.95 c Sol. found (all assignments made)... 1667.37 c Sol. found (all assignments made)... 1668.84 c Sol. found (all assignments made)... 1668.94 c Sol. found (all assignments made)... 1668.95 c Sol. found (all assignments made)... 1672.18 c Sol. found (all assignments made)... 1672.59 c Sol. found (all assignments made)... 1672.60 c Sol. found (all assignments made)... 1673.32 c Sol. found (all assignments made)... 1676.33 c Sol. found (all assignments made)... 1677.91 c Sol. found (all assignments made)... 1678.20 c Sol. found (all assignments made)... 1678.27 c Sol. found (all assignments made)... 1678.36 c Sol. found (all assignments made)... 1678.57 c Sol. found (all assignments made)... 1679.44 c Sol. found (all assignments made)... 1679.93 c Sol. found (all assignments made)... 1682.77 c Sol. found (all assignments made)... 1682.83 c Sol. found (all assignments made)... 1683.24 c Sol. found (all assignments made)... 1683.28 c Sol. found (all assignments made)... 1684.18 c Sol. found (all assignments made)... 1684.23 c Sol. found (all assignments made)... 1684.28 c Sol. found (all assignments made)... 1684.47 c Sol. found (all assignments made)... 1684.75 c Sol. found (all assignments made)... 1684.84 c Sol. found (all assignments made)... 1684.85 c Sol. found (all assignments made)... 1686.43 c Sol. found (all assignments made)... 1687.88 c Sol. found (all assignments made)... 1688.34 c Sol. found (all assignments made)... 1690.17 c Sol. found (all assignments made)... 1691.13 c Sol. found (all assignments made)... 1692.39 c Sol. found (all assignments made)... 1692.49 c Sol. found (all assignments made)... 1698.00 c Sol. found (all assignments made)... 1699.90 c Sol. found (all assignments made)... 1700.46 c Sol. found (all assignments made)... 1702.37 c Sol. found (all assignments made)... 1702.41 c Sol. found (all assignments made)... 1704.39 c Sol. found (all assignments made)... 1706.43 c Sol. found (all assignments made)... 1706.62 c Sol. found (all assignments made)... 1707.58 c Sol. found (all assignments made)... 1707.66 c Sol. found (all assignments made)... 1707.71 c Sol. found (all assignments made)... 1707.75 c Sol. found (all assignments made)... 1707.98 c Sol. found (all assignments made)... 1710.86 c Sol. found (all assignments made)... 1711.65 c Sol. found (all assignments made)... 1711.78 c Sol. found (all assignments made)... 1711.84 c Sol. found (all assignments made)... 1712.15 c Sol. found (all assignments made)... 1712.80 c Sol. found (all assignments made)... 1714.79 c Sol. found (all assignments made)... 1716.83 c Sol. found (all assignments made)... 1718.31 c Sol. found (all assignments made)... 1718.43 c Sol. found (all assignments made)... 1721.65 c Restart #45 #Var: 60 LB: -9228 @ 1720.9 1726.71 c Sol. found (all assignments made)... 1732.73 c Sol. found (all assignments made)... 1734.13 c Sol. found (all assignments made)... 1734.81 c Sol. found (all assignments made)... 1737.78 c Sol. found (all assignments made)... 1737.99 c Sol. found (all assignments made)... 1741.39 c Sol. found (all assignments made)... 1743.33 c Sol. found (all assignments made)... 1745.82 c Sol. found (all assignments made)... 1746.72 c Sol. found (all assignments made)... 1747.06 c Sol. found (all assignments made)... 1749.19 c Sol. found (all assignments made)... 1749.78 c Sol. found (all assignments made)... 1750.24 c Sol. found (all assignments made)... 1751.50 c Sol. found (all assignments made)... 1752.53 c Sol. found (all assignments made)... 1753.19 c Sol. found (all assignments made)... 1753.35 c Sol. found (all assignments made)... 1754.63 c Sol. found (all assignments made)... 1755.19 c Sol. found (all assignments made)... 1755.63 c Sol. found (all assignments made)... 1755.82 c Sol. found (all assignments made)... 1761.33 c Sol. found (all assignments made)... 1761.91 c Sol. found (all assignments made)... 1762.01 c Sol. found (all assignments made)... 1762.30 c Sol. found (all assignments made)... 1762.68 c Sol. found (all assignments made)... 1762.77 c Sol. found (all assignments made)... 1765.16 c Sol. found (all assignments made)... 1765.73 c Sol. found (all assignments made)... 1765.85 c Sol. found (all assignments made)... 1766.56 c Sol. found (all assignments made)... 1767.49 c Sol. found (all assignments made)... 1768.09 c Sol. found (all assignments made)... 1769.51 c Sol. found (all assignments made)... 1769.55 c Sol. found (all assignments made)... 1769.96 c Sol. found (all assignments made)... 1770.93 c Sol. found (all assignments made)... 1773.81 c Sol. found (all assignments made)... 1774.38 c Sol. found (all assignments made)... 1774.46 c Sol. found (all assignments made)... 1774.84 c Sol. found (all assignments made)... 1774.88 c Sol. found (all assignments made)... 1776.14 c Sol. found (all assignments made)... 1777.08 c Sol. found (all assignments made)... 1777.12 c Sol. found (all assignments made)... 1777.88 c Sol. found (all assignments made)... 1778.31 c Sol. found (all assignments made)... 1780.17 c Sol. found (all assignments made)... 1782.57 c Sol. found (all assignments made)... 1784.57 c Sol. found (all assignments made)... 1784.81 c Sol. found (all assignments made)... 1785.15 c Sol. found (all assignments made)... 1785.93 c Sol. found (all assignments made)... 1786.34 c Sol. found (all assignments made)... 1786.35 c Sol. found (all assignments made)... 1786.36 c Sol. found (all assignments made)... 1786.44 c Sol. found (all assignments made)... 1788.15 c Sol. found (all assignments made)... 1790.19 c Sol. found (all assignments made)... 1790.45 c Sol. found (all assignments made)... 1795.57 c Sol. found (all assignments made)... 1795.83 c Sol. found (all assignments made)... 1798.45 c Sol. found (all assignments made)... 1799.14 c Sol. found (all assignments made)... 1800.10 c Sol. found (all assignments made)... 1800.47 c Sol. found (all assignments made)... 1800.69 c Sol. found (all assignments made)... 1800.75 s SATISFIABLE 1800.75 c Cost: -6274 1800.75 v -x1 -x12 -x23 -x34 x45 -x56 x58 x59 -x60 x2 -x3 x4 -x5 x6 -x7 x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x24 1800.75 v -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 -x46 -x47 -x48 x49 x50 -x51 x52 -x53 1800.75 v x54 x55 -x57 1800.75 c Exit Code: 10 1800.75 c Total time: 1800 s
OK -6274
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/node13/watcher-40105-1149368449 -o ROOT/results/node13/solver-40105-1149368449 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40105-1149368449/instance-40105-1149368449.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 30825 /proc/meminfo: memFree=1861896/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=4932 CPUtime=0 /proc/30825/stat : 30825 (bsolo) D 30823 30825 30779 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 202507506 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/30825/statm: 1233 330 226 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.91 2/64 30825 /proc/meminfo: memFree=1852568/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=13996 CPUtime=9.98 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 18527 0 0 0 978 20 0 0 25 0 1 0 202507506 14331904 2772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 3499 2772 429 55 0 2391 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13996 [startup+20.0098 s] /proc/loadavg: 0.94 0.96 0.91 2/70 30888 /proc/meminfo: memFree=1843888/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=21140 CPUtime=19.98 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 33991 0 0 0 1958 40 0 0 25 0 1 0 202507506 21647360 4605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 5285 4605 429 55 0 4177 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 21140 [startup+30.0171 s] /proc/loadavg: 0.95 0.96 0.91 2/70 30938 /proc/meminfo: memFree=1836336/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=28556 CPUtime=29.96 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 48067 0 0 0 2940 56 0 0 25 0 1 0 202507506 29241344 6463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 7139 6463 429 55 0 6031 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 28556 [startup+40.0235 s] /proc/loadavg: 0.95 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1828176/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=37880 CPUtime=39.93 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 62671 0 0 0 3915 78 0 0 25 0 1 0 202507506 38789120 8778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 9470 8778 429 55 0 8362 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 37880 [startup+50.0298 s] /proc/loadavg: 0.96 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1821024/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=45224 CPUtime=49.92 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 75346 0 0 0 4898 94 0 0 25 0 1 0 202507506 46309376 10569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 11306 10569 429 55 0 10198 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 45224 [startup+60.0361 s] /proc/loadavg: 0.97 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1815392/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=50636 CPUtime=59.92 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 86793 0 0 0 5881 111 0 0 25 0 1 0 202507506 51851264 11967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 12659 11967 429 55 0 11551 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 50636 [startup+70.0425 s] /proc/loadavg: 0.97 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1808544/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=57692 CPUtime=69.93 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 98435 0 0 0 6865 128 0 0 25 0 1 0 202507506 59076608 13703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12344957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 14423 13703 429 55 0 13315 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 57692 [startup+80.0488 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1803616/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=62660 CPUtime=79.93 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 108003 0 0 0 7850 143 0 0 25 0 1 0 202507506 64163840 14924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159268091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 15665 14924 429 55 0 14557 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 62660 [startup+90.0552 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1800608/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=65472 CPUtime=89.94 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 115808 0 0 0 8839 155 0 0 25 0 1 0 202507506 67043328 15674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 16368 15674 429 55 0 15260 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 65472 [startup+100.062 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1797792/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=68288 CPUtime=99.94 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 123400 0 0 0 9830 164 0 0 25 0 1 0 202507506 69926912 16380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 17072 16380 429 55 0 15964 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 68288 [startup+110.068 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31020 /proc/meminfo: memFree=1794144/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=72044 CPUtime=109.94 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 131677 0 0 0 10818 176 0 0 25 0 1 0 202507506 73773056 17302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 18011 17302 429 55 0 16903 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 72044 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1790304/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=76068 CPUtime=119.95 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 140035 0 0 0 11808 187 0 0 25 0 1 0 202507506 77893632 18258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 19017 18258 429 55 0 17909 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 76068 [startup+130.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1785184/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=80976 CPUtime=129.95 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 149439 0 0 0 12792 203 0 0 25 0 1 0 202507506 82919424 19535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 20244 19535 429 55 0 19136 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 80976 [startup+140.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1781920/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=84228 CPUtime=139.95 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 156668 0 0 0 13780 215 0 0 25 0 1 0 202507506 86249472 20348 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 21057 20348 429 55 0 19949 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 84228 [startup+150.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1778336/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=87764 CPUtime=149.96 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 164763 0 0 0 14768 228 0 0 25 0 1 0 202507506 89870336 21232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 21941 21232 429 55 0 20833 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 87764 [startup+160.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1775712/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=90396 CPUtime=159.97 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 171272 0 0 0 15760 237 0 0 25 0 1 0 202507506 92565504 21890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 22599 21890 429 55 0 21491 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 90396 [startup+170.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1771360/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=94780 CPUtime=169.96 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 180349 0 0 0 16744 252 0 0 25 0 1 0 202507506 97054720 22983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 23695 22983 429 55 0 22587 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 94780 [startup+180.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1768992/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=97072 CPUtime=179.97 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 185650 0 0 0 17737 260 0 0 25 0 1 0 202507506 99401728 23559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 24268 23559 429 55 0 23160 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 97072 [startup+190.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1765728/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=100580 CPUtime=189.98 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 192784 0 0 0 18726 272 0 0 25 0 1 0 202507506 102993920 24387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12344957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 25145 24387 429 55 0 24037 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 100580 [startup+200.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1761376/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=104740 CPUtime=199.98 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 200263 0 0 0 19715 283 0 0 25 0 1 0 202507506 107253760 25476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 26185 25476 429 55 0 25077 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 104740 [startup+210.133 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31020 /proc/meminfo: memFree=1756320/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/30825/statm: 98927 97457 431 55 0 97819 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 395708 [startup+1771.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1471136/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=396916 CPUtime=1770.37 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 779615 0 0 0 175759 1278 0 0 25 0 1 0 202507506 406441984 97777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159352027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 99229 97777 431 55 0 98121 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 396916 [startup+1781.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466912/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401192 CPUtime=1780.37 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 784019 0 0 0 176752 1285 0 0 25 0 1 0 202507506 410820608 98825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100298 98825 431 55 0 99190 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 401192 [startup+1782.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466784/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401308 CPUtime=1781.38 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 784293 0 0 0 176853 1285 0 0 25 0 1 0 202507506 410939392 98856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100327 98856 431 55 0 99219 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 401308 [startup+1783.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466656/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401232 CPUtime=1782.38 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 784531 0 0 0 176953 1285 0 0 25 0 1 0 202507506 410861568 98882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100308 98882 431 55 0 99200 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 401232 [startup+1784.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466528/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401412 CPUtime=1783.39 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 784893 0 0 0 177053 1286 0 0 25 0 1 0 202507506 411045888 98925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100353 98925 431 55 0 99245 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 401412 [startup+1785.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466336/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401752 CPUtime=1784.39 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 785163 0 0 0 177153 1286 0 0 25 0 1 0 202507506 411394048 98965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100438 98965 431 55 0 99330 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 401752 [startup+1786.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466208/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401836 CPUtime=1785.39 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 785439 0 0 0 177253 1286 0 0 25 0 1 0 202507506 411480064 98997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100459 98997 431 55 0 99351 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 401836 [startup+1787.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1466080/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401832 CPUtime=1786.4 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 785745 0 0 0 177353 1287 0 0 25 0 1 0 202507506 411475968 99033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100458 99033 431 55 0 99350 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 401832 [startup+1788.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1465888/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=401972 CPUtime=1787.41 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 786043 0 0 0 177453 1288 0 0 25 0 1 0 202507506 411619328 99065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100493 99065 431 55 0 99385 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 401972 [startup+1789.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1465760/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=402108 CPUtime=1788.41 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 786369 0 0 0 177553 1288 0 0 25 0 1 0 202507506 411758592 99105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100527 99105 431 55 0 99419 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 402108 [startup+1790.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1465568/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=402336 CPUtime=1789.41 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 786828 0 0 0 177652 1289 0 0 25 0 1 0 202507506 411992064 99158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100584 99158 431 55 0 99476 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 402336 [startup+1791.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1465312/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=402544 CPUtime=1790.42 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 787223 0 0 0 177752 1290 0 0 25 0 1 0 202507506 412205056 99214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100636 99214 431 55 0 99528 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 402544 [startup+1792.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1465120/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=402780 CPUtime=1791.43 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 787672 0 0 0 177852 1291 0 0 25 0 1 0 202507506 412446720 99273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100695 99273 431 55 0 99587 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 402780 [startup+1793.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464864/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403000 CPUtime=1792.43 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 788080 0 0 0 177951 1292 0 0 25 0 1 0 202507506 412672000 99326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100750 99326 431 55 0 99642 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 403000 [startup+1794.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464800/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403064 CPUtime=1793.43 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 788280 0 0 0 178051 1292 0 0 25 0 1 0 202507506 412737536 99343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100766 99343 431 55 0 99658 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 403064 [startup+1795.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464736/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403324 CPUtime=1794.43 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 788451 0 0 0 178151 1292 0 0 25 0 1 0 202507506 413003776 99358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100831 99358 431 55 0 99723 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 403324 [startup+1796.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464672/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403208 CPUtime=1795.45 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 788677 0 0 0 178252 1293 0 0 25 0 1 0 202507506 412884992 99379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100802 99379 431 55 0 99694 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 403208 [startup+1797.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464544/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403324 CPUtime=1796.45 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 788918 0 0 0 178352 1293 0 0 25 0 1 0 202507506 413003776 99409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100831 99409 431 55 0 99723 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 403324 [startup+1798.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464416/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403432 CPUtime=1797.45 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 789170 0 0 0 178452 1293 0 0 25 0 1 0 202507506 413114368 99436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100858 99436 431 55 0 99750 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 403432 [startup+1799.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464352/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403540 CPUtime=1798.46 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 789392 0 0 0 178553 1293 0 0 25 0 1 0 202507506 413224960 99463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100885 99463 431 55 0 99777 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 403540 [startup+1800.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 31020 /proc/meminfo: memFree=1464224/2055920 swapFree=4181416/4192956 [pid=30825] ppid=30823 vsize=403656 CPUtime=1799.46 /proc/30825/stat : 30825 (bsolo) R 30823 30825 30779 0 -1 0 789657 0 0 0 178652 1294 0 0 25 0 1 0 202507506 413343744 99488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30825/statm: 100914 99488 431 55 0 99806 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 403656 Child status: 10 Real time (s): 1800.82 CPU time (s): 1800.08 CPU user time (s): 1787.06 CPU system time (s): 13.013 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (Kb): 403656
Begin job on node13 on Sat Jun 3 21:00:49 UTC 2006 FILE ID= 40105-1149368449 PBS_JOBID= 311967 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40105-1149368449/instance-40105-1149368449.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-40105-1149368449 -o ROOT/results/node13/solver-40105-1149368449 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40105-1149368449/instance-40105-1149368449.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED= 656019608 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862104 kB Buffers: 14752 kB Cached: 122004 kB SwapCached: 2848 kB Active: 43632 kB Inactive: 101408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862104 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14664 kB Slab: 34760 kB Committed_AS: 381148 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sat Jun 3 21:30:50 UTC 2006