Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 170 | 1800.06 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | d431323968e1ca4dc95d181076d01437 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 154 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.53 c Initial problem consists of 1344 variables and 16376 constraints. 0.70 c No problem reductions applied in OPT. instance. 0.70 c preprocess terminated. Elapsed time: 0.691 0.70 c After prepocess the problem consists of 1344 variables and 16376 constraints. 0.70 c Initial Lower Bound: 0 1.19 c Restart #1 #Var: 1344 LB: 0 @ 1.187 2.10 c Restart #2 #Var: 1344 LB: 0 @ 2.092 2.68 c Restart #3 #Var: 1344 LB: 0 @ 2.67 3.78 c Restart #4 #Var: 1344 LB: 0 @ 3.775 4.52 c Restart #5 #Var: 1344 LB: 0 @ 4.508 4.69 c Sol. found (all assignments made)... 4.69 o 218 4.69 c NEW SOLUTION FOUND: 218 @ 4.685 4.70 c Sol. found (all assignments made)... 4.70 o 206 4.70 c NEW SOLUTION FOUND: 206 @ 4.687 4.70 c Sol. found (all assignments made)... 4.70 o 204 4.70 c NEW SOLUTION FOUND: 204 @ 4.69 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 c Sol. found (all assignments made)... 4.77 o 202 4.77 c NEW SOLUTION FOUND: 202 @ 4.758 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 o 196 4.88 c NEW SOLUTION FOUND: 196 @ 4.876 4.88 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 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)... 4.99 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)... 4.99 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)... 4.99 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 o 194 5.10 c NEW SOLUTION FOUND: 194 @ 5.094 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 o 190 5.15 c NEW SOLUTION FOUND: 190 @ 5.144 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.51 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.53 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.75 c Restart #6 #Var: 1344 LB: 0 @ 5.741 7.43 c Restart #7 #Var: 1344 LB: 0 @ 7.418 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.58 c Restart #8 #Var: 1344 LB: 0 @ 8.571 12.21 c Restart #9 #Var: 1344 LB: 0 @ 12.198 12.44 c Sol. found (all assignments made)... 12.58 c Sol. found (all assignments made)... 12.59 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 12.93 c Sol. found (all assignments made)... 13.11 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.17 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 13.18 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 27.44 c CHANGE to MIS mode... UB: 190 MIS: 0 LPR: 96 (13.285) Diff: 0 27.44 c Restart #0 #Var: 1344 LB: 0 @ 27.416 28.03 c Restart #1 #Var: 1344 LB: 0 @ 28.014 28.65 c Restart #2 #Var: 1344 LB: 0 @ 28.628 30.02 c Restart #3 #Var: 1344 LB: 0 @ 30.004 30.35 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.54 c Sol. found (all assignments made)... 30.55 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.72 c Sol. found (all assignments made)... 30.78 c Restart #4 #Var: 1344 LB: 0 @ 30.762 31.03 c Sol. found (all assignments made)... 31.90 c Restart #5 #Var: 1344 LB: 0 @ 31.879 32.45 c Sol. found (all assignments made)... 32.45 c Sol. found (all assignments made)... 32.45 c Sol. found (all assignments made)... 32.75 c Sol. found (all assignments made)... 32.76 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.77 c Sol. found (all assignments made)... 32.78 c Sol. found (all assignments made)... 32.78 c Sol. found (all assignments made)... 32.78 c Sol. found (all assignments made)... 32.78 c Sol. found (all assignments made)... 32.81 c Sol. found (all assignments made)... 32.95 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 33.01 c Sol. found (all assignments made)... 33.05 c Sol. found (all assignments made)... 33.05 c Sol. found (all assignments made)... 33.37 c Sol. found (all assignments made)... 33.37 c Sol. found (all assignments made)... 33.41 c Sol. found (all assignments made)... 33.41 c Sol. found (all assignments made)... 33.53 c Restart #6 #Var: 1344 LB: 0 @ 33.507 34.10 c Sol. found (all assignments made)... 34.11 c Sol. found (all assignments made)... 35.06 c Sol. found (all assignments made)... 35.06 c Sol. found (all assignments made)... 35.26 c Restart #7 #Var: 1344 LB: 0 @ 35.234 37.56 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.57 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.78 c Sol. found (all assignments made)... 37.90 c Restart #8 #Var: 1344 LB: 0 @ 37.872 39.99 c Restart #9 #Var: 1344 LB: 0 @ 39.964 41.28 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.35 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 41.97 c Sol. found (all assignments made)... 42.04 c Sol. found (all assignments made)... 42.05 c Sol. found (all assignments made)... 42.12 c Sol. found (all assignments made)... 42.13 c Sol. found (all assignments made)... 42.21 c Sol. found (all assignments made)... 42.21 c Sol. found (all assignments made)... 42.49 c Sol. found (all assignments made)... 42.63 c Sol. found (all assignments made)... 42.71 c Restart #10 #Var: 1344 LB: 0 @ 42.679 46.05 c Restart #11 #Var: 1344 LB: 0 @ 46.025 46.19 c Sol. found (all assignments made)... 46.20 c Sol. found (all assignments made)... 46.21 c Sol. found (all assignments made)... 46.23 c Sol. found (all assignments made)... 46.25 c Sol. found (all assignments made)... 46.25 c Sol. found (all assignments made)... 46.31 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.39 c Sol. found (all assignments made)... 46.40 c Sol. found (all assignments made)... 46.42 c Sol. found (all assignments made)... 46.43 c Sol. found (all assignments made)... 46.56 c Sol. found (all assignments made)... 46.91 c Sol. found (all assignments made)... 46.91 c Sol. found (all assignments made)... 47.17 c Sol. found (all assignments made)... 47.18 c Sol. found (all assignments made)... 47.18 c Sol. found (all assignments made)... 47.30 c Sol. found (all assignments made)... 47.30 c Sol. found (all assignments made)... 47.31 c Sol. found (all assignments made)... 47.33 c Sol. found (all assignments made)... 47.38 c Sol. found (all assignments made)... 47.56 c Sol. found (all assignments made)... 47.56 c Sol. found (all assignments made)... 47.58 c Sol. found (all assignments made)... 47.62 c Sol. found (all assignments made)... 47.62 c Sol. found (all assignments made)... 47.89 c Sol. found (all assignments made)... 47.89 c Sol. found (all assignments made)... 47.92 c Sol. found (all assignments made)... 47.92 c Sol. found (all assignments made)... 47.99 c Sol. found (all assignments made)... 47.99 c Sol. found (all assignments made)... 47.99 c Sol. found (all assignments made)... 48.17 c Restart #12 #Var: 1344 LB: 0 @ 48.143 51.46 c Restart #13 #Var: 1344 LB: 0 @ 51.434 52.24 c Sol. found (all assignments made)... 52.24 c Sol. found (all assignments made)... 54.29 c Sol. found (all assignments made)... 54.30 c Sol. found (all assignments made)... 54.67 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.92 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.93 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 o 188 54.99 c NEW SOLUTION FOUND: 188 @ 54.962 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.02 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.26 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.85 c Sol. found (all assignments made)... 55.86 c Sol. found (all assignments made)... 55.99 c Sol. found (all assignments made)... 55.99 c Sol. found (all assignments made)... 56.22 c Sol. found (all assignments made)... 56.23 c Sol. found (all assignments made)... 56.30 c Sol. found (all assignments made)... 56.99 c Sol. found (all assignments made)... 58.10 c Sol. found (all assignments made)... 58.30 c Sol. found (all assignments made)... 58.72 c Restart #14 #Var: 1344 LB: 0 @ 58.685 61.78 c Sol. found (all assignments made)... 61.78 c Sol. found (all assignments made)... 68.08 c Restart #15 #Var: 1344 LB: 0 @ 68.046 70.28 c Sol. found (all assignments made)... 70.75 c Sol. found (all assignments made)... 70.76 c Sol. found (all assignments made)... 70.76 c Sol. found (all assignments made)... 70.77 c Sol. found (all assignments made)... 72.64 c Sol. found (all assignments made)... 72.66 c Sol. found (all assignments made)... 72.68 c Sol. found (all assignments made)... 72.91 c Restart #16 #Var: 1344 LB: 0 @ 72.868 73.47 c Sol. found (all assignments made)... 73.49 c Sol. found (all assignments made)... 73.49 c Sol. found (all assignments made)... 74.81 c Sol. found (all assignments made)... 75.68 c Sol. found (all assignments made)... 75.69 c Sol. found (all assignments made)... 75.89 c Sol. found (all assignments made)... 75.93 c Sol. found (all assignments made)... 76.35 c Sol. found (all assignments made)... 76.36 c Sol. found (all assignments made)... 76.41 c Sol. found (all assignments made)... 78.16 c Restart #17 #Var: 1344 LB: 0 @ 78.119 79.75 c Sol. found (all assignments made)... 84.04 c Restart #18 #Var: 1344 LB: 0 @ 83.997 84.17 c Sol. found (all assignments made)... 84.22 c Sol. found (all assignments made)... 84.37 c Sol. found (all assignments made)... 84.38 c Sol. found (all assignments made)... 84.39 c Sol. found (all assignments made)... 84.39 c Sol. found (all assignments made)... 84.40 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.42 c Sol. found (all assignments made)... 84.42 c Sol. found (all assignments made)... 84.42 c Sol. found (all assignments made)... 84.42 c Sol. found (all assignments made)... 84.42 c Sol. found (all assignments made)... 84.43 c Sol. found (all assignments made)... 84.43 c Sol. found (all assignments made)... 84.73 c Sol. found (all assignments made)... 84.74 c Sol. found (all assignments made)... 84.74 c Sol. found (all assignments made)... 84.77 c Sol. found (all assignments made)... 84.78 c Sol. found (all assignments made)... 84.79 c Sol. found (all assignments made)... 84.79 c Sol. found (all assignments made)... 84.81 c Sol. found (all assignments made)... 84.81 c Sol. found (all assignments made)... 84.83 c Sol. found (all assignments made)... 84.84 c Sol. found (all assignments made)... 84.84 c Sol. found (all assignments made)... 84.84 c Sol. found (all assignments made)... 84.84 c Sol. found (all assignments made)... 84.91 c Sol. found (all assignments made)... 84.92 c Sol. found (all assignments made)... 84.92 c Sol. found (all assignments made)... 86.86 c Sol. found (all assignments made)... 86.86 c Sol. found (all assignments made)... 86.86 c Sol. found (all assignments made)... 86.86 c Sol. found (all assignments made)... 86.87 c Sol. found (all assignments made)... 86.87 c Sol. found (all assignments made)... 86.87 c Sol. found (all assignments made)... 86.87 c Sol. found (all assignments made)... 86.88 c Sol. found (all assignments made)... 86.88 c Sol. found (all assignments made)... 87.54 c Sol. found (all assignments made)... 87.56 c Sol. found (all assignments made)... 87.76 c Sol. found (all assignments made)... 87.76 c Sol. found (all assignments made)... 87.76 c Sol. found (all assignments made)... 87.76 o 186 87.76 c NEW SOLUTION FOUND: 186 @ 87.717 87.76 c Sol. found (all assignments made)... 87.78 c Sol. found (all assignments made)... 89.51 c Sol. found (all assignments made)... 89.51 c Sol. found (all assignments made)... 89.51 c Sol. found (all assignments made)... 89.53 c Sol. found (all assignments made)... 89.79 c Sol. found (all assignments made)... 89.80 c Sol. found (all assignments made)... 89.80 c Sol. found (all assignments made)... 89.80 c Sol. found (all assignments made)... 89.80 c Sol. found (all assignments made)... 89.81 c Sol. found (all assignments made)... 89.81 c Sol. found (all assignments made)... 89.82 c Sol. found (all assignments made)... 89.84 c Sol. found (all assignments made)... 89.87 c Sol. found (all assignments made)... 89.88 c Sol. found (all assignments made)... 89.88 c Sol. found (all assignments made)... 89.91 c Sol. found (all assignments made)... 89.92 c Sol. found (all assignments made)... 89.92 c Sol. found (all assignments made)... 89.93 c Sol. found (all assignments made)... 89.93 c Sol. found (all assignments made)... 89.94 c Sol. found (all assignments made)... 89.94 c Sol. found (all assignments made)... 89.94 c Sol. found (all assignments made)... 89.94 c Sol. found (all assignments made)... 89.95 c Sol. found (all assignments made)... 89.95 c Sol. found (all assignments made)... 89.99 c Sol. found (all assignments made)... 90.05 c Sol. found (all assignments made)... 90.06 c Sol. found (all assignments made)... 90.07 c Sol. found (all assignments made)... 90.09 c Sol. found (all assignments made)... 90.09 c Sol. found (all assignments made)... 90.10 c Sol. found (all assignments made)... 90.10 c Sol. found (all assignments made)... 90.12 c Sol. found (all assignments made)... 90.12 c Sol. found (all assignments made)... 90.14 c Sol. found (all assignments made)... 90.14 c Sol. found (all assignments made)... 90.15 c Sol. found (all assignments made)... 90.17 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.20 c Sol. found (all assignments made)... 90.20 c Sol. found (all assignments made)... 90.20 c Sol. found (all assignments made)... 90.27 c Sol. found (all assignments made)... 90.27 c Sol. found (all assignments made)... 90.29 c Sol. found (all assignments made)... 90.29 c Sol. found (all assignments made)... 90.30 c Sol. found (all assignments made)... 90.30 c Sol. found (all assignments made)... 90.30 c Sol. found (all assignments made)... 90.31 c Sol. found (all assignments made)... 90.31 c Sol. found (all assignments made)... 90.34 c Sol. found (all assignments made)... 90.35 c Sol. found (all assignments made)... 90.35 c Sol. found (all assignments made)... 90.37 c Sol. found (all assignments made)... 90.37 c Sol. found (all assignments made)... 90.37 c Sol. found (all assignments made)... 90.52 c Sol. found (all assignments made)... 90.52 c Sol. found (all assignments made)... 90.53 c Sol. found (all assignments made)... 90.54 c Sol. found (all assignments made)... 90.54 c Sol. found (all assignments made)... 90.60 c Sol. found (all assignments made)... 90.61 c Sol. found (all assignments made)... 90.61 c Sol. found (all assignments made)... 90.61 c Sol. found (all assignments made)... 90.62 c Sol. found (all assignments made)... 90.73 c Sol. found (all assignments made)... 90.87 c Sol. found (all assignments made)... 90.97 c Sol. found (all assignments made)... 90.98 c Sol. found (all assignments made)... 90.98 c Sol. found (all assignments made)... 90.99 c Sol. found (all assignments made)... 90.99 c Sol. found (all assignments made)... 91.01 c Sol. found (all assignments made)... 91.01 c Sol. found (all assignments made)... 91.01 c Sol. found (all assignments made)... 91.02 c Sol. found (all assignments made)... 91.02 c Sol. found (all assignments made)... 91.29 c Sol. found (all assignments made)... 92.17 c Restart #19 #Var: 1344 LB: 0 @ 92.12 96.78 c Sol. found (all assignments made)... 97.12 c Sol. found (all assignments made)... 97.12 c Sol. found (all assignments made)... 97.34 c Sol. found (all assignments made)... 97.54 c Sol. found (all assignments made)... 97.54 c Sol. found (all assignments made)... 97.54 c Sol. found (all assignments made)... 97.55 c Sol. found (all assignments made)... 97.58 c Sol. found (all assignments made)... 97.66 c Sol. found (all assignments made)... 97.66 c Sol. found (all assignments made)... 97.66 c Sol. found (all assignments made)... 97.66 c Sol. found (all assignments made)... 98.23 c Sol. found (all assignments made)... 98.23 c Sol. found (all assignments made)... 98.25 c Sol. found (all assignments made)... 98.26 c Sol. found (all assignments made)... 98.27 c Sol. found (all assignments made)... 98.27 c Sol. found (all assignments made)... 98.27 c Sol. found (all assignments made)... 98.29 c Sol. found (all assignments made)... 98.29 c Sol. found (all assignments made)... 98.31 c Sol. found (all assignments made)... 98.36 c Sol. found (all assignments made)... 98.36 c Sol. found (all assignments made)... 98.38 c Sol. found (all assignments made)... 98.38 c Sol. found (all assignments made)... 98.38 c Sol. found (all assignments made)... 98.39 c Sol. found (all assignments made)... 98.39 c Sol. found (all assignments made)... 98.72 c Sol. found (all assignments made)... 98.72 c Sol. found (all assignments made)... 98.73 c Sol. found (all assignments made)... 98.73 c Sol. found (all assignments made)... 98.73 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.75 c Sol. found (all assignments made)... 98.99 c Sol. found (all assignments made)... 98.99 c Sol. found (all assignments made)... 99.07 c Restart #20 #Var: 1344 LB: 0 @ 99.015 99.87 c Sol. found (all assignments made)... 99.88 c Sol. found (all assignments made)... 102.03 c Sol. found (all assignments made)... 102.03 c Sol. found (all assignments made)... 102.50 c Sol. found (all assignments made)... 102.66 c Sol. found (all assignments made)... 103.68 c Sol. found (all assignments made)... 104.27 c Sol. found (all assignments made)... 105.07 c Sol. found (all assignments made)... 107.14 c Restart #21 #Var: 1344 LB: 0 @ 107.09 109.14 c Sol. found (all assignments made)... 109.32 c Sol. found (all assignments made)... 109.33 c Sol. found (all assignments made)... 109.39 c Sol. found (all assignments made)... 109.44 c Sol. found (all assignments made)... 109.67 c Sol. found (all assignments made)... 109.67 c Sol. found (all assignments made)... 110.00 c Sol. found (all assignments made)... 110.04 c Sol. found (all assignments made)... 110.04 c Sol. found (all assignments made)... 110.06 c Sol. found (all assignments made)... 110.06 c Sol. found (all assignments made)... 110.63 c Sol. found (all assignments made)... 110.78 c Sol. found (all assignments made)... 110.86 c Sol. found (all assignments made)... 110.86 c Sol. found (all assignments made)... 110.88 c Sol. found (all assignments made)... 110.89 c Sol. found (all assignments made)... 111.02 c Sol. found (all assignments made)... 111.28 c Sol. found (all assignments made)... 111.28 c Sol. found (all assignments made)... 111.41 c Sol. found (all assignments made)... 113.70 c Sol. found (all assignments made)... 114.27 c Restart #22 #Var: 1344 LB: 0 @ 114.22 115.15 c Sol. found (all assignments made)... 115.15 c Sol. found (all assignments made)... 115.16 c Sol. found (all assignments made)... 115.16 c Sol. found (all assignments made)... 115.16 c Sol. found (all assignments made)... 115.16 c Sol. found (all assignments made)... 115.17 c Sol. found (all assignments made)... 115.19 c Sol. found (all assignments made)... 115.37 c Sol. found (all assignments made)... 115.38 c Sol. found (all assignments made)... 115.38 c Sol. found (all assignments made)... 115.38 c Sol. found (all assignments made)... 115.39 c Sol. found (all assignments made)... 115.39 c Sol. found (all assignments made)... 115.39 c Sol. found (all assignments made)... 115.39 c Sol. found (all assignments made)... 115.52 c Sol. found (all assignments made)... 115.53 c Sol. found (all assignments made)... 115.66 c Sol. found (all assignments made)... 115.67 c Sol. found (all assignments made)... 115.67 c Sol. found (all assignments made)... 115.68 c Sol. found (all assignments made)... 115.68 c Sol. found (all assignments made)... 116.34 c Sol. found (all assignments made)... 116.58 c Sol. found (all assignments made)... 116.60 c Sol. found (all assignments made)... 116.62 c Sol. found (all assignments made)... 116.64 c Sol. found (all assignments made)... 116.66 c Sol. found (all assignments made)... 116.66 c Sol. found (all assignments made)... 117.47 c Sol. found (all assignments made)... 117.47 c Sol. found (all assignments made)... 117.47 c Sol. found (all assignments made)... 117.51 c Sol. found (all assignments made)... 117.51 c Sol. found (all assignments made)... 117.56 c Sol. found (all assignments made)... 117.57 c Sol. found (all assignments made)... 117.57 c Sol. found (all assignments made)... 117.57 c Sol. found (all assignments made)... 117.57 o 184 117.57 c NEW SOLUTION FOUND: 184 @ 117.52 117.81 c Sol. found (all assignments made)... 117.82 c Sol. found (all assignments made)... 117.82 c Sol. found (all assignments made)... 117.82 c Sol. found (all assignments made)... 117.82 c Sol. found (all assignments made)... 117.84 c Sol. found (all assignments made)... 117.84 c Sol. found (all assignments made)... 117.84 c Sol. found (all assignments made)... 117.84 c Sol. found (all assignments made)... 117.85 c Sol. found (all assignments made)... 117.91 c Sol. found (all assignments made)... 117.91 c Sol. found (all assignments made)... 117.92 c Sol. found (all assignments made)... 117.92 c Sol. found (all assignments made)... 117.95 c Sol. found (all assignments made)... 117.95 c Sol. found (all assignments made)... 117.95 c Sol. found (all assignments made)... 118.01 c Sol. found (all assignments made)... 118.01 c Sol. found (all assignments made)... 118.02 c Sol. found (all assignments made)... 118.07 c Sol. found (all assignments made)... 118.07 c Sol. found (all assignments made)... 118.07 c Sol. found (all assignments made)... 118.29 c Sol. found (all assignments made)... 118.37 c Sol. found (all assignments made)... 118.38 c Sol. found (all assignments made)... 118.42 c Sol. found (all assignments made)... 118.42 c Sol. found (all assignments made)... 118.42 c Sol. found (all assignments made)... 118.46 c Sol. found (all assignments made)... 118.46 c Sol. found (all assignments made)... 118.46 c Sol. found (all assignments made)... 118.49 c Sol. found (all assignments made)... 118.49 c Sol. found (all assignments made)... 118.49 c Sol. found (all assignments made)... 118.50 c Sol. found (all assignments made)... 118.55 c Sol. found (all assignments made)... 118.55 c Sol. found (all assignments made)... 118.58 c Sol. found (all assignments made)... 118.59 c Sol. found (all assignments made)... 118.63 c Sol. found (all assignments made)... 118.69 c Sol. found (all assignments made)... 118.75 c Sol. found (all assignments made)... 118.76 c Sol. found (all assignments made)... 118.84 c Sol. found (all assignments made)... 118.85 c Sol. found (all assignments made)... 118.94 c Sol. found (all assignments made)... 118.95 c Sol. found (all assignments made)... 118.98 c Sol. found (all assignments made)... 118.98 c Sol. found (all assignments made)... 118.99 c Sol. found (all assignments made)... 118.99 c Sol. found (all assignments made)... 119.05 c Sol. found (all assignments made)... 119.06 c Sol. found (all assignments made)... 119.07 c Sol. found (all assignments made)... 119.93 c Sol. found (all assignments made)... 119.93 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 120.01 c Sol. found (all assignments made)... 120.18 c Sol. found (all assignments made)... 120.18 c Sol. found (all assignments made)... 120.19 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.40 c Sol. found (all assignments made)... 120.57 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.58 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.61 c Sol. found (all assignments made)... 120.62 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 121.37 c Sol. found (all assignments made)... 121.47 c Sol. found (all assignments made)... 121.89 c Sol. found (all assignments made)... 122.06 c Sol. found (all assignments made)... 122.67 c Sol. found (all assignments made)... 122.67 c Sol. found (all assignments made)... 122.69 c Sol. found (all assignments made)... 122.96 c Sol. found (all assignments made)... 123.06 c Sol. found (all assignments made)... 123.24 c Sol. found (all assignments made)... 124.11 c Sol. found (all assignments made)... 124.44 c Sol. found (all assignments made)... 124.44 c Sol. found (all assignments made)... 124.51 c Sol. found (all assignments made)... 124.71 c Restart #23 #Var: 1344 LB: 0 @ 124.65 137.50 c Restart #24 #Var: 1344 LB: 0 @ 137.44 137.70 c Sol. found (all assignments made)... 137.70 c Sol. found (all assignments made)... 137.97 c Sol. found (all assignments made)... 137.97 c Sol. found (all assignments made)... 138.10 c Sol. found (all assignments made)... 138.16 c Sol. found (all assignments made)... 139.55 c Sol. found (all assignments made)... 139.60 c Sol. found (all assignments made)... 139.62 c Sol. found (all assignments made)... 139.87 c Sol. found (all assignments made)... 139.88 c Sol. found (all assignments made)... 140.61 c Sol. found (all assignments made)... 140.75 c Sol. found (all assignments made)... 140.88 c Sol. found (all assignments made)... 141.00 c Sol. found (all assignments made)... 141.05 c Sol. found (all assignments made)... 141.30 c Sol. found (all assignments made)... 141.33 c Sol. found (all assignments made)... 141.40 c Sol. found (all assignments made)... 141.46 c Sol. found (all assignments made)... 141.48 c Sol. found (all assignments made)... 141.53 c Sol. found (all assignments made)... 141.56 c Sol. found (all assignments made)... 141.57 c Sol. found (all assignments made)... 141.63 c Sol. found (all assignments made)... 141.65 c Sol. found (all assignments made)... 141.65 c Sol. found (all assignments made)... 141.65 c Sol. found (all assignments made)... 141.78 c Sol. found (all assignments made)... 142.20 c Sol. found (all assignments made)... 142.50 c Sol. found (all assignments made)... 142.52 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.66 c Sol. found (all assignments made)... 142.66 c Sol. found (all assignments made)... 142.76 c Sol. found (all assignments made)... 143.10 c Sol. found (all assignments made)... 143.14 c Sol. found (all assignments made)... 143.16 c Sol. found (all assignments made)... 143.32 c Sol. found (all assignments made)... 143.32 c Sol. found (all assignments made)... 143.50 c Sol. found (all assignments made)... 143.51 c Sol. found (all assignments made)... 143.51 c Sol. found (all assignments made)... 143.61 c Sol. found (all assignments made)... 143.64 c Sol. found (all assignments made)... 143.66 c Sol. found (all assignments made)... 143.69 c Sol. found (all assignments made)... 143.75 c Sol. found (all assignments made)... 143.78 c Sol. found (all assignments made)... 144.53 c Sol. found (all assignments made)... 145.17 c Sol. found (all assignments made)... 145.19 c Sol. found (all assignments made)... 145.20 c Sol. found (all assignments made)... 145.25 c Sol. found (all assignments made)... 145.36 c Restart #25 #Var: 1344 LB: 0 @ 145.29 147.80 c Sol. found (all assignments made)... 148.02 c Sol. found (all assignments made)... 148.03 c Sol. found (all assignments made)... 148.03 c Sol. found (all assignments made)... 148.04 c Sol. found (all assignments made)... 148.32 c Sol. found (all assignments made)... 149.49 c Sol. found (all assignments made)... 149.50 c Sol. found (all assignments made)... 149.75 c Sol. found (all assignments made)... 149.75 c Sol. found (all assignments made)... 149.81 c Sol. found (all assignments made)... 149.81 c Sol. found (all assignments made)... 149.82 c Sol. found (all assignments made)... 149.92 c Sol. found (all assignments made)... 151.75 c Sol. found (all assignments made)... 151.75 c Sol. found (all assignments made)... 151.78 c Sol. found (all assignments made)... 151.86 c Sol. found (all assignments made)... 152.09 c Sol. found (all assignments made)... 152.19 c Sol. found (all assignments made)... 152.39 c Sol. found (all assignments made)... 152.39 c Sol. found (all assignments made)... 152.39 c Sol. found (all assignments made)... 152.51 c Sol. found (all assignments made)... 152.58 c Sol. found (all assignments made)... 152.60 c Sol. found (all assignments made)... 152.63 c Sol. found (all assignments made)... 153.44 c Sol. found (all assignments made)... 153.59 c Sol. found (all assignments made)... 153.92 c Sol. found (all assignments made)... 153.92 c Sol. found (all assignments made)... 153.93 c Sol. found (all assignments made)... 153.94 c Sol. found (all assignments made)... 153.98 c Sol. found (all assignments made)... 153.99 c Sol. found (all assignments made)... 153.99 c Sol. found (all assignments made)... 158.02 c Restart #26 #Var: 1344 LB: 0 @ 157.95 160.03 c Sol. found (all assignments made)... 160.07 c Sol. found (all assignments made)... 161.00 c Sol. found (all assignments made)... 161.04 c Sol. found (all assignments made)... 161.05 c Sol. found (all assignments made)... 161.05 c Sol. found (all assignments made)... 161.11 c Sol. found (all assignments made)... 161.24 c Sol. found (all assignments made)... 161.55 c Sol. found (all assignments made)... 162.00 c Sol. found (all assignments made)... 162.03 c Sol. found (all assignments made)... 162.27 c Sol. found (all assignments made)... 162.29 c Sol. found (all assignments made)... 162.35 c Sol. found (all assignments made)... 162.40 c Sol. found (all assignments made)... 162.69 c Sol. found (all assignments made)... 162.70 c Sol. found (all assignments made)... 163.69 c Sol. found (all assignments made)... 163.73 c Sol. found (all assignments made)... 163.77 c Sol. found (all assignments made)... 163.91 c Sol. found (all assignments made)... 163.96 c Sol. found (all assignments made)... 164.05 c Sol. found (all assignments made)... 164.35 c Sol. found (all assignments made)... 164.38 c Sol. found (all assignments made)... 164.52 c Sol. found (all assignments made)... 165.09 c Sol. found (all assignments made)... 165.18 c Sol. found (all assignments made)... 165.20 c Sol. found (all assignments made)... 165.55 c Sol. found (all assignments made)... 165.56 c Sol. found (all assignments made)... 165.62 c Sol. found (all assignments made)... 166.14 c Sol. found (all assignments made)... 166.19 c Sol. found (all assignments made)... 166.20 c Sol. found (all assignments made)... 167.02 c Restart #27 #Var: 1344 LB: 0 @ 166.95 168.11 c Sol. found (all assignments made)... 168.50 c Sol. found (all assignments made)... 169.86 c Sol. found (all assignments made)... 169.86 c Sol. found (all assignments made)... 169.86 c Sol. found (all assignments made)... 170.28 c Sol. found (all assignments made)... 170.33 c Sol. found (all assignments made)... 170.39 c Sol. found (all assignments made)... 170.44 c Sol. found (all assignments made)... 170.45 c Sol. found (all assignments made)... 170.53 c Sol. found (all assignments made)... 170.55 c Sol. found (all assignments made)... 170.62 c Sol. found (all assignments made)... 170.80 c Sol. found (all assignments made)... 170.80 c Sol. found (all assignments made)... 170.82 c Sol. found (all assignments made)... 171.57 c Sol. found (all assignments made)... 171.58 c Sol. found (all assignments made)... 171.59 c Sol. found (all assignments made)... 175.50 c Sol. found (all assignments made)... 175.86 c Sol. found (all assignments made)... 176.74 c Sol. found (all assignments made)... 177.06 c Sol. found (all assignments made)... 177.07 c Sol. found (all assignments made)... 177.08 c Sol. found (all assignments made)... 177.23 c Sol. found (all assignments made)... 177.23 c Sol. found (all assignments made)... 178.18 c Sol. found (all assignments made)... 178.18 c Sol. found (all assignments made)... 178.86 c Restart #28 #Var: 1344 LB: 0 @ 178.78 195.01 c Restart #29 #Var: 1344 LB: 0 @ 194.93 196.04 c Sol. found (all assignments made)... 196.04 c Sol. found (all assignments made)... 196.40 c Sol. found (all assignments made)... 196.45 c Sol. found (all assignments made)... 196.46 c Sol. found (all assignments made)... 196.50 c Sol. found (all assignments made)... 196.50 c Sol. found (all assignments made)... 196.52 c Sol. found (all assignments made)... 196.52 c Sol. found (all assignments made)... 196.56 c Sol. found (all assignments made)... 196.56 c Sol. found (all assignments made)... 196.58 c Sol. found (all assignments made)... 196.58 c Sol. found (all assignments made)... 196.59 c Sol. found (all assignments made)... 196.60 c Sol. found (all assignments made)... 196.60 c Sol. found (all assignments made)... 196.60 c Sol. found (all assignments made)... 196.61 c Sol. found (all assignments made)... 196.61 c Sol. found (all assignments made)... 196.61 c Sol. found (all assignments made)... 196.62 c Sol. found (all assignments made)... 196.67 c Sol. found (all assignments made)... 196.69 c Sol. found (all assignments made)... 196.70 c Sol. found (all assignments made)... 196.71 c Sol. found (all assignments made)... 196.87 c Sol. found (all assignments made)... 196.88 c Sol. found (all assignments made)... 197.45 c Sol. found (all assignments made)... 197.49 c Sol. found (all assignments made)... 198.07 c Sol. found (all assignments made)... 198.54 c Sol. found (all assignments made)... 198.61 c Sol. found (all assignments made)... 198.68 c Sol. found (all assignments made)... 198.69 c Sol. found (all assignments made)... 198.71 c Sol. found (all assignments made)... 198.72 c Sol. found (all assignments made)... 199.27 c Sol. found (all assignments made)... 199.27 c Sol. found (all assignments made)... 199.27 c Sol. found (all assignments made)... 199.30 c Sol. found (all assignments made)... 199.43 c Sol. found (all assignments made)... 199.46 c Sol. found (all assignments made)... 199.58 c Sol. found (all assignments made)... 199.62 c Sol. found (all assignments made)... 199.62 c Sol. found (all assignments made)... 199.87 c Sol. found (all assignments made)... 199.93 c Sol. found (all assignments made)... 199.98 c Sol. found (all assignments made)... 199.98 c Sol. found (all assignments made)... 199.98 c Sol. found (all assignments made)... 199.98 c Sol. found (all assignments made)... 200.00 c Sol. found (all assignments made)... 200.00 c Sol. found (all assignments made)... 200.03 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.15 c Sol. found (all assignments made)... 200.19 c Sol. found (all assignments made)... 200.35 c Sol. found (all assignments made)... 200.36 c Sol. found (all assignments made)... 200.38 c Sol. found (all assignments made)... 200.41 c Sol. found (all assignments made)... 200.63 c Sol. found (all assignments made)... 200.63 c Sol. found (all assignments made)... 200.66 c Sol. found (all assignments made)... 200.69 c Sol. found (all assignments made)... 200.80 c Sol. found (all assignments made)... 200.81 c Sol. found (all assignments made)... 200.81 c Sol. found (all assignments made)... 200.84 c Sol. found (all assignments made)... 200.84 c Sol. found (all assignments made)... 200.89 c Sol. found (all assignments made)... 200.90 c Sol. found (all assignments made)... 200.95 c Sol. found (all assignments made)... 201.02 c Sol. found (all assignments made)... 201.08 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 201.66 c Sol. found (all assignments made)... 202.37 c Sol. found (all assignments made)... 202.37 c Sol. found (all assignments made)... 202.38 c Sol. found (all assignments made)... 202.83 c Sol. found (all assignments made)... 203.01 c Sol. found (all assignments made)... 203.01 c Sol. found (all assignments made)... 203.01 c Sol. found (all assignments made)... 203.03 c Sol. found (all assignments made)... 203.04 c Sol. found (all assignments made)... 203.06 c Sol. found (all assignments made)... 203.06 c Sol. found (all assignments made)... 203.06 c Sol. found (all assignments made)... 203.08 c Sol. found (all assignments made)... 203.09 c Sol. found (all assignments made)... 203.09 c Sol. found (all assignments made)... 203.36 c Sol. found (all assignments made)... 203.37 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.41 c Sol. found (all assignments made)... 203.53 c Sol. found (all assignments made)... 203.53 o 180 203.53 c NEW SOLUTION FOUND: 180 @ 203.44 203.53 c Sol. found (all assignments made)... 203.57 c Sol. found (all assignments made)... 203.60 c Sol. found (all assignments made)... 203.60 c Sol. found (all assignments made)... 203.94 c Sol. found (all assignments made)... 203.94 c Sol. found (all assignments made)... 204.23 c Sol. found (all assignments made)... 204.23 c Sol. found (all assignments made)... 204.25 c Sol. found (all assignments made)... 204.25 o 178 204.25 c NEW SOLUTION FOUND: 178 @ 204.16 204.25 c Sol. found (all assignments made)... 204.45 c Sol. found (all assignments made)... 204.48 c Sol. found (all assignments made)... 204.48 c Sol. found (all assignments made)... 204.56 c Sol. found (all assignments made)... 204.59 c Sol. found (all assignments made)... 204.60 c Sol. found (all assignments made)... 204.61 c Sol. found (all assignments made)... 204.62 c Sol. found (all assignments made)... 204.66 c Sol. found (all assignments made)... 204.67 c Sol. found (all assignments made)... 204.73 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.75 c Sol. found (all assignments made)... 204.79 c Sol. found (all assignments made)... 204.83 c Sol. found (all assignments made)... 204.95 c Sol. found (all assignments made)... 204.96 c Sol. found (all assignments made)... 205.23 c Sol. found (all assignments made)... 205.25 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.27 c Sol. found (all assignments made)... 205.28 c Sol. found (all assignments made)... 205.28 c Sol. found (all assignments made)... 205.30 c Sol. found (all assignments made)... 205.30 c Sol. found (all assignments made)... 205.36 c Sol. found (all assignments made)... 205.72 c Sol. found (all assignments made)... 205.80 c Sol. found (all assignments made)... 205.91 c Sol. found (all assignments made)... 205.91 c Sol. found (all assignments made)... 205.92 c Sol. found (all assignments made)... 205.92 c Sol. found (all assignments made)... 205.97 c Sol. found (all assignments made)... 205.98 c Sol. found (all assignments made)... 207.71 c Sol. found (all assignments made)... 207.73 c Sol. found (all assignments made)... 207.89 c Sol. found (all assignments made)... 207.93 c Sol. found (all assignments made)... 208.13 c Sol. found (all assignments made)... 208.17 c Sol. found (all assignments made)... 208.47 c Sol. found (all assignments made)... 208.47 c Sol. found (all assignments made)... 208.56 c Sol. found (all assignments made)... 208.57 c Sol. found (all assignments made)... 208.74 c Sol. found (all assignments made)... 209.06 c Sol. found (all assignments made)... 209.12 c Sol. found (all assignments made)... 209.16 c Sol. found (all assignments made)... 209.42 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 210.21 c Sol. found (all assignments made)... 210.94 c Sol. found (all assignments made)... 212.71 c Sol. found (all assignments made)... 212.71 c Sol. found (all assignments made)... 212.96 c Sol. found (all assignments made)... 212.98 c Sol. found (all assignments made)... 213.16 c Sol. found (all assignments made)... 213.17 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.49 c Sol. found (all assignments made)... 213.60 c Sol. found (all assignments made)... 213.70 c Sol. found (all assignments made)... 213.83 c Sol. found (all assignments made)... 214.25 c Sol. found (all assignments made)... 214.31 c Sol. found (all assignments made)... 214.32 c Sol. found (all assignments made)... 214.61 c Sol. found (all assignments made)... 215.18 c Sol. found (all assignments made)... 215.18 c Sol. found (all assignments made)... 216.81 c Sol. found (all assignments made)... 216.82 c Sol. found (all assignments made)... 216.84 c Sol. found (all assignments made)... 216.84 c Sol. found (all assignments made)... 217.28 c Restart #30 #Var: 1344 LB: 0 @ 217.19 236.22 c Restart #31 #Var: 1344 LB: 0 @ 236.12 236.89 c Sol. found (all assignments made)... 236.94 c Sol. found (all assignments made)... 237.46 c Sol. found (all assignments made)... 237.48 c Sol. found (all assignments made)... 237.48 c Sol. found (all assignments made)... 237.49 c Sol. found (all assignments made)... 237.55 c Sol. found (all assignments made)... 237.57 c Sol. found (all assignments made)... 237.63 c Sol. found (all assignments made)... 237.67 c Sol. found (all assignments made)... 237.70 c Sol. found (all assignments made)... 237.77 c Sol. found (all assignments made)... 237.83 c Sol. found (all assignments made)... 238.02 c Sol. found (all assignments made)... 238.23 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.41 c Sol. found (all assignments made)... 238.56 c Sol. found (all assignments made)... 238.61 c Sol. found (all assignments made)... 238.72 c Sol. found (all assignments made)... 238.72 c Sol. found (all assignments made)... 238.80 c Sol. found (all assignments made)... 238.84 c Sol. found (all assignments made)... 238.92 c Sol. found (all assignments made)... 238.98 c Sol. found (all assignments made)... 239.20 c Sol. found (all assignments made)... 239.31 c Sol. found (all assignments made)... 239.38 c Sol. found (all assignments made)... 239.39 c Sol. found (all assignments made)... 239.48 c Sol. found (all assignments made)... 239.63 c Sol. found (all assignments made)... 239.63 c Sol. found (all assignments made)... 239.64 c Sol. found (all assignments made)... 239.64 c Sol. found (all assignments made)... 239.64 c Sol. found (all assignments made)... 239.64 c Sol. found (all assignments made)... 239.74 c Sol. found (all assignments made)... 239.78 c Sol. found (all assignments made)... 239.87 c Sol. found (all assignments made)... 240.11 c Sol. found (all assignments made)... 240.40 c Sol. found (all assignments made)... 240.41 c Sol. found (all assignments made)... 240.44 c Sol. found (all assignments made)... 240.56 c Sol. found (all assignments made)... 240.57 c Sol. found (all assignments made)... 240.66 c Sol. found (all assignments made)... 240.69 c Sol. found (all assignments made)... 240.72 c Sol. found (all assignments made)... 240.72 c Sol. found (all assignments made)... 240.75 c Sol. found (all assignments made)... 240.92 c Sol. found (all assignments made)... 241.62 c Sol. found (all assignments made)... 241.66 c Sol. found (all assignments made)... 241.90 c Sol. found (all assignments made)... 241.94 c Sol. found (all assignments made)... 241.99 c Sol. found (all assignments made)... 242.00 c Sol. found (all assignments made)... 242.07 c Sol. found (all assignments made)... 242.61 c Sol. found (all assignments made)... 243.73 c Sol. found (all assignments made)... 244.62 c Sol. found (all assignments made)... 244.75 c Sol. found (all assignments made)... 245.27 c Sol. found (all assignments made)... 245.28 c Sol. found (all assignments made)... 245.87 c Restart #32 #Var: 1344 LB: 0 @ 245.77 250.34 c Sol. found (all assignments made)... 254.42 c Sol. found (all assignments made)... 257.29 c Sol. found (all assignments made)... 257.30 c Sol. found (all assignments made)... 257.31 c Sol. found (all assignments made)... 257.32 c Sol. found (all assignments made)... 257.33 c Sol. found (all assignments made)... 257.33 c Sol. found (all assignments made)... 257.70 c Sol. found (all assignments made)... 258.00 c Sol. found (all assignments made)... 259.30 c Sol. found (all assignments made)... 260.17 c Sol. found (all assignments made)... 260.97 c Sol. found (all assignments made)... 261.07 c Sol. found (all assignments made)... 262.51 c Sol. found (all assignments made)... 262.51 c Sol. found (all assignments made)... 262.60 c Sol. found (all assignments made)... 263.83 c Sol. found (all assignments made)... 267.04 c Sol. found (all assignments made)... 267.28 c Sol. found (all assignments made)... 269.76 c Sol. found (all assignments made)... 271.48 c Restart #33 #Var: 1344 LB: 0 @ 271.37 272.17 c Sol. found (all assignments made)... 272.20 c Sol. found (all assignments made)... 272.27 c Sol. found (all assignments made)... 272.40 c Sol. found (all assignments made)... 274.18 c Sol. found (all assignments made)... 275.14 c Sol. found (all assignments made)... 275.33 c Sol. found (all assignments made)... 275.34 c Sol. found (all assignments made)... 275.35 c Sol. found (all assignments made)... 275.59 c Sol. found (all assignments made)... 275.60 c Sol. found (all assignments made)... 275.65 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 277.31 c Sol. found (all assignments made)... 277.36 c Sol. found (all assignments made)... 278.67 c Sol. found (all assignments made)... 278.78 c Sol. found (all assignments made)... 278.86 c Sol. found (all assignments made)... 278.88 c Sol. found (all assignments made)... 279.30 c Sol. found (all assignments made)... 279.30 c Sol. found (all assignments made)... 279.43 c Sol. found (all assignments made)... 279.49 c Sol. found (all assignments made)... 279.50 c Sol. found (all assignments made)... 279.52 c Sol. found (all assignments made)... 279.55 c Sol. found (all assignments made)... 279.56 c Sol. found (all assignments made)... 279.67 c Sol. found (all assignments made)... 279.67 c Sol. found (all assignments made)... 279.78 c Sol. found (all assignments made)... 280.03 c Sol. found (all assignments made)... 280.05 c Sol. found (all assignments made)... 280.12 c Sol. found (all assignments made)... 291.62 c Sol. found (all assignments made)... 291.77 c Sol. found (all assignments made)... 291.78 c Sol. found (all assignments made)... 291.90 c Restart #34 #Var: 1344 LB: 0 @ 291.78 293.19 c Sol. found (all assignments made)... 293.20 c Sol. found (all assignments made)... 293.20 c Sol. found (all assignments made)... 293.31 c Sol. found (all assignments made)... 293.47 c Sol. found (all assignments made)... 293.48 c Sol. found (all assignments made)... 293.51 c Sol. found (all assignments made)... 293.52 c Sol. found (all assignments made)... 293.64 c Sol. found (all assignments made)... 293.87 c Sol. found (all assignments made)... 293.87 c Sol. found (all assignments made)... 294.39 c Sol. found (all assignments made)... 294.61 c Sol. found (all assignments made)... 294.61 c Sol. found (all assignments made)... 294.78 c Sol. found (all assignments made)... 294.78 c Sol. found (all assignments made)... 294.86 c Sol. found (all assignments made)... 295.16 c Sol. found (all assignments made)... 295.19 c Sol. found (all assignments made)... 295.76 c Sol. found (all assignments made)... 295.77 c Sol. found (all assignments made)... 295.77 c Sol. found (all assignments made)... 296.10 c Sol. found (all assignments made)... 296.83 c Sol. found (all assignments made)... 296.83 c Sol. found (all assignments made)... 296.84 c Sol. found (all assignments made)... 296.85 c Sol. found (all assignments made)... 296.86 c Sol. found (all assignments made)... 298.27 c Sol. found (all assignments made)... 298.27 c Sol. found (all assignments made)... 298.29 c Sol. found (all assignments made)... 298.30 c Sol. found (all assignments made)... 298.32 c Sol. found (all assignments made)... 298.33 c Sol. found (all assignments made)... 298.33 c Sol. found (all assignments made)... 298.33 c Sol. found (all assignments made)... 298.35 c Sol. found (all assignments made)... 299.17 c Sol. found (all assignments made)... 299.27 c Sol. found (all assignments made)... 299.27 c Sol. found (all assignments made)... 299.27 c Sol. found (all assignments made)... 299.28 c Sol. found (all assignments made)... 299.28 c Sol. found (all assignments made)... 299.28 c Sol. found (all assignments made)... 299.28 c Sol. found (all assignments made)... 299.28 c Sol. found (all assignments made)... 299.45 c Sol. found (all assignments made)... 299.53 c Sol. found (all assignments made)... 299.53 c Sol. found (all assignments made)... 299.54 c Sol. found (all assignments made)... 299.54 c Sol. found (all assignments made)... 299.55 c Sol. found (all assignments made)... 299.57 c Sol. found (all assignments made)... 299.61 c Sol. found (all assignments made)... 299.61 c Sol. found (all assignments made)... 299.62 c Sol. found (all assignments made)... 299.62 c Sol. found (all assignments made)... 299.65 c Sol. found (all assignments made)... 299.66 c Sol. found (all assignments made)... 299.66 c Sol. found (all assignments made)... 299.66 c Sol. found (all assignments made)... 299.71 c Sol. found (all assignments made)... 299.71 c Sol. found (all assignments made)... 299.71 c Sol. found (all assignments made)... 299.71 c Sol. found (all assignments made)... 299.71 c Sol. found (all assignments made)... 302.54 c Sol. found (all assignments made)... 302.54 c Sol. found (all assignments made)... 302.54 c Sol. found (all assignments made)... 302.63 c Sol. found (all assignments made)... 303.40 c Sol. found (all assignments made)... 303.40 c Sol. found (all assignments made)... 303.40 c Sol. found (all assignments made)... 303.51 c Sol. found (all assignments made)... 303.51 c Sol. found (all assignments made)... 303.54 c Sol. found (all assignments made)... 303.54 c Sol. found (all assignments made)... 303.61 c Sol. found (all assignments made)... 303.61 c Sol. found (all assignments made)... 303.61 c Sol. found (all assignments made)... 303.62 c Sol. found (all assignments made)... 303.62 c Sol. found (all assignments made)... 303.63 c Sol. found (all assignments made)... 303.64 c Sol. found (all assignments made)... 303.64 c Sol. found (all assignments made)... 303.64 c Sol. found (all assignments made)... 303.64 c Sol. found (all assignments made)... 307.81 c Restart #35 #Var: 1344 LB: 0 @ 307.68 309.60 c Sol. found (all assignments made)... 309.63 c Sol. found (all assignments made)... 309.72 c Sol. found (all assignments made)... 311.57 c Sol. found (all assignments made)... 312.25 c Sol. found (all assignments made)... 314.87 c Sol. found (all assignments made)... 314.92 c Sol. found (all assignments made)... 314.92 c Sol. found (all assignments made)... 314.99 c Sol. found (all assignments made)... 316.54 c Sol. found (all assignments made)... 316.54 c Sol. found (all assignments made)... 316.54 c Sol. found (all assignments made)... 316.62 c Sol. found (all assignments made)... 316.62 c Sol. found (all assignments made)... 316.77 c Sol. found (all assignments made)... 316.79 c Sol. found (all assignments made)... 316.79 c Sol. found (all assignments made)... 316.81 c Sol. found (all assignments made)... 316.89 c Sol. found (all assignments made)... 316.89 c Sol. found (all assignments made)... 318.72 c Sol. found (all assignments made)... 318.79 c Sol. found (all assignments made)... 319.96 c Sol. found (all assignments made)... 319.96 c Sol. found (all assignments made)... 320.20 c Sol. found (all assignments made)... 320.20 c Sol. found (all assignments made)... 320.29 c Sol. found (all assignments made)... 320.29 c Sol. found (all assignments made)... 320.47 c Sol. found (all assignments made)... 320.49 c Sol. found (all assignments made)... 320.50 c Sol. found (all assignments made)... 320.52 c Sol. found (all assignments made)... 321.99 c Sol. found (all assignments made)... 321.99 c Sol. found (all assignments made)... 322.36 c Sol. found (all assignments made)... 322.37 c Sol. found (all assignments made)... 326.85 c Restart #36 #Var: 1344 LB: 0 @ 326.71 332.31 c Sol. found (all assignments made)... 332.32 c Sol. found (all assignments made)... 332.36 c Sol. found (all assignments made)... 332.37 c Sol. found (all assignments made)... 333.13 c Sol. found (all assignments made)... 333.33 c Sol. found (all assignments made)... 333.34 c Sol. found (all assignments made)... 334.34 c Sol. found (all assignments made)... 334.71 c Sol. found (all assignments made)... 334.81 c Sol. found (all assignments made)... 334.87 c Sol. found (all assignments made)... 335.02 c Sol. found (all assignments made)... 335.12 c Sol. found (all assignments made)... 335.28 c Sol. found (all assignments made)... 335.30 c Sol. found (all assignments made)... 335.61 c Sol. found (all assignments made)... 335.89 c Sol. found (all assignments made)... 336.09 c Sol. found (all assignments made)... 337.30 c Sol. found (all assignments made)... 337.87 c Sol. found (all assignments made)... 338.42 c Sol. found (all assignments made)... 338.43 c Sol. found (all assignments made)... 339.05 c Sol. found (all assignments made)... 339.05 c Sol. found (all assignments made)... 339.05 c Sol. found (all assignments made)... 339.07 c Sol. found (all assignments made)... 339.07 c Sol. found (all assignments made)... 339.15 c Sol. found (all assignments made)... 339.15 c Sol. found (all assignments made)... 339.17 c Sol. found (all assignments made)... 339.17 c Sol. found (all assignments made)... 339.42 c Sol. found (all assignments made)... 339.42 c Sol. found (all assignments made)... 340.14 c Sol. found (all assignments made)... 340.55 c Sol. found (all assignments made)... 340.56 c Sol. found (all assignments made)... 340.57 c Sol. found (all assignments made)... 340.58 c Sol. found (all assignments made)... 340.60 c Sol. found (all assignments made)... 341.12 c Sol. found (all assignments made)... 342.03 c Sol. found (all assignments made)... 342.33 c Sol. found (all assignments made)... 342.41 c Sol. found (all assignments made)... 342.79 c Sol. found (all assignments made)... 342.80 c Sol. found (all assignments made)... 342.84 c Sol. found (all assignments made)... 342.86 c Sol. found (all assignments made)... 343.23 c Sol. found (all assignments made)... 343.28 c Sol. found (all assignments made)... 343.35 c Sol. found (all assignments made)... 343.37 c Sol. found (all assignments made)... 343.94 c Sol. found (all assignments made)... 343.94 c Sol. found (all assignments made)... 343.96 c Sol. found (all assignments made)... 344.02 c Sol. found (all assignments made)... 344.04 c Sol. found (all assignments made)... 344.14 c Sol. found (all assignments made)... 344.14 c Sol. found (all assignments made)... 344.15 c Sol. found (all assignments made)... 344.24 c Sol. found (all assignments made)... 344.25 c Sol. found (all assignments made)... 344.53 c Sol. found (all assignments made)... 344.55 c Sol. found (all assignments made)... 345.15 c Sol. found (all assignments made)... 345.16 c Sol. found (all assignments made)... 345.26 c Sol. found (all assignments made)... 345.27 c Sol. found (all assignments made)... 345.27 c Sol. found (all assignments made)... 345.33 c Sol. found (all assignments made)... 345.53 c Sol. found (all assignments made)... 345.78 c Sol. found (all assignments made)... 345.78 c Sol. found (all assignments made)... 345.78 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.79 c Sol. found (all assignments made)... 345.80 c Sol. found (all assignments made)... 345.80 c Sol. found (all assignments made)... 345.80 c Sol. found (all assignments made)... 345.80 c Sol. found (all assignments made)... 345.82 c Sol. found (all assignments made)... 345.82 c Sol. found (all assignments made)... 345.84 c Sol. found (all assignments made)... 345.86 c Sol. found (all assignments made)... 346.00 c Sol. found (all assignments made)... 346.09 c Sol. found (all assignments made)... 346.15 c Sol. found (all assignments made)... 346.32 c Sol. found (all assignments made)... 346.34 c Sol. found (all assignments made)... 346.60 c Sol. found (all assignments made)... 346.63 c Sol. found (all assignments made)... 346.66 c Sol. found (all assignments made)... 346.74 c Sol. found (all assignments made)... 346.81 c Sol. found (all assignments made)... 346.83 c Sol. found (all assignments made)... 346.90 c Sol. found (all assignments made)... 346.96 c Sol. found (all assignments made)... 346.97 c Sol. found (all assignments made)... 347.02 c Sol. found (all assignments made)... 347.03 c Sol. found (all assignments made)... 347.16 c Sol. found (all assignments made)... 347.21 c Sol. found (all assignments made)... 347.22 c Sol. found (all assignments made)... 347.33 c Restart #37 #Var: 1344 LB: 0 @ 347.18 351.40 c Sol. found (all assignments made)... 351.47 c Sol. found (all assignments made)... 358.55 c Sol. found (all assignments made)... 359.78 c Sol. found (all assignments made)... 375.74 c Restart #38 #Var: 1344 LB: 0 @ 375.58 382.71 c Sol. found (all assignments made)... 382.79 c Sol. found (all assignments made)... 382.80 c Sol. found (all assignments made)... 382.83 c Sol. found (all assignments made)... 382.83 c Sol. found (all assignments made)... 382.84 c Sol. found (all assignments made)... 382.84 c Sol. found (all assignments made)... 382.85 c Sol. found (all assignments made)... 382.85 c Sol. found (all assignments made)... 382.85 c Sol. found (all assignments made)... 382.87 c Sol. found (all assignments made)... 382.88 c Sol. found (all assignments made)... 382.92 c Sol. found (all assignments made)... 382.94 c Sol. found (all assignments made)... 382.97 c Sol. found (all assignments made)... 382.97 c Sol. found (all assignments made)... 384.31 c Sol. found (all assignments made)... 384.32 c Sol. found (all assignments made)... 384.54 c Sol. found (all assignments made)... 384.56 c Sol. found (all assignments made)... 384.57 c Sol. found (all assignments made)... 384.57 c Sol. found (all assignments made)... 384.70 c Sol. found (all assignments made)... 384.89 c Sol. found (all assignments made)... 384.92 c Sol. found (all assignments made)... 384.93 c Sol. found (all assignments made)... 385.08 c Sol. found (all assignments made)... 385.09 c Sol. found (all assignments made)... 385.15 c Sol. found (all assignments made)... 385.15 c Sol. found (all assignments made)... 385.15 c Sol. found (all assignments made)... 385.17 c Sol. found (all assignments made)... 385.18 c Sol. found (all assignments made)... 385.23 c Sol. found (all assignments made)... 385.31 c Sol. found (all assignments made)... 385.31 c Sol. found (all assignments made)... 387.15 c Sol. found (all assignments made)... 387.16 c Sol. found (all assignments made)... 387.16 c Sol. found (all assignments made)... 387.28 c Sol. found (all assignments made)... 387.30 c Sol. found (all assignments made)... 387.36 c Sol. found (all assignments made)... 387.37 c Sol. found (all assignments made)... 387.37 c Sol. found (all assignments made)... 387.50 c Sol. found (all assignments made)... 388.46 c Sol. found (all assignments made)... 388.47 c Sol. found (all assignments made)... 388.47 c Sol. found (all assignments made)... 388.47 c Sol. found (all assignments made)... 388.49 c Sol. found (all assignments made)... 388.72 c Sol. found (all assignments made)... 388.90 c Sol. found (all assignments made)... 388.92 c Sol. found (all assignments made)... 389.27 c Sol. found (all assignments made)... 389.27 c Sol. found (all assignments made)... 389.27 c Sol. found (all assignments made)... 389.29 c Sol. found (all assignments made)... 389.29 c Sol. found (all assignments made)... 389.29 c Sol. found (all assignments made)... 389.37 c Sol. found (all assignments made)... 389.37 c Sol. found (all assignments made)... 389.37 c Sol. found (all assignments made)... 389.39 c Sol. found (all assignments made)... 389.48 c Sol. found (all assignments made)... 389.50 c Sol. found (all assignments made)... 389.50 c Sol. found (all assignments made)... 389.50 c Sol. found (all assignments made)... 389.50 c Sol. found (all assignments made)... 389.70 c Sol. found (all assignments made)... 389.79 c Sol. found (all assignments made)... 389.79 c Sol. found (all assignments made)... 389.86 c Sol. found (all assignments made)... 389.90 c Sol. found (all assignments made)... 389.90 c Sol. found (all assignments made)... 389.91 c Sol. found (all assignments made)... 389.95 c Sol. found (all assignments made)... 389.98 c Sol. found (all assignments made)... 389.98 c Sol. found (all assignments made)... 390.00 c Sol. found (all assignments made)... 390.07 c Sol. found (all assignments made)... 390.07 c Sol. found (all assignments made)... 390.08 c Sol. found (all assignments made)... 390.08 c Sol. found (all assignments made)... 390.17 c Sol. found (all assignments made)... 390.20 c Sol. found (all assignments made)... 390.26 c Sol. found (all assignments made)... 390.28 c Sol. found (all assignments made)... 390.29 c Sol. found (all assignments made)... 390.33 c Sol. found (all assignments made)... 390.34 c Sol. found (all assignments made)... 390.38 c Sol. found (all assignments made)... 390.38 c Sol. found (all assignments made)... 390.40 c Sol. found (all assignments made)... 390.41 c Sol. found (all assignments made)... 390.41 c Sol. found (all assignments made)... 390.41 c Sol. found (all assignments made)... 390.43 c Sol. found (all assignments made)... 390.44 c Sol. found (all assignments made)... 390.44 c Sol. found (all assignments made)... 390.50 c Sol. found (all assignments made)... 390.52 c Sol. found (all assignments made)... 390.55 c Sol. found (all assignments made)... 390.56 c Sol. found (all assignments made)... 390.62 c Sol. found (all assignments made)... 390.80 c Sol. found (all assignments made)... 390.80 c Sol. found (all assignments made)... 390.80 c Sol. found (all assignments made)... 390.83 c Sol. found (all assignments made)... 390.83 c Sol. found (all assignments made)... 390.95 c Sol. found (all assignments made)... 390.96 c Sol. found (all assignments made)... 390.98 c Sol. found (all assignments made)... 390.99 c Sol. found (all assignments made)... 391.01 c Sol. found (all assignments made)... 391.02 c Sol. found (all assignments made)... 391.04 c Sol. found (all assignments made)... 391.13 c Sol. found (all assignments made)... 391.13 c Sol. found (all assignments made)... 391.15 c Sol. found (all assignments made)... 391.15 c Sol. found (all assignments made)... 391.15 c Sol. found (all assignments made)... 391.15 c Sol. found (all assignments made)... 391.18 c Sol. found (all assignments made)... 391.18 c Sol. found (all assignments made)... 391.18 c Sol. found (all assignments made)... 391.20 c Sol. found (all assignments made)... 391.21 c Sol. found (all assignments made)... 391.24 c Sol. found (all assignments made)... 391.32 c Sol. found (all assignments made)... 391.33 c Sol. found (all assignments made)... 391.33 c Sol. found (all assignments made)... 391.40 c Sol. found (all assignments made)... 391.60 c Restart #39 #Var: 1344 LB: 0 @ 391.44 398.43 c Sol. found (all assignments made)... 402.15 c Sol. found (all assignments made)... 404.09 c Sol. found (all assignments made)... 407.17 c Sol. found (all assignments made)... 407.19 c Sol. found (all assignments made)... 410.72 c Sol. found (all assignments made)... 410.73 c Sol. found (all assignments made)... 416.00 c Sol. found (all assignments made)... 416.02 c Sol. found (all assignments made)... 418.07 c Sol. found (all assignments made)... 418.15 c Sol. found (all assignments made)... 418.39 c Sol. found (all assignments made)... 418.42 c Sol. found (all assignments made)... 418.48 c Sol. found (all assignments made)... 418.49 c Sol. found (all assignments made)... 418.49 c Sol. found (all assignments made)... 418.50 c Sol. found (all assignments made)... 424.52 c Restart #40 #Var: 1344 LB: 0 @ 424.35 431.08 c Sol. found (all assignments made)... 431.09 c Sol. found (all assignments made)... 431.14 c Sol. found (all assignments made)... 431.15 c Sol. found (all assignments made)... 431.19 c Sol. found (all assignments made)... 431.88 c Sol. found (all assignments made)... 431.89 c Sol. found (all assignments made)... 431.92 c Sol. found (all assignments made)... 431.93 c Sol. found (all assignments made)... 432.54 c Sol. found (all assignments made)... 432.61 c Sol. found (all assignments made)... 432.62 c Sol. found (all assignments made)... 432.79 c Sol. found (all assignments made)... 432.97 c Sol. found (all assignments made)... 433.30 c Sol. found (all assignments made)... 435.58 c Sol. found (all assignments made)... 435.68 c Sol. found (all assignments made)... 436.15 c Sol. found (all assignments made)... 436.18 c Sol. found (all assignments made)... 436.29 c Sol. found (all assignments made)... 438.05 c Sol. found (all assignments made)... 438.11 c Sol. found (all assignments made)... 442.34 c Sol. found (all assignments made)... 442.45 c Sol. found (all assignments made)... 442.57 c Sol. found (all assignments made)... 443.28 c Sol. found (all assignments made)... 443.28 c Sol. found (all assignments made)... 443.39 c Sol. found (all assignments made)... 443.44 c Sol. found (all assignments made)... 444.11 c Sol. found (all assignments made)... 444.16 c Sol. found (all assignments made)... 444.24 c Sol. found (all assignments made)... 444.57 c Sol. found (all assignments made)... 444.62 c Sol. found (all assignments made)... 444.64 c Sol. found (all assignments made)... 444.66 c Sol. found (all assignments made)... 444.76 c Sol. found (all assignments made)... 444.77 c Sol. found (all assignments made)... 444.89 c Restart #41 #Var: 1344 LB: 0 @ 444.71 474.42 c Restart #42 #Var: 1344 LB: 0 @ 474.24 474.90 c Sol. found (all assignments made)... 475.90 c Sol. found (all assignments made)... 475.91 c Sol. found (all assignments made)... 476.40 c Sol. found (all assignments made)... 476.42 c Sol. found (all assignments made)... 476.42 c Sol. found (all assignments made)... 476.53 c Sol. found (all assignments made)... 477.24 c Sol. found (all assignments made)... 477.24 c Sol. found (all assignments made)... 478.74 c Sol. found (all assignments made)... 479.55 c Sol. found (all assignments made)... 479.55 c Sol. found (all assignments made)... 480.04 c Sol. found (all assignments made)... 480.23 c Sol. found (all assignments made)... 480.98 c Sol. found (all assignments made)... 481.47 c Sol. found (all assignments made)... 481.47 c Sol. found (all assignments made)... 481.57 c Sol. found (all assignments made)... 481.61 c Sol. found (all assignments made)... 481.69 c Sol. found (all assignments made)... 482.07 c Sol. found (all assignments made)... 482.07 c Sol. found (all assignments made)... 482.10 c Sol. found (all assignments made)... 483.91 c Sol. found (all assignments made)... 485.10 c Sol. found (all assignments made)... 486.06 c Sol. found (all assignments made)... 486.25 c Sol. found (all assignments made)... 486.35 c Sol. found (all assignments made)... 486.96 c Sol. found (all assignments made)... 487.31 c Sol. found (all assignments made)... 488.19 c Sol. found (all assignments made)... 488.43 c Sol. found (all assignments made)... 488.45 c Sol. found (all assignments made)... 488.45 c Sol. found (all assignments made)... 488.52 c Sol. found (all assignments made)... 488.52 c Sol. found (all assignments made)... 488.57 c Sol. found (all assignments made)... 489.20 c Sol. found (all assignments made)... 489.21 c Sol. found (all assignments made)... 489.22 c Sol. found (all assignments made)... 490.19 c Sol. found (all assignments made)... 490.19 c Sol. found (all assignments made)... 490.76 c Sol. found (all assignments made)... 492.10 c Sol. found (all assignments made)... 492.61 c Sol. found (all assignments made)... 493.60 c Sol. found (all assignments made)... 493.61 c Sol. found (all assignments made)... 494.88 c Sol. found (all assignments made)... 494.89 c Sol. found (all assignments made)... 494.90 c Sol. found (all assignments made)... 494.92 c Sol. found (all assignments made)... 494.92 c Sol. found (all assignments made)... 494.95 c Sol. found (all assignments made)... 494.95 c Sol. found (all assignments made)... 495.14 c Sol. found (all assignments made)... 495.19 c Sol. found (all assignments made)... 495.78 c Sol. found (all assignments made)... 496.00 c Sol. found (all assignments made)... 496.70 c Sol. found (all assignments made)... 496.70 c Sol. found (all assignments made)... 496.99 c Sol. found (all assignments made)... 497.11 c Sol. found (all assignments made)... 498.71 c Sol. found (all assignments made)... 498.73 c Sol. found (all assignments made)... 498.74 c Sol. found (all assignments made)... 498.87 c Sol. found (all assignments made)... 499.93 c Sol. found (all assignments made)... 502.18 c Sol. found (all assignments made)... 502.61 c Restart #43 #Var: 1344 LB: 0 @ 502.42 507.09 c Sol. found (all assignments made)... 508.28 c Sol. found (all assignments made)... 508.44 c Sol. found (all assignments made)... 510.89 c Sol. found (all assignments made)... 510.89 c Sol. found (all assignments made)... 511.89 c Sol. found (all assignments made)... 511.89 c Sol. found (all assignments made)... 511.92 c Sol. found (all assignments made)... 511.92 c Sol. found (all assignments made)... 512.25 c Sol. found (all assignments made)... 512.65 c Sol. found (all assignments made)... 512.84 c Sol. found (all assignments made)... 512.85 c Sol. found (all assignments made)... 512.88 c Sol. found (all assignments made)... 512.88 c Sol. found (all assignments made)... 513.16 c Sol. found (all assignments made)... 513.17 c Sol. found (all assignments made)... 513.50 c Sol. found (all assignments made)... 513.53 c Sol. found (all assignments made)... 514.68 c Sol. found (all assignments made)... 514.79 c Sol. found (all assignments made)... 514.88 c Sol. found (all assignments made)... 514.97 c Sol. found (all assignments made)... 515.27 c Sol. found (all assignments made)... 515.29 c Sol. found (all assignments made)... 516.94 c Sol. found (all assignments made)... 517.63 c Sol. found (all assignments made)... 518.52 c Sol. found (all assignments made)... 518.63 c Sol. found (all assignments made)... 524.98 c Sol. found (all assignments made)... 525.00 c Sol. found (all assignments made)... 525.29 c Sol. found (all assignments made)... 525.30 c Sol. found (all assignments made)... 525.35 c Sol. found (all assignments made)... 525.35 c Sol. found (all assignments made)... 525.58 c Sol. found (all assignments made)... 526.61 c Sol. found (all assignments made)... 526.73 c Sol. found (all assignments made)... 526.81 c Sol. found (all assignments made)... 527.15 c Sol. found (all assignments made)... 527.19 c Sol. found (all assignments made)... 527.33 c Sol. found (all assignments made)... 527.59 c Sol. found (all assignments made)... 527.73 c Sol. found (all assignments made)... 527.79 c Sol. found (all assignments made)... 527.85 c Sol. found (all assignments made)... 527.88 c Sol. found (all assignments made)... 528.79 c Sol. found (all assignments made)... 528.80 c Sol. found (all assignments made)... 528.86 c Sol. found (all assignments made)... 528.88 c Sol. found (all assignments made)... 528.91 c Sol. found (all assignments made)... 528.92 c Sol. found (all assignments made)... 529.26 c Sol. found (all assignments made)... 529.28 c Sol. found (all assignments made)... 529.50 c Sol. found (all assignments made)... 529.53 c Sol. found (all assignments made)... 529.74 c Sol. found (all assignments made)... 529.76 c Sol. found (all assignments made)... 529.79 c Sol. found (all assignments made)... 529.80 c Sol. found (all assignments made)... 531.75 c Sol. found (all assignments made)... 534.16 c Restart #44 #Var: 1344 LB: 0 @ 533.96 542.65 c Sol. found (all assignments made)... 542.67 c Sol. found (all assignments made)... 542.67 c Sol. found (all assignments made)... 542.68 c Sol. found (all assignments made)... 542.70 c Sol. found (all assignments made)... 542.72 c Sol. found (all assignments made)... 542.72 c Sol. found (all assignments made)... 542.72 c Sol. found (all assignments made)... 542.72 c Sol. found (all assignments made)... 542.73 c Sol. found (all assignments made)... 542.73 c Sol. found (all assignments made)... 542.75 c Sol. found (all assignments made)... 542.75 c Sol. found (all assignments made)... 542.75 c Sol. found (all assignments made)... 542.76 c Sol. found (all assignments made)... 542.76 c Sol. found (all assignments made)... 542.76 c Sol. found (all assignments made)... 542.76 c Sol. found (all assignments made)... 542.76 c Sol. found (all assignments made)... 542.87 c Sol. found (all assignments made)... 542.87 c Sol. found (all assignments made)... 542.92 c Sol. found (all assignments made)... 542.93 c Sol. found (all assignments made)... 546.22 c Sol. found (all assignments made)... 546.27 c Sol. found (all assignments made)... 555.96 c Sol. found (all assignments made)... 555.97 c Sol. found (all assignments made)... 555.97 c Sol. found (all assignments made)... 556.16 c Sol. found (all assignments made)... 556.19 c Sol. found (all assignments made)... 560.42 c Restart #45 #Var: 1344 LB: 0 @ 560.21 563.07 c Sol. found (all assignments made)... 563.08 c Sol. found (all assignments made)... 563.10 c Sol. found (all assignments made)... 563.11 c Sol. found (all assignments made)... 564.73 c Sol. found (all assignments made)... 564.73 c Sol. found (all assignments made)... 564.74 c Sol. found (all assignments made)... 564.74 c Sol. found (all assignments made)... 564.75 c Sol. found (all assignments made)... 564.75 c Sol. found (all assignments made)... 564.76 c Sol. found (all assignments made)... 564.76 c Sol. found (all assignments made)... 574.65 c Sol. found (all assignments made)... 576.33 c Sol. found (all assignments made)... 576.52 c Sol. found (all assignments made)... 577.85 c Sol. found (all assignments made)... 577.86 c Sol. found (all assignments made)... 579.58 c Sol. found (all assignments made)... 579.63 c Sol. found (all assignments made)... 579.83 c Sol. found (all assignments made)... 579.83 c Sol. found (all assignments made)... 579.84 c Sol. found (all assignments made)... 579.84 c Sol. found (all assignments made)... 580.41 c Sol. found (all assignments made)... 580.54 c Sol. found (all assignments made)... 580.54 c Sol. found (all assignments made)... 580.76 c Sol. found (all assignments made)... 580.81 c Sol. found (all assignments made)... 580.82 c Sol. found (all assignments made)... 583.05 c Sol. found (all assignments made)... 583.05 c Sol. found (all assignments made)... 583.15 c Sol. found (all assignments made)... 583.15 c Sol. found (all assignments made)... 584.10 c Sol. found (all assignments made)... 584.10 c Sol. found (all assignments made)... 584.56 c Sol. found (all assignments made)... 584.57 c Sol. found (all assignments made)... 584.60 c Sol. found (all assignments made)... 584.64 c Sol. found (all assignments made)... 584.64 c Sol. found (all assignments made)... 584.66 c Sol. found (all assignments made)... 584.66 c Sol. found (all assignments made)... 584.74 c Sol. found (all assignments made)... 584.74 c Sol. found (all assignments made)... 585.54 c Sol. found (all assignments made)... 585.85 c Sol. found (all assignments made)... 586.16 c Sol. found (all assignments made)... 586.28 c Sol. found (all assignments made)... 588.08 c Sol. found (all assignments made)... 588.12 c Sol. found (all assignments made)... 590.68 c Restart #46 #Var: 1344 LB: 0 @ 590.46 615.81 c Sol. found (all assignments made)... 616.01 c Sol. found (all assignments made)... 616.39 c Sol. found (all assignments made)... 616.47 c Sol. found (all assignments made)... 616.51 c Sol. found (all assignments made)... 616.52 c Sol. found (all assignments made)... 616.60 c Sol. found (all assignments made)... 616.87 c Sol. found (all assignments made)... 617.44 c Sol. found (all assignments made)... 617.73 c Sol. found (all assignments made)... 617.80 c Sol. found (all assignments made)... 617.84 c Sol. found (all assignments made)... 617.84 c Sol. found (all assignments made)... 617.84 c Sol. found (all assignments made)... 617.84 c Sol. found (all assignments made)... 617.85 c Sol. found (all assignments made)... 618.34 c Sol. found (all assignments made)... 618.47 c Sol. found (all assignments made)... 618.71 c Sol. found (all assignments made)... 618.71 c Sol. found (all assignments made)... 618.84 c Sol. found (all assignments made)... 618.86 c Sol. found (all assignments made)... 619.31 c Sol. found (all assignments made)... 620.86 c Sol. found (all assignments made)... 621.52 c Sol. found (all assignments made)... 622.18 c Sol. found (all assignments made)... 623.33 c Sol. found (all assignments made)... 623.36 c Sol. found (all assignments made)... 623.92 c Sol. found (all assignments made)... 623.93 c Sol. found (all assignments made)... 623.95 c Sol. found (all assignments made)... 623.96 c Sol. found (all assignments made)... 627.12 c Restart #47 #Var: 1344 LB: 0 @ 626.89 664.29 c Restart #48 #Var: 1344 LB: 0 @ 664.05 676.58 c Sol. found (all assignments made)... 676.62 c Sol. found (all assignments made)... 676.68 c Sol. found (all assignments made)... 676.69 c Sol. found (all assignments made)... 679.90 c Sol. found (all assignments made)... 683.12 c Sol. found (all assignments made)... 683.15 c Sol. found (all assignments made)... 686.13 c Sol. found (all assignments made)... 686.19 c Sol. found (all assignments made)... 686.68 c Sol. found (all assignments made)... 686.91 c Sol. found (all assignments made)... 686.93 c Sol. found (all assignments made)... 686.97 c Sol. found (all assignments made)... 687.02 c Sol. found (all assignments made)... 687.67 c Sol. found (all assignments made)... 687.68 c Sol. found (all assignments made)... 695.79 c Sol. found (all assignments made)... 695.80 c Sol. found (all assignments made)... 695.82 c Sol. found (all assignments made)... 696.24 c Sol. found (all assignments made)... 696.24 c Sol. found (all assignments made)... 701.22 c Restart #49 #Var: 1344 LB: 0 @ 700.97 702.23 c Sol. found (all assignments made)... 702.38 c Sol. found (all assignments made)... 702.82 c Sol. found (all assignments made)... 702.83 c Sol. found (all assignments made)... 702.83 c Sol. found (all assignments made)... 702.84 c Sol. found (all assignments made)... 703.38 c Sol. found (all assignments made)... 703.39 c Sol. found (all assignments made)... 703.43 c Sol. found (all assignments made)... 712.73 c Sol. found (all assignments made)... 712.74 c Sol. found (all assignments made)... 712.74 c Sol. found (all assignments made)... 712.82 c Sol. found (all assignments made)... 712.83 c Sol. found (all assignments made)... 712.85 c Sol. found (all assignments made)... 712.85 c Sol. found (all assignments made)... 712.86 c Sol. found (all assignments made)... 712.86 c Sol. found (all assignments made)... 713.18 c Sol. found (all assignments made)... 713.18 c Sol. found (all assignments made)... 713.35 c Sol. found (all assignments made)... 718.06 c Sol. found (all assignments made)... 718.06 c Sol. found (all assignments made)... 718.07 c Sol. found (all assignments made)... 718.07 c Sol. found (all assignments made)... 718.50 c Sol. found (all assignments made)... 718.50 c Sol. found (all assignments made)... 721.98 c Sol. found (all assignments made)... 722.01 c Sol. found (all assignments made)... 727.37 c Sol. found (all assignments made)... 727.46 c Sol. found (all assignments made)... 731.63 c Sol. found (all assignments made)... 731.63 c Sol. found (all assignments made)... 731.71 c Sol. found (all assignments made)... 731.73 c Sol. found (all assignments made)... 731.77 c Sol. found (all assignments made)... 731.79 c Sol. found (all assignments made)... 732.06 c Sol. found (all assignments made)... 732.15 c Sol. found (all assignments made)... 732.60 c Sol. found (all assignments made)... 732.66 c Sol. found (all assignments made)... 732.92 c Sol. found (all assignments made)... 734.83 c Sol. found (all assignments made)... 735.44 c Sol. found (all assignments made)... 738.68 c Sol. found (all assignments made)... 738.70 c Sol. found (all assignments made)... 738.71 c Sol. found (all assignments made)... 739.68 c Sol. found (all assignments made)... 739.68 c Sol. found (all assignments made)... 739.87 c Restart #50 #Var: 1344 LB: 0 @ 739.61 747.42 c Sol. found (all assignments made)... 747.58 c Sol. found (all assignments made)... 747.64 c Sol. found (all assignments made)... 748.67 c Sol. found (all assignments made)... 751.94 c Sol. found (all assignments made)... 751.95 c Sol. found (all assignments made)... 751.95 c Sol. found (all assignments made)... 751.95 c Sol. found (all assignments made)... 751.95 c Sol. found (all assignments made)... 753.39 c Sol. found (all assignments made)... 753.40 c Sol. found (all assignments made)... 753.69 c Sol. found (all assignments made)... 753.69 c Sol. found (all assignments made)... 754.32 c Sol. found (all assignments made)... 754.34 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 754.90 c Sol. found (all assignments made)... 756.85 c Sol. found (all assignments made)... 756.93 c Sol. found (all assignments made)... 756.94 c Sol. found (all assignments made)... 761.99 c Sol. found (all assignments made)... 761.99 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.00 c Sol. found (all assignments made)... 764.02 c Sol. found (all assignments made)... 764.02 c Sol. found (all assignments made)... 764.02 c Sol. found (all assignments made)... 764.03 c Sol. found (all assignments made)... 764.04 c Sol. found (all assignments made)... 764.04 c Sol. found (all assignments made)... 764.04 o 176 764.04 c NEW SOLUTION FOUND: 176 @ 763.77 764.04 c Sol. found (all assignments made)... 764.04 c Sol. found (all assignments made)... 764.04 c Sol. found (all assignments made)... 764.07 c Sol. found (all assignments made)... 764.07 c Sol. found (all assignments made)... 764.08 c Sol. found (all assignments made)... 764.08 c Sol. found (all assignments made)... 764.08 c Sol. found (all assignments made)... 764.09 c Sol. found (all assignments made)... 764.09 c Sol. found (all assignments made)... 764.09 c Sol. found (all assignments made)... 764.10 c Sol. found (all assignments made)... 764.11 c Sol. found (all assignments made)... 764.11 c Sol. found (all assignments made)... 764.11 c Sol. found (all assignments made)... 764.12 c Sol. found (all assignments made)... 764.35 c Sol. found (all assignments made)... 764.35 c Sol. found (all assignments made)... 764.35 c Sol. found (all assignments made)... 764.36 c Sol. found (all assignments made)... 764.36 c Sol. found (all assignments made)... 764.36 c Sol. found (all assignments made)... 764.36 c Sol. found (all assignments made)... 764.36 c Sol. found (all assignments made)... 764.37 c Sol. found (all assignments made)... 764.39 c Sol. found (all assignments made)... 764.39 c Sol. found (all assignments made)... 764.39 c Sol. found (all assignments made)... 764.40 c Sol. found (all assignments made)... 764.40 c Sol. found (all assignments made)... 764.40 c Sol. found (all assignments made)... 766.19 c Sol. found (all assignments made)... 767.23 c Sol. found (all assignments made)... 769.04 c Sol. found (all assignments made)... 770.33 c Sol. found (all assignments made)... 770.33 o 174 770.33 c NEW SOLUTION FOUND: 174 @ 770.06 770.33 c Sol. found (all assignments made)... 770.33 c Sol. found (all assignments made)... 770.33 o 172 770.33 c NEW SOLUTION FOUND: 172 @ 770.06 770.33 c Sol. found (all assignments made)... 770.34 c Sol. found (all assignments made)... 770.34 c Sol. found (all assignments made)... 770.34 c Sol. found (all assignments made)... 770.35 c Sol. found (all assignments made)... 770.35 c Sol. found (all assignments made)... 770.35 o 170 770.35 c NEW SOLUTION FOUND: 170 @ 770.07 770.35 c Sol. found (all assignments made)... 770.39 c Sol. found (all assignments made)... 770.40 c Sol. found (all assignments made)... 770.42 c Sol. found (all assignments made)... 770.45 c Sol. found (all assignments made)... 770.47 c Sol. found (all assignments made)... 770.48 c Sol. found (all assignments made)... 770.52 c Sol. found (all assignments made)... 770.53 c Sol. found (all assignments made)... 770.57 c Sol. found (all assignments made)... 770.57 c Sol. found (all assignments made)... 770.58 c Sol. found (all assignments made)... 770.58 c Sol. found (all assignments made)... 770.58 c Sol. found (all assignments made)... 770.58 c Sol. found (all assignments made)... 770.92 c Sol. found (all assignments made)... 771.18 c Sol. found (all assignments made)... 771.19 c Sol. found (all assignments made)... 771.21 c Sol. found (all assignments made)... 771.22 c Sol. found (all assignments made)... 771.23 c Sol. found (all assignments made)... 773.56 c Sol. found (all assignments made)... 784.19 c Sol. found (all assignments made)... 784.60 c Sol. found (all assignments made)... 784.61 c Sol. found (all assignments made)... 793.86 c Sol. found (all assignments made)... 803.45 c Sol. found (all assignments made)... 803.54 c Sol. found (all assignments made)... 803.54 c Sol. found (all assignments made)... 808.22 c Sol. found (all assignments made)... 809.92 c Sol. found (all assignments made)... 809.95 c Sol. found (all assignments made)... 810.00 c Sol. found (all assignments made)... 810.05 c Sol. found (all assignments made)... 810.12 c Sol. found (all assignments made)... 810.19 c Sol. found (all assignments made)... 810.74 c Sol. found (all assignments made)... 810.76 c Sol. found (all assignments made)... 812.14 c Sol. found (all assignments made)... 812.17 c Sol. found (all assignments made)... 816.73 c Sol. found (all assignments made)... 818.71 c Sol. found (all assignments made)... 818.73 c Sol. found (all assignments made)... 819.84 c Sol. found (all assignments made)... 819.85 c Sol. found (all assignments made)... 819.85 c Sol. found (all assignments made)... 819.86 c Sol. found (all assignments made)... 820.57 c Sol. found (all assignments made)... 820.80 c Sol. found (all assignments made)... 820.91 c Sol. found (all assignments made)... 821.85 c Sol. found (all assignments made)... 821.86 c Sol. found (all assignments made)... 822.01 c Sol. found (all assignments made)... 822.64 c Sol. found (all assignments made)... 822.65 c Sol. found (all assignments made)... 823.23 c Sol. found (all assignments made)... 823.25 c Sol. found (all assignments made)... 823.39 c Restart #51 #Var: 1344 LB: 0 @ 823.1 836.24 c Sol. found (all assignments made)... 847.06 c Sol. found (all assignments made)... 859.73 c Sol. found (all assignments made)... 859.74 c Sol. found (all assignments made)... 859.75 c Sol. found (all assignments made)... 859.76 c Sol. found (all assignments made)... 859.78 c Sol. found (all assignments made)... 859.80 c Sol. found (all assignments made)... 860.56 c Sol. found (all assignments made)... 860.70 c Sol. found (all assignments made)... 863.03 c Restart #52 #Var: 1344 LB: 0 @ 862.73 864.54 c Sol. found (all assignments made)... 874.47 c Sol. found (all assignments made)... 874.76 c Sol. found (all assignments made)... 876.22 c Sol. found (all assignments made)... 876.28 c Sol. found (all assignments made)... 876.94 c Sol. found (all assignments made)... 876.98 c Sol. found (all assignments made)... 876.98 c Sol. found (all assignments made)... 879.14 c Sol. found (all assignments made)... 880.04 c Sol. found (all assignments made)... 881.57 c Sol. found (all assignments made)... 881.58 c Sol. found (all assignments made)... 881.60 c Sol. found (all assignments made)... 881.63 c Sol. found (all assignments made)... 881.68 c Sol. found (all assignments made)... 881.71 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.65 c Sol. found (all assignments made)... 883.40 c Sol. found (all assignments made)... 883.77 c Sol. found (all assignments made)... 883.82 c Sol. found (all assignments made)... 884.20 c Sol. found (all assignments made)... 886.79 c Sol. found (all assignments made)... 886.81 c Sol. found (all assignments made)... 887.77 c Sol. found (all assignments made)... 893.15 c Sol. found (all assignments made)... 900.67 c Sol. found (all assignments made)... 900.74 c Sol. found (all assignments made)... 901.53 c Sol. found (all assignments made)... 901.62 c Sol. found (all assignments made)... 908.36 c Sol. found (all assignments made)... 909.67 c Restart #53 #Var: 1344 LB: 0 @ 909.36 910.25 c Sol. found (all assignments made)... 932.75 c Sol. found (all assignments made)... 932.77 c Sol. found (all assignments made)... 938.82 c Sol. found (all assignments made)... 952.55 c Sol. found (all assignments made)... 959.12 c Sol. found (all assignments made)... 959.40 c Sol. found (all assignments made)... 959.41 c Sol. found (all assignments made)... 959.43 c Sol. found (all assignments made)... 967.60 c Sol. found (all assignments made)... 967.64 c Sol. found (all assignments made)... 969.43 c Sol. found (all assignments made)... 969.97 c Sol. found (all assignments made)... 971.37 c Restart #54 #Var: 1344 LB: 0 @ 971.04 987.59 c Sol. found (all assignments made)... 987.67 c Sol. found (all assignments made)... 987.74 c Sol. found (all assignments made)... 998.44 c Sol. found (all assignments made)... 1015.84 c Sol. found (all assignments made)... 1016.69 c Sol. found (all assignments made)... 1018.39 c Sol. found (all assignments made)... 1023.88 c Sol. found (all assignments made)... 1023.88 c Sol. found (all assignments made)... 1023.94 c Sol. found (all assignments made)... 1024.29 c Sol. found (all assignments made)... 1024.29 c Sol. found (all assignments made)... 1025.26 c Restart #55 #Var: 1344 LB: 0 @ 1024.9 1077.16 c Restart #56 #Var: 1344 LB: 0 @ 1076.8 1079.32 c Sol. found (all assignments made)... 1080.01 c Sol. found (all assignments made)... 1081.24 c Sol. found (all assignments made)... 1081.26 c Sol. found (all assignments made)... 1081.31 c Sol. found (all assignments made)... 1082.33 c Sol. found (all assignments made)... 1082.34 c Sol. found (all assignments made)... 1082.67 c Sol. found (all assignments made)... 1083.06 c Sol. found (all assignments made)... 1083.12 c Sol. found (all assignments made)... 1083.60 c Sol. found (all assignments made)... 1084.78 c Sol. found (all assignments made)... 1085.47 c Sol. found (all assignments made)... 1087.96 c Sol. found (all assignments made)... 1088.57 c Sol. found (all assignments made)... 1089.59 c Sol. found (all assignments made)... 1089.65 c Sol. found (all assignments made)... 1089.68 c Sol. found (all assignments made)... 1092.03 c Sol. found (all assignments made)... 1092.49 c Sol. found (all assignments made)... 1093.35 c Sol. found (all assignments made)... 1093.39 c Sol. found (all assignments made)... 1097.94 c Sol. found (all assignments made)... 1098.79 c Sol. found (all assignments made)... 1098.81 c Sol. found (all assignments made)... 1100.05 c Sol. found (all assignments made)... 1100.11 c Sol. found (all assignments made)... 1100.19 c Sol. found (all assignments made)... 1102.57 c Sol. found (all assignments made)... 1103.28 c Sol. found (all assignments made)... 1103.38 c Sol. found (all assignments made)... 1103.40 c Sol. found (all assignments made)... 1105.22 c Sol. found (all assignments made)... 1106.34 c Sol. found (all assignments made)... 1108.77 c Sol. found (all assignments made)... 1108.79 c Sol. found (all assignments made)... 1109.96 c Sol. found (all assignments made)... 1110.09 c Sol. found (all assignments made)... 1110.68 c Sol. found (all assignments made)... 1111.96 c Sol. found (all assignments made)... 1114.57 c Sol. found (all assignments made)... 1116.77 c Sol. found (all assignments made)... 1121.77 c Sol. found (all assignments made)... 1121.99 c Sol. found (all assignments made)... 1122.18 c Sol. found (all assignments made)... 1122.26 c Sol. found (all assignments made)... 1122.39 c Sol. found (all assignments made)... 1122.43 c Sol. found (all assignments made)... 1122.56 c Sol. found (all assignments made)... 1124.32 c Sol. found (all assignments made)... 1124.96 c Sol. found (all assignments made)... 1125.46 c Sol. found (all assignments made)... 1125.47 c Sol. found (all assignments made)... 1129.51 c Sol. found (all assignments made)... 1129.52 c Sol. found (all assignments made)... 1129.74 c Sol. found (all assignments made)... 1129.81 c Sol. found (all assignments made)... 1129.83 c Sol. found (all assignments made)... 1130.71 c Sol. found (all assignments made)... 1130.81 c Sol. found (all assignments made)... 1131.15 c Restart #57 #Var: 1344 LB: 0 @ 1130.8 1135.37 c Sol. found (all assignments made)... 1135.37 c Sol. found (all assignments made)... 1135.38 c Sol. found (all assignments made)... 1135.38 c Sol. found (all assignments made)... 1135.92 c Sol. found (all assignments made)... 1135.92 c Sol. found (all assignments made)... 1135.93 c Sol. found (all assignments made)... 1135.93 c Sol. found (all assignments made)... 1136.02 c Sol. found (all assignments made)... 1136.02 c Sol. found (all assignments made)... 1137.70 c Sol. found (all assignments made)... 1137.81 c Sol. found (all assignments made)... 1137.81 c Sol. found (all assignments made)... 1137.86 c Sol. found (all assignments made)... 1137.87 c Sol. found (all assignments made)... 1138.01 c Sol. found (all assignments made)... 1138.01 c Sol. found (all assignments made)... 1138.01 c Sol. found (all assignments made)... 1138.01 c Sol. found (all assignments made)... 1138.04 c Sol. found (all assignments made)... 1138.06 c Sol. found (all assignments made)... 1138.07 c Sol. found (all assignments made)... 1138.09 c Sol. found (all assignments made)... 1140.96 c Sol. found (all assignments made)... 1141.08 c Sol. found (all assignments made)... 1143.80 c Sol. found (all assignments made)... 1144.24 c Sol. found (all assignments made)... 1144.34 c Sol. found (all assignments made)... 1144.99 c Sol. found (all assignments made)... 1145.23 c Sol. found (all assignments made)... 1145.24 c Sol. found (all assignments made)... 1145.25 c Sol. found (all assignments made)... 1145.25 c Sol. found (all assignments made)... 1145.37 c Sol. found (all assignments made)... 1145.38 c Sol. found (all assignments made)... 1145.41 c Sol. found (all assignments made)... 1145.42 c Sol. found (all assignments made)... 1145.42 c Sol. found (all assignments made)... 1145.59 c Sol. found (all assignments made)... 1145.70 c Sol. found (all assignments made)... 1145.72 c Sol. found (all assignments made)... 1145.75 c Sol. found (all assignments made)... 1145.77 c Sol. found (all assignments made)... 1146.42 c Sol. found (all assignments made)... 1146.43 c Sol. found (all assignments made)... 1147.26 c Sol. found (all assignments made)... 1147.44 c Sol. found (all assignments made)... 1151.55 c Sol. found (all assignments made)... 1151.62 c Sol. found (all assignments made)... 1151.80 c Sol. found (all assignments made)... 1152.29 c Sol. found (all assignments made)... 1152.46 c Sol. found (all assignments made)... 1152.98 c Sol. found (all assignments made)... 1153.85 c Sol. found (all assignments made)... 1154.01 c Sol. found (all assignments made)... 1155.05 c Sol. found (all assignments made)... 1155.28 c Sol. found (all assignments made)... 1157.32 c Sol. found (all assignments made)... 1157.34 c Sol. found (all assignments made)... 1157.39 c Sol. found (all assignments made)... 1159.66 c Sol. found (all assignments made)... 1159.85 c Sol. found (all assignments made)... 1160.29 c Sol. found (all assignments made)... 1160.30 c Sol. found (all assignments made)... 1160.32 c Sol. found (all assignments made)... 1161.74 c Sol. found (all assignments made)... 1163.55 c Sol. found (all assignments made)... 1167.45 c Sol. found (all assignments made)... 1167.51 c Sol. found (all assignments made)... 1167.56 c Sol. found (all assignments made)... 1170.91 c Sol. found (all assignments made)... 1171.83 c Sol. found (all assignments made)... 1172.75 c Sol. found (all assignments made)... 1174.20 c Sol. found (all assignments made)... 1174.20 c Sol. found (all assignments made)... 1177.64 c Sol. found (all assignments made)... 1182.51 c Sol. found (all assignments made)... 1184.72 c Sol. found (all assignments made)... 1184.74 c Sol. found (all assignments made)... 1185.09 c Sol. found (all assignments made)... 1185.10 c Sol. found (all assignments made)... 1185.10 c Sol. found (all assignments made)... 1185.10 c Sol. found (all assignments made)... 1185.11 c Sol. found (all assignments made)... 1185.11 c Sol. found (all assignments made)... 1185.13 c Sol. found (all assignments made)... 1185.15 c Sol. found (all assignments made)... 1186.03 c Restart #58 #Var: 1344 LB: 0 @ 1185.6 1202.23 c Sol. found (all assignments made)... 1203.33 c Sol. found (all assignments made)... 1203.62 c Sol. found (all assignments made)... 1203.89 c Sol. found (all assignments made)... 1204.33 c Sol. found (all assignments made)... 1204.34 c Sol. found (all assignments made)... 1204.35 c Sol. found (all assignments made)... 1204.66 c Sol. found (all assignments made)... 1204.67 c Sol. found (all assignments made)... 1205.72 c Sol. found (all assignments made)... 1205.73 c Sol. found (all assignments made)... 1218.33 c Sol. found (all assignments made)... 1219.00 c Sol. found (all assignments made)... 1219.71 c Sol. found (all assignments made)... 1220.28 c Sol. found (all assignments made)... 1221.83 c Sol. found (all assignments made)... 1224.08 c Sol. found (all assignments made)... 1224.24 c Sol. found (all assignments made)... 1225.02 c Sol. found (all assignments made)... 1225.38 c Sol. found (all assignments made)... 1225.51 c Sol. found (all assignments made)... 1225.71 c Sol. found (all assignments made)... 1225.79 c Sol. found (all assignments made)... 1226.00 c Sol. found (all assignments made)... 1226.35 c Sol. found (all assignments made)... 1226.36 c Sol. found (all assignments made)... 1226.40 c Sol. found (all assignments made)... 1226.42 c Sol. found (all assignments made)... 1226.60 c Sol. found (all assignments made)... 1228.06 c Sol. found (all assignments made)... 1228.20 c Sol. found (all assignments made)... 1228.60 c Sol. found (all assignments made)... 1228.81 c Sol. found (all assignments made)... 1228.93 c Sol. found (all assignments made)... 1229.20 c Sol. found (all assignments made)... 1231.57 c Sol. found (all assignments made)... 1234.03 c Sol. found (all assignments made)... 1234.71 c Sol. found (all assignments made)... 1235.67 c Sol. found (all assignments made)... 1235.69 c Sol. found (all assignments made)... 1236.90 c Sol. found (all assignments made)... 1237.09 c Sol. found (all assignments made)... 1237.59 c Sol. found (all assignments made)... 1237.63 c Sol. found (all assignments made)... 1238.25 c Sol. found (all assignments made)... 1238.36 c Sol. found (all assignments made)... 1239.11 c Sol. found (all assignments made)... 1239.11 c Sol. found (all assignments made)... 1239.15 c Sol. found (all assignments made)... 1239.40 c Sol. found (all assignments made)... 1239.41 c Sol. found (all assignments made)... 1239.58 c Sol. found (all assignments made)... 1239.82 c Sol. found (all assignments made)... 1239.85 c Sol. found (all assignments made)... 1239.89 c Sol. found (all assignments made)... 1240.17 c Sol. found (all assignments made)... 1240.21 c Sol. found (all assignments made)... 1240.27 c Sol. found (all assignments made)... 1240.72 c Sol. found (all assignments made)... 1240.92 c Sol. found (all assignments made)... 1240.98 c Sol. found (all assignments made)... 1240.99 c Sol. found (all assignments made)... 1241.13 c Sol. found (all assignments made)... 1241.17 c Sol. found (all assignments made)... 1241.28 c Sol. found (all assignments made)... 1241.32 c Sol. found (all assignments made)... 1241.34 c Sol. found (all assignments made)... 1241.43 c Sol. found (all assignments made)... 1241.43 c Sol. found (all assignments made)... 1241.49 c Sol. found (all assignments made)... 1241.78 c Sol. found (all assignments made)... 1243.06 c Sol. found (all assignments made)... 1243.67 c Sol. found (all assignments made)... 1243.83 c Sol. found (all assignments made)... 1243.87 c Sol. found (all assignments made)... 1244.13 c Sol. found (all assignments made)... 1244.53 c Sol. found (all assignments made)... 1244.69 c Sol. found (all assignments made)... 1244.72 c Sol. found (all assignments made)... 1245.91 c Sol. found (all assignments made)... 1245.95 c Sol. found (all assignments made)... 1245.98 c Sol. found (all assignments made)... 1246.88 c Sol. found (all assignments made)... 1246.98 c Sol. found (all assignments made)... 1247.06 c Sol. found (all assignments made)... 1247.09 c Sol. found (all assignments made)... 1247.23 c Sol. found (all assignments made)... 1247.34 c Sol. found (all assignments made)... 1247.56 c Sol. found (all assignments made)... 1247.62 c Sol. found (all assignments made)... 1247.62 c Sol. found (all assignments made)... 1247.69 c Sol. found (all assignments made)... 1247.72 c Sol. found (all assignments made)... 1247.76 c Sol. found (all assignments made)... 1247.89 c Sol. found (all assignments made)... 1247.96 c Sol. found (all assignments made)... 1248.02 c Sol. found (all assignments made)... 1248.06 c Sol. found (all assignments made)... 1248.33 c Sol. found (all assignments made)... 1248.39 c Sol. found (all assignments made)... 1248.39 c Sol. found (all assignments made)... 1248.55 c Sol. found (all assignments made)... 1248.58 c Sol. found (all assignments made)... 1248.59 c Sol. found (all assignments made)... 1248.90 c Restart #59 #Var: 1344 LB: 0 @ 1248.5 1260.72 c Sol. found (all assignments made)... 1290.05 c Sol. found (all assignments made)... 1290.17 c Sol. found (all assignments made)... 1290.72 c Sol. found (all assignments made)... 1290.77 c Sol. found (all assignments made)... 1290.82 c Sol. found (all assignments made)... 1291.89 c Sol. found (all assignments made)... 1293.41 c Sol. found (all assignments made)... 1294.19 c Sol. found (all assignments made)... 1299.46 c Sol. found (all assignments made)... 1299.46 c Sol. found (all assignments made)... 1299.51 c Sol. found (all assignments made)... 1299.51 c Sol. found (all assignments made)... 1299.65 c Sol. found (all assignments made)... 1305.39 c Restart #60 #Var: 1344 LB: 0 @ 1305 1319.33 c Sol. found (all assignments made)... 1321.06 c Sol. found (all assignments made)... 1323.85 c Sol. found (all assignments made)... 1324.37 c Sol. found (all assignments made)... 1324.38 c Sol. found (all assignments made)... 1325.23 c Sol. found (all assignments made)... 1325.66 c Sol. found (all assignments made)... 1325.67 c Sol. found (all assignments made)... 1326.34 c Sol. found (all assignments made)... 1326.41 c Sol. found (all assignments made)... 1327.17 c Sol. found (all assignments made)... 1329.12 c Sol. found (all assignments made)... 1332.03 c Sol. found (all assignments made)... 1334.97 c Sol. found (all assignments made)... 1336.44 c Sol. found (all assignments made)... 1337.59 c Sol. found (all assignments made)... 1337.69 c Sol. found (all assignments made)... 1337.78 c Sol. found (all assignments made)... 1338.90 c Sol. found (all assignments made)... 1342.12 c Sol. found (all assignments made)... 1342.17 c Sol. found (all assignments made)... 1342.18 c Sol. found (all assignments made)... 1342.47 c Sol. found (all assignments made)... 1343.76 c Sol. found (all assignments made)... 1349.17 c Sol. found (all assignments made)... 1351.67 c Sol. found (all assignments made)... 1351.68 c Sol. found (all assignments made)... 1351.94 c Sol. found (all assignments made)... 1351.96 c Sol. found (all assignments made)... 1352.09 c Sol. found (all assignments made)... 1352.12 c Sol. found (all assignments made)... 1352.30 c Sol. found (all assignments made)... 1353.41 c Sol. found (all assignments made)... 1355.40 c Sol. found (all assignments made)... 1357.23 c Sol. found (all assignments made)... 1357.37 c Sol. found (all assignments made)... 1357.73 c Sol. found (all assignments made)... 1357.74 c Sol. found (all assignments made)... 1357.75 c Sol. found (all assignments made)... 1357.76 c Sol. found (all assignments made)... 1358.31 c Sol. found (all assignments made)... 1360.06 c Sol. found (all assignments made)... 1360.07 c Sol. found (all assignments made)... 1361.90 c Sol. found (all assignments made)... 1362.49 c Sol. found (all assignments made)... 1362.64 c Sol. found (all assignments made)... 1362.74 c Sol. found (all assignments made)... 1363.00 c Sol. found (all assignments made)... 1363.13 c Sol. found (all assignments made)... 1363.24 c Sol. found (all assignments made)... 1363.37 c Sol. found (all assignments made)... 1363.39 c Sol. found (all assignments made)... 1363.42 c Sol. found (all assignments made)... 1363.44 c Sol. found (all assignments made)... 1365.00 c Restart #61 #Var: 1344 LB: 0 @ 1364.5 1365.55 c Sol. found (all assignments made)... 1367.46 c Sol. found (all assignments made)... 1367.70 c Sol. found (all assignments made)... 1368.03 c Sol. found (all assignments made)... 1368.05 c Sol. found (all assignments made)... 1369.45 c Sol. found (all assignments made)... 1369.66 c Sol. found (all assignments made)... 1369.87 c Sol. found (all assignments made)... 1371.99 c Sol. found (all assignments made)... 1372.93 c Sol. found (all assignments made)... 1372.95 c Sol. found (all assignments made)... 1372.99 c Sol. found (all assignments made)... 1373.01 c Sol. found (all assignments made)... 1373.48 c Sol. found (all assignments made)... 1373.54 c Sol. found (all assignments made)... 1373.54 c Sol. found (all assignments made)... 1373.55 c Sol. found (all assignments made)... 1373.56 c Sol. found (all assignments made)... 1373.70 c Sol. found (all assignments made)... 1373.99 c Sol. found (all assignments made)... 1374.43 c Sol. found (all assignments made)... 1374.79 c Sol. found (all assignments made)... 1374.82 c Sol. found (all assignments made)... 1374.85 c Sol. found (all assignments made)... 1374.87 c Sol. found (all assignments made)... 1374.99 c Sol. found (all assignments made)... 1375.08 c Sol. found (all assignments made)... 1375.71 c Sol. found (all assignments made)... 1375.76 c Sol. found (all assignments made)... 1375.90 c Sol. found (all assignments made)... 1375.91 c Sol. found (all assignments made)... 1375.98 c Sol. found (all assignments made)... 1376.08 c Sol. found (all assignments made)... 1376.14 c Sol. found (all assignments made)... 1376.48 c Sol. found (all assignments made)... 1376.51 c Sol. found (all assignments made)... 1381.92 c Sol. found (all assignments made)... 1382.08 c Sol. found (all assignments made)... 1382.13 c Sol. found (all assignments made)... 1382.19 c Sol. found (all assignments made)... 1384.31 c Sol. found (all assignments made)... 1384.54 c Sol. found (all assignments made)... 1384.68 c Sol. found (all assignments made)... 1384.72 c Sol. found (all assignments made)... 1385.50 c Sol. found (all assignments made)... 1385.85 c Sol. found (all assignments made)... 1386.88 c Sol. found (all assignments made)... 1387.02 c Sol. found (all assignments made)... 1387.14 c Sol. found (all assignments made)... 1387.80 c Sol. found (all assignments made)... 1388.45 c Sol. found (all assignments made)... 1388.53 c Sol. found (all assignments made)... 1388.68 c Sol. found (all assignments made)... 1388.80 c Sol. found (all assignments made)... 1393.05 c Sol. found (all assignments made)... 1393.15 c Sol. found (all assignments made)... 1403.05 c Sol. found (all assignments made)... 1403.08 c Sol. found (all assignments made)... 1405.89 c Sol. found (all assignments made)... 1412.00 c Restart #62 #Var: 1344 LB: 0 @ 1411.4 1418.35 c Sol. found (all assignments made)... 1418.38 c Sol. found (all assignments made)... 1418.46 c Sol. found (all assignments made)... 1418.59 c Sol. found (all assignments made)... 1419.14 c Sol. found (all assignments made)... 1419.20 c Sol. found (all assignments made)... 1419.41 c Sol. found (all assignments made)... 1419.45 c Sol. found (all assignments made)... 1420.47 c Sol. found (all assignments made)... 1421.45 c Sol. found (all assignments made)... 1421.49 c Sol. found (all assignments made)... 1421.50 c Sol. found (all assignments made)... 1421.53 c Sol. found (all assignments made)... 1421.54 c Sol. found (all assignments made)... 1422.49 c Sol. found (all assignments made)... 1424.41 c Sol. found (all assignments made)... 1424.47 c Sol. found (all assignments made)... 1428.64 c Sol. found (all assignments made)... 1428.72 c Sol. found (all assignments made)... 1428.75 c Sol. found (all assignments made)... 1429.99 c Sol. found (all assignments made)... 1430.00 c Sol. found (all assignments made)... 1430.09 c Sol. found (all assignments made)... 1436.83 c Sol. found (all assignments made)... 1443.72 c Sol. found (all assignments made)... 1448.33 c Sol. found (all assignments made)... 1449.47 c Sol. found (all assignments made)... 1449.82 c Sol. found (all assignments made)... 1452.16 c Sol. found (all assignments made)... 1454.62 c Sol. found (all assignments made)... 1454.65 c Sol. found (all assignments made)... 1456.27 c Sol. found (all assignments made)... 1467.09 c Sol. found (all assignments made)... 1467.72 c Sol. found (all assignments made)... 1467.80 c Sol. found (all assignments made)... 1467.96 c Sol. found (all assignments made)... 1467.99 c Sol. found (all assignments made)... 1474.20 c Restart #63 #Var: 1344 LB: 0 @ 1473.6 1553.79 c Restart #64 #Var: 1344 LB: 0 @ 1553.2 1555.96 c Sol. found (all assignments made)... 1556.06 c Sol. found (all assignments made)... 1556.43 c Sol. found (all assignments made)... 1557.50 c Sol. found (all assignments made)... 1562.72 c Sol. found (all assignments made)... 1562.83 c Sol. found (all assignments made)... 1564.37 c Sol. found (all assignments made)... 1568.58 c Sol. found (all assignments made)... 1572.29 c Sol. found (all assignments made)... 1572.33 c Sol. found (all assignments made)... 1583.78 c Sol. found (all assignments made)... 1583.81 c Sol. found (all assignments made)... 1583.83 c Sol. found (all assignments made)... 1583.85 c Sol. found (all assignments made)... 1584.36 c Sol. found (all assignments made)... 1584.36 c Sol. found (all assignments made)... 1584.38 c Sol. found (all assignments made)... 1584.41 c Sol. found (all assignments made)... 1599.11 c Sol. found (all assignments made)... 1599.58 c Sol. found (all assignments made)... 1599.72 c Sol. found (all assignments made)... 1601.01 c Sol. found (all assignments made)... 1601.02 c Sol. found (all assignments made)... 1604.75 c Sol. found (all assignments made)... 1607.86 c Sol. found (all assignments made)... 1611.00 c Sol. found (all assignments made)... 1611.58 c Sol. found (all assignments made)... 1611.62 c Sol. found (all assignments made)... 1614.53 c Sol. found (all assignments made)... 1614.65 c Sol. found (all assignments made)... 1614.66 c Sol. found (all assignments made)... 1614.81 c Sol. found (all assignments made)... 1616.91 c Sol. found (all assignments made)... 1620.93 c Restart #65 #Var: 1344 LB: 0 @ 1620.3 1634.57 c Sol. found (all assignments made)... 1634.57 c Sol. found (all assignments made)... 1634.58 c Sol. found (all assignments made)... 1634.58 c Sol. found (all assignments made)... 1636.66 c Sol. found (all assignments made)... 1636.66 c Sol. found (all assignments made)... 1637.40 c Sol. found (all assignments made)... 1642.98 c Sol. found (all assignments made)... 1644.94 c Sol. found (all assignments made)... 1644.96 c Sol. found (all assignments made)... 1645.51 c Sol. found (all assignments made)... 1650.18 c Sol. found (all assignments made)... 1650.20 c Sol. found (all assignments made)... 1651.26 c Sol. found (all assignments made)... 1651.41 c Sol. found (all assignments made)... 1652.89 c Sol. found (all assignments made)... 1652.90 c Sol. found (all assignments made)... 1673.80 c Sol. found (all assignments made)... 1687.02 c Sol. found (all assignments made)... 1687.22 c Sol. found (all assignments made)... 1688.53 c Sol. found (all assignments made)... 1688.55 c Sol. found (all assignments made)... 1688.75 c Sol. found (all assignments made)... 1694.32 c Restart #66 #Var: 1344 LB: 0 @ 1693.7 1782.70 c Restart #67 #Var: 1344 LB: 0 @ 1782.1 1784.35 c Sol. found (all assignments made)... 1784.49 c Sol. found (all assignments made)... 1784.55 c Sol. found (all assignments made)... 1784.76 c Sol. found (all assignments made)... 1784.79 c Sol. found (all assignments made)... 1785.66 c Sol. found (all assignments made)... 1785.67 c Sol. found (all assignments made)... 1785.68 c Sol. found (all assignments made)... 1785.69 c Sol. found (all assignments made)... 1786.47 c Sol. found (all assignments made)... 1786.54 c Sol. found (all assignments made)... 1787.60 c Sol. found (all assignments made)... 1788.48 c Sol. found (all assignments made)... 1788.59 c Sol. found (all assignments made)... 1789.01 c Sol. found (all assignments made)... 1789.05 c Sol. found (all assignments made)... 1789.20 c Sol. found (all assignments made)... 1789.23 c Sol. found (all assignments made)... 1789.72 c Sol. found (all assignments made)... 1789.86 c Sol. found (all assignments made)... 1790.88 c Sol. found (all assignments made)... 1791.08 c Sol. found (all assignments made)... 1791.94 c Sol. found (all assignments made)... 1792.16 c Sol. found (all assignments made)... 1794.61 c Sol. found (all assignments made)... 1796.73 c Sol. found (all assignments made)... 1796.74 c Sol. found (all assignments made)... 1796.77 c Sol. found (all assignments made)... 1796.77 c Sol. found (all assignments made)... 1798.17 c Sol. found (all assignments made)... 1798.45 c Sol. found (all assignments made)... 1800.65 s SATISFIABLE 1800.65 c Cost: 170 1800.65 v -x897 -x898 x899 -x900 x901 x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.65 v -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.65 v -x940 -x941 -x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1800.65 v x961 x962 -x963 -x964 x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 1800.65 v -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 x1002 -x1003 1800.65 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 1800.65 v -x1022 -x1023 x1024 x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 1800.65 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 1800.65 v -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 1800.65 v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 x1090 -x1091 x1092 -x1093 1800.65 v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 1800.65 v -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 1800.65 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 1800.65 v -x1148 -x1149 x1150 -x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.65 v -x1166 x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 1800.65 v -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.65 v x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 x1216 x1217 -x1218 -x1219 1800.65 v -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1800.65 v x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 1800.65 v -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 1800.65 v -x1274 -x1275 x1276 -x1277 x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 1800.65 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.65 v x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 1800.65 v x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 x1338 x1339 -x1340 -x1341 -x1342 x1343 x1344 1800.65 v -x2 -x66 -x130 -x194 -x258 -x322 -x386 x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 x387 -x451 1800.65 v -x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 -x836 -x5 -x69 1800.65 v -x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 x773 -x837 -x6 x70 -x134 -x198 -x262 -x326 -x390 -x454 -x518 -x582 1800.65 v -x646 -x710 -x774 -x838 -x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 x711 -x775 -x839 -x8 -x72 -x136 -x200 1800.65 v -x264 -x328 -x392 -x456 -x520 -x584 -x648 -x712 -x776 x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 x585 -x649 -x713 1800.65 v -x777 -x841 x11 -x75 -x139 -x203 -x267 -x331 -x395 -x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 -x140 -x204 -x268 -x332 1800.65 v -x396 -x460 -x524 -x588 -x652 x716 -x780 -x844 -x13 x77 -x141 -x205 -x269 -x333 -x397 -x461 -x525 -x589 -x653 -x717 -x781 1800.65 v -x845 -x14 -x78 -x142 -x206 -x270 -x334 x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 -x143 -x207 -x271 x335 -x399 1800.65 v -x463 -x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 x528 -x592 -x656 -x720 -x784 -x848 1800.65 v -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 x529 -x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 x210 -x274 -x338 -x402 -x466 1800.65 v -x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 -x212 -x276 -x340 -x404 x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 1800.65 v -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 -x597 -x661 -x725 -x789 x853 -x22 -x86 -x150 -x214 x278 -x342 -x406 -x470 -x534 1800.65 v -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 -x599 -x663 -x727 x791 -x855 -x24 -x88 -x152 1800.65 v -x216 -x280 x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 x153 -x217 -x281 -x345 -x409 -x473 -x537 -x601 1800.65 v -x665 -x729 -x793 -x857 -x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 x858 -x27 -x91 -x155 -x219 1800.65 v -x283 -x347 -x411 -x475 -x539 x603 -x667 -x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 x413 -x477 -x541 -x605 -x669 1800.65 v -x733 -x797 -x861 x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 -x798 -x862 -x31 x95 -x159 -x223 -x287 1800.65 v -x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 -x672 -x736 1800.65 v x800 -x864 -x33 -x97 -x161 x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290 -x354 1800.65 v -x418 -x482 -x546 -x610 x674 -x738 -x802 -x866 -x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 x739 -x803 1800.65 v -x867 -x36 -x100 -x164 -x228 x292 -x356 -x420 -x484 -x548 -x612 -x676 -x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 -x358 1800.65 v -x422 -x486 x550 -x614 -x678 -x742 -x806 -x870 x39 -x103 -x167 -x231 -x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743 -x807 1800.65 v -x871 -x40 -x104 x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 -x297 -x361 1800.65 v -x425 -x489 -x553 -x617 x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 -x746 x810 1800.65 v -x874 -x43 -x107 x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 -x172 x236 -x300 -x364 1800.65 v -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 1800.65 v -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 x495 -x559 -x623 -x687 -x751 -x815 -x879 -x48 -x112 -x176 -x240 -x304 -x368 1800.65 v -x432 -x496 -x560 -x624 -x688 x752 -x816 -x880 -x49 -x113 -x177 -x241 x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 -x817 1800.65 v -x881 -x50 -x114 x178 -x242 -x306 -x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 -x307 -x371 1800.65 v -x435 -x499 -x563 -x627 x691 -x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 -x436 -x500 x564 -x628 -x692 -x756 -x820 1800.65 v -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 -x501 -x565 x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 1800.65 v -x438 -x502 -x566 -x630 -x694 -x758 -x822 x886 -x56 -x120 -x184 x248 -x312 -x376 -x440 -x504 -x568 -x632 -x696 -x760 -x824 1800.65 v -x888 x57 -x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 x314 -x378 1800.65 v -x442 -x506 -x570 -x634 -x698 -x762 -x826 -x890 -x59 x123 -x187 -x251 -x315 -x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 1800.65 v -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 -x572 -x636 x700 -x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317 -x381 1800.65 v -x445 x509 -x573 -x637 -x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 x638 -x702 -x766 -x830 1800.65 v -x894 -x63 -x127 -x191 -x255 -x319 -x383 x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 -x10 -x74 x138 x202 x266 -x330 -x394 1800.65 v x458 -x522 -x586 x650 -x714 x778 x842 x19 x83 x147 -x211 -x275 -x339 x403 -x467 -x531 x595 x659 x723 -x787 -x851 -x28 -x92 -x156 1800.65 v x220 x284 x348 -x412 x476 x540 -x604 x668 x732 -x796 -x860 -x37 x101 -x165 -x229 -x293 x357 x421 x485 -x549 x613 -x677 -x741 1800.65 v x805 x869 x46 x110 -x174 -x238 x302 -x366 x430 -x494 x558 x622 -x686 -x750 -x814 x878 x55 x119 -x183 -x247 -x311 x375 x439 x503 1800.65 v -x567 -x631 -x695 x759 x823 -x887 -x64 -x128 x192 x256 -x320 x384 -x448 -x512 x576 -x640 -x704 x768 x832 x896 x1 -x65 x129 x193 1800.65 v x257 -x321 -x385 -x449 x513 x577 x641 -x705 -x769 -x833 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK 170
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/node79/watcher-40254-1149399475 -o ROOT/results/node79/solver-40254-1149399475 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40254-1149399475/instance-40254-1149399475.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 2/67 13413 /proc/meminfo: memFree=1870080/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=3228 CPUtime=0 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 205586172 3305472 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2597812 0 0 4096 0 0 0 0 17 1 0 0 /proc/13413/statm: 842 42 31 55 0 40 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.96 2/67 13413 /proc/meminfo: memFree=1849216/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=25572 CPUtime=9.98 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 5632 0 0 0 995 3 0 0 25 0 1 0 205586172 26185728 5548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 6393 5548 295 55 0 5284 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 25572 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1836160/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=41904 CPUtime=19.98 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 10631 0 0 0 1990 8 0 0 25 0 1 0 205586172 42909696 8910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 10476 8910 411 55 0 9367 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 41904 [startup+30.0145 s] /proc/loadavg: 0.95 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1840512/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=34428 CPUtime=29.98 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 17378 0 0 0 2986 12 0 0 25 0 1 0 205586172 35254272 7853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 8607 7853 432 55 0 7498 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 34428 [startup+40.0205 s] /proc/loadavg: 0.95 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1835264/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=39560 CPUtime=39.98 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 18677 0 0 0 3984 14 0 0 25 0 1 0 205586172 40509440 9152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 9890 9152 432 55 0 8781 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 39560 [startup+50.0266 s] /proc/loadavg: 0.96 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1829248/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=45628 CPUtime=49.98 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 20178 0 0 0 4981 17 0 0 25 0 1 0 205586172 46723072 10653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 11407 10653 432 55 0 10298 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 45628 [startup+60.0327 s] /proc/loadavg: 0.97 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1824512/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=50352 CPUtime=59.99 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 21375 0 0 0 5980 19 0 0 25 0 1 0 205586172 51560448 11850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 12588 11850 432 55 0 11479 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 50352 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1822272/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=52596 CPUtime=70 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 21929 0 0 0 6980 20 0 0 25 0 1 0 205586172 53858304 12404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 13149 12404 432 55 0 12040 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 52596 [startup+80.0449 s] /proc/loadavg: 0.98 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1817792/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=57068 CPUtime=79.99 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 23047 0 0 0 7978 21 0 0 25 0 1 0 205586172 58437632 13522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 14267 13522 432 55 0 13158 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 57068 [startup+90.051 s] /proc/loadavg: 0.98 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1813120/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=61688 CPUtime=90 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 24203 0 0 0 8977 23 0 0 25 0 1 0 205586172 63168512 14678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 15422 14678 432 55 0 14313 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 61688 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1809280/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=65644 CPUtime=100 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 25176 0 0 0 9975 25 0 0 25 0 1 0 205586172 67219456 15651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 16411 15651 432 55 0 15302 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 65644 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.96 2/67 13413 /proc/meminfo: memFree=1805760/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=69044 CPUtime=110 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 26052 0 0 0 10974 26 0 0 25 0 1 0 205586172 70701056 16527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 17261 16527 432 55 0 16152 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 69044 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13413 /proc/meminfo: memFree=1801024/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=73760 CPUtime=120.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 27230 0 0 0 11972 29 0 0 25 0 1 0 205586172 75530240 17705 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 18440 17705 432 55 0 17331 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 73760 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13413 /proc/meminfo: memFree=1797760/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=77048 CPUtime=130.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 28040 0 0 0 12971 30 0 0 25 0 1 0 205586172 78897152 18515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 19262 18515 432 55 0 18153 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 77048 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13413 /proc/meminfo: memFree=1795584/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=79160 CPUtime=140.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 28580 0 0 0 13970 31 0 0 25 0 1 0 205586172 81059840 19055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 19790 19055 432 55 0 18681 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 79160 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13413 /proc/meminfo: memFree=1790784/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=84080 CPUtime=150.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 30034 0 0 0 14969 32 0 0 25 0 1 0 205586172 86097920 20265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 21020 20265 432 55 0 19911 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 84080 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1787904/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=86848 CPUtime=160.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 30745 0 0 0 15968 33 0 0 25 0 1 0 205586172 88932352 20976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 21712 20976 432 55 0 20603 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 86848 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1784384/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=90356 CPUtime=170.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 31620 0 0 0 16967 34 0 0 25 0 1 0 205586172 92524544 21851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 22589 21851 432 55 0 21480 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 90356 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1781376/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=93372 CPUtime=180.01 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 32366 0 0 0 17966 35 0 0 25 0 1 0 205586172 95612928 22597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 23343 22597 432 55 0 22234 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 93372 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1779392/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=95352 CPUtime=190.02 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 32859 0 0 0 18966 36 0 0 25 0 1 0 205586172 97640448 23090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 23838 23090 432 55 0 22729 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 95352 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1776512/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=98248 CPUtime=200.03 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 33584 0 0 0 19965 38 0 0 25 0 1 0 205586172 100605952 23815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 24562 23815 432 55 0 23453 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 98248 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13415 /proc/meminfo: memFree=1772864/2055892 swapFree=4085392/4096564 ################ # More data... # ################ /proc/13413/statm: 86248 85490 432 55 0 85139 0 Current children cumulated CPU time (s) 1760.4 Current children cumulated vsize (Kb) 344992 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1527104/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=346576 CPUtime=1770.4 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96139 0 0 0 176884 156 0 0 25 0 1 0 205586172 354893824 85884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 86644 85884 432 55 0 85535 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 346576 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1525632/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=348028 CPUtime=1780.41 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96511 0 0 0 177884 157 0 0 25 0 1 0 205586172 356380672 86256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87007 86256 432 55 0 85898 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 348028 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1525440/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=348160 CPUtime=1781.41 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96553 0 0 0 177984 157 0 0 25 0 1 0 205586172 356515840 86298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87040 86298 432 55 0 85931 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 348160 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1525312/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=348292 CPUtime=1782.41 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96589 0 0 0 178084 157 0 0 25 0 1 0 205586172 356651008 86334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87073 86334 432 55 0 85964 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 348292 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1525248/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=348424 CPUtime=1783.42 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96607 0 0 0 178185 157 0 0 25 0 1 0 205586172 356786176 86352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87106 86352 432 55 0 85997 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 348424 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1524928/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=348684 CPUtime=1784.42 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96687 0 0 0 178285 157 0 0 25 0 1 0 205586172 357052416 86432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87171 86432 432 55 0 86062 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 348684 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1524480/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349212 CPUtime=1785.42 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96805 0 0 0 178385 157 0 0 25 0 1 0 205586172 357593088 86550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87303 86550 432 55 0 86194 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 349212 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1524288/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349344 CPUtime=1786.44 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96839 0 0 0 178486 158 0 0 25 0 1 0 205586172 357728256 86584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87336 86584 432 55 0 86227 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 349344 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1524224/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349476 CPUtime=1787.44 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96863 0 0 0 178586 158 0 0 25 0 1 0 205586172 357863424 86608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87369 86608 432 55 0 86260 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 349476 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523968/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349740 CPUtime=1788.44 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96932 0 0 0 178686 158 0 0 25 0 1 0 205586172 358133760 86677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87435 86677 432 55 0 86326 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 349740 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523840/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349872 CPUtime=1789.45 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96958 0 0 0 178787 158 0 0 25 0 1 0 205586172 358268928 86703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87468 86703 432 55 0 86359 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 349872 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523712/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=349872 CPUtime=1790.45 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 96982 0 0 0 178887 158 0 0 25 0 1 0 205586172 358268928 86727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87468 86727 432 55 0 86359 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 349872 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523520/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=350136 CPUtime=1791.45 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97043 0 0 0 178987 158 0 0 25 0 1 0 205586172 358539264 86788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87534 86788 432 55 0 86425 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 350136 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523456/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=350212 CPUtime=1792.46 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97053 0 0 0 179088 158 0 0 25 0 1 0 205586172 358617088 86798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87553 86798 432 55 0 86444 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 350212 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523392/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=350212 CPUtime=1793.46 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97069 0 0 0 179188 158 0 0 25 0 1 0 205586172 358617088 86814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87553 86814 432 55 0 86444 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 350212 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1523200/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=350476 CPUtime=1794.46 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97114 0 0 0 179288 158 0 0 25 0 1 0 205586172 358887424 86859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87619 86859 432 55 0 86510 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 350476 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1522944/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=350740 CPUtime=1795.48 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97176 0 0 0 179389 159 0 0 25 0 1 0 205586172 359157760 86921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87685 86921 432 55 0 86576 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 350740 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1522688/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=351000 CPUtime=1796.48 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97241 0 0 0 179489 159 0 0 25 0 1 0 205586172 359424000 86986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87750 86986 432 55 0 86641 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 351000 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1522368/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=351264 CPUtime=1797.48 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97318 0 0 0 179589 159 0 0 25 0 1 0 205586172 359694336 87063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87816 87063 432 55 0 86707 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 351264 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1522048/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=351528 CPUtime=1798.49 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97395 0 0 0 179690 159 0 0 25 0 1 0 205586172 359964672 87140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87882 87140 432 55 0 86773 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 351528 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 13610 /proc/meminfo: memFree=1521984/2055892 swapFree=4085392/4096564 [pid=13413] ppid=13411 vsize=351660 CPUtime=1799.49 /proc/13413/stat : 13413 (bsolo) R 13411 13413 13367 0 -1 0 97411 0 0 0 179790 159 0 0 25 0 1 0 205586172 360099840 87156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13413/statm: 87915 87156 432 55 0 86806 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 351660 Child status: 10 Real time (s): 1800.71 CPU time (s): 1800.06 CPU user time (s): 1798.41 CPU system time (s): 1.64675 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 351660
Begin job on node79 on Sun Jun 4 05:37:56 UTC 2006 FILE ID= 40254-1149399475 PBS_JOBID= 313914 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40254-1149399475/instance-40254-1149399475.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-40254-1149399475 -o ROOT/results/node79/solver-40254-1149399475 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node79/40254-1149399475/instance-40254-1149399475.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED= 130768722 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.18 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1870480 kB Buffers: 13864 kB Cached: 110468 kB SwapCached: 2284 kB Active: 30700 kB Inactive: 102204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1870480 kB SwapTotal: 4096564 kB SwapFree: 4085392 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16552 kB Slab: 39184 kB Committed_AS: 373624 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sun Jun 4 06:07:56 UTC 2006