Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 262412 | 1800.02 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 262412 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262412 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525077 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.11 c INFO: OSL Context initialized. 0.27 c Initial problem consists of 7561 variables and 337 constraints. 0.29 c No problem reductions applied in OPT. instance. 0.29 c preprocess terminated. Elapsed time: 0.177 0.29 c After prepocess the problem consists of 3731 variables and 337 constraints. 0.29 c Initial Lower Bound: 0 0.70 c Restart #1 #Var: 3727 LB: 0 @ 0.593 1.13 c Restart #2 #Var: 3727 LB: 0 @ 1.017 1.73 c Restart #3 #Var: 3727 LB: 0 @ 1.617 2.53 c Restart #4 #Var: 3727 LB: 0 @ 2.414 3.61 c Restart #5 #Var: 3727 LB: 0 @ 3.497 5.23 c Restart #6 #Var: 3727 LB: 0 @ 5.12 7.14 c Restart #7 #Var: 3727 LB: 0 @ 7.03 8.67 c Restart #8 #Var: 3727 LB: 0 @ 8.559 11.64 c Restart #9 #Var: 3727 LB: 0 @ 11.524 12.49 c Restart #10 #Var: 3727 LB: 0 @ 12.368 14.70 c Restart #11 #Var: 3727 LB: 0 @ 14.578 15.71 c Restart #12 #Var: 3726 LB: 0 @ 15.593 16.31 c Restart #13 #Var: 3725 LB: 0 @ 16.187 20.71 c Restart #14 #Var: 3725 LB: 0 @ 20.594 24.24 c Restart #15 #Var: 3725 LB: 0 @ 24.121 25.45 c Restart #16 #Var: 3725 LB: 0 @ 25.33 28.46 c Sol. found (all assignments made)... 28.46 o 262496 28.46 c NEW SOLUTION FOUND: 262496 @ 28.337 28.46 c Sol. found (all assignments made)... 28.46 o 262495 28.46 c NEW SOLUTION FOUND: 262495 @ 28.338 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 o 262494 28.47 c NEW SOLUTION FOUND: 262494 @ 28.344 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 o 262493 28.47 c NEW SOLUTION FOUND: 262493 @ 28.348 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 o 262492 28.48 c NEW SOLUTION FOUND: 262492 @ 28.357 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.50 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.53 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.55 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.56 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.58 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.59 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.60 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 o 262491 28.61 c NEW SOLUTION FOUND: 262491 @ 28.486 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.61 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.64 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.67 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.69 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.72 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.74 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 o 262490 28.76 c NEW SOLUTION FOUND: 262490 @ 28.638 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.76 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.79 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.81 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 29.30 c Sol. found (all assignments made)... 29.30 o 262489 29.30 c NEW SOLUTION FOUND: 262489 @ 29.179 29.36 c Sol. found (all assignments made)... 29.36 o 262488 29.36 c NEW SOLUTION FOUND: 262488 @ 29.237 29.69 c Sol. found (all assignments made)... 29.69 o 262487 29.69 c NEW SOLUTION FOUND: 262487 @ 29.566 31.04 c Restart #17 #Var: 3725 LB: 0 @ 30.918 32.08 c Restart #18 #Var: 3725 LB: 0 @ 31.959 34.28 c Restart #19 #Var: 3725 LB: 0 @ 34.159 39.28 c Restart #20 #Var: 3725 LB: 0 @ 39.159 41.75 c CHANGE to LPR mode... UB: 262487 MIS: 0 LPR: 173418 (0.24) Diff: 0 41.75 c Restart #0 #Var: 3725 LB: 0 @ 41.62 102.63 c Restart #1 #Var: 3725 LB: 173418 @ 102.49 106.19 o 262476 106.19 c NEW SOLUTION FOUND: 262476 @ 106.05 106.19 c Sol. found (all assignments made)... 106.19 c Sol. found (all assignments made)... 106.19 c Sol. found (all assignments made)... 106.19 c Sol. found (all assignments made)... 106.19 c Sol. found (all assignments made)... 106.19 c Sol. found (all assignments made)... 106.20 c Sol. found (all assignments made)... 106.20 c Sol. found (all assignments made)... 106.20 c Sol. found (all assignments made)... 106.20 c Sol. found (all assignments made)... 129.98 c Restart #2 #Var: 3725 LB: 173418 @ 129.84 134.52 o 262454 134.52 c NEW SOLUTION FOUND: 262454 @ 134.37 152.91 c Restart #3 #Var: 3725 LB: 173418 @ 152.75 157.20 o 262444 157.20 c NEW SOLUTION FOUND: 262444 @ 157.05 157.77 o 262443 157.77 c NEW SOLUTION FOUND: 262443 @ 157.61 162.39 o 262442 162.39 c NEW SOLUTION FOUND: 262442 @ 162.24 188.15 c Restart #4 #Var: 3725 LB: 173418 @ 187.99 203.82 o 262440 203.82 c NEW SOLUTION FOUND: 262440 @ 203.65 204.20 o 262439 204.20 c NEW SOLUTION FOUND: 262439 @ 204.03 238.97 c Restart #5 #Var: 3725 LB: 173418 @ 238.8 313.51 c Restart #6 #Var: 3725 LB: 173418 @ 313.32 366.95 c Restart #7 #Var: 3725 LB: 173418 @ 366.74 458.52 c Restart #8 #Var: 3725 LB: 173418 @ 458.29 520.11 c Restart #9 #Var: 3725 LB: 173418 @ 519.85 531.17 c Sol. found (all assignments made)... 531.17 o 262436 531.17 c NEW SOLUTION FOUND: 262436 @ 530.92 531.18 o 262435 531.18 c NEW SOLUTION FOUND: 262435 @ 530.93 531.20 c Sol. found (all assignments made)... 531.20 o 262434 531.20 c NEW SOLUTION FOUND: 262434 @ 530.94 531.23 o 262433 531.23 c NEW SOLUTION FOUND: 262433 @ 530.98 531.24 c Sol. found (all assignments made)... 531.24 c Sol. found (all assignments made)... 531.24 c Sol. found (all assignments made)... 531.44 o 262432 531.44 c NEW SOLUTION FOUND: 262432 @ 531.19 532.06 o 262431 532.06 c NEW SOLUTION FOUND: 262431 @ 531.81 532.85 c Sol. found (all assignments made)... 532.90 c Sol. found (all assignments made)... 532.93 o 262430 532.93 c NEW SOLUTION FOUND: 262430 @ 532.67 585.34 c Restart #10 #Var: 3725 LB: 173418 @ 585.07 672.85 c Restart #11 #Var: 3725 LB: 173418 @ 672.55 755.23 c Restart #12 #Var: 3725 LB: 173418 @ 754.91 813.39 c Restart #13 #Var: 3725 LB: 173418 @ 813.06 956.30 c Restart #14 #Var: 3725 LB: 173418 @ 955.93 962.39 c Sol. found (all assignments made)... 962.39 o 262422 962.39 c NEW SOLUTION FOUND: 262422 @ 962.02 962.40 c Sol. found (all assignments made)... 962.40 c Sol. found (all assignments made)... 962.41 c Sol. found (all assignments made)... 962.41 c Sol. found (all assignments made)... 962.42 c Sol. found (all assignments made)... 962.43 c Sol. found (all assignments made)... 962.43 c Sol. found (all assignments made)... 962.44 o 262421 962.44 c NEW SOLUTION FOUND: 262421 @ 962.07 1028.28 c Restart #15 #Var: 3725 LB: 173418 @ 1027.9 1179.70 c Restart #16 #Var: 3725 LB: 173418 @ 1179.3 1224.76 o 262420 1224.76 c NEW SOLUTION FOUND: 262420 @ 1224.3 1228.08 o 262419 1228.08 c NEW SOLUTION FOUND: 262419 @ 1227.6 1228.08 c Sol. found (all assignments made)... 1231.28 o 262418 1231.28 c NEW SOLUTION FOUND: 262418 @ 1230.8 1231.54 o 262417 1231.54 c NEW SOLUTION FOUND: 262417 @ 1231.1 1235.02 o 262415 1235.02 c NEW SOLUTION FOUND: 262415 @ 1234.6 1236.80 o 262414 1236.80 c NEW SOLUTION FOUND: 262414 @ 1236.4 1391.58 c Restart #17 #Var: 3725 LB: 173418 @ 1391.1 1491.31 c Sol. found (all assignments made)... 1491.31 c Sol. found (all assignments made)... 1491.56 c Sol. found (all assignments made)... 1491.75 c Sol. found (all assignments made)... 1491.89 c Sol. found (all assignments made)... 1492.00 c Sol. found (all assignments made)... 1492.08 c Sol. found (all assignments made)... 1492.14 o 262413 1492.14 c NEW SOLUTION FOUND: 262413 @ 1491.6 1493.89 o 262412 1493.89 c NEW SOLUTION FOUND: 262412 @ 1493.4 1648.21 c Restart #18 #Var: 3725 LB: 173418 @ 1647.7 1799.45 c Restart #19 #Var: 3725 LB: 173418 @ 1798.9 1800.59 s SATISFIABLE 1800.59 c Cost: 262412 1800.59 v x4741 -x4742 x4743 x4744 x4745 x4746 x4747 x4748 x4749 x4750 x4751 x4752 -x4753 x4754 -x4755 x4756 x4757 x4758 x4759 x4760 1800.59 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1800.59 v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 1800.59 v -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 x4772 -x4773 x4774 -x4775 x4776 -x4777 -x4778 -x4779 x4810 -x4811 -x4812 1800.59 v x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4890 1800.59 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 1800.59 v -x4938 -x4939 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x5040 -x5041 -x5102 -x5103 -x5104 1800.59 v -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 1800.59 v -x5182 -x5183 -x5184 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5255 -x5256 -x5257 -x5258 1800.59 v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5295 x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5335 1800.59 v -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.59 v -x5383 -x5384 x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 1800.59 v -x5491 -x5492 -x5493 -x5494 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5565 -x5566 -x5567 1800.59 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5605 -x5606 -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 x5614 -x5645 1800.59 v -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 1800.59 v -x5693 -x5694 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5765 -x5766 -x5767 -x5768 -x5769 1800.59 v -x5770 -x5771 -x5772 -x5773 -x5774 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5845 -x5846 1800.59 v -x5847 -x5848 x5849 -x5850 -x5851 -x5852 x5853 -x5854 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 1800.59 v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 1800.59 v -x6002 -x6003 -x6004 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6075 -x6076 -x6077 -x6078 1800.59 v -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x5815 -x5816 -x5817 -x5818 1800.59 v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 1800.59 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 1800.59 v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 1800.59 v -x5910 -x5911 -x5912 -x5913 -x5914 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 1800.59 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 1800.59 v -x5954 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1800.59 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x6005 -x6006 -x6007 1800.59 v -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 1800.59 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 1800.59 v -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 1800.59 v -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 1800.59 v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 1800.59 v -x6113 -x6114 x6122 -x6123 -x6124 x6125 x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 1800.59 v -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 1800.59 v -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 1800.59 v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 1800.59 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 1800.59 v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 1800.59 v -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.59 v -x6240 -x6241 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 x6284 -x6285 -x6286 -x6287 1800.59 v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1800.59 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1800.59 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.59 v -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 1800.59 v -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1800.59 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.59 v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 1800.59 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 1800.59 v -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 1800.59 v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 1800.59 v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 1800.59 v -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 1800.59 v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 1800.59 v -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 1800.59 v -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 1800.59 v -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 1800.59 v -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6602 -x6603 -x6604 -x6605 -x6606 1800.59 v -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 1800.59 v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.59 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 1800.59 v -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 1800.59 v x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 1800.59 v -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 1800.59 v -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 1800.59 v -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 1800.59 v -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 1800.59 v -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 1800.59 v -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 1800.59 v -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 1800.59 v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 1800.59 v -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 1800.59 v -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 1800.59 v -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 1800.59 v -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 1800.59 v -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 1800.59 v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 1800.59 v -x6960 -x6961 x6962 x6963 x6964 x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 1800.59 v -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 1800.59 v -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 1800.59 v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 1800.59 v -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 1800.59 v -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 1800.59 v -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 1800.59 v -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 1800.59 v -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 1800.59 v -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 1800.59 v -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 1800.59 v -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 1800.59 v -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 1800.59 v -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 1800.59 v -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 1800.59 v -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7262 1800.59 v -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 1800.59 v -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 1800.59 v -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 1800.59 v -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 1800.59 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 1800.59 v -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 1800.59 v -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 1800.59 v -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 1800.59 v -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 x7412 x7413 x7414 x7415 -x7416 1800.59 v -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 1800.59 v -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 1800.59 v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 1800.59 v -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 1800.59 v -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 1800.59 v -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 1800.59 v -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 1800.59 v -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 1800.59 v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 1800.59 v -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1800.59 v -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 1800.59 v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 1800.59 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 1800.59 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 1800.59 v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.59 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 1800.59 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1800.59 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.59 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.59 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 1800.59 v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 1800.59 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 1800.59 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.59 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.59 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.59 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.59 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.59 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.59 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.59 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.59 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.59 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.59 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.59 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.59 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.59 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.59 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 1800.59 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1800.59 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 1800.59 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1800.59 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1800.59 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1800.59 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 1800.59 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 1800.59 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 1800.59 v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 1800.59 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 x935 1800.59 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1800.59 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 1800.59 v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 1800.59 v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.59 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.59 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.59 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.59 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.59 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.59 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.59 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.59 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.59 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.59 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.59 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.59 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.59 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.59 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.59 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.59 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.59 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.59 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 1800.59 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.59 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.59 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.59 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.59 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.59 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.59 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.59 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.59 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.59 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.59 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.59 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.59 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.59 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.59 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 1800.59 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.59 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.59 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.59 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.59 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.59 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.59 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.59 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 1800.59 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.59 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.59 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.59 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.59 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.59 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.59 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.59 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.59 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.59 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.59 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.59 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.59 v -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.59 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1800.59 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.59 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.59 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1800.59 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.59 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.59 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.59 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.59 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.59 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 1800.59 v -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.59 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.59 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.59 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.59 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.59 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.59 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 1800.59 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1800.59 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1800.59 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.59 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1800.59 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.59 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1800.59 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1800.59 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.59 v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.59 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 1800.59 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 1800.59 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.59 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.59 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.59 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1800.59 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.59 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.59 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.59 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.59 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.59 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1800.59 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.59 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.59 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.59 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.59 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.59 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.59 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.59 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.59 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.59 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.59 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.59 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.59 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.59 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.59 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.59 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1800.59 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.59 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.59 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1800.59 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.59 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.59 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.59 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.59 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.59 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.59 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1800.59 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 1800.59 v x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.59 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.59 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.59 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.59 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1800.59 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.59 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1800.59 v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 1800.59 v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 1800.59 v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 1800.59 v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 1800.59 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1800.59 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1800.59 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 1800.59 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1800.59 v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1800.59 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1800.59 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.59 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 1800.59 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.59 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1800.59 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.59 v -x3687 -x3688 -x3689 -x3690 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1800.59 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.59 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.59 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.59 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1800.59 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1800.59 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.59 v -x3836 -x3837 -x3838 -x3839 -x3840 x3841 x3842 x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 1800.59 v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1800.59 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.59 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.59 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 1800.59 v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 1800.59 v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 1800.59 v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 1800.59 v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 1800.59 v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 1800.59 v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4051 -x4052 -x4053 1800.59 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 1800.59 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 1800.59 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 1800.59 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 1800.59 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.59 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.59 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 1800.59 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.59 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.59 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1800.59 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 1800.59 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1800.59 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 1800.59 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1800.59 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 1800.59 v -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 1800.59 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 1800.59 v -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1800.59 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.59 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1800.59 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1800.59 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1800.59 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1800.59 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1800.59 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1800.59 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.59 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.59 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.59 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1800.59 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 1800.59 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1800.59 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 1800.59 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1800.59 v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 1800.59 v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1800.59 v -x4679 -x4680 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 1800.59 v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x1 -x2 -x3 -x4 1800.59 v -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x3691 1800.59 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1800.59 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x5265 -x5266 -x5267 -x5268 -x5269 1800.59 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 1800.59 v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 1800.59 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 1800.59 v -x5721 -x5722 -x5723 -x5724 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 1800.59 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1800.59 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1800.59 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x5305 -x5306 -x5307 -x5308 1800.59 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.59 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1800.59 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1800.59 v -x5760 -x5761 -x5762 -x5763 -x5764 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 1800.59 v -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 1800.59 v -x5009 x4351 x4352 x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 1800.59 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x5345 -x5346 -x5347 -x5348 1800.59 v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 1800.59 v -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1800.59 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1800.59 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 1800.59 v -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 1800.59 v -x5454 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.59 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x5385 -x5386 -x5387 1800.59 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 1800.59 v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.59 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.59 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1800.59 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1800.59 v -x4808 -x4809 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.59 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x6242 -x6243 1800.59 v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 1800.59 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1800.59 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.59 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 1800.59 v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 1800.59 v -x5085 -x5086 -x5087 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1800.59 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x6572 1800.59 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1800.59 v -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x4860 -x4861 -x4862 -x4863 -x4864 1800.59 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1800.59 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 1800.59 v -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.59 v -x5131 -x5132 -x5133 -x5134 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 1800.59 v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 1800.59 v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 1800.59 v -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x4900 -x4901 -x4902 -x4903 1800.59 v -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 1800.59 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 1800.59 v -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 1800.59 v -x5170 -x5171 -x5172 -x5173 -x5174 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 1800.59 v -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 1800.59 v -x5604 x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 1800.59 v -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x4940 -x4941 -x4942 1800.59 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.59 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 1800.59 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 1800.59 v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 x5624 x5625 -x5626 1800.59 v -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 1800.59 v -x5644 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.59 v -x55 -x56 -x57 -x58 -x59 -x60 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 1800.59 v -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 1800.59 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 1800.59 v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5655 -x5656 -x5657 -x5658 1800.59 v -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 1800.59 v -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 1800.59 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x2011 1800.59 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.59 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x691 -x692 -x693 -x694 -x695 -x696 1800.59 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.59 v -x718 -x719 -x720 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.59 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x1021 -x1022 1800.59 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.59 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.59 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.59 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1800.59 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 1800.59 v -x1378 -x1379 -x1380 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1800.59 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x1681 1800.59 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.59 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x3361 -x3362 -x3363 -x3364 -x3365 1800.59 v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 1800.59 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.60 c Exit Code: 10 1800.60 c Total time: 1800 s
OK 262412
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/node42/watcher-40032-1149358343 -o ROOT/results/node42/solver-40032-1149358343 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40032-1149358343/instance-40032-1149358343.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1610080/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=3224 CPUtime=0 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 201501375 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 1 0 0 /proc/19854/statm: 841 39 29 55 0 40 0 [startup+10.0023 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1599848/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=14916 CPUtime=9.88 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 3133 0 0 0 984 4 0 0 25 0 1 0 201501375 15273984 2854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 3729 2854 297 55 0 2621 0 Current children cumulated CPU time (s) 9.88 Current children cumulated vsize (Kb) 14916 [startup+20.0084 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1599848/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=14916 CPUtime=19.88 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 3133 0 0 0 1983 5 0 0 25 0 1 0 201501375 15273984 2854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 3729 2854 297 55 0 2621 0 Current children cumulated CPU time (s) 19.88 Current children cumulated vsize (Kb) 14916 [startup+30.0146 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1597544/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=17236 CPUtime=29.88 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 3707 0 0 0 2982 6 0 0 25 0 1 0 201501375 17649664 3428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 4309 3428 298 55 0 3201 0 Current children cumulated CPU time (s) 29.88 Current children cumulated vsize (Kb) 17236 [startup+40.0207 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1597160/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=17628 CPUtime=39.88 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 3793 0 0 0 3982 6 0 0 25 0 1 0 201501375 18051072 3514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 4407 3514 298 55 0 3299 0 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (Kb) 17628 [startup+50.0278 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1593960/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=21044 CPUtime=49.9 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 32114 0 0 0 4971 19 0 0 25 0 1 0 201501375 21549056 4445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5261 4445 429 55 0 4153 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 21044 [startup+60.0339 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1594024/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20920 CPUtime=59.9 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 58435 0 0 0 5958 32 0 0 25 0 1 0 201501375 21422080 4422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5230 4422 429 55 0 4122 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 20920 [startup+70.04 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1594472/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20012 CPUtime=69.9 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 83587 0 0 0 6947 43 0 0 25 0 1 0 201501375 20492288 4264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5003 4264 429 55 0 3895 0 Current children cumulated CPU time (s) 69.9 Current children cumulated vsize (Kb) 20012 [startup+80.0462 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1594088/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20844 CPUtime=79.9 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 111423 0 0 0 7933 57 0 0 25 0 1 0 201501375 21344256 4409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159257326 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5211 4409 430 55 0 4103 0 Current children cumulated CPU time (s) 79.9 Current children cumulated vsize (Kb) 20844 [startup+90.0523 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1594216/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20084 CPUtime=89.91 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 135733 0 0 0 8922 69 0 0 25 0 1 0 201501375 20566016 4282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5021 4282 430 55 0 3913 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 20084 [startup+100.058 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1594408/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20452 CPUtime=99.91 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 160535 0 0 0 9910 81 0 0 25 0 1 0 201501375 20942848 4269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160212171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5113 4269 431 55 0 4005 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 20452 [startup+110.065 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1593704/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=20736 CPUtime=109.92 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 180200 0 0 0 10898 94 0 0 25 0 1 0 201501375 21233664 4447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5184 4447 431 55 0 4076 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 20736 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1592744/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=21828 CPUtime=119.92 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 202616 0 0 0 11887 105 0 0 25 0 1 0 201501375 22351872 4712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12848802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5457 4712 431 55 0 4349 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 21828 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1592488/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=22004 CPUtime=129.92 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 208642 0 0 0 12883 109 0 0 25 0 1 0 201501375 22532096 4764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158503260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5501 4764 431 55 0 4393 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 22004 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1591784/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=23216 CPUtime=139.92 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 246807 0 0 0 13867 125 0 0 25 0 1 0 201501375 23773184 4971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 5804 4971 431 55 0 4696 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 23216 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589736/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=149.92 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 275331 0 0 0 14854 138 0 0 25 0 1 0 201501375 25567232 5494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5494 431 55 0 5134 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 24968 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589544/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=159.93 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 275391 0 0 0 15854 139 0 0 25 0 1 0 201501375 25567232 5502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5502 431 55 0 5134 0 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 24968 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589544/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=169.93 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 275391 0 0 0 16853 140 0 0 25 0 1 0 201501375 25567232 5502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5502 431 55 0 5134 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 24968 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589544/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=179.94 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 275391 0 0 0 17853 141 0 0 25 0 1 0 201501375 25567232 5502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5502 431 55 0 5134 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 24968 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589480/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=189.94 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 277717 0 0 0 18851 143 0 0 25 0 1 0 201501375 25567232 5505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12524660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5505 431 55 0 5134 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 24968 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589480/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=24968 CPUtime=199.94 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 277719 0 0 0 19851 143 0 0 25 0 1 0 201501375 25567232 5507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 6242 5507 433 55 0 5134 0 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 24968 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19854 /proc/meminfo: memFree=1589480/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/19854/statm: 12249 11525 436 55 0 11141 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 48996 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1770.51 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064535 0 0 0 176477 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 49896 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1780.51 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064539 0 0 0 177477 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 49896 [startup+1782.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1781.51 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064539 0 0 0 177577 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 49896 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1782.52 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064543 0 0 0 177678 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 49896 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1783.52 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064547 0 0 0 177778 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 49896 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1784.53 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064557 0 0 0 177879 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 49896 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1785.53 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064585 0 0 0 177979 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 49896 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1786.54 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064616 0 0 0 178080 574 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 49896 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1787.55 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064654 0 0 0 178180 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 49896 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1788.55 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064680 0 0 0 178280 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 49896 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1789.55 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064747 0 0 0 178380 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 49896 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1790.56 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064774 0 0 0 178481 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 49896 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1791.56 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064865 0 0 0 178581 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12848797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 49896 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1792.56 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1064928 0 0 0 178681 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158526045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 49896 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564136/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49896 CPUtime=1793.57 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065009 0 0 0 178782 575 0 0 25 0 1 0 201501375 51093504 11752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160018146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12474 11752 436 55 0 11366 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 49896 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1794.58 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 178882 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160017680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 49820 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1795.58 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 178982 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 49820 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1796.59 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 179083 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 49820 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1797.59 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 179183 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 49820 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1798.6 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 179284 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 49820 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 19856 /proc/meminfo: memFree=1564200/2055920 swapFree=4181444/4192956 [pid=19854] ppid=19852 vsize=49820 CPUtime=1799.6 /proc/19854/stat : 19854 (bsolo) R 19852 19854 19808 0 -1 0 1065115 0 0 0 179384 576 0 0 25 0 1 0 201501375 51015680 11733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19854/statm: 12455 11733 436 55 0 11347 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 49820 Child status: 10 Real time (s): 1800.61 CPU time (s): 1800.02 CPU user time (s): 1794.25 CPU system time (s): 5.77112 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 49896
Begin job on node42 on Sat Jun 3 18:12:23 UTC 2006 FILE ID= 40032-1149358343 PBS_JOBID= 311364 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40032-1149358343/instance-40032-1149358343.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-40032-1149358343 -o ROOT/results/node42/solver-40032-1149358343 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node42/40032-1149358343/instance-40032-1149358343.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED= 694084069 /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: 1610288 kB Buffers: 13112 kB Cached: 365428 kB SwapCached: 3212 kB Active: 44524 kB Inactive: 342684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1610288 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14932 kB Slab: 44460 kB Committed_AS: 349664 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sat Jun 3 18:42:24 UTC 2006