Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 37422 | 1800.03 | 1800.55 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
| MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 37422 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31955 |
| 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 | 2679 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3908448 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2679 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3908448 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.40 c Initial problem consists of 7195 variables and 852 constraints. 0.46 c No problem reductions applied in OPT. instance. 0.46 c preprocess terminated. Elapsed time: 0.445 0.46 c After prepocess the problem consists of 7195 variables and 766 constraints. 0.46 c Initial Lower Bound: 0 1.33 c Restart #1 #Var: 7195 LB: 0 @ 1.317 2.37 c Restart #2 #Var: 7195 LB: 0 @ 2.362 3.69 c Restart #3 #Var: 7195 LB: 0 @ 3.678 5.37 c Restart #4 #Var: 7195 LB: 0 @ 5.357 7.08 c Restart #5 #Var: 7195 LB: 0 @ 7.066 7.70 c Sol. found (all assignments made)... 7.70 o 47327 7.70 c NEW SOLUTION FOUND: 47327 @ 7.685 7.70 c Sol. found (all assignments made)... 7.70 o 47279 7.70 c NEW SOLUTION FOUND: 47279 @ 7.687 7.70 c Sol. found (all assignments made)... 7.70 o 46536 7.70 c NEW SOLUTION FOUND: 46536 @ 7.689 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 o 46501 7.71 c NEW SOLUTION FOUND: 46501 @ 7.692 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 o 46224 7.71 c NEW SOLUTION FOUND: 46224 @ 7.693 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 o 46022 7.71 c NEW SOLUTION FOUND: 46022 @ 7.698 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 o 45407 7.71 c NEW SOLUTION FOUND: 45407 @ 7.699 7.72 c Sol. found (all assignments made)... 7.72 o 45363 7.72 c NEW SOLUTION FOUND: 45363 @ 7.701 7.72 c Sol. found (all assignments made)... 7.72 o 45244 7.72 c NEW SOLUTION FOUND: 45244 @ 7.702 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 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 o 45092 7.74 c NEW SOLUTION FOUND: 45092 @ 7.724 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.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.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 o 44893 7.77 c NEW SOLUTION FOUND: 44893 @ 7.759 7.77 c Sol. found (all assignments made)... 7.77 o 43941 7.77 c NEW SOLUTION FOUND: 43941 @ 7.761 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 o 43893 7.83 c NEW SOLUTION FOUND: 43893 @ 7.818 7.83 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 o 43658 7.92 c NEW SOLUTION FOUND: 43658 @ 7.902 7.92 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 o 43562 8.32 c NEW SOLUTION FOUND: 43562 @ 8.307 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 o 43250 8.35 c NEW SOLUTION FOUND: 43250 @ 8.341 8.36 c Sol. found (all assignments made)... 8.36 o 43057 8.36 c NEW SOLUTION FOUND: 43057 @ 8.342 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 o 42961 8.36 c NEW SOLUTION FOUND: 42961 @ 8.347 8.36 c Sol. found (all assignments made)... 8.36 o 42768 8.36 c NEW SOLUTION FOUND: 42768 @ 8.348 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.64 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.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.68 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.69 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.73 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.74 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.82 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.84 o 42553 8.84 c NEW SOLUTION FOUND: 42553 @ 8.821 8.84 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.88 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 o 42318 8.90 c NEW SOLUTION FOUND: 42318 @ 8.882 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 o 42183 9.09 c NEW SOLUTION FOUND: 42183 @ 9.07 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 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.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 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.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 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.60 c Sol. found (all assignments made)... 9.60 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.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 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.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.74 c Restart #6 #Var: 7195 LB: 0 @ 10.723 12.99 c Restart #7 #Var: 7195 LB: 0 @ 12.972 15.94 c Restart #8 #Var: 7194 LB: 0 @ 15.92 19.53 c Restart #9 #Var: 7194 LB: 0 @ 19.511 29.80 c CHANGE to MIS mode... UB: 42183 MIS: 6736 LPR: 25878 (6.816) Diff: 0.2603 29.80 c Restart #0 #Var: 7194 LB: 0 @ 29.758 30.89 c Restart #1 #Var: 7192 LB: 6846 @ 30.845 31.96 c Restart #2 #Var: 7192 LB: 6846 @ 31.92 33.70 c Restart #3 #Var: 7187 LB: 6846 @ 33.661 35.63 c Restart #4 #Var: 7187 LB: 6846 @ 35.588 37.44 c Sol. found (all assignments made)... 37.50 c Restart #5 #Var: 7186 LB: 6846 @ 37.455 39.80 c Sol. found (all assignments made)... 39.80 c Sol. found (all assignments made)... 39.80 o 42103 39.80 c NEW SOLUTION FOUND: 42103 @ 39.76 39.81 c Sol. found (all assignments made)... 39.81 c Sol. found (all assignments made)... 39.81 c Sol. found (all assignments made)... 39.81 c Sol. found (all assignments made)... 39.89 c Sol. found (all assignments made)... 39.89 c Sol. found (all assignments made)... 39.99 c Sol. found (all assignments made)... 39.99 c Sol. found (all assignments made)... 40.00 c Sol. found (all assignments made)... 40.00 c Sol. found (all assignments made)... 40.00 c Sol. found (all assignments made)... 40.00 c Sol. found (all assignments made)... 40.04 c Sol. found (all assignments made)... 40.04 c Sol. found (all assignments made)... 40.06 c Sol. found (all assignments made)... 40.06 c Sol. found (all assignments made)... 40.07 c Sol. found (all assignments made)... 40.07 c Sol. found (all assignments made)... 40.19 c Sol. found (all assignments made)... 40.19 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.31 c Sol. found (all assignments made)... 40.31 c Sol. found (all assignments made)... 40.31 c Sol. found (all assignments made)... 40.31 c Sol. found (all assignments made)... 40.36 c Sol. found (all assignments made)... 40.36 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.38 c Sol. found (all assignments made)... 40.39 c Sol. found (all assignments made)... 40.39 c Sol. found (all assignments made)... 40.89 c Restart #6 #Var: 7185 LB: 6846 @ 40.847 45.23 c Restart #7 #Var: 7185 LB: 6846 @ 45.189 47.43 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 47.43 o 42081 47.43 c NEW SOLUTION FOUND: 42081 @ 47.382 47.43 c Sol. found (all assignments made)... 47.43 o 42071 47.43 c NEW SOLUTION FOUND: 42071 @ 47.388 47.43 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 50.13 c Restart #8 #Var: 7184 LB: 6846 @ 50.08 53.89 c Restart #9 #Var: 7183 LB: 6846 @ 53.846 57.39 c Sol. found (all assignments made)... 57.39 o 41859 57.39 c NEW SOLUTION FOUND: 41859 @ 57.341 57.39 c Sol. found (all assignments made)... 57.39 o 41755 57.39 c NEW SOLUTION FOUND: 41755 @ 57.344 57.39 c Sol. found (all assignments made)... 57.40 c Sol. found (all assignments made)... 57.40 o 41700 57.40 c NEW SOLUTION FOUND: 41700 @ 57.351 57.40 c Sol. found (all assignments made)... 57.40 o 41596 57.40 c NEW SOLUTION FOUND: 41596 @ 57.352 57.40 c Sol. found (all assignments made)... 57.40 o 41574 57.40 c NEW SOLUTION FOUND: 41574 @ 57.354 57.40 c Sol. found (all assignments made)... 57.44 c Sol. found (all assignments made)... 57.44 o 41407 57.44 c NEW SOLUTION FOUND: 41407 @ 57.395 57.44 c Sol. found (all assignments made)... 57.45 c Sol. found (all assignments made)... 57.45 c Sol. found (all assignments made)... 57.45 o 41385 57.45 c NEW SOLUTION FOUND: 41385 @ 57.4 57.47 c Sol. found (all assignments made)... 57.47 c Sol. found (all assignments made)... 57.68 c Sol. found (all assignments made)... 57.68 o 41286 57.68 c NEW SOLUTION FOUND: 41286 @ 57.634 57.68 c Sol. found (all assignments made)... 57.69 c Sol. found (all assignments made)... 57.69 o 41144 57.69 c NEW SOLUTION FOUND: 41144 @ 57.64 57.69 c Sol. found (all assignments made)... 57.74 c Sol. found (all assignments made)... 57.74 o 41122 57.74 c NEW SOLUTION FOUND: 41122 @ 57.69 57.74 c Sol. found (all assignments made)... 57.74 c Sol. found (all assignments made)... 59.24 c Sol. found (all assignments made)... 59.24 o 40276 59.24 c NEW SOLUTION FOUND: 40276 @ 59.197 59.27 c Sol. found (all assignments made)... 59.30 c Sol. found (all assignments made)... 59.30 o 40194 59.30 c NEW SOLUTION FOUND: 40194 @ 59.25 59.30 c Sol. found (all assignments made)... 59.30 o 39898 59.30 c NEW SOLUTION FOUND: 39898 @ 59.252 59.34 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.02 o 39721 60.02 c NEW SOLUTION FOUND: 39721 @ 59.971 60.02 c Sol. found (all assignments made)... 60.02 o 39562 60.02 c NEW SOLUTION FOUND: 39562 @ 59.973 60.02 c Sol. found (all assignments made)... 60.02 o 39502 60.02 c NEW SOLUTION FOUND: 39502 @ 59.975 60.02 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.03 o 38771 60.03 c NEW SOLUTION FOUND: 38771 @ 59.983 60.03 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.03 o 38705 60.03 c NEW SOLUTION FOUND: 38705 @ 59.985 60.04 c Sol. found (all assignments made)... 60.04 c Sol. found (all assignments made)... 60.04 c Sol. found (all assignments made)... 60.04 o 38645 60.04 c NEW SOLUTION FOUND: 38645 @ 59.991 60.04 c Sol. found (all assignments made)... 60.05 c Sol. found (all assignments made)... 60.05 c Sol. found (all assignments made)... 60.05 o 38601 60.05 c NEW SOLUTION FOUND: 38601 @ 60.005 60.06 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.06 o 38541 60.06 c NEW SOLUTION FOUND: 38541 @ 60.011 60.06 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.48 c Sol. found (all assignments made)... 61.49 c Sol. found (all assignments made)... 61.49 c Sol. found (all assignments made)... 61.72 c Sol. found (all assignments made)... 61.72 c Sol. found (all assignments made)... 61.72 c Sol. found (all assignments made)... 61.73 c Sol. found (all assignments made)... 61.73 c Sol. found (all assignments made)... 61.96 c Sol. found (all assignments made)... 61.96 c Sol. found (all assignments made)... 61.97 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.06 c Sol. found (all assignments made)... 62.06 c Sol. found (all assignments made)... 62.06 o 38497 62.06 c NEW SOLUTION FOUND: 38497 @ 62.006 62.06 c Sol. found (all assignments made)... 62.08 c Sol. found (all assignments made)... 67.46 c Restart #10 #Var: 7173 LB: 6846 @ 67.405 72.94 c Restart #11 #Var: 7172 LB: 6489 @ 72.884 81.31 c Restart #12 #Var: 7171 LB: 6489 @ 81.255 88.34 c Restart #13 #Var: 7171 LB: 6489 @ 88.279 95.59 c Restart #14 #Var: 7169 LB: 6489 @ 95.531 102.32 c Restart #15 #Var: 7169 LB: 6489 @ 102.26 120.63 c Restart #16 #Var: 7166 LB: 6489 @ 120.57 131.68 c Restart #17 #Var: 7160 LB: 6489 @ 131.61 142.66 c Restart #18 #Var: 7160 LB: 6489 @ 142.59 153.87 c Restart #19 #Var: 7160 LB: 6489 @ 153.79 165.77 c Restart #20 #Var: 7159 LB: 6489 @ 165.69 182.11 c Restart #21 #Var: 7157 LB: 6489 @ 182.03 194.55 c Restart #22 #Var: 7155 LB: 6489 @ 194.47 207.97 c Restart #23 #Var: 7153 LB: 6489 @ 207.88 221.20 c Restart #24 #Var: 7152 LB: 6489 @ 221.1 230.58 c Sol. found (all assignments made)... 230.58 c Sol. found (all assignments made)... 230.58 c Sol. found (all assignments made)... 230.58 o 38486 230.58 c NEW SOLUTION FOUND: 38486 @ 230.48 231.71 c Sol. found (all assignments made)... 231.71 c Sol. found (all assignments made)... 231.71 o 38439 231.71 c NEW SOLUTION FOUND: 38439 @ 231.62 231.76 c Sol. found (all assignments made)... 231.76 o 38392 231.76 c NEW SOLUTION FOUND: 38392 @ 231.66 231.76 c Sol. found (all assignments made)... 231.80 c Sol. found (all assignments made)... 231.80 c Sol. found (all assignments made)... 231.80 o 38277 231.80 c NEW SOLUTION FOUND: 38277 @ 231.7 231.80 c Sol. found (all assignments made)... 231.80 o 38191 231.80 c NEW SOLUTION FOUND: 38191 @ 231.71 231.80 c Sol. found (all assignments made)... 231.81 c Sol. found (all assignments made)... 231.81 c Sol. found (all assignments made)... 231.81 o 38166 231.81 c NEW SOLUTION FOUND: 38166 @ 231.71 231.84 c Sol. found (all assignments made)... 231.84 o 38144 231.84 c NEW SOLUTION FOUND: 38144 @ 231.75 231.84 c Sol. found (all assignments made)... 231.85 c Sol. found (all assignments made)... 231.85 c Sol. found (all assignments made)... 231.85 o 38119 231.85 c NEW SOLUTION FOUND: 38119 @ 231.75 235.47 c Restart #25 #Var: 7151 LB: 6489 @ 235.38 254.73 c Sol. found (all assignments made)... 254.73 o 38087 254.73 c NEW SOLUTION FOUND: 38087 @ 254.63 254.73 c Sol. found (all assignments made)... 254.73 c Sol. found (all assignments made)... 254.74 c Sol. found (all assignments made)... 254.74 c Sol. found (all assignments made)... 254.74 o 38053 254.74 c NEW SOLUTION FOUND: 38053 @ 254.64 254.75 c Sol. found (all assignments made)... 254.75 o 37887 254.75 c NEW SOLUTION FOUND: 37887 @ 254.65 254.75 c Sol. found (all assignments made)... 254.75 c Sol. found (all assignments made)... 254.79 c Sol. found (all assignments made)... 254.79 o 37840 254.79 c NEW SOLUTION FOUND: 37840 @ 254.69 254.79 c Sol. found (all assignments made)... 254.79 c Sol. found (all assignments made)... 254.80 c Sol. found (all assignments made)... 254.80 o 37783 254.80 c NEW SOLUTION FOUND: 37783 @ 254.69 254.81 c Sol. found (all assignments made)... 254.81 c Sol. found (all assignments made)... 254.81 c Sol. found (all assignments made)... 254.81 o 37746 254.81 c NEW SOLUTION FOUND: 37746 @ 254.71 254.81 c Sol. found (all assignments made)... 254.81 c Sol. found (all assignments made)... 254.81 o 37721 254.81 c NEW SOLUTION FOUND: 37721 @ 254.71 254.82 c Sol. found (all assignments made)... 254.82 o 37687 254.82 c NEW SOLUTION FOUND: 37687 @ 254.72 254.83 c Sol. found (all assignments made)... 254.83 c Sol. found (all assignments made)... 254.83 c Sol. found (all assignments made)... 254.83 c Sol. found (all assignments made)... 254.83 o 37521 254.83 c NEW SOLUTION FOUND: 37521 @ 254.72 261.91 c Restart #26 #Var: 7150 LB: 6489 @ 261.8 278.21 c Restart #27 #Var: 7150 LB: 6489 @ 278.1 302.51 c Restart #28 #Var: 7148 LB: 6489 @ 302.39 314.54 c Restart #29 #Var: 7147 LB: 6489 @ 314.43 331.55 c Restart #30 #Var: 7143 LB: 6489 @ 331.43 347.83 c Restart #31 #Var: 7143 LB: 6489 @ 347.7 366.86 c Restart #32 #Var: 7143 LB: 6489 @ 366.73 394.34 c Restart #33 #Var: 7143 LB: 6489 @ 394.2 416.07 c Restart #34 #Var: 7143 LB: 6489 @ 415.93 437.77 c Restart #35 #Var: 7141 LB: 6489 @ 437.62 461.67 c Restart #36 #Var: 7139 LB: 6489 @ 461.51 484.37 c Restart #37 #Var: 7138 LB: 6489 @ 484.21 508.39 c Restart #38 #Var: 7134 LB: 6489 @ 508.22 527.40 c Restart #39 #Var: 7134 LB: 6489 @ 527.23 557.23 c Restart #40 #Var: 7124 LB: 6489 @ 557.05 582.19 c Restart #41 #Var: 7124 LB: 6489 @ 582 618.81 c Restart #42 #Var: 7118 LB: 6489 @ 618.61 624.37 c Sol. found (all assignments made)... 624.41 c Sol. found (all assignments made)... 634.56 c Restart #43 #Var: 7118 LB: 6489 @ 634.36 671.91 c Restart #44 #Var: 7118 LB: 6489 @ 671.69 708.83 c Restart #45 #Var: 7114 LB: 6489 @ 708.61 740.16 c Restart #46 #Var: 7112 LB: 6489 @ 739.93 773.54 c Restart #47 #Var: 7111 LB: 6489 @ 773.3 816.73 c Restart #48 #Var: 7104 LB: 7396 @ 816.48 832.64 c Sol. found (all assignments made)... 832.64 c Sol. found (all assignments made)... 844.40 c Restart #49 #Var: 7103 LB: 7396 @ 844.14 872.77 c Restart #50 #Var: 7102 LB: 7396 @ 872.5 904.35 c Restart #51 #Var: 7102 LB: 7396 @ 904.08 932.19 c Restart #52 #Var: 7101 LB: 7396 @ 931.91 972.48 c Restart #53 #Var: 7100 LB: 7396 @ 972.18 1006.64 c Restart #54 #Var: 7098 LB: 7396 @ 1006.3 1051.99 c Restart #55 #Var: 7096 LB: 7396 @ 1051.7 1087.94 c Restart #56 #Var: 7096 LB: 7396 @ 1087.6 1107.09 c Sol. found (all assignments made)... 1107.09 o 37473 1107.09 c NEW SOLUTION FOUND: 37473 @ 1106.8 1107.10 c Sol. found (all assignments made)... 1107.10 c Sol. found (all assignments made)... 1107.27 c Sol. found (all assignments made)... 1107.61 c Sol. found (all assignments made)... 1107.61 c Sol. found (all assignments made)... 1107.62 c Sol. found (all assignments made)... 1107.62 c Sol. found (all assignments made)... 1107.62 o 37448 1107.62 c NEW SOLUTION FOUND: 37448 @ 1107.3 1107.62 c Sol. found (all assignments made)... 1108.99 c Sol. found (all assignments made)... 1108.99 c Sol. found (all assignments made)... 1109.09 c Sol. found (all assignments made)... 1109.12 c Sol. found (all assignments made)... 1109.12 c Sol. found (all assignments made)... 1109.22 c Sol. found (all assignments made)... 1109.22 c Sol. found (all assignments made)... 1109.22 c Sol. found (all assignments made)... 1109.78 c Sol. found (all assignments made)... 1109.80 c Sol. found (all assignments made)... 1109.81 c Sol. found (all assignments made)... 1109.81 c Sol. found (all assignments made)... 1109.88 c Sol. found (all assignments made)... 1109.89 c Sol. found (all assignments made)... 1109.89 c Sol. found (all assignments made)... 1109.90 c Sol. found (all assignments made)... 1109.90 c Sol. found (all assignments made)... 1110.49 c Sol. found (all assignments made)... 1110.49 c Sol. found (all assignments made)... 1110.49 c Sol. found (all assignments made)... 1110.49 o 37422 1110.49 c NEW SOLUTION FOUND: 37422 @ 1110.2 1110.50 c Sol. found (all assignments made)... 1110.50 c Sol. found (all assignments made)... 1110.51 c Sol. found (all assignments made)... 1110.51 c Sol. found (all assignments made)... 1123.20 c Restart #57 #Var: 7090 LB: 7396 @ 1122.9 1163.18 c Restart #58 #Var: 7086 LB: 7396 @ 1162.8 1188.44 c Restart #59 #Var: 7085 LB: 7396 @ 1188.1 1231.07 c Restart #60 #Var: 7084 LB: 7396 @ 1230.7 1276.86 c Restart #61 #Var: 7084 LB: 7396 @ 1276.5 1315.80 c Restart #62 #Var: 7084 LB: 7396 @ 1315.4 1361.40 c Restart #63 #Var: 7077 LB: 7396 @ 1361 1406.05 c Restart #64 #Var: 7076 LB: 7396 @ 1405.6 1440.89 c Restart #65 #Var: 7075 LB: 7396 @ 1440.5 1468.23 c Restart #66 #Var: 7075 LB: 7385 @ 1467.8 1519.65 c Restart #67 #Var: 7072 LB: 6617 @ 1519.2 1568.92 c Restart #68 #Var: 7072 LB: 6628 @ 1568.5 1610.18 c Restart #69 #Var: 7072 LB: 7535 @ 1609.7 1658.49 c Restart #70 #Var: 7069 LB: 6628 @ 1658 1695.51 c Restart #71 #Var: 7068 LB: 7535 @ 1695 1727.12 c Restart #72 #Var: 7068 LB: 6617 @ 1726.6 1775.25 c Restart #73 #Var: 7067 LB: 6628 @ 1774.7 1800.52 s SATISFIABLE 1800.52 c Cost: 37422 1800.52 v -x1 -x1112 -x2223 -x3334 -x4445 -x5556 -x6667 -x6974 -x7085 -x2 -x113 -x224 -x335 -x446 x557 -x668 -x779 -x890 x1001 -x1113 1800.52 v -x1224 -x1335 -x1446 -x1557 x1668 -x1779 -x1890 -x2001 -x2112 x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 -x3001 -x3112 1800.52 v -x3223 x3335 -x3446 -x3557 -x3668 -x3779 -x3890 x4001 -x4112 -x4223 -x4334 -x4446 -x4557 -x4668 -x4779 -x4890 -x5001 x5112 1800.52 v -x5223 x5334 x5445 -x5557 -x5668 -x5779 -x5890 x6001 -x6112 -x6223 x6334 x6445 -x6556 -x6668 -x6779 -x6886 -x6897 -x6908 1800.52 v -x6919 -x6930 -x6941 -x6952 -x6963 -x6975 -x6986 -x6997 -x7008 -x7019 -x7030 -x7041 -x7052 -x7063 -x7074 -x7086 -x7097 1800.52 v -x7108 -x7119 -x7130 -x7141 -x7152 -x7163 -x7174 -x7185 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 1800.52 v -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 x302 -x313 -x324 -x336 -x347 -x358 -x369 1800.52 v -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 -x591 -x602 1800.52 v -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 1800.52 v -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 x1057 1800.52 v -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 -x1247 1800.52 v -x1258 x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 1800.52 v -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 1800.52 v -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 1800.52 v -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1990 -x2002 1800.52 v -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 -x2190 1800.52 v -x2201 x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 -x2369 -x2380 1800.52 v -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 -x2558 -x2569 1800.52 v -x2580 -x2591 -x2602 -x2613 -x2624 -x2635 -x2646 -x2657 -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 -x2746 -x2757 1800.52 v -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 -x2857 -x2868 -x2879 -x2891 -x2902 -x2913 -x2924 -x2935 -x2946 1800.52 v -x2957 -x2968 x2979 -x2990 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 -x3124 -x3135 1800.52 v -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3312 -x3323 1800.52 v -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 -x3502 -x3513 1800.52 v -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 -x3691 -x3702 1800.52 v -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x3780 -x3791 -x3802 -x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3891 1800.52 v -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 x4002 -x4013 -x4024 -x4035 -x4046 -x4057 -x4068 -x4079 1800.52 v -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 -x4257 -x4268 1800.52 v -x4279 -x4290 -x4301 -x4312 -x4323 -x4335 -x4346 -x4357 -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 -x4447 -x4458 1800.52 v -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 1800.52 v -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 1800.52 v -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 -x5013 -x5024 1800.52 v -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 -x5201 -x5212 1800.52 v -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 -x5301 -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 -x5390 -x5401 1800.52 v -x5412 x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 -x5580 -x5591 1800.52 v -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 1800.52 v -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 1800.52 v -x5979 -x5990 -x6002 -x6013 -x6024 -x6035 -x6046 -x6057 -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 -x6146 -x6157 1800.52 v -x6168 -x6179 -x6190 -x6201 -x6212 -x6224 -x6235 -x6246 -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 x6323 -x6335 -x6346 1800.52 v -x6357 -x6368 -x6379 -x6390 -x6401 -x6412 -x6423 -x6434 -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 -x6523 -x6534 1800.52 v -x6545 -x6557 -x6568 -x6579 -x6590 -x6601 -x6612 -x6623 -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 -x6713 -x6724 1800.52 v -x6735 -x6746 -x6757 -x6768 -x6780 -x6791 -x6802 -x6813 -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6887 -x6888 -x6889 1800.52 v -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 1800.52 v -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 1800.52 v -x6927 -x6928 -x6929 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6942 -x6943 -x6944 -x6945 1800.52 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 1800.52 v -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 1800.52 v -x6984 -x6985 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 1800.52 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 1800.52 v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 1800.52 v -x7040 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1800.52 v -x7059 -x7060 -x7061 -x7062 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 1800.52 v -x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 1800.52 v -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 1800.52 v -x7116 -x7117 -x7118 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 1800.52 v -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 1800.52 v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 1800.52 v -x7172 -x7173 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 1800.52 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.52 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.52 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.52 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.52 v -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1800.52 v -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.52 v -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.52 v -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 1800.52 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 1800.52 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 1800.52 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 1800.52 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 1800.52 v -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 1800.52 v -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 1800.52 v -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 1800.52 v -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.52 v -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1800.52 v -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 1800.52 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 1800.52 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 1800.52 v -x483 -x484 -x485 -x486 x487 x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 1800.52 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 1800.52 v -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 -x551 1800.52 v -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 1800.52 v -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.52 v -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1800.52 v -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1800.52 v -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.52 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 1800.52 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 1800.52 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 1800.52 v -x739 x740 -x741 -x742 -x743 x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 1800.52 v -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 1800.52 v -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 1800.52 v -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.52 v -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1800.52 v -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 x877 1800.52 v -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1800.52 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 1800.52 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 1800.52 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 1800.52 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 1800.52 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 1800.52 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 1800.52 v -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1800.52 v -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 1800.52 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 1800.52 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.52 v -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 1800.52 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 1800.52 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.52 v -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 1800.52 v -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 1800.52 v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1800.52 v -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.52 v -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 1800.52 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.52 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.52 v -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 1800.52 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 1800.52 v -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.52 v -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1800.52 v -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 1800.52 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1800.52 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.52 v -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 1800.52 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 1800.52 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.52 v -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 1800.52 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 1800.52 v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1800.52 v -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.52 v -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 1800.52 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.52 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.52 v -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 1800.52 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 1800.52 v -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1800.52 v -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 1800.52 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 1800.52 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 1800.52 v -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.52 v -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1769 -x1770 -x1771 1800.52 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.52 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.52 v -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 1800.52 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 1800.52 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 1800.52 v -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 1800.52 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 1800.52 v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.52 v -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.52 v -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 1800.52 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.52 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.52 v -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 1800.52 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 1800.52 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1800.52 v -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 1800.52 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 1800.52 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.52 v -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.52 v -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 1800.52 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.52 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.52 v -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 1800.52 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 1800.52 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.52 v -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 1800.52 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 1800.52 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1800.52 v -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.52 v -x2320 -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 1800.52 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.52 v -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1800.52 v -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 1800.52 v -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 1800.52 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1800.52 v -x2433 -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 1800.52 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 1800.52 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.52 v -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.52 v -x2509 -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 1800.52 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 1800.52 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.52 v -x2566 -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 1800.52 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 1800.52 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.52 v -x2622 -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 1800.52 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 1800.52 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.52 v -x2679 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 1800.52 v -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 1800.52 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 1800.52 v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.52 v -x2754 -x2755 -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 1800.52 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 1800.52 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.52 v -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 1800.52 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 1800.52 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.52 v -x2867 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1800.52 v -x2886 -x2887 -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 1800.52 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.52 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 1800.52 v -x2943 -x2944 -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 1800.52 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 1800.52 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.52 v -x2999 -x3000 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 1800.52 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 1800.52 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 1800.52 v x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 1800.52 v -x3075 x3076 x3077 -x3078 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 1800.52 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3114 1800.52 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.52 v -x3133 -x3134 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 -x3148 -x3149 -x3150 -x3151 1800.52 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3169 -x3170 1800.52 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.52 v -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 1800.52 v -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 1800.52 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1800.52 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1800.52 v -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 1800.52 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 1800.52 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.52 v -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 1800.52 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 1800.52 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 1800.52 v -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1800.52 v -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 1800.52 v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1800.52 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.52 v -x3455 -x3456 -x3457 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 1800.52 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 1800.52 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1800.52 v -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 1800.52 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 1800.52 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1800.52 v -x3568 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1800.52 v -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3603 -x3604 -x3605 1800.52 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1800.52 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1800.52 v -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 1800.52 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3681 1800.52 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1800.52 v -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 1800.52 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 1800.52 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.52 v -x3756 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 1800.52 v -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 1800.52 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1800.52 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 1800.52 v -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 1800.52 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 1800.52 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.52 v -x3888 -x3889 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 1800.52 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 1800.52 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 1800.52 v -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.52 v -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 1800.52 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1800.52 v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1800.52 v -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 1800.52 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 1800.52 v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 1800.52 v -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 1800.52 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 1800.52 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 x4132 -x4133 1800.52 v -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.52 v -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 1800.52 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.52 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1800.52 v -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 1800.52 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 1800.52 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1800.52 v -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 1800.52 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 1800.52 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.52 v -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1800.52 v -x4342 -x4343 -x4344 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 1800.52 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.52 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1800.52 v -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 1800.52 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 1800.52 v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1800.52 v -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 1800.52 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 1800.52 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 1800.52 v -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1800.52 v -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 1800.52 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1800.52 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 1800.52 v -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 1800.52 v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 1800.52 v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1800.52 v -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 1800.52 v -x4663 -x4664 -x4665 -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 1800.52 v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.52 v -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.52 v -x4720 -x4721 -x4722 x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 1800.52 v -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 1800.52 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 1800.52 v -x4776 -x4777 -x4778 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 1800.52 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 1800.52 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1800.52 v -x4833 -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 1800.52 v -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 1800.52 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.52 v -x4889 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.52 v -x4909 -x4910 -x4911 -x4912 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 1800.52 v -x4928 -x4929 -x4930 x4931 x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 1800.52 v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.52 v -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 1800.52 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 1800.52 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 1800.52 v -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 1800.52 v -x5042 -x5043 -x5044 -x5045 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 1800.52 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.52 v -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 1800.52 v -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 1800.52 v -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 1800.52 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1800.52 v -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 1800.52 v -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 1800.52 v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 1800.52 v -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1800.52 v -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 1800.52 v -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.52 v -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 1800.52 v -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 1800.52 v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 1800.52 v -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.52 v -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 1800.52 v -x5363 -x5364 -x5365 -x5366 -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 1800.52 v -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 1800.52 v -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.52 v -x5419 -x5420 -x5421 -x5422 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 1800.52 v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1800.52 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 1800.52 v -x5476 -x5477 -x5478 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 1800.52 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 1800.52 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 1800.52 v -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 1800.52 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 1800.52 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 1800.52 v -x5590 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 1800.52 v -x5609 -x5610 -x5611 -x5612 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 1800.52 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 1800.52 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1800.52 v -x5665 -x5666 -x5667 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 1800.52 v -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 1800.52 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1800.52 v -x5722 -x5723 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 1800.52 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 1800.52 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 1800.52 v -x5778 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 1800.52 v -x5798 -x5799 x5800 -x5801 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 1800.52 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1800.52 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 1800.52 v -x5854 -x5855 -x5856 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 -x5871 -x5872 1800.52 v -x5873 -x5874 -x5875 -x5876 x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5892 1800.52 v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 1800.52 v -x5911 -x5912 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 1800.52 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 1800.52 v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 1800.52 v -x5967 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 1800.52 v -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6003 -x6004 -x6005 1800.52 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 1800.52 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 1800.52 v -x6043 -x6044 -x6045 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6058 -x6059 -x6060 -x6061 1800.52 v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6080 1800.52 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 1800.52 v -x6099 -x6100 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6114 -x6115 -x6116 -x6117 -x6118 1800.52 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6136 -x6137 1800.52 v -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 1800.52 v -x6156 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1800.52 v -x6175 -x6176 -x6177 -x6178 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 1800.52 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 1800.52 v -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.52 v -x6232 -x6233 -x6234 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 1800.52 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 1800.52 v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.52 v -x6288 -x6289 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 1800.52 v -x6307 -x6308 -x6309 -x6310 -x6311 -x6313 -x6314 -x6315 -x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 1800.52 v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 1800.52 v -x6345 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 -x6359 x6360 -x6361 -x6362 -x6363 1800.52 v -x6364 -x6365 -x6366 -x6367 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6380 -x6381 -x6382 1800.52 v -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 1800.52 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1800.52 v -x6420 -x6421 -x6422 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6435 -x6436 -x6437 -x6438 1800.52 v -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6458 1800.52 v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 -x6477 1800.52 v -x6478 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 1800.52 v -x6497 -x6498 -x6499 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6513 -x6514 -x6515 1800.52 v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 1800.52 v -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 1800.52 v -x6553 -x6554 -x6555 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6569 -x6570 -x6571 -x6572 1800.52 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6591 1800.52 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 1800.52 v -x6610 -x6611 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 1800.52 v -x6629 -x6630 -x6631 -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6646 -x6647 1800.52 v -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 1800.52 v -x6666 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 1800.52 v -x6687 -x6688 -x6689 -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6704 -x6705 1800.52 v -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 1800.52 v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 1800.52 v -x6743 -x6744 -x6745 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6758 -x6759 -x6760 -x6761 1800.52 v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6781 1800.52 v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 x6788 -x6789 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 1800.52 v -x6800 -x6801 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6814 -x6815 -x6816 -x6817 -x6818 1800.52 v -x6819 -x6820 -x6821 -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6836 -x6837 1800.52 v -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 1800.52 v -x6856 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6869 x6870 -x6871 -x6872 -x6873 -x6874 -x6875 1800.52 v -x6876 -x6877 -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 1800.52 c Exit Code: 10 1800.52 c Total time: 1800 s
OK 37422
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/node49/watcher-39769-1149244235 -o ROOT/results/node49/solver-39769-1149244235 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node49/39769-1149244235/instance-39769-1149244235.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.94 0.90 3/64 31343 /proc/meminfo: memFree=1321872/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=436 CPUtime=0 /proc/31343/stat : 31343 (bsolo) D 31341 31343 31297 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 190090639 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2515748 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31343/statm: 109 23 18 55 0 18 0 [startup+10.0017 s] /proc/loadavg: 0.89 0.94 0.90 2/64 31343 /proc/meminfo: memFree=1303832/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=22740 CPUtime=9.97 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 4903 0 0 0 983 14 0 0 25 0 1 0 190090639 23285760 4818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 5685 4818 297 55 0 4577 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 22740 [startup+20.0075 s] /proc/loadavg: 0.91 0.94 0.90 2/64 31343 /proc/meminfo: memFree=1301856/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=24768 CPUtime=19.97 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 5399 0 0 0 1982 15 0 0 25 0 1 0 190090639 25362432 5314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 6192 5314 297 55 0 5084 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 24768 [startup+30.0134 s] /proc/loadavg: 0.92 0.94 0.91 2/64 31343 /proc/meminfo: memFree=1295520/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=28816 CPUtime=29.96 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 9545 0 9 0 2978 18 0 0 25 0 1 0 190090639 29507584 6452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 7204 6452 439 55 0 6096 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 28816 [startup+40.0192 s] /proc/loadavg: 0.93 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1294560/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=29800 CPUtime=39.96 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 9834 0 9 0 3977 19 0 0 25 0 1 0 190090639 30515200 6723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2950779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 7450 6723 439 55 0 6342 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 29800 [startup+50.025 s] /proc/loadavg: 0.94 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1292832/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=31568 CPUtime=49.97 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 10286 0 9 0 4977 20 0 0 25 0 1 0 190090639 32325632 7165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 7892 7165 439 55 0 6784 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 31568 [startup+60.0308 s] /proc/loadavg: 0.95 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1291168/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=33244 CPUtime=59.97 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 10738 0 9 0 5976 21 0 0 25 0 1 0 190090639 34041856 7590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 8311 7590 439 55 0 7203 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 33244 [startup+70.0366 s] /proc/loadavg: 0.96 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1290464/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=33916 CPUtime=69.97 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 10936 0 9 0 6975 22 0 0 25 0 1 0 190090639 34729984 7743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 8479 7743 439 55 0 7371 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 33916 [startup+80.0425 s] /proc/loadavg: 0.96 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1289312/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=35036 CPUtime=79.98 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 11239 0 9 0 7975 23 0 0 25 0 1 0 190090639 35876864 8043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 8759 8043 439 55 0 7651 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 35036 [startup+90.0483 s] /proc/loadavg: 0.97 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1288480/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=35960 CPUtime=89.98 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 11450 0 9 0 8974 24 0 0 25 0 1 0 190090639 36823040 8254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 8990 8254 439 55 0 7882 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 35960 [startup+100.054 s] /proc/loadavg: 0.97 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1286624/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=37732 CPUtime=99.99 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 11916 0 9 0 9974 25 0 0 25 0 1 0 190090639 38637568 8720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2950779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 9433 8720 439 55 0 8325 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 37732 [startup+110.06 s] /proc/loadavg: 0.98 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1285920/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=38460 CPUtime=109.99 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 12118 0 9 0 10973 26 0 0 25 0 1 0 190090639 39383040 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 9615 8894 439 55 0 8507 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 38460 [startup+120.066 s] /proc/loadavg: 0.98 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1284000/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=40440 CPUtime=119.99 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 12612 0 9 0 11972 27 0 0 25 0 1 0 190090639 41410560 9388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 10110 9388 439 55 0 9002 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 40440 [startup+130.071 s] /proc/loadavg: 0.98 0.95 0.91 2/64 31343 /proc/meminfo: memFree=1283744/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=40684 CPUtime=129.99 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 12671 0 9 0 12972 27 0 0 25 0 1 0 190090639 41660416 9447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 10171 9447 439 55 0 9063 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 40684 [startup+140.076 s] /proc/loadavg: 0.98 0.96 0.91 2/64 31343 /proc/meminfo: memFree=1283424/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=41060 CPUtime=140 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 12774 0 9 0 13972 28 0 0 25 0 1 0 190090639 42045440 9529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 10265 9529 439 55 0 9157 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 41060 [startup+150.082 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31343 /proc/meminfo: memFree=1281824/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=42568 CPUtime=150 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 13159 0 9 0 14971 29 0 0 25 0 1 0 190090639 43589632 9912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 10642 9912 439 55 0 9534 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 42568 [startup+160.088 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31343 /proc/meminfo: memFree=1281504/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=42924 CPUtime=160 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 13250 0 9 0 15971 29 0 0 25 0 1 0 190090639 43954176 10003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 10731 10003 439 55 0 9623 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 42924 [startup+170.094 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31343 /proc/meminfo: memFree=1280224/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=44136 CPUtime=170 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 13557 0 9 0 16970 30 0 0 25 0 1 0 190090639 45195264 10310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 11034 10310 439 55 0 9926 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 44136 [startup+180.1 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31345 /proc/meminfo: memFree=1279832/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=44400 CPUtime=180.01 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 13636 0 9 0 17970 31 0 0 25 0 1 0 190090639 45465600 10389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 11100 10389 439 55 0 9992 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 44400 [startup+190.106 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31345 /proc/meminfo: memFree=1277728/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=46592 CPUtime=190.01 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 14183 0 9 0 18969 32 0 0 25 0 1 0 190090639 47710208 10936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 11648 10936 439 55 0 10540 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 46592 [startup+200.111 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31345 /proc/meminfo: memFree=1277088/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=46996 CPUtime=200.02 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 14390 0 9 0 19969 33 0 0 25 0 1 0 190090639 48123904 11039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 11749 11039 439 55 0 10641 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 46996 [startup+210.117 s] /proc/loadavg: 0.99 0.96 0.91 2/64 31345 /proc/meminfo: memFree=1276192/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/31343/statm: 34976 34266 439 55 0 33868 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 139904 [startup+1771.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183456/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=139904 CPUtime=1770.49 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43131 0 9 0 176918 131 0 0 25 0 1 0 190090639 143261696 34266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 34976 34266 439 55 0 33868 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 139904 [startup+1781.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183264/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140180 CPUtime=1780.49 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43231 0 9 0 177918 131 0 0 25 0 1 0 190090639 143544320 34335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35045 34335 439 55 0 33937 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 140180 [startup+1782.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183264/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140180 CPUtime=1781.49 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43231 0 9 0 178018 131 0 0 25 0 1 0 190090639 143544320 34335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35045 34335 439 55 0 33937 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 140180 [startup+1783.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183264/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140180 CPUtime=1782.5 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43231 0 9 0 178119 131 0 0 25 0 1 0 190090639 143544320 34335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35045 34335 439 55 0 33937 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 140180 [startup+1784.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183200/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140312 CPUtime=1783.51 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43259 0 9 0 178219 132 0 0 25 0 1 0 190090639 143679488 34363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35078 34363 439 55 0 33970 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 140312 [startup+1785.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183200/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140224 CPUtime=1784.52 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43259 0 9 0 178320 132 0 0 25 0 1 0 190090639 143589376 34346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35056 34346 439 55 0 33948 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 140224 [startup+1786.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182816/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140800 CPUtime=1785.52 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43393 0 9 0 178420 132 0 0 25 0 1 0 190090639 144179200 34470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35200 34470 439 55 0 34092 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 140800 [startup+1787.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183008/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140316 CPUtime=1786.52 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43412 0 9 0 178520 132 0 0 25 0 1 0 190090639 143683584 34369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35079 34369 439 55 0 33971 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 140316 [startup+1788.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183008/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140448 CPUtime=1787.53 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43436 0 9 0 178621 132 0 0 25 0 1 0 190090639 143818752 34393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35112 34393 439 55 0 34004 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 140448 [startup+1789.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1183008/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140412 CPUtime=1788.53 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43436 0 9 0 178721 132 0 0 25 0 1 0 190090639 143781888 34393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35103 34393 439 55 0 33995 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 140412 [startup+1790.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182880/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140676 CPUtime=1789.53 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43487 0 9 0 178821 132 0 0 25 0 1 0 190090639 144052224 34444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35169 34444 439 55 0 34061 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 140676 [startup+1791.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182816/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140808 CPUtime=1790.54 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43505 0 9 0 178922 132 0 0 25 0 1 0 190090639 144187392 34462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35202 34462 439 55 0 34094 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 140808 [startup+1792.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182624/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140932 CPUtime=1791.54 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43558 0 9 0 179022 132 0 0 25 0 1 0 190090639 144314368 34515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35233 34515 439 55 0 34125 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 140932 [startup+1793.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182624/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140932 CPUtime=1792.54 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43558 0 9 0 179122 132 0 0 25 0 1 0 190090639 144314368 34515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35233 34515 439 55 0 34125 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 140932 [startup+1794.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182624/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140932 CPUtime=1793.56 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43558 0 9 0 179223 133 0 0 25 0 1 0 190090639 144314368 34515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35233 34515 439 55 0 34125 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 140932 [startup+1795.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182624/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=140932 CPUtime=1794.56 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43558 0 9 0 179323 133 0 0 25 0 1 0 190090639 144314368 34515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550719 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35233 34515 439 55 0 34125 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 140932 [startup+1796.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182560/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=141064 CPUtime=1795.57 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43579 0 9 0 179424 133 0 0 25 0 1 0 190090639 144449536 34536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35266 34536 439 55 0 34158 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 141064 [startup+1797.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182496/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=141064 CPUtime=1796.57 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43581 0 9 0 179524 133 0 0 25 0 1 0 190090639 144449536 34538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35266 34538 439 55 0 34158 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 141064 [startup+1798.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182496/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=141064 CPUtime=1797.57 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43581 0 9 0 179624 133 0 0 25 0 1 0 190090639 144449536 34538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35266 34538 439 55 0 34158 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 141064 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182304/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=141264 CPUtime=1798.58 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43677 0 9 0 179725 133 0 0 25 0 1 0 190090639 144654336 34594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35316 34594 439 55 0 34208 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 141264 [startup+1800.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31345 /proc/meminfo: memFree=1182304/2055920 swapFree=4181416/4192956 [pid=31343] ppid=31341 vsize=141264 CPUtime=1799.58 /proc/31343/stat : 31343 (bsolo) R 31341 31343 31297 0 -1 0 43677 0 9 0 179825 133 0 0 25 0 1 0 190090639 144654336 34594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31343/statm: 35316 34594 439 55 0 34208 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 141264 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.03 CPU user time (s): 1798.67 CPU system time (s): 1.35879 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (Kb): 141264
Begin job on node49 on Fri Jun 2 10:30:35 UTC 2006 FILE ID= 39769-1149244235 PBS_JOBID= 297668 BENCH NAME= ROOT/tmp/node49/39769-1149244235/instance-39769-1149244235.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node49/39769-1149244235/instance-39769-1149244235.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-39769-1149244235 -o ROOT/results/node49/solver-39769-1149244235 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node49/39769-1149244235/instance-39769-1149244235.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED= 354762785 /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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1322080 kB Buffers: 9984 kB Cached: 653784 kB SwapCached: 3244 kB Active: 48108 kB Inactive: 624400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1322080 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 264 kB Writeback: 0 kB Mapped: 14896 kB Slab: 47340 kB Committed_AS: 242376 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Fri Jun 2 11:00:36 UTC 2006