Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT (TO) | 7 | 1800.59 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1800.42 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
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. 2.07 c Initial problem consists of 6207 variables and 171 constraints. 113.33 c preprocess terminated. Elapsed time: 113.28 113.33 c After prepocess the problem consists of 6203 variables and 116 constraints. 113.33 c Initial Lower Bound: 0 164.74 c Sol. found (all assignments made)... 164.74 o 9 164.75 c NEW SOLUTION FOUND: 9 @ 164.69 164.75 c Sol. found (all assignments made)... 164.76 c Sol. found (all assignments made)... 164.76 c Sol. found (all assignments made)... 164.77 c Sol. found (all assignments made)... 164.77 c Sol. found (all assignments made)... 164.78 c Sol. found (all assignments made)... 164.79 c Sol. found (all assignments made)... 164.80 c Sol. found (all assignments made)... 164.80 c Sol. found (all assignments made)... 164.81 c Sol. found (all assignments made)... 164.81 c Sol. found (all assignments made)... 164.82 c Sol. found (all assignments made)... 164.82 c Sol. found (all assignments made)... 164.82 c Sol. found (all assignments made)... 164.83 c Sol. found (all assignments made)... 164.83 c Sol. found (all assignments made)... 164.83 c Sol. found (all assignments made)... 164.83 c Sol. found (all assignments made)... 164.84 c Sol. found (all assignments made)... 164.85 c Sol. found (all assignments made)... 164.85 c Sol. found (all assignments made)... 164.86 c Sol. found (all assignments made)... 164.87 c Sol. found (all assignments made)... 164.87 c Sol. found (all assignments made)... 164.88 c Sol. found (all assignments made)... 164.88 c Sol. found (all assignments made)... 164.89 c Sol. found (all assignments made)... 164.89 c Sol. found (all assignments made)... 164.89 c Sol. found (all assignments made)... 164.89 c Sol. found (all assignments made)... 164.89 c Sol. found (all assignments made)... 164.90 c Sol. found (all assignments made)... 164.90 c Sol. found (all assignments made)... 164.90 c Sol. found (all assignments made)... 164.90 c Sol. found (all assignments made)... 164.90 c Sol. found (all assignments made)... 164.92 c Sol. found (all assignments made)... 164.92 c Sol. found (all assignments made)... 164.93 c Sol. found (all assignments made)... 164.93 c Sol. found (all assignments made)... 164.94 c Sol. found (all assignments made)... 164.95 c Sol. found (all assignments made)... 164.95 c Sol. found (all assignments made)... 164.95 c Sol. found (all assignments made)... 164.96 c Sol. found (all assignments made)... 164.96 c Sol. found (all assignments made)... 164.96 c Sol. found (all assignments made)... 164.96 c Sol. found (all assignments made)... 164.96 c Sol. found (all assignments made)... 164.98 c Sol. found (all assignments made)... 164.98 c Sol. found (all assignments made)... 164.99 c Sol. found (all assignments made)... 164.99 c Sol. found (all assignments made)... 165.00 c Sol. found (all assignments made)... 165.00 c Sol. found (all assignments made)... 165.00 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.01 c Sol. found (all assignments made)... 165.03 c Sol. found (all assignments made)... 165.03 c Sol. found (all assignments made)... 165.04 c Sol. found (all assignments made)... 165.05 c Sol. found (all assignments made)... 165.05 c Sol. found (all assignments made)... 165.05 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.06 c Sol. found (all assignments made)... 165.08 c Sol. found (all assignments made)... 165.09 c Sol. found (all assignments made)... 165.10 c Sol. found (all assignments made)... 165.10 c Sol. found (all assignments made)... 165.10 c Sol. found (all assignments made)... 165.11 c Sol. found (all assignments made)... 165.12 c Sol. found (all assignments made)... 165.12 c Sol. found (all assignments made)... 165.13 c Sol. found (all assignments made)... 165.13 c Sol. found (all assignments made)... 165.14 c Sol. found (all assignments made)... 165.14 c Sol. found (all assignments made)... 165.15 c Sol. found (all assignments made)... 165.15 c Sol. found (all assignments made)... 165.16 c Sol. found (all assignments made)... 165.16 c Sol. found (all assignments made)... 165.17 c Sol. found (all assignments made)... 165.17 c Sol. found (all assignments made)... 165.18 c Sol. found (all assignments made)... 165.18 c Sol. found (all assignments made)... 165.19 c Sol. found (all assignments made)... 165.20 c Sol. found (all assignments made)... 165.46 c Restart #1 #Var: 6203 LB: 0 @ 165.4 226.33 c Sol. found (all assignments made)... 226.34 c Sol. found (all assignments made)... 226.34 c Sol. found (all assignments made)... 226.34 c Sol. found (all assignments made)... 226.35 c Sol. found (all assignments made)... 226.35 c Sol. found (all assignments made)... 226.36 c Sol. found (all assignments made)... 226.36 c Sol. found (all assignments made)... 226.37 c Sol. found (all assignments made)... 226.38 c Sol. found (all assignments made)... 226.38 c Sol. found (all assignments made)... 226.38 c Sol. found (all assignments made)... 226.39 c Sol. found (all assignments made)... 226.46 c Sol. found (all assignments made)... 226.46 c Sol. found (all assignments made)... 226.46 c Sol. found (all assignments made)... 226.46 c Sol. found (all assignments made)... 226.47 c Sol. found (all assignments made)... 226.47 c Sol. found (all assignments made)... 226.47 c Sol. found (all assignments made)... 226.49 c Sol. found (all assignments made)... 226.50 c Sol. found (all assignments made)... 226.50 c Sol. found (all assignments made)... 226.50 c Sol. found (all assignments made)... 226.50 c Sol. found (all assignments made)... 226.51 c Sol. found (all assignments made)... 226.51 c Sol. found (all assignments made)... 226.55 c Sol. found (all assignments made)... 226.56 c Sol. found (all assignments made)... 226.56 c Sol. found (all assignments made)... 226.56 c Sol. found (all assignments made)... 226.56 c Sol. found (all assignments made)... 226.57 c Sol. found (all assignments made)... 226.57 c Sol. found (all assignments made)... 226.61 c Sol. found (all assignments made)... 226.61 c Sol. found (all assignments made)... 226.62 c Sol. found (all assignments made)... 226.62 c Sol. found (all assignments made)... 226.62 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.63 c Sol. found (all assignments made)... 226.66 c Sol. found (all assignments made)... 226.66 c Sol. found (all assignments made)... 226.66 c Sol. found (all assignments made)... 226.67 c Sol. found (all assignments made)... 226.67 c Sol. found (all assignments made)... 226.67 c Sol. found (all assignments made)... 226.68 c Sol. found (all assignments made)... 226.68 c Sol. found (all assignments made)... 226.68 c Sol. found (all assignments made)... 226.69 c Sol. found (all assignments made)... 226.69 c Sol. found (all assignments made)... 226.70 c Sol. found (all assignments made)... 226.70 c Sol. found (all assignments made)... 226.74 c Sol. found (all assignments made)... 226.74 c Sol. found (all assignments made)... 226.74 c Sol. found (all assignments made)... 226.75 c Sol. found (all assignments made)... 226.75 c Sol. found (all assignments made)... 226.75 c Sol. found (all assignments made)... 226.75 c Sol. found (all assignments made)... 226.79 c Sol. found (all assignments made)... 226.80 c Sol. found (all assignments made)... 226.80 c Sol. found (all assignments made)... 226.80 c Sol. found (all assignments made)... 226.81 c Sol. found (all assignments made)... 226.81 c Sol. found (all assignments made)... 226.83 c Sol. found (all assignments made)... 226.83 c Sol. found (all assignments made)... 226.83 c Sol. found (all assignments made)... 226.84 c Sol. found (all assignments made)... 226.84 c Sol. found (all assignments made)... 226.84 c Sol. found (all assignments made)... 226.85 c Sol. found (all assignments made)... 226.87 c Sol. found (all assignments made)... 226.87 c Sol. found (all assignments made)... 226.88 c Sol. found (all assignments made)... 226.88 c Sol. found (all assignments made)... 226.88 c Sol. found (all assignments made)... 226.89 c Sol. found (all assignments made)... 226.89 c Sol. found (all assignments made)... 226.93 c Sol. found (all assignments made)... 226.93 c Sol. found (all assignments made)... 226.94 c Sol. found (all assignments made)... 226.94 c Sol. found (all assignments made)... 226.94 c Sol. found (all assignments made)... 226.95 c Sol. found (all assignments made)... 226.95 c Sol. found (all assignments made)... 226.95 c Sol. found (all assignments made)... 226.95 c Sol. found (all assignments made)... 226.95 c Sol. found (all assignments made)... 227.00 c Sol. found (all assignments made)... 227.00 c Sol. found (all assignments made)... 227.00 c Sol. found (all assignments made)... 227.01 c Sol. found (all assignments made)... 227.01 c Sol. found (all assignments made)... 227.01 c Sol. found (all assignments made)... 227.02 c Sol. found (all assignments made)... 227.02 c Sol. found (all assignments made)... 227.06 c Sol. found (all assignments made)... 227.07 c Sol. found (all assignments made)... 227.07 c Sol. found (all assignments made)... 227.07 c Sol. found (all assignments made)... 227.08 c Sol. found (all assignments made)... 227.08 c Sol. found (all assignments made)... 227.08 c Sol. found (all assignments made)... 227.12 c Sol. found (all assignments made)... 227.12 c Sol. found (all assignments made)... 227.13 c Sol. found (all assignments made)... 227.13 c Sol. found (all assignments made)... 227.13 c Sol. found (all assignments made)... 227.14 c Sol. found (all assignments made)... 227.14 c Sol. found (all assignments made)... 227.16 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.17 c Sol. found (all assignments made)... 227.18 c Sol. found (all assignments made)... 227.18 c Sol. found (all assignments made)... 227.18 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.23 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.24 c Sol. found (all assignments made)... 227.25 c Sol. found (all assignments made)... 227.25 c Sol. found (all assignments made)... 227.25 c Sol. found (all assignments made)... 227.25 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.26 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.27 c Sol. found (all assignments made)... 227.28 c Sol. found (all assignments made)... 227.28 c Sol. found (all assignments made)... 227.28 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.29 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.36 c Sol. found (all assignments made)... 227.37 c Sol. found (all assignments made)... 227.37 c Sol. found (all assignments made)... 227.37 c Sol. found (all assignments made)... 227.37 c Sol. found (all assignments made)... 227.42 c Sol. found (all assignments made)... 227.42 c Sol. found (all assignments made)... 227.42 c Sol. found (all assignments made)... 227.43 c Sol. found (all assignments made)... 227.43 c Sol. found (all assignments made)... 227.43 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.44 c Sol. found (all assignments made)... 227.76 c Restart #2 #Var: 6203 LB: 0 @ 227.69 725.03 c Sol. found (all assignments made)... 725.03 o 8 725.03 c NEW SOLUTION FOUND: 8 @ 724.83 725.04 c Sol. found (all assignments made)... 725.05 c Sol. found (all assignments made)... 725.06 c Sol. found (all assignments made)... 725.06 c Sol. found (all assignments made)... 725.07 c Sol. found (all assignments made)... 725.08 c Sol. found (all assignments made)... 725.09 c Sol. found (all assignments made)... 725.10 c Sol. found (all assignments made)... 725.11 c Sol. found (all assignments made)... 725.11 c Sol. found (all assignments made)... 725.12 c Sol. found (all assignments made)... 725.13 c Sol. found (all assignments made)... 725.13 c Sol. found (all assignments made)... 725.13 c Sol. found (all assignments made)... 725.14 c Sol. found (all assignments made)... 725.15 c Sol. found (all assignments made)... 725.16 c Sol. found (all assignments made)... 725.16 c Sol. found (all assignments made)... 725.17 c Sol. found (all assignments made)... 725.18 c Sol. found (all assignments made)... 725.18 c Sol. found (all assignments made)... 725.19 c Sol. found (all assignments made)... 725.20 c Sol. found (all assignments made)... 725.21 c Sol. found (all assignments made)... 725.22 c Sol. found (all assignments made)... 725.23 c Sol. found (all assignments made)... 725.24 c Sol. found (all assignments made)... 725.25 c Sol. found (all assignments made)... 725.25 c Sol. found (all assignments made)... 725.26 c Sol. found (all assignments made)... 725.26 c Sol. found (all assignments made)... 725.27 c Sol. found (all assignments made)... 725.29 c Sol. found (all assignments made)... 725.58 c Sol. found (all assignments made)... 725.58 o 7 725.58 c NEW SOLUTION FOUND: 7 @ 725.37 725.58 c Sol. found (all assignments made)... 725.59 c Sol. found (all assignments made)... 725.60 c Sol. found (all assignments made)... 725.60 c Sol. found (all assignments made)... 725.62 c Sol. found (all assignments made)... 725.62 c Sol. found (all assignments made)... 725.63 c Sol. found (all assignments made)... 725.63 c Sol. found (all assignments made)... 725.64 c Sol. found (all assignments made)... 725.65 c Sol. found (all assignments made)... 725.66 c Sol. found (all assignments made)... 725.67 c Sol. found (all assignments made)... 725.67 c Sol. found (all assignments made)... 725.68 c Sol. found (all assignments made)... 725.69 c Sol. found (all assignments made)... 725.69 c Sol. found (all assignments made)... 725.69 c Sol. found (all assignments made)... 725.70 c Sol. found (all assignments made)... 725.71 c Sol. found (all assignments made)... 725.72 c Sol. found (all assignments made)... 725.72 c Sol. found (all assignments made)... 725.73 c Sol. found (all assignments made)... 725.74 c Sol. found (all assignments made)... 725.75 c Sol. found (all assignments made)... 725.75 c Sol. found (all assignments made)... 725.76 c Sol. found (all assignments made)... 725.77 c Sol. found (all assignments made)... 725.78 c Sol. found (all assignments made)... 725.79 c Sol. found (all assignments made)... 725.80 c Sol. found (all assignments made)... 725.80 c Sol. found (all assignments made)... 725.81 c Sol. found (all assignments made)... 725.82 c Sol. found (all assignments made)... 725.83 c Sol. found (all assignments made)... 725.83 c Sol. found (all assignments made)... 725.84 c Sol. found (all assignments made)... 725.86 c Sol. found (all assignments made)... 726.02 c Sol. found (all assignments made)... 726.02 c Sol. found (all assignments made)... 726.03 c Sol. found (all assignments made)... 726.03 c Sol. found (all assignments made)... 726.06 c Sol. found (all assignments made)... 726.08 c Sol. found (all assignments made)... 726.10 c Sol. found (all assignments made)... 726.11 c Sol. found (all assignments made)... 726.11 c Sol. found (all assignments made)... 726.13 c Sol. found (all assignments made)... 726.16 c Sol. found (all assignments made)... 726.19 c Sol. found (all assignments made)... 726.22 c Sol. found (all assignments made)... 726.24 c Sol. found (all assignments made)... 726.27 c Sol. found (all assignments made)... 726.28 c Sol. found (all assignments made)... 726.28 c Sol. found (all assignments made)... 726.31 c Sol. found (all assignments made)... 726.31 c Sol. found (all assignments made)... 726.38 c Sol. found (all assignments made)... 726.41 c Sol. found (all assignments made)... 726.44 c Sol. found (all assignments made)... 726.48 c Sol. found (all assignments made)... 726.52 c Sol. found (all assignments made)... 726.55 c Sol. found (all assignments made)... 726.59 c Sol. found (all assignments made)... 726.63 c Sol. found (all assignments made)... 726.67 c Sol. found (all assignments made)... 726.71 c Sol. found (all assignments made)... 726.75 c Sol. found (all assignments made)... 726.79 c Sol. found (all assignments made)... 726.87 c Sol. found (all assignments made)... 726.95 c Sol. found (all assignments made)... 727.04 c Sol. found (all assignments made)... 727.17 c Sol. found (all assignments made)... 727.26 c Sol. found (all assignments made)... 727.30 c Sol. found (all assignments made)... 727.30 c Sol. found (all assignments made)... 790.33 c Sol. found (all assignments made)... 790.33 c Sol. found (all assignments made)... 790.33 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.34 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.35 c Sol. found (all assignments made)... 790.36 c Sol. found (all assignments made)... 790.36 c Sol. found (all assignments made)... 790.37 c Sol. found (all assignments made)... 790.37 c Sol. found (all assignments made)... 790.38 c Sol. found (all assignments made)... 790.39 c Sol. found (all assignments made)... 790.39 c Sol. found (all assignments made)... 790.40 c Sol. found (all assignments made)... 790.40 c Sol. found (all assignments made)... 790.41 c Sol. found (all assignments made)... 790.43 c Sol. found (all assignments made)... 790.43 c Sol. found (all assignments made)... 790.43 c Sol. found (all assignments made)... 790.44 c Sol. found (all assignments made)... 790.44 c Sol. found (all assignments made)... 790.45 c Sol. found (all assignments made)... 790.45 c Sol. found (all assignments made)... 790.45 c Sol. found (all assignments made)... 790.45 c Sol. found (all assignments made)... 790.45 c Sol. found (all assignments made)... 790.46 c Sol. found (all assignments made)... 790.46 c Sol. found (all assignments made)... 790.47 c Sol. found (all assignments made)... 790.49 c Sol. found (all assignments made)... 790.49 c Sol. found (all assignments made)... 790.49 c Sol. found (all assignments made)... 790.49 c Sol. found (all assignments made)... 790.49 c Sol. found (all assignments made)... 790.50 c Sol. found (all assignments made)... 790.50 c Sol. found (all assignments made)... 790.50 c Sol. found (all assignments made)... 790.50 c Sol. found (all assignments made)... 790.51 c Sol. found (all assignments made)... 790.52 c Sol. found (all assignments made)... 790.52 c Sol. found (all assignments made)... 790.52 c Sol. found (all assignments made)... 790.52 c Sol. found (all assignments made)... 790.53 c Sol. found (all assignments made)... 790.53 c Sol. found (all assignments made)... 790.53 c Sol. found (all assignments made)... 790.55 c Sol. found (all assignments made)... 790.86 c Restart #3 #Var: 6203 LB: 0 @ 790.64 1063.79 c Sol. found (all assignments made)... 1063.79 c Sol. found (all assignments made)... 1063.80 c Sol. found (all assignments made)... 1063.80 c Sol. found (all assignments made)... 1063.80 c Sol. found (all assignments made)... 1063.81 c Sol. found (all assignments made)... 1063.81 c Sol. found (all assignments made)... 1063.81 c Sol. found (all assignments made)... 1063.82 c Sol. found (all assignments made)... 1063.82 c Sol. found (all assignments made)... 1063.82 c Sol. found (all assignments made)... 1063.83 c Sol. found (all assignments made)... 1064.58 c Sol. found (all assignments made)... 1064.59 c Sol. found (all assignments made)... 1064.59 c Sol. found (all assignments made)... 1064.60 c Sol. found (all assignments made)... 1064.60 c Sol. found (all assignments made)... 1064.61 c Sol. found (all assignments made)... 1064.61 c Sol. found (all assignments made)... 1064.61 c Sol. found (all assignments made)... 1064.62 c Sol. found (all assignments made)... 1064.62 c Sol. found (all assignments made)... 1064.63 c Sol. found (all assignments made)... 1064.63 c Sol. found (all assignments made)... 1064.64 c Sol. found (all assignments made)... 1064.64 c Sol. found (all assignments made)... 1064.65 c Sol. found (all assignments made)... 1064.65 c Sol. found (all assignments made)... 1064.65 c Sol. found (all assignments made)... 1064.66 c Sol. found (all assignments made)... 1064.66 c Sol. found (all assignments made)... 1064.67 c Sol. found (all assignments made)... 1064.67 c Sol. found (all assignments made)... 1064.67 c Sol. found (all assignments made)... 1064.68 c Sol. found (all assignments made)... 1064.68 c Sol. found (all assignments made)... 1064.69 c Sol. found (all assignments made)... 1064.69 c Sol. found (all assignments made)... 1064.69 c Sol. found (all assignments made)... 1064.70 c Sol. found (all assignments made)... 1064.70 c Sol. found (all assignments made)... 1064.70 c Sol. found (all assignments made)... 1064.71 c Sol. found (all assignments made)... 1064.71 c Sol. found (all assignments made)... 1064.72 c Sol. found (all assignments made)... 1064.72 c Sol. found (all assignments made)... 1064.72 c Sol. found (all assignments made)... 1064.73 c Sol. found (all assignments made)... 1064.73 c Sol. found (all assignments made)... 1064.74 c Sol. found (all assignments made)... 1064.74 c Sol. found (all assignments made)... 1064.74 c Sol. found (all assignments made)... 1064.75 c Sol. found (all assignments made)... 1064.75 c Sol. found (all assignments made)... 1064.76 c Sol. found (all assignments made)... 1064.76 c Sol. found (all assignments made)... 1064.76 c Sol. found (all assignments made)... 1064.77 c Sol. found (all assignments made)... 1064.77 c Sol. found (all assignments made)... 1064.77 c Sol. found (all assignments made)... 1064.78 c Sol. found (all assignments made)... 1064.78 c Sol. found (all assignments made)... 1064.79 c Sol. found (all assignments made)... 1064.79 c Sol. found (all assignments made)... 1064.79 c Sol. found (all assignments made)... 1064.80 c Sol. found (all assignments made)... 1064.80 c Sol. found (all assignments made)... 1064.80 c Sol. found (all assignments made)... 1064.81 c Sol. found (all assignments made)... 1064.81 c Sol. found (all assignments made)... 1064.82 c Sol. found (all assignments made)... 1064.82 c Sol. found (all assignments made)... 1064.82 c Sol. found (all assignments made)... 1064.83 c Sol. found (all assignments made)... 1064.83 c Sol. found (all assignments made)... 1064.83 c Sol. found (all assignments made)... 1064.84 c Sol. found (all assignments made)... 1064.85 c Sol. found (all assignments made)... 1064.85 c Sol. found (all assignments made)... 1064.85 c Sol. found (all assignments made)... 1064.85 c Sol. found (all assignments made)... 1064.87 c Sol. found (all assignments made)... 1064.87 c Sol. found (all assignments made)... 1064.88 c Sol. found (all assignments made)... 1064.88 c Sol. found (all assignments made)... 1064.88 c Sol. found (all assignments made)... 1064.89 c Sol. found (all assignments made)... 1064.89 c Sol. found (all assignments made)... 1064.89 c Sol. found (all assignments made)... 1064.90 c Sol. found (all assignments made)... 1064.90 c Sol. found (all assignments made)... 1064.90 c Sol. found (all assignments made)... 1065.68 c Sol. found (all assignments made)... 1065.68 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.70 c Sol. found (all assignments made)... 1065.70 c Sol. found (all assignments made)... 1065.70 c Sol. found (all assignments made)... 1065.71 c Sol. found (all assignments made)... 1065.71 c Sol. found (all assignments made)... 1065.72 c Sol. found (all assignments made)... 1065.72 c Sol. found (all assignments made)... 1065.72 c Sol. found (all assignments made)... 1065.73 c Sol. found (all assignments made)... 1065.73 c Sol. found (all assignments made)... 1065.74 c Sol. found (all assignments made)... 1065.74 c Sol. found (all assignments made)... 1065.74 c Sol. found (all assignments made)... 1065.75 c Sol. found (all assignments made)... 1065.75 c Sol. found (all assignments made)... 1065.76 c Sol. found (all assignments made)... 1065.76 c Sol. found (all assignments made)... 1065.76 c Sol. found (all assignments made)... 1065.77 c Sol. found (all assignments made)... 1065.77 c Sol. found (all assignments made)... 1065.77 c Sol. found (all assignments made)... 1065.78 c Sol. found (all assignments made)... 1065.78 c Sol. found (all assignments made)... 1065.79 c Sol. found (all assignments made)... 1065.80 c Sol. found (all assignments made)... 1066.47 c Sol. found (all assignments made)... 1066.47 c Sol. found (all assignments made)... 1066.47 c Sol. found (all assignments made)... 1066.48 c Sol. found (all assignments made)... 1066.48 c Sol. found (all assignments made)... 1066.49 c Sol. found (all assignments made)... 1066.49 c Sol. found (all assignments made)... 1066.50 c Sol. found (all assignments made)... 1066.50 c Sol. found (all assignments made)... 1066.50 c Sol. found (all assignments made)... 1066.51 c Sol. found (all assignments made)... 1066.51 c Sol. found (all assignments made)... 1066.52 c Sol. found (all assignments made)... 1066.52 c Sol. found (all assignments made)... 1066.52 c Sol. found (all assignments made)... 1066.53 c Sol. found (all assignments made)... 1066.53 c Sol. found (all assignments made)... 1066.53 c Sol. found (all assignments made)... 1066.54 c Sol. found (all assignments made)... 1066.54 c Sol. found (all assignments made)... 1066.55 c Sol. found (all assignments made)... 1066.55 c Sol. found (all assignments made)... 1066.55 c Sol. found (all assignments made)... 1066.56 c Sol. found (all assignments made)... 1066.56 c Sol. found (all assignments made)... 1066.56 c Sol. found (all assignments made)... 1066.57 c Sol. found (all assignments made)... 1066.57 c Sol. found (all assignments made)... 1066.58 c Sol. found (all assignments made)... 1066.58 c Sol. found (all assignments made)... 1066.59 c Sol. found (all assignments made)... 1067.45 c Sol. found (all assignments made)... 1067.45 c Sol. found (all assignments made)... 1067.45 c Sol. found (all assignments made)... 1067.46 c Sol. found (all assignments made)... 1067.46 c Sol. found (all assignments made)... 1067.47 c Sol. found (all assignments made)... 1067.47 c Sol. found (all assignments made)... 1067.47 c Sol. found (all assignments made)... 1067.48 c Sol. found (all assignments made)... 1067.48 c Sol. found (all assignments made)... 1067.49 c Sol. found (all assignments made)... 1067.49 c Sol. found (all assignments made)... 1067.50 c Sol. found (all assignments made)... 1067.50 c Sol. found (all assignments made)... 1067.50 c Sol. found (all assignments made)... 1067.51 c Sol. found (all assignments made)... 1067.51 c Sol. found (all assignments made)... 1067.51 c Sol. found (all assignments made)... 1067.51 c Sol. found (all assignments made)... 1067.52 c Sol. found (all assignments made)... 1067.52 c Sol. found (all assignments made)... 1067.52 c Sol. found (all assignments made)... 1067.52 c Sol. found (all assignments made)... 1067.53 c Sol. found (all assignments made)... 1067.53 c Sol. found (all assignments made)... 1067.54 c Sol. found (all assignments made)... 1067.54 c Sol. found (all assignments made)... 1067.55 c Sol. found (all assignments made)... 1067.55 c Sol. found (all assignments made)... 1067.55 c Sol. found (all assignments made)... 1067.56 c Sol. found (all assignments made)... 1067.56 c Sol. found (all assignments made)... 1067.57 c Sol. found (all assignments made)... 1067.57 c Sol. found (all assignments made)... 1067.58 c Sol. found (all assignments made)... 1067.58 c Sol. found (all assignments made)... 1067.59 c Sol. found (all assignments made)... 1067.59 c Sol. found (all assignments made)... 1067.59 c Sol. found (all assignments made)... 1067.60 c Sol. found (all assignments made)... 1067.60 c Sol. found (all assignments made)... 1067.61 c Sol. found (all assignments made)... 1067.61 c Sol. found (all assignments made)... 1067.61 c Sol. found (all assignments made)... 1067.62 c Sol. found (all assignments made)... 1067.62 c Sol. found (all assignments made)... 1067.62 c Sol. found (all assignments made)... 1067.63 c Sol. found (all assignments made)... 1067.63 c Sol. found (all assignments made)... 1067.63 c Sol. found (all assignments made)... 1067.63 c Sol. found (all assignments made)... 1067.64 c Sol. found (all assignments made)... 1067.65 c Sol. found (all assignments made)... 1067.65 c Sol. found (all assignments made)... 1067.67 c Sol. found (all assignments made)... 1067.68 c Sol. found (all assignments made)... 1067.68 c Sol. found (all assignments made)... 1067.68 c Sol. found (all assignments made)... 1067.68 c Sol. found (all assignments made)... 1067.69 c Sol. found (all assignments made)... 1067.69 c Sol. found (all assignments made)... 1067.69 c Sol. found (all assignments made)... 1067.70 c Sol. found (all assignments made)... 1067.70 c Sol. found (all assignments made)... 1067.70 c Sol. found (all assignments made)... 1067.70 c Sol. found (all assignments made)... 1067.70 c Sol. found (all assignments made)... 1067.72 c Sol. found (all assignments made)... 1067.72 c Sol. found (all assignments made)... 1067.94 c Sol. found (all assignments made)... 1067.95 c Sol. found (all assignments made)... 1067.95 c Sol. found (all assignments made)... 1067.95 c Sol. found (all assignments made)... 1067.96 c Sol. found (all assignments made)... 1067.96 c Sol. found (all assignments made)... 1067.96 c Sol. found (all assignments made)... 1067.96 c Sol. found (all assignments made)... 1067.97 c Sol. found (all assignments made)... 1067.97 c Sol. found (all assignments made)... 1067.97 c Sol. found (all assignments made)... 1067.97 c Sol. found (all assignments made)... 1067.98 c Sol. found (all assignments made)... 1068.10 c Sol. found (all assignments made)... 1068.11 c Sol. found (all assignments made)... 1068.11 c Sol. found (all assignments made)... 1068.11 c Sol. found (all assignments made)... 1068.12 c Sol. found (all assignments made)... 1068.12 c Sol. found (all assignments made)... 1068.13 c Sol. found (all assignments made)... 1068.13 c Sol. found (all assignments made)... 1068.13 c Sol. found (all assignments made)... 1068.14 c Sol. found (all assignments made)... 1068.14 c Sol. found (all assignments made)... 1068.14 c Sol. found (all assignments made)... 1068.15 c Sol. found (all assignments made)... 1068.15 c Sol. found (all assignments made)... 1068.15 c Sol. found (all assignments made)... 1068.16 c Sol. found (all assignments made)... 1068.16 c Sol. found (all assignments made)... 1068.16 c Sol. found (all assignments made)... 1068.17 c Sol. found (all assignments made)... 1068.17 c Sol. found (all assignments made)... 1068.17 c Sol. found (all assignments made)... 1068.18 c Sol. found (all assignments made)... 1068.18 c Sol. found (all assignments made)... 1068.18 c Sol. found (all assignments made)... 1068.19 c Sol. found (all assignments made)... 1068.35 c Sol. found (all assignments made)... 1068.46 c Sol. found (all assignments made)... 1068.47 c Sol. found (all assignments made)... 1068.47 c Sol. found (all assignments made)... 1068.47 c Sol. found (all assignments made)... 1068.47 c Sol. found (all assignments made)... 1068.48 c Sol. found (all assignments made)... 1068.48 c Sol. found (all assignments made)... 1068.48 c Sol. found (all assignments made)... 1068.49 c Sol. found (all assignments made)... 1068.49 c Sol. found (all assignments made)... 1068.49 c Sol. found (all assignments made)... 1068.49 c Sol. found (all assignments made)... 1068.50 c Sol. found (all assignments made)... 1068.62 c Sol. found (all assignments made)... 1068.72 c Sol. found (all assignments made)... 1068.73 c Sol. found (all assignments made)... 1068.74 c Sol. found (all assignments made)... 1068.74 c Sol. found (all assignments made)... 1068.75 c Sol. found (all assignments made)... 1068.75 c Sol. found (all assignments made)... 1068.76 c Sol. found (all assignments made)... 1068.76 c Sol. found (all assignments made)... 1068.76 c Sol. found (all assignments made)... 1068.76 c Sol. found (all assignments made)... 1068.90 c Sol. found (all assignments made)... 1069.00 c Sol. found (all assignments made)... 1069.11 c Sol. found (all assignments made)... 1069.21 c Sol. found (all assignments made)... 1069.22 c Sol. found (all assignments made)... 1069.22 c Sol. found (all assignments made)... 1069.22 c Sol. found (all assignments made)... 1069.22 c Sol. found (all assignments made)... 1069.23 c Sol. found (all assignments made)... 1069.23 c Sol. found (all assignments made)... 1069.23 c Sol. found (all assignments made)... 1069.23 c Sol. found (all assignments made)... 1069.24 c Sol. found (all assignments made)... 1069.24 c Sol. found (all assignments made)... 1069.24 c Sol. found (all assignments made)... 1069.24 c Sol. found (all assignments made)... 1069.25 c Sol. found (all assignments made)... 1069.25 c Sol. found (all assignments made)... 1069.25 c Sol. found (all assignments made)... 1069.26 c Sol. found (all assignments made)... 1069.26 c Sol. found (all assignments made)... 1069.26 c Sol. found (all assignments made)... 1069.26 c Sol. found (all assignments made)... 1069.27 c Sol. found (all assignments made)... 1069.28 c Sol. found (all assignments made)... 1069.42 c Sol. found (all assignments made)... 1069.53 c Sol. found (all assignments made)... 1069.63 c Sol. found (all assignments made)... 1069.64 c Sol. found (all assignments made)... 1069.64 c Sol. found (all assignments made)... 1069.64 c Sol. found (all assignments made)... 1069.64 c Sol. found (all assignments made)... 1069.65 c Sol. found (all assignments made)... 1069.65 c Sol. found (all assignments made)... 1069.65 c Sol. found (all assignments made)... 1069.65 c Sol. found (all assignments made)... 1069.66 c Sol. found (all assignments made)... 1069.66 c Sol. found (all assignments made)... 1069.66 c Sol. found (all assignments made)... 1069.66 c Sol. found (all assignments made)... 1069.67 c Sol. found (all assignments made)... 1069.67 c Sol. found (all assignments made)... 1069.67 c Sol. found (all assignments made)... 1069.68 c Sol. found (all assignments made)... 1069.98 c Restart #4 #Var: 6203 LB: 0 @ 1069.7 1468.09 c Sol. found (all assignments made)... 1468.09 c Sol. found (all assignments made)... 1468.09 c Sol. found (all assignments made)... 1468.10 c Sol. found (all assignments made)... 1468.10 c Sol. found (all assignments made)... 1468.11 c Sol. found (all assignments made)... 1468.14 c Sol. found (all assignments made)... 1468.15 c Sol. found (all assignments made)... 1468.15 c Sol. found (all assignments made)... 1468.16 c Sol. found (all assignments made)... 1468.16 c Sol. found (all assignments made)... 1468.17 c Sol. found (all assignments made)... 1468.17 c Sol. found (all assignments made)... 1468.18 c Sol. found (all assignments made)... 1468.19 c Sol. found (all assignments made)... 1468.21 c Sol. found (all assignments made)... 1468.22 c Sol. found (all assignments made)... 1468.22 c Sol. found (all assignments made)... 1468.23 c Sol. found (all assignments made)... 1468.24 c Sol. found (all assignments made)... 1468.24 c Sol. found (all assignments made)... 1468.25 c Sol. found (all assignments made)... 1468.25 c Sol. found (all assignments made)... 1468.26 c Sol. found (all assignments made)... 1468.27 c Sol. found (all assignments made)... 1468.28 c Sol. found (all assignments made)... 1468.29 c Sol. found (all assignments made)... 1468.30 c Sol. found (all assignments made)... 1468.31 c Sol. found (all assignments made)... 1468.31 c Sol. found (all assignments made)... 1468.32 c Sol. found (all assignments made)... 1468.33 c Sol. found (all assignments made)... 1468.34 c Sol. found (all assignments made)... 1468.35 c Sol. found (all assignments made)... 1468.36 c Sol. found (all assignments made)... 1468.36 c Sol. found (all assignments made)... 1468.37 c Sol. found (all assignments made)... 1468.37 c Sol. found (all assignments made)... 1468.39 c Sol. found (all assignments made)... 1468.41 c Sol. found (all assignments made)... 1468.42 c Sol. found (all assignments made)... 1468.57 c Sol. found (all assignments made)... 1468.58 c Sol. found (all assignments made)... 1468.58 c Sol. found (all assignments made)... 1468.58 c Sol. found (all assignments made)... 1468.59 c Sol. found (all assignments made)... 1468.59 c Sol. found (all assignments made)... 1468.59 c Sol. found (all assignments made)... 1468.60 c Sol. found (all assignments made)... 1468.60 c Sol. found (all assignments made)... 1468.62 c Sol. found (all assignments made)... 1468.62 c Sol. found (all assignments made)... 1468.62 c Sol. found (all assignments made)... 1468.63 c Sol. found (all assignments made)... 1468.63 c Sol. found (all assignments made)... 1468.69 c Sol. found (all assignments made)... 1468.70 c Sol. found (all assignments made)... 1468.70 c Sol. found (all assignments made)... 1468.70 c Sol. found (all assignments made)... 1468.70 c Sol. found (all assignments made)... 1468.70 c Sol. found (all assignments made)... 1468.71 c Sol. found (all assignments made)... 1468.71 c Sol. found (all assignments made)... 1468.71 c Sol. found (all assignments made)... 1468.71 c Sol. found (all assignments made)... 1468.71 c Sol. found (all assignments made)... 1468.72 c Sol. found (all assignments made)... 1468.72 c Sol. found (all assignments made)... 1468.72 c Sol. found (all assignments made)... 1468.73 c Sol. found (all assignments made)... 1468.73 c Sol. found (all assignments made)... 1468.73 c Sol. found (all assignments made)... 1468.73 c Sol. found (all assignments made)... 1468.74 c Sol. found (all assignments made)... 1468.74 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.80 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.81 c Sol. found (all assignments made)... 1468.82 c Sol. found (all assignments made)... 1468.82 c Sol. found (all assignments made)... 1468.82 c Sol. found (all assignments made)... 1468.82 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.83 c Sol. found (all assignments made)... 1468.84 c Sol. found (all assignments made)... 1468.84 c Sol. found (all assignments made)... 1468.84 c Sol. found (all assignments made)... 1468.84 c Sol. found (all assignments made)... 1468.84 c Sol. found (all assignments made)... 1468.85 c Sol. found (all assignments made)... 1468.85 c Sol. found (all assignments made)... 1468.85 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.86 c Sol. found (all assignments made)... 1468.87 c Sol. found (all assignments made)... 1468.93 c Sol. found (all assignments made)... 1468.94 c Sol. found (all assignments made)... 1468.94 c Sol. found (all assignments made)... 1468.94 c Sol. found (all assignments made)... 1468.95 c Sol. found (all assignments made)... 1468.95 c Sol. found (all assignments made)... 1468.95 c Sol. found (all assignments made)... 1468.96 c Sol. found (all assignments made)... 1468.96 c Sol. found (all assignments made)... 1468.96 c Sol. found (all assignments made)... 1468.97 c Sol. found (all assignments made)... 1468.97 c Sol. found (all assignments made)... 1468.97 c Sol. found (all assignments made)... 1468.97 c Sol. found (all assignments made)... 1468.98 c Sol. found (all assignments made)... 1468.98 c Sol. found (all assignments made)... 1468.98 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1468.99 c Sol. found (all assignments made)... 1469.16 c Sol. found (all assignments made)... 1469.16 c Sol. found (all assignments made)... 1469.16 c Sol. found (all assignments made)... 1469.16 c Sol. found (all assignments made)... 1469.16 c Sol. found (all assignments made)... 1469.17 c Sol. found (all assignments made)... 1469.17 c Sol. found (all assignments made)... 1469.17 c Sol. found (all assignments made)... 1469.17 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.18 c Sol. found (all assignments made)... 1469.19 c Sol. found (all assignments made)... 1469.19 c Sol. found (all assignments made)... 1469.19 c Sol. found (all assignments made)... 1469.20 c Sol. found (all assignments made)... 1469.20 c Sol. found (all assignments made)... 1469.20 c Sol. found (all assignments made)... 1469.20 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.26 c Sol. found (all assignments made)... 1469.27 c Sol. found (all assignments made)... 1469.27 c Sol. found (all assignments made)... 1469.27 c Sol. found (all assignments made)... 1469.27 c Sol. found (all assignments made)... 1469.28 c Sol. found (all assignments made)... 1469.28 c Sol. found (all assignments made)... 1469.29 c Sol. found (all assignments made)... 1469.29 c Sol. found (all assignments made)... 1469.29 c Sol. found (all assignments made)... 1469.30 c Sol. found (all assignments made)... 1469.30 c Sol. found (all assignments made)... 1469.30 c Sol. found (all assignments made)... 1469.30 c Sol. found (all assignments made)... 1469.31 c Sol. found (all assignments made)... 1469.31 c Sol. found (all assignments made)... 1469.36 c Sol. found (all assignments made)... 1469.37 c Sol. found (all assignments made)... 1469.37 c Sol. found (all assignments made)... 1469.37 c Sol. found (all assignments made)... 1469.38 c Sol. found (all assignments made)... 1469.39 c Sol. found (all assignments made)... 1469.39 c Sol. found (all assignments made)... 1469.39 c Sol. found (all assignments made)... 1469.40 c Sol. found (all assignments made)... 1469.41 c Sol. found (all assignments made)... 1469.41 c Sol. found (all assignments made)... 1469.41 c Sol. found (all assignments made)... 1469.41 c Sol. found (all assignments made)... 1469.41 c Sol. found (all assignments made)... 1469.42 c Sol. found (all assignments made)... 1469.43 c Sol. found (all assignments made)... 1469.43 c Sol. found (all assignments made)... 1469.44 c Sol. found (all assignments made)... 1469.44 c Sol. found (all assignments made)... 1469.44 c Sol. found (all assignments made)... 1469.45 c Sol. found (all assignments made)... 1469.45 c Sol. found (all assignments made)... 1469.45 c Sol. found (all assignments made)... 1469.46 c Sol. found (all assignments made)... 1469.46 c Sol. found (all assignments made)... 1469.47 c Sol. found (all assignments made)... 1469.47 c Sol. found (all assignments made)... 1469.48 c Sol. found (all assignments made)... 1469.51 c Sol. found (all assignments made)... 1469.51 c Sol. found (all assignments made)... 1469.51 c Sol. found (all assignments made)... 1469.52 c Sol. found (all assignments made)... 1469.52 c Sol. found (all assignments made)... 1469.52 c Sol. found (all assignments made)... 1469.52 c Sol. found (all assignments made)... 1469.53 c Sol. found (all assignments made)... 1469.53 c Sol. found (all assignments made)... 1469.53 c Sol. found (all assignments made)... 1469.54 c Sol. found (all assignments made)... 1469.59 c Sol. found (all assignments made)... 1469.59 c Sol. found (all assignments made)... 1469.59 c Sol. found (all assignments made)... 1469.59 c Sol. found (all assignments made)... 1469.59 c Sol. found (all assignments made)... 1469.60 c Sol. found (all assignments made)... 1469.62 c Sol. found (all assignments made)... 1469.62 c Sol. found (all assignments made)... 1469.62 c Sol. found (all assignments made)... 1469.63 c Sol. found (all assignments made)... 1469.63 c Sol. found (all assignments made)... 1469.63 c Sol. found (all assignments made)... 1469.64 c Sol. found (all assignments made)... 1469.64 c Sol. found (all assignments made)... 1469.65 c Sol. found (all assignments made)... 1469.65 c Sol. found (all assignments made)... 1469.65 c Sol. found (all assignments made)... 1469.65 c Sol. found (all assignments made)... 1469.66 c Sol. found (all assignments made)... 1469.66 c Sol. found (all assignments made)... 1469.67 c Sol. found (all assignments made)... 1469.68 c Sol. found (all assignments made)... 1469.69 c Sol. found (all assignments made)... 1469.69 c Sol. found (all assignments made)... 1469.69 c Sol. found (all assignments made)... 1469.70 c Sol. found (all assignments made)... 1469.70 c Sol. found (all assignments made)... 1469.70 c Sol. found (all assignments made)... 1469.71 c Sol. found (all assignments made)... 1469.73 c Sol. found (all assignments made)... 1469.73 c Sol. found (all assignments made)... 1469.74 c Sol. found (all assignments made)... 1469.74 c Sol. found (all assignments made)... 1469.74 c Sol. found (all assignments made)... 1469.75 c Sol. found (all assignments made)... 1469.75 c Sol. found (all assignments made)... 1469.75 c Sol. found (all assignments made)... 1469.75 c Sol. found (all assignments made)... 1469.81 c Sol. found (all assignments made)... 1469.81 c Sol. found (all assignments made)... 1469.82 c Sol. found (all assignments made)... 1469.82 c Sol. found (all assignments made)... 1469.82 c Sol. found (all assignments made)... 1469.83 c Sol. found (all assignments made)... 1469.83 c Sol. found (all assignments made)... 1469.83 c Sol. found (all assignments made)... 1469.84 c Sol. found (all assignments made)... 1469.84 c Sol. found (all assignments made)... 1469.84 c Sol. found (all assignments made)... 1469.85 c Sol. found (all assignments made)... 1469.85 c Sol. found (all assignments made)... 1469.85 c Sol. found (all assignments made)... 1469.86 c Sol. found (all assignments made)... 1469.86 c Sol. found (all assignments made)... 1469.86 c Sol. found (all assignments made)... 1469.87 c Sol. found (all assignments made)... 1469.87 c Sol. found (all assignments made)... 1469.87 c Sol. found (all assignments made)... 1469.87 c Sol. found (all assignments made)... 1469.88 c Sol. found (all assignments made)... 1469.88 c Sol. found (all assignments made)... 1469.88 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.96 c Sol. found (all assignments made)... 1469.97 c Sol. found (all assignments made)... 1469.97 c Sol. found (all assignments made)... 1469.97 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.98 c Sol. found (all assignments made)... 1469.99 c Sol. found (all assignments made)... 1469.99 c Sol. found (all assignments made)... 1469.99 c Sol. found (all assignments made)... 1469.99 c Sol. found (all assignments made)... 1470.00 c Sol. found (all assignments made)... 1470.00 c Sol. found (all assignments made)... 1470.01 c Sol. found (all assignments made)... 1470.16 c Sol. found (all assignments made)... 1470.16 c Sol. found (all assignments made)... 1470.17 c Sol. found (all assignments made)... 1470.17 c Sol. found (all assignments made)... 1470.18 c Sol. found (all assignments made)... 1470.18 c Sol. found (all assignments made)... 1470.18 c Sol. found (all assignments made)... 1470.19 c Sol. found (all assignments made)... 1470.19 c Sol. found (all assignments made)... 1470.19 c Sol. found (all assignments made)... 1470.20 c Sol. found (all assignments made)... 1470.20 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.22 c Sol. found (all assignments made)... 1470.25 c Sol. found (all assignments made)... 1470.25 c Sol. found (all assignments made)... 1470.25 c Sol. found (all assignments made)... 1470.26 c Sol. found (all assignments made)... 1470.26 c Sol. found (all assignments made)... 1470.26 c Sol. found (all assignments made)... 1470.28 c Sol. found (all assignments made)... 1470.28 c Sol. found (all assignments made)... 1470.28 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.29 c Sol. found (all assignments made)... 1470.47 c Sol. found (all assignments made)... 1470.47 c Sol. found (all assignments made)... 1470.47 c Sol. found (all assignments made)... 1470.49 c Sol. found (all assignments made)... 1470.49 c Sol. found (all assignments made)... 1470.49 c Sol. found (all assignments made)... 1470.50 c Sol. found (all assignments made)... 1470.50 c Sol. found (all assignments made)... 1470.50 c Sol. found (all assignments made)... 1470.51 c Sol. found (all assignments made)... 1470.51 c Sol. found (all assignments made)... 1470.51 c Sol. found (all assignments made)... 1470.52 c Sol. found (all assignments made)... 1470.52 c Sol. found (all assignments made)... 1470.52 c Sol. found (all assignments made)... 1470.53 c Sol. found (all assignments made)... 1470.53 c Sol. found (all assignments made)... 1470.54 c Sol. found (all assignments made)... 1470.54 c Sol. found (all assignments made)... 1470.54 c Sol. found (all assignments made)... 1470.54 c Sol. found (all assignments made)... 1470.55 c Sol. found (all assignments made)... 1470.55 c Sol. found (all assignments made)... 1470.55 c Sol. found (all assignments made)... 1470.56 c Sol. found (all assignments made)... 1470.56 c Sol. found (all assignments made)... 1470.57 c Sol. found (all assignments made)... 1470.57 c Sol. found (all assignments made)... 1470.57 c Sol. found (all assignments made)... 1470.57 c Sol. found (all assignments made)... 1470.58 c Sol. found (all assignments made)... 1470.59 c Sol. found (all assignments made)... 1470.59 c Sol. found (all assignments made)... 1470.59 c Sol. found (all assignments made)... 1470.66 c Sol. found (all assignments made)... 1470.66 c Sol. found (all assignments made)... 1470.66 c Sol. found (all assignments made)... 1470.66 c Sol. found (all assignments made)... 1470.66 c Sol. found (all assignments made)... 1470.67 c Sol. found (all assignments made)... 1470.68 c Sol. found (all assignments made)... 1470.98 c Restart #5 #Var: 6203 LB: 0 @ 1470.5 1734.12 c Sol. found (all assignments made)... 1734.12 c Sol. found (all assignments made)... 1734.13 c Sol. found (all assignments made)... 1734.13 c Sol. found (all assignments made)... 1734.14 c Sol. found (all assignments made)... 1734.14 c Sol. found (all assignments made)... 1734.15 c Sol. found (all assignments made)... 1734.19 c Sol. found (all assignments made)... 1734.19 c Sol. found (all assignments made)... 1734.19 c Sol. found (all assignments made)... 1734.20 c Sol. found (all assignments made)... 1734.20 c Sol. found (all assignments made)... 1734.21 c Sol. found (all assignments made)... 1734.21 c Sol. found (all assignments made)... 1734.25 c Sol. found (all assignments made)... 1734.25 c Sol. found (all assignments made)... 1734.25 c Sol. found (all assignments made)... 1734.26 c Sol. found (all assignments made)... 1734.27 c Sol. found (all assignments made)... 1734.27 c Sol. found (all assignments made)... 1734.28 c Sol. found (all assignments made)... 1734.31 c Sol. found (all assignments made)... 1734.32 c Sol. found (all assignments made)... 1734.32 c Sol. found (all assignments made)... 1734.32 c Sol. found (all assignments made)... 1734.33 c Sol. found (all assignments made)... 1734.33 c Sol. found (all assignments made)... 1734.33 c Sol. found (all assignments made)... 1734.34 c Sol. found (all assignments made)... 1734.34 c Sol. found (all assignments made)... 1734.34 c Sol. found (all assignments made)... 1734.35 c Sol. found (all assignments made)... 1734.35 c Sol. found (all assignments made)... 1734.35 c Sol. found (all assignments made)... 1734.36 c Sol. found (all assignments made)... 1734.36 c Sol. found (all assignments made)... 1734.36 c Sol. found (all assignments made)... 1734.37 c Sol. found (all assignments made)... 1734.37 c Sol. found (all assignments made)... 1734.37 c Sol. found (all assignments made)... 1734.38 c Sol. found (all assignments made)... 1734.38 c Sol. found (all assignments made)... 1734.38 c Sol. found (all assignments made)... 1734.46 c Sol. found (all assignments made)... 1734.46 c Sol. found (all assignments made)... 1734.46 c Sol. found (all assignments made)... 1734.47 c Sol. found (all assignments made)... 1734.47 c Sol. found (all assignments made)... 1734.48 c Sol. found (all assignments made)... 1734.48 c Sol. found (all assignments made)... 1734.49 c Sol. found (all assignments made)... 1734.53 c Sol. found (all assignments made)... 1734.53 c Sol. found (all assignments made)... 1734.54 c Sol. found (all assignments made)... 1734.54 c Sol. found (all assignments made)... 1734.54 c Sol. found (all assignments made)... 1734.55 c Sol. found (all assignments made)... 1734.55 c Sol. found (all assignments made)... 1734.55 c Sol. found (all assignments made)... 1734.56 c Sol. found (all assignments made)... 1734.56 c Sol. found (all assignments made)... 1734.56 c Sol. found (all assignments made)... 1734.57 c Sol. found (all assignments made)... 1734.57 c Sol. found (all assignments made)... 1734.57 c Sol. found (all assignments made)... 1734.58 c Sol. found (all assignments made)... 1734.58 c Sol. found (all assignments made)... 1734.58 c Sol. found (all assignments made)... 1734.59 c Sol. found (all assignments made)... 1734.59 c Sol. found (all assignments made)... 1734.59 c Sol. found (all assignments made)... 1734.60 c Sol. found (all assignments made)... 1734.60 c Sol. found (all assignments made)... 1734.66 c Sol. found (all assignments made)... 1734.67 c Sol. found (all assignments made)... 1734.67 c Sol. found (all assignments made)... 1734.67 c Sol. found (all assignments made)... 1734.68 c Sol. found (all assignments made)... 1734.68 c Sol. found (all assignments made)... 1734.69 c Sol. found (all assignments made)... 1734.69 c Sol. found (all assignments made)... 1734.69 c Sol. found (all assignments made)... 1734.70 c Sol. found (all assignments made)... 1734.70 c Sol. found (all assignments made)... 1734.70 c Sol. found (all assignments made)... 1734.71 c Sol. found (all assignments made)... 1734.71 c Sol. found (all assignments made)... 1734.71 c Sol. found (all assignments made)... 1734.71 c Sol. found (all assignments made)... 1734.72 c Sol. found (all assignments made)... 1734.72 c Sol. found (all assignments made)... 1734.72 c Sol. found (all assignments made)... 1734.73 c Sol. found (all assignments made)... 1734.73 c Sol. found (all assignments made)... 1734.73 c Sol. found (all assignments made)... 1734.74 c Sol. found (all assignments made)... 1734.74 c Sol. found (all assignments made)... 1734.74 c Sol. found (all assignments made)... 1734.74 c Sol. found (all assignments made)... 1734.93 c Sol. found (all assignments made)... 1734.94 c Sol. found (all assignments made)... 1734.94 c Sol. found (all assignments made)... 1734.94 c Sol. found (all assignments made)... 1734.94 c Sol. found (all assignments made)... 1734.95 c Sol. found (all assignments made)... 1734.95 c Sol. found (all assignments made)... 1734.95 c Sol. found (all assignments made)... 1734.96 c Sol. found (all assignments made)... 1734.96 c Sol. found (all assignments made)... 1734.96 c Sol. found (all assignments made)... 1734.97 c Sol. found (all assignments made)... 1734.97 c Sol. found (all assignments made)... 1734.97 c Sol. found (all assignments made)... 1734.98 c Sol. found (all assignments made)... 1734.98 c Sol. found (all assignments made)... 1734.98 c Sol. found (all assignments made)... 1734.99 c Sol. found (all assignments made)... 1734.99 c Sol. found (all assignments made)... 1734.99 c Sol. found (all assignments made)... 1735.00 c Sol. found (all assignments made)... 1735.00 c Sol. found (all assignments made)... 1735.01 c Sol. found (all assignments made)... 1735.08 c Sol. found (all assignments made)... 1735.08 c Sol. found (all assignments made)... 1735.08 c Sol. found (all assignments made)... 1735.09 c Sol. found (all assignments made)... 1735.09 c Sol. found (all assignments made)... 1735.09 c Sol. found (all assignments made)... 1735.10 c Sol. found (all assignments made)... 1735.10 c Sol. found (all assignments made)... 1735.10 c Sol. found (all assignments made)... 1735.11 c Sol. found (all assignments made)... 1735.11 c Sol. found (all assignments made)... 1735.11 c Sol. found (all assignments made)... 1735.12 c Sol. found (all assignments made)... 1735.12 c Sol. found (all assignments made)... 1735.12 c Sol. found (all assignments made)... 1735.13 c Sol. found (all assignments made)... 1735.13 c Sol. found (all assignments made)... 1735.13 c Sol. found (all assignments made)... 1735.14 c Sol. found (all assignments made)... 1735.14 c Sol. found (all assignments made)... 1735.14 c Sol. found (all assignments made)... 1735.15 c Sol. found (all assignments made)... 1735.15 c Sol. found (all assignments made)... 1735.23 c Sol. found (all assignments made)... 1735.23 c Sol. found (all assignments made)... 1735.24 c Sol. found (all assignments made)... 1735.24 c Sol. found (all assignments made)... 1735.24 c Sol. found (all assignments made)... 1735.25 c Sol. found (all assignments made)... 1735.25 c Sol. found (all assignments made)... 1735.25 c Sol. found (all assignments made)... 1735.26 c Sol. found (all assignments made)... 1735.26 c Sol. found (all assignments made)... 1735.26 c Sol. found (all assignments made)... 1735.27 c Sol. found (all assignments made)... 1735.27 c Sol. found (all assignments made)... 1735.27 c Sol. found (all assignments made)... 1735.28 c Sol. found (all assignments made)... 1735.28 c Sol. found (all assignments made)... 1735.28 c Sol. found (all assignments made)... 1735.29 c Sol. found (all assignments made)... 1735.35 c Sol. found (all assignments made)... 1735.35 c Sol. found (all assignments made)... 1735.35 c Sol. found (all assignments made)... 1735.36 c Sol. found (all assignments made)... 1735.36 c Sol. found (all assignments made)... 1735.36 c Sol. found (all assignments made)... 1735.37 c Sol. found (all assignments made)... 1735.37 c Sol. found (all assignments made)... 1735.37 c Sol. found (all assignments made)... 1735.38 c Sol. found (all assignments made)... 1735.38 c Sol. found (all assignments made)... 1735.38 c Sol. found (all assignments made)... 1735.39 c Sol. found (all assignments made)... 1735.39 c Sol. found (all assignments made)... 1735.39 c Sol. found (all assignments made)... 1735.40 c Sol. found (all assignments made)... 1735.40 c Sol. found (all assignments made)... 1735.40 c Sol. found (all assignments made)... 1735.41 c Sol. found (all assignments made)... 1735.41 c Sol. found (all assignments made)... 1735.41 c Sol. found (all assignments made)... 1735.42 c Sol. found (all assignments made)... 1735.42 c Sol. found (all assignments made)... 1735.42 c Sol. found (all assignments made)... 1735.49 c Sol. found (all assignments made)... 1735.50 c Sol. found (all assignments made)... 1735.50 c Sol. found (all assignments made)... 1735.50 c Sol. found (all assignments made)... 1735.51 c Sol. found (all assignments made)... 1735.51 c Sol. found (all assignments made)... 1735.51 c Sol. found (all assignments made)... 1735.52 c Sol. found (all assignments made)... 1735.52 c Sol. found (all assignments made)... 1735.53 c Sol. found (all assignments made)... 1735.53 c Sol. found (all assignments made)... 1735.53 c Sol. found (all assignments made)... 1735.53 c Sol. found (all assignments made)... 1735.54 c Sol. found (all assignments made)... 1735.54 c Sol. found (all assignments made)... 1735.54 c Sol. found (all assignments made)... 1735.55 c Sol. found (all assignments made)... 1735.55 c Sol. found (all assignments made)... 1735.55 c Sol. found (all assignments made)... 1735.56 c Sol. found (all assignments made)... 1735.56 c Sol. found (all assignments made)... 1735.56 c Sol. found (all assignments made)... 1735.57 c Sol. found (all assignments made)... 1735.65 c Sol. found (all assignments made)... 1735.65 c Sol. found (all assignments made)... 1735.65 c Sol. found (all assignments made)... 1735.66 c Sol. found (all assignments made)... 1735.66 c Sol. found (all assignments made)... 1735.66 c Sol. found (all assignments made)... 1735.66 c Sol. found (all assignments made)... 1735.67 c Sol. found (all assignments made)... 1735.67 c Sol. found (all assignments made)... 1735.67 c Sol. found (all assignments made)... 1735.68 c Sol. found (all assignments made)... 1735.68 c Sol. found (all assignments made)... 1735.68 c Sol. found (all assignments made)... 1735.68 c Sol. found (all assignments made)... 1735.69 c Sol. found (all assignments made)... 1735.69 c Sol. found (all assignments made)... 1735.70 c Sol. found (all assignments made)... 1735.70 c Sol. found (all assignments made)... 1735.70 c Sol. found (all assignments made)... 1735.70 c Sol. found (all assignments made)... 1735.70 c Sol. found (all assignments made)... 1735.71 c Sol. found (all assignments made)... 1735.71 c Sol. found (all assignments made)... 1735.71 c Sol. found (all assignments made)... 1735.71 c Sol. found (all assignments made)... 1735.72 c Sol. found (all assignments made)... 1735.73 c Sol. found (all assignments made)... 1735.73 c Sol. found (all assignments made)... 1735.73 c Sol. found (all assignments made)... 1735.73 c Sol. found (all assignments made)... 1735.74 c Sol. found (all assignments made)... 1735.74 c Sol. found (all assignments made)... 1735.74 c Sol. found (all assignments made)... 1735.74 c Sol. found (all assignments made)... 1735.75 c Sol. found (all assignments made)... 1735.75 c Sol. found (all assignments made)... 1735.75 c Sol. found (all assignments made)... 1735.75 c Sol. found (all assignments made)... 1735.75 c Sol. found (all assignments made)... 1735.76 c Sol. found (all assignments made)... 1735.76 c Sol. found (all assignments made)... 1735.76 c Sol. found (all assignments made)... 1735.77 c Sol. found (all assignments made)... 1735.77 c Sol. found (all assignments made)... 1735.77 c Sol. found (all assignments made)... 1735.77 c Sol. found (all assignments made)... 1735.78 c Sol. found (all assignments made)... 1735.78 c Sol. found (all assignments made)... 1735.78 c Sol. found (all assignments made)... 1735.78 c Sol. found (all assignments made)... 1735.79 c Sol. found (all assignments made)... 1735.79 c Sol. found (all assignments made)... 1735.79 c Sol. found (all assignments made)... 1735.79 c Sol. found (all assignments made)... 1735.81 c Sol. found (all assignments made)... 1735.81 c Sol. found (all assignments made)... 1735.81 c Sol. found (all assignments made)... 1735.82 c Sol. found (all assignments made)... 1735.82 c Sol. found (all assignments made)... 1735.82 c Sol. found (all assignments made)... 1735.82 c Sol. found (all assignments made)... 1735.83 c Sol. found (all assignments made)... 1735.83 c Sol. found (all assignments made)... 1735.83 c Sol. found (all assignments made)... 1735.83 c Sol. found (all assignments made)... 1735.83 c Sol. found (all assignments made)... 1735.84 c Sol. found (all assignments made)... 1735.84 c Sol. found (all assignments made)... 1735.85 c Sol. found (all assignments made)... 1735.85 c Sol. found (all assignments made)... 1735.85 c Sol. found (all assignments made)... 1735.85 c Sol. found (all assignments made)... 1735.85 c Sol. found (all assignments made)... 1735.86 c Sol. found (all assignments made)... 1735.86 c Sol. found (all assignments made)... 1735.87 c Sol. found (all assignments made)... 1735.87 c Sol. found (all assignments made)... 1735.87 c Sol. found (all assignments made)... 1735.87 c Sol. found (all assignments made)... 1735.88 c Sol. found (all assignments made)... 1735.88 c Sol. found (all assignments made)... 1735.89 c Sol. found (all assignments made)... 1735.89 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.90 c Sol. found (all assignments made)... 1735.91 c Sol. found (all assignments made)... 1735.91 c Sol. found (all assignments made)... 1735.91 c Sol. found (all assignments made)... 1735.91 c Sol. found (all assignments made)... 1735.92 c Sol. found (all assignments made)... 1735.92 c Sol. found (all assignments made)... 1735.92 c Sol. found (all assignments made)... 1735.92 c Sol. found (all assignments made)... 1735.92 c Sol. found (all assignments made)... 1735.93 c Sol. found (all assignments made)... 1735.94 c Sol. found (all assignments made)... 1735.94 c Sol. found (all assignments made)... 1735.94 c Sol. found (all assignments made)... 1735.94 c Sol. found (all assignments made)... 1735.94 c Sol. found (all assignments made)... 1736.08 c Sol. found (all assignments made)... 1736.08 c Sol. found (all assignments made)... 1736.08 c Sol. found (all assignments made)... 1736.09 c Sol. found (all assignments made)... 1736.09 c Sol. found (all assignments made)... 1736.09 c Sol. found (all assignments made)... 1736.10 c Sol. found (all assignments made)... 1736.10 c Sol. found (all assignments made)... 1736.10 c Sol. found (all assignments made)... 1736.11 c Sol. found (all assignments made)... 1736.11 c Sol. found (all assignments made)... 1736.11 c Sol. found (all assignments made)... 1736.12 c Sol. found (all assignments made)... 1736.12 c Sol. found (all assignments made)... 1736.12 c Sol. found (all assignments made)... 1736.13 c Sol. found (all assignments made)... 1736.13 c Sol. found (all assignments made)... 1736.13 c Sol. found (all assignments made)... 1736.14 c Sol. found (all assignments made)... 1736.14 c Sol. found (all assignments made)... 1736.14 c Sol. found (all assignments made)... 1736.15 c Sol. found (all assignments made)... 1736.15 c Sol. found (all assignments made)... 1736.22 c Sol. found (all assignments made)... 1736.23 c Sol. found (all assignments made)... 1736.23 c Sol. found (all assignments made)... 1736.23 c Sol. found (all assignments made)... 1736.24 c Sol. found (all assignments made)... 1736.24 c Sol. found (all assignments made)... 1736.24 c Sol. found (all assignments made)... 1736.25 c Sol. found (all assignments made)... 1736.25 c Sol. found (all assignments made)... 1736.25 c Sol. found (all assignments made)... 1736.25 c Sol. found (all assignments made)... 1736.26 c Sol. found (all assignments made)... 1736.26 c Sol. found (all assignments made)... 1736.26 c Sol. found (all assignments made)... 1736.26 c Sol. found (all assignments made)... 1736.26 c Sol. found (all assignments made)... 1736.27 c Sol. found (all assignments made)... 1736.27 c Sol. found (all assignments made)... 1736.27 c Sol. found (all assignments made)... 1736.27 c Sol. found (all assignments made)... 1736.28 c Sol. found (all assignments made)... 1736.28 c Sol. found (all assignments made)... 1736.28 c Sol. found (all assignments made)... 1736.29 c Sol. found (all assignments made)... 1736.29 c Sol. found (all assignments made)... 1736.29 c Sol. found (all assignments made)... 1736.30 c Sol. found (all assignments made)... 1736.30 c Sol. found (all assignments made)... 1736.30 c Sol. found (all assignments made)... 1736.30 c Sol. found (all assignments made)... 1736.30 c Sol. found (all assignments made)... 1736.31 c Sol. found (all assignments made)... 1736.31 c Sol. found (all assignments made)... 1736.31 c Sol. found (all assignments made)... 1736.31 c Sol. found (all assignments made)... 1736.31 c Sol. found (all assignments made)... 1736.32 c Sol. found (all assignments made)... 1736.32 c Sol. found (all assignments made)... 1736.32 c Sol. found (all assignments made)... 1736.32 c Sol. found (all assignments made)... 1736.33 c Sol. found (all assignments made)... 1736.33 c Sol. found (all assignments made)... 1736.33 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.34 c Sol. found (all assignments made)... 1736.35 c Sol. found (all assignments made)... 1736.35 c Sol. found (all assignments made)... 1736.36 c Sol. found (all assignments made)... 1736.36 c Sol. found (all assignments made)... 1736.36 c Sol. found (all assignments made)... 1736.37 c Sol. found (all assignments made)... 1736.37 c Sol. found (all assignments made)... 1736.37 c Sol. found (all assignments made)... 1736.37 c Sol. found (all assignments made)... 1736.38 c Sol. found (all assignments made)... 1736.38 c Sol. found (all assignments made)... 1736.39 c Sol. found (all assignments made)... 1736.39 c Sol. found (all assignments made)... 1736.39 c Sol. found (all assignments made)... 1736.40 c Sol. found (all assignments made)... 1736.40 c Sol. found (all assignments made)... 1736.40 c Sol. found (all assignments made)... 1736.41 c Sol. found (all assignments made)... 1736.41 c Sol. found (all assignments made)... 1736.41 c Sol. found (all assignments made)... 1736.41 c Sol. found (all assignments made)... 1736.42 c Sol. found (all assignments made)... 1736.42 c Sol. found (all assignments made)... 1736.42 c Sol. found (all assignments made)... 1736.43 c Sol. found (all assignments made)... 1736.43 c Sol. found (all assignments made)... 1736.43 c Sol. found (all assignments made)... 1736.44 c Sol. found (all assignments made)... 1736.44 c Sol. found (all assignments made)... 1736.44 c Sol. found (all assignments made)... 1736.44 c Sol. found (all assignments made)... 1736.45 c Sol. found (all assignments made)... 1736.45 c Sol. found (all assignments made)... 1736.46 c Sol. found (all assignments made)... 1736.46 c Sol. found (all assignments made)... 1736.46 c Sol. found (all assignments made)... 1736.46 c Sol. found (all assignments made)... 1736.46 c Sol. found (all assignments made)... 1736.47 c Sol. found (all assignments made)... 1736.47 c Sol. found (all assignments made)... 1736.47 c Sol. found (all assignments made)... 1736.47 c Sol. found (all assignments made)... 1736.48 c Sol. found (all assignments made)... 1736.48 c Sol. found (all assignments made)... 1736.48 c Sol. found (all assignments made)... 1736.48 c Sol. found (all assignments made)... 1736.48 c Sol. found (all assignments made)... 1736.49 c Sol. found (all assignments made)... 1736.49 c Sol. found (all assignments made)... 1736.49 c Sol. found (all assignments made)... 1736.49 c Sol. found (all assignments made)... 1736.50 c Sol. found (all assignments made)... 1736.50 c Sol. found (all assignments made)... 1736.53 c Sol. found (all assignments made)... 1736.53 c Sol. found (all assignments made)... 1736.54 c Sol. found (all assignments made)... 1736.54 c Sol. found (all assignments made)... 1736.54 c Sol. found (all assignments made)... 1736.55 c Sol. found (all assignments made)... 1736.56 c Sol. found (all assignments made)... 1736.56 c Sol. found (all assignments made)... 1736.71 c Sol. found (all assignments made)... 1736.71 c Sol. found (all assignments made)... 1736.71 c Sol. found (all assignments made)... 1736.72 c Sol. found (all assignments made)... 1736.72 c Sol. found (all assignments made)... 1736.72 c Sol. found (all assignments made)... 1736.73 c Sol. found (all assignments made)... 1736.73 c Sol. found (all assignments made)... 1736.73 c Sol. found (all assignments made)... 1736.74 c Sol. found (all assignments made)... 1736.74 c Sol. found (all assignments made)... 1736.74 c Sol. found (all assignments made)... 1736.75 c Sol. found (all assignments made)... 1736.75 c Sol. found (all assignments made)... 1736.75 c Sol. found (all assignments made)... 1736.76 c Sol. found (all assignments made)... 1736.76 c Sol. found (all assignments made)... 1736.76 c Sol. found (all assignments made)... 1736.77 c Sol. found (all assignments made)... 1736.77 c Sol. found (all assignments made)... 1736.77 c Sol. found (all assignments made)... 1736.78 c Sol. found (all assignments made)... 1736.85 c Sol. found (all assignments made)... 1736.85 c Sol. found (all assignments made)... 1736.86 c Sol. found (all assignments made)... 1736.86 c Sol. found (all assignments made)... 1736.86 c Sol. found (all assignments made)... 1736.87 c Sol. found (all assignments made)... 1736.87 c Sol. found (all assignments made)... 1736.87 c Sol. found (all assignments made)... 1736.88 c Sol. found (all assignments made)... 1736.88 c Sol. found (all assignments made)... 1736.88 c Sol. found (all assignments made)... 1736.89 c Sol. found (all assignments made)... 1736.89 c Sol. found (all assignments made)... 1736.89 c Sol. found (all assignments made)... 1736.90 c Sol. found (all assignments made)... 1736.90 c Sol. found (all assignments made)... 1736.90 c Sol. found (all assignments made)... 1736.91 c Sol. found (all assignments made)... 1736.91 c Sol. found (all assignments made)... 1736.91 c Sol. found (all assignments made)... 1736.92 c Sol. found (all assignments made)... 1736.92 c Sol. found (all assignments made)... 1736.92 c Sol. found (all assignments made)... 1737.11 c Sol. found (all assignments made)... 1737.11 c Sol. found (all assignments made)... 1737.11 c Sol. found (all assignments made)... 1737.12 c Sol. found (all assignments made)... 1737.12 c Sol. found (all assignments made)... 1737.12 c Sol. found (all assignments made)... 1737.13 c Sol. found (all assignments made)... 1737.13 c Sol. found (all assignments made)... 1737.13 c Sol. found (all assignments made)... 1737.14 c Sol. found (all assignments made)... 1737.14 c Sol. found (all assignments made)... 1737.14 c Sol. found (all assignments made)... 1737.15 c Sol. found (all assignments made)... 1737.15 c Sol. found (all assignments made)... 1737.15 c Sol. found (all assignments made)... 1737.16 c Sol. found (all assignments made)... 1737.16 c Sol. found (all assignments made)... 1737.16 c Sol. found (all assignments made)... 1737.17 c Sol. found (all assignments made)... 1737.17 c Sol. found (all assignments made)... 1737.17 c Sol. found (all assignments made)... 1737.24 c Sol. found (all assignments made)... 1737.24 c Sol. found (all assignments made)... 1737.25 c Sol. found (all assignments made)... 1737.25 c Sol. found (all assignments made)... 1737.25 c Sol. found (all assignments made)... 1737.26 c Sol. found (all assignments made)... 1737.26 c Sol. found (all assignments made)... 1737.26 c Sol. found (all assignments made)... 1737.27 c Sol. found (all assignments made)... 1737.27 c Sol. found (all assignments made)... 1737.27 c Sol. found (all assignments made)... 1737.28 c Sol. found (all assignments made)... 1737.28 c Sol. found (all assignments made)... 1737.28 c Sol. found (all assignments made)... 1737.29 c Sol. found (all assignments made)... 1737.29 c Sol. found (all assignments made)... 1737.29 c Sol. found (all assignments made)... 1737.29 c Sol. found (all assignments made)... 1737.30 c Sol. found (all assignments made)... 1737.30 c Sol. found (all assignments made)... 1737.30 c Sol. found (all assignments made)... 1737.31 c Sol. found (all assignments made)... 1737.31 c Sol. found (all assignments made)... 1737.31 c Sol. found (all assignments made)... 1737.32 c Sol. found (all assignments made)... 1737.32 c Sol. found (all assignments made)... 1737.51 c Sol. found (all assignments made)... 1737.51 c Sol. found (all assignments made)... 1737.52 c Sol. found (all assignments made)... 1737.52 c Sol. found (all assignments made)... 1737.52 c Sol. found (all assignments made)... 1737.53 c Sol. found (all assignments made)... 1737.53 c Sol. found (all assignments made)... 1737.53 c Sol. found (all assignments made)... 1737.54 c Sol. found (all assignments made)... 1737.54 c Sol. found (all assignments made)... 1737.55 c Sol. found (all assignments made)... 1737.55 c Sol. found (all assignments made)... 1737.55 c Sol. found (all assignments made)... 1737.56 c Sol. found (all assignments made)... 1737.56 c Sol. found (all assignments made)... 1737.56 c Sol. found (all assignments made)... 1737.57 c Sol. found (all assignments made)... 1737.57 c Sol. found (all assignments made)... 1737.57 c Sol. found (all assignments made)... 1737.58 c Sol. found (all assignments made)... 1737.58 c Sol. found (all assignments made)... 1737.58 c Sol. found (all assignments made)... 1737.65 c Sol. found (all assignments made)... 1737.65 c Sol. found (all assignments made)... 1737.66 c Sol. found (all assignments made)... 1737.66 c Sol. found (all assignments made)... 1737.66 c Sol. found (all assignments made)... 1737.67 c Sol. found (all assignments made)... 1737.67 c Sol. found (all assignments made)... 1737.67 c Sol. found (all assignments made)... 1737.68 c Sol. found (all assignments made)... 1737.68 c Sol. found (all assignments made)... 1737.68 c Sol. found (all assignments made)... 1737.69 c Sol. found (all assignments made)... 1737.69 c Sol. found (all assignments made)... 1737.69 c Sol. found (all assignments made)... 1737.70 c Sol. found (all assignments made)... 1737.70 c Sol. found (all assignments made)... 1737.70 c Sol. found (all assignments made)... 1737.71 c Sol. found (all assignments made)... 1738.07 c Restart #6 #Var: 6203 LB: 0 @ 1737.5 1801.12 c Caught signal: 15 1801.12 s SATISFIABLE 1801.12 c Cost: 7 1801.12 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1801.12 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1801.12 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1801.12 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1801.12 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1801.12 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1801.12 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1801.12 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1801.12 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1801.12 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1801.12 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1801.12 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1801.12 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1801.12 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1801.12 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1801.12 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1801.12 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1801.12 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1801.12 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1801.12 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1801.12 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1801.12 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1801.12 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1801.12 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1801.12 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1801.12 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1801.12 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1801.12 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1801.12 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1801.12 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1801.12 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1801.12 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1801.12 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1801.12 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1801.12 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1801.12 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1801.12 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1801.12 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1801.12 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1801.12 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1801.12 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1801.12 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1801.12 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1801.12 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1801.12 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1801.12 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1801.12 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1801.12 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1801.12 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1801.12 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1801.12 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1801.12 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1801.12 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1801.12 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1801.12 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1801.12 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1801.12 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1801.12 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1801.12 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1801.12 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1801.12 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1801.12 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1801.12 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1801.12 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1801.12 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1801.12 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1801.12 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1801.12 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1801.12 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1801.12 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1801.12 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1801.12 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1801.12 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1801.12 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1801.12 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1801.12 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1801.12 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1801.12 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1801.12 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1801.12 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1801.12 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1801.12 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1801.12 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1801.12 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1801.12 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1801.12 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1801.12 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1801.12 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1801.12 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1801.12 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1801.12 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1801.12 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1801.12 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1801.12 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1801.12 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1801.12 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1801.12 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1801.12 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1801.12 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1801.12 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1801.12 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1801.12 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1801.12 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1801.12 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1801.12 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1801.12 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1801.12 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1801.12 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1801.12 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1801.12 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1801.12 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1801.12 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1801.12 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1801.12 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1801.12 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1801.12 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1801.12 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1801.12 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1801.12 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1801.12 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1801.12 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1801.12 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1801.12 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1801.12 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1801.12 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1801.12 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1801.12 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1801.12 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1801.12 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1801.12 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1801.12 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1801.12 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1801.12 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1801.12 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1801.12 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1801.12 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1801.12 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1801.12 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1801.12 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1801.12 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1801.12 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1801.12 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1801.12 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1801.12 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1801.12 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1801.12 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1801.12 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1801.12 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1801.12 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1801.12 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1801.12 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1801.12 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1801.12 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1801.12 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1801.12 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1801.12 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1801.12 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1801.12 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1801.12 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1801.12 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1801.12 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1801.12 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1801.12 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1801.12 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1801.12 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1801.12 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1801.12 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1801.12 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1801.12 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1801.12 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1801.12 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1801.12 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1801.12 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1801.12 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1801.12 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1801.12 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1801.12 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1801.12 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1801.12 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1801.12 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1801.12 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1801.12 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1801.12 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1801.12 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 1801.12 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1801.12 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1801.12 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1801.12 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1801.12 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1801.12 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1801.12 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1801.12 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1801.12 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1801.12 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 1801.12 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1801.12 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1801.12 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1801.12 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1801.12 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1801.12 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1801.12 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1801.12 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1801.12 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1801.12 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1801.12 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1801.12 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1801.12 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1801.12 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1801.12 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1801.12 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1801.12 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1801.12 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1801.12 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1801.12 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1801.12 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1801.12 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1801.12 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1801.12 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1801.12 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1801.12 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1801.12 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1801.12 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1801.12 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1801.12 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1801.12 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1801.12 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1801.12 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1801.12 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1801.12 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1801.12 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1801.12 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1801.12 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1801.12 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1801.12 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1801.12 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1801.12 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1801.12 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1801.12 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1801.12 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1801.12 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1801.12 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1801.12 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1801.12 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1801.12 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1801.12 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1801.12 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1801.12 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1801.12 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1801.12 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1801.12 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1801.12 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1801.12 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1801.12 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1801.12 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 1801.12 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1801.12 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1801.12 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1801.12 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 1801.12 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1801.12 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1801.12 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1801.12 v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1801.12 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1801.12 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1801.12 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1801.12 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1801.12 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1801.12 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1801.12 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1801.12 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1801.12 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 1801.12 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1801.12 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1801.12 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1801.12 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1801.12 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1801.12 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1801.12 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1801.12 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1801.12 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1801.12 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1801.12 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1801.12 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1801.12 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1801.12 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1801.12 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1801.12 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1801.12 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1801.12 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1801.12 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1801.12 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1801.12 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1801.12 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1801.12 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1801.12 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1801.12 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1801.12 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1801.12 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 1801.12 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1801.12 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1801.12 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 1801.12 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1801.12 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1801.12 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1801.12 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 1801.12 v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1801.12 v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1801.12 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 1801.12 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1801.12 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1801.12 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1801.12 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1801.12 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1801.12 v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1801.12 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 1801.12 v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1801.12 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 1801.12 v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 1801.12 v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 1801.12 v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 1801.12 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 1801.12 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1801.12 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1801.12 v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1801.12 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 1801.12 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 1801.12 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1801.12 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1801.12 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1801.12 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1801.12 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1801.12 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1801.12 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1801.12 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1801.12 v -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1801.12 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1801.12 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1801.12 v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 1801.12 v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1801.12 v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 1801.12 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 1801.12 v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 x6016 -x6017 -x6018 -x6019 -x6020 1801.12 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1801.12 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 1801.12 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 1801.12 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 1801.12 v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 1801.12 v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 1801.12 v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1801.12 v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 1801.12 v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 1801.12 v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 1801.12 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 1801.13 c Exit Code: 10
OK 7
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node22/watcher-50255-1154086617 -o ROOT/results/node22/solver-50255-1154086617 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/50255-1154086617/instance-50255-1154086617.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.98 3/64 9524 /proc/meminfo: memFree=782176/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=4748 CPUtime=0 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 213 0 0 0 0 0 0 0 18 0 1 0 155522555 4861952 183 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134713408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 1187 192 144 55 0 79 0 [startup+10.0021 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741416/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=9.98 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 993 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 46936 [startup+20.0089 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741608/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=19.98 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 1993 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 46936 [startup+30.0157 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741672/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=29.99 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 2994 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 46936 [startup+40.0215 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741672/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=39.99 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 3994 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 46936 [startup+50.0274 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741736/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=49.99 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 4994 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 46936 [startup+60.0332 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741736/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=59.99 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 5994 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 46936 [startup+70.039 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741736/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=70 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 6995 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 46936 [startup+80.0448 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741736/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=80 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 7995 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 46936 [startup+90.0506 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9524 /proc/meminfo: memFree=741736/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=90 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 8995 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 46936 [startup+100.055 s] /proc/loadavg: 1.07 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741800/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=100 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 9995 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 46936 [startup+110.061 s] /proc/loadavg: 1.06 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741800/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=46936 CPUtime=110.01 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10617 0 0 0 10996 5 0 0 25 0 1 0 155522555 48062464 10523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11734 10523 287 55 0 10626 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 46936 [startup+120.067 s] /proc/loadavg: 1.05 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741352/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=47364 CPUtime=120.01 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10738 0 0 0 11996 5 0 0 25 0 1 0 155522555 48500736 10644 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11841 10644 295 55 0 10733 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 47364 [startup+130.073 s] /proc/loadavg: 1.04 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741352/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=47364 CPUtime=130.01 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10738 0 0 0 12996 5 0 0 25 0 1 0 155522555 48500736 10644 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11841 10644 295 55 0 10733 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 47364 [startup+140.079 s] /proc/loadavg: 1.03 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741352/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=47364 CPUtime=140.02 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10738 0 0 0 13997 5 0 0 25 0 1 0 155522555 48500736 10644 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11841 10644 295 55 0 10733 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 47364 [startup+150.085 s] /proc/loadavg: 1.03 1.00 0.98 2/64 9524 /proc/meminfo: memFree=741352/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=47364 CPUtime=150.02 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10738 0 0 0 14997 5 0 0 25 0 1 0 155522555 48500736 10644 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11841 10644 295 55 0 10733 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 47364 [startup+160.091 s] /proc/loadavg: 1.02 1.00 0.98 2/64 9524 /proc/meminfo: memFree=740968/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=47708 CPUtime=160.02 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 10837 0 0 0 15997 5 0 0 25 0 1 0 155522555 48852992 10743 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 11927 10743 295 55 0 10819 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 47708 [startup+170.097 s] /proc/loadavg: 1.02 1.00 0.98 2/64 9524 /proc/meminfo: memFree=728232/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=60964 CPUtime=170.04 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 14015 0 0 0 16997 7 0 0 25 0 1 0 155522555 62427136 13915 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 15241 13915 296 55 0 14133 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 60964 [startup+180.103 s] /proc/loadavg: 1.02 1.00 0.98 2/64 9524 /proc/meminfo: memFree=728232/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=60964 CPUtime=180.04 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 14015 0 0 0 17997 7 0 0 25 0 1 0 155522555 62427136 13915 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 15241 13915 296 55 0 14133 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 60964 [startup+190.109 s] /proc/loadavg: 1.01 1.00 0.98 2/64 9524 /proc/meminfo: memFree=728232/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=60964 CPUtime=190.04 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 14015 0 0 0 18997 7 0 0 25 0 1 0 155522555 62427136 13915 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 15241 13915 296 55 0 14133 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 60964 [startup+200.115 s] /proc/loadavg: 1.01 1.00 0.98 2/64 9524 /proc/meminfo: memFree=728232/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=60964 CPUtime=200.04 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 14015 0 0 0 19997 7 0 0 25 0 1 0 155522555 62427136 13915 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 15241 13915 296 55 0 14133 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 60964 [startup+210.119 s] /proc/loadavg: 1.01 1.00 0.98 2/64 9524 ################ # More data... # ################ /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178131 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 83164 [startup+1783.03 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=705008/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1782.47 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178232 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 83164 [startup+1784.03 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1783.47 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178332 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 83164 [startup+1785.04 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1784.48 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178433 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 83164 [startup+1786.04 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1785.48 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178533 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 83164 [startup+1787.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1786.49 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178634 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 83164 [startup+1788.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1787.49 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178734 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 83164 [startup+1789.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1788.5 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178835 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 83164 [startup+1790.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1789.5 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 178935 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 83164 [startup+1791.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1790.5 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179035 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 83164 [startup+1792.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1791.51 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179136 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 83164 [startup+1793.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1792.51 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179236 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 83164 [startup+1794.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1793.52 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179337 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134650003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 83164 [startup+1795.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1794.52 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179437 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 83164 [startup+1796.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1795.53 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179538 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 83164 [startup+1797.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1796.53 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179638 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 83164 [startup+1798.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1797.54 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179739 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 83164 [startup+1799.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1798.54 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179839 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 83164 [startup+1800.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1799.55 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 179940 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 83164 [startup+1801.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1800.55 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 180040 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 83164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 9724 /proc/meminfo: memFree=704944/2055920 swapFree=4162792/4192956 [pid=9524] ppid=9522 vsize=83164 CPUtime=1800.56 /proc/9524/stat : 9524 (bsolo) R 9522 9524 9475 0 -1 0 19781 0 0 0 180041 15 0 0 25 0 1 0 155522555 85159936 19671 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9524/statm: 20791 19671 296 55 0 19683 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 83164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1801.15 CPU time (s): 1800.59 CPU user time (s): 1800.41 CPU system time (s): 0.174973 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 83164 The end
Begin job on node22 on Fri Jul 28 11:36:58 UTC 2006 FILE ID= 50255-1154086617 PBS_JOBID= 885370 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/50255-1154086617/instance-50255-1154086617.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-50255-1154086617 -o ROOT/results/node22/solver-50255-1154086617 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/50255-1154086617/instance-50255-1154086617.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED= 151229202 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 782576 kB Buffers: 38100 kB Cached: 1146608 kB SwapCached: 24400 kB Active: 245224 kB Inactive: 968860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 782576 kB SwapTotal: 4192956 kB SwapFree: 4162792 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14548 kB Slab: 45356 kB Committed_AS: 677584 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node22 on Fri Jul 28 12:06:59 UTC 2006