Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 14239342 | 1800.03 | 1800.55 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb |
MD5SUM | 334ff12347ae763156f4e4389dfec521 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5885956 |
Best CPU time to get the best result obtained on this benchmark | 1800.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5885956 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 288 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1558042522197 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1558042522197 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.20 c Initial problem consists of 7936 variables and 320 constraints. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.209 0.22 c After prepocess the problem consists of 3722 variables and 320 constraints. 0.22 c Initial Lower Bound: 0 0.33 c Restart #1 #Var: 3722 LB: 0 @ 0.321 0.54 c Restart #2 #Var: 3722 LB: 0 @ 0.526 0.83 c Restart #3 #Var: 3722 LB: 0 @ 0.819 1.21 c Restart #4 #Var: 3722 LB: 0 @ 1.204 1.70 c Restart #5 #Var: 3722 LB: 0 @ 1.686 2.25 c Restart #6 #Var: 3722 LB: 0 @ 2.244 2.91 c Restart #7 #Var: 3722 LB: 0 @ 2.895 3.65 c Restart #8 #Var: 3722 LB: 0 @ 3.64 4.49 c Restart #9 #Var: 3722 LB: 0 @ 4.482 5.32 c Restart #10 #Var: 3722 LB: 0 @ 5.309 6.26 c Restart #11 #Var: 3722 LB: 0 @ 6.244 7.20 c Restart #12 #Var: 3722 LB: 0 @ 7.183 8.05 c Restart #13 #Var: 3722 LB: 0 @ 8.039 9.25 c Restart #14 #Var: 3722 LB: 0 @ 9.24 10.41 c Restart #15 #Var: 3722 LB: 0 @ 10.397 11.79 c Restart #16 #Var: 3722 LB: 0 @ 11.77 13.00 c Restart #17 #Var: 3722 LB: 0 @ 12.98 14.38 c Restart #18 #Var: 3722 LB: 0 @ 14.359 16.28 c Restart #19 #Var: 3722 LB: 0 @ 16.261 17.87 c Restart #20 #Var: 3722 LB: 0 @ 17.851 19.52 c Restart #21 #Var: 3722 LB: 0 @ 19.498 21.66 c Restart #22 #Var: 3722 LB: 0 @ 21.638 23.62 c Restart #23 #Var: 3722 LB: 0 @ 23.595 25.55 c Restart #24 #Var: 3722 LB: 0 @ 25.529 27.60 c Restart #25 #Var: 3722 LB: 0 @ 27.578 29.85 c Restart #26 #Var: 3722 LB: 0 @ 29.829 32.25 c Restart #27 #Var: 3722 LB: 0 @ 32.228 34.92 c Restart #28 #Var: 3722 LB: 0 @ 34.899 37.47 c Restart #29 #Var: 3722 LB: 0 @ 37.445 39.93 c Restart #30 #Var: 3722 LB: 0 @ 39.909 42.53 c Restart #31 #Var: 3722 LB: 0 @ 42.508 45.23 c Restart #32 #Var: 3722 LB: 0 @ 45.202 47.89 c Restart #33 #Var: 3722 LB: 0 @ 47.862 50.66 c Restart #34 #Var: 3722 LB: 0 @ 50.637 53.74 c Restart #35 #Var: 3722 LB: 0 @ 53.712 55.79 c Sol. found (all assignments made)... 55.79 o 36293721 55.79 c NEW SOLUTION FOUND: 36293721 @ 55.758 55.80 c Sol. found (all assignments made)... 55.82 c Sol. found (all assignments made)... 55.82 o 36293719 55.82 c NEW SOLUTION FOUND: 36293719 @ 55.794 55.85 c Sol. found (all assignments made)... 55.85 o 36101207 55.85 c NEW SOLUTION FOUND: 36101207 @ 55.817 55.86 c Sol. found (all assignments made)... 55.87 c Sol. found (all assignments made)... 55.89 c Sol. found (all assignments made)... 55.89 o 35900503 55.89 c NEW SOLUTION FOUND: 35900503 @ 55.862 55.90 c Sol. found (all assignments made)... 55.91 c Sol. found (all assignments made)... 55.94 c Sol. found (all assignments made)... 55.94 o 35810391 55.94 c NEW SOLUTION FOUND: 35810391 @ 55.907 55.95 c Sol. found (all assignments made)... 55.96 c Sol. found (all assignments made)... 55.99 c Sol. found (all assignments made)... 55.99 o 35601495 55.99 c NEW SOLUTION FOUND: 35601495 @ 55.957 56.00 c Sol. found (all assignments made)... 56.01 c Sol. found (all assignments made)... 56.04 c Sol. found (all assignments made)... 56.04 o 35601471 56.04 c NEW SOLUTION FOUND: 35601471 @ 56.013 56.06 c Sol. found (all assignments made)... 56.06 c Sol. found (all assignments made)... 56.09 c Sol. found (all assignments made)... 56.09 o 35601464 56.09 c NEW SOLUTION FOUND: 35601464 @ 56.061 56.10 c Sol. found (all assignments made)... 56.24 c Sol. found (all assignments made)... 56.24 o 35601457 56.24 c NEW SOLUTION FOUND: 35601457 @ 56.214 56.25 c Sol. found (all assignments made)... 56.29 c Sol. found (all assignments made)... 56.36 c Sol. found (all assignments made)... 56.37 c Sol. found (all assignments made)... 56.38 c Sol. found (all assignments made)... 56.39 c Sol. found (all assignments made)... 56.44 c Sol. found (all assignments made)... 56.46 c Sol. found (all assignments made)... 56.46 c Sol. found (all assignments made)... 56.52 c Sol. found (all assignments made)... 56.53 c Sol. found (all assignments made)... 56.54 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.61 c Sol. found (all assignments made)... 56.61 c Sol. found (all assignments made)... 56.85 c Sol. found (all assignments made)... 56.89 c Sol. found (all assignments made)... 56.95 c Sol. found (all assignments made)... 57.01 c Sol. found (all assignments made)... 57.02 c Sol. found (all assignments made)... 57.03 c Sol. found (all assignments made)... 57.10 c Sol. found (all assignments made)... 57.30 c Sol. found (all assignments made)... 57.49 c Sol. found (all assignments made)... 57.50 c Sol. found (all assignments made)... 57.54 c Sol. found (all assignments made)... 57.56 c Sol. found (all assignments made)... 57.59 c Sol. found (all assignments made)... 57.60 c Sol. found (all assignments made)... 57.70 c Sol. found (all assignments made)... 57.71 c Sol. found (all assignments made)... 57.78 c Sol. found (all assignments made)... 57.97 c Sol. found (all assignments made)... 57.98 c Sol. found (all assignments made)... 58.02 c Sol. found (all assignments made)... 58.07 c Sol. found (all assignments made)... 58.08 c Sol. found (all assignments made)... 58.15 c Sol. found (all assignments made)... 58.15 c Sol. found (all assignments made)... 58.16 c Sol. found (all assignments made)... 58.22 c Sol. found (all assignments made)... 58.30 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.66 c Sol. found (all assignments made)... 58.67 c Sol. found (all assignments made)... 58.72 c Sol. found (all assignments made)... 58.74 c Sol. found (all assignments made)... 58.77 c Sol. found (all assignments made)... 58.78 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.84 c Sol. found (all assignments made)... 58.85 c Sol. found (all assignments made)... 58.86 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.18 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.27 c Sol. found (all assignments made)... 59.29 c Sol. found (all assignments made)... 59.30 c Sol. found (all assignments made)... 59.36 c Sol. found (all assignments made)... 59.36 c Sol. found (all assignments made)... 59.38 c Sol. found (all assignments made)... 59.42 c Sol. found (all assignments made)... 59.43 c Sol. found (all assignments made)... 59.44 c Sol. found (all assignments made)... 59.48 c Sol. found (all assignments made)... 59.49 c Sol. found (all assignments made)... 59.50 c Sol. found (all assignments made)... 59.58 c Sol. found (all assignments made)... 59.61 c Sol. found (all assignments made)... 59.64 c Sol. found (all assignments made)... 59.65 c Sol. found (all assignments made)... 59.84 c Sol. found (all assignments made)... 59.88 c Sol. found (all assignments made)... 59.92 c Sol. found (all assignments made)... 59.93 c Sol. found (all assignments made)... 59.95 c Sol. found (all assignments made)... 59.96 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.05 c Sol. found (all assignments made)... 60.06 c Sol. found (all assignments made)... 60.07 c Sol. found (all assignments made)... 60.10 c Sol. found (all assignments made)... 60.12 c Sol. found (all assignments made)... 60.13 c Sol. found (all assignments made)... 60.17 c Sol. found (all assignments made)... 60.17 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 60.22 c Sol. found (all assignments made)... 60.26 c Sol. found (all assignments made)... 60.26 c Sol. found (all assignments made)... 60.28 c Sol. found (all assignments made)... 60.33 c Sol. found (all assignments made)... 60.34 c Sol. found (all assignments made)... 60.35 c Sol. found (all assignments made)... 60.42 c Sol. found (all assignments made)... 60.44 c Sol. found (all assignments made)... 60.46 c Sol. found (all assignments made)... 60.47 c Sol. found (all assignments made)... 60.48 c Sol. found (all assignments made)... 60.50 c Sol. found (all assignments made)... 60.51 c Sol. found (all assignments made)... 60.56 c Sol. found (all assignments made)... 60.66 c Sol. found (all assignments made)... 60.68 c Sol. found (all assignments made)... 60.73 c Sol. found (all assignments made)... 60.74 c Sol. found (all assignments made)... 60.77 c Sol. found (all assignments made)... 60.77 c Sol. found (all assignments made)... 60.79 c Sol. found (all assignments made)... 60.80 c Sol. found (all assignments made)... 60.88 c Sol. found (all assignments made)... 60.89 c Sol. found (all assignments made)... 60.95 c Sol. found (all assignments made)... 60.97 c Sol. found (all assignments made)... 60.98 c Sol. found (all assignments made)... 60.98 c Sol. found (all assignments made)... 61.01 c Sol. found (all assignments made)... 61.01 c Sol. found (all assignments made)... 61.47 c Sol. found (all assignments made)... 61.47 c Sol. found (all assignments made)... 61.49 c Sol. found (all assignments made)... 61.50 c Sol. found (all assignments made)... 61.59 c Sol. found (all assignments made)... 61.59 c Sol. found (all assignments made)... 61.63 c Sol. found (all assignments made)... 61.63 c Sol. found (all assignments made)... 61.63 o 35601456 61.63 c NEW SOLUTION FOUND: 35601456 @ 61.601 61.64 c Sol. found (all assignments made)... 61.66 c Sol. found (all assignments made)... 61.67 c Sol. found (all assignments made)... 61.67 c Sol. found (all assignments made)... 61.81 c Sol. found (all assignments made)... 61.81 c Sol. found (all assignments made)... 61.88 c Sol. found (all assignments made)... 61.90 c Sol. found (all assignments made)... 61.91 c Sol. found (all assignments made)... 61.99 c Sol. found (all assignments made)... 61.99 c Sol. found (all assignments made)... 62.01 c Sol. found (all assignments made)... 62.01 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.07 c Sol. found (all assignments made)... 62.07 o 35601449 62.07 c NEW SOLUTION FOUND: 35601449 @ 62.036 62.07 c Sol. found (all assignments made)... 62.23 c Sol. found (all assignments made)... 62.28 c Sol. found (all assignments made)... 62.29 c Sol. found (all assignments made)... 62.29 c Sol. found (all assignments made)... 62.34 c Sol. found (all assignments made)... 62.38 c Sol. found (all assignments made)... 62.48 c Sol. found (all assignments made)... 62.49 c Sol. found (all assignments made)... 62.62 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.74 c Sol. found (all assignments made)... 62.75 c Sol. found (all assignments made)... 62.78 c Sol. found (all assignments made)... 62.79 c Sol. found (all assignments made)... 62.91 c Sol. found (all assignments made)... 62.94 c Sol. found (all assignments made)... 62.97 c Sol. found (all assignments made)... 63.09 c Sol. found (all assignments made)... 63.12 c Sol. found (all assignments made)... 63.24 c Sol. found (all assignments made)... 63.26 c Sol. found (all assignments made)... 63.29 c Sol. found (all assignments made)... 63.37 c Sol. found (all assignments made)... 63.48 c Sol. found (all assignments made)... 63.49 c Sol. found (all assignments made)... 63.55 c Sol. found (all assignments made)... 63.56 c Sol. found (all assignments made)... 63.62 c Sol. found (all assignments made)... 63.66 c Sol. found (all assignments made)... 63.74 c Sol. found (all assignments made)... 63.77 c Sol. found (all assignments made)... 63.80 c Sol. found (all assignments made)... 63.91 c Sol. found (all assignments made)... 63.93 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.09 c Sol. found (all assignments made)... 64.17 c Sol. found (all assignments made)... 64.26 c Sol. found (all assignments made)... 64.27 c Sol. found (all assignments made)... 64.30 c Sol. found (all assignments made)... 64.47 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.54 c Sol. found (all assignments made)... 64.58 c Sol. found (all assignments made)... 64.68 c Sol. found (all assignments made)... 64.77 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.81 c Sol. found (all assignments made)... 64.86 c Sol. found (all assignments made)... 64.96 c Sol. found (all assignments made)... 65.02 c Sol. found (all assignments made)... 65.06 c Sol. found (all assignments made)... 65.17 c Sol. found (all assignments made)... 65.25 c Sol. found (all assignments made)... 65.28 c Sol. found (all assignments made)... 65.31 c Sol. found (all assignments made)... 65.41 c Sol. found (all assignments made)... 65.79 c Sol. found (all assignments made)... 65.95 c Sol. found (all assignments made)... 66.00 c Sol. found (all assignments made)... 66.12 c Sol. found (all assignments made)... 66.13 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.36 c Sol. found (all assignments made)... 66.40 c Sol. found (all assignments made)... 66.42 c Sol. found (all assignments made)... 66.43 c Sol. found (all assignments made)... 66.44 c Sol. found (all assignments made)... 66.51 c Sol. found (all assignments made)... 66.53 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.82 c Sol. found (all assignments made)... 66.86 c Sol. found (all assignments made)... 66.94 c Sol. found (all assignments made)... 67.02 c Sol. found (all assignments made)... 67.05 c Sol. found (all assignments made)... 67.17 c Sol. found (all assignments made)... 67.18 c Sol. found (all assignments made)... 67.22 c Sol. found (all assignments made)... 67.24 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.39 c Sol. found (all assignments made)... 67.62 c Sol. found (all assignments made)... 67.67 c Sol. found (all assignments made)... 67.73 c Sol. found (all assignments made)... 67.75 c Sol. found (all assignments made)... 67.77 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.86 c Sol. found (all assignments made)... 68.14 c Sol. found (all assignments made)... 68.21 c Sol. found (all assignments made)... 68.28 c Sol. found (all assignments made)... 68.31 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.56 c Sol. found (all assignments made)... 68.58 c Sol. found (all assignments made)... 69.02 c Sol. found (all assignments made)... 69.10 c Sol. found (all assignments made)... 69.18 c Sol. found (all assignments made)... 69.18 c Sol. found (all assignments made)... 69.21 c Sol. found (all assignments made)... 69.28 c Sol. found (all assignments made)... 69.44 c Sol. found (all assignments made)... 69.49 c Sol. found (all assignments made)... 69.69 c Sol. found (all assignments made)... 69.72 c Sol. found (all assignments made)... 69.77 c Sol. found (all assignments made)... 69.78 c Sol. found (all assignments made)... 69.88 c Sol. found (all assignments made)... 69.91 c Sol. found (all assignments made)... 70.07 c Sol. found (all assignments made)... 70.10 c Sol. found (all assignments made)... 70.14 c Sol. found (all assignments made)... 70.15 c Sol. found (all assignments made)... 70.17 c Sol. found (all assignments made)... 70.22 c Sol. found (all assignments made)... 70.24 c Sol. found (all assignments made)... 70.26 c Sol. found (all assignments made)... 70.42 c Sol. found (all assignments made)... 70.46 c Sol. found (all assignments made)... 70.48 c Sol. found (all assignments made)... 70.52 c Sol. found (all assignments made)... 70.54 c Sol. found (all assignments made)... 70.63 c Sol. found (all assignments made)... 70.87 c Sol. found (all assignments made)... 70.89 c Sol. found (all assignments made)... 70.98 c Sol. found (all assignments made)... 70.98 c Sol. found (all assignments made)... 71.00 c Sol. found (all assignments made)... 71.07 c Sol. found (all assignments made)... 71.07 c Sol. found (all assignments made)... 71.14 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.27 c Sol. found (all assignments made)... 71.32 c Sol. found (all assignments made)... 71.33 c Sol. found (all assignments made)... 71.36 c Sol. found (all assignments made)... 71.39 c Sol. found (all assignments made)... 71.40 c Sol. found (all assignments made)... 71.41 c Sol. found (all assignments made)... 71.50 c Sol. found (all assignments made)... 71.51 c Sol. found (all assignments made)... 71.53 c Sol. found (all assignments made)... 71.70 c Sol. found (all assignments made)... 71.73 c Sol. found (all assignments made)... 71.90 c Sol. found (all assignments made)... 71.97 c Sol. found (all assignments made)... 71.99 c Sol. found (all assignments made)... 72.02 c Sol. found (all assignments made)... 72.05 c Sol. found (all assignments made)... 72.12 c Sol. found (all assignments made)... 72.13 c Sol. found (all assignments made)... 72.18 c Sol. found (all assignments made)... 72.19 c Sol. found (all assignments made)... 72.22 c Sol. found (all assignments made)... 72.25 c Sol. found (all assignments made)... 72.26 c Sol. found (all assignments made)... 72.30 c Sol. found (all assignments made)... 72.31 c Sol. found (all assignments made)... 72.33 c Sol. found (all assignments made)... 72.34 c Sol. found (all assignments made)... 72.40 c Sol. found (all assignments made)... 72.43 c Sol. found (all assignments made)... 72.44 c Sol. found (all assignments made)... 72.46 c Sol. found (all assignments made)... 72.48 c Sol. found (all assignments made)... 72.54 c Sol. found (all assignments made)... 72.59 c Sol. found (all assignments made)... 72.59 c Sol. found (all assignments made)... 72.62 c Sol. found (all assignments made)... 72.63 c Sol. found (all assignments made)... 72.70 c Sol. found (all assignments made)... 72.72 c Sol. found (all assignments made)... 72.76 c Sol. found (all assignments made)... 73.07 c Sol. found (all assignments made)... 73.09 c Sol. found (all assignments made)... 73.13 c Sol. found (all assignments made)... 73.14 c Sol. found (all assignments made)... 73.15 c Sol. found (all assignments made)... 73.21 c Sol. found (all assignments made)... 73.22 c Sol. found (all assignments made)... 73.23 c Sol. found (all assignments made)... 73.35 c Sol. found (all assignments made)... 73.37 c Sol. found (all assignments made)... 73.43 c Sol. found (all assignments made)... 73.45 c Sol. found (all assignments made)... 73.47 c Sol. found (all assignments made)... 73.47 c Sol. found (all assignments made)... 73.52 c Sol. found (all assignments made)... 73.54 c Sol. found (all assignments made)... 73.77 c Sol. found (all assignments made)... 73.77 c Sol. found (all assignments made)... 73.87 c Sol. found (all assignments made)... 73.90 c Sol. found (all assignments made)... 73.91 c Sol. found (all assignments made)... 73.92 c Sol. found (all assignments made)... 73.97 c Sol. found (all assignments made)... 74.04 c Sol. found (all assignments made)... 74.05 c Sol. found (all assignments made)... 74.06 c Sol. found (all assignments made)... 74.17 c Sol. found (all assignments made)... 74.23 c Sol. found (all assignments made)... 74.35 c Sol. found (all assignments made)... 74.36 c Sol. found (all assignments made)... 74.37 c Sol. found (all assignments made)... 74.42 c Sol. found (all assignments made)... 74.44 c Sol. found (all assignments made)... 74.52 c Sol. found (all assignments made)... 74.78 c Sol. found (all assignments made)... 74.78 c Sol. found (all assignments made)... 74.82 c Sol. found (all assignments made)... 74.90 c Sol. found (all assignments made)... 75.12 c Sol. found (all assignments made)... 75.15 c Sol. found (all assignments made)... 75.16 c Sol. found (all assignments made)... 75.16 c Sol. found (all assignments made)... 75.23 c Sol. found (all assignments made)... 75.23 c Sol. found (all assignments made)... 75.24 c Sol. found (all assignments made)... 75.53 c Sol. found (all assignments made)... 75.53 c Sol. found (all assignments made)... 75.56 c Sol. found (all assignments made)... 75.60 c Sol. found (all assignments made)... 75.60 c Sol. found (all assignments made)... 75.61 c Sol. found (all assignments made)... 75.66 c Sol. found (all assignments made)... 75.66 c Sol. found (all assignments made)... 75.67 c Sol. found (all assignments made)... 75.85 c Sol. found (all assignments made)... 75.87 c Sol. found (all assignments made)... 75.87 c Sol. found (all assignments made)... 75.91 c Sol. found (all assignments made)... 76.02 c Sol. found (all assignments made)... 76.02 c Sol. found (all assignments made)... 76.08 c Sol. found (all assignments made)... 76.09 c Sol. found (all assignments made)... 76.45 c Sol. found (all assignments made)... 76.47 c Sol. found (all assignments made)... 76.59 c Sol. found (all assignments made)... 76.61 c Sol. found (all assignments made)... 76.88 c Sol. found (all assignments made)... 77.05 c Sol. found (all assignments made)... 77.07 c Sol. found (all assignments made)... 77.20 c Sol. found (all assignments made)... 77.21 c Sol. found (all assignments made)... 77.30 c Sol. found (all assignments made)... 77.36 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.47 c Sol. found (all assignments made)... 77.53 c Sol. found (all assignments made)... 77.56 c Sol. found (all assignments made)... 77.85 c Sol. found (all assignments made)... 78.27 c Sol. found (all assignments made)... 78.32 c Sol. found (all assignments made)... 78.35 c Sol. found (all assignments made)... 78.40 c Sol. found (all assignments made)... 78.42 c Sol. found (all assignments made)... 78.76 c Sol. found (all assignments made)... 78.98 c Sol. found (all assignments made)... 79.03 c Sol. found (all assignments made)... 79.07 c Sol. found (all assignments made)... 79.12 c Sol. found (all assignments made)... 79.18 c Sol. found (all assignments made)... 79.28 c Sol. found (all assignments made)... 79.31 c Sol. found (all assignments made)... 79.43 c Sol. found (all assignments made)... 79.47 c Sol. found (all assignments made)... 79.48 c Sol. found (all assignments made)... 79.48 c Sol. found (all assignments made)... 79.53 c Sol. found (all assignments made)... 79.56 c Sol. found (all assignments made)... 79.78 c Sol. found (all assignments made)... 79.87 c Sol. found (all assignments made)... 79.98 c Sol. found (all assignments made)... 80.13 c Sol. found (all assignments made)... 80.14 c Sol. found (all assignments made)... 80.45 c Sol. found (all assignments made)... 80.49 c Sol. found (all assignments made)... 80.66 c Sol. found (all assignments made)... 80.70 c Sol. found (all assignments made)... 80.74 c Sol. found (all assignments made)... 80.75 c Sol. found (all assignments made)... 80.84 c Sol. found (all assignments made)... 80.87 c Sol. found (all assignments made)... 80.88 c Sol. found (all assignments made)... 80.93 c Sol. found (all assignments made)... 80.94 c Sol. found (all assignments made)... 80.98 c Sol. found (all assignments made)... 81.04 c Sol. found (all assignments made)... 81.09 c Sol. found (all assignments made)... 81.10 c Sol. found (all assignments made)... 81.29 c Sol. found (all assignments made)... 81.35 c Sol. found (all assignments made)... 81.40 c Sol. found (all assignments made)... 81.47 c Sol. found (all assignments made)... 82.30 c Sol. found (all assignments made)... 82.31 c Sol. found (all assignments made)... 82.37 c Sol. found (all assignments made)... 82.38 c Sol. found (all assignments made)... 82.42 c Sol. found (all assignments made)... 82.43 c Sol. found (all assignments made)... 82.46 c Sol. found (all assignments made)... 82.47 c Sol. found (all assignments made)... 82.50 c Sol. found (all assignments made)... 82.51 c Sol. found (all assignments made)... 82.84 c Sol. found (all assignments made)... 82.87 c Sol. found (all assignments made)... 82.95 c Sol. found (all assignments made)... 82.97 c Sol. found (all assignments made)... 83.16 c Sol. found (all assignments made)... 83.16 c Sol. found (all assignments made)... 83.20 c Sol. found (all assignments made)... 83.25 c Sol. found (all assignments made)... 83.25 c Sol. found (all assignments made)... 83.28 c Sol. found (all assignments made)... 83.40 c Sol. found (all assignments made)... 83.48 c Sol. found (all assignments made)... 83.49 c Sol. found (all assignments made)... 83.53 c Sol. found (all assignments made)... 83.59 c Sol. found (all assignments made)... 83.72 c Sol. found (all assignments made)... 83.83 c Sol. found (all assignments made)... 84.40 c Sol. found (all assignments made)... 84.41 c Sol. found (all assignments made)... 84.44 c Sol. found (all assignments made)... 84.48 c Sol. found (all assignments made)... 84.50 c Sol. found (all assignments made)... 84.60 c Sol. found (all assignments made)... 84.62 c Sol. found (all assignments made)... 84.71 c Sol. found (all assignments made)... 84.74 c Sol. found (all assignments made)... 84.78 c Sol. found (all assignments made)... 84.83 c Sol. found (all assignments made)... 85.04 c Sol. found (all assignments made)... 85.30 c Sol. found (all assignments made)... 85.33 c Sol. found (all assignments made)... 85.47 c Sol. found (all assignments made)... 85.50 c Sol. found (all assignments made)... 86.01 c Sol. found (all assignments made)... 86.20 c Sol. found (all assignments made)... 86.23 c Sol. found (all assignments made)... 86.45 c Sol. found (all assignments made)... 86.47 c Sol. found (all assignments made)... 86.48 c Sol. found (all assignments made)... 86.50 c Sol. found (all assignments made)... 87.11 c Sol. found (all assignments made)... 87.12 c Sol. found (all assignments made)... 87.14 c Sol. found (all assignments made)... 87.17 c Sol. found (all assignments made)... 87.39 c Sol. found (all assignments made)... 87.40 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.46 c Sol. found (all assignments made)... 87.62 c Sol. found (all assignments made)... 87.62 c Sol. found (all assignments made)... 87.68 c Sol. found (all assignments made)... 87.75 c Sol. found (all assignments made)... 87.78 c Sol. found (all assignments made)... 87.99 c Sol. found (all assignments made)... 87.99 c Sol. found (all assignments made)... 88.05 c Sol. found (all assignments made)... 88.05 c Sol. found (all assignments made)... 88.25 c Sol. found (all assignments made)... 88.25 c Sol. found (all assignments made)... 88.43 c Sol. found (all assignments made)... 88.43 c Sol. found (all assignments made)... 88.56 c Sol. found (all assignments made)... 88.73 c Sol. found (all assignments made)... 88.74 c Sol. found (all assignments made)... 88.76 c Sol. found (all assignments made)... 88.77 c Sol. found (all assignments made)... 88.81 c Sol. found (all assignments made)... 88.81 c Sol. found (all assignments made)... 88.84 c Sol. found (all assignments made)... 88.84 c Sol. found (all assignments made)... 88.96 c Sol. found (all assignments made)... 88.97 c Sol. found (all assignments made)... 88.99 c Sol. found (all assignments made)... 89.00 c Sol. found (all assignments made)... 89.09 c Sol. found (all assignments made)... 89.12 c Sol. found (all assignments made)... 89.16 c Sol. found (all assignments made)... 89.19 c Sol. found (all assignments made)... 89.28 c Sol. found (all assignments made)... 89.28 c Sol. found (all assignments made)... 89.42 c Sol. found (all assignments made)... 89.42 c Sol. found (all assignments made)... 89.45 c Sol. found (all assignments made)... 89.45 c Sol. found (all assignments made)... 89.49 c Sol. found (all assignments made)... 89.50 c Sol. found (all assignments made)... 89.52 c Sol. found (all assignments made)... 89.53 c Sol. found (all assignments made)... 89.63 c Sol. found (all assignments made)... 89.64 c Sol. found (all assignments made)... 89.69 c Sol. found (all assignments made)... 89.70 c Sol. found (all assignments made)... 90.02 c Sol. found (all assignments made)... 90.02 c Sol. found (all assignments made)... 90.05 c Sol. found (all assignments made)... 90.08 c Sol. found (all assignments made)... 90.08 c Sol. found (all assignments made)... 90.09 c Sol. found (all assignments made)... 90.14 c Sol. found (all assignments made)... 90.14 c Sol. found (all assignments made)... 90.22 c Sol. found (all assignments made)... 90.24 c Sol. found (all assignments made)... 90.25 c Sol. found (all assignments made)... 90.27 c Sol. found (all assignments made)... 90.28 c Sol. found (all assignments made)... 90.38 c Sol. found (all assignments made)... 90.39 c Sol. found (all assignments made)... 90.41 c Sol. found (all assignments made)... 90.41 c Sol. found (all assignments made)... 90.62 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.83 c Sol. found (all assignments made)... 90.84 c Sol. found (all assignments made)... 90.94 c Sol. found (all assignments made)... 90.98 c Sol. found (all assignments made)... 91.08 c Sol. found (all assignments made)... 91.11 c Sol. found (all assignments made)... 91.24 c Sol. found (all assignments made)... 91.29 c Sol. found (all assignments made)... 91.37 c Sol. found (all assignments made)... 91.40 c Sol. found (all assignments made)... 91.45 c Sol. found (all assignments made)... 91.46 c Sol. found (all assignments made)... 91.50 c Sol. found (all assignments made)... 91.51 c Sol. found (all assignments made)... 91.55 c Sol. found (all assignments made)... 91.56 c Sol. found (all assignments made)... 91.57 c Sol. found (all assignments made)... 91.61 c Sol. found (all assignments made)... 91.62 c Sol. found (all assignments made)... 91.63 c Sol. found (all assignments made)... 91.69 c Sol. found (all assignments made)... 91.70 c Sol. found (all assignments made)... 91.71 c Sol. found (all assignments made)... 91.78 c Sol. found (all assignments made)... 91.80 c Sol. found (all assignments made)... 91.80 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 92.19 c Sol. found (all assignments made)... 92.20 c Sol. found (all assignments made)... 92.33 c Sol. found (all assignments made)... 92.36 c Sol. found (all assignments made)... 92.59 c Sol. found (all assignments made)... 92.63 c Sol. found (all assignments made)... 92.89 c Sol. found (all assignments made)... 92.92 c Sol. found (all assignments made)... 93.11 c Sol. found (all assignments made)... 93.31 c Sol. found (all assignments made)... 93.34 c Sol. found (all assignments made)... 93.49 c Sol. found (all assignments made)... 93.53 c Sol. found (all assignments made)... 93.95 c Sol. found (all assignments made)... 93.99 c Sol. found (all assignments made)... 94.09 c Sol. found (all assignments made)... 94.13 c Sol. found (all assignments made)... 94.22 c Sol. found (all assignments made)... 94.26 c Sol. found (all assignments made)... 94.31 c Sol. found (all assignments made)... 94.35 c Sol. found (all assignments made)... 94.39 c Sol. found (all assignments made)... 94.51 c Sol. found (all assignments made)... 94.58 c Sol. found (all assignments made)... 94.73 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.86 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.89 c Sol. found (all assignments made)... 94.95 c Sol. found (all assignments made)... 94.96 c Sol. found (all assignments made)... 95.31 c Sol. found (all assignments made)... 95.34 c Sol. found (all assignments made)... 95.47 c Sol. found (all assignments made)... 95.50 c Sol. found (all assignments made)... 95.57 c Sol. found (all assignments made)... 95.61 c Sol. found (all assignments made)... 95.64 c Sol. found (all assignments made)... 95.66 c Sol. found (all assignments made)... 95.84 c Sol. found (all assignments made)... 95.85 c Sol. found (all assignments made)... 96.29 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.56 c Sol. found (all assignments made)... 96.58 c Sol. found (all assignments made)... 96.65 c Sol. found (all assignments made)... 96.67 c Sol. found (all assignments made)... 96.76 c Sol. found (all assignments made)... 96.78 c Sol. found (all assignments made)... 96.87 c Sol. found (all assignments made)... 96.89 c Sol. found (all assignments made)... 96.96 c Sol. found (all assignments made)... 96.98 c Sol. found (all assignments made)... 97.07 c Sol. found (all assignments made)... 97.09 c Sol. found (all assignments made)... 97.15 c Sol. found (all assignments made)... 97.22 c Sol. found (all assignments made)... 97.26 c Sol. found (all assignments made)... 97.29 c Sol. found (all assignments made)... 97.31 c Sol. found (all assignments made)... 97.43 c Sol. found (all assignments made)... 97.46 c Sol. found (all assignments made)... 97.49 c Sol. found (all assignments made)... 97.51 c Sol. found (all assignments made)... 97.54 c Sol. found (all assignments made)... 97.64 c Sol. found (all assignments made)... 97.86 c Sol. found (all assignments made)... 97.88 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.99 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.03 c Sol. found (all assignments made)... 98.04 c Sol. found (all assignments made)... 98.12 c Sol. found (all assignments made)... 98.14 c Sol. found (all assignments made)... 98.15 c Sol. found (all assignments made)... 98.22 c Sol. found (all assignments made)... 98.34 c Sol. found (all assignments made)... 98.36 c Sol. found (all assignments made)... 98.37 c Sol. found (all assignments made)... 98.42 c Sol. found (all assignments made)... 98.43 c Sol. found (all assignments made)... 98.44 c Sol. found (all assignments made)... 98.46 c Sol. found (all assignments made)... 98.50 c Sol. found (all assignments made)... 98.52 c Sol. found (all assignments made)... 98.53 c Sol. found (all assignments made)... 98.55 c Sol. found (all assignments made)... 98.56 c Sol. found (all assignments made)... 98.64 c Sol. found (all assignments made)... 98.65 c Sol. found (all assignments made)... 98.72 c Sol. found (all assignments made)... 98.72 c Sol. found (all assignments made)... 98.74 c Sol. found (all assignments made)... 98.80 c Sol. found (all assignments made)... 98.81 c Sol. found (all assignments made)... 98.95 c Sol. found (all assignments made)... 98.97 c Sol. found (all assignments made)... 99.01 c Sol. found (all assignments made)... 99.03 c Sol. found (all assignments made)... 99.16 c Sol. found (all assignments made)... 99.18 c Sol. found (all assignments made)... 99.22 c Sol. found (all assignments made)... 99.24 c Sol. found (all assignments made)... 99.32 c Sol. found (all assignments made)... 99.32 c Sol. found (all assignments made)... 99.35 c Sol. found (all assignments made)... 99.43 c Sol. found (all assignments made)... 99.44 c Sol. found (all assignments made)... 99.46 c Sol. found (all assignments made)... 99.49 c Sol. found (all assignments made)... 99.62 c Sol. found (all assignments made)... 99.62 c Sol. found (all assignments made)... 99.65 c Sol. found (all assignments made)... 99.66 c Sol. found (all assignments made)... 99.81 c Sol. found (all assignments made)... 99.84 c Sol. found (all assignments made)... 99.97 c Sol. found (all assignments made)... 100.00 c Sol. found (all assignments made)... 100.05 c Sol. found (all assignments made)... 100.08 c Sol. found (all assignments made)... 100.17 c Sol. found (all assignments made)... 100.26 c Sol. found (all assignments made)... 100.27 c Sol. found (all assignments made)... 100.44 c Sol. found (all assignments made)... 100.48 c Sol. found (all assignments made)... 100.58 c Sol. found (all assignments made)... 100.59 c Sol. found (all assignments made)... 100.63 c Sol. found (all assignments made)... 100.65 c Sol. found (all assignments made)... 100.91 c Sol. found (all assignments made)... 100.95 c Sol. found (all assignments made)... 101.18 c Sol. found (all assignments made)... 101.21 c Sol. found (all assignments made)... 101.35 c Sol. found (all assignments made)... 101.36 c Sol. found (all assignments made)... 101.41 c Sol. found (all assignments made)... 101.46 c Sol. found (all assignments made)... 101.49 c Sol. found (all assignments made)... 101.55 c Sol. found (all assignments made)... 101.55 c Sol. found (all assignments made)... 101.60 c Sol. found (all assignments made)... 101.60 c Sol. found (all assignments made)... 101.63 c Sol. found (all assignments made)... 101.64 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.74 c Sol. found (all assignments made)... 101.74 c Sol. found (all assignments made)... 101.80 c Sol. found (all assignments made)... 101.83 c Sol. found (all assignments made)... 101.85 c Sol. found (all assignments made)... 101.85 c Sol. found (all assignments made)... 101.87 c Sol. found (all assignments made)... 101.92 c Sol. found (all assignments made)... 101.93 c Sol. found (all assignments made)... 101.96 c Sol. found (all assignments made)... 102.05 c Sol. found (all assignments made)... 102.14 c Sol. found (all assignments made)... 102.20 c Sol. found (all assignments made)... 102.28 c Sol. found (all assignments made)... 102.30 c Sol. found (all assignments made)... 102.66 c Sol. found (all assignments made)... 102.67 c Sol. found (all assignments made)... 102.69 c Sol. found (all assignments made)... 102.82 c Sol. found (all assignments made)... 102.95 c Sol. found (all assignments made)... 102.99 c Sol. found (all assignments made)... 103.12 c Sol. found (all assignments made)... 103.13 c Sol. found (all assignments made)... 103.15 c Sol. found (all assignments made)... 103.28 c Sol. found (all assignments made)... 103.41 c Sol. found (all assignments made)... 103.42 c Sol. found (all assignments made)... 103.57 c Sol. found (all assignments made)... 103.58 c Sol. found (all assignments made)... 103.76 c Sol. found (all assignments made)... 103.84 c Sol. found (all assignments made)... 103.85 c Sol. found (all assignments made)... 103.89 c Sol. found (all assignments made)... 104.09 c Sol. found (all assignments made)... 104.19 c Sol. found (all assignments made)... 104.33 c Sol. found (all assignments made)... 104.35 c Sol. found (all assignments made)... 104.38 c Sol. found (all assignments made)... 104.50 c Sol. found (all assignments made)... 104.50 c Sol. found (all assignments made)... 104.53 c Sol. found (all assignments made)... 104.54 c Sol. found (all assignments made)... 104.68 c Sol. found (all assignments made)... 104.72 c Sol. found (all assignments made)... 104.72 c Sol. found (all assignments made)... 104.92 c Sol. found (all assignments made)... 104.94 c Sol. found (all assignments made)... 105.10 c Sol. found (all assignments made)... 105.14 c Sol. found (all assignments made)... 105.21 c Sol. found (all assignments made)... 105.25 c Sol. found (all assignments made)... 105.44 c Sol. found (all assignments made)... 105.51 c Sol. found (all assignments made)... 105.53 c Sol. found (all assignments made)... 105.57 c Sol. found (all assignments made)... 105.79 c Sol. found (all assignments made)... 105.80 c Sol. found (all assignments made)... 105.81 c Sol. found (all assignments made)... 105.81 c Sol. found (all assignments made)... 106.03 c Sol. found (all assignments made)... 106.07 c Sol. found (all assignments made)... 106.07 c Sol. found (all assignments made)... 106.21 c Sol. found (all assignments made)... 106.23 c Sol. found (all assignments made)... 106.23 c Sol. found (all assignments made)... 106.29 c Sol. found (all assignments made)... 106.48 c Sol. found (all assignments made)... 106.53 c Sol. found (all assignments made)... 106.57 c Sol. found (all assignments made)... 106.58 c Sol. found (all assignments made)... 106.63 c Sol. found (all assignments made)... 106.64 c Sol. found (all assignments made)... 106.70 c Sol. found (all assignments made)... 106.76 c Sol. found (all assignments made)... 106.79 c Sol. found (all assignments made)... 106.84 c Sol. found (all assignments made)... 106.84 c Sol. found (all assignments made)... 106.89 c Sol. found (all assignments made)... 106.93 c Sol. found (all assignments made)... 106.94 c Sol. found (all assignments made)... 106.96 c Sol. found (all assignments made)... 107.01 c Sol. found (all assignments made)... 107.06 c Sol. found (all assignments made)... 107.51 c Sol. found (all assignments made)... 107.72 c Sol. found (all assignments made)... 107.98 c Sol. found (all assignments made)... 107.99 c Sol. found (all assignments made)... 108.08 c Sol. found (all assignments made)... 108.10 c Sol. found (all assignments made)... 108.16 c Sol. found (all assignments made)... 108.16 c Sol. found (all assignments made)... 108.27 c Sol. found (all assignments made)... 108.28 c Sol. found (all assignments made)... 108.49 c Sol. found (all assignments made)... 108.51 c Sol. found (all assignments made)... 108.68 c Sol. found (all assignments made)... 108.68 c Sol. found (all assignments made)... 108.73 c Sol. found (all assignments made)... 108.73 c Sol. found (all assignments made)... 108.81 c Sol. found (all assignments made)... 108.84 c Sol. found (all assignments made)... 109.02 c Sol. found (all assignments made)... 109.09 c Sol. found (all assignments made)... 109.22 c Sol. found (all assignments made)... 109.25 c Sol. found (all assignments made)... 109.33 c Sol. found (all assignments made)... 109.43 c Sol. found (all assignments made)... 109.52 c Sol. found (all assignments made)... 109.54 c Sol. found (all assignments made)... 109.61 c Sol. found (all assignments made)... 109.66 c Sol. found (all assignments made)... 109.67 c Sol. found (all assignments made)... 109.69 c Sol. found (all assignments made)... 109.70 c Sol. found (all assignments made)... 109.77 c Sol. found (all assignments made)... 109.82 c Sol. found (all assignments made)... 109.83 c Sol. found (all assignments made)... 109.86 c Sol. found (all assignments made)... 109.87 c Sol. found (all assignments made)... 109.90 c Sol. found (all assignments made)... 109.92 c Sol. found (all assignments made)... 109.98 c Sol. found (all assignments made)... 110.00 c Sol. found (all assignments made)... 110.20 c Sol. found (all assignments made)... 110.29 c Sol. found (all assignments made)... 110.43 c Sol. found (all assignments made)... 110.44 c Sol. found (all assignments made)... 110.58 c Sol. found (all assignments made)... 110.67 c Sol. found (all assignments made)... 110.74 c Sol. found (all assignments made)... 110.74 c Sol. found (all assignments made)... 110.89 c Sol. found (all assignments made)... 110.90 c Sol. found (all assignments made)... 110.94 c Sol. found (all assignments made)... 111.05 c Sol. found (all assignments made)... 111.06 c Sol. found (all assignments made)... 111.08 c Sol. found (all assignments made)... 111.11 c Sol. found (all assignments made)... 111.12 c Sol. found (all assignments made)... 111.14 c Sol. found (all assignments made)... 111.19 c Sol. found (all assignments made)... 111.20 c Sol. found (all assignments made)... 111.23 c Sol. found (all assignments made)... 111.28 c Sol. found (all assignments made)... 111.29 c Sol. found (all assignments made)... 111.32 c Sol. found (all assignments made)... 111.33 c Sol. found (all assignments made)... 111.36 c Sol. found (all assignments made)... 111.37 c Sol. found (all assignments made)... 111.39 c Sol. found (all assignments made)... 111.42 c Sol. found (all assignments made)... 111.43 c Sol. found (all assignments made)... 111.47 c Sol. found (all assignments made)... 111.48 c Sol. found (all assignments made)... 111.53 c Sol. found (all assignments made)... 111.63 c Sol. found (all assignments made)... 111.70 c Sol. found (all assignments made)... 111.72 c Sol. found (all assignments made)... 111.74 c Sol. found (all assignments made)... 112.28 c Sol. found (all assignments made)... 112.34 c Sol. found (all assignments made)... 112.41 c Sol. found (all assignments made)... 112.44 c Sol. found (all assignments made)... 112.50 c Sol. found (all assignments made)... 112.54 c Sol. found (all assignments made)... 112.67 c Sol. found (all assignments made)... 112.73 c Sol. found (all assignments made)... 113.45 c Sol. found (all assignments made)... 113.45 c Sol. found (all assignments made)... 113.49 c Sol. found (all assignments made)... 113.50 c Sol. found (all assignments made)... 114.26 c Sol. found (all assignments made)... 114.29 c Sol. found (all assignments made)... 114.36 c Sol. found (all assignments made)... 114.39 c Sol. found (all assignments made)... 114.42 c Sol. found (all assignments made)... 114.55 c Sol. found (all assignments made)... 114.57 c Sol. found (all assignments made)... 114.60 c Sol. found (all assignments made)... 114.65 c Sol. found (all assignments made)... 114.74 c Sol. found (all assignments made)... 114.76 c Sol. found (all assignments made)... 114.93 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.11 c Sol. found (all assignments made)... 115.17 c Sol. found (all assignments made)... 115.18 c Sol. found (all assignments made)... 115.19 c Sol. found (all assignments made)... 115.29 c Sol. found (all assignments made)... 115.33 c Sol. found (all assignments made)... 115.36 c Sol. found (all assignments made)... 115.38 c Sol. found (all assignments made)... 115.41 c Sol. found (all assignments made)... 115.46 c Sol. found (all assignments made)... 115.50 c Sol. found (all assignments made)... 115.54 c Sol. found (all assignments made)... 115.56 c Sol. found (all assignments made)... 115.56 c Sol. found (all assignments made)... 115.61 c Sol. found (all assignments made)... 115.66 c Sol. found (all assignments made)... 115.68 c Sol. found (all assignments made)... 115.69 c Sol. found (all assignments made)... 115.73 c Sol. found (all assignments made)... 115.77 c Sol. found (all assignments made)... 115.79 c Sol. found (all assignments made)... 115.84 c Sol. found (all assignments made)... 115.88 c Sol. found (all assignments made)... 115.98 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.05 c Sol. found (all assignments made)... 116.11 c Sol. found (all assignments made)... 116.13 c Sol. found (all assignments made)... 116.14 c Sol. found (all assignments made)... 116.19 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.30 c Sol. found (all assignments made)... 116.33 c Sol. found (all assignments made)... 116.36 c Sol. found (all assignments made)... 116.49 c Sol. found (all assignments made)... 116.52 c Sol. found (all assignments made)... 116.60 c Sol. found (all assignments made)... 116.63 c Sol. found (all assignments made)... 116.79 c Sol. found (all assignments made)... 116.85 c Sol. found (all assignments made)... 116.86 c Sol. found (all assignments made)... 116.88 c Sol. found (all assignments made)... 116.98 c Sol. found (all assignments made)... 116.99 c Sol. found (all assignments made)... 117.04 c Sol. found (all assignments made)... 117.08 c Sol. found (all assignments made)... 117.10 c Sol. found (all assignments made)... 117.20 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.33 c Sol. found (all assignments made)... 117.36 c Sol. found (all assignments made)... 117.37 c Sol. found (all assignments made)... 117.41 c Sol. found (all assignments made)... 117.61 c Sol. found (all assignments made)... 117.62 c Sol. found (all assignments made)... 117.63 c Sol. found (all assignments made)... 117.82 c Sol. found (all assignments made)... 117.96 c Sol. found (all assignments made)... 118.08 c Sol. found (all assignments made)... 118.09 c Sol. found (all assignments made)... 118.10 c Sol. found (all assignments made)... 118.33 c Sol. found (all assignments made)... 118.51 c Sol. found (all assignments made)... 118.54 c Sol. found (all assignments made)... 118.73 c Sol. found (all assignments made)... 118.76 c Sol. found (all assignments made)... 118.77 c Sol. found (all assignments made)... 118.83 c Sol. found (all assignments made)... 118.88 c Sol. found (all assignments made)... 118.89 c Sol. found (all assignments made)... 118.91 c Sol. found (all assignments made)... 119.04 c Sol. found (all assignments made)... 119.09 c Sol. found (all assignments made)... 119.18 c Sol. found (all assignments made)... 119.21 c Sol. found (all assignments made)... 119.22 c Sol. found (all assignments made)... 119.25 c Sol. found (all assignments made)... 119.36 c Sol. found (all assignments made)... 119.40 c Sol. found (all assignments made)... 119.43 c Sol. found (all assignments made)... 119.44 c Sol. found (all assignments made)... 119.51 c Sol. found (all assignments made)... 119.64 c Restart #36 #Var: 3722 LB: 0 @ 119.58 122.64 c Sol. found (all assignments made)... 122.64 o 14501992 122.64 c NEW SOLUTION FOUND: 14501992 @ 122.57 122.64 c Sol. found (all assignments made)... 122.64 o 14501977 122.64 c NEW SOLUTION FOUND: 14501977 @ 122.58 122.65 c Sol. found (all assignments made)... 122.66 c Sol. found (all assignments made)... 122.67 c Sol. found (all assignments made)... 122.67 o 14501917 122.67 c NEW SOLUTION FOUND: 14501917 @ 122.6 122.67 c Sol. found (all assignments made)... 122.68 c Sol. found (all assignments made)... 122.69 c Sol. found (all assignments made)... 122.70 c Sol. found (all assignments made)... 122.70 o 14501812 122.70 c NEW SOLUTION FOUND: 14501812 @ 122.63 122.70 c Sol. found (all assignments made)... 122.71 c Sol. found (all assignments made)... 122.71 c Sol. found (all assignments made)... 122.71 o 14501797 122.71 c NEW SOLUTION FOUND: 14501797 @ 122.65 122.73 c Sol. found (all assignments made)... 122.74 c Sol. found (all assignments made)... 122.74 o 14501572 122.74 c NEW SOLUTION FOUND: 14501572 @ 122.67 122.74 c Sol. found (all assignments made)... 122.75 c Sol. found (all assignments made)... 122.76 c Sol. found (all assignments made)... 122.76 o 14501557 122.76 c NEW SOLUTION FOUND: 14501557 @ 122.69 122.77 c Sol. found (all assignments made)... 122.77 o 14501317 122.77 c NEW SOLUTION FOUND: 14501317 @ 122.7 122.77 c Sol. found (all assignments made)... 122.78 c Sol. found (all assignments made)... 122.78 c Sol. found (all assignments made)... 122.79 c Sol. found (all assignments made)... 122.82 c Sol. found (all assignments made)... 122.82 o 14501212 122.82 c NEW SOLUTION FOUND: 14501212 @ 122.76 122.83 c Sol. found (all assignments made)... 122.83 c Sol. found (all assignments made)... 122.84 c Sol. found (all assignments made)... 122.85 c Sol. found (all assignments made)... 122.85 o 14501182 122.85 c NEW SOLUTION FOUND: 14501182 @ 122.79 122.86 c Sol. found (all assignments made)... 122.87 c Sol. found (all assignments made)... 122.87 o 14501152 122.87 c NEW SOLUTION FOUND: 14501152 @ 122.81 122.87 c Sol. found (all assignments made)... 122.88 c Sol. found (all assignments made)... 122.88 o 14501137 122.88 c NEW SOLUTION FOUND: 14501137 @ 122.81 122.89 c Sol. found (all assignments made)... 122.89 o 14424037 122.89 c NEW SOLUTION FOUND: 14424037 @ 122.83 122.91 c Sol. found (all assignments made)... 122.91 o 14290605 122.91 c NEW SOLUTION FOUND: 14290605 @ 122.85 122.94 c Sol. found (all assignments made)... 122.95 c Sol. found (all assignments made)... 122.95 o 14290482 122.95 c NEW SOLUTION FOUND: 14290482 @ 122.89 122.97 c Sol. found (all assignments made)... 123.00 c Sol. found (all assignments made)... 123.03 c Sol. found (all assignments made)... 123.06 c Sol. found (all assignments made)... 123.08 c Sol. found (all assignments made)... 123.52 c Sol. found (all assignments made)... 123.52 o 14239342 123.52 c NEW SOLUTION FOUND: 14239342 @ 123.45 123.55 c Sol. found (all assignments made)... 123.64 c Sol. found (all assignments made)... 123.67 c Sol. found (all assignments made)... 123.73 c Sol. found (all assignments made)... 123.76 c Sol. found (all assignments made)... 123.88 c Sol. found (all assignments made)... 123.91 c Sol. found (all assignments made)... 123.97 c Sol. found (all assignments made)... 124.01 c Sol. found (all assignments made)... 124.21 c Sol. found (all assignments made)... 124.25 c Sol. found (all assignments made)... 124.45 c Sol. found (all assignments made)... 124.49 c Sol. found (all assignments made)... 124.57 c Sol. found (all assignments made)... 124.61 c Sol. found (all assignments made)... 124.76 c Sol. found (all assignments made)... 124.79 c Sol. found (all assignments made)... 125.20 c Sol. found (all assignments made)... 125.22 c Sol. found (all assignments made)... 125.29 c Sol. found (all assignments made)... 125.32 c Sol. found (all assignments made)... 125.43 c Sol. found (all assignments made)... 125.45 c Sol. found (all assignments made)... 125.53 c Sol. found (all assignments made)... 125.56 c Sol. found (all assignments made)... 125.80 c Sol. found (all assignments made)... 125.84 c Sol. found (all assignments made)... 125.90 c Sol. found (all assignments made)... 125.93 c Sol. found (all assignments made)... 129.73 c Sol. found (all assignments made)... 129.76 c Sol. found (all assignments made)... 129.81 c Sol. found (all assignments made)... 129.86 c Sol. found (all assignments made)... 129.91 c Sol. found (all assignments made)... 130.99 c Sol. found (all assignments made)... 131.02 c Sol. found (all assignments made)... 131.14 c Sol. found (all assignments made)... 131.17 c Sol. found (all assignments made)... 131.29 c Sol. found (all assignments made)... 131.31 c Sol. found (all assignments made)... 131.34 c Sol. found (all assignments made)... 131.47 c Sol. found (all assignments made)... 131.58 c Sol. found (all assignments made)... 131.66 c Sol. found (all assignments made)... 132.97 c Sol. found (all assignments made)... 133.01 c Sol. found (all assignments made)... 134.65 c Sol. found (all assignments made)... 135.71 c Sol. found (all assignments made)... 136.01 c Sol. found (all assignments made)... 136.08 c Sol. found (all assignments made)... 136.48 c Sol. found (all assignments made)... 136.55 c Sol. found (all assignments made)... 137.12 c Sol. found (all assignments made)... 137.53 c Sol. found (all assignments made)... 137.57 c Sol. found (all assignments made)... 139.27 c Sol. found (all assignments made)... 139.30 c Sol. found (all assignments made)... 139.92 c Sol. found (all assignments made)... 140.20 c Sol. found (all assignments made)... 141.03 c Sol. found (all assignments made)... 142.98 c Sol. found (all assignments made)... 143.29 c Sol. found (all assignments made)... 144.29 c Restart #37 #Var: 3722 LB: 0 @ 144.22 151.50 c Restart #38 #Var: 3722 LB: 0 @ 151.43 158.26 c Restart #39 #Var: 3722 LB: 0 @ 158.18 168.52 c Restart #40 #Var: 3722 LB: 0 @ 168.44 191.87 c CHANGE to MIS mode... UB: 14239342 MIS: 39 LPR: -2147483648 (0) Diff: -1.8161e-08 191.87 c Restart #0 #Var: 3722 LB: 0 @ 191.79 192.42 c Restart #1 #Var: 3722 LB: 39 @ 192.34 193.03 c Restart #2 #Var: 3722 LB: 39 @ 192.95 193.70 c Restart #3 #Var: 3722 LB: 39 @ 193.62 196.76 c Restart #4 #Var: 3722 LB: 39 @ 196.67 197.66 c Restart #5 #Var: 3722 LB: 39 @ 197.57 198.77 c Restart #6 #Var: 3722 LB: 39 @ 198.68 212.28 c Restart #7 #Var: 3722 LB: 39 @ 212.19 216.76 c Restart #8 #Var: 3722 LB: 39 @ 216.67 229.59 c Restart #9 #Var: 3722 LB: 39 @ 229.5 232.75 c Restart #10 #Var: 3722 LB: 39 @ 232.66 246.15 c Restart #11 #Var: 3722 LB: 39 @ 246.06 264.53 c Restart #12 #Var: 3722 LB: 39 @ 264.43 282.34 c Restart #13 #Var: 3722 LB: 39 @ 282.24 320.75 c Restart #14 #Var: 3722 LB: 39 @ 320.64 352.86 c Restart #15 #Var: 3722 LB: 39 @ 352.7 370.76 c Restart #16 #Var: 3722 LB: 39 @ 370.59 373.60 c Restart #17 #Var: 3722 LB: 39 @ 373.43 402.89 c Restart #18 #Var: 3722 LB: 39 @ 402.72 405.43 c Restart #19 #Var: 3722 LB: 39 @ 405.25 435.54 c Restart #20 #Var: 3722 LB: 39 @ 435.35 462.01 c Restart #21 #Var: 3722 LB: 39 @ 461.82 485.01 c Restart #22 #Var: 3722 LB: 39 @ 484.81 513.22 c Restart #23 #Var: 3722 LB: 39 @ 513.01 517.73 c Restart #24 #Var: 3722 LB: 39 @ 517.52 569.37 c Restart #25 #Var: 3722 LB: 39 @ 569.15 598.37 c Restart #26 #Var: 3722 LB: 39 @ 598.14 650.73 c Restart #27 #Var: 3722 LB: 39 @ 650.49 700.56 c Restart #28 #Var: 3722 LB: 39 @ 700.31 791.74 c Restart #29 #Var: 3722 LB: 39 @ 791.47 869.94 c Restart #30 #Var: 3722 LB: 39 @ 869.64 938.06 c Restart #31 #Var: 3722 LB: 39 @ 937.75 979.13 c Restart #32 #Var: 3722 LB: 39 @ 978.82 1078.53 c Restart #33 #Var: 3722 LB: 39 @ 1078.2 1114.13 c Restart #34 #Var: 3722 LB: 39 @ 1113.8 1266.23 c Restart #35 #Var: 3722 LB: 39 @ 1265.8 1320.35 c Restart #36 #Var: 3722 LB: 39 @ 1319.9 1387.81 c Restart #37 #Var: 3722 LB: 39 @ 1387.4 1432.78 c Restart #38 #Var: 3722 LB: 0 @ 1432.4 1496.75 c Restart #39 #Var: 3722 LB: 39 @ 1496.3 1506.15 c Restart #40 #Var: 3722 LB: 39 @ 1505.7 1562.77 c Restart #41 #Var: 3722 LB: 39 @ 1562.3 1568.51 c Restart #42 #Var: 3722 LB: 39 @ 1568 1638.45 c Restart #43 #Var: 3722 LB: 39 @ 1638 1689.97 c Restart #44 #Var: 3722 LB: 39 @ 1689.5 1696.42 c Restart #45 #Var: 3722 LB: 39 @ 1695.9 1752.95 c Restart #46 #Var: 3722 LB: 39 @ 1752.4 1800.53 s SATISFIABLE 1800.53 c Cost: 14239342 1800.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.53 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.53 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.53 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.53 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 1800.53 v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5701 x5702 x5703 x5704 x5705 x5706 1800.53 v x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 1800.53 v -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x6031 x6032 -x6033 x6034 x6035 -x6036 -x6037 x6038 -x6039 -x6040 -x6041 -x6042 1800.53 v -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 1800.53 v -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 1800.53 v -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 1800.53 v -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 1800.53 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 1800.53 v -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 1800.53 v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 1800.53 v -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 1800.53 v -x7379 -x7380 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1800.53 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.53 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 1800.53 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.53 v -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.53 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1381 -x1382 1800.53 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.53 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1711 -x1712 x1713 -x1714 -x1715 x1716 x1717 1800.53 v x1718 -x1719 x1720 x1721 x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.53 v -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1800.53 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.53 v -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.53 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 1800.53 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.53 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1800.53 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1800.53 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.53 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1800.53 v -x3419 -x3420 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 x3731 x3732 x3733 -x3734 -x3735 -x3736 1800.53 v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x4051 -x4052 x4053 -x4054 1800.53 v -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1800.53 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.53 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1800.53 v -x4406 -x4407 -x4408 -x4409 -x4410 x4711 -x4712 -x4713 -x4714 x4715 x4716 x4717 x4718 x4719 x4720 -x4721 -x4722 -x4723 1800.53 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1800.53 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 1800.53 v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 -x5252 -x5253 -x5254 1800.53 v -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 1800.53 v -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 -x5284 -x5285 x5286 -x5287 -x5288 x5289 1800.53 v -x5290 x5291 x5292 x5293 x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.53 v -x5308 -x5309 -x5310 x5311 -x5312 x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.53 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.53 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.53 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 1800.53 v -x5407 x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 1800.53 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 -x5433 x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 1800.53 v -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 1800.53 v -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 1800.53 v -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 x5492 -x5493 1800.53 v -x5494 -x5495 x5496 -x5497 x5498 x5499 x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1800.53 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 1800.53 v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 1800.53 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 1800.53 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 1800.53 v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 1800.53 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 x5613 x5614 1800.53 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 1800.53 v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 1800.53 v -x5649 -x5650 x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1800.53 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1800.53 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1800.53 v -x5700 x5731 -x5732 x5733 x5734 -x5735 x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 1800.53 v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 1800.53 v -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 1800.53 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1800.53 v -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 1800.53 v -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 1800.53 v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 1800.53 v -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 1800.53 v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 1800.53 v -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1800.53 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 1800.53 v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1800.53 v -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 1800.53 v -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 1800.53 v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 x5982 -x5983 -x5984 -x5985 -x5986 1800.53 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 1800.53 v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1800.53 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 1800.53 v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 1800.53 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 1800.53 v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1800.53 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 1800.53 v -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 1800.53 v -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 1800.53 v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 1800.53 v -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 1800.53 v -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 1800.53 v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 1800.53 v -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 1800.53 v -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 1800.53 v -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 1800.53 v -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 1800.53 v -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 1800.53 v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 1800.53 v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 1800.53 v -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 1800.53 v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1800.53 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 1800.53 v -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 1800.53 v -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 1800.53 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 1800.53 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1800.53 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1800.53 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1800.53 v -x6540 -x6541 x6542 -x6543 -x6544 x6545 x6546 x6547 -x6548 -x6549 x6550 -x6551 x6552 -x6553 -x6554 -x6555 -x6556 -x6557 1800.53 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 x6571 x6572 -x6573 -x6574 -x6575 1800.53 v -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 1800.53 v -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 1800.53 v -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 1800.53 v -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 1800.53 v -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 1800.53 v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 1800.53 v -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6721 x6722 -x6723 -x6724 -x6725 1800.53 v -x6726 x6727 x6728 x6729 -x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 1800.53 v -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 1800.53 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 1800.53 v -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 1800.53 v -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 1800.53 v -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 1800.53 v -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 1800.53 v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 1800.53 v -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 1800.53 v -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 1800.53 v -x6897 -x6898 -x6899 -x6900 -x6901 x6902 -x6903 -x6904 -x6905 -x6906 x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 1800.53 v -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 1800.53 v -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 1800.53 v -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 -x6964 x6965 x6966 1800.53 v x6967 -x6968 -x6969 x6970 x6971 -x6972 x6973 x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 1800.53 v -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 x6991 x6992 x6993 x6994 -x6995 -x6996 -x6997 -x6998 x6999 -x7000 -x7001 -x7002 1800.53 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 1800.53 v -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 x7064 -x7065 -x7066 1800.53 v -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 1800.53 v -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 1800.53 v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 -x7112 x7113 x7114 x7115 x7116 x7117 x7118 1800.53 v x7119 x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 1800.53 v -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 x7146 -x7147 -x7148 x7149 -x7150 x7151 x7152 x7153 -x7154 1800.53 v -x7155 x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 1800.53 v -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 1800.53 v -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 1800.53 v -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 1800.53 v -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7231 x7232 x7233 -x7234 -x7235 x7236 -x7237 -x7238 -x7239 x7240 1800.53 v x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 1800.53 v -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 1800.53 v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 1800.53 v -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 1800.53 v -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 1800.53 v -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 1800.53 v -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7381 x7382 -x7383 -x7384 x7385 x7386 -x7387 x7388 -x7389 -x7390 -x7391 1800.53 v -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 1800.53 v -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 1800.53 v -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 1800.53 v -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 1800.53 v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 1800.53 v -x7477 -x7478 -x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 1800.53 v -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 1800.53 v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 1800.53 v -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 1800.53 v -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 1800.53 v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 1800.53 v -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 1800.53 v -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 1800.53 v -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 1800.53 v -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 1800.53 v -x7647 -x7648 -x7649 -x7650 x7651 -x7652 x7653 -x7654 -x7655 -x7656 -x7657 x7658 x7659 -x7660 -x7661 -x7662 x7663 -x7664 1800.53 v -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x91 -x92 1800.53 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 1800.53 v -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1800.53 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 1800.53 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.53 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.53 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1800.53 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.53 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1800.53 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 1800.53 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 1800.53 v x304 x305 x306 x307 -x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1800.53 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.53 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1800.53 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.53 v -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.53 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1800.53 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.53 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.53 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.53 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1800.53 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.53 v -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 x574 x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.53 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1800.53 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.53 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.53 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 x666 -x667 -x668 x669 x670 1800.53 v -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1800.53 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.53 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.53 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.53 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.53 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.53 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 x847 1800.53 v -x848 -x849 -x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.53 v -x869 -x870 x871 x872 x873 x874 x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.53 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.53 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.53 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.53 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.53 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.53 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.53 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 1800.53 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.53 v -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.53 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.53 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.53 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.53 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.53 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.53 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.53 v -x1199 -x1200 x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 x1211 -x1212 x1213 x1214 -x1215 -x1216 1800.53 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.53 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.53 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.53 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.53 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.53 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.53 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.53 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.53 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.53 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1411 x1412 -x1413 x1414 x1415 x1416 x1417 1800.53 v x1418 -x1419 x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.53 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.53 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.53 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.53 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.53 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.53 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.53 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.53 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.53 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.53 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.53 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.53 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.53 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 1800.53 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.53 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1800.53 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.53 v -x1709 -x1710 x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.53 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.53 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.53 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.53 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.53 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.53 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.53 v -x1859 -x1860 x1861 x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 1800.53 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 1800.53 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1800.53 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924 -x1925 -x1926 -x1927 -x1928 1800.53 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.53 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.53 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.53 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 1800.53 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.53 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.53 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.53 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.53 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.53 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.53 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.53 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.53 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.53 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.53 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.53 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.53 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.53 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.53 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.53 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.53 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 x2313 -x2314 -x2315 x2316 -x2317 1800.53 v -x2318 -x2319 -x2320 x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.53 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.53 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.53 v -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1800.53 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 1800.53 v x2434 x2435 -x2436 x2437 x2438 x2439 x2440 x2441 x2442 x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.53 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.53 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.53 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.53 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.53 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.53 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.53 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.53 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.53 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.53 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.53 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.53 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.53 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.53 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.53 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2731 x2732 x2733 x2734 x2735 -x2736 x2737 -x2738 1800.53 v x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.53 v -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 x2771 -x2772 x2773 x2774 1800.53 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.53 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.53 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.53 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.53 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.53 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.53 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.53 v -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1800.53 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.53 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.53 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.53 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1800.53 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.53 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.53 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.53 v -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 1800.53 v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 1800.53 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1800.53 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.53 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1800.53 v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 x3161 -x3162 1800.53 v x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 1800.53 v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 1800.53 v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 1800.53 v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1800.53 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 1800.53 v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1800.53 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 1800.53 v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1800.53 v -x3299 -x3300 x3301 x3302 -x3303 -x3304 x3305 x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.53 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.53 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1800.53 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 x3422 x3423 x3424 x3425 x3426 -x3427 x3428 1800.53 v x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1800.53 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 1800.53 v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 1800.53 v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 1800.53 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 -x3514 1800.53 v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 1800.53 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 1800.53 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.53 v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1800.53 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.53 v -x3600 x3601 x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.53 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.53 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.53 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.53 v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 1800.53 v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 x3703 1800.53 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.53 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.53 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.53 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1800.53 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1800.53 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.53 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 1800.53 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1800.53 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1800.53 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1800.53 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1800.53 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.53 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1800.53 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1800.53 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.53 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1800.53 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1800.53 v -x4023 x4024 -x4025 x4026 x4027 x4028 x4029 x4030 x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 1800.53 v -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1800.53 v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.53 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.53 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.53 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.53 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.53 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.53 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 1800.53 v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.53 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1800.53 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 1800.53 v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.53 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 1800.53 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1800.53 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 x4323 x4324 x4325 -x4326 -x4327 1800.53 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.53 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 x4354 -x4355 -x4356 x4357 -x4358 -x4359 x4360 x4361 -x4362 1800.53 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 1800.53 v -x4380 x4411 -x4412 -x4413 x4414 -x4415 -x4416 x4417 -x4418 -x4419 x4420 x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 1800.53 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.53 v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1800.53 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 x4473 x4474 x4475 x4476 x4477 x4478 -x4479 1800.53 v x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.53 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 1800.53 v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1800.53 v -x4531 x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.53 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 x4565 x4566 1800.53 v x4567 -x4568 x4569 x4570 -x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 1800.53 v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 x4592 -x4593 -x4594 x4595 -x4596 x4597 x4598 x4599 x4600 -x4601 x4602 x4603 1800.53 v x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1800.53 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1800.53 v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 1800.53 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 1800.53 v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 1800.53 v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.53 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.53 v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.53 v -x4770 x4771 x4772 x4773 x4774 -x4775 -x4776 x4777 x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.53 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.53 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.53 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.53 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 1800.53 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 1800.53 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 1800.53 v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 1800.53 v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 x4922 -x4923 -x4924 1800.53 v -x4925 x4926 x4927 x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1800.53 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.53 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.53 v -x4977 -x4978 -x4979 -x4980 x4981 x4982 x4983 x4984 x4985 x4986 x4987 x4988 -x4989 x4990 x4991 x4992 -x4993 -x4994 -x4995 1800.53 v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 1800.53 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 1800.53 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 1800.53 v -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 1800.53 v -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 x5102 x5103 -x5104 -x5105 x5106 x5107 x5108 -x5109 -x5110 -x5111 1800.53 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.53 v -x5129 -x5130 x5131 -x5132 x5133 -x5134 -x5135 x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.53 v -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.53 v -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.53 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 1800.53 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.53 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 1800.53 v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1800.53 v -x5249 -x5250 -x7681 -x7682 -x7793 x7860 x7871 x7882 -x7893 -x7904 -x7915 -x7926 -x7683 -x7694 -x7705 -x7716 x7727 x7738 1800.53 v -x7749 -x7760 -x7771 -x7782 -x7794 x7805 x7816 -x7827 x7838 -x7849 -x7856 x7857 x7858 -x7859 x7861 x7862 -x7863 x7864 -x7865 1800.53 v -x7866 -x7867 x7868 x7869 -x7870 x7872 -x7873 -x7874 -x7875 x7876 -x7877 -x7878 -x7879 x7880 -x7881 -x7883 -x7884 -x7885 1800.53 v -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 x7900 -x7901 -x7902 -x7903 x7905 1800.53 v -x7906 -x7907 -x7908 -x7909 -x7910 x7911 -x7912 x7913 x7914 x7916 -x7917 x7918 x7919 -x7920 -x7921 x7922 -x7923 -x7924 1800.53 v -x7925 x7927 -x7928 x7929 x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 1800.53 v x7691 -x7692 -x7693 -x7695 -x7696 -x7697 -x7698 -x7699 x7700 -x7701 -x7702 x7703 -x7704 -x7706 -x7707 -x7708 x7709 x7710 1800.53 v -x7711 -x7712 x7713 -x7714 -x7715 -x7717 -x7718 -x7719 -x7720 x7721 -x7722 -x7723 -x7724 -x7725 -x7726 x7728 -x7729 -x7730 1800.53 v -x7731 -x7732 -x7733 -x7734 -x7735 x7736 x7737 x7739 -x7740 -x7741 -x7742 x7743 -x7744 x7745 -x7746 x7747 -x7748 -x7750 1800.53 v -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7761 x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 1800.53 v -x7770 x7772 x7773 -x7774 x7775 -x7776 x7777 -x7778 -x7779 -x7780 -x7781 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 -x7789 1800.53 v -x7790 x7791 -x7792 x7795 -x7796 -x7797 x7798 -x7799 -x7800 x7801 -x7802 -x7803 x7804 -x7806 -x7807 -x7808 -x7809 x7810 1800.53 v -x7811 -x7812 -x7813 -x7814 x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 x7824 x7825 x7826 x7828 -x7829 x7830 1800.53 v -x7831 x7832 x7833 x7834 -x7835 -x7836 -x7837 -x7839 x7840 -x7841 -x7842 -x7843 -x7844 x7845 -x7846 x7847 -x7848 -x7850 1800.53 v x7851 x7852 -x7853 x7854 x7855 1800.54 c Exit Code: 10 1800.54 c Total time: 1800 s
OK 14239342
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/node72/watcher-40541-1149303328 -o ROOT/results/node72/solver-40541-1149303328 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40541-1149303328/instance-40541-1149303328.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.93 3/64 25530 /proc/meminfo: memFree=1561760/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=4932 CPUtime=0 /proc/25530/stat : 25530 (bsolo) D 25528 25530 25484 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 195997207 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/25530/statm: 1233 331 227 55 0 125 0 [startup+10.0016 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1550960/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=15532 CPUtime=9.97 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3091 0 0 0 988 9 0 0 25 0 1 0 195997207 15904768 3006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 3883 3006 297 55 0 2775 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 15532 [startup+20.0075 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1550896/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=15664 CPUtime=19.98 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3120 0 0 0 1988 10 0 0 25 0 1 0 195997207 16039936 3035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 3916 3035 297 55 0 2808 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15664 [startup+30.0134 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1550896/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=15608 CPUtime=29.98 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3120 0 0 0 2987 11 0 0 25 0 1 0 195997207 15982592 3035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 3902 3035 297 55 0 2794 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15608 [startup+40.0194 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1550896/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=15608 CPUtime=39.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3120 0 0 0 3987 12 0 0 25 0 1 0 195997207 15982592 3035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 3902 3035 297 55 0 2794 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15608 [startup+50.0253 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1550960/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=15740 CPUtime=49.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3123 0 0 0 4986 13 0 0 25 0 1 0 195997207 16117760 3038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 3935 3038 297 55 0 2827 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 15740 [startup+60.0312 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1548592/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18132 CPUtime=60 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 3913 0 0 0 5986 14 0 0 25 0 1 0 195997207 18567168 3632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4533 3632 298 55 0 3425 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 18132 [startup+70.0371 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1548144/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18604 CPUtime=70 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 4244 0 0 0 6986 14 0 0 25 0 1 0 195997207 19050496 3739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4651 3739 298 55 0 3543 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 18604 [startup+80.043 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1548336/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18068 CPUtime=80 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 4515 0 0 0 7986 14 0 0 25 0 1 0 195997207 18501632 3651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4517 3651 298 55 0 3409 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 18068 [startup+90.0489 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547952/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18756 CPUtime=90 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 4661 0 0 0 8985 15 0 0 25 0 1 0 195997207 19206144 3797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4689 3797 298 55 0 3581 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 18756 [startup+100.055 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547632/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18948 CPUtime=99.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 4772 0 0 0 9984 15 0 0 25 0 1 0 195997207 19402752 3860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4737 3860 298 55 0 3629 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 18948 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547760/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18760 CPUtime=109.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 4865 0 0 0 10984 15 0 0 25 0 1 0 195997207 19210240 3807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4690 3807 298 55 0 3582 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 18760 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547504/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=119.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5038 0 0 0 11983 16 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 18808 [startup+130.072 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=129.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5038 0 0 0 12982 17 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 18808 [startup+140.077 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=139.99 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5038 0 0 0 13982 17 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 18808 [startup+150.083 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=150 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 14982 18 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 18808 [startup+160.089 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=160.01 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 15981 20 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 18808 [startup+170.095 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=170.01 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 16981 20 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 18808 [startup+180.101 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=180.01 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 17981 20 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 18808 [startup+190.107 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=190.01 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 18981 20 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 18808 [startup+200.113 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547568/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=18808 CPUtime=200.02 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 5060 0 0 0 19981 21 0 0 25 0 1 0 195997207 19259392 3836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 4702 3836 298 55 0 3594 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 18808 [startup+210.119 s] /proc/loadavg: 1.00 1.00 0.93 2/64 25530 /proc/meminfo: memFree=1547120/2055920 swapFree=4182504/4192956 ################ # More data... # ################ /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 27940 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1770.51 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 176990 61 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 27940 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1780.51 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 177990 61 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 27940 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1781.51 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178090 61 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 27940 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1782.53 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178191 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 27940 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1783.53 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178291 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 27940 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1784.54 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178392 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 27940 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1785.54 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178492 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 27940 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1786.55 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178593 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 27940 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1787.55 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178693 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 27940 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1788.55 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178793 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 27940 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1789.56 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178894 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 27940 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1790.56 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 178994 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 27940 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1791.57 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179095 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 27940 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1792.57 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179195 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 27940 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1793.58 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179296 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 27940 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1794.58 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179396 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 27940 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1795.59 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179497 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 27940 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1796.59 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179597 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 27940 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1797.59 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179697 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2977408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 27940 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1798.6 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179798 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 27940 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 25725 /proc/meminfo: memFree=1538352/2055920 swapFree=4182504/4192956 [pid=25530] ppid=25528 vsize=27940 CPUtime=1799.6 /proc/25530/stat : 25530 (bsolo) R 25528 25530 25484 0 -1 0 8381 0 0 0 179898 62 0 0 25 0 1 0 195997207 28610560 6119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25530/statm: 6985 6119 298 55 0 5877 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 27940 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.03 CPU user time (s): 1799.4 CPU system time (s): 0.627904 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (Kb): 28844
Begin job on node72 on Sat Jun 3 02:55:28 UTC 2006 FILE ID= 40541-1149303328 PBS_JOBID= 307476 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40541-1149303328/instance-40541-1149303328.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-40541-1149303328 -o ROOT/results/node72/solver-40541-1149303328 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40541-1149303328/instance-40541-1149303328.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521 RANDOM SEED= 399152624 /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.227 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.227 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: 1562032 kB Buffers: 40964 kB Cached: 377256 kB SwapCached: 2428 kB Active: 57256 kB Inactive: 369896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1562032 kB SwapTotal: 4192956 kB SwapFree: 4182504 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16032 kB Slab: 52792 kB Committed_AS: 282308 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 03:25:29 UTC 2006