Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 4978 | 1800.09 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air05.opb |
MD5SUM | 2b7e03ead6dfd4071784021865da4458 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4978 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4324 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 360 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527812 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 360 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527812 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.39 c Initial problem consists of 7195 variables and 852 constraints. 0.44 c No problem reductions applied in OPT. instance. 0.44 c preprocess terminated. Elapsed time: 0.439 0.44 c After prepocess the problem consists of 7195 variables and 766 constraints. 0.44 c Initial Lower Bound: 0 1.31 c Restart #1 #Var: 7195 LB: 0 @ 1.307 2.35 c Restart #2 #Var: 7195 LB: 0 @ 2.348 3.67 c Restart #3 #Var: 7195 LB: 0 @ 3.661 5.34 c Restart #4 #Var: 7195 LB: 0 @ 5.333 7.04 c Restart #5 #Var: 7195 LB: 0 @ 7.036 7.66 c Sol. found (all assignments made)... 7.66 o 6384 7.66 c NEW SOLUTION FOUND: 6384 @ 7.656 7.66 c Sol. found (all assignments made)... 7.66 o 6378 7.66 c NEW SOLUTION FOUND: 6378 @ 7.658 7.67 c Sol. found (all assignments made)... 7.67 o 6278 7.67 c NEW SOLUTION FOUND: 6278 @ 7.66 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 o 6273 7.67 c NEW SOLUTION FOUND: 6273 @ 7.663 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 o 6236 7.67 c NEW SOLUTION FOUND: 6236 @ 7.664 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 o 6209 7.68 c NEW SOLUTION FOUND: 6209 @ 7.669 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 o 6126 7.68 c NEW SOLUTION FOUND: 6126 @ 7.671 7.68 c Sol. found (all assignments made)... 7.68 o 6119 7.68 c NEW SOLUTION FOUND: 6119 @ 7.672 7.68 c Sol. found (all assignments made)... 7.68 o 6104 7.68 c NEW SOLUTION FOUND: 6104 @ 7.673 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 o 6100 7.70 c NEW SOLUTION FOUND: 6100 @ 7.694 7.70 c Sol. found (all assignments made)... 7.70 o 6085 7.70 c NEW SOLUTION FOUND: 6085 @ 7.696 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 o 6059 7.73 c NEW SOLUTION FOUND: 6059 @ 7.727 7.74 c Sol. found (all assignments made)... 7.74 o 5931 7.74 c NEW SOLUTION FOUND: 5931 @ 7.729 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 o 5924 7.79 c NEW SOLUTION FOUND: 5924 @ 7.783 7.79 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 o 5893 7.87 c NEW SOLUTION FOUND: 5893 @ 7.867 7.87 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 o 5869 7.98 c NEW SOLUTION FOUND: 5869 @ 7.973 8.15 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 o 5832 9.34 c NEW SOLUTION FOUND: 5832 @ 9.338 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 o 5819 9.35 c NEW SOLUTION FOUND: 5819 @ 9.342 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.81 c Sol. found (all assignments made)... 10.81 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.22 c Restart #6 #Var: 7195 LB: 0 @ 11.206 13.24 c Restart #7 #Var: 7195 LB: 0 @ 13.229 15.03 c Restart #8 #Var: 7195 LB: 0 @ 15.02 23.56 c Restart #9 #Var: 7195 LB: 0 @ 23.549 25.83 c Sol. found (all assignments made)... 25.83 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.84 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.87 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.90 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.91 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.93 c Sol. found (all assignments made)... 25.93 c Sol. found (all assignments made)... 25.94 c Sol. found (all assignments made)... 25.94 c Sol. found (all assignments made)... 31.99 c CHANGE to MIS mode... UB: 5819 MIS: 919 LPR: 3502 (5.887) Diff: 0.26242 31.99 c Restart #0 #Var: 7195 LB: 0 @ 31.969 33.12 c Restart #1 #Var: 7195 LB: 919 @ 33.099 34.73 c Restart #2 #Var: 7194 LB: 919 @ 34.711 36.53 c Restart #3 #Var: 7193 LB: 919 @ 36.513 37.80 c Restart #4 #Var: 7192 LB: 919 @ 37.781 38.42 c Sol. found (all assignments made)... 38.42 o 5460 38.42 c NEW SOLUTION FOUND: 5460 @ 38.405 38.43 c Sol. found (all assignments made)... 38.43 o 5454 38.43 c NEW SOLUTION FOUND: 5454 @ 38.407 38.43 c Sol. found (all assignments made)... 38.43 c Sol. found (all assignments made)... 38.43 o 5435 38.43 c NEW SOLUTION FOUND: 5435 @ 38.41 38.43 c Sol. found (all assignments made)... 38.43 o 5428 38.43 c NEW SOLUTION FOUND: 5428 @ 38.411 38.43 c Sol. found (all assignments made)... 38.43 o 5422 38.43 c NEW SOLUTION FOUND: 5422 @ 38.413 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 o 5414 38.44 c NEW SOLUTION FOUND: 5414 @ 38.42 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 o 5389 38.58 c NEW SOLUTION FOUND: 5389 @ 38.556 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.60 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.61 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.63 c Sol. found (all assignments made)... 38.65 c Sol. found (all assignments made)... 38.65 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.68 c Sol. found (all assignments made)... 38.68 c Sol. found (all assignments made)... 38.69 c Sol. found (all assignments made)... 38.69 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.74 c Sol. found (all assignments made)... 38.74 c Sol. found (all assignments made)... 38.74 c Sol. found (all assignments made)... 38.74 c Sol. found (all assignments made)... 38.79 c Sol. found (all assignments made)... 38.79 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 o 5388 38.80 c NEW SOLUTION FOUND: 5388 @ 38.781 38.80 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 o 5384 38.81 c NEW SOLUTION FOUND: 5384 @ 38.788 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.82 c Sol. found (all assignments made)... 38.82 c Sol. found (all assignments made)... 38.82 c Sol. found (all assignments made)... 38.82 c Sol. found (all assignments made)... 38.83 c Sol. found (all assignments made)... 38.83 c Sol. found (all assignments made)... 38.83 c Sol. found (all assignments made)... 38.83 c Sol. found (all assignments made)... 38.94 c Sol. found (all assignments made)... 38.94 c Sol. found (all assignments made)... 38.94 c Sol. found (all assignments made)... 38.94 c Sol. found (all assignments made)... 38.96 c Sol. found (all assignments made)... 38.96 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.98 c Sol. found (all assignments made)... 38.98 o 5377 38.98 c NEW SOLUTION FOUND: 5377 @ 38.962 38.99 c Sol. found (all assignments made)... 38.99 o 5364 38.99 c NEW SOLUTION FOUND: 5364 @ 38.964 38.99 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 39.00 c Sol. found (all assignments made)... 39.00 c Sol. found (all assignments made)... 39.00 c Sol. found (all assignments made)... 39.00 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.04 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.06 c Sol. found (all assignments made)... 39.07 c Sol. found (all assignments made)... 39.07 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.16 c Sol. found (all assignments made)... 39.16 c Sol. found (all assignments made)... 39.17 c Sol. found (all assignments made)... 39.17 c Sol. found (all assignments made)... 39.17 c Sol. found (all assignments made)... 39.17 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.20 c Sol. found (all assignments made)... 39.20 c Sol. found (all assignments made)... 39.20 c Sol. found (all assignments made)... 39.20 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.22 o 5361 39.22 c NEW SOLUTION FOUND: 5361 @ 39.196 39.22 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.23 c Sol. found (all assignments made)... 39.23 o 5352 39.23 c NEW SOLUTION FOUND: 5352 @ 39.204 39.23 c Sol. found (all assignments made)... 39.23 c Sol. found (all assignments made)... 39.23 c Sol. found (all assignments made)... 39.23 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.25 c Sol. found (all assignments made)... 39.25 c Sol. found (all assignments made)... 39.25 c Sol. found (all assignments made)... 39.25 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.27 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.30 c Sol. found (all assignments made)... 39.31 c Sol. found (all assignments made)... 39.31 c Sol. found (all assignments made)... 39.31 c Sol. found (all assignments made)... 39.31 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.33 c Sol. found (all assignments made)... 39.33 c Sol. found (all assignments made)... 39.33 c Sol. found (all assignments made)... 39.33 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.34 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.40 c Sol. found (all assignments made)... 39.40 c Sol. found (all assignments made)... 40.23 c Restart #5 #Var: 7192 LB: 919 @ 40.208 48.65 c Restart #6 #Var: 7191 LB: 919 @ 48.628 55.19 c Restart #7 #Var: 7189 LB: 919 @ 55.167 57.76 c Restart #8 #Var: 7189 LB: 919 @ 57.732 64.32 c Restart #9 #Var: 7187 LB: 934 @ 64.288 67.58 c Restart #10 #Var: 7187 LB: 934 @ 67.544 74.27 c Restart #11 #Var: 7185 LB: 934 @ 74.238 79.91 c Restart #12 #Var: 7183 LB: 934 @ 79.879 87.03 c Restart #13 #Var: 7182 LB: 934 @ 86.996 90.56 c Sol. found (all assignments made)... 90.58 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.66 c Sol. found (all assignments made)... 90.66 c Sol. found (all assignments made)... 90.71 c Sol. found (all assignments made)... 90.75 c Sol. found (all assignments made)... 90.76 c Sol. found (all assignments made)... 90.79 c Sol. found (all assignments made)... 90.79 c Sol. found (all assignments made)... 91.30 c Restart #14 #Var: 7181 LB: 934 @ 91.262 102.80 c Restart #15 #Var: 7178 LB: 934 @ 102.76 109.70 c Restart #16 #Var: 7178 LB: 934 @ 109.66 121.15 c Restart #17 #Var: 7177 LB: 934 @ 121.11 131.98 c Restart #18 #Var: 7175 LB: 934 @ 131.93 139.13 c Restart #19 #Var: 7174 LB: 934 @ 139.08 144.66 c Sol. found (all assignments made)... 144.66 c Sol. found (all assignments made)... 144.66 c Sol. found (all assignments made)... 144.67 c Sol. found (all assignments made)... 144.67 c Sol. found (all assignments made)... 144.67 o 5345 144.67 c NEW SOLUTION FOUND: 5345 @ 144.62 144.67 c Sol. found (all assignments made)... 144.67 c Sol. found (all assignments made)... 144.68 c Sol. found (all assignments made)... 144.68 c Sol. found (all assignments made)... 144.68 c Sol. found (all assignments made)... 144.68 c Sol. found (all assignments made)... 144.69 c Sol. found (all assignments made)... 144.69 c Sol. found (all assignments made)... 144.69 o 5339 144.69 c NEW SOLUTION FOUND: 5339 @ 144.63 144.69 c Sol. found (all assignments made)... 144.69 c Sol. found (all assignments made)... 144.69 c Sol. found (all assignments made)... 144.69 c Sol. found (all assignments made)... 144.72 c Sol. found (all assignments made)... 144.72 c Sol. found (all assignments made)... 144.72 c Sol. found (all assignments made)... 144.73 c Sol. found (all assignments made)... 144.73 o 5335 144.73 c NEW SOLUTION FOUND: 5335 @ 144.68 144.73 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.74 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.75 c Sol. found (all assignments made)... 144.79 c Sol. found (all assignments made)... 144.79 o 5334 144.79 c NEW SOLUTION FOUND: 5334 @ 144.73 144.79 c Sol. found (all assignments made)... 144.79 c Sol. found (all assignments made)... 144.79 c Sol. found (all assignments made)... 144.80 c Sol. found (all assignments made)... 144.80 c Sol. found (all assignments made)... 144.80 c Sol. found (all assignments made)... 144.80 c Sol. found (all assignments made)... 144.81 c Sol. found (all assignments made)... 144.81 o 5330 144.81 c NEW SOLUTION FOUND: 5330 @ 144.75 144.81 c Sol. found (all assignments made)... 144.81 c Sol. found (all assignments made)... 144.81 c Sol. found (all assignments made)... 144.82 c Sol. found (all assignments made)... 144.82 c Sol. found (all assignments made)... 144.83 c Sol. found (all assignments made)... 144.83 c Sol. found (all assignments made)... 144.86 c Sol. found (all assignments made)... 144.86 c Sol. found (all assignments made)... 144.86 c Sol. found (all assignments made)... 144.86 c Sol. found (all assignments made)... 144.90 c Sol. found (all assignments made)... 144.90 c Sol. found (all assignments made)... 144.91 c Sol. found (all assignments made)... 144.91 c Sol. found (all assignments made)... 144.92 c Sol. found (all assignments made)... 144.92 c Sol. found (all assignments made)... 144.93 c Sol. found (all assignments made)... 144.93 c Sol. found (all assignments made)... 144.93 c Sol. found (all assignments made)... 144.93 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 c Sol. found (all assignments made)... 144.94 o 5327 144.94 c NEW SOLUTION FOUND: 5327 @ 144.89 144.95 c Sol. found (all assignments made)... 144.95 c Sol. found (all assignments made)... 144.95 c Sol. found (all assignments made)... 144.95 c Sol. found (all assignments made)... 144.96 c Sol. found (all assignments made)... 144.96 c Sol. found (all assignments made)... 144.96 c Sol. found (all assignments made)... 144.96 c Sol. found (all assignments made)... 144.96 c Sol. found (all assignments made)... 144.97 c Sol. found (all assignments made)... 154.86 c Restart #20 #Var: 7174 LB: 934 @ 154.81 163.63 c Restart #21 #Var: 7170 LB: 885 @ 163.57 175.08 c Restart #22 #Var: 7168 LB: 885 @ 175.02 189.24 c Restart #23 #Var: 7167 LB: 885 @ 189.17 202.85 c Restart #24 #Var: 7167 LB: 885 @ 202.78 215.77 c Restart #25 #Var: 7164 LB: 885 @ 215.7 223.23 c Sol. found (all assignments made)... 223.23 c Sol. found (all assignments made)... 223.25 c Sol. found (all assignments made)... 223.25 c Sol. found (all assignments made)... 223.26 c Sol. found (all assignments made)... 223.26 c Sol. found (all assignments made)... 223.26 c Sol. found (all assignments made)... 223.27 c Sol. found (all assignments made)... 223.32 c Sol. found (all assignments made)... 223.32 c Sol. found (all assignments made)... 223.42 c Sol. found (all assignments made)... 223.42 c Sol. found (all assignments made)... 223.43 c Sol. found (all assignments made)... 223.43 c Sol. found (all assignments made)... 223.44 c Sol. found (all assignments made)... 223.44 c Sol. found (all assignments made)... 223.80 c Sol. found (all assignments made)... 223.80 o 5322 223.80 c NEW SOLUTION FOUND: 5322 @ 223.73 223.80 c Sol. found (all assignments made)... 223.83 c Sol. found (all assignments made)... 223.83 o 5317 223.83 c NEW SOLUTION FOUND: 5317 @ 223.76 223.84 c Sol. found (all assignments made)... 223.90 c Sol. found (all assignments made)... 223.91 c Sol. found (all assignments made)... 223.91 c Sol. found (all assignments made)... 223.93 c Sol. found (all assignments made)... 223.93 o 5316 223.93 c NEW SOLUTION FOUND: 5316 @ 223.86 223.94 c Sol. found (all assignments made)... 223.94 c Sol. found (all assignments made)... 223.94 o 5312 223.94 c NEW SOLUTION FOUND: 5312 @ 223.87 223.94 c Sol. found (all assignments made)... 224.20 c Sol. found (all assignments made)... 224.22 c Sol. found (all assignments made)... 224.23 c Sol. found (all assignments made)... 224.27 c Sol. found (all assignments made)... 224.27 c Sol. found (all assignments made)... 224.27 c Sol. found (all assignments made)... 224.27 c Sol. found (all assignments made)... 224.29 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.30 c Sol. found (all assignments made)... 224.31 c Sol. found (all assignments made)... 224.31 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.34 c Sol. found (all assignments made)... 224.35 c Sol. found (all assignments made)... 224.35 c Sol. found (all assignments made)... 224.36 c Sol. found (all assignments made)... 224.37 c Sol. found (all assignments made)... 224.37 c Sol. found (all assignments made)... 224.37 c Sol. found (all assignments made)... 224.38 c Sol. found (all assignments made)... 224.40 c Sol. found (all assignments made)... 224.41 c Sol. found (all assignments made)... 224.42 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.43 c Sol. found (all assignments made)... 224.45 c Sol. found (all assignments made)... 224.45 c Sol. found (all assignments made)... 224.45 c Sol. found (all assignments made)... 224.46 c Sol. found (all assignments made)... 224.46 o 5309 224.46 c NEW SOLUTION FOUND: 5309 @ 224.38 224.46 c Sol. found (all assignments made)... 224.46 c Sol. found (all assignments made)... 224.47 c Sol. found (all assignments made)... 224.47 c Sol. found (all assignments made)... 224.47 c Sol. found (all assignments made)... 224.47 c Sol. found (all assignments made)... 224.47 c Sol. found (all assignments made)... 234.18 c Restart #26 #Var: 7161 LB: 885 @ 234.1 248.13 c Restart #27 #Var: 7156 LB: 1008 @ 248.04 267.69 c Restart #28 #Var: 7156 LB: 1008 @ 267.61 272.15 c Sol. found (all assignments made)... 272.49 c Sol. found (all assignments made)... 272.49 c Sol. found (all assignments made)... 272.50 c Sol. found (all assignments made)... 272.50 c Sol. found (all assignments made)... 272.80 c Sol. found (all assignments made)... 272.80 c Sol. found (all assignments made)... 272.80 c Sol. found (all assignments made)... 272.82 c Sol. found (all assignments made)... 272.82 c Sol. found (all assignments made)... 272.83 c Sol. found (all assignments made)... 272.83 c Sol. found (all assignments made)... 272.86 c Sol. found (all assignments made)... 272.86 c Sol. found (all assignments made)... 272.86 c Sol. found (all assignments made)... 272.86 c Sol. found (all assignments made)... 272.86 c Sol. found (all assignments made)... 272.87 c Sol. found (all assignments made)... 272.87 c Sol. found (all assignments made)... 272.88 c Sol. found (all assignments made)... 272.88 c Sol. found (all assignments made)... 272.88 c Sol. found (all assignments made)... 272.88 o 5306 272.88 c NEW SOLUTION FOUND: 5306 @ 272.79 272.88 c Sol. found (all assignments made)... 272.92 c Sol. found (all assignments made)... 272.92 c Sol. found (all assignments made)... 272.93 c Sol. found (all assignments made)... 272.93 o 5286 272.93 c NEW SOLUTION FOUND: 5286 @ 272.84 272.94 c Sol. found (all assignments made)... 272.94 c Sol. found (all assignments made)... 272.94 c Sol. found (all assignments made)... 272.97 c Sol. found (all assignments made)... 272.97 o 5282 272.97 c NEW SOLUTION FOUND: 5282 @ 272.88 272.97 c Sol. found (all assignments made)... 273.01 c Sol. found (all assignments made)... 273.01 c Sol. found (all assignments made)... 273.03 c Sol. found (all assignments made)... 273.03 o 5275 273.03 c NEW SOLUTION FOUND: 5275 @ 272.94 273.04 c Sol. found (all assignments made)... 273.04 o 5269 273.04 c NEW SOLUTION FOUND: 5269 @ 272.94 273.04 c Sol. found (all assignments made)... 274.83 c Sol. found (all assignments made)... 274.83 c Sol. found (all assignments made)... 274.84 c Sol. found (all assignments made)... 274.86 c Sol. found (all assignments made)... 274.86 c Sol. found (all assignments made)... 274.86 c Sol. found (all assignments made)... 274.86 c Sol. found (all assignments made)... 274.86 c Sol. found (all assignments made)... 274.87 c Sol. found (all assignments made)... 274.87 c Sol. found (all assignments made)... 274.87 c Sol. found (all assignments made)... 283.35 c Restart #29 #Var: 7155 LB: 1008 @ 283.25 299.43 c Restart #30 #Var: 7155 LB: 1008 @ 299.33 318.32 c Sol. found (all assignments made)... 318.32 o 5259 318.32 c NEW SOLUTION FOUND: 5259 @ 318.22 318.33 c Sol. found (all assignments made)... 318.34 c Sol. found (all assignments made)... 318.34 c Sol. found (all assignments made)... 318.39 c Sol. found (all assignments made)... 318.39 o 5257 318.39 c NEW SOLUTION FOUND: 5257 @ 318.29 318.40 c Sol. found (all assignments made)... 318.42 c Sol. found (all assignments made)... 318.42 c Sol. found (all assignments made)... 318.45 c Sol. found (all assignments made)... 318.45 o 5254 318.45 c NEW SOLUTION FOUND: 5254 @ 318.34 318.45 c Sol. found (all assignments made)... 318.46 c Sol. found (all assignments made)... 318.46 c Sol. found (all assignments made)... 318.46 o 5251 318.46 c NEW SOLUTION FOUND: 5251 @ 318.35 318.48 c Sol. found (all assignments made)... 318.48 o 5249 318.48 c NEW SOLUTION FOUND: 5249 @ 318.38 318.49 c Sol. found (all assignments made)... 318.50 c Sol. found (all assignments made)... 318.50 c Sol. found (all assignments made)... 318.54 c Sol. found (all assignments made)... 318.54 o 5238 318.54 c NEW SOLUTION FOUND: 5238 @ 318.44 318.55 c Sol. found (all assignments made)... 318.55 c Sol. found (all assignments made)... 318.55 c Sol. found (all assignments made)... 318.58 c Sol. found (all assignments made)... 318.58 o 5236 318.58 c NEW SOLUTION FOUND: 5236 @ 318.48 318.59 c Sol. found (all assignments made)... 318.59 c Sol. found (all assignments made)... 318.59 c Sol. found (all assignments made)... 318.82 c Sol. found (all assignments made)... 318.82 o 5226 318.82 c NEW SOLUTION FOUND: 5226 @ 318.71 318.82 c Sol. found (all assignments made)... 318.82 c Sol. found (all assignments made)... 318.82 c Sol. found (all assignments made)... 318.84 c Sol. found (all assignments made)... 318.84 o 5224 318.84 c NEW SOLUTION FOUND: 5224 @ 318.73 318.84 c Sol. found (all assignments made)... 318.85 c Sol. found (all assignments made)... 318.85 c Sol. found (all assignments made)... 319.17 c Sol. found (all assignments made)... 319.17 o 5218 319.17 c NEW SOLUTION FOUND: 5218 @ 319.06 319.17 c Sol. found (all assignments made)... 319.18 c Sol. found (all assignments made)... 319.18 c Sol. found (all assignments made)... 319.27 c Sol. found (all assignments made)... 319.27 o 5216 319.27 c NEW SOLUTION FOUND: 5216 @ 319.16 319.27 c Sol. found (all assignments made)... 319.28 c Sol. found (all assignments made)... 319.28 c Sol. found (all assignments made)... 320.43 c Sol. found (all assignments made)... 320.43 o 5215 320.43 c NEW SOLUTION FOUND: 5215 @ 320.32 320.43 c Sol. found (all assignments made)... 320.44 c Sol. found (all assignments made)... 320.44 c Sol. found (all assignments made)... 329.83 c Sol. found (all assignments made)... 329.83 o 5213 329.83 c NEW SOLUTION FOUND: 5213 @ 329.72 329.83 c Sol. found (all assignments made)... 329.86 c Sol. found (all assignments made)... 329.86 c Sol. found (all assignments made)... 329.86 o 5210 329.86 c NEW SOLUTION FOUND: 5210 @ 329.74 329.99 c Sol. found (all assignments made)... 329.99 o 5209 329.99 c NEW SOLUTION FOUND: 5209 @ 329.88 329.99 c Sol. found (all assignments made)... 330.47 c Sol. found (all assignments made)... 330.47 c Sol. found (all assignments made)... 331.01 c Sol. found (all assignments made)... 331.01 o 5208 331.01 c NEW SOLUTION FOUND: 5208 @ 330.9 331.01 c Sol. found (all assignments made)... 331.23 c Sol. found (all assignments made)... 331.23 c Sol. found (all assignments made)... 331.23 o 5207 331.23 c NEW SOLUTION FOUND: 5207 @ 331.12 343.07 c Restart #31 #Var: 7155 LB: 1008 @ 342.95 360.49 c Restart #32 #Var: 7154 LB: 1008 @ 360.37 374.99 c Restart #33 #Var: 7153 LB: 1008 @ 374.87 394.85 c Restart #34 #Var: 7150 LB: 1008 @ 394.72 413.78 c Restart #35 #Var: 7150 LB: 1008 @ 413.64 423.67 c Restart #36 #Var: 7150 LB: 1008 @ 423.53 446.62 c Restart #37 #Var: 7147 LB: 1008 @ 446.47 448.69 c Sol. found (all assignments made)... 448.69 c Sol. found (all assignments made)... 448.69 c Sol. found (all assignments made)... 448.69 c Sol. found (all assignments made)... 448.70 c Sol. found (all assignments made)... 448.70 c Sol. found (all assignments made)... 448.70 c Sol. found (all assignments made)... 448.81 c Sol. found (all assignments made)... 448.81 c Sol. found (all assignments made)... 448.81 c Sol. found (all assignments made)... 448.81 c Sol. found (all assignments made)... 448.82 c Sol. found (all assignments made)... 448.92 c Sol. found (all assignments made)... 448.92 c Sol. found (all assignments made)... 448.92 c Sol. found (all assignments made)... 448.98 c Sol. found (all assignments made)... 448.98 c Sol. found (all assignments made)... 448.98 c Sol. found (all assignments made)... 448.98 c Sol. found (all assignments made)... 449.04 c Sol. found (all assignments made)... 449.04 c Sol. found (all assignments made)... 449.04 c Sol. found (all assignments made)... 449.04 c Sol. found (all assignments made)... 449.04 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.07 o 5188 449.07 c NEW SOLUTION FOUND: 5188 @ 448.93 449.08 c Sol. found (all assignments made)... 449.08 c Sol. found (all assignments made)... 449.17 c Sol. found (all assignments made)... 449.17 o 5187 449.17 c NEW SOLUTION FOUND: 5187 @ 449.02 449.17 c Sol. found (all assignments made)... 449.17 c Sol. found (all assignments made)... 449.26 c Sol. found (all assignments made)... 449.26 c Sol. found (all assignments made)... 449.26 c Sol. found (all assignments made)... 449.27 c Sol. found (all assignments made)... 449.27 o 5155 449.27 c NEW SOLUTION FOUND: 5155 @ 449.13 449.27 c Sol. found (all assignments made)... 449.27 c Sol. found (all assignments made)... 451.73 c Sol. found (all assignments made)... 451.73 c Sol. found (all assignments made)... 451.73 o 5151 451.73 c NEW SOLUTION FOUND: 5151 @ 451.58 451.73 c Sol. found (all assignments made)... 451.73 o 5140 451.73 c NEW SOLUTION FOUND: 5140 @ 451.58 451.73 c Sol. found (all assignments made)... 451.73 c Sol. found (all assignments made)... 453.32 c Sol. found (all assignments made)... 453.32 c Sol. found (all assignments made)... 453.32 c Sol. found (all assignments made)... 453.32 c Sol. found (all assignments made)... 453.33 c Sol. found (all assignments made)... 453.33 o 5130 453.33 c NEW SOLUTION FOUND: 5130 @ 453.18 453.33 c Sol. found (all assignments made)... 453.33 c Sol. found (all assignments made)... 453.34 c Sol. found (all assignments made)... 453.34 c Sol. found (all assignments made)... 453.34 c Sol. found (all assignments made)... 453.82 c Sol. found (all assignments made)... 453.82 o 5121 453.82 c NEW SOLUTION FOUND: 5121 @ 453.67 453.82 c Sol. found (all assignments made)... 453.82 c Sol. found (all assignments made)... 454.09 c Sol. found (all assignments made)... 454.61 c Sol. found (all assignments made)... 454.61 c Sol. found (all assignments made)... 454.61 c Sol. found (all assignments made)... 454.68 c Sol. found (all assignments made)... 454.68 c Sol. found (all assignments made)... 454.68 c Sol. found (all assignments made)... 454.68 c Sol. found (all assignments made)... 454.68 o 5108 454.68 c NEW SOLUTION FOUND: 5108 @ 454.53 472.74 c Restart #38 #Var: 7145 LB: 1008 @ 472.59 490.39 c Restart #39 #Var: 7145 LB: 1008 @ 490.23 516.11 c Restart #40 #Var: 7144 LB: 1008 @ 515.95 546.59 c Restart #41 #Var: 7140 LB: 1008 @ 546.41 571.99 c Restart #42 #Var: 7139 LB: 1008 @ 571.81 594.08 c Sol. found (all assignments made)... 594.13 c Sol. found (all assignments made)... 594.90 c Restart #43 #Var: 7137 LB: 1008 @ 594.71 622.94 c Restart #44 #Var: 7134 LB: 1008 @ 622.75 656.79 c Restart #45 #Var: 7133 LB: 1008 @ 656.59 681.56 c Restart #46 #Var: 7132 LB: 1008 @ 681.35 700.72 c Sol. found (all assignments made)... 700.72 c Sol. found (all assignments made)... 700.72 c Sol. found (all assignments made)... 700.73 c Sol. found (all assignments made)... 700.73 c Sol. found (all assignments made)... 700.74 c Sol. found (all assignments made)... 700.74 o 5095 700.74 c NEW SOLUTION FOUND: 5095 @ 700.52 700.74 c Sol. found (all assignments made)... 700.74 c Sol. found (all assignments made)... 700.76 c Sol. found (all assignments made)... 700.76 o 5090 700.76 c NEW SOLUTION FOUND: 5090 @ 700.54 700.76 c Sol. found (all assignments made)... 700.76 c Sol. found (all assignments made)... 700.76 o 5066 700.76 c NEW SOLUTION FOUND: 5066 @ 700.54 700.76 c Sol. found (all assignments made)... 700.76 c Sol. found (all assignments made)... 700.80 c Sol. found (all assignments made)... 700.80 o 5065 700.80 c NEW SOLUTION FOUND: 5065 @ 700.58 700.81 c Sol. found (all assignments made)... 700.81 c Sol. found (all assignments made)... 700.82 c Sol. found (all assignments made)... 700.83 c Sol. found (all assignments made)... 705.30 c Sol. found (all assignments made)... 705.30 c Sol. found (all assignments made)... 705.31 c Sol. found (all assignments made)... 705.31 c Sol. found (all assignments made)... 705.31 c Sol. found (all assignments made)... 705.43 c Sol. found (all assignments made)... 705.43 c Sol. found (all assignments made)... 705.48 c Sol. found (all assignments made)... 705.48 c Sol. found (all assignments made)... 705.50 c Sol. found (all assignments made)... 705.50 c Sol. found (all assignments made)... 705.50 c Sol. found (all assignments made)... 705.52 c Sol. found (all assignments made)... 705.53 c Sol. found (all assignments made)... 705.53 c Sol. found (all assignments made)... 705.53 c Sol. found (all assignments made)... 705.53 c Sol. found (all assignments made)... 705.53 o 5064 705.53 c NEW SOLUTION FOUND: 5064 @ 705.31 705.53 c Sol. found (all assignments made)... 705.55 c Sol. found (all assignments made)... 705.55 o 5063 705.55 c NEW SOLUTION FOUND: 5063 @ 705.33 705.55 c Sol. found (all assignments made)... 720.44 c Restart #47 #Var: 7129 LB: 1008 @ 720.22 753.69 c Restart #48 #Var: 7129 LB: 1008 @ 753.45 777.60 c Restart #49 #Var: 7129 LB: 1008 @ 777.36 805.02 c Restart #50 #Var: 7129 LB: 1008 @ 804.77 831.85 c Restart #51 #Var: 7129 LB: 1008 @ 831.59 853.84 c Sol. found (all assignments made)... 853.95 c Restart #52 #Var: 7128 LB: 1008 @ 853.65 887.03 c Restart #53 #Var: 7124 LB: 1008 @ 886.7 917.06 c Restart #54 #Var: 7124 LB: 1008 @ 916.72 973.42 c Restart #55 #Var: 7118 LB: 1008 @ 973.06 996.89 c Restart #56 #Var: 7117 LB: 1008 @ 996.53 1032.60 c Restart #57 #Var: 7116 LB: 1008 @ 1032.2 1071.93 c Restart #58 #Var: 7116 LB: 1008 @ 1071.5 1118.18 c Restart #59 #Var: 7113 LB: 1008 @ 1117.8 1169.17 c Restart #60 #Var: 7110 LB: 1008 @ 1168.8 1217.25 c Restart #61 #Var: 7109 LB: 1008 @ 1216.8 1264.24 c Restart #62 #Var: 7098 LB: 1008 @ 1263.8 1297.62 c Sol. found (all assignments made)... 1297.62 c Sol. found (all assignments made)... 1297.63 c Sol. found (all assignments made)... 1297.63 c Sol. found (all assignments made)... 1297.64 c Sol. found (all assignments made)... 1297.64 c Sol. found (all assignments made)... 1297.68 c Sol. found (all assignments made)... 1297.68 c Sol. found (all assignments made)... 1297.68 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 c Sol. found (all assignments made)... 1298.20 o 5047 1298.20 c NEW SOLUTION FOUND: 5047 @ 1297.8 1298.21 c Sol. found (all assignments made)... 1298.22 c Sol. found (all assignments made)... 1298.22 c Sol. found (all assignments made)... 1298.22 c Sol. found (all assignments made)... 1298.22 c Sol. found (all assignments made)... 1298.22 o 5040 1298.22 c NEW SOLUTION FOUND: 5040 @ 1297.8 1298.29 c Sol. found (all assignments made)... 1298.44 c Sol. found (all assignments made)... 1298.51 c Sol. found (all assignments made)... 1298.53 c Sol. found (all assignments made)... 1298.54 c Sol. found (all assignments made)... 1298.54 c Sol. found (all assignments made)... 1298.54 c Sol. found (all assignments made)... 1298.54 c Sol. found (all assignments made)... 1298.54 o 5024 1298.54 c NEW SOLUTION FOUND: 5024 @ 1298.1 1298.54 c Sol. found (all assignments made)... 1298.56 c Sol. found (all assignments made)... 1298.57 c Sol. found (all assignments made)... 1298.57 c Sol. found (all assignments made)... 1298.57 c Sol. found (all assignments made)... 1298.57 c Sol. found (all assignments made)... 1298.57 c Sol. found (all assignments made)... 1298.57 o 5016 1298.57 c NEW SOLUTION FOUND: 5016 @ 1298.1 1298.57 c Sol. found (all assignments made)... 1298.59 c Sol. found (all assignments made)... 1298.59 c Sol. found (all assignments made)... 1298.60 c Sol. found (all assignments made)... 1298.60 o 5009 1298.60 c NEW SOLUTION FOUND: 5009 @ 1298.2 1299.14 c Sol. found (all assignments made)... 1299.14 c Sol. found (all assignments made)... 1302.08 c Sol. found (all assignments made)... 1302.08 c Sol. found (all assignments made)... 1302.08 c Sol. found (all assignments made)... 1302.83 c Sol. found (all assignments made)... 1302.83 c Sol. found (all assignments made)... 1302.83 c Sol. found (all assignments made)... 1302.84 c Sol. found (all assignments made)... 1302.85 c Sol. found (all assignments made)... 1302.85 c Sol. found (all assignments made)... 1302.85 c Sol. found (all assignments made)... 1302.87 c Sol. found (all assignments made)... 1302.91 c Sol. found (all assignments made)... 1302.91 c Sol. found (all assignments made)... 1302.97 c Sol. found (all assignments made)... 1302.97 c Sol. found (all assignments made)... 1303.00 c Sol. found (all assignments made)... 1303.00 c Sol. found (all assignments made)... 1303.00 c Sol. found (all assignments made)... 1303.00 c Sol. found (all assignments made)... 1303.01 c Sol. found (all assignments made)... 1303.03 c Sol. found (all assignments made)... 1303.04 c Sol. found (all assignments made)... 1303.04 c Sol. found (all assignments made)... 1303.87 c Sol. found (all assignments made)... 1304.01 c Sol. found (all assignments made)... 1304.01 c Sol. found (all assignments made)... 1304.01 c Sol. found (all assignments made)... 1304.06 c Sol. found (all assignments made)... 1304.10 c Sol. found (all assignments made)... 1304.13 c Sol. found (all assignments made)... 1305.17 c Sol. found (all assignments made)... 1305.22 c Sol. found (all assignments made)... 1305.30 c Sol. found (all assignments made)... 1305.30 c Sol. found (all assignments made)... 1305.31 c Sol. found (all assignments made)... 1305.31 c Sol. found (all assignments made)... 1305.31 c Sol. found (all assignments made)... 1305.31 c Sol. found (all assignments made)... 1305.32 c Sol. found (all assignments made)... 1305.32 c Sol. found (all assignments made)... 1305.35 c Sol. found (all assignments made)... 1305.38 c Sol. found (all assignments made)... 1305.38 c Sol. found (all assignments made)... 1305.38 c Sol. found (all assignments made)... 1305.38 c Sol. found (all assignments made)... 1305.38 c Sol. found (all assignments made)... 1305.39 c Sol. found (all assignments made)... 1305.39 c Sol. found (all assignments made)... 1305.41 c Sol. found (all assignments made)... 1305.42 c Sol. found (all assignments made)... 1305.42 c Sol. found (all assignments made)... 1305.64 c Sol. found (all assignments made)... 1305.64 c Sol. found (all assignments made)... 1305.64 o 5000 1305.64 c NEW SOLUTION FOUND: 5000 @ 1305.2 1305.64 c Sol. found (all assignments made)... 1305.64 c Sol. found (all assignments made)... 1305.65 c Sol. found (all assignments made)... 1305.65 c Sol. found (all assignments made)... 1305.65 c Sol. found (all assignments made)... 1305.65 c Sol. found (all assignments made)... 1305.65 c Sol. found (all assignments made)... 1305.66 c Sol. found (all assignments made)... 1305.66 c Sol. found (all assignments made)... 1305.66 c Sol. found (all assignments made)... 1305.66 c Sol. found (all assignments made)... 1305.69 c Sol. found (all assignments made)... 1305.69 c Sol. found (all assignments made)... 1305.69 o 4992 1305.69 c NEW SOLUTION FOUND: 4992 @ 1305.2 1305.69 c Sol. found (all assignments made)... 1305.72 c Sol. found (all assignments made)... 1305.72 c Sol. found (all assignments made)... 1305.94 c Sol. found (all assignments made)... 1305.98 c Sol. found (all assignments made)... 1306.00 c Sol. found (all assignments made)... 1306.00 c Sol. found (all assignments made)... 1306.00 c Sol. found (all assignments made)... 1306.00 c Sol. found (all assignments made)... 1306.01 c Sol. found (all assignments made)... 1306.02 c Sol. found (all assignments made)... 1306.02 c Sol. found (all assignments made)... 1306.02 c Sol. found (all assignments made)... 1306.02 c Sol. found (all assignments made)... 1306.02 c Sol. found (all assignments made)... 1306.04 c Sol. found (all assignments made)... 1306.05 c Sol. found (all assignments made)... 1321.86 c Restart #63 #Var: 7095 LB: 1008 @ 1321.4 1367.21 c Restart #64 #Var: 7091 LB: 1008 @ 1366.7 1423.93 c Restart #65 #Var: 7088 LB: 1008 @ 1423.4 1464.35 c Restart #66 #Var: 7087 LB: 1008 @ 1463.9 1512.00 c Restart #67 #Var: 7082 LB: 1008 @ 1511.5 1552.39 c Restart #68 #Var: 7080 LB: 1008 @ 1551.9 1607.05 c Restart #69 #Var: 7077 LB: 1008 @ 1606.5 1656.07 c Restart #70 #Var: 7077 LB: 1008 @ 1655.5 1694.77 c Restart #71 #Var: 7077 LB: 1008 @ 1694.2 1752.61 c Restart #72 #Var: 7076 LB: 1008 @ 1752 1790.34 c Sol. found (all assignments made)... 1790.78 c Sol. found (all assignments made)... 1790.78 o 4978 1790.78 c NEW SOLUTION FOUND: 4978 @ 1790.2 1790.78 c Sol. found (all assignments made)... 1800.65 s SATISFIABLE 1800.65 c Cost: 4978 1800.65 v -x1 -x1112 -x2223 -x3334 -x4445 -x5556 x6667 -x6974 x7085 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 x1001 x1113 1800.65 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 x3001 1800.65 v -x3112 x3223 -x3335 x3446 -x3557 -x3668 -x3779 -x3890 -x4001 -x4112 -x4223 x4334 x4446 -x4557 -x4668 -x4779 x4890 -x5001 1800.65 v -x5112 -x5223 x5334 x5445 -x5557 -x5668 -x5779 -x5890 -x6001 -x6112 -x6223 -x6334 -x6445 -x6556 -x6668 -x6779 -x6886 -x6897 1800.65 v -x6908 -x6919 -x6930 -x6941 -x6952 -x6963 -x6975 -x6986 -x6997 -x7008 -x7019 -x7030 -x7041 -x7052 -x7063 x7074 -x7086 1800.65 v -x7097 -x7108 -x7119 -x7130 -x7141 -x7152 -x7163 -x7174 -x7185 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 1800.65 v -x136 -x147 -x158 x169 x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 -x336 -x347 -x358 1800.65 v -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 -x591 1800.65 v -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 -x824 1800.65 v -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 1800.65 v -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 1800.65 v -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 1800.65 v -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 1800.65 v -x1624 -x1635 -x1646 x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 1800.65 v -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 x1935 -x1946 -x1957 -x1968 -x1979 -x1990 1800.65 v -x2002 -x2013 -x2024 -x2035 x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 1800.65 v -x2190 -x2201 x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 -x2369 1800.65 v -x2380 -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 -x2558 1800.65 v -x2569 -x2580 -x2591 -x2602 -x2613 -x2624 -x2635 -x2646 -x2657 -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 -x2746 1800.65 v -x2757 -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 -x2857 -x2868 -x2879 -x2891 -x2902 -x2913 -x2924 -x2935 1800.65 v -x2946 -x2957 -x2968 -x2979 -x2990 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 -x3124 1800.65 v -x3135 -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3312 1800.65 v -x3323 -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 -x3502 1800.65 v -x3513 -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 -x3691 1800.65 v -x3702 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x3780 -x3791 -x3802 -x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 1800.65 v x3891 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4002 -x4013 -x4024 -x4035 -x4046 -x4057 -x4068 1800.65 v -x4079 -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 -x4257 1800.65 v -x4268 -x4279 -x4290 -x4301 -x4312 -x4323 -x4335 -x4346 -x4357 -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 -x4447 1800.65 v -x4458 -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 -x4635 1800.65 v -x4646 -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 -x4824 1800.65 v -x4835 -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 -x5013 1800.65 v -x5024 -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 -x5201 1800.65 v -x5212 -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 x5301 -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 -x5390 1800.65 v -x5401 -x5412 -x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 -x5580 1800.65 v -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 1800.65 v -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 1800.65 v -x5968 -x5979 -x5990 -x6002 -x6013 -x6024 -x6035 -x6046 -x6057 -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 -x6146 1800.65 v -x6157 -x6168 -x6179 -x6190 -x6201 -x6212 -x6224 -x6235 -x6246 -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 -x6323 -x6335 1800.65 v x6346 -x6357 -x6368 -x6379 -x6390 -x6401 -x6412 -x6423 -x6434 -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 -x6523 1800.65 v -x6534 -x6545 -x6557 -x6568 -x6579 -x6590 -x6601 -x6612 -x6623 -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 -x6713 1800.65 v -x6724 -x6735 -x6746 -x6757 -x6768 -x6780 -x6791 -x6802 -x6813 -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6887 -x6888 1800.65 v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 1800.65 v -x6907 -x6909 -x6910 -x6911 -x6912 x6913 -x6914 -x6915 -x6916 -x6917 x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 1800.65 v -x6927 -x6928 -x6929 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6942 -x6943 -x6944 -x6945 1800.65 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 1800.65 v -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 1800.65 v -x6984 -x6985 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 1800.65 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 1800.65 v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 1800.65 v -x7040 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1800.65 v -x7059 -x7060 -x7061 -x7062 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 1800.65 v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 1800.65 v -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 1800.65 v -x7116 -x7117 -x7118 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 1800.65 v -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 1800.65 v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 1800.65 v -x7172 -x7173 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 1800.65 v -x7191 -x7192 -x7193 -x7194 -x7195 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 1800.65 v -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 1800.65 v -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 1800.65 v -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 1800.65 v -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1800.65 v -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.65 v -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.65 v -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 1800.65 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 1800.65 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 1800.65 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 1800.65 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 1800.65 v -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 1800.65 v -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 1800.65 v -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 1800.65 v -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.65 v -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1800.65 v -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1800.65 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 1800.65 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x481 -x482 1800.65 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x503 -x504 -x505 1800.65 v -x506 -x507 -x508 -x509 x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 1800.65 v -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 -x551 1800.65 v -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 1800.65 v -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.65 v -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1800.65 v -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 1800.65 v -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.65 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 1800.65 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 1800.65 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 1800.65 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 1800.65 v -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 1800.65 v -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 1800.65 v -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.65 v -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 1800.65 v -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.65 v -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 1800.65 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 1800.65 v x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 1800.65 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 1800.65 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 1800.65 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 1800.65 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 1800.65 v -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1800.65 v -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 1800.65 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1800.65 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.65 v -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 1800.65 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 1800.65 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 1800.65 v -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1800.65 v -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 1800.65 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1800.65 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.65 v -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 1800.65 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 1800.65 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.65 v -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.65 v -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 1800.65 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.65 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.65 v -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 1800.65 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 1800.65 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.65 v -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 1800.65 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 1800.65 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 -x1489 1800.65 v -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.65 v -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 1800.65 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1800.65 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.65 v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 1800.65 v -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 1800.65 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.65 v -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.65 v -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 1800.65 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 1800.65 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.65 v -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 1800.65 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 1800.65 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.65 v -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 1800.65 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 1800.65 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.65 v -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1800.65 v -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 1800.65 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.65 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 1800.65 v -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 1800.65 v -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 1800.65 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.65 v -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 1800.65 v -x1963 -x1964 x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 1800.65 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.65 v -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.65 v -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 1800.65 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.65 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 1800.65 v -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 1800.65 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 1800.65 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.65 v -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 -x2151 1800.65 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2169 -x2170 1800.65 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1800.65 v -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.65 v -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 -x2228 1800.65 v -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.65 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.65 v -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 1800.65 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2303 1800.65 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1800.65 v -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 -x2341 1800.65 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 1800.65 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1800.65 v -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.65 v -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 1800.65 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.65 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.65 v -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 1800.65 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 1800.65 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.65 v -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 1800.65 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 -x2548 1800.65 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.65 v -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.65 v -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 -x2605 1800.65 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.65 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.65 v -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 -x2661 1800.65 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2681 1800.65 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.65 v -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 -x2718 1800.65 v -x2719 -x2720 -x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2737 1800.65 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.65 v -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.65 v -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 -x2794 1800.65 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.65 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.65 v -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 -x2850 1800.65 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2869 1800.65 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1800.65 v -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 1800.65 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 1800.65 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.65 v -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.65 v -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 1800.65 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.65 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.65 v -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 1800.65 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 1800.65 v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 1800.65 v -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 -x3095 1800.65 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3114 -x3115 1800.65 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.65 v x3134 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 1800.65 v -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3169 -x3170 -x3171 1800.65 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.65 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 1800.65 v -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 -x3228 1800.65 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3247 1800.65 v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 1800.65 v -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3284 1800.65 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 -x3303 1800.65 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 1800.65 v -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.65 v -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 -x3361 1800.65 v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.65 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.65 v -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 -x3417 1800.65 v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3436 1800.65 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1800.65 v -x3456 -x3457 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474 1800.65 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 1800.65 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 1800.65 v -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1800.65 v -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 1800.65 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 1800.65 v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 1800.65 v -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 1800.65 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 1800.65 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1800.65 v -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 1800.65 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 1800.65 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1800.65 v -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 1800.65 v -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 1800.65 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 1800.65 v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.65 v -x3776 -x3777 -x3778 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 1800.65 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 1800.65 v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.65 v -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 1800.65 v -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 1800.65 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 1800.65 v -x3889 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 1800.65 v -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 1800.65 v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.65 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.65 v -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 x3983 1800.65 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4003 1800.65 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1800.65 v -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 1800.65 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4058 -x4059 1800.65 v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1800.65 v -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.65 v -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 -x4116 1800.65 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.65 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1800.65 v -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 1800.65 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 1800.65 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.65 v -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229 1800.65 v -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 1800.65 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.65 v -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 1800.65 v -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 1800.65 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1800.65 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 1800.65 v -x4343 -x4344 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 1800.65 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 1800.65 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 x4398 1800.65 v -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 -x4417 1800.65 v -x4418 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 1800.65 v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1800.65 v -x4457 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 1800.65 v -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 1800.65 v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1800.65 v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.65 v -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 1800.65 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 1800.65 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1800.65 v -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 1800.65 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 1800.65 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1800.65 v -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 1800.65 v -x4664 -x4665 -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 x4682 -x4683 1800.65 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 1800.65 v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1800.65 v -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 1800.65 v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 1800.65 v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 1800.65 v -x4777 -x4778 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 1800.65 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 1800.65 v -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 1800.65 v -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 1800.65 v -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 1800.65 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 1800.65 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 1800.65 v -x4910 -x4911 -x4912 x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 1800.65 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 1800.65 v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.65 v -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 1800.65 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 1800.65 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 1800.65 v -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 1800.65 v -x5042 -x5043 -x5044 -x5045 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 1800.65 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.65 v -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 1800.65 v -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 1800.65 v -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 1800.65 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1800.65 v -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 1800.65 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 1800.65 v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 1800.65 v -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1800.65 v -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 1800.65 v -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.65 v -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 1800.65 v -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 1800.65 v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 1800.65 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.65 v -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 1800.65 v -x5363 -x5364 -x5365 x5366 -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 1800.65 v -x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 1800.65 v -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.65 v -x5419 -x5420 -x5421 -x5422 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 1800.65 v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1800.65 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 1800.65 v -x5476 -x5477 -x5478 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 1800.65 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 1800.65 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 1800.65 v -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 1800.65 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 1800.65 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 1800.65 v -x5590 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 1800.65 v -x5609 -x5610 -x5611 -x5612 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 1800.65 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 1800.65 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1800.65 v -x5665 -x5666 -x5667 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 1800.65 v -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 1800.65 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1800.65 v -x5722 -x5723 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 1800.65 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 1800.65 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 1800.65 v -x5778 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 1800.65 v -x5798 -x5799 -x5800 -x5801 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 1800.65 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1800.65 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 1800.65 v -x5854 -x5855 -x5856 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 -x5871 -x5872 1800.65 v -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5892 1800.65 v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 1800.65 v -x5911 -x5912 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 1800.65 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 1800.65 v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 1800.65 v -x5967 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 1800.65 v -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6003 -x6004 -x6005 1800.65 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 1800.65 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 1800.65 v -x6043 -x6044 -x6045 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6058 -x6059 -x6060 -x6061 1800.65 v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6080 1800.65 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 1800.65 v -x6099 -x6100 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6114 -x6115 -x6116 -x6117 -x6118 1800.65 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6136 -x6137 1800.65 v -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 1800.65 v -x6156 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1800.65 v -x6175 -x6176 -x6177 -x6178 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 1800.65 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 1800.65 v -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.65 v -x6232 -x6233 -x6234 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 1800.65 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 1800.65 v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.65 v -x6288 -x6289 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 1800.65 v -x6307 -x6308 -x6309 -x6310 -x6311 -x6313 -x6314 -x6315 -x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 1800.65 v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 x6343 -x6344 1800.65 v -x6345 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 1800.65 v -x6364 -x6365 -x6366 -x6367 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6380 -x6381 -x6382 1800.65 v -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 1800.65 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1800.65 v -x6420 -x6421 -x6422 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6435 -x6436 -x6437 -x6438 1800.65 v -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6458 1800.65 v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 1800.65 v -x6477 -x6478 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6491 -x6492 -x6493 -x6494 -x6495 1800.65 v -x6496 -x6497 -x6498 -x6499 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6513 -x6514 1800.65 v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 1800.65 v -x6533 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 1800.65 v -x6552 -x6553 -x6554 -x6555 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6569 -x6570 -x6571 1800.65 v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1800.65 v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 1800.65 v -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6624 -x6625 -x6626 -x6627 1800.65 v -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6646 1800.65 v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 1800.65 v -x6665 -x6666 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6681 -x6682 -x6683 -x6684 -x6685 1800.65 v -x6686 -x6687 -x6688 -x6689 -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6704 1800.65 v -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 1800.65 v -x6723 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 1800.65 v -x6742 -x6743 -x6744 -x6745 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 x6753 -x6754 -x6755 -x6756 -x6758 -x6759 -x6760 1800.65 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 1800.65 v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 1800.65 v -x6799 -x6800 -x6801 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6814 -x6815 -x6816 -x6817 1800.65 v -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6836 1800.65 v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 1800.65 v -x6855 -x6856 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6869 -x6870 -x6871 -x6872 -x6873 1800.65 v -x6874 -x6875 -x6876 -x6877 -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 1800.65 c Exit Code: 10 1800.65 c Total time: 1800.1 s
OK 4978
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node86/watcher-40027-1149356821 -o ROOT/results/node86/solver-40027-1149356821 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40027-1149356821/instance-40027-1149356821.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1398888/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=4936 CPUtime=0 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 362 0 0 0 0 0 0 0 19 0 1 0 201321331 5054464 327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 1234 327 223 55 0 125 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1380840/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=22952 CPUtime=9.98 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 4958 0 0 0 985 13 0 0 25 0 1 0 201321331 23502848 4874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 5738 4874 294 55 0 4629 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22952 [startup+20.0086 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1378216/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=25616 CPUtime=19.98 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 5649 0 0 0 1983 15 0 0 25 0 1 0 201321331 26230784 5541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 6404 5541 294 55 0 5295 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 25616 [startup+30.0138 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1370344/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=33672 CPUtime=29.99 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 8693 0 0 0 2982 17 0 0 25 0 1 0 201321331 34480128 7606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159269875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 8418 7606 408 55 0 7309 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 33672 [startup+40.0199 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1371560/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=32184 CPUtime=39.98 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 10376 0 0 0 3980 18 0 0 25 0 1 0 201321331 32956416 7317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 8046 7317 428 55 0 6937 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 32184 [startup+50.026 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1371240/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=32580 CPUtime=49.99 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 10478 0 0 0 4980 19 0 0 25 0 1 0 201321331 33361920 7419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 8145 7419 428 55 0 7036 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 32580 [startup+60.0322 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1370280/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=33480 CPUtime=60 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 10721 0 0 0 5980 20 0 0 25 0 1 0 201321331 34283520 7647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 8370 7647 428 55 0 7261 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 33480 [startup+70.0383 s] /proc/loadavg: 1.00 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1369064/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=34720 CPUtime=70 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 11031 0 0 0 6980 20 0 0 25 0 1 0 201321331 35553280 7957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 8680 7957 428 55 0 7571 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 34720 [startup+80.0445 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1366952/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=37004 CPUtime=80 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 11572 0 0 0 7979 21 0 0 25 0 1 0 201321331 37892096 8498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 9251 8498 428 55 0 8142 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 37004 [startup+90.0506 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1366568/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=37300 CPUtime=90 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 11720 0 0 0 8978 22 0 0 25 0 1 0 201321331 38195200 8586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 9325 8586 428 55 0 8216 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 37300 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1365096/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=38756 CPUtime=100 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 12093 0 0 0 9977 23 0 0 25 0 1 0 201321331 39686144 8959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 9689 8959 428 55 0 8580 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 38756 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1363176/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=40676 CPUtime=110.01 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 12588 0 0 0 10977 24 0 0 25 0 1 0 201321331 41652224 9435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 10169 9435 428 55 0 9060 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 40676 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1362920/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=40940 CPUtime=120.01 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 12654 0 0 0 11976 25 0 0 25 0 1 0 201321331 41922560 9501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 10235 9501 428 55 0 9126 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 40940 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1361832/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=42072 CPUtime=130.02 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 12949 0 0 0 12976 26 0 0 25 0 1 0 201321331 43081728 9779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 10518 9779 428 55 0 9409 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 42072 [startup+140.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1359976/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=43948 CPUtime=140.02 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 13445 0 0 0 13975 27 0 0 25 0 1 0 201321331 45002752 10235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 10987 10235 428 55 0 9878 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 43948 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16968 /proc/meminfo: memFree=1358568/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=45292 CPUtime=150.03 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 13819 0 0 0 14975 28 0 0 25 0 1 0 201321331 46379008 10585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 11323 10585 428 55 0 10214 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 45292 [startup+160.093 s] /proc/loadavg: 1.07 1.02 1.00 2/68 16968 /proc/meminfo: memFree=1357608/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=46264 CPUtime=160.03 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 14072 0 0 0 15974 29 0 0 25 0 1 0 201321331 47374336 10829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 11566 10829 428 55 0 10457 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 46264 [startup+170.099 s] /proc/loadavg: 1.06 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1356328/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=47272 CPUtime=170.03 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 14413 0 0 0 16973 30 0 0 25 0 1 0 201321331 48406528 11094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 11818 11094 428 55 0 10709 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 47272 [startup+180.105 s] /proc/loadavg: 1.05 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1354728/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=48988 CPUtime=180.03 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 14862 0 0 0 17973 30 0 0 25 0 1 0 201321331 50163712 11524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6099177 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 12247 11524 428 55 0 11138 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 48988 [startup+190.111 s] /proc/loadavg: 1.04 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1354216/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=49556 CPUtime=190.04 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 14999 0 0 0 18973 31 0 0 25 0 1 0 201321331 50745344 11661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 12389 11661 428 55 0 11280 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 49556 [startup+200.116 s] /proc/loadavg: 1.03 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1353704/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=50196 CPUtime=200.04 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 15132 0 0 0 19972 32 0 0 25 0 1 0 201321331 51400704 11794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 12549 11794 428 55 0 11440 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 50196 [startup+210.122 s] /proc/loadavg: 1.03 1.01 1.00 2/68 16968 /proc/meminfo: memFree=1352296/2055892 swapFree=4084792/4096564 ################ # More data... # ################ /proc/16968/statm: 37377 36654 428 55 0 36268 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 149508 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1253352/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=150172 CPUtime=1770.49 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45355 0 0 0 176919 130 0 0 25 0 1 0 201321331 153776128 36794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37543 36794 428 55 0 36434 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 150172 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1780.48 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 177918 130 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 151024 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1781.49 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178019 130 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 151024 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1782.5 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178119 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 151024 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1783.5 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178219 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 151024 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1784.51 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178320 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 151024 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1785.51 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178420 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 151024 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1786.52 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178521 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 151024 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1787.52 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178621 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 151024 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1788.53 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178722 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 151024 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1789.53 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45606 0 0 0 178822 131 0 0 25 0 1 0 201321331 154648576 37017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37017 428 55 0 36647 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 151024 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1790.54 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 178923 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 151024 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1791.54 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179023 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 151024 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1792.54 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179123 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 151024 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1793.55 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179224 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 151024 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1794.55 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179324 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 151024 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1795.55 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179424 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 151024 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1796.56 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179525 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 151024 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1797.56 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179625 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 151024 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1798.57 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179726 131 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 151024 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17163 /proc/meminfo: memFree=1252456/2055892 swapFree=4084792/4096564 [pid=16968] ppid=16966 vsize=151024 CPUtime=1799.58 /proc/16968/stat : 16968 (bsolo) R 16966 16968 16922 0 -1 0 45607 0 0 0 179826 132 0 0 25 0 1 0 201321331 154648576 37018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16968/statm: 37756 37018 428 55 0 36647 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 151024 Child status: 10 Real time (s): 1800.68 CPU time (s): 1800.09 CPU user time (s): 1798.75 CPU system time (s): 1.3438 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 151024
Begin job on node86 on Sat Jun 3 17:47:01 UTC 2006 FILE ID= 40027-1149356821 PBS_JOBID= 311297 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40027-1149356821/instance-40027-1149356821.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-40027-1149356821 -o ROOT/results/node86/solver-40027-1149356821 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node86/40027-1149356821/instance-40027-1149356821.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458 RANDOM SEED= 324797939 /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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.19 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1399288 kB Buffers: 39608 kB Cached: 545968 kB SwapCached: 3032 kB Active: 80292 kB Inactive: 514072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1399288 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15148 kB Slab: 48892 kB Committed_AS: 366744 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Sat Jun 3 18:17:02 UTC 2006