Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 40655383 | 1800.05 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
MD5SUM | c716bc6c519760d619aa6878c926054c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40655383 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31249460 |
Optimality of the best value was proved | NO |
Number of variables | 6402 |
Total number of constraints | 4465 |
Number of constraints which are clauses | 2785 |
Number of constraints which are cardinality constraints (but not clauses) | 1428 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 511 |
Number of terms in the objective function | 4170 |
Biggest coefficient in the objective function | 23582998528 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 2904924551250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2904924551250 |
Number of bits of the biggest sum of numbers | 42 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.03 c BIG Int formula... 0.23 c Initial problem consists of 6402 variables and 4639 constraints. 0.26 c No problem reductions applied in OPT. instance. 0.26 c preprocess terminated. Elapsed time: 0.243 0.26 c After prepocess the problem consists of 3562 variables and 1916 constraints. 0.26 c Initial Lower Bound: 1460426 0.43 c Restart #1 #Var: 3562 LB: 1460426 @ 0.414 0.73 c Restart #2 #Var: 3562 LB: 1460426 @ 0.71 1.15 c Restart #3 #Var: 3562 LB: 1460426 @ 1.133 1.63 c Restart #4 #Var: 3562 LB: 1460426 @ 1.612 2.40 c Restart #5 #Var: 3562 LB: 1460426 @ 2.387 3.30 c Restart #6 #Var: 3562 LB: 1460426 @ 3.279 5.01 c Restart #7 #Var: 3562 LB: 1460426 @ 4.997 6.16 c Restart #8 #Var: 3562 LB: 1460426 @ 6.138 6.74 c Restart #9 #Var: 3562 LB: 1460426 @ 6.722 7.39 c Restart #10 #Var: 3562 LB: 1460426 @ 7.374 8.20 c Restart #11 #Var: 3562 LB: 1460426 @ 8.177 8.99 c Restart #12 #Var: 3562 LB: 1460426 @ 8.966 9.39 c Restart #13 #Var: 3562 LB: 1460426 @ 9.371 10.25 c Restart #14 #Var: 3562 LB: 1460426 @ 10.229 11.17 c Restart #15 #Var: 3562 LB: 1460426 @ 11.152 11.66 c Restart #16 #Var: 3562 LB: 1460426 @ 11.633 12.80 c Restart #17 #Var: 3562 LB: 1460426 @ 12.778 13.95 c Restart #18 #Var: 3562 LB: 1460426 @ 13.929 15.23 c Restart #19 #Var: 3562 LB: 1460426 @ 15.21 15.72 c Restart #20 #Var: 3562 LB: 1460426 @ 15.696 16.39 c Restart #21 #Var: 3562 LB: 1460426 @ 16.369 17.16 c Restart #22 #Var: 3562 LB: 1460426 @ 17.138 18.09 c Restart #23 #Var: 3562 LB: 1460426 @ 18.061 19.45 c Restart #24 #Var: 3562 LB: 1460426 @ 19.43 21.24 c Restart #25 #Var: 3562 LB: 1460426 @ 21.217 22.89 c Restart #26 #Var: 3562 LB: 1460426 @ 22.861 23.62 c Restart #27 #Var: 3562 LB: 1460426 @ 23.594 24.57 c Restart #28 #Var: 3562 LB: 1460426 @ 24.543 25.53 c Restart #29 #Var: 3562 LB: 1460426 @ 25.506 29.76 c Restart #30 #Var: 3562 LB: 1460426 @ 29.731 31.70 c Restart #31 #Var: 3562 LB: 1460426 @ 31.675 32.82 c Restart #32 #Var: 3562 LB: 1460426 @ 32.789 33.87 c Restart #33 #Var: 3562 LB: 1460426 @ 33.838 35.05 c Restart #34 #Var: 3562 LB: 1460426 @ 35.023 36.20 c Restart #35 #Var: 3562 LB: 1460426 @ 36.169 38.59 c Restart #36 #Var: 3562 LB: 1460426 @ 38.562 39.50 c Restart #37 #Var: 3562 LB: 1460426 @ 39.467 40.66 c Restart #38 #Var: 3562 LB: 1460426 @ 40.625 42.10 c Restart #39 #Var: 3562 LB: 1460426 @ 42.065 43.08 c Restart #40 #Var: 3562 LB: 1460426 @ 43.043 43.18 c Sol. found (all assignments made)... 43.18 o 83311200 43.18 c NEW SOLUTION FOUND: 83311200 @ 43.151 43.19 c Sol. found (all assignments made)... 43.19 o 82046428 43.19 c NEW SOLUTION FOUND: 82046428 @ 43.153 43.19 c Sol. found (all assignments made)... 43.19 o 81393388 43.19 c NEW SOLUTION FOUND: 81393388 @ 43.155 43.19 c Sol. found (all assignments made)... 43.19 o 81352080 43.19 c NEW SOLUTION FOUND: 81352080 @ 43.159 43.19 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.20 o 81172256 43.20 c NEW SOLUTION FOUND: 81172256 @ 43.165 43.20 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.20 o 81002996 43.20 c NEW SOLUTION FOUND: 81002996 @ 43.172 43.21 c Sol. found (all assignments made)... 43.21 o 80622176 43.21 c NEW SOLUTION FOUND: 80622176 @ 43.179 43.21 c Sol. found (all assignments made)... 43.21 o 80541384 43.21 c NEW SOLUTION FOUND: 80541384 @ 43.182 43.22 c Sol. found (all assignments made)... 43.22 o 80366132 43.22 c NEW SOLUTION FOUND: 80366132 @ 43.184 43.22 c Sol. found (all assignments made)... 43.22 o 80325317 43.22 c NEW SOLUTION FOUND: 80325317 @ 43.192 43.23 c Sol. found (all assignments made)... 43.23 o 80175317 43.23 c NEW SOLUTION FOUND: 80175317 @ 43.198 43.24 c Sol. found (all assignments made)... 43.24 o 78235451 43.24 c NEW SOLUTION FOUND: 78235451 @ 43.204 43.24 c Sol. found (all assignments made)... 43.24 c Sol. found (all assignments made)... 43.24 c Sol. found (all assignments made)... 43.24 o 76835451 43.24 c NEW SOLUTION FOUND: 76835451 @ 43.209 43.25 c Sol. found (all assignments made)... 43.25 o 76752885 43.25 c NEW SOLUTION FOUND: 76752885 @ 43.213 43.25 c Sol. found (all assignments made)... 43.25 c Sol. found (all assignments made)... 43.25 c Sol. found (all assignments made)... 43.25 c Sol. found (all assignments made)... 43.25 o 76051877 43.25 c NEW SOLUTION FOUND: 76051877 @ 43.22 43.26 c Sol. found (all assignments made)... 43.26 c Sol. found (all assignments made)... 43.26 c Sol. found (all assignments made)... 43.26 o 75398837 43.26 c NEW SOLUTION FOUND: 75398837 @ 43.227 43.27 c Sol. found (all assignments made)... 43.27 c Sol. found (all assignments made)... 43.28 c Sol. found (all assignments made)... 43.28 o 74613285 43.28 c NEW SOLUTION FOUND: 74613285 @ 43.252 43.29 c Sol. found (all assignments made)... 43.29 c Sol. found (all assignments made)... 43.29 c Sol. found (all assignments made)... 43.29 c Sol. found (all assignments made)... 43.29 o 73960245 43.29 c NEW SOLUTION FOUND: 73960245 @ 43.262 43.31 c Sol. found (all assignments made)... 43.31 c Sol. found (all assignments made)... 43.31 c Sol. found (all assignments made)... 43.32 c Sol. found (all assignments made)... 43.33 c Sol. found (all assignments made)... 43.33 o 73801029 43.33 c NEW SOLUTION FOUND: 73801029 @ 43.298 43.36 c Sol. found (all assignments made)... 43.36 c Sol. found (all assignments made)... 43.36 o 73161397 43.36 c NEW SOLUTION FOUND: 73161397 @ 43.324 43.37 c Sol. found (all assignments made)... 43.37 o 72508357 43.37 c NEW SOLUTION FOUND: 72508357 @ 43.335 43.53 c Sol. found (all assignments made)... 43.53 o 72337009 43.53 c NEW SOLUTION FOUND: 72337009 @ 43.498 43.53 c Sol. found (all assignments made)... 43.53 o 72018577 43.53 c NEW SOLUTION FOUND: 72018577 @ 43.501 43.57 c Sol. found (all assignments made)... 43.57 o 71475921 43.57 c NEW SOLUTION FOUND: 71475921 @ 43.534 43.57 c Sol. found (all assignments made)... 43.57 o 70839057 43.57 c NEW SOLUTION FOUND: 70839057 @ 43.537 43.57 c Sol. found (all assignments made)... 43.57 o 70520625 43.57 c NEW SOLUTION FOUND: 70520625 @ 43.54 43.58 c Sol. found (all assignments made)... 43.58 o 70169841 43.58 c NEW SOLUTION FOUND: 70169841 @ 43.544 43.58 c Sol. found (all assignments made)... 43.58 o 69214545 43.58 c NEW SOLUTION FOUND: 69214545 @ 43.548 43.74 c Sol. found (all assignments made)... 43.74 c Sol. found (all assignments made)... 43.74 o 69174741 43.74 c NEW SOLUTION FOUND: 69174741 @ 43.712 43.82 c Sol. found (all assignments made)... 43.82 o 67005265 43.82 c NEW SOLUTION FOUND: 67005265 @ 43.79 43.83 c Sol. found (all assignments made)... 43.83 o 66368401 43.83 c NEW SOLUTION FOUND: 66368401 @ 43.793 43.83 c Sol. found (all assignments made)... 43.83 o 66049969 43.83 c NEW SOLUTION FOUND: 66049969 @ 43.796 43.83 c Sol. found (all assignments made)... 43.83 o 65715361 43.83 c NEW SOLUTION FOUND: 65715361 @ 43.802 43.84 c Sol. found (all assignments made)... 43.84 o 65396929 43.84 c NEW SOLUTION FOUND: 65396929 @ 43.805 43.84 c Sol. found (all assignments made)... 43.84 o 65062321 43.84 c NEW SOLUTION FOUND: 65062321 @ 43.812 43.85 c Sol. found (all assignments made)... 43.85 o 64743889 43.85 c NEW SOLUTION FOUND: 64743889 @ 43.814 43.87 c Sol. found (all assignments made)... 43.87 o 64254109 43.87 c NEW SOLUTION FOUND: 64254109 @ 43.834 43.89 c Sol. found (all assignments made)... 43.89 o 64104109 43.89 c NEW SOLUTION FOUND: 64104109 @ 43.856 44.04 c Sol. found (all assignments made)... 44.04 o 64035109 44.04 c NEW SOLUTION FOUND: 64035109 @ 44.003 44.04 c Sol. found (all assignments made)... 44.04 o 63716677 44.04 c NEW SOLUTION FOUND: 63716677 @ 44.008 44.06 c Sol. found (all assignments made)... 44.06 o 63566677 44.06 c NEW SOLUTION FOUND: 63566677 @ 44.029 44.18 c Sol. found (all assignments made)... 44.19 c Sol. found (all assignments made)... 44.19 c Sol. found (all assignments made)... 44.19 c Sol. found (all assignments made)... 44.20 c Sol. found (all assignments made)... 44.20 o 63443421 44.20 c NEW SOLUTION FOUND: 63443421 @ 44.17 44.21 c Sol. found (all assignments made)... 44.21 o 63402113 44.21 c NEW SOLUTION FOUND: 63402113 @ 44.175 44.21 c Sol. found (all assignments made)... 44.21 o 63083681 44.21 c NEW SOLUTION FOUND: 63083681 @ 44.181 44.22 c Sol. found (all assignments made)... 44.22 o 63079537 44.22 c NEW SOLUTION FOUND: 63079537 @ 44.192 44.23 c Sol. found (all assignments made)... 44.23 o 62749073 44.23 c NEW SOLUTION FOUND: 62749073 @ 44.194 44.23 c Sol. found (all assignments made)... 44.23 o 62430641 44.23 c NEW SOLUTION FOUND: 62430641 @ 44.199 44.26 c Sol. found (all assignments made)... 44.26 o 62259293 44.26 c NEW SOLUTION FOUND: 62259293 @ 44.224 44.26 c Sol. found (all assignments made)... 44.26 o 61940861 44.26 c NEW SOLUTION FOUND: 61940861 @ 44.23 44.30 c Sol. found (all assignments made)... 44.30 o 61790861 44.30 c NEW SOLUTION FOUND: 61790861 @ 44.268 44.48 c Sol. found (all assignments made)... 44.48 o 61571861 44.48 c NEW SOLUTION FOUND: 61571861 @ 44.445 44.49 c Sol. found (all assignments made)... 44.49 o 61253429 44.49 c NEW SOLUTION FOUND: 61253429 @ 44.453 44.90 c Sol. found (all assignments made)... 44.90 o 61212614 44.90 c NEW SOLUTION FOUND: 61212614 @ 44.867 45.80 c Sol. found (all assignments made)... 45.80 o 61122702 45.80 c NEW SOLUTION FOUND: 61122702 @ 45.763 45.92 c Sol. found (all assignments made)... 45.92 o 61065669 45.92 c NEW SOLUTION FOUND: 61065669 @ 45.886 45.95 c Sol. found (all assignments made)... 45.95 c Sol. found (all assignments made)... 45.95 o 61024854 45.95 c NEW SOLUTION FOUND: 61024854 @ 45.914 45.99 c Sol. found (all assignments made)... 45.99 o 60915669 45.99 c NEW SOLUTION FOUND: 60915669 @ 45.959 46.01 c Sol. found (all assignments made)... 46.01 o 60874854 46.01 c NEW SOLUTION FOUND: 60874854 @ 45.978 46.22 c Sol. found (all assignments made)... 46.22 o 60776061 46.22 c NEW SOLUTION FOUND: 60776061 @ 46.186 46.23 c Sol. found (all assignments made)... 46.23 o 60735246 46.23 c NEW SOLUTION FOUND: 60735246 @ 46.196 46.32 c Sol. found (all assignments made)... 46.32 o 60666246 46.32 c NEW SOLUTION FOUND: 60666246 @ 46.291 46.37 c Sol. found (all assignments made)... 46.37 o 60595662 46.37 c NEW SOLUTION FOUND: 60595662 @ 46.332 46.37 c Sol. found (all assignments made)... 46.37 o 60347814 46.37 c NEW SOLUTION FOUND: 60347814 @ 46.339 46.50 c Sol. found (all assignments made)... 46.50 o 60238629 46.50 c NEW SOLUTION FOUND: 60238629 @ 46.467 46.51 c Sol. found (all assignments made)... 46.51 o 60197814 46.51 c NEW SOLUTION FOUND: 60197814 @ 46.478 46.65 c Sol. found (all assignments made)... 46.65 o 60196314 46.65 c NEW SOLUTION FOUND: 60196314 @ 46.612 46.66 c Sol. found (all assignments made)... 46.66 o 60155499 46.66 c NEW SOLUTION FOUND: 60155499 @ 46.623 46.80 c Sol. found (all assignments made)... 46.80 o 60111684 46.80 c NEW SOLUTION FOUND: 60111684 @ 46.762 46.81 c Sol. found (all assignments made)... 46.81 o 60070869 46.81 c NEW SOLUTION FOUND: 60070869 @ 46.773 46.87 c Sol. found (all assignments made)... 46.88 c Sol. found (all assignments made)... 46.88 o 59891913 46.88 c NEW SOLUTION FOUND: 59891913 @ 46.846 46.98 c Sol. found (all assignments made)... 46.98 o 59862144 46.98 c NEW SOLUTION FOUND: 59862144 @ 46.942 46.98 c Sol. found (all assignments made)... 46.98 o 59614296 46.98 c NEW SOLUTION FOUND: 59614296 @ 46.946 47.01 c Sol. found (all assignments made)... 47.01 o 59573481 47.01 c NEW SOLUTION FOUND: 59573481 @ 46.975 47.18 c Sol. found (all assignments made)... 47.18 o 59423481 47.18 c NEW SOLUTION FOUND: 59423481 @ 47.142 47.38 c Sol. found (all assignments made)... 47.38 o 59354481 47.38 c NEW SOLUTION FOUND: 59354481 @ 47.342 47.44 c Sol. found (all assignments made)... 47.44 o 59283897 47.44 c NEW SOLUTION FOUND: 59283897 @ 47.407 47.45 c Sol. found (all assignments made)... 47.45 o 59205309 47.45 c NEW SOLUTION FOUND: 59205309 @ 47.418 47.45 c Sol. found (all assignments made)... 47.45 o 59036049 47.45 c NEW SOLUTION FOUND: 59036049 @ 47.421 47.65 c Sol. found (all assignments made)... 47.65 o 58926864 47.65 c NEW SOLUTION FOUND: 58926864 @ 47.618 47.68 c Sol. found (all assignments made)... 47.68 o 58886049 47.68 c NEW SOLUTION FOUND: 58886049 @ 47.644 48.07 c Sol. found (all assignments made)... 48.07 o 58851404 48.07 c NEW SOLUTION FOUND: 58851404 @ 48.032 48.10 c Sol. found (all assignments made)... 48.11 o 58776676 48.11 c NEW SOLUTION FOUND: 58776676 @ 48.071 48.11 c Sol. found (all assignments made)... 48.11 c Sol. found (all assignments made)... 48.11 o 58615472 48.11 c NEW SOLUTION FOUND: 58615472 @ 48.078 48.12 c Sol. found (all assignments made)... 48.12 o 58446212 48.12 c NEW SOLUTION FOUND: 58446212 @ 48.082 48.13 c Sol. found (all assignments made)... 48.13 o 58367624 48.13 c NEW SOLUTION FOUND: 58367624 @ 48.097 48.13 c Sol. found (all assignments made)... 48.13 o 58198364 48.13 c NEW SOLUTION FOUND: 58198364 @ 48.099 48.16 c Sol. found (all assignments made)... 48.16 o 58182188 48.16 c NEW SOLUTION FOUND: 58182188 @ 48.131 48.27 c Sol. found (all assignments made)... 48.27 o 58068701 48.27 c NEW SOLUTION FOUND: 58068701 @ 48.236 48.27 c Sol. found (all assignments made)... 48.27 o 57899441 48.27 c NEW SOLUTION FOUND: 57899441 @ 48.239 48.33 c Sol. found (all assignments made)... 48.33 o 57692408 48.33 c NEW SOLUTION FOUND: 57692408 @ 48.296 48.35 c Sol. found (all assignments made)... 48.35 o 57651593 48.35 c NEW SOLUTION FOUND: 57651593 @ 48.318 48.39 c Sol. found (all assignments made)... 48.39 o 57545324 48.39 c NEW SOLUTION FOUND: 57545324 @ 48.359 48.46 c Sol. found (all assignments made)... 48.46 o 57431837 48.46 c NEW SOLUTION FOUND: 57431837 @ 48.429 48.47 c Sol. found (all assignments made)... 48.47 o 57262577 48.47 c NEW SOLUTION FOUND: 57262577 @ 48.432 48.49 c Sol. found (all assignments made)... 48.49 o 57224804 48.49 c NEW SOLUTION FOUND: 57224804 @ 48.459 48.49 c Sol. found (all assignments made)... 48.49 o 57055544 48.49 c NEW SOLUTION FOUND: 57055544 @ 48.461 48.51 c Sol. found (all assignments made)... 48.51 o 57014729 48.51 c NEW SOLUTION FOUND: 57014729 @ 48.477 48.78 c Sol. found (all assignments made)... 48.78 o 56944145 48.78 c NEW SOLUTION FOUND: 56944145 @ 48.749 48.83 c Sol. found (all assignments made)... 48.83 o 56865557 48.83 c NEW SOLUTION FOUND: 56865557 @ 48.798 48.84 c Sol. found (all assignments made)... 48.84 o 56696297 48.84 c NEW SOLUTION FOUND: 56696297 @ 48.805 49.02 c Sol. found (all assignments made)... 49.02 o 56587112 49.02 c NEW SOLUTION FOUND: 56587112 @ 48.986 49.06 c Sol. found (all assignments made)... 49.06 o 56546297 49.06 c NEW SOLUTION FOUND: 56546297 @ 49.023 49.21 c Sol. found (all assignments made)... 49.21 o 56496557 49.21 c NEW SOLUTION FOUND: 56496557 @ 49.175 49.22 c Sol. found (all assignments made)... 49.22 o 56327297 49.22 c NEW SOLUTION FOUND: 56327297 @ 49.182 49.30 c Sol. found (all assignments made)... 49.30 o 56256713 49.30 c NEW SOLUTION FOUND: 56256713 @ 49.266 49.35 c Sol. found (all assignments made)... 49.35 o 56178125 49.35 c NEW SOLUTION FOUND: 56178125 @ 49.312 49.35 c Sol. found (all assignments made)... 49.35 o 56008865 49.35 c NEW SOLUTION FOUND: 56008865 @ 49.319 50.24 c Sol. found (all assignments made)... 50.24 c Sol. found (all assignments made)... 50.24 c Sol. found (all assignments made)... 50.25 c Sol. found (all assignments made)... 50.25 o 56005168 50.25 c NEW SOLUTION FOUND: 56005168 @ 50.215 50.29 c Sol. found (all assignments made)... 50.29 o 55764616 50.29 c NEW SOLUTION FOUND: 55764616 @ 50.26 50.30 c Sol. found (all assignments made)... 50.30 o 55674704 50.30 c NEW SOLUTION FOUND: 55674704 @ 50.263 50.34 c Sol. found (all assignments made)... 50.34 o 55498392 50.34 c NEW SOLUTION FOUND: 55498392 @ 50.305 50.34 c Sol. found (all assignments made)... 50.34 o 55408480 50.34 c NEW SOLUTION FOUND: 55408480 @ 50.308 50.39 c Sol. found (all assignments made)... 50.39 o 55078016 50.39 c NEW SOLUTION FOUND: 55078016 @ 50.354 50.48 c Sol. found (all assignments made)... 50.48 o 54821352 50.48 c NEW SOLUTION FOUND: 54821352 @ 50.442 50.48 c Sol. found (all assignments made)... 50.48 o 54731440 50.48 c NEW SOLUTION FOUND: 54731440 @ 50.445 50.50 c Sol. found (all assignments made)... 50.50 o 54490888 50.50 c NEW SOLUTION FOUND: 54490888 @ 50.464 50.50 c Sol. found (all assignments made)... 50.50 o 54400976 50.50 c NEW SOLUTION FOUND: 54400976 @ 50.466 50.58 c Sol. found (all assignments made)... 50.58 o 54094576 50.58 c NEW SOLUTION FOUND: 54094576 @ 50.546 50.61 c Sol. found (all assignments made)... 50.61 o 53764112 50.61 c NEW SOLUTION FOUND: 53764112 @ 50.573 50.65 c Sol. found (all assignments made)... 50.65 c Sol. found (all assignments made)... 50.65 o 53756056 50.65 c NEW SOLUTION FOUND: 53756056 @ 50.612 50.68 c Sol. found (all assignments made)... 50.68 o 53425592 50.68 c NEW SOLUTION FOUND: 53425592 @ 50.642 51.09 c Sol. found (all assignments made)... 51.09 o 53409416 51.09 c NEW SOLUTION FOUND: 53409416 @ 51.058 51.47 c Sol. found (all assignments made)... 51.47 o 53103016 51.47 c NEW SOLUTION FOUND: 53103016 @ 51.436 51.71 c Sol. found (all assignments made)... 51.71 o 52772552 51.71 c NEW SOLUTION FOUND: 52772552 @ 51.677 51.77 c Sol. found (all assignments made)... 51.77 o 51843089 51.77 c NEW SOLUTION FOUND: 51843089 @ 51.738 51.89 c Sol. found (all assignments made)... 51.89 o 51164608 51.89 c NEW SOLUTION FOUND: 51164608 @ 51.851 51.89 c Sol. found (all assignments made)... 51.89 o 51123793 51.89 c NEW SOLUTION FOUND: 51123793 @ 51.856 51.99 c Sol. found (all assignments made)... 51.99 o 50804960 51.99 c NEW SOLUTION FOUND: 50804960 @ 51.955 51.99 c Sol. found (all assignments made)... 51.99 o 50764145 51.99 c NEW SOLUTION FOUND: 50764145 @ 51.957 52.02 c Sol. found (all assignments made)... 52.02 o 50715048 52.02 c NEW SOLUTION FOUND: 50715048 @ 51.988 52.03 c Sol. found (all assignments made)... 52.03 o 50674233 52.03 c NEW SOLUTION FOUND: 50674233 @ 51.991 53.44 c Sol. found (all assignments made)... 53.44 o 50654960 53.44 c NEW SOLUTION FOUND: 50654960 @ 53.402 53.44 c Sol. found (all assignments made)... 53.44 o 50614145 53.44 c NEW SOLUTION FOUND: 50614145 @ 53.407 53.97 c Sol. found (all assignments made)... 53.97 o 50565048 53.97 c NEW SOLUTION FOUND: 50565048 @ 53.93 53.97 c Sol. found (all assignments made)... 53.97 o 50524233 53.97 c NEW SOLUTION FOUND: 50524233 @ 53.935 54.18 c Sol. found (all assignments made)... 54.19 c Sol. found (all assignments made)... 54.19 c Sol. found (all assignments made)... 54.19 c Sol. found (all assignments made)... 54.19 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.23 c Sol. found (all assignments made)... 54.23 c Sol. found (all assignments made)... 54.23 c Sol. found (all assignments made)... 54.23 c Sol. found (all assignments made)... 54.23 c Sol. found (all assignments made)... 54.24 c Sol. found (all assignments made)... 54.24 c Sol. found (all assignments made)... 54.24 c Sol. found (all assignments made)... 54.24 c Sol. found (all assignments made)... 54.24 o 50510522 54.24 c NEW SOLUTION FOUND: 50510522 @ 54.205 54.26 c Sol. found (all assignments made)... 54.26 c Sol. found (all assignments made)... 54.26 o 50265854 54.26 c NEW SOLUTION FOUND: 50265854 @ 54.225 54.26 c Sol. found (all assignments made)... 54.26 c Sol. found (all assignments made)... 54.26 c Sol. found (all assignments made)... 54.26 o 50220873 54.26 c NEW SOLUTION FOUND: 50220873 @ 54.229 54.27 c Sol. found (all assignments made)... 54.27 c Sol. found (all assignments made)... 54.27 o 50180058 54.27 c NEW SOLUTION FOUND: 50180058 @ 54.235 54.27 c Sol. found (all assignments made)... 54.27 c Sol. found (all assignments made)... 54.38 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.39 o 50178698 54.39 c NEW SOLUTION FOUND: 50178698 @ 54.359 54.40 c Sol. found (all assignments made)... 54.41 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.42 o 50150874 54.42 c NEW SOLUTION FOUND: 50150874 @ 54.383 54.42 c Sol. found (all assignments made)... 54.43 c Sol. found (all assignments made)... 54.43 c Sol. found (all assignments made)... 54.43 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.44 o 49820410 54.44 c NEW SOLUTION FOUND: 49820410 @ 54.404 54.44 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.45 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.66 c Sol. found (all assignments made)... 54.66 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 o 49584009 54.76 c NEW SOLUTION FOUND: 49584009 @ 54.721 54.76 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.76 o 49543194 54.76 c NEW SOLUTION FOUND: 49543194 @ 54.729 54.77 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.81 c Sol. found (all assignments made)... 54.81 o 49541834 54.81 c NEW SOLUTION FOUND: 49541834 @ 54.771 54.81 c Sol. found (all assignments made)... 54.81 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 o 49514010 54.83 c NEW SOLUTION FOUND: 49514010 @ 54.792 54.83 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.85 o 49228527 54.85 c NEW SOLUTION FOUND: 49228527 @ 54.816 54.85 c Sol. found (all assignments made)... 54.85 o 49183546 54.85 c NEW SOLUTION FOUND: 49183546 @ 54.818 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.87 c Sol. found (all assignments made)... 55.01 c Sol. found (all assignments made)... 55.01 o 49175490 55.01 c NEW SOLUTION FOUND: 49175490 @ 54.976 55.02 c Sol. found (all assignments made)... 55.02 o 48930822 55.02 c NEW SOLUTION FOUND: 48930822 @ 54.988 55.03 c Sol. found (all assignments made)... 55.03 o 48885841 55.03 c NEW SOLUTION FOUND: 48885841 @ 54.991 55.04 c Sol. found (all assignments made)... 55.04 o 48845026 55.04 c NEW SOLUTION FOUND: 48845026 @ 55.001 55.80 c Sol. found (all assignments made)... 55.80 o 48751678 55.80 c NEW SOLUTION FOUND: 48751678 @ 55.769 55.81 c Sol. found (all assignments made)... 55.81 o 48706697 55.81 c NEW SOLUTION FOUND: 48706697 @ 55.776 55.83 c Sol. found (all assignments made)... 55.83 o 48665882 55.83 c NEW SOLUTION FOUND: 48665882 @ 55.793 57.24 c Sol. found (all assignments made)... 57.24 c Sol. found (all assignments made)... 57.24 c Sol. found (all assignments made)... 57.25 c Sol. found (all assignments made)... 57.25 c Sol. found (all assignments made)... 57.25 c Sol. found (all assignments made)... 57.78 c Sol. found (all assignments made)... 57.79 c Sol. found (all assignments made)... 57.79 c Sol. found (all assignments made)... 57.80 c Sol. found (all assignments made)... 57.80 c Sol. found (all assignments made)... 57.80 c Sol. found (all assignments made)... 57.86 c Sol. found (all assignments made)... 57.86 c Sol. found (all assignments made)... 57.86 c Sol. found (all assignments made)... 57.87 c Sol. found (all assignments made)... 57.87 c Sol. found (all assignments made)... 57.87 c Sol. found (all assignments made)... 58.22 c Sol. found (all assignments made)... 58.22 o 48433246 58.22 c NEW SOLUTION FOUND: 48433246 @ 58.183 58.25 c Sol. found (all assignments made)... 58.25 o 48388265 58.25 c NEW SOLUTION FOUND: 48388265 @ 58.212 58.40 c Sol. found (all assignments made)... 58.40 o 48347450 58.40 c NEW SOLUTION FOUND: 48347450 @ 58.364 62.74 c Sol. found (all assignments made)... 62.74 o 48263986 62.74 c NEW SOLUTION FOUND: 48263986 @ 62.707 62.76 c Sol. found (all assignments made)... 62.76 o 48219005 62.76 c NEW SOLUTION FOUND: 48219005 @ 62.718 62.81 c Sol. found (all assignments made)... 62.81 o 48178190 62.81 c NEW SOLUTION FOUND: 48178190 @ 62.771 64.35 c Sol. found (all assignments made)... 64.35 c Sol. found (all assignments made)... 64.43 c Sol. found (all assignments made)... 64.44 c Sol. found (all assignments made)... 64.44 c Sol. found (all assignments made)... 64.76 c Sol. found (all assignments made)... 64.76 c Sol. found (all assignments made)... 64.78 c Sol. found (all assignments made)... 65.14 c Sol. found (all assignments made)... 65.15 c Sol. found (all assignments made)... 65.17 c Sol. found (all assignments made)... 65.19 c Sol. found (all assignments made)... 65.19 c Sol. found (all assignments made)... 65.20 c Sol. found (all assignments made)... 67.48 c Sol. found (all assignments made)... 67.48 o 48174074 67.48 c NEW SOLUTION FOUND: 48174074 @ 67.437 67.49 c Sol. found (all assignments made)... 67.49 o 48129093 67.49 c NEW SOLUTION FOUND: 48129093 @ 67.448 68.26 c Sol. found (all assignments made)... 68.26 o 48088278 68.26 c NEW SOLUTION FOUND: 48088278 @ 68.22 68.91 c Sol. found (all assignments made)... 68.91 o 48016138 68.91 c NEW SOLUTION FOUND: 48016138 @ 68.873 68.93 c Sol. found (all assignments made)... 68.93 o 47971157 68.93 c NEW SOLUTION FOUND: 47971157 @ 68.892 69.35 c Sol. found (all assignments made)... 69.35 o 47930342 69.35 c NEW SOLUTION FOUND: 47930342 @ 69.307 70.54 c Sol. found (all assignments made)... 70.54 o 47926226 70.54 c NEW SOLUTION FOUND: 47926226 @ 70.501 70.54 c Sol. found (all assignments made)... 70.54 o 47885411 70.54 c NEW SOLUTION FOUND: 47885411 @ 70.504 70.56 c Sol. found (all assignments made)... 70.56 o 47881245 70.56 c NEW SOLUTION FOUND: 47881245 @ 70.52 70.56 c Sol. found (all assignments made)... 70.56 o 47840430 70.56 c NEW SOLUTION FOUND: 47840430 @ 70.523 72.58 c Sol. found (all assignments made)... 72.58 o 47825323 72.58 c NEW SOLUTION FOUND: 47825323 @ 72.544 72.60 c Sol. found (all assignments made)... 72.60 o 47780342 72.60 c NEW SOLUTION FOUND: 47780342 @ 72.557 72.93 c Sol. found (all assignments made)... 72.93 o 47735411 72.93 c NEW SOLUTION FOUND: 47735411 @ 72.885 72.94 c Sol. found (all assignments made)... 72.94 o 47690430 72.94 c NEW SOLUTION FOUND: 47690430 @ 72.897 79.94 c Restart #41 #Var: 3562 LB: 1460426 @ 79.9 81.83 c Restart #42 #Var: 3562 LB: 1460426 @ 81.784 82.77 c Restart #43 #Var: 3562 LB: 1460426 @ 82.725 85.89 c Restart #44 #Var: 3562 LB: 1460426 @ 85.846 92.52 c CHANGE to MIS mode... UB: 47690430 MIS: 22966041 LPR: -2147483648 (0) Diff: -0.010694 92.52 c Restart #0 #Var: 3562 LB: 1460426 @ 92.47 92.66 c Restart #1 #Var: 3562 LB: 22966041 @ 92.613 92.92 c Restart #2 #Var: 3562 LB: 22966041 @ 92.874 93.40 c Restart #3 #Var: 3562 LB: 22966041 @ 93.358 94.67 c Restart #4 #Var: 3562 LB: 22966041 @ 94.625 96.39 c Restart #5 #Var: 3562 LB: 22966041 @ 96.345 98.09 c Restart #6 #Var: 3562 LB: 22966041 @ 98.048 100.51 c Restart #7 #Var: 3562 LB: 22967559 @ 100.46 104.11 c Restart #8 #Var: 3562 LB: 22966041 @ 104.06 107.08 c Restart #9 #Var: 3562 LB: 22966041 @ 107.03 111.28 c Restart #10 #Var: 3562 LB: 22966041 @ 111.23 115.48 c Restart #11 #Var: 3562 LB: 22966041 @ 115.43 116.33 c Restart #12 #Var: 3562 LB: 22966041 @ 116.28 117.38 c Restart #13 #Var: 3562 LB: 22966107 @ 117.33 118.71 c Restart #14 #Var: 3562 LB: 22966107 @ 118.66 120.33 c Restart #15 #Var: 3562 LB: 22965698 @ 120.28 126.14 c Restart #16 #Var: 3562 LB: 22965893 @ 126.08 131.89 c Restart #17 #Var: 3562 LB: 22965893 @ 131.84 138.61 c Restart #18 #Var: 3562 LB: 22966236 @ 138.55 144.80 c Restart #19 #Var: 3562 LB: 22965893 @ 144.74 152.31 c Restart #20 #Var: 3562 LB: 22966236 @ 152.25 160.86 c Restart #21 #Var: 3562 LB: 22965893 @ 160.79 171.14 c Restart #22 #Var: 3562 LB: 22966236 @ 171.08 178.43 c Restart #23 #Var: 3562 LB: 22965893 @ 178.36 187.31 c Restart #24 #Var: 3562 LB: 22966236 @ 187.24 189.59 c Restart #25 #Var: 3562 LB: 22966302 @ 189.51 200.28 c Restart #26 #Var: 3562 LB: 22966236 @ 200.21 205.21 c Restart #27 #Var: 3562 LB: 22966236 @ 205.14 207.09 c Restart #28 #Var: 3562 LB: 22966236 @ 207.02 217.32 c Restart #29 #Var: 3562 LB: 22966236 @ 217.24 225.99 c Restart #30 #Var: 3562 LB: 22966302 @ 225.91 238.53 c Restart #31 #Var: 3562 LB: 22966236 @ 238.45 248.20 c Restart #32 #Var: 3562 LB: 22966236 @ 248.12 261.49 c Restart #33 #Var: 3562 LB: 22966236 @ 261.39 271.93 c Restart #34 #Var: 3562 LB: 22966236 @ 271.83 285.42 c Restart #35 #Var: 3562 LB: 22966236 @ 285.32 296.57 c Restart #36 #Var: 3562 LB: 22966236 @ 296.47 311.03 c Restart #37 #Var: 3562 LB: 22965893 @ 310.92 322.49 c Restart #38 #Var: 3562 LB: 22965893 @ 322.38 337.96 c Restart #39 #Var: 3562 LB: 22965893 @ 337.85 349.44 c Restart #40 #Var: 3562 LB: 22966302 @ 349.32 366.39 c Restart #41 #Var: 3562 LB: 22966302 @ 366.27 374.71 c Restart #42 #Var: 3562 LB: 22965893 @ 374.59 387.91 c Restart #43 #Var: 3562 LB: 22965893 @ 387.79 400.39 c Restart #44 #Var: 3562 LB: 22965893 @ 400.26 417.00 c Restart #45 #Var: 3562 LB: 22965893 @ 416.87 436.08 c Restart #46 #Var: 3562 LB: 22965893 @ 435.94 439.27 c Restart #47 #Var: 3562 LB: 22965893 @ 439.13 441.38 c Restart #48 #Var: 3562 LB: 22965893 @ 441.24 444.70 c Restart #49 #Var: 3562 LB: 22965893 @ 444.56 449.48 c Restart #50 #Var: 3562 LB: 22965893 @ 449.33 453.24 c Restart #51 #Var: 3562 LB: 22965893 @ 453.1 472.76 c Restart #52 #Var: 3562 LB: 22965893 @ 472.61 476.69 c Restart #53 #Var: 3562 LB: 22965893 @ 476.54 481.24 c Restart #54 #Var: 3562 LB: 22965893 @ 481.09 497.05 c Restart #55 #Var: 3562 LB: 22965893 @ 496.9 515.76 c Restart #56 #Var: 3562 LB: 22965893 @ 515.6 532.67 c Restart #57 #Var: 3562 LB: 22965893 @ 532.5 556.40 c Restart #58 #Var: 3562 LB: 22965893 @ 556.23 569.34 c Restart #59 #Var: 3562 LB: 22965893 @ 569.16 594.04 c Restart #60 #Var: 3562 LB: 22966302 @ 593.86 598.26 c Restart #61 #Var: 3562 LB: 22965893 @ 598.07 602.96 c Restart #62 #Var: 3562 LB: 22965893 @ 602.77 607.91 c Restart #63 #Var: 3562 LB: 22966302 @ 607.72 627.02 c Restart #64 #Var: 3562 LB: 22967625 @ 626.83 643.00 c Restart #65 #Var: 3562 LB: 22965893 @ 642.8 648.69 c Restart #66 #Var: 3562 LB: 22967625 @ 648.49 672.58 c Restart #67 #Var: 3562 LB: 22967625 @ 672.38 700.82 c Restart #68 #Var: 3562 LB: 22967625 @ 700.61 727.40 c Restart #69 #Var: 3562 LB: 22966107 @ 727.18 747.93 c Restart #70 #Var: 3562 LB: 22967625 @ 747.71 773.66 c Restart #71 #Var: 3562 LB: 22966041 @ 773.43 802.06 c Restart #72 #Var: 3562 LB: 22967625 @ 801.82 831.66 c Restart #73 #Var: 3562 LB: 22966107 @ 831.41 854.34 c Restart #74 #Var: 3562 LB: 22966107 @ 854.09 884.06 c Restart #75 #Var: 3562 LB: 22966041 @ 883.8 889.34 c Restart #76 #Var: 3562 LB: 22966107 @ 889.08 914.20 c Restart #77 #Var: 3562 LB: 22966041 @ 913.93 930.34 c Restart #78 #Var: 3562 LB: 22966041 @ 930.06 934.00 c Restart #79 #Var: 3562 LB: 22965698 @ 933.73 940.17 c Restart #80 #Var: 3562 LB: 22967625 @ 939.89 943.83 c Restart #81 #Var: 3562 LB: 22966107 @ 943.55 949.38 c Restart #82 #Var: 3562 LB: 22966107 @ 949.1 978.58 c Restart #83 #Var: 3562 LB: 22965893 @ 978.29 984.85 c Restart #84 #Var: 3562 LB: 22965893 @ 984.56 1007.16 c Restart #85 #Var: 3562 LB: 22965893 @ 1006.9 1013.29 c Restart #86 #Var: 3562 LB: 22967216 @ 1013 1042.88 c Restart #87 #Var: 3562 LB: 22967216 @ 1042.6 1047.41 c Restart #88 #Var: 3562 LB: 22967216 @ 1047.1 1051.80 c Restart #89 #Var: 3562 LB: 22966236 @ 1051.5 1058.30 c Restart #90 #Var: 3562 LB: 22966236 @ 1058 1067.03 c Restart #91 #Var: 3562 LB: 22966236 @ 1066.7 1076.23 c Restart #92 #Var: 3562 LB: 22966236 @ 1075.9 1083.55 c Restart #93 #Var: 3562 LB: 22966236 @ 1083.2 1090.30 c Restart #94 #Var: 3562 LB: 22966041 @ 1090 1099.68 c Restart #95 #Var: 3562 LB: 22966236 @ 1099.4 1106.97 c Restart #96 #Var: 3562 LB: 22966236 @ 1106.6 1115.96 c Restart #97 #Var: 3562 LB: 22966041 @ 1115.6 1121.50 c Restart #98 #Var: 3562 LB: 22966041 @ 1121.2 1121.72 c Sol. found (all assignments made)... 1121.72 o 47673651 1121.72 c NEW SOLUTION FOUND: 47673651 @ 1121.4 1121.81 c Sol. found (all assignments made)... 1121.81 c Sol. found (all assignments made)... 1121.81 o 47631759 1121.81 c NEW SOLUTION FOUND: 47631759 @ 1121.5 1121.85 c Sol. found (all assignments made)... 1121.85 o 47626859 1121.85 c NEW SOLUTION FOUND: 47626859 @ 1121.5 1121.85 c Sol. found (all assignments made)... 1121.85 o 47589509 1121.85 c NEW SOLUTION FOUND: 47589509 @ 1121.5 1121.85 c Sol. found (all assignments made)... 1121.86 o 47548871 1121.86 c NEW SOLUTION FOUND: 47548871 @ 1121.5 1121.90 c Sol. found (all assignments made)... 1121.90 o 47543075 1121.90 c NEW SOLUTION FOUND: 47543075 @ 1121.6 1121.91 c Sol. found (all assignments made)... 1121.91 o 47505725 1121.91 c NEW SOLUTION FOUND: 47505725 @ 1121.6 1121.91 c Sol. found (all assignments made)... 1121.91 o 47465087 1121.91 c NEW SOLUTION FOUND: 47465087 @ 1121.6 1122.10 c Sol. found (all assignments made)... 1122.10 o 47463575 1122.10 c NEW SOLUTION FOUND: 47463575 @ 1121.8 1122.14 c Sol. found (all assignments made)... 1122.14 o 47424581 1122.14 c NEW SOLUTION FOUND: 47424581 @ 1121.8 1122.45 c Sol. found (all assignments made)... 1122.45 o 47421953 1122.45 c NEW SOLUTION FOUND: 47421953 @ 1122.1 1122.55 c Sol. found (all assignments made)... 1122.55 o 47382959 1122.55 c NEW SOLUTION FOUND: 47382959 @ 1122.2 1122.96 c Sol. found (all assignments made)... 1122.96 o 47377250 1122.96 c NEW SOLUTION FOUND: 47377250 @ 1122.6 1123.09 c Sol. found (all assignments made)... 1123.09 o 47338256 1123.09 c NEW SOLUTION FOUND: 47338256 @ 1122.8 1123.13 c Sol. found (all assignments made)... 1123.13 o 47330559 1123.13 c NEW SOLUTION FOUND: 47330559 @ 1122.8 1123.14 c Sol. found (all assignments made)... 1123.14 o 47289921 1123.14 c NEW SOLUTION FOUND: 47289921 @ 1122.8 1123.16 c Sol. found (all assignments made)... 1123.16 o 47084592 1123.16 c NEW SOLUTION FOUND: 47084592 @ 1122.8 1123.16 c Sol. found (all assignments made)... 1123.16 o 46922040 1123.16 c NEW SOLUTION FOUND: 46922040 @ 1122.8 1123.18 c Sol. found (all assignments made)... 1123.18 o 46840764 1123.18 c NEW SOLUTION FOUND: 46840764 @ 1122.9 1123.19 c Sol. found (all assignments made)... 1123.19 o 46706655 1123.19 c NEW SOLUTION FOUND: 46706655 @ 1122.9 1123.20 c Sol. found (all assignments made)... 1123.20 o 46666017 1123.20 c NEW SOLUTION FOUND: 46666017 @ 1122.9 1123.22 c Sol. found (all assignments made)... 1123.22 o 46604892 1123.22 c NEW SOLUTION FOUND: 46604892 @ 1122.9 1123.23 c Sol. found (all assignments made)... 1123.23 o 46470783 1123.23 c NEW SOLUTION FOUND: 46470783 @ 1122.9 1123.24 c Sol. found (all assignments made)... 1123.24 o 45892584 1123.24 c NEW SOLUTION FOUND: 45892584 @ 1122.9 1123.24 c Sol. found (all assignments made)... 1123.24 o 45534960 1123.24 c NEW SOLUTION FOUND: 45534960 @ 1122.9 1123.25 c Sol. found (all assignments made)... 1123.25 o 45356148 1123.25 c NEW SOLUTION FOUND: 45356148 @ 1122.9 1123.26 c Sol. found (all assignments made)... 1123.26 o 45222039 1123.26 c NEW SOLUTION FOUND: 45222039 @ 1122.9 1123.27 c Sol. found (all assignments made)... 1123.27 o 44979834 1123.27 c NEW SOLUTION FOUND: 44979834 @ 1122.9 1123.28 c Sol. found (all assignments made)... 1123.28 o 44963574 1123.28 c NEW SOLUTION FOUND: 44963574 @ 1123 1123.28 c Sol. found (all assignments made)... 1123.28 o 44801022 1123.28 c NEW SOLUTION FOUND: 44801022 @ 1123 1123.29 c Sol. found (all assignments made)... 1123.29 o 44719746 1123.29 c NEW SOLUTION FOUND: 44719746 @ 1123 1123.29 c Sol. found (all assignments made)... 1123.29 o 44666913 1123.29 c NEW SOLUTION FOUND: 44666913 @ 1123 1123.30 c Sol. found (all assignments made)... 1123.30 o 44585637 1123.30 c NEW SOLUTION FOUND: 44585637 @ 1123 1123.31 c Sol. found (all assignments made)... 1123.31 o 44544999 1123.31 c NEW SOLUTION FOUND: 44544999 @ 1123 1123.32 c Sol. found (all assignments made)... 1123.32 o 44426424 1123.32 c NEW SOLUTION FOUND: 44426424 @ 1123 1123.33 c Sol. found (all assignments made)... 1123.33 o 44345148 1123.33 c NEW SOLUTION FOUND: 44345148 @ 1123 1123.33 c Sol. found (all assignments made)... 1123.33 o 44292315 1123.33 c NEW SOLUTION FOUND: 44292315 @ 1123 1123.34 c Sol. found (all assignments made)... 1123.34 o 44211039 1123.34 c NEW SOLUTION FOUND: 44211039 @ 1123 1123.34 c Sol. found (all assignments made)... 1123.34 o 44170401 1123.34 c NEW SOLUTION FOUND: 44170401 @ 1123 1123.36 c Sol. found (all assignments made)... 1123.36 o 44156067 1123.36 c NEW SOLUTION FOUND: 44156067 @ 1123 1123.37 c Sol. found (all assignments made)... 1123.37 o 43668411 1123.37 c NEW SOLUTION FOUND: 43668411 @ 1123 1123.37 c Sol. found (all assignments made)... 1123.37 o 43587135 1123.37 c NEW SOLUTION FOUND: 43587135 @ 1123 1123.38 c Sol. found (all assignments made)... 1123.38 o 43546497 1123.38 c NEW SOLUTION FOUND: 43546497 @ 1123.1 1123.40 c Sol. found (all assignments made)... 1123.40 o 43421790 1123.40 c NEW SOLUTION FOUND: 43421790 @ 1123.1 1123.41 c Sol. found (all assignments made)... 1123.41 o 43287681 1123.41 c NEW SOLUTION FOUND: 43287681 @ 1123.1 1123.43 c Sol. found (all assignments made)... 1123.43 o 43241262 1123.43 c NEW SOLUTION FOUND: 43241262 @ 1123.1 1123.44 c Sol. found (all assignments made)... 1123.44 o 43159986 1123.44 c NEW SOLUTION FOUND: 43159986 @ 1123.1 1123.44 c Sol. found (all assignments made)... 1123.44 o 43025877 1123.44 c NEW SOLUTION FOUND: 43025877 @ 1123.1 1123.45 c Sol. found (all assignments made)... 1123.45 o 42985239 1123.45 c NEW SOLUTION FOUND: 42985239 @ 1123.1 1123.47 c Sol. found (all assignments made)... 1123.47 o 42866664 1123.47 c NEW SOLUTION FOUND: 42866664 @ 1123.1 1123.47 c Sol. found (all assignments made)... 1123.47 o 42785388 1123.47 c NEW SOLUTION FOUND: 42785388 @ 1123.1 1123.48 c Sol. found (all assignments made)... 1123.48 o 42651279 1123.48 c NEW SOLUTION FOUND: 42651279 @ 1123.2 1123.49 c Sol. found (all assignments made)... 1123.49 o 42610641 1123.49 c NEW SOLUTION FOUND: 42610641 @ 1123.2 1123.55 c Sol. found (all assignments made)... 1123.55 o 42563067 1123.55 c NEW SOLUTION FOUND: 42563067 @ 1123.2 1123.58 c Sol. found (all assignments made)... 1123.58 o 42562083 1123.58 c NEW SOLUTION FOUND: 42562083 @ 1123.3 1123.59 c Sol. found (all assignments made)... 1123.59 o 42521445 1123.59 c NEW SOLUTION FOUND: 42521445 @ 1123.3 1123.67 c Sol. found (all assignments made)... 1123.67 o 42502263 1123.67 c NEW SOLUTION FOUND: 42502263 @ 1123.3 1123.71 c Sol. found (all assignments made)... 1123.71 o 42501279 1123.71 c NEW SOLUTION FOUND: 42501279 @ 1123.4 1123.73 c Sol. found (all assignments made)... 1123.73 o 42460641 1123.73 c NEW SOLUTION FOUND: 42460641 @ 1123.4 1123.76 c Sol. found (all assignments made)... 1123.76 o 42453705 1123.76 c NEW SOLUTION FOUND: 42453705 @ 1123.4 1123.77 c Sol. found (all assignments made)... 1123.77 o 42413067 1123.77 c NEW SOLUTION FOUND: 42413067 @ 1123.4 1123.81 c Sol. found (all assignments made)... 1123.81 o 42371445 1123.81 c NEW SOLUTION FOUND: 42371445 @ 1123.5 1124.40 c Sol. found (all assignments made)... 1124.40 o 42332451 1124.40 c NEW SOLUTION FOUND: 42332451 @ 1124.1 1127.27 c Sol. found (all assignments made)... 1127.27 o 42310641 1127.27 c NEW SOLUTION FOUND: 42310641 @ 1126.9 1127.52 c Sol. found (all assignments made)... 1127.52 o 42271647 1127.52 c NEW SOLUTION FOUND: 42271647 @ 1127.2 1127.62 c Sol. found (all assignments made)... 1127.62 o 42263067 1127.62 c NEW SOLUTION FOUND: 42263067 @ 1127.3 1127.64 c Sol. found (all assignments made)... 1127.64 o 42262083 1127.64 c NEW SOLUTION FOUND: 42262083 @ 1127.3 1127.69 c Sol. found (all assignments made)... 1127.69 o 42221445 1127.69 c NEW SOLUTION FOUND: 42221445 @ 1127.4 1127.94 c Sol. found (all assignments made)... 1127.94 o 42182451 1127.94 c NEW SOLUTION FOUND: 42182451 @ 1127.6 1142.24 c Sol. found (all assignments made)... 1142.24 o 42182232 1142.24 c NEW SOLUTION FOUND: 42182232 @ 1141.9 1142.34 c Sol. found (all assignments made)... 1142.34 o 42143238 1142.34 c NEW SOLUTION FOUND: 42143238 @ 1142 1142.75 c Sol. found (all assignments made)... 1142.75 o 42140610 1142.75 c NEW SOLUTION FOUND: 42140610 @ 1142.4 1142.93 c Sol. found (all assignments made)... 1142.93 o 42101616 1142.93 c NEW SOLUTION FOUND: 42101616 @ 1142.6 1143.15 c Sol. found (all assignments made)... 1143.15 o 42082434 1143.15 c NEW SOLUTION FOUND: 42082434 @ 1142.8 1143.22 c Sol. found (all assignments made)... 1143.22 o 42072870 1143.22 c NEW SOLUTION FOUND: 42072870 @ 1142.9 1143.25 c Sol. found (all assignments made)... 1143.25 o 42032232 1143.25 c NEW SOLUTION FOUND: 42032232 @ 1142.9 1143.34 c Sol. found (all assignments made)... 1143.34 o 41993238 1143.34 c NEW SOLUTION FOUND: 41993238 @ 1143 1143.61 c Sol. found (all assignments made)... 1143.61 o 41990610 1143.61 c NEW SOLUTION FOUND: 41990610 @ 1143.3 1143.71 c Sol. found (all assignments made)... 1143.71 o 41951616 1143.71 c NEW SOLUTION FOUND: 41951616 @ 1143.4 1144.70 c Sol. found (all assignments made)... 1144.70 o 41932434 1144.70 c NEW SOLUTION FOUND: 41932434 @ 1144.4 1144.75 c Sol. found (all assignments made)... 1144.75 o 41922870 1144.75 c NEW SOLUTION FOUND: 41922870 @ 1144.4 1144.79 c Sol. found (all assignments made)... 1144.79 o 41882232 1144.79 c NEW SOLUTION FOUND: 41882232 @ 1144.5 1144.88 c Sol. found (all assignments made)... 1144.88 o 41843238 1144.88 c NEW SOLUTION FOUND: 41843238 @ 1144.5 1145.13 c Sol. found (all assignments made)... 1145.13 o 41840610 1145.13 c NEW SOLUTION FOUND: 41840610 @ 1144.8 1145.27 c Sol. found (all assignments made)... 1145.27 o 41801616 1145.27 c NEW SOLUTION FOUND: 41801616 @ 1144.9 1151.62 c Sol. found (all assignments made)... 1151.62 o 41761220 1151.62 c NEW SOLUTION FOUND: 41761220 @ 1151.3 1161.97 c Sol. found (all assignments made)... 1161.97 o 41760740 1161.97 c NEW SOLUTION FOUND: 41760740 @ 1161.6 1162.18 c Sol. found (all assignments made)... 1162.18 o 41721746 1162.18 c NEW SOLUTION FOUND: 41721746 @ 1161.8 1162.33 c Sol. found (all assignments made)... 1162.33 o 41719118 1162.33 c NEW SOLUTION FOUND: 41719118 @ 1162 1162.59 c Sol. found (all assignments made)... 1162.59 o 41680124 1162.59 c NEW SOLUTION FOUND: 41680124 @ 1162.2 1175.91 c Sol. found (all assignments made)... 1175.91 o 41660942 1175.91 c NEW SOLUTION FOUND: 41660942 @ 1175.6 1176.06 c Sol. found (all assignments made)... 1176.06 o 41651378 1176.06 c NEW SOLUTION FOUND: 41651378 @ 1175.7 1176.15 c Sol. found (all assignments made)... 1176.15 o 41612384 1176.15 c NEW SOLUTION FOUND: 41612384 @ 1175.8 1176.20 c Sol. found (all assignments made)... 1176.20 o 41610740 1176.20 c NEW SOLUTION FOUND: 41610740 @ 1175.9 1176.32 c Sol. found (all assignments made)... 1176.32 o 41571746 1176.32 c NEW SOLUTION FOUND: 41571746 @ 1176 1176.88 c Sol. found (all assignments made)... 1176.88 o 41570762 1176.88 c NEW SOLUTION FOUND: 41570762 @ 1176.5 1176.95 c Sol. found (all assignments made)... 1176.95 o 41569118 1176.95 c NEW SOLUTION FOUND: 41569118 @ 1176.6 1177.08 c Sol. found (all assignments made)... 1177.08 o 41530124 1177.08 c NEW SOLUTION FOUND: 41530124 @ 1176.7 1188.10 c Sol. found (all assignments made)... 1188.10 o 41528722 1188.10 c NEW SOLUTION FOUND: 41528722 @ 1187.8 1188.70 c Sol. found (all assignments made)... 1188.70 o 41489728 1188.70 c NEW SOLUTION FOUND: 41489728 @ 1188.4 1188.84 c Sol. found (all assignments made)... 1188.84 o 41482028 1188.84 c NEW SOLUTION FOUND: 41482028 @ 1188.5 1188.87 c Sol. found (all assignments made)... 1188.87 o 41441632 1188.87 c NEW SOLUTION FOUND: 41441632 @ 1188.5 1188.89 c Sol. found (all assignments made)... 1188.89 o 41441438 1188.89 c NEW SOLUTION FOUND: 41441438 @ 1188.5 1188.90 c Sol. found (all assignments made)... 1188.90 o 41400932 1188.90 c NEW SOLUTION FOUND: 41400932 @ 1188.6 1188.94 c Sol. found (all assignments made)... 1188.94 o 41360536 1188.94 c NEW SOLUTION FOUND: 41360536 @ 1188.6 1189.19 c Sol. found (all assignments made)... 1189.19 o 41356229 1189.19 c NEW SOLUTION FOUND: 41356229 @ 1188.8 1189.20 c Sol. found (all assignments made)... 1189.20 o 41315833 1189.20 c NEW SOLUTION FOUND: 41315833 @ 1188.9 1189.63 c Sol. found (all assignments made)... 1189.63 o 41314607 1189.63 c NEW SOLUTION FOUND: 41314607 @ 1189.3 1189.65 c Sol. found (all assignments made)... 1189.65 o 41274211 1189.65 c NEW SOLUTION FOUND: 41274211 @ 1189.3 1190.34 c Sol. found (all assignments made)... 1190.34 o 41273969 1190.34 c NEW SOLUTION FOUND: 41273969 @ 1190 1190.35 c Sol. found (all assignments made)... 1190.35 o 41233573 1190.35 c NEW SOLUTION FOUND: 41233573 @ 1190 1191.57 c Sol. found (all assignments made)... 1191.57 o 41194579 1191.57 c NEW SOLUTION FOUND: 41194579 @ 1191.2 1192.16 c Sol. found (all assignments made)... 1192.16 o 41185015 1192.16 c NEW SOLUTION FOUND: 41185015 @ 1191.8 1192.84 c Sol. found (all assignments made)... 1192.84 o 41144377 1192.84 c NEW SOLUTION FOUND: 41144377 @ 1192.5 1193.79 c Sol. found (all assignments made)... 1193.80 c Sol. found (all assignments made)... 1193.80 o 41105383 1193.80 c NEW SOLUTION FOUND: 41105383 @ 1193.5 1194.90 c Sol. found (all assignments made)... 1194.90 o 41083573 1194.90 c NEW SOLUTION FOUND: 41083573 @ 1194.5 1195.80 c Sol. found (all assignments made)... 1195.80 c Sol. found (all assignments made)... 1195.80 o 41044579 1195.80 c NEW SOLUTION FOUND: 41044579 @ 1195.5 1196.32 c Sol. found (all assignments made)... 1196.32 o 41035015 1196.32 c NEW SOLUTION FOUND: 41035015 @ 1196 1196.87 c Sol. found (all assignments made)... 1196.87 o 41034883 1196.87 c NEW SOLUTION FOUND: 41034883 @ 1196.5 1196.87 c Sol. found (all assignments made)... 1196.87 o 40994377 1196.87 c NEW SOLUTION FOUND: 40994377 @ 1196.5 1197.71 c Sol. found (all assignments made)... 1197.71 o 40955383 1197.71 c NEW SOLUTION FOUND: 40955383 @ 1197.4 1200.85 c Sol. found (all assignments made)... 1200.85 o 40933573 1200.85 c NEW SOLUTION FOUND: 40933573 @ 1200.5 1201.47 c Sol. found (all assignments made)... 1201.47 o 40894579 1201.47 c NEW SOLUTION FOUND: 40894579 @ 1201.1 1202.26 c Sol. found (all assignments made)... 1202.26 o 40886479 1202.26 c NEW SOLUTION FOUND: 40886479 @ 1201.9 1202.38 c Sol. found (all assignments made)... 1202.38 o 40885015 1202.38 c NEW SOLUTION FOUND: 40885015 @ 1202 1202.69 c Sol. found (all assignments made)... 1202.69 o 40884773 1202.69 c NEW SOLUTION FOUND: 40884773 @ 1202.3 1202.70 c Sol. found (all assignments made)... 1202.70 o 40844377 1202.70 c NEW SOLUTION FOUND: 40844377 @ 1202.4 1203.15 c Sol. found (all assignments made)... 1203.15 o 40805383 1203.15 c NEW SOLUTION FOUND: 40805383 @ 1202.8 1210.06 c Sol. found (all assignments made)... 1210.06 o 40789282 1210.06 c NEW SOLUTION FOUND: 40789282 @ 1209.7 1210.21 c Sol. found (all assignments made)... 1210.21 o 40786201 1210.21 c NEW SOLUTION FOUND: 40786201 @ 1209.9 1210.36 c Sol. found (all assignments made)... 1210.36 o 40785217 1210.36 c NEW SOLUTION FOUND: 40785217 @ 1210 1210.48 c Sol. found (all assignments made)... 1210.48 o 40783573 1210.48 c NEW SOLUTION FOUND: 40783573 @ 1210.1 1210.55 c Sol. found (all assignments made)... 1210.55 o 40744579 1210.55 c NEW SOLUTION FOUND: 40744579 @ 1210.2 1211.15 c Sol. found (all assignments made)... 1211.15 o 40736479 1211.15 c NEW SOLUTION FOUND: 40736479 @ 1210.8 1211.57 c Sol. found (all assignments made)... 1211.57 o 40700086 1211.57 c NEW SOLUTION FOUND: 40700086 @ 1211.2 1211.77 c Sol. found (all assignments made)... 1211.77 o 40696021 1211.77 c NEW SOLUTION FOUND: 40696021 @ 1211.4 1211.91 c Sol. found (all assignments made)... 1211.91 o 40694377 1211.91 c NEW SOLUTION FOUND: 40694377 @ 1211.6 1211.96 c Sol. found (all assignments made)... 1211.96 o 40655383 1211.96 c NEW SOLUTION FOUND: 40655383 @ 1211.6 1230.37 c Restart #99 #Var: 3562 LB: 22967625 @ 1230 1240.44 c Restart #100 #Var: 3562 LB: 22966302 @ 1240.1 1282.24 c Restart #101 #Var: 3562 LB: 22967625 @ 1281.9 1316.95 c Restart #102 #Var: 3562 LB: 22967625 @ 1316.6 1325.78 c Restart #103 #Var: 3562 LB: 22966236 @ 1325.4 1349.21 c Restart #104 #Var: 3562 LB: 22966302 @ 1348.8 1356.73 c Restart #105 #Var: 3562 LB: 22966302 @ 1356.3 1360.26 c Restart #106 #Var: 3562 LB: 22966302 @ 1359.9 1369.99 c Restart #107 #Var: 3562 LB: 22966302 @ 1369.6 1375.73 c Restart #108 #Var: 3562 LB: 22967625 @ 1375.3 1381.41 c Restart #109 #Var: 3562 LB: 22967625 @ 1381 1393.14 c Restart #110 #Var: 3562 LB: 22966107 @ 1392.7 1412.46 c Restart #111 #Var: 3562 LB: 22966107 @ 1412.1 1421.84 c Restart #112 #Var: 3562 LB: 22966041 @ 1421.4 1431.48 c Restart #113 #Var: 3562 LB: 22966107 @ 1431.1 1445.87 c Restart #114 #Var: 3562 LB: 22966107 @ 1445.5 1451.83 c Restart #115 #Var: 3562 LB: 22966107 @ 1451.4 1484.17 c Restart #116 #Var: 3562 LB: 22967625 @ 1483.7 1489.55 c Restart #117 #Var: 3562 LB: 22967625 @ 1489.1 1497.56 c Restart #118 #Var: 3562 LB: 22966107 @ 1497.1 1508.48 c Restart #119 #Var: 3562 LB: 22967625 @ 1508.1 1523.30 c Restart #120 #Var: 3562 LB: 22967625 @ 1522.9 1554.17 c Restart #121 #Var: 3562 LB: 22967625 @ 1553.7 1571.72 c Restart #122 #Var: 3562 LB: 22965698 @ 1571.3 1581.46 c Restart #123 #Var: 3562 LB: 22965893 @ 1581 1599.74 c Restart #124 #Var: 3562 LB: 22965893 @ 1599.3 1612.17 c Restart #125 #Var: 3562 LB: 22965893 @ 1611.7 1633.58 c Restart #126 #Var: 3562 LB: 22965893 @ 1633.1 1689.69 c Restart #127 #Var: 3562 LB: 22965893 @ 1689.2 1701.42 c Restart #128 #Var: 3562 LB: 22966236 @ 1700.9 1741.51 c Restart #129 #Var: 3562 LB: 22965893 @ 1741 1752.06 c Restart #130 #Var: 3562 LB: 22965893 @ 1751.6 1771.69 c Restart #131 #Var: 3562 LB: 22965893 @ 1771.2 1778.89 c Restart #132 #Var: 3562 LB: 22965893 @ 1778.4 1791.58 c Restart #133 #Var: 3562 LB: 22965893 @ 1791.1 1800.51 s SATISFIABLE 1800.51 c Cost: 40655383 1800.51 v x1 -x1112 -x5626 -x5737 -x5848 -x5959 x6070 x6181 -x6292 x2 x113 -x224 -x335 x446 x557 x668 x779 x890 -x1001 -x1113 x1224 1800.51 v -x1335 -x1446 x1557 -x1668 x1779 -x1890 -x3066 x4723 -x5627 -x5638 -x5649 x5660 -x5671 -x5682 -x5693 -x5704 -x5715 -x5726 1800.51 v -x5738 -x5749 -x5760 -x926 -x927 -x928 -x929 -x930 -x931 -x5771 -x5782 -x5793 x5804 -x5815 -x5826 -x5837 -x5849 -x5860 1800.51 v -x5871 -x5882 -x5893 -x932 -x933 -x934 -x936 -x937 -x938 -x5904 -x5915 -x5926 -x5937 x5948 -x5960 -x5971 -x5982 -x5993 1800.51 v -x6004 -x6015 -x6026 -x939 -x940 -x941 -x942 -x943 -x944 -x6037 -x6048 -x6059 -x6071 -x6082 -x6093 -x6104 -x6115 x6126 1800.51 v -x6137 -x6148 -x6159 -x945 -x947 -x948 -x949 -x950 -x951 -x6170 -x6182 -x6193 x6204 -x6215 -x6226 -x6237 -x6248 -x6259 1800.51 v -x6270 -x6281 -x6293 -x952 -x953 -x954 -x955 -x956 -x958 -x6304 -x6315 -x6326 x6337 -x6348 -x6359 -x6370 -x6381 -x6392 1800.51 v -x3 -x14 -x25 -x959 -x960 -x961 -x962 -x963 -x964 -x36 x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 -x158 -x965 -x966 1800.51 v -x967 -x969 -x970 -x971 -x169 -x180 -x191 x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x972 -x973 -x974 -x975 -x976 1800.51 v -x977 -x302 x313 -x324 -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x978 -x980 -x981 -x982 -x983 -x984 -x435 -x447 1800.51 v x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x985 -x986 -x987 -x988 -x989 -x991 -x569 -x580 -x591 -x602 -x613 1800.51 v -x624 -x635 -x646 -x657 -x669 -x680 x691 -x992 -x993 -x994 -x995 -x996 -x997 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 1800.51 v x791 -x802 -x813 -x824 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x835 -x846 x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 1800.51 v -x946 -x957 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x968 -x979 -x990 -x1002 x1013 -x1024 -x1035 -x1046 -x1057 -x1068 1800.51 v -x1079 -x1090 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1101 x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 1800.51 v -x1202 -x1213 -x1225 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 1800.51 v -x1324 -x1336 -x1347 x1358 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 1800.51 v -x1458 -x1469 -x1480 -x1491 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1502 -x1513 -x1524 -x1535 x1546 -x1558 -x1569 1800.51 v -x1580 -x1591 -x1602 -x1613 -x1624 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 1800.51 v -x1702 -x1713 x1724 -x1735 -x1746 -x1757 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1768 -x1780 x1791 -x1802 -x1813 -x1824 1800.51 v -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1902 -x1913 -x1924 -x1992 x2234 1800.51 v -x2340 -x2544 -x2698 -x2854 -x3067 -x3184 -x3435 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x3532 -x3774 -x3880 -x4084 1800.51 v -x4238 -x4394 -x4606 -x4724 x4975 -x5072 -x5314 -x5420 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x5621 -x5622 -x5623 1800.51 v -x5624 x5625 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x5635 -x5636 -x5637 1800.51 v -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 x5648 -x5650 1800.51 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5661 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x5662 1800.51 v -x5663 x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.51 v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 x5684 -x5685 -x5686 -x5687 -x1098 -x1099 -x1100 -x1102 -x1103 1800.51 v -x1104 x5688 -x5689 -x5690 -x5691 -x5692 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x1105 -x1106 -x1107 -x1108 1800.51 v -x1109 -x1110 -x5701 -x5702 -x5703 -x5705 -x5706 -x5707 -x5708 -x5709 x5710 -x5711 -x5712 -x5713 -x1111 -x1115 -x1116 1800.51 v -x1117 -x1118 -x1119 -x5714 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 x5723 -x5724 -x5725 -x5727 -x1120 -x1121 1800.51 v -x1122 -x1123 -x1124 -x1126 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5739 -x5740 -x5741 -x1127 1800.51 v -x1128 -x1129 -x1130 -x1131 -x1132 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5750 x5751 -x5752 -x5753 -x5754 1800.51 v -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x5755 -x5756 -x5757 x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1800.51 v -x5767 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x5768 -x5769 -x5770 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 1800.51 v -x5779 -x5780 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x5781 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 1800.51 v -x5791 -x5792 x5794 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 1800.51 v -x5805 -x5806 -x5807 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 1800.51 v x5817 -x5818 -x5819 -x5820 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 x5821 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 1800.51 v -x5830 -x5831 -x5832 -x5833 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x5834 -x5835 -x5836 -x5838 -x5839 -x5840 x5841 1800.51 v -x5842 -x5843 -x5844 -x5845 -x5846 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x5847 -x5850 -x5851 x5852 -x5853 -x5854 1800.51 v -x5855 -x5856 -x5857 -x5858 -x5859 -x5861 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x5862 -x5863 -x5864 -x5865 -x5866 1800.51 v -x5867 -x5868 -x5869 x5870 -x5872 -x5873 -x5874 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x5875 -x5876 x5877 -x5878 -x5879 1800.51 v -x5880 -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x5888 -x5889 -x5890 -x5891 1800.51 v -x5892 -x5894 -x5895 -x5896 x5897 -x5898 -x5899 -x5900 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x5901 x5902 -x5903 -x5905 1800.51 v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x5914 -x5916 -x5917 1800.51 v -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5927 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x5928 -x5929 1800.51 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5938 -x5939 -x5940 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x5941 1800.51 v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5949 x5950 -x5951 -x5952 -x5953 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 1800.51 v -x5954 -x5955 -x5956 -x5957 x5958 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x1240 -x1241 -x1242 -x1243 -x1244 1800.51 v -x1245 -x5968 -x5969 -x5970 -x5972 -x5973 -x5974 -x5975 -x5976 x5977 -x5978 -x5979 -x5980 -x1246 -x1248 -x1249 -x1250 1800.51 v -x1251 -x1252 -x5981 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5994 -x1253 -x1254 -x1255 1800.51 v -x1256 -x1257 -x1259 x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6005 -x6006 -x6007 -x1260 -x1261 1800.51 v -x1262 -x1263 -x1264 -x1265 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6016 x6017 -x6018 -x6019 -x6020 -x1266 1800.51 v -x1267 -x1268 -x1270 -x1271 -x1272 -x6021 -x6022 -x6023 -x6024 -x6025 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 x6033 1800.51 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x6034 -x6035 -x6036 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 1800.51 v x6046 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x6047 -x6049 -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1800.51 v -x6060 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x6061 x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6072 1800.51 v -x6073 -x6074 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6083 -x6084 1800.51 v -x6085 -x6086 -x6087 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x6088 -x6089 x6090 -x6091 -x6092 -x6094 -x6095 -x6096 1800.51 v -x6097 -x6098 -x6099 -x6100 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x6101 -x6102 x6103 -x6105 -x6106 -x6107 -x6108 1800.51 v -x6109 -x6110 -x6111 -x6112 -x6113 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x6114 -x6116 x6117 -x6118 -x6119 -x6120 1800.51 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6127 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x6128 -x6129 x6130 -x6131 -x6132 1800.51 v -x6133 -x6134 -x6135 -x6136 -x6138 -x6139 -x6140 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x6141 -x6142 -x6143 -x6144 1800.51 v x6145 -x6146 -x6147 -x6149 -x6150 -x6151 -x6152 -x6153 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x6154 -x6155 -x6156 1800.51 v -x6157 x6158 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x6167 -x6168 1800.51 v -x6169 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 x6179 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x6180 1800.51 v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 -x6190 -x6191 -x6192 -x6194 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 1800.51 v -x6195 -x6196 x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6205 -x6206 -x6207 -x1360 -x1361 -x1362 -x1363 -x1364 1800.51 v -x1365 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6216 -x6217 -x6218 -x6219 x6220 -x1366 -x1367 -x1368 -x1370 1800.51 v -x1371 -x1372 -x6221 x6222 -x6223 -x6224 -x6225 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x1373 -x1374 -x1375 1800.51 v -x1376 -x1377 -x1378 -x6234 -x6235 -x6236 -x6238 -x6239 -x6240 -x6241 -x6242 x6243 -x6244 -x6245 -x6246 -x1379 -x1381 1800.51 v -x1382 -x1383 -x1384 -x1385 -x6247 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6260 -x1386 1800.51 v -x1387 -x1388 -x1389 -x1390 -x1392 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6271 -x6272 x6273 1800.51 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x6274 -x6275 x6276 -x6277 -x6278 -x6279 -x6280 -x6282 -x6283 -x6284 -x6285 1800.51 v -x6286 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x6287 x6288 -x6289 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 1800.51 v -x6299 -x6300 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x6301 x6302 -x6303 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 1800.51 v -x6311 -x6312 -x6313 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x6314 -x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 1800.51 v -x6323 -x6324 -x6325 -x6327 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 1800.51 v -x6335 -x6336 -x6338 -x6339 -x6340 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 1800.51 v -x6347 -x6349 -x6350 -x6351 -x6352 -x6353 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x6354 -x6355 -x6356 -x6357 -x6358 1800.51 v -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x6367 -x6368 -x6369 -x6371 1800.51 v x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x6380 -x6382 -x6383 1800.51 v -x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6393 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 x6394 -x6395 -x6396 1800.51 v -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x4 -x5 -x6 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x7 -x8 x9 -x10 -x11 -x12 1800.51 v -x13 -x15 -x16 -x17 -x18 -x19 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x20 -x21 -x22 -x23 x24 -x26 -x27 -x28 -x29 -x30 -x31 1800.51 v -x32 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x33 -x34 x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x1479 -x1481 -x1482 1800.51 v -x1483 -x1484 -x1485 -x46 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 1800.51 v -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x73 -x74 -x75 -x76 -x77 1800.51 v -x78 -x79 -x81 x82 -x83 -x84 -x85 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x86 -x87 x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 1800.51 v -x97 -x98 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x99 -x100 x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 1800.51 v -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x126 -x1519 1800.51 v -x1520 -x1521 -x1522 -x1523 -x1525 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x1526 -x1527 1800.51 v -x1528 -x1529 -x1530 -x1531 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x1532 -x1533 -x1534 1800.51 v -x1536 -x1537 -x1538 -x153 x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x1539 -x1540 -x1541 -x1542 1800.51 v -x1543 -x1544 -x166 -x167 -x168 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x1545 -x1547 -x1548 -x1549 -x1550 1800.51 v -x1551 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x192 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 1800.51 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x203 -x204 -x205 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x206 x207 1800.51 v -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x219 -x220 -x221 1800.51 v -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x233 -x234 -x235 -x237 x238 1800.51 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x246 -x248 -x249 -x250 -x251 -x252 1800.51 v -x253 -x254 -x255 -x256 -x257 x259 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 1800.51 v -x268 -x270 -x271 -x272 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 1800.51 v -x283 -x284 x285 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x286 -x287 -x288 x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 1800.51 v -x298 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x1612 1800.51 v -x1614 -x1615 -x1616 -x1617 -x1618 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x325 -x1619 -x1620 1800.51 v -x1621 -x1622 -x1623 -x1625 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x337 -x338 -x339 -x1626 -x1627 -x1628 1800.51 v -x1629 -x1630 -x1631 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x1632 -x1633 -x1634 -x1636 1800.51 v -x1637 -x1638 -x353 x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x1639 -x1640 -x1641 -x1642 -x1643 1800.51 v -x1644 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 1800.51 v -x379 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x393 -x394 1800.51 v -x395 -x396 -x397 -x398 -x399 -x400 x401 -x403 -x404 -x405 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x406 -x407 -x408 -x409 1800.51 v x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x419 -x420 -x421 -x422 x423 -x425 1800.51 v -x426 -x427 -x428 -x429 -x430 -x431 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x432 -x433 x434 -x436 -x437 -x438 -x439 -x440 1800.51 v -x441 -x442 -x443 -x444 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 1800.51 v -x457 -x459 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x470 -x471 -x472 1800.51 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x481 -x482 -x483 -x484 -x485 -x1699 1800.51 v -x1700 -x1701 -x1703 -x1704 -x1705 -x486 -x487 -x488 x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x1706 -x1707 1800.51 v -x1708 -x1709 -x1710 -x1711 -x499 x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x1712 -x1714 -x1715 1800.51 v -x1716 -x1717 -x1718 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x525 -x1719 -x1720 -x1721 -x1722 1800.51 v -x1723 -x1725 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x1726 -x1727 -x1728 -x1729 -x1730 1800.51 v -x1731 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 x549 -x550 -x551 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 1800.51 v -x552 -x553 -x554 x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x566 -x567 1800.51 v -x568 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x579 -x581 -x582 -x583 1800.51 v x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x593 x594 -x595 -x596 -x597 -x598 1800.51 v -x599 -x600 -x601 -x603 -x604 -x605 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.51 v -x614 -x615 -x616 -x617 x618 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x619 x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 1800.51 v -x629 -x630 -x631 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x632 -x633 x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1800.51 v -x644 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x645 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x1786 1800.51 v -x1787 -x1788 -x1789 -x1790 -x1792 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x1793 -x1794 1800.51 v -x1795 -x1796 -x1797 -x1798 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x1799 -x1800 -x1801 1800.51 v -x1803 -x1804 -x1805 x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x1806 -x1807 -x1808 -x1809 1800.51 v -x1810 -x1811 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x1812 -x1814 -x1815 -x1816 -x1817 1800.51 v -x1818 -x712 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 1800.51 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 x738 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x739 -x740 1800.51 v -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 x751 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x752 -x753 -x754 x755 1800.51 v -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x765 -x766 -x767 x769 -x770 -x771 1800.51 v -x772 -x773 -x774 -x775 -x776 -x777 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.51 v -x788 -x789 -x790 -x792 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x803 1800.51 v -x804 -x805 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 x815 -x816 -x817 -x818 1800.51 v -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x819 -x820 -x821 x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x1872 1800.51 v -x1873 -x1874 -x1875 -x1876 -x1877 -x832 -x833 -x834 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x1878 -x1880 1800.51 v -x1881 -x1882 -x1883 -x1884 -x845 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x858 -x1885 -x1886 -x1887 1800.51 v -x1888 -x1889 -x1892 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 x870 -x871 -x1893 -x1894 -x1895 -x1896 1800.51 v -x1897 -x1898 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x1899 -x1900 -x1901 -x1903 -x1904 1800.51 v -x1905 -x885 -x886 -x887 x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.51 v -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x912 -x914 1800.51 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x925 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1932 -x1933 -x1934 1800.51 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.51 v x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.51 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.51 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.51 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.51 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.51 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2240 -x2241 -x2242 1800.51 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.51 v x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.51 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.51 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.51 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.51 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.51 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2548 -x2549 -x2550 1800.51 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.51 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.51 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.51 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.51 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.51 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.51 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2856 -x2857 -x2858 1800.51 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.51 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.51 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.51 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.51 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.51 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.51 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x3164 -x3165 -x3166 1800.51 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.51 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.51 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.51 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.51 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 1800.51 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.51 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3472 -x3473 1800.51 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.51 v -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.51 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.51 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 1800.51 v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 1800.51 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1800.51 v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3780 1800.51 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 1800.51 v -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 1800.51 v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 1800.51 v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 1800.51 v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 1800.51 v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 1800.51 v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 1800.51 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 1800.51 v -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 1800.51 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.51 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.51 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 1800.51 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.51 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.51 v -x4207 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 1800.51 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 1800.51 v -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.51 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.51 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.51 v -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.51 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 1800.51 v -x4514 -x4515 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.51 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.51 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1800.51 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1800.51 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.51 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.51 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.51 v -x4822 -x4823 -x4824 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 1800.51 v -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 1800.51 v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1800.51 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 1800.51 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1800.51 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1800.51 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.51 v -x5129 -x5130 -x5131 -x5132 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 1800.51 v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 1800.51 v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1800.51 v -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.51 v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1800.51 v -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 1800.51 v -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 1800.51 v -x5436 -x5437 -x5438 -x5439 -x5440 -x4390 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 1800.51 v -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 1800.51 v -x4574 -x4575 -x4391 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1800.51 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4702 1800.51 v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1800.51 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5011 -x5283 -x5284 -x5285 1800.51 v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 1800.51 v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5315 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1800.51 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1800.51 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5319 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 1800.51 v -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 1800.51 v -x5617 -x5618 -x5619 -x5620 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x2233 x2235 -x2236 -x2237 -x2238 -x2239 -x2541 -x2542 1800.51 v -x2543 -x2545 x2546 -x2547 -x2849 -x2850 -x2851 -x2852 x2853 -x2855 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3466 x3467 1800.51 v -x3468 -x3469 -x3470 -x3471 -x3773 x3775 -x3776 -x3777 -x3778 -x3779 -x4081 x4082 -x4083 -x4085 -x4086 -x4087 -x4389 -x4392 1800.51 v x4393 -x4395 -x4697 x4698 -x4699 -x4700 -x4701 -x5006 x5007 -x5008 -x5009 -x5010 -x5313 -x5316 -x5317 x5318 -x2053 -x2054 1800.51 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.51 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.51 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.51 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.51 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.51 v -x2695 -x2696 -x2697 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.51 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3285 1800.51 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.51 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3593 -x3594 -x3595 -x3596 -x3597 1800.51 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.51 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 1800.51 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 1800.51 v -x3927 -x3928 -x3929 -x3930 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.51 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.51 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 1800.51 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4825 -x4826 -x4827 -x4828 1800.51 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 1800.51 v -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 1800.51 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 1800.51 v -x5158 -x5159 -x5160 -x5161 -x5162 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1800.51 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.51 v -x5470 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 1800.51 v -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2391 -x2392 -x2393 1800.51 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 1800.51 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.51 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.51 v -x2724 -x2725 -x2726 -x2727 -x2728 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.51 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.51 v -x3035 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1800.51 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3623 -x3624 -x3625 1800.51 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 -x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1800.51 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 1800.51 v -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 1800.51 v -x3957 -x3958 -x3959 -x3960 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 1800.51 v x4252 x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4855 1800.51 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 x4866 x4867 x4868 x4869 -x4870 -x4871 -x4872 -x4873 1800.51 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 1800.51 v -x5169 -x5170 -x5171 -x5172 x5173 -x5174 x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1800.51 v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1800.51 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.51 v -x2141 -x2142 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.51 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2729 -x2730 1800.51 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.51 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 1800.51 v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 1800.51 v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.51 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 1800.51 v -x3372 -x3373 -x3374 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.51 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3961 1800.51 v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 1800.51 v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4269 -x4270 -x4271 -x4272 -x4273 1800.51 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.51 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 1800.51 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1800.51 v -x4911 -x4912 -x4913 -x4914 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1800.51 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1800.51 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 1800.51 v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x2143 -x2144 -x2145 -x2146 1800.51 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.51 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.51 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.51 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.51 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.51 v -x2788 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 1800.51 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3375 -x3376 -x3377 1800.51 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 1800.51 v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.51 v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.51 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 1800.51 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.51 v -x4019 -x4020 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 1800.51 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4607 -x4608 1800.51 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 1800.51 v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 1800.51 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 1800.51 v -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 1800.51 v -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 1800.51 v -x5250 -x5251 -x5252 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1800.51 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x2173 1800.51 v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1800.51 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2481 -x2482 -x2483 -x2484 -x2485 1800.51 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1800.51 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.51 v -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.51 v -x2816 -x2817 -x2818 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 x3110 -x3111 x3112 1800.51 v -x3113 x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3405 -x3406 -x3407 1800.51 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 x3415 -x3416 x3417 -x3418 x3419 -x3420 x3421 -x3422 -x3423 x3424 -x3425 1800.51 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.51 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.51 v -x3738 -x3739 -x3740 -x3741 -x3742 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.51 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.51 v -x4050 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.51 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4637 -x4638 -x4639 1800.51 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 x4651 -x4652 x4653 -x4654 -x4655 x4656 -x4657 1800.51 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 1800.51 v -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 1800.51 v -x4970 -x4971 -x4972 -x4973 -x4974 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1800.51 v -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 1800.51 v -x5282 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 x5572 x5573 -x5574 x5575 -x5576 x5577 1800.51 v -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x2203 -x2204 -x2205 -x2206 1800.51 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1800.51 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.51 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.51 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.51 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.51 v -x2848 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1800.51 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3436 -x3437 -x3438 1800.51 v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1800.51 v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 1800.51 v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1800.51 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 1800.51 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1800.51 v -x4079 -x4080 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1800.51 v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4667 -x4668 1800.51 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.51 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.52 c Exit Code: 10 1800.52 c Total time: 1800 s
OK 40655383
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/node14/watcher-40602-1149307590 -o ROOT/results/node14/solver-40602-1149307590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40602-1149307590/instance-40602-1149307590.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1526808/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=2900 CPUtime=0 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 196421729 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6926635 0 0 4096 0 0 0 0 17 1 0 0 /proc/31913/statm: 725 27 19 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1513952/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=17676 CPUtime=9.98 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 3695 0 0 0 992 6 0 0 25 0 1 0 196421729 18100224 3554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 4419 3554 300 55 0 3311 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 17676 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1513192/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=18468 CPUtime=19.98 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 3910 0 0 0 1990 8 0 0 25 0 1 0 196421729 18911232 3769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 4617 3769 300 55 0 3509 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 18468 [startup+30.0143 s] /proc/loadavg: 0.95 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1511464/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=20156 CPUtime=29.97 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 4336 0 0 0 2988 9 0 0 25 0 1 0 196421729 20639744 4195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 5039 4195 300 55 0 3931 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 20156 [startup+40.0203 s] /proc/loadavg: 0.96 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1509224/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=22476 CPUtime=39.98 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 4912 0 0 0 3985 13 0 0 25 0 1 0 196421729 23015424 4763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 5619 4763 300 55 0 4511 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 22476 [startup+50.0263 s] /proc/loadavg: 0.96 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1506984/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=24832 CPUtime=49.98 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 6309 0 0 0 4983 15 0 0 25 0 1 0 196421729 25427968 5348 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 6208 5348 301 55 0 5100 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 24832 [startup+60.0322 s] /proc/loadavg: 0.97 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1506152/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=25368 CPUtime=59.98 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 7551 0 0 0 5980 18 0 0 25 0 1 0 196421729 25976832 5506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 6342 5506 301 55 0 5234 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 25368 [startup+70.0392 s] /proc/loadavg: 0.97 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1506088/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=25368 CPUtime=69.99 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 7815 0 0 0 6979 20 0 0 25 0 1 0 196421729 25976832 5506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 6342 5506 301 55 0 5234 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 25368 [startup+80.0451 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1506344/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=25108 CPUtime=79.99 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 9346 0 0 0 7975 24 0 0 25 0 1 0 196421729 25710592 5441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 6277 5441 301 55 0 5169 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 25108 [startup+90.0511 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=89.99 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 8971 28 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 43016 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=100 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 9971 29 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 43016 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=110 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 10970 30 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 43016 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=120 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 11970 30 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 43016 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=130.01 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 12969 32 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 43016 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=140.01 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 13969 32 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 43016 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488552/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=150.01 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 14968 33 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 43016 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488552/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=160.02 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 15968 34 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 43016 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488552/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=170.02 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 16966 36 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7368354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 43016 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488552/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=180.03 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 17966 37 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 43016 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488552/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=190.03 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 18966 37 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 43016 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=43016 CPUtime=200.03 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 14044 0 0 0 19965 38 0 0 25 0 1 0 196421729 44048384 9911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 10754 9911 301 55 0 9646 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 43016 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31913 /proc/meminfo: memFree=1488616/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 221760 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1770.54 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 176839 215 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 221760 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1780.54 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 177837 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 221760 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1781.55 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 177938 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 221760 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1782.55 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178038 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 221760 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1783.55 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178138 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 221760 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1784.56 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178239 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 221760 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1785.56 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178339 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 221760 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1786.56 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178439 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 221760 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1787.57 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178540 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 221760 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1788.57 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178640 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 221760 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1789.58 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178741 217 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 221760 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1790.59 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64334 0 0 0 178841 218 0 0 25 0 1 0 196421729 227082240 54591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54591 301 55 0 54332 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 221760 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1791.59 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 178941 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550719 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 221760 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1792.59 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179041 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 221760 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1793.6 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179142 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 221760 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1794.6 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179242 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 221760 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1795.61 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179343 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 221760 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1796.61 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179443 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 221760 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1797.61 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179543 218 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 221760 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1798.63 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179644 219 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 221760 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 31915 /proc/meminfo: memFree=1309104/2055920 swapFree=4181448/4192956 [pid=31913] ppid=31911 vsize=221760 CPUtime=1799.63 /proc/31913/stat : 31913 (bsolo) R 31911 31913 31867 0 -1 0 64336 0 0 0 179744 219 0 0 25 0 1 0 196421729 227082240 54593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31913/statm: 55440 54593 301 55 0 54332 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 221760 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.05 CPU user time (s): 1797.81 CPU system time (s): 2.23066 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (Kb): 221760
Begin job on node14 on Sat Jun 3 04:06:30 UTC 2006 FILE ID= 40602-1149307590 PBS_JOBID= 307721 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40602-1149307590/instance-40602-1149307590.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-40602-1149307590 -o ROOT/results/node14/solver-40602-1149307590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40602-1149307590/instance-40602-1149307590.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED= 282915850 /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.241 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.241 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: 1527208 kB Buffers: 30052 kB Cached: 427936 kB SwapCached: 3188 kB Active: 35812 kB Inactive: 430828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1527208 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14740 kB Slab: 48076 kB Committed_AS: 317736 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 04:36:31 UTC 2006