Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT (TO) | 59 | 1800.62 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
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 | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
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 | 5203 |
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. 4.78 c Initial problem consists of 5203 variables and 19637 constraints. 40.22 c preprocess terminated. Elapsed time: 40.189 40.22 c After prepocess the problem consists of 5039 variables and 19026 constraints. 40.22 c Initial Lower Bound: 0 66.58 c Sol. found (all assignments made)... 66.58 o 80 66.58 c NEW SOLUTION FOUND: 80 @ 66.54 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.87 c Restart #1 #Var: 5039 LB: 0 @ 66.835 76.64 c Sol. found (all assignments made)... 76.64 o 74 76.64 c NEW SOLUTION FOUND: 74 @ 76.558 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.64 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 o 73 76.66 c NEW SOLUTION FOUND: 73 @ 76.581 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.67 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.68 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.69 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.70 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.72 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.74 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.75 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.78 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.80 c Sol. found (all assignments made)... 76.81 c Sol. found (all assignments made)... 76.81 c Sol. found (all assignments made)... 77.07 c Restart #2 #Var: 5039 LB: 0 @ 76.992 87.44 c Sol. found (all assignments made)... 87.45 c Sol. found (all assignments made)... 87.45 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.47 c Sol. found (all assignments made)... 87.48 c Sol. found (all assignments made)... 87.48 c Sol. found (all assignments made)... 87.48 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.49 c Sol. found (all assignments made)... 87.50 c Sol. found (all assignments made)... 87.50 c Sol. found (all assignments made)... 87.52 c Sol. found (all assignments made)... 87.54 c Sol. found (all assignments made)... 87.56 c Sol. found (all assignments made)... 87.85 c Restart #3 #Var: 5039 LB: 0 @ 87.744 162.92 c Sol. found (all assignments made)... 163.51 c Restart #4 #Var: 5039 LB: 0 @ 163.36 275.42 c Sol. found (all assignments made)... 275.42 o 68 275.42 c NEW SOLUTION FOUND: 68 @ 275.24 275.42 c Sol. found (all assignments made)... 275.42 c Sol. found (all assignments made)... 275.42 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 o 67 275.43 c NEW SOLUTION FOUND: 67 @ 275.24 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.43 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.44 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.45 c Sol. found (all assignments made)... 275.46 c Sol. found (all assignments made)... 275.46 c Sol. found (all assignments made)... 275.46 c Sol. found (all assignments made)... 275.46 c Sol. found (all assignments made)... 275.46 c Sol. found (all assignments made)... 275.47 c Sol. found (all assignments made)... 275.47 c Sol. found (all assignments made)... 275.47 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.49 c Sol. found (all assignments made)... 275.50 c Sol. found (all assignments made)... 275.51 c Sol. found (all assignments made)... 275.51 c Sol. found (all assignments made)... 275.51 c Sol. found (all assignments made)... 275.51 c Sol. found (all assignments made)... 275.51 c Sol. found (all assignments made)... 275.52 c Sol. found (all assignments made)... 275.52 c Sol. found (all assignments made)... 275.52 c Sol. found (all assignments made)... 275.53 c Sol. found (all assignments made)... 275.54 c Sol. found (all assignments made)... 275.54 c Sol. found (all assignments made)... 275.54 c Sol. found (all assignments made)... 275.54 c Sol. found (all assignments made)... 275.55 c Sol. found (all assignments made)... 275.55 c Sol. found (all assignments made)... 275.56 c Sol. found (all assignments made)... 275.56 c Sol. found (all assignments made)... 275.57 c Sol. found (all assignments made)... 275.57 c Sol. found (all assignments made)... 275.57 c Sol. found (all assignments made)... 275.57 c Sol. found (all assignments made)... 275.58 c Sol. found (all assignments made)... 275.58 c Sol. found (all assignments made)... 275.59 c Sol. found (all assignments made)... 275.59 c Sol. found (all assignments made)... 275.59 c Sol. found (all assignments made)... 275.60 c Sol. found (all assignments made)... 275.60 c Sol. found (all assignments made)... 275.60 c Sol. found (all assignments made)... 275.60 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.62 c Sol. found (all assignments made)... 275.63 c Sol. found (all assignments made)... 275.63 c Sol. found (all assignments made)... 275.63 c Sol. found (all assignments made)... 275.63 c Sol. found (all assignments made)... 275.63 c Sol. found (all assignments made)... 275.64 c Sol. found (all assignments made)... 275.64 c Sol. found (all assignments made)... 275.64 c Sol. found (all assignments made)... 275.64 c Sol. found (all assignments made)... 275.65 c Sol. found (all assignments made)... 275.65 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 275.66 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.67 c Sol. found (all assignments made)... 275.69 c Sol. found (all assignments made)... 275.69 c Sol. found (all assignments made)... 275.69 c Sol. found (all assignments made)... 275.69 c Sol. found (all assignments made)... 275.69 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.70 c Sol. found (all assignments made)... 275.71 c Sol. found (all assignments made)... 275.71 c Sol. found (all assignments made)... 275.71 c Sol. found (all assignments made)... 275.72 c Sol. found (all assignments made)... 275.72 c Sol. found (all assignments made)... 275.73 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.74 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.75 c Sol. found (all assignments made)... 275.76 c Sol. found (all assignments made)... 275.76 c Sol. found (all assignments made)... 275.76 c Sol. found (all assignments made)... 275.76 c Sol. found (all assignments made)... 275.76 c Sol. found (all assignments made)... 275.77 c Sol. found (all assignments made)... 275.77 c Sol. found (all assignments made)... 275.77 c Sol. found (all assignments made)... 275.77 c Sol. found (all assignments made)... 275.77 c Sol. found (all assignments made)... 275.78 c Sol. found (all assignments made)... 275.78 c Sol. found (all assignments made)... 275.78 c Sol. found (all assignments made)... 275.78 c Sol. found (all assignments made)... 275.79 c Sol. found (all assignments made)... 275.80 c Sol. found (all assignments made)... 275.80 c Sol. found (all assignments made)... 275.80 c Sol. found (all assignments made)... 275.80 c Sol. found (all assignments made)... 276.25 c Restart #5 #Var: 5039 LB: 0 @ 276.07 387.99 c Restart #6 #Var: 5039 LB: 0 @ 387.77 510.19 c Sol. found (all assignments made)... 510.19 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.20 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 c Sol. found (all assignments made)... 510.21 o 66 510.21 c NEW SOLUTION FOUND: 66 @ 509.95 510.21 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.22 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.23 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.24 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.25 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.26 c Sol. found (all assignments made)... 510.27 c Sol. found (all assignments made)... 510.27 c Sol. found (all assignments made)... 510.27 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.28 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.29 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.30 c Sol. found (all assignments made)... 510.31 c Sol. found (all assignments made)... 510.31 c Sol. found (all assignments made)... 510.31 c Sol. found (all assignments made)... 510.31 c Sol. found (all assignments made)... 510.32 c Sol. found (all assignments made)... 510.32 c Sol. found (all assignments made)... 510.32 c Sol. found (all assignments made)... 510.32 c Sol. found (all assignments made)... 510.32 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.33 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.34 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.35 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.36 c Sol. found (all assignments made)... 510.37 c Sol. found (all assignments made)... 510.37 c Sol. found (all assignments made)... 510.37 c Sol. found (all assignments made)... 510.37 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.38 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.39 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.40 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.41 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.42 c Sol. found (all assignments made)... 510.43 c Sol. found (all assignments made)... 510.43 c Sol. found (all assignments made)... 510.44 c Sol. found (all assignments made)... 510.44 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.45 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.46 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.48 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.49 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.50 c Sol. found (all assignments made)... 510.51 c Sol. found (all assignments made)... 510.51 c Sol. found (all assignments made)... 510.51 c Sol. found (all assignments made)... 510.51 c Sol. found (all assignments made)... 510.51 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.52 c Sol. found (all assignments made)... 510.53 c Sol. found (all assignments made)... 510.53 c Sol. found (all assignments made)... 510.53 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.54 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.55 c Sol. found (all assignments made)... 510.56 c Sol. found (all assignments made)... 510.56 c Sol. found (all assignments made)... 510.56 c Sol. found (all assignments made)... 510.56 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.57 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.58 c Sol. found (all assignments made)... 510.59 c Sol. found (all assignments made)... 510.59 c Sol. found (all assignments made)... 510.59 c Sol. found (all assignments made)... 510.59 c Sol. found (all assignments made)... 510.59 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.60 c Sol. found (all assignments made)... 510.61 c Sol. found (all assignments made)... 510.61 c Sol. found (all assignments made)... 510.61 c Sol. found (all assignments made)... 510.61 c Sol. found (all assignments made)... 510.61 c Sol. found (all assignments made)... 510.62 c Sol. found (all assignments made)... 510.62 c Sol. found (all assignments made)... 510.62 c Sol. found (all assignments made)... 510.62 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.63 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.64 c Sol. found (all assignments made)... 510.65 c Sol. found (all assignments made)... 510.65 c Sol. found (all assignments made)... 510.65 c Sol. found (all assignments made)... 510.65 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.66 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.67 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.68 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.69 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.70 c Sol. found (all assignments made)... 510.71 c Sol. found (all assignments made)... 510.71 c Sol. found (all assignments made)... 510.71 c Sol. found (all assignments made)... 510.71 c Sol. found (all assignments made)... 510.71 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.72 c Sol. found (all assignments made)... 510.73 c Sol. found (all assignments made)... 510.73 c Sol. found (all assignments made)... 510.73 c Sol. found (all assignments made)... 510.73 c Sol. found (all assignments made)... 510.73 c Sol. found (all assignments made)... 510.74 c Sol. found (all assignments made)... 510.77 c Sol. found (all assignments made)... 510.78 c Sol. found (all assignments made)... 510.78 c Sol. found (all assignments made)... 510.78 c Sol. found (all assignments made)... 510.78 c Sol. found (all assignments made)... 510.78 c Sol. found (all assignments made)... 510.79 c Sol. found (all assignments made)... 510.79 c Sol. found (all assignments made)... 510.79 c Sol. found (all assignments made)... 510.81 c Sol. found (all assignments made)... 510.81 c Sol. found (all assignments made)... 510.81 c Sol. found (all assignments made)... 510.81 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.82 c Sol. found (all assignments made)... 510.83 c Sol. found (all assignments made)... 510.83 c Sol. found (all assignments made)... 510.83 c Sol. found (all assignments made)... 510.83 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.84 c Sol. found (all assignments made)... 510.85 c Sol. found (all assignments made)... 510.85 c Sol. found (all assignments made)... 510.85 c Sol. found (all assignments made)... 511.33 c Restart #7 #Var: 5039 LB: 0 @ 511.07 624.83 c Sol. found (all assignments made)... 624.83 c Sol. found (all assignments made)... 624.83 c Sol. found (all assignments made)... 624.83 c Sol. found (all assignments made)... 624.84 c Sol. found (all assignments made)... 624.84 c Sol. found (all assignments made)... 624.84 c Sol. found (all assignments made)... 624.84 c Sol. found (all assignments made)... 624.85 c Sol. found (all assignments made)... 624.85 c Sol. found (all assignments made)... 624.85 c Sol. found (all assignments made)... 624.85 c Sol. found (all assignments made)... 624.85 c Sol. found (all assignments made)... 624.86 c Sol. found (all assignments made)... 624.86 c Sol. found (all assignments made)... 624.86 c Sol. found (all assignments made)... 624.86 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.87 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.88 c Sol. found (all assignments made)... 624.89 c Sol. found (all assignments made)... 624.89 c Sol. found (all assignments made)... 624.89 c Sol. found (all assignments made)... 624.89 c Sol. found (all assignments made)... 624.89 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 624.91 c Sol. found (all assignments made)... 624.91 c Sol. found (all assignments made)... 624.91 c Sol. found (all assignments made)... 624.91 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.92 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.93 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.94 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.95 c Sol. found (all assignments made)... 624.98 c Sol. found (all assignments made)... 624.99 c Sol. found (all assignments made)... 625.00 c Sol. found (all assignments made)... 625.00 c Sol. found (all assignments made)... 625.03 c Sol. found (all assignments made)... 625.03 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.04 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.05 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.06 c Sol. found (all assignments made)... 625.07 c Sol. found (all assignments made)... 625.07 c Sol. found (all assignments made)... 625.07 c Sol. found (all assignments made)... 625.07 c Sol. found (all assignments made)... 625.09 c Sol. found (all assignments made)... 625.09 c Sol. found (all assignments made)... 625.10 c Sol. found (all assignments made)... 625.10 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.11 c Sol. found (all assignments made)... 625.12 c Sol. found (all assignments made)... 625.12 c Sol. found (all assignments made)... 625.12 c Sol. found (all assignments made)... 625.12 c Sol. found (all assignments made)... 625.12 c Sol. found (all assignments made)... 625.13 c Sol. found (all assignments made)... 625.13 c Sol. found (all assignments made)... 625.16 c Sol. found (all assignments made)... 625.16 c Sol. found (all assignments made)... 625.16 c Sol. found (all assignments made)... 625.17 c Sol. found (all assignments made)... 625.17 c Sol. found (all assignments made)... 625.17 c Sol. found (all assignments made)... 625.17 c Sol. found (all assignments made)... 625.17 c Sol. found (all assignments made)... 625.18 c Sol. found (all assignments made)... 625.19 c Sol. found (all assignments made)... 625.19 c Sol. found (all assignments made)... 625.20 c Sol. found (all assignments made)... 625.20 c Sol. found (all assignments made)... 625.21 c Sol. found (all assignments made)... 625.21 c Sol. found (all assignments made)... 625.21 c Sol. found (all assignments made)... 625.21 c Sol. found (all assignments made)... 625.21 c Sol. found (all assignments made)... 625.23 c Sol. found (all assignments made)... 625.23 c Sol. found (all assignments made)... 625.24 c Sol. found (all assignments made)... 625.24 c Sol. found (all assignments made)... 625.27 c Sol. found (all assignments made)... 625.27 c Sol. found (all assignments made)... 625.27 c Sol. found (all assignments made)... 625.29 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.32 c Sol. found (all assignments made)... 625.33 c Sol. found (all assignments made)... 625.33 c Sol. found (all assignments made)... 625.33 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.34 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.35 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.36 c Sol. found (all assignments made)... 625.37 c Sol. found (all assignments made)... 625.37 c Sol. found (all assignments made)... 625.37 c Sol. found (all assignments made)... 625.37 c Sol. found (all assignments made)... 625.37 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.39 c Sol. found (all assignments made)... 625.39 c Sol. found (all assignments made)... 625.39 c Sol. found (all assignments made)... 625.39 c Sol. found (all assignments made)... 625.39 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.40 c Sol. found (all assignments made)... 625.41 c Sol. found (all assignments made)... 625.41 c Sol. found (all assignments made)... 625.41 c Sol. found (all assignments made)... 625.41 c Sol. found (all assignments made)... 625.41 c Sol. found (all assignments made)... 625.42 c Sol. found (all assignments made)... 625.42 c Sol. found (all assignments made)... 625.42 c Sol. found (all assignments made)... 625.42 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.44 c Sol. found (all assignments made)... 625.44 c Sol. found (all assignments made)... 625.44 c Sol. found (all assignments made)... 625.44 c Sol. found (all assignments made)... 625.44 c Sol. found (all assignments made)... 625.45 c Sol. found (all assignments made)... 625.45 c Sol. found (all assignments made)... 625.45 c Sol. found (all assignments made)... 625.45 c Sol. found (all assignments made)... 625.45 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.46 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.48 c Sol. found (all assignments made)... 625.49 c Sol. found (all assignments made)... 625.49 c Sol. found (all assignments made)... 626.03 c Restart #8 #Var: 5039 LB: 0 @ 625.73 759.31 c Sol. found (all assignments made)... 759.31 o 64 759.31 c NEW SOLUTION FOUND: 64 @ 758.97 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.31 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.32 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.33 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.34 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.35 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.36 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.37 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.38 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.39 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.40 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.41 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.42 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.43 c Sol. found (all assignments made)... 759.44 c Sol. found (all assignments made)... 759.44 c Sol. found (all assignments made)... 759.44 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.45 c Sol. found (all assignments made)... 759.46 c Sol. found (all assignments made)... 759.46 c Sol. found (all assignments made)... 759.46 c Sol. found (all assignments made)... 759.46 c Sol. found (all assignments made)... 759.46 c Sol. found (all assignments made)... 759.47 c Sol. found (all assignments made)... 759.47 c Sol. found (all assignments made)... 759.47 c Sol. found (all assignments made)... 759.47 c Sol. found (all assignments made)... 759.47 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.48 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.49 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.50 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.51 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.52 c Sol. found (all assignments made)... 759.53 c Sol. found (all assignments made)... 759.53 c Sol. found (all assignments made)... 759.53 c Sol. found (all assignments made)... 759.53 c Sol. found (all assignments made)... 759.53 c Sol. found (all assignments made)... 759.54 c Sol. found (all assignments made)... 759.54 o 63 759.54 c NEW SOLUTION FOUND: 63 @ 759.2 759.54 c Sol. found (all assignments made)... 759.54 c Sol. found (all assignments made)... 759.54 c Sol. found (all assignments made)... 759.54 c Sol. found (all assignments made)... 759.54 c Sol. found (all assignments made)... 759.55 c Sol. found (all assignments made)... 759.55 c Sol. found (all assignments made)... 759.55 c Sol. found (all assignments made)... 759.55 c Sol. found (all assignments made)... 759.55 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.56 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.57 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.58 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.59 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.60 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.61 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.62 c Sol. found (all assignments made)... 759.63 c Sol. found (all assignments made)... 759.63 c Sol. found (all assignments made)... 759.63 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.64 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.65 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.66 c Sol. found (all assignments made)... 759.67 c Sol. found (all assignments made)... 759.67 c Sol. found (all assignments made)... 759.67 c Sol. found (all assignments made)... 759.67 c Sol. found (all assignments made)... 759.67 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.68 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.69 c Sol. found (all assignments made)... 759.70 c Sol. found (all assignments made)... 759.70 c Sol. found (all assignments made)... 759.70 c Sol. found (all assignments made)... 759.70 c Sol. found (all assignments made)... 759.70 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.71 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.72 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.73 c Sol. found (all assignments made)... 759.74 c Sol. found (all assignments made)... 759.74 c Sol. found (all assignments made)... 759.74 c Sol. found (all assignments made)... 759.75 c Sol. found (all assignments made)... 759.75 c Sol. found (all assignments made)... 759.75 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.76 c Sol. found (all assignments made)... 759.77 c Sol. found (all assignments made)... 759.77 c Sol. found (all assignments made)... 759.77 c Sol. found (all assignments made)... 759.77 c Sol. found (all assignments made)... 759.77 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.78 c Sol. found (all assignments made)... 759.79 c Sol. found (all assignments made)... 759.79 c Sol. found (all assignments made)... 759.79 c Sol. found (all assignments made)... 759.79 c Sol. found (all assignments made)... 759.80 c Sol. found (all assignments made)... 759.80 c Sol. found (all assignments made)... 759.80 c Sol. found (all assignments made)... 759.80 c Sol. found (all assignments made)... 759.80 c Sol. found (all assignments made)... 759.81 c Sol. found (all assignments made)... 759.81 c Sol. found (all assignments made)... 759.81 c Sol. found (all assignments made)... 759.81 c Sol. found (all assignments made)... 759.81 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.82 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.83 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.84 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.85 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.86 c Sol. found (all assignments made)... 759.87 c Sol. found (all assignments made)... 759.87 c Sol. found (all assignments made)... 759.87 c Sol. found (all assignments made)... 759.87 c Sol. found (all assignments made)... 759.87 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.88 c Sol. found (all assignments made)... 759.89 c Sol. found (all assignments made)... 759.89 c Sol. found (all assignments made)... 759.89 c Sol. found (all assignments made)... 759.89 c Sol. found (all assignments made)... 759.89 c Sol. found (all assignments made)... 759.90 c Sol. found (all assignments made)... 759.90 c Sol. found (all assignments made)... 759.90 c Sol. found (all assignments made)... 759.90 c Sol. found (all assignments made)... 759.92 c Sol. found (all assignments made)... 759.93 c Sol. found (all assignments made)... 759.93 c Sol. found (all assignments made)... 759.93 c Sol. found (all assignments made)... 759.93 c Sol. found (all assignments made)... 759.94 c Sol. found (all assignments made)... 759.94 c Sol. found (all assignments made)... 759.94 c Sol. found (all assignments made)... 759.95 c Sol. found (all assignments made)... 759.95 c Sol. found (all assignments made)... 759.95 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.96 c Sol. found (all assignments made)... 759.98 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 759.99 c Sol. found (all assignments made)... 760.00 c Sol. found (all assignments made)... 760.00 c Sol. found (all assignments made)... 760.00 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.01 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.02 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.03 c Sol. found (all assignments made)... 760.04 c Sol. found (all assignments made)... 760.04 c Sol. found (all assignments made)... 760.04 c Sol. found (all assignments made)... 760.04 c Sol. found (all assignments made)... 760.04 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.05 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.06 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.07 c Sol. found (all assignments made)... 760.08 c Sol. found (all assignments made)... 760.08 c Sol. found (all assignments made)... 760.08 c Sol. found (all assignments made)... 760.08 c Sol. found (all assignments made)... 760.09 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.10 c Sol. found (all assignments made)... 760.11 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.12 c Sol. found (all assignments made)... 760.13 c Sol. found (all assignments made)... 760.13 c Sol. found (all assignments made)... 760.13 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.14 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.15 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.16 c Sol. found (all assignments made)... 760.17 c Sol. found (all assignments made)... 760.17 c Sol. found (all assignments made)... 760.17 c Sol. found (all assignments made)... 760.17 c Sol. found (all assignments made)... 760.17 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.18 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.19 c Sol. found (all assignments made)... 760.20 c Sol. found (all assignments made)... 760.20 c Sol. found (all assignments made)... 760.20 c Sol. found (all assignments made)... 760.20 c Sol. found (all assignments made)... 760.20 c Sol. found (all assignments made)... 760.21 c Sol. found (all assignments made)... 760.21 c Sol. found (all assignments made)... 760.21 c Sol. found (all assignments made)... 760.21 c Sol. found (all assignments made)... 760.21 c Sol. found (all assignments made)... 760.23 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.24 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.25 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.26 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.27 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.28 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.29 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.30 c Sol. found (all assignments made)... 760.31 c Sol. found (all assignments made)... 760.31 c Sol. found (all assignments made)... 760.31 c Sol. found (all assignments made)... 760.31 c Sol. found (all assignments made)... 760.31 c Sol. found (all assignments made)... 760.32 c Sol. found (all assignments made)... 760.32 c Sol. found (all assignments made)... 760.32 c Sol. found (all assignments made)... 760.32 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.33 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.34 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.35 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.36 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.37 c Sol. found (all assignments made)... 760.99 c Restart #9 #Var: 5039 LB: 0 @ 760.65 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.75 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.76 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.77 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.78 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.79 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 o 62 881.80 c NEW SOLUTION FOUND: 62 @ 881.42 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.80 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.81 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.82 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.83 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.84 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.85 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.86 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.87 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.88 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.89 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.90 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.91 c Sol. found (all assignments made)... 881.92 c Sol. found (all assignments made)... 881.92 c Sol. found (all assignments made)... 881.93 c Sol. found (all assignments made)... 881.93 c Sol. found (all assignments made)... 881.93 c Sol. found (all assignments made)... 881.93 c Sol. found (all assignments made)... 881.94 c Sol. found (all assignments made)... 881.94 c Sol. found (all assignments made)... 881.94 c Sol. found (all assignments made)... 881.94 c Sol. found (all assignments made)... 881.94 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.95 c Sol. found (all assignments made)... 881.96 c Sol. found (all assignments made)... 881.96 c Sol. found (all assignments made)... 881.96 c Sol. found (all assignments made)... 881.96 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.97 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.98 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 881.99 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.00 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.01 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.02 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.03 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.04 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.06 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.07 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.08 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.09 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.11 c Sol. found (all assignments made)... 882.11 c Sol. found (all assignments made)... 882.12 c Sol. found (all assignments made)... 882.12 c Sol. found (all assignments made)... 882.12 c Sol. found (all assignments made)... 882.13 c Sol. found (all assignments made)... 882.13 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.14 c Sol. found (all assignments made)... 882.15 c Sol. found (all assignments made)... 882.16 c Sol. found (all assignments made)... 882.16 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.17 c Sol. found (all assignments made)... 882.18 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.19 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.20 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.21 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.22 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.23 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.24 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.25 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.26 c Sol. found (all assignments made)... 882.27 c Sol. found (all assignments made)... 882.27 c Sol. found (all assignments made)... 882.27 c Sol. found (all assignments made)... 882.29 c Sol. found (all assignments made)... 882.29 c Sol. found (all assignments made)... 882.29 c Sol. found (all assignments made)... 882.29 c Sol. found (all assignments made)... 882.29 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.30 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.31 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.32 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.33 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.34 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.35 c Sol. found (all assignments made)... 882.36 c Sol. found (all assignments made)... 882.36 c Sol. found (all assignments made)... 882.36 c Sol. found (all assignments made)... 882.36 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.37 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.38 c Sol. found (all assignments made)... 882.39 c Sol. found (all assignments made)... 882.39 c Sol. found (all assignments made)... 882.39 c Sol. found (all assignments made)... 882.39 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.40 c Sol. found (all assignments made)... 882.41 c Sol. found (all assignments made)... 882.41 c Sol. found (all assignments made)... 882.41 c Sol. found (all assignments made)... 882.41 c Sol. found (all assignments made)... 882.41 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.42 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.43 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.44 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.45 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.46 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.47 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.48 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.49 c Sol. found (all assignments made)... 882.50 c Sol. found (all assignments made)... 882.50 c Sol. found (all assignments made)... 882.50 c Sol. found (all assignments made)... 882.50 c Sol. found (all assignments made)... 882.50 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.51 c Sol. found (all assignments made)... 882.52 c Sol. found (all assignments made)... 882.52 c Sol. found (all assignments made)... 882.52 c Sol. found (all assignments made)... 882.52 c Sol. found (all assignments made)... 882.52 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.53 c Sol. found (all assignments made)... 882.54 c Sol. found (all assignments made)... 882.54 c Sol. found (all assignments made)... 882.54 c Sol. found (all assignments made)... 882.54 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.55 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.56 c Sol. found (all assignments made)... 882.57 c Sol. found (all assignments made)... 882.57 c Sol. found (all assignments made)... 882.57 c Sol. found (all assignments made)... 882.57 c Sol. found (all assignments made)... 882.58 c Sol. found (all assignments made)... 882.58 c Sol. found (all assignments made)... 882.58 c Sol. found (all assignments made)... 882.58 c Sol. found (all assignments made)... 882.58 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.59 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 882.60 c Sol. found (all assignments made)... 883.24 c Restart #10 #Var: 5039 LB: 0 @ 882.87 1006.02 c Sol. found (all assignments made)... 1006.02 o 61 1006.02 c NEW SOLUTION FOUND: 61 @ 1005.6 1006.02 c Sol. found (all assignments made)... 1006.02 c Sol. found (all assignments made)... 1006.02 c Sol. found (all assignments made)... 1006.02 c Sol. found (all assignments made)... 1006.02 c Sol. found (all assignments made)... 1006.02 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 o 60 1006.03 c NEW SOLUTION FOUND: 60 @ 1005.6 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.03 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.04 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.05 c Sol. found (all assignments made)... 1006.06 c Sol. found (all assignments made)... 1006.06 c Sol. found (all assignments made)... 1006.06 c Sol. found (all assignments made)... 1006.06 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.07 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.08 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.09 c Sol. found (all assignments made)... 1006.10 c Sol. found (all assignments made)... 1006.10 c Sol. found (all assignments made)... 1006.10 c Sol. found (all assignments made)... 1006.10 c Sol. found (all assignments made)... 1006.11 c Sol. found (all assignments made)... 1006.11 c Sol. found (all assignments made)... 1006.11 c Sol. found (all assignments made)... 1006.11 c Sol. found (all assignments made)... 1006.11 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.12 c Sol. found (all assignments made)... 1006.13 c Sol. found (all assignments made)... 1006.13 c Sol. found (all assignments made)... 1006.13 c Sol. found (all assignments made)... 1006.13 c Sol. found (all assignments made)... 1006.13 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.14 c Sol. found (all assignments made)... 1006.15 c Sol. found (all assignments made)... 1006.15 c Sol. found (all assignments made)... 1006.15 c Sol. found (all assignments made)... 1006.15 c Sol. found (all assignments made)... 1006.15 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.16 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.17 c Sol. found (all assignments made)... 1006.18 c Sol. found (all assignments made)... 1006.18 c Sol. found (all assignments made)... 1006.18 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.19 c Sol. found (all assignments made)... 1006.20 c Sol. found (all assignments made)... 1006.20 c Sol. found (all assignments made)... 1006.20 c Sol. found (all assignments made)... 1006.20 c Sol. found (all assignments made)... 1006.20 c Sol. found (all assignments made)... 1006.21 c Sol. found (all assignments made)... 1006.21 c Sol. found (all assignments made)... 1006.21 c Sol. found (all assignments made)... 1006.21 c Sol. found (all assignments made)... 1006.22 c Sol. found (all assignments made)... 1006.22 c Sol. found (all assignments made)... 1006.22 c Sol. found (all assignments made)... 1006.22 c Sol. found (all assignments made)... 1006.22 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.23 c Sol. found (all assignments made)... 1006.24 c Sol. found (all assignments made)... 1006.24 c Sol. found (all assignments made)... 1006.24 c Sol. found (all assignments made)... 1006.24 c Sol. found (all assignments made)... 1006.25 c Sol. found (all assignments made)... 1006.25 c Sol. found (all assignments made)... 1006.25 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.26 c Sol. found (all assignments made)... 1006.27 c Sol. found (all assignments made)... 1006.27 c Sol. found (all assignments made)... 1006.27 c Sol. found (all assignments made)... 1006.27 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.28 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.29 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.30 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.31 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.32 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.33 c Sol. found (all assignments made)... 1006.34 c Sol. found (all assignments made)... 1006.34 c Sol. found (all assignments made)... 1006.34 c Sol. found (all assignments made)... 1006.34 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.35 c Sol. found (all assignments made)... 1006.36 c Sol. found (all assignments made)... 1006.36 c Sol. found (all assignments made)... 1006.36 c Sol. found (all assignments made)... 1006.36 c Sol. found (all assignments made)... 1006.36 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.37 c Sol. found (all assignments made)... 1006.38 c Sol. found (all assignments made)... 1006.38 c Sol. found (all assignments made)... 1006.38 c Sol. found (all assignments made)... 1006.39 c Sol. found (all assignments made)... 1006.39 c Sol. found (all assignments made)... 1006.39 c Sol. found (all assignments made)... 1006.39 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.40 c Sol. found (all assignments made)... 1006.41 c Sol. found (all assignments made)... 1006.41 c Sol. found (all assignments made)... 1006.42 c Sol. found (all assignments made)... 1006.43 c Sol. found (all assignments made)... 1006.44 c Sol. found (all assignments made)... 1006.44 c Sol. found (all assignments made)... 1006.44 c Sol. found (all assignments made)... 1006.45 c Sol. found (all assignments made)... 1006.45 c Sol. found (all assignments made)... 1006.46 c Sol. found (all assignments made)... 1006.46 c Sol. found (all assignments made)... 1006.46 c Sol. found (all assignments made)... 1006.46 c Sol. found (all assignments made)... 1006.47 c Sol. found (all assignments made)... 1006.47 c Sol. found (all assignments made)... 1006.47 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.51 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.52 c Sol. found (all assignments made)... 1006.53 c Sol. found (all assignments made)... 1006.53 c Sol. found (all assignments made)... 1006.53 c Sol. found (all assignments made)... 1006.53 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.54 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.55 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.56 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.57 c Sol. found (all assignments made)... 1006.58 c Sol. found (all assignments made)... 1006.58 c Sol. found (all assignments made)... 1006.58 c Sol. found (all assignments made)... 1006.58 c Sol. found (all assignments made)... 1006.59 c Sol. found (all assignments made)... 1006.59 c Sol. found (all assignments made)... 1006.59 c Sol. found (all assignments made)... 1006.59 c Sol. found (all assignments made)... 1006.59 c Sol. found (all assignments made)... 1006.60 c Sol. found (all assignments made)... 1006.62 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.63 c Sol. found (all assignments made)... 1006.64 c Sol. found (all assignments made)... 1006.64 c Sol. found (all assignments made)... 1006.64 c Sol. found (all assignments made)... 1006.64 c Sol. found (all assignments made)... 1006.64 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.65 c Sol. found (all assignments made)... 1006.66 c Sol. found (all assignments made)... 1006.66 c Sol. found (all assignments made)... 1006.66 c Sol. found (all assignments made)... 1006.66 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.67 c Sol. found (all assignments made)... 1006.68 c Sol. found (all assignments made)... 1006.68 c Sol. found (all assignments made)... 1006.68 c Sol. found (all assignments made)... 1006.68 c Sol. found (all assignments made)... 1006.68 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.69 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.70 c Sol. found (all assignments made)... 1006.71 c Sol. found (all assignments made)... 1006.71 c Sol. found (all assignments made)... 1006.71 c Sol. found (all assignments made)... 1006.71 c Sol. found (all assignments made)... 1006.72 c Sol. found (all assignments made)... 1006.72 c Sol. found (all assignments made)... 1006.73 c Sol. found (all assignments made)... 1006.73 c Sol. found (all assignments made)... 1006.73 c Sol. found (all assignments made)... 1006.73 c Sol. found (all assignments made)... 1006.74 c Sol. found (all assignments made)... 1006.74 c Sol. found (all assignments made)... 1006.74 c Sol. found (all assignments made)... 1006.74 c Sol. found (all assignments made)... 1006.74 c Sol. found (all assignments made)... 1006.75 c Sol. found (all assignments made)... 1006.75 c Sol. found (all assignments made)... 1006.75 c Sol. found (all assignments made)... 1006.75 c Sol. found (all assignments made)... 1006.75 c Sol. found (all assignments made)... 1006.76 c Sol. found (all assignments made)... 1006.76 c Sol. found (all assignments made)... 1006.77 c Sol. found (all assignments made)... 1006.77 c Sol. found (all assignments made)... 1006.77 c Sol. found (all assignments made)... 1006.78 c Sol. found (all assignments made)... 1006.78 c Sol. found (all assignments made)... 1006.78 c Sol. found (all assignments made)... 1006.78 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.79 c Sol. found (all assignments made)... 1006.80 c Sol. found (all assignments made)... 1006.80 c Sol. found (all assignments made)... 1006.80 c Sol. found (all assignments made)... 1006.80 c Sol. found (all assignments made)... 1006.81 c Sol. found (all assignments made)... 1006.81 c Sol. found (all assignments made)... 1006.81 c Sol. found (all assignments made)... 1006.81 c Sol. found (all assignments made)... 1006.82 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.83 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.84 c Sol. found (all assignments made)... 1006.85 c Sol. found (all assignments made)... 1006.85 c Sol. found (all assignments made)... 1006.85 c Sol. found (all assignments made)... 1006.85 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.86 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.87 c Sol. found (all assignments made)... 1006.88 c Sol. found (all assignments made)... 1006.88 c Sol. found (all assignments made)... 1006.88 c Sol. found (all assignments made)... 1006.88 c Sol. found (all assignments made)... 1006.89 c Sol. found (all assignments made)... 1006.89 c Sol. found (all assignments made)... 1006.89 c Sol. found (all assignments made)... 1006.89 c Sol. found (all assignments made)... 1006.89 c Sol. found (all assignments made)... 1007.53 c Restart #11 #Var: 5039 LB: 0 @ 1007.1 1120.42 c Sol. found (all assignments made)... 1120.42 c Sol. found (all assignments made)... 1120.42 c Sol. found (all assignments made)... 1120.42 c Sol. found (all assignments made)... 1120.42 c Sol. found (all assignments made)... 1120.42 c Sol. found (all assignments made)... 1120.43 c Sol. found (all assignments made)... 1120.43 c Sol. found (all assignments made)... 1120.43 c Sol. found (all assignments made)... 1120.43 c Sol. found (all assignments made)... 1120.43 c Sol. found (all assignments made)... 1120.44 c Sol. found (all assignments made)... 1120.44 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.45 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.46 c Sol. found (all assignments made)... 1120.47 c Sol. found (all assignments made)... 1120.47 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.48 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.49 c Sol. found (all assignments made)... 1120.50 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.51 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.52 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.53 c Sol. found (all assignments made)... 1120.54 c Sol. found (all assignments made)... 1120.54 c Sol. found (all assignments made)... 1120.54 c Sol. found (all assignments made)... 1120.54 c Sol. found (all assignments made)... 1120.54 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.55 c Sol. found (all assignments made)... 1120.56 c Sol. found (all assignments made)... 1120.56 c Sol. found (all assignments made)... 1120.57 c Sol. found (all assignments made)... 1120.57 c Sol. found (all assignments made)... 1120.57 c Sol. found (all assignments made)... 1120.57 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.58 c Sol. found (all assignments made)... 1120.59 c Sol. found (all assignments made)... 1120.59 c Sol. found (all assignments made)... 1120.60 c Sol. found (all assignments made)... 1120.60 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.61 c Sol. found (all assignments made)... 1120.62 c Sol. found (all assignments made)... 1120.62 c Sol. found (all assignments made)... 1120.62 c Sol. found (all assignments made)... 1120.62 c Sol. found (all assignments made)... 1120.62 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.63 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.64 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.65 c Sol. found (all assignments made)... 1120.66 c Sol. found (all assignments made)... 1120.66 c Sol. found (all assignments made)... 1120.66 c Sol. found (all assignments made)... 1120.66 c Sol. found (all assignments made)... 1120.67 c Sol. found (all assignments made)... 1120.67 c Sol. found (all assignments made)... 1120.67 c Sol. found (all assignments made)... 1120.67 c Sol. found (all assignments made)... 1120.67 c Sol. found (all assignments made)... 1120.68 c Sol. found (all assignments made)... 1120.68 c Sol. found (all assignments made)... 1120.69 c Sol. found (all assignments made)... 1120.69 c Sol. found (all assignments made)... 1120.70 c Sol. found (all assignments made)... 1120.70 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.71 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.72 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.73 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.75 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.76 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.77 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.78 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.79 c Sol. found (all assignments made)... 1120.80 c Sol. found (all assignments made)... 1120.80 c Sol. found (all assignments made)... 1120.80 c Sol. found (all assignments made)... 1120.80 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.81 c Sol. found (all assignments made)... 1120.82 c Sol. found (all assignments made)... 1120.82 c Sol. found (all assignments made)... 1120.82 c Sol. found (all assignments made)... 1120.83 c Sol. found (all assignments made)... 1120.83 c Sol. found (all assignments made)... 1120.83 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.84 c Sol. found (all assignments made)... 1120.85 c Sol. found (all assignments made)... 1120.85 c Sol. found (all assignments made)... 1120.85 c Sol. found (all assignments made)... 1120.85 c Sol. found (all assignments made)... 1120.86 c Sol. found (all assignments made)... 1120.86 c Sol. found (all assignments made)... 1120.86 c Sol. found (all assignments made)... 1120.86 c Sol. found (all assignments made)... 1120.87 c Sol. found (all assignments made)... 1120.88 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.89 c Sol. found (all assignments made)... 1120.90 c Sol. found (all assignments made)... 1120.90 c Sol. found (all assignments made)... 1120.91 c Sol. found (all assignments made)... 1120.91 c Sol. found (all assignments made)... 1120.91 c Sol. found (all assignments made)... 1120.91 c Sol. found (all assignments made)... 1120.91 c Sol. found (all assignments made)... 1120.92 c Sol. found (all assignments made)... 1120.95 c Sol. found (all assignments made)... 1120.95 c Sol. found (all assignments made)... 1120.95 c Sol. found (all assignments made)... 1120.95 c Sol. found (all assignments made)... 1120.95 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.96 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.97 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.98 c Sol. found (all assignments made)... 1120.99 c Sol. found (all assignments made)... 1120.99 c Sol. found (all assignments made)... 1120.99 c Sol. found (all assignments made)... 1120.99 c Sol. found (all assignments made)... 1121.00 c Sol. found (all assignments made)... 1121.00 c Sol. found (all assignments made)... 1121.00 c Sol. found (all assignments made)... 1121.00 c Sol. found (all assignments made)... 1121.00 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.01 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.03 c Sol. found (all assignments made)... 1121.03 c Sol. found (all assignments made)... 1121.03 c Sol. found (all assignments made)... 1121.03 c Sol. found (all assignments made)... 1121.04 c Sol. found (all assignments made)... 1121.04 c Sol. found (all assignments made)... 1121.04 c Sol. found (all assignments made)... 1121.04 c Sol. found (all assignments made)... 1121.04 c Sol. found (all assignments made)... 1121.05 c Sol. found (all assignments made)... 1121.05 c Sol. found (all assignments made)... 1121.05 c Sol. found (all assignments made)... 1121.06 c Sol. found (all assignments made)... 1121.06 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.07 c Sol. found (all assignments made)... 1121.08 c Sol. found (all assignments made)... 1121.08 c Sol. found (all assignments made)... 1121.08 c Sol. found (all assignments made)... 1121.09 c Sol. found (all assignments made)... 1121.09 c Sol. found (all assignments made)... 1121.09 c Sol. found (all assignments made)... 1121.10 c Sol. found (all assignments made)... 1121.11 c Sol. found (all assignments made)... 1121.11 c Sol. found (all assignments made)... 1121.11 c Sol. found (all assignments made)... 1121.12 c Sol. found (all assignments made)... 1121.12 c Sol. found (all assignments made)... 1121.12 c Sol. found (all assignments made)... 1121.12 c Sol. found (all assignments made)... 1121.13 c Sol. found (all assignments made)... 1121.13 c Sol. found (all assignments made)... 1121.13 c Sol. found (all assignments made)... 1121.14 c Sol. found (all assignments made)... 1121.14 c Sol. found (all assignments made)... 1121.14 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.15 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.16 c Sol. found (all assignments made)... 1121.17 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.18 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.19 c Sol. found (all assignments made)... 1121.20 c Sol. found (all assignments made)... 1121.20 c Sol. found (all assignments made)... 1121.20 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.21 c Sol. found (all assignments made)... 1121.22 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.23 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.24 c Sol. found (all assignments made)... 1121.93 c Restart #12 #Var: 5039 LB: 0 @ 1121.5 1244.65 c Restart #13 #Var: 5039 LB: 0 @ 1244.2 1374.42 c Sol. found (all assignments made)... 1374.42 c Sol. found (all assignments made)... 1374.46 c Sol. found (all assignments made)... 1374.46 c Sol. found (all assignments made)... 1374.46 c Sol. found (all assignments made)... 1374.46 c Sol. found (all assignments made)... 1374.47 c Sol. found (all assignments made)... 1374.47 c Sol. found (all assignments made)... 1374.52 c Sol. found (all assignments made)... 1374.52 c Sol. found (all assignments made)... 1374.52 c Sol. found (all assignments made)... 1374.52 c Sol. found (all assignments made)... 1374.53 c Sol. found (all assignments made)... 1374.53 c Sol. found (all assignments made)... 1374.54 c Sol. found (all assignments made)... 1374.54 c Sol. found (all assignments made)... 1374.54 c Sol. found (all assignments made)... 1374.55 c Sol. found (all assignments made)... 1374.55 c Sol. found (all assignments made)... 1374.55 c Sol. found (all assignments made)... 1374.56 c Sol. found (all assignments made)... 1374.56 c Sol. found (all assignments made)... 1374.58 c Sol. found (all assignments made)... 1374.58 c Sol. found (all assignments made)... 1374.59 c Sol. found (all assignments made)... 1374.60 c Sol. found (all assignments made)... 1374.60 c Sol. found (all assignments made)... 1374.60 c Sol. found (all assignments made)... 1374.60 c Sol. found (all assignments made)... 1374.60 c Sol. found (all assignments made)... 1374.61 c Sol. found (all assignments made)... 1374.62 c Sol. found (all assignments made)... 1374.62 c Sol. found (all assignments made)... 1374.62 c Sol. found (all assignments made)... 1374.62 c Sol. found (all assignments made)... 1374.66 c Sol. found (all assignments made)... 1374.68 c Sol. found (all assignments made)... 1374.68 c Sol. found (all assignments made)... 1374.69 c Sol. found (all assignments made)... 1374.69 c Sol. found (all assignments made)... 1374.69 c Sol. found (all assignments made)... 1374.69 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.70 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.71 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.72 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.73 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.74 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.75 c Sol. found (all assignments made)... 1374.76 c Sol. found (all assignments made)... 1374.76 c Sol. found (all assignments made)... 1374.76 o 59 1374.76 c NEW SOLUTION FOUND: 59 @ 1374.2 1374.76 c Sol. found (all assignments made)... 1374.76 c Sol. found (all assignments made)... 1374.77 c Sol. found (all assignments made)... 1374.77 c Sol. found (all assignments made)... 1374.77 c Sol. found (all assignments made)... 1374.77 c Sol. found (all assignments made)... 1374.78 c Sol. found (all assignments made)... 1374.78 c Sol. found (all assignments made)... 1374.79 c Sol. found (all assignments made)... 1374.79 c Sol. found (all assignments made)... 1374.87 c Sol. found (all assignments made)... 1374.88 c Sol. found (all assignments made)... 1374.88 c Sol. found (all assignments made)... 1374.88 c Sol. found (all assignments made)... 1374.89 c Sol. found (all assignments made)... 1374.92 c Sol. found (all assignments made)... 1374.93 c Sol. found (all assignments made)... 1374.93 c Sol. found (all assignments made)... 1374.97 c Sol. found (all assignments made)... 1374.98 c Sol. found (all assignments made)... 1375.03 c Sol. found (all assignments made)... 1375.03 c Sol. found (all assignments made)... 1375.56 c Sol. found (all assignments made)... 1375.56 c Sol. found (all assignments made)... 1375.56 c Sol. found (all assignments made)... 1375.57 c Sol. found (all assignments made)... 1375.58 c Sol. found (all assignments made)... 1375.68 c Sol. found (all assignments made)... 1375.76 c Sol. found (all assignments made)... 1376.66 c Restart #14 #Var: 5039 LB: 0 @ 1376.1 1515.74 c Restart #15 #Var: 5039 LB: 0 @ 1515.2 1665.11 c Sol. found (all assignments made)... 1665.12 c Sol. found (all assignments made)... 1665.12 c Sol. found (all assignments made)... 1665.13 c Sol. found (all assignments made)... 1665.14 c Sol. found (all assignments made)... 1665.14 c Sol. found (all assignments made)... 1665.14 c Sol. found (all assignments made)... 1665.14 c Sol. found (all assignments made)... 1665.15 c Sol. found (all assignments made)... 1665.15 c Sol. found (all assignments made)... 1665.16 c Sol. found (all assignments made)... 1665.17 c Sol. found (all assignments made)... 1665.17 c Sol. found (all assignments made)... 1665.17 c Sol. found (all assignments made)... 1665.17 c Sol. found (all assignments made)... 1665.18 c Sol. found (all assignments made)... 1665.18 c Sol. found (all assignments made)... 1665.19 c Sol. found (all assignments made)... 1665.19 c Sol. found (all assignments made)... 1665.19 c Sol. found (all assignments made)... 1665.19 c Sol. found (all assignments made)... 1665.22 c Sol. found (all assignments made)... 1665.22 c Sol. found (all assignments made)... 1667.07 c Sol. found (all assignments made)... 1669.01 c Restart #16 #Var: 5039 LB: 0 @ 1668.4 1801.22 c Caught signal: 15 1801.22 s SATISFIABLE 1801.22 c Cost: 59 1801.22 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.22 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.22 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.22 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.22 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1801.22 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1801.22 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1801.22 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 1801.22 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1801.22 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1801.22 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1801.22 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1801.22 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1801.22 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1801.22 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1801.22 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1801.22 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1801.22 v -x378 -x379 -x380 x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1801.22 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1801.22 v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1801.22 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1801.22 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1801.22 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1801.22 v -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1801.22 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 1801.22 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 1801.22 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1801.22 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 x606 -x607 -x608 1801.22 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1801.22 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1801.22 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1801.22 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1801.22 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1801.22 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1801.22 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1801.22 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1801.22 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 1801.22 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1801.22 v -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1801.22 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1801.22 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1801.22 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1801.22 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1801.22 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1801.22 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1801.22 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1801.22 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1801.22 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1801.22 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1801.22 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1801.22 v x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1801.22 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1801.22 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1801.22 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1801.22 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1801.22 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1801.22 v -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1801.22 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1801.22 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1801.22 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1801.22 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 1801.22 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1801.22 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1801.22 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1801.22 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1801.22 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1801.22 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1801.22 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1801.22 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1801.22 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1801.22 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1801.22 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 1801.22 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1801.22 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1801.22 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1801.22 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1801.22 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1801.22 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1801.22 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1801.22 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1801.22 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1801.22 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1801.22 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1801.22 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1801.22 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1801.22 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 1801.22 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1801.22 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1801.22 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1801.22 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1801.22 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 1801.22 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1801.22 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1801.22 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1801.22 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1801.22 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1801.22 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1801.22 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1801.22 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1801.22 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1801.22 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1801.22 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1801.22 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1801.22 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1801.22 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1801.22 v -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1801.22 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1801.22 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1801.22 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1801.22 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1801.22 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1801.22 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1801.22 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1801.22 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1801.22 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1801.22 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 1801.22 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1801.22 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1801.22 v -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1801.22 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1801.22 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1801.22 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1801.22 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1801.22 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1801.22 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1801.22 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1801.22 v -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1801.22 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1801.22 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1801.22 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1801.22 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1801.22 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1801.22 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1801.22 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1801.22 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1801.22 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1801.22 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1801.22 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1801.22 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1801.22 v -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1801.22 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1801.22 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 1801.22 v x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1801.22 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1801.22 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1801.22 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1801.22 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1801.22 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1801.22 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1801.22 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1801.22 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1801.22 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1801.22 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1801.22 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1801.22 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1801.22 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1801.22 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1801.22 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 1801.22 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1801.22 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1801.22 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1801.22 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1801.22 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 1801.22 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1801.22 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1801.22 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1801.22 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1801.22 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1801.22 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1801.22 v -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1801.22 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1801.22 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1801.22 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1801.22 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1801.22 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1801.22 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1801.22 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1801.22 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1801.22 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1801.22 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1801.22 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1801.22 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1801.22 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1801.22 v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 1801.22 v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 1801.22 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1801.22 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 1801.22 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 1801.22 v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 1801.22 v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 1801.22 v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1801.22 v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 1801.22 v -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 1801.22 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1801.22 v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 1801.22 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1801.22 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1801.22 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1801.22 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 1801.22 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1801.22 v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 1801.22 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 1801.22 v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1801.22 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1801.22 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1801.22 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1801.22 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1801.22 v -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1801.22 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1801.22 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1801.22 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1801.22 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1801.22 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1801.22 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1801.22 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1801.22 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1801.22 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1801.22 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1801.22 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1801.22 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1801.22 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 1801.22 v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 1801.22 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1801.22 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1801.22 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1801.22 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 1801.22 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1801.22 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1801.22 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1801.22 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1801.22 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1801.22 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1801.22 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 1801.22 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1801.22 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1801.22 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1801.22 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 1801.22 v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1801.22 v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 1801.22 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1801.22 v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 1801.22 v -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 1801.22 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 1801.22 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 1801.22 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1801.22 v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 1801.22 v -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 1801.22 v -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 1801.22 v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 1801.22 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 1801.22 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 1801.22 v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 1801.22 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 1801.22 v -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 1801.22 v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 1801.22 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 1801.22 v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 1801.22 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 1801.22 v -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 1801.22 v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 1801.22 v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 1801.22 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 1801.22 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 1801.22 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 1801.22 v -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 1801.22 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1801.22 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 1801.22 v -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 1801.22 v -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 1801.22 v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 1801.22 v x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 1801.22 v -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 1801.22 v -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 1801.22 v -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 1801.22 v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 1801.22 v -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 1801.22 v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1801.22 v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 1801.22 v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 1801.22 v -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 1801.22 v -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 1801.22 v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 1801.22 v -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1801.22 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 1801.22 v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 1801.22 v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 1801.22 v -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 1801.22 v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 1801.22 v -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 1801.22 v -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 1801.22 v -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 1801.22 v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 1801.22 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1801.22 v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1801.22 c Exit Code: 10
OK 59
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/node33/watcher-50294-1154095196 -o ROOT/results/node33/solver-50294-1154095196 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/50294-1154095196/instance-50294-1154095196.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1370344/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=4624 CPUtime=0 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 74 0 0 0 0 0 0 0 19 0 1 0 156394552 4734976 55 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 1 0 0 /proc/25169/statm: 1164 57 42 55 0 44 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1275312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=99684 CPUtime=9.97 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24143 0 0 0 984 13 0 0 25 0 1 0 156394552 102076416 24057 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 24921 24057 288 55 0 23813 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 99684 [startup+20.0093 s] /proc/loadavg: 0.94 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1275504/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=99684 CPUtime=19.98 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24143 0 0 0 1985 13 0 0 25 0 1 0 156394552 102076416 24057 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 24921 24057 288 55 0 23813 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 99684 [startup+30.0156 s] /proc/loadavg: 0.95 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1275632/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=99684 CPUtime=29.99 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24143 0 0 0 2985 14 0 0 25 0 1 0 156394552 102076416 24057 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 24921 24057 288 55 0 23813 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 99684 [startup+40.0219 s] /proc/loadavg: 0.95 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1274736/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=100612 CPUtime=39.99 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24376 0 0 0 3985 14 0 0 25 0 1 0 156394552 103026688 24290 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 25153 24290 288 55 0 24045 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 100612 [startup+50.0282 s] /proc/loadavg: 0.96 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1273776/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=101540 CPUtime=49.99 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24661 0 0 0 4985 14 0 0 25 0 1 0 156394552 103976960 24536 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 25385 24536 296 55 0 24277 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 101540 [startup+60.0345 s] /proc/loadavg: 0.97 0.97 0.99 2/64 25169 /proc/meminfo: memFree=1272880/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=102464 CPUtime=59.99 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 24890 0 0 0 5985 14 0 0 25 0 1 0 156394552 104923136 24765 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 25616 24765 296 55 0 24508 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 102464 [startup+70.0418 s] /proc/loadavg: 0.97 0.97 0.99 2/70 25235 /proc/meminfo: memFree=1262656/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=111680 CPUtime=69.98 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 27142 0 0 0 6981 17 0 0 25 0 1 0 156394552 114360320 27003 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 27920 27003 297 55 0 26812 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 111680 [startup+80.049 s] /proc/loadavg: 0.98 0.97 0.99 2/70 25285 /proc/meminfo: memFree=1260160/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=114208 CPUtime=79.95 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 27752 0 0 0 7978 17 0 0 25 0 1 0 156394552 116948992 27611 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 28552 27611 297 55 0 27444 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 114208 [startup+90.0553 s] /proc/loadavg: 0.98 0.97 0.99 2/70 25351 /proc/meminfo: memFree=1255736/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=89.92 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 8974 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 118744 [startup+100.062 s] /proc/loadavg: 0.98 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256808/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=99.92 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 9974 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 118744 [startup+110.069 s] /proc/loadavg: 0.98 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256880/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=109.92 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 10974 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 118744 [startup+120.075 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256880/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=119.93 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 11975 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 118744 [startup+130.081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256944/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=129.93 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 12975 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 118744 [startup+140.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256944/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=139.93 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 13975 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 118744 [startup+150.094 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256944/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=149.94 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 14976 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 118744 [startup+160.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1256880/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=118744 CPUtime=159.94 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 28851 0 0 0 15976 18 0 0 25 0 1 0 156394552 121593856 28706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 29686 28706 297 55 0 28578 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 118744 [startup+170.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1234672/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=141756 CPUtime=169.94 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 34423 0 0 0 16973 21 0 0 25 0 1 0 156394552 145158144 34248 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 35439 34248 297 55 0 34331 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 141756 [startup+180.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1234672/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=141756 CPUtime=179.94 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 34423 0 0 0 17973 21 0 0 25 0 1 0 156394552 145158144 34248 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 35439 34248 297 55 0 34331 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 141756 [startup+190.119 s] /proc/loadavg: 0.99 0.97 0.99 3/64 25371 /proc/meminfo: memFree=1234672/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=141756 CPUtime=189.95 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 34423 0 0 0 18973 22 0 0 25 0 1 0 156394552 145158144 34248 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 35439 34248 297 55 0 34331 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 141756 [startup+200.125 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1234672/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=141756 CPUtime=199.96 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 34423 0 0 0 19974 22 0 0 25 0 1 0 156394552 145158144 34248 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 35439 34248 297 55 0 34331 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 141756 [startup+210.132 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 ################ # More data... # ################ /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178103 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 263876 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1782.47 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178203 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 263876 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1783.48 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178304 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 263876 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1784.48 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178404 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 263876 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1785.49 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178505 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 263876 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1786.49 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178605 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 263876 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1787.5 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178706 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 263876 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1788.5 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178806 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 263876 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1789.51 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 178907 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649237 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 263876 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1790.51 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179007 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 263876 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1791.51 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179107 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 263876 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1792.52 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179208 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 263876 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1793.52 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179308 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 263876 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1794.53 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179409 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 263876 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1795.53 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179509 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 263876 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1796.54 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179610 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 263876 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1797.54 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179710 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 263876 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1798.55 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179811 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 263876 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1799.55 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 179911 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 263876 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1800.56 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 180012 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 263876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25371 /proc/meminfo: memFree=1115312/2055920 swapFree=4183192/4192956 [pid=25169] ppid=25167 vsize=263876 CPUtime=1800.56 /proc/25169/stat : 25169 (bsolo) R 25167 25169 25120 0 -1 0 64714 0 0 0 180012 44 0 0 25 0 1 0 156394552 270209024 63979 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25169/statm: 65969 63979 297 55 0 64861 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 263876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1801.27 CPU time (s): 1800.62 CPU user time (s): 1800.13 CPU system time (s): 0.487925 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (Kb): 263876 The end
Begin job on node33 on Fri Jul 28 13:59:56 UTC 2006 FILE ID= 50294-1154095196 PBS_JOBID= 885877 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/50294-1154095196/instance-50294-1154095196.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-50294-1154095196 -o ROOT/results/node33/solver-50294-1154095196 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/50294-1154095196/instance-50294-1154095196.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 724259512 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.218 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.218 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: 1370552 kB Buffers: 33876 kB Cached: 582940 kB SwapCached: 3616 kB Active: 52460 kB Inactive: 572980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1370552 kB SwapTotal: 4192956 kB SwapFree: 4183192 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14680 kB Slab: 45900 kB Committed_AS: 712380 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Fri Jul 28 14:29:57 UTC 2006