Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 284209 | 1800.12 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | b75dadb532de8158b35ca12cd6b47e2f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 284209 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 284209 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 1.19 c Initial problem consists of 6651 variables and 721 constraints. 1.28 c No problem reductions applied in OPT. instance. 1.28 c preprocess terminated. Elapsed time: 1.273 1.28 c After prepocess the problem consists of 6651 variables and 453 constraints. 1.28 c Initial Lower Bound: 0 1.35 c Sol. found (all assignments made)... 1.35 o 327708 1.35 c NEW SOLUTION FOUND: 327708 @ 1.335 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 o 323611 1.35 c NEW SOLUTION FOUND: 323611 @ 1.341 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 o 319515 1.39 c NEW SOLUTION FOUND: 319515 @ 1.38 2.09 c Restart #1 #Var: 6651 LB: 0 @ 2.084 3.13 c Restart #2 #Var: 6651 LB: 0 @ 3.124 4.38 c Restart #3 #Var: 6651 LB: 0 @ 4.367 5.53 c Restart #4 #Var: 6651 LB: 0 @ 5.52 10.65 c CHANGE to LPR mode... UB: 319515 MIS: 0 LPR: 22066 (0.3455) Diff: 0 10.65 c Restart #0 #Var: 6651 LB: 0 @ 10.638 50.37 o 311299 50.37 c NEW SOLUTION FOUND: 311299 @ 50.336 51.01 o 303107 51.01 c NEW SOLUTION FOUND: 303107 @ 50.978 51.36 o 299011 51.36 c NEW SOLUTION FOUND: 299011 @ 51.326 51.72 o 298758 51.72 c NEW SOLUTION FOUND: 298758 @ 51.686 52.02 c Sol. found (all assignments made)... 52.14 c Sol. found (all assignments made)... 52.15 c Sol. found (all assignments made)... 52.16 c Sol. found (all assignments made)... 52.17 c Sol. found (all assignments made)... 52.17 c Sol. found (all assignments made)... 52.18 c Sol. found (all assignments made)... 52.19 c Sol. found (all assignments made)... 52.20 c Sol. found (all assignments made)... 52.21 c Sol. found (all assignments made)... 52.22 c Sol. found (all assignments made)... 52.23 c Sol. found (all assignments made)... 52.24 c Sol. found (all assignments made)... 52.24 c Sol. found (all assignments made)... 52.25 c Sol. found (all assignments made)... 52.26 c Sol. found (all assignments made)... 52.28 c Sol. found (all assignments made)... 52.28 c Sol. found (all assignments made)... 52.29 c Sol. found (all assignments made)... 52.30 c Sol. found (all assignments made)... 52.31 c Sol. found (all assignments made)... 52.32 c Sol. found (all assignments made)... 52.33 c Sol. found (all assignments made)... 52.34 c Sol. found (all assignments made)... 52.34 c Sol. found (all assignments made)... 52.35 c Sol. found (all assignments made)... 52.36 c Sol. found (all assignments made)... 52.37 c Sol. found (all assignments made)... 52.37 o 298755 52.37 c NEW SOLUTION FOUND: 298755 @ 52.341 52.41 c Sol. found (all assignments made)... 52.44 c Sol. found (all assignments made)... 52.46 c Sol. found (all assignments made)... 52.48 c Sol. found (all assignments made)... 52.49 c Sol. found (all assignments made)... 52.50 c Sol. found (all assignments made)... 52.50 c Sol. found (all assignments made)... 52.51 c Sol. found (all assignments made)... 52.51 o 298754 52.51 c NEW SOLUTION FOUND: 298754 @ 52.48 52.52 c Sol. found (all assignments made)... 52.52 o 298751 52.52 c NEW SOLUTION FOUND: 298751 @ 52.493 52.53 o 298747 52.53 c NEW SOLUTION FOUND: 298747 @ 52.5 52.53 c Sol. found (all assignments made)... 52.59 c Sol. found (all assignments made)... 52.65 c Sol. found (all assignments made)... 52.70 c Sol. found (all assignments made)... 52.73 c Sol. found (all assignments made)... 52.74 c Sol. found (all assignments made)... 52.76 c Sol. found (all assignments made)... 52.77 c Sol. found (all assignments made)... 52.78 c Sol. found (all assignments made)... 52.78 c Sol. found (all assignments made)... 52.80 c Sol. found (all assignments made)... 52.86 c Sol. found (all assignments made)... 52.92 c Sol. found (all assignments made)... 52.96 c Sol. found (all assignments made)... 52.99 c Sol. found (all assignments made)... 53.01 c Sol. found (all assignments made)... 53.03 c Sol. found (all assignments made)... 53.04 c Sol. found (all assignments made)... 53.04 c Sol. found (all assignments made)... 53.05 c Sol. found (all assignments made)... 53.11 c Sol. found (all assignments made)... 53.15 c Sol. found (all assignments made)... 53.18 c Sol. found (all assignments made)... 53.20 c Sol. found (all assignments made)... 53.21 c Sol. found (all assignments made)... 53.22 c Sol. found (all assignments made)... 53.23 c Sol. found (all assignments made)... 53.24 c Sol. found (all assignments made)... 53.29 c Sol. found (all assignments made)... 53.32 c Sol. found (all assignments made)... 53.34 c Sol. found (all assignments made)... 53.36 c Sol. found (all assignments made)... 53.36 c Sol. found (all assignments made)... 53.37 c Sol. found (all assignments made)... 53.38 c Sol. found (all assignments made)... 53.42 c Sol. found (all assignments made)... 53.43 c Sol. found (all assignments made)... 53.45 c Sol. found (all assignments made)... 53.46 c Sol. found (all assignments made)... 53.47 c Sol. found (all assignments made)... 53.48 c Sol. found (all assignments made)... 54.82 c Restart #1 #Var: 6651 LB: 22066 @ 54.784 143.02 o 291077 143.02 c NEW SOLUTION FOUND: 291077 @ 142.96 143.15 o 286980 143.15 c NEW SOLUTION FOUND: 286980 @ 143.09 143.63 o 286723 143.63 c NEW SOLUTION FOUND: 286723 @ 143.57 196.33 c Sol. found (all assignments made)... 196.33 o 285614 196.33 c NEW SOLUTION FOUND: 285614 @ 196.25 196.34 c Sol. found (all assignments made)... 196.34 o 285613 196.34 c NEW SOLUTION FOUND: 285613 @ 196.26 196.34 c Sol. found (all assignments made)... 196.34 o 285612 196.34 c NEW SOLUTION FOUND: 285612 @ 196.26 196.35 c Sol. found (all assignments made)... 196.35 o 285610 196.35 c NEW SOLUTION FOUND: 285610 @ 196.27 196.36 o 285606 196.36 c NEW SOLUTION FOUND: 285606 @ 196.28 196.38 c Sol. found (all assignments made)... 196.38 c Sol. found (all assignments made)... 196.39 c Sol. found (all assignments made)... 196.41 c Sol. found (all assignments made)... 196.41 c Sol. found (all assignments made)... 196.42 o 285605 196.42 c NEW SOLUTION FOUND: 285605 @ 196.34 196.43 o 285604 196.43 c NEW SOLUTION FOUND: 285604 @ 196.35 196.44 c Sol. found (all assignments made)... 196.44 o 285602 196.44 c NEW SOLUTION FOUND: 285602 @ 196.36 196.44 c Sol. found (all assignments made)... 196.44 o 285599 196.44 c NEW SOLUTION FOUND: 285599 @ 196.36 196.46 c Sol. found (all assignments made)... 196.47 c Sol. found (all assignments made)... 196.48 c Sol. found (all assignments made)... 196.48 o 285598 196.48 c NEW SOLUTION FOUND: 285598 @ 196.4 196.49 c Sol. found (all assignments made)... 196.49 o 285595 196.49 c NEW SOLUTION FOUND: 285595 @ 196.41 196.50 o 285591 196.50 c NEW SOLUTION FOUND: 285591 @ 196.42 196.50 c Sol. found (all assignments made)... 196.52 c Sol. found (all assignments made)... 196.54 c Sol. found (all assignments made)... 196.55 c Sol. found (all assignments made)... 196.55 c Sol. found (all assignments made)... 196.56 c Sol. found (all assignments made)... 196.59 c Sol. found (all assignments made)... 196.60 c Sol. found (all assignments made)... 196.60 c Sol. found (all assignments made)... 196.61 c Sol. found (all assignments made)... 196.64 c Sol. found (all assignments made)... 196.64 c Sol. found (all assignments made)... 196.66 c Sol. found (all assignments made)... 196.67 c Sol. found (all assignments made)... 196.67 c Sol. found (all assignments made)... 196.68 o 285590 196.68 c NEW SOLUTION FOUND: 285590 @ 196.6 196.70 o 285589 196.70 c NEW SOLUTION FOUND: 285589 @ 196.62 196.70 c Sol. found (all assignments made)... 196.70 o 285587 196.70 c NEW SOLUTION FOUND: 285587 @ 196.62 196.73 c Sol. found (all assignments made)... 196.75 c Sol. found (all assignments made)... 196.75 c Sol. found (all assignments made)... 196.77 c Sol. found (all assignments made)... 196.79 c Sol. found (all assignments made)... 196.79 c Sol. found (all assignments made)... 196.80 c Sol. found (all assignments made)... 196.83 c Sol. found (all assignments made)... 196.84 c Sol. found (all assignments made)... 196.85 c Sol. found (all assignments made)... 196.86 c Sol. found (all assignments made)... 196.88 c Sol. found (all assignments made)... 196.91 c Sol. found (all assignments made)... 196.92 c Sol. found (all assignments made)... 196.93 c Sol. found (all assignments made)... 196.95 c Sol. found (all assignments made)... 196.96 c Sol. found (all assignments made)... 196.97 c Sol. found (all assignments made)... 196.98 c Sol. found (all assignments made)... 197.00 c Sol. found (all assignments made)... 197.03 c Sol. found (all assignments made)... 197.04 c Sol. found (all assignments made)... 197.06 c Sol. found (all assignments made)... 197.07 c Sol. found (all assignments made)... 197.08 c Sol. found (all assignments made)... 197.12 c Sol. found (all assignments made)... 197.13 c Sol. found (all assignments made)... 197.14 c Sol. found (all assignments made)... 197.17 o 285586 197.17 c NEW SOLUTION FOUND: 285586 @ 197.08 197.17 c Sol. found (all assignments made)... 197.18 o 285585 197.18 c NEW SOLUTION FOUND: 285585 @ 197.1 197.22 c Sol. found (all assignments made)... 197.22 c Sol. found (all assignments made)... 197.24 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.26 c Sol. found (all assignments made)... 197.29 c Sol. found (all assignments made)... 197.30 c Sol. found (all assignments made)... 197.34 c Sol. found (all assignments made)... 197.35 c Sol. found (all assignments made)... 197.36 c Sol. found (all assignments made)... 197.38 c Sol. found (all assignments made)... 197.42 c Sol. found (all assignments made)... 197.44 c Sol. found (all assignments made)... 197.46 c Sol. found (all assignments made)... 197.50 c Sol. found (all assignments made)... 197.53 c Sol. found (all assignments made)... 197.55 c Sol. found (all assignments made)... 197.56 c Sol. found (all assignments made)... 197.58 c Sol. found (all assignments made)... 197.61 c Sol. found (all assignments made)... 197.62 c Sol. found (all assignments made)... 197.66 c Sol. found (all assignments made)... 197.68 c Sol. found (all assignments made)... 197.73 c Sol. found (all assignments made)... 197.75 c Sol. found (all assignments made)... 197.78 c Sol. found (all assignments made)... 197.81 c Sol. found (all assignments made)... 197.84 c Sol. found (all assignments made)... 197.87 c Sol. found (all assignments made)... 197.92 c Sol. found (all assignments made)... 197.92 o 285584 197.92 c NEW SOLUTION FOUND: 285584 @ 197.84 198.03 c Sol. found (all assignments made)... 198.03 o 285555 198.03 c NEW SOLUTION FOUND: 285555 @ 197.95 198.04 c Sol. found (all assignments made)... 198.05 c Sol. found (all assignments made)... 198.05 c Sol. found (all assignments made)... 198.06 c Sol. found (all assignments made)... 198.08 c Sol. found (all assignments made)... 198.08 o 285551 198.08 c NEW SOLUTION FOUND: 285551 @ 198 198.08 o 285547 198.08 c NEW SOLUTION FOUND: 285547 @ 198 198.09 c Sol. found (all assignments made)... 198.09 c Sol. found (all assignments made)... 198.10 c Sol. found (all assignments made)... 198.11 c Sol. found (all assignments made)... 198.11 c Sol. found (all assignments made)... 198.12 c Sol. found (all assignments made)... 198.13 c Sol. found (all assignments made)... 198.14 c Sol. found (all assignments made)... 198.15 c Sol. found (all assignments made)... 198.16 c Sol. found (all assignments made)... 198.17 c Sol. found (all assignments made)... 198.17 c Sol. found (all assignments made)... 198.18 c Sol. found (all assignments made)... 198.19 c Sol. found (all assignments made)... 198.19 c Sol. found (all assignments made)... 198.21 c Sol. found (all assignments made)... 198.22 c Sol. found (all assignments made)... 198.22 c Sol. found (all assignments made)... 198.23 c Sol. found (all assignments made)... 198.24 c Sol. found (all assignments made)... 198.25 c Sol. found (all assignments made)... 198.26 c Sol. found (all assignments made)... 198.27 c Sol. found (all assignments made)... 198.28 c Sol. found (all assignments made)... 198.29 c Sol. found (all assignments made)... 198.30 c Sol. found (all assignments made)... 198.31 c Sol. found (all assignments made)... 198.32 c Sol. found (all assignments made)... 198.33 c Sol. found (all assignments made)... 198.34 o 285546 198.34 c NEW SOLUTION FOUND: 285546 @ 198.25 198.35 o 285545 198.35 c NEW SOLUTION FOUND: 285545 @ 198.27 198.35 c Sol. found (all assignments made)... 198.36 o 285543 198.36 c NEW SOLUTION FOUND: 285543 @ 198.28 198.36 c Sol. found (all assignments made)... 198.36 o 285540 198.36 c NEW SOLUTION FOUND: 285540 @ 198.28 198.42 c Sol. found (all assignments made)... 198.46 c Sol. found (all assignments made)... 198.49 c Sol. found (all assignments made)... 198.51 c Sol. found (all assignments made)... 198.53 c Sol. found (all assignments made)... 198.53 c Sol. found (all assignments made)... 198.54 c Sol. found (all assignments made)... 198.54 o 285539 198.54 c NEW SOLUTION FOUND: 285539 @ 198.46 198.55 c Sol. found (all assignments made)... 198.55 o 285536 198.55 c NEW SOLUTION FOUND: 285536 @ 198.47 198.56 o 285532 198.56 c NEW SOLUTION FOUND: 285532 @ 198.48 198.56 c Sol. found (all assignments made)... 198.62 c Sol. found (all assignments made)... 198.67 c Sol. found (all assignments made)... 198.70 c Sol. found (all assignments made)... 198.72 c Sol. found (all assignments made)... 198.73 c Sol. found (all assignments made)... 198.74 c Sol. found (all assignments made)... 198.75 c Sol. found (all assignments made)... 198.76 c Sol. found (all assignments made)... 198.77 c Sol. found (all assignments made)... 198.82 c Sol. found (all assignments made)... 198.85 c Sol. found (all assignments made)... 198.87 c Sol. found (all assignments made)... 198.89 c Sol. found (all assignments made)... 198.89 c Sol. found (all assignments made)... 198.90 c Sol. found (all assignments made)... 198.91 c Sol. found (all assignments made)... 198.92 c Sol. found (all assignments made)... 198.96 c Sol. found (all assignments made)... 198.98 c Sol. found (all assignments made)... 199.00 c Sol. found (all assignments made)... 199.00 c Sol. found (all assignments made)... 199.01 c Sol. found (all assignments made)... 199.02 c Sol. found (all assignments made)... 199.03 c Sol. found (all assignments made)... 199.06 c Sol. found (all assignments made)... 199.08 c Sol. found (all assignments made)... 199.08 c Sol. found (all assignments made)... 199.09 c Sol. found (all assignments made)... 199.10 c Sol. found (all assignments made)... 199.10 c Sol. found (all assignments made)... 199.14 c Sol. found (all assignments made)... 199.14 c Sol. found (all assignments made)... 199.15 c Sol. found (all assignments made)... 199.16 c Sol. found (all assignments made)... 199.17 c Sol. found (all assignments made)... 199.20 c Sol. found (all assignments made)... 199.20 c Sol. found (all assignments made)... 199.21 c Sol. found (all assignments made)... 199.22 c Sol. found (all assignments made)... 199.24 c Sol. found (all assignments made)... 199.24 c Sol. found (all assignments made)... 199.26 c Sol. found (all assignments made)... 199.27 c Sol. found (all assignments made)... 199.28 c Sol. found (all assignments made)... 199.28 o 285531 199.28 c NEW SOLUTION FOUND: 285531 @ 199.2 199.30 o 285530 199.30 c NEW SOLUTION FOUND: 285530 @ 199.22 199.30 c Sol. found (all assignments made)... 199.31 o 285528 199.31 c NEW SOLUTION FOUND: 285528 @ 199.23 199.39 c Sol. found (all assignments made)... 199.46 c Sol. found (all assignments made)... 199.52 c Sol. found (all assignments made)... 199.57 c Sol. found (all assignments made)... 199.60 c Sol. found (all assignments made)... 199.62 c Sol. found (all assignments made)... 199.64 c Sol. found (all assignments made)... 199.65 c Sol. found (all assignments made)... 199.66 c Sol. found (all assignments made)... 199.67 c Sol. found (all assignments made)... 199.76 c Sol. found (all assignments made)... 199.84 c Sol. found (all assignments made)... 199.91 c Sol. found (all assignments made)... 199.98 c Sol. found (all assignments made)... 200.03 c Sol. found (all assignments made)... 200.06 c Sol. found (all assignments made)... 200.08 c Sol. found (all assignments made)... 200.10 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.11 c Sol. found (all assignments made)... 200.13 c Sol. found (all assignments made)... 200.22 c Sol. found (all assignments made)... 200.37 c Sol. found (all assignments made)... 200.49 c Sol. found (all assignments made)... 200.56 c Sol. found (all assignments made)... 200.63 c Sol. found (all assignments made)... 200.68 c Sol. found (all assignments made)... 200.72 c Sol. found (all assignments made)... 200.75 c Sol. found (all assignments made)... 200.76 c Sol. found (all assignments made)... 200.78 c Sol. found (all assignments made)... 200.79 c Sol. found (all assignments made)... 200.80 c Sol. found (all assignments made)... 200.80 c Sol. found (all assignments made)... 200.89 c Sol. found (all assignments made)... 200.89 o 285526 200.89 c NEW SOLUTION FOUND: 285526 @ 200.81 200.93 c Sol. found (all assignments made)... 200.96 c Sol. found (all assignments made)... 200.97 c Sol. found (all assignments made)... 200.98 c Sol. found (all assignments made)... 200.99 c Sol. found (all assignments made)... 200.99 c Sol. found (all assignments made)... 201.00 c Sol. found (all assignments made)... 201.01 c Sol. found (all assignments made)... 201.02 c Sol. found (all assignments made)... 201.02 c Sol. found (all assignments made)... 201.03 c Sol. found (all assignments made)... 201.03 o 285525 201.03 c NEW SOLUTION FOUND: 285525 @ 200.95 201.04 c Sol. found (all assignments made)... 201.04 o 285522 201.04 c NEW SOLUTION FOUND: 285522 @ 200.96 201.05 o 285518 201.05 c NEW SOLUTION FOUND: 285518 @ 200.97 201.05 c Sol. found (all assignments made)... 279.76 o 284327 279.76 c NEW SOLUTION FOUND: 284327 @ 279.64 279.99 o 284286 279.99 c NEW SOLUTION FOUND: 284286 @ 279.88 279.99 c Sol. found (all assignments made)... 280.00 o 284284 280.00 c NEW SOLUTION FOUND: 284284 @ 279.89 280.01 o 284283 280.01 c NEW SOLUTION FOUND: 284283 @ 279.89 280.01 o 284282 280.01 c NEW SOLUTION FOUND: 284282 @ 279.9 280.03 c Sol. found (all assignments made)... 280.03 o 284281 280.03 c NEW SOLUTION FOUND: 284281 @ 279.92 280.05 c Sol. found (all assignments made)... 280.05 o 284278 280.05 c NEW SOLUTION FOUND: 284278 @ 279.94 280.05 o 284274 280.05 c NEW SOLUTION FOUND: 284274 @ 279.94 280.05 c Sol. found (all assignments made)... 280.07 c Sol. found (all assignments made)... 280.08 o 284273 280.08 c NEW SOLUTION FOUND: 284273 @ 279.97 280.08 c Sol. found (all assignments made)... 280.09 c Sol. found (all assignments made)... 280.09 o 284272 280.09 c NEW SOLUTION FOUND: 284272 @ 279.98 280.10 o 284270 280.10 c NEW SOLUTION FOUND: 284270 @ 279.99 280.13 c Sol. found (all assignments made)... 280.13 c Sol. found (all assignments made)... 280.14 c Sol. found (all assignments made)... 280.16 o 284269 280.16 c NEW SOLUTION FOUND: 284269 @ 280.05 280.18 c Sol. found (all assignments made)... 280.18 o 284268 280.18 c NEW SOLUTION FOUND: 284268 @ 280.07 280.21 c Sol. found (all assignments made)... 280.21 o 284238 280.21 c NEW SOLUTION FOUND: 284238 @ 280.09 280.26 c Sol. found (all assignments made)... 280.26 c Sol. found (all assignments made)... 280.27 c Sol. found (all assignments made)... 280.27 o 284237 280.27 c NEW SOLUTION FOUND: 284237 @ 280.16 280.28 c Sol. found (all assignments made)... 280.28 o 284234 280.28 c NEW SOLUTION FOUND: 284234 @ 280.17 280.29 o 284230 280.29 c NEW SOLUTION FOUND: 284230 @ 280.18 280.29 c Sol. found (all assignments made)... 280.29 c Sol. found (all assignments made)... 280.35 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.36 c Sol. found (all assignments made)... 280.37 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.38 c Sol. found (all assignments made)... 280.40 c Sol. found (all assignments made)... 280.41 c Sol. found (all assignments made)... 280.42 c Sol. found (all assignments made)... 280.42 c Sol. found (all assignments made)... 280.44 c Sol. found (all assignments made)... 280.45 c Sol. found (all assignments made)... 280.46 c Sol. found (all assignments made)... 280.47 c Sol. found (all assignments made)... 280.48 c Sol. found (all assignments made)... 280.48 o 284229 280.48 c NEW SOLUTION FOUND: 284229 @ 280.37 280.50 o 284228 280.50 c NEW SOLUTION FOUND: 284228 @ 280.39 280.50 c Sol. found (all assignments made)... 280.51 o 284226 280.51 c NEW SOLUTION FOUND: 284226 @ 280.39 280.51 c Sol. found (all assignments made)... 280.51 o 284223 280.51 c NEW SOLUTION FOUND: 284223 @ 280.4 280.59 c Sol. found (all assignments made)... 280.62 c Sol. found (all assignments made)... 280.64 c Sol. found (all assignments made)... 280.66 c Sol. found (all assignments made)... 280.66 c Sol. found (all assignments made)... 280.67 c Sol. found (all assignments made)... 280.67 o 284222 280.67 c NEW SOLUTION FOUND: 284222 @ 280.56 280.68 c Sol. found (all assignments made)... 280.68 o 284219 280.68 c NEW SOLUTION FOUND: 284219 @ 280.57 280.69 o 284215 280.69 c NEW SOLUTION FOUND: 284215 @ 280.58 280.69 c Sol. found (all assignments made)... 280.78 c Sol. found (all assignments made)... 280.81 c Sol. found (all assignments made)... 280.83 c Sol. found (all assignments made)... 280.85 c Sol. found (all assignments made)... 280.85 c Sol. found (all assignments made)... 280.86 c Sol. found (all assignments made)... 280.87 c Sol. found (all assignments made)... 280.88 c Sol. found (all assignments made)... 280.91 c Sol. found (all assignments made)... 280.93 c Sol. found (all assignments made)... 280.94 c Sol. found (all assignments made)... 280.95 c Sol. found (all assignments made)... 280.96 c Sol. found (all assignments made)... 280.96 c Sol. found (all assignments made)... 280.97 c Sol. found (all assignments made)... 281.00 c Sol. found (all assignments made)... 281.01 c Sol. found (all assignments made)... 281.02 c Sol. found (all assignments made)... 281.03 c Sol. found (all assignments made)... 281.04 c Sol. found (all assignments made)... 281.05 c Sol. found (all assignments made)... 281.07 c Sol. found (all assignments made)... 281.08 c Sol. found (all assignments made)... 281.08 c Sol. found (all assignments made)... 281.09 c Sol. found (all assignments made)... 281.09 c Sol. found (all assignments made)... 281.12 c Sol. found (all assignments made)... 281.13 c Sol. found (all assignments made)... 281.13 c Sol. found (all assignments made)... 281.15 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.16 c Sol. found (all assignments made)... 281.17 c Sol. found (all assignments made)... 281.19 c Sol. found (all assignments made)... 281.20 o 284214 281.20 c NEW SOLUTION FOUND: 284214 @ 281.09 281.20 c Sol. found (all assignments made)... 281.21 c Sol. found (all assignments made)... 281.22 o 284213 281.22 c NEW SOLUTION FOUND: 284213 @ 281.1 281.22 o 284211 281.22 c NEW SOLUTION FOUND: 284211 @ 281.11 281.32 c Sol. found (all assignments made)... 281.35 c Sol. found (all assignments made)... 281.37 c Sol. found (all assignments made)... 281.38 c Sol. found (all assignments made)... 281.39 c Sol. found (all assignments made)... 281.40 c Sol. found (all assignments made)... 281.41 c Sol. found (all assignments made)... 281.44 c Sol. found (all assignments made)... 281.46 c Sol. found (all assignments made)... 281.48 c Sol. found (all assignments made)... 281.49 c Sol. found (all assignments made)... 281.49 c Sol. found (all assignments made)... 281.50 c Sol. found (all assignments made)... 281.53 c Sol. found (all assignments made)... 281.54 c Sol. found (all assignments made)... 281.55 c Sol. found (all assignments made)... 281.56 c Sol. found (all assignments made)... 281.56 c Sol. found (all assignments made)... 281.59 c Sol. found (all assignments made)... 281.60 c Sol. found (all assignments made)... 281.60 c Sol. found (all assignments made)... 281.62 c Sol. found (all assignments made)... 281.64 c Sol. found (all assignments made)... 281.64 c Sol. found (all assignments made)... 281.65 c Sol. found (all assignments made)... 281.67 c Sol. found (all assignments made)... 281.68 c Sol. found (all assignments made)... 281.69 c Sol. found (all assignments made)... 281.70 c Sol. found (all assignments made)... 281.71 c Sol. found (all assignments made)... 281.76 c Sol. found (all assignments made)... 281.78 c Sol. found (all assignments made)... 281.80 c Sol. found (all assignments made)... 281.80 c Sol. found (all assignments made)... 281.81 c Sol. found (all assignments made)... 281.82 c Sol. found (all assignments made)... 281.84 c Sol. found (all assignments made)... 281.86 c Sol. found (all assignments made)... 281.87 c Sol. found (all assignments made)... 281.88 c Sol. found (all assignments made)... 281.89 c Sol. found (all assignments made)... 281.91 c Sol. found (all assignments made)... 281.92 c Sol. found (all assignments made)... 281.92 c Sol. found (all assignments made)... 281.93 c Sol. found (all assignments made)... 281.96 c Sol. found (all assignments made)... 281.96 c Sol. found (all assignments made)... 281.97 c Sol. found (all assignments made)... 281.99 c Sol. found (all assignments made)... 281.99 c Sol. found (all assignments made)... 282.02 c Sol. found (all assignments made)... 282.02 c Sol. found (all assignments made)... 282.03 c Sol. found (all assignments made)... 282.07 c Sol. found (all assignments made)... 282.09 c Sol. found (all assignments made)... 282.09 c Sol. found (all assignments made)... 282.10 c Sol. found (all assignments made)... 282.11 c Sol. found (all assignments made)... 282.13 c Sol. found (all assignments made)... 282.14 c Sol. found (all assignments made)... 282.15 c Sol. found (all assignments made)... 282.15 c Sol. found (all assignments made)... 282.18 c Sol. found (all assignments made)... 282.19 c Sol. found (all assignments made)... 282.20 c Sol. found (all assignments made)... 282.21 c Sol. found (all assignments made)... 282.22 c Sol. found (all assignments made)... 282.25 c Sol. found (all assignments made)... 282.25 c Sol. found (all assignments made)... 282.26 c Sol. found (all assignments made)... 282.30 c Sol. found (all assignments made)... 282.30 c Sol. found (all assignments made)... 282.31 c Sol. found (all assignments made)... 282.32 c Sol. found (all assignments made)... 282.34 c Sol. found (all assignments made)... 282.35 c Sol. found (all assignments made)... 282.36 c Sol. found (all assignments made)... 282.38 c Sol. found (all assignments made)... 282.39 c Sol. found (all assignments made)... 282.40 c Sol. found (all assignments made)... 282.41 c Sol. found (all assignments made)... 282.42 c Sol. found (all assignments made)... 282.46 c Sol. found (all assignments made)... 282.47 c Sol. found (all assignments made)... 282.48 c Sol. found (all assignments made)... 282.49 c Sol. found (all assignments made)... 282.50 c Sol. found (all assignments made)... 282.52 c Sol. found (all assignments made)... 282.53 c Sol. found (all assignments made)... 282.54 c Sol. found (all assignments made)... 282.58 c Sol. found (all assignments made)... 282.59 c Sol. found (all assignments made)... 282.61 c Sol. found (all assignments made)... 282.61 c Sol. found (all assignments made)... 282.63 c Sol. found (all assignments made)... 282.66 c Sol. found (all assignments made)... 282.66 c Sol. found (all assignments made)... 282.68 c Sol. found (all assignments made)... 282.70 o 284210 282.70 c NEW SOLUTION FOUND: 284210 @ 282.59 282.72 c Sol. found (all assignments made)... 282.72 o 284209 282.72 c NEW SOLUTION FOUND: 284209 @ 282.61 282.86 c Sol. found (all assignments made)... 282.89 c Sol. found (all assignments made)... 282.91 c Sol. found (all assignments made)... 282.93 c Sol. found (all assignments made)... 282.94 c Sol. found (all assignments made)... 282.95 c Sol. found (all assignments made)... 282.98 c Sol. found (all assignments made)... 283.00 c Sol. found (all assignments made)... 283.02 c Sol. found (all assignments made)... 283.03 c Sol. found (all assignments made)... 283.04 c Sol. found (all assignments made)... 283.06 c Sol. found (all assignments made)... 283.08 c Sol. found (all assignments made)... 283.09 c Sol. found (all assignments made)... 283.09 c Sol. found (all assignments made)... 283.12 c Sol. found (all assignments made)... 283.13 c Sol. found (all assignments made)... 283.14 c Sol. found (all assignments made)... 283.16 c Sol. found (all assignments made)... 283.17 c Sol. found (all assignments made)... 283.19 c Sol. found (all assignments made)... 283.21 c Sol. found (all assignments made)... 283.26 c Sol. found (all assignments made)... 283.28 c Sol. found (all assignments made)... 283.29 c Sol. found (all assignments made)... 283.30 c Sol. found (all assignments made)... 283.31 c Sol. found (all assignments made)... 283.34 c Sol. found (all assignments made)... 283.35 c Sol. found (all assignments made)... 283.36 c Sol. found (all assignments made)... 283.37 c Sol. found (all assignments made)... 283.40 c Sol. found (all assignments made)... 283.41 c Sol. found (all assignments made)... 283.41 c Sol. found (all assignments made)... 283.44 c Sol. found (all assignments made)... 283.45 c Sol. found (all assignments made)... 283.47 c Sol. found (all assignments made)... 283.49 c Sol. found (all assignments made)... 283.52 c Sol. found (all assignments made)... 283.54 c Sol. found (all assignments made)... 283.55 c Sol. found (all assignments made)... 283.56 c Sol. found (all assignments made)... 283.59 c Sol. found (all assignments made)... 283.59 c Sol. found (all assignments made)... 283.60 c Sol. found (all assignments made)... 283.63 c Sol. found (all assignments made)... 283.64 c Sol. found (all assignments made)... 283.66 c Sol. found (all assignments made)... 283.69 c Sol. found (all assignments made)... 283.71 c Sol. found (all assignments made)... 283.72 c Sol. found (all assignments made)... 283.74 c Sol. found (all assignments made)... 283.76 c Sol. found (all assignments made)... 283.77 c Sol. found (all assignments made)... 283.79 c Sol. found (all assignments made)... 283.80 c Sol. found (all assignments made)... 283.85 c Sol. found (all assignments made)... 283.86 c Sol. found (all assignments made)... 283.88 c Sol. found (all assignments made)... 283.90 c Sol. found (all assignments made)... 283.94 c Sol. found (all assignments made)... 283.96 c Sol. found (all assignments made)... 283.99 c Sol. found (all assignments made)... 284.02 c Sol. found (all assignments made)... 284.11 c Sol. found (all assignments made)... 284.13 c Sol. found (all assignments made)... 284.15 c Sol. found (all assignments made)... 284.16 c Sol. found (all assignments made)... 284.17 c Sol. found (all assignments made)... 284.19 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 284.22 c Sol. found (all assignments made)... 284.23 c Sol. found (all assignments made)... 284.25 c Sol. found (all assignments made)... 284.26 c Sol. found (all assignments made)... 284.27 c Sol. found (all assignments made)... 284.30 c Sol. found (all assignments made)... 284.31 c Sol. found (all assignments made)... 284.32 c Sol. found (all assignments made)... 284.35 c Sol. found (all assignments made)... 284.38 c Sol. found (all assignments made)... 284.40 c Sol. found (all assignments made)... 284.40 c Sol. found (all assignments made)... 284.41 c Sol. found (all assignments made)... 284.44 c Sol. found (all assignments made)... 284.45 c Sol. found (all assignments made)... 284.45 c Sol. found (all assignments made)... 284.48 c Sol. found (all assignments made)... 284.49 c Sol. found (all assignments made)... 284.51 c Sol. found (all assignments made)... 284.54 c Sol. found (all assignments made)... 284.56 c Sol. found (all assignments made)... 284.57 c Sol. found (all assignments made)... 284.59 c Sol. found (all assignments made)... 284.61 c Sol. found (all assignments made)... 284.62 c Sol. found (all assignments made)... 284.64 c Sol. found (all assignments made)... 284.65 c Sol. found (all assignments made)... 286.03 c Restart #2 #Var: 6651 LB: 22066 @ 285.92 465.22 c Restart #3 #Var: 6651 LB: 22066 @ 465.04 735.51 c Restart #4 #Var: 6651 LB: 22066 @ 735.24 953.27 c Restart #5 #Var: 6651 LB: 22066 @ 952.92 1143.63 c Restart #6 #Var: 6651 LB: 22066 @ 1143.2 1343.45 c Restart #7 #Var: 6651 LB: 22066 @ 1342.9 1618.06 c Restart #8 #Var: 6651 LB: 22066 @ 1617.4 1800.85 s SATISFIABLE 1800.85 c Cost: 284209 1800.85 v x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 -x30 x31 -x1142 1800.85 v -x2253 -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920 -x1031 -x1143 -x1254 1800.85 v -x1365 -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809 -x2920 -x3031 -x3142 1800.85 v -x3253 -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698 -x4809 -x4920 -x5031 1800.85 v -x5142 -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 -x6297 -x6308 -x6320 -x6331 -x6342 1800.85 v -x6353 -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497 -x6508 -x6519 -x6530 1800.85 v -x6542 -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88 -x99 -x110 -x121 -x132 1800.85 v -x144 -x155 -x166 x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 -x277 -x288 -x299 -x310 -x321 -x332 -x343 -x354 -x366 1800.85 v -x377 -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 -x499 -x510 -x521 -x532 -x543 -x554 -x565 -x576 -x588 -x599 1800.85 v -x610 -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787 -x798 -x810 -x821 -x832 1800.85 v -x843 -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 -x943 -x954 -x965 -x976 -x987 -x998 -x1009 -x1020 -x1032 -x1043 -x1054 1800.85 v -x1065 -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 -x1144 -x1155 -x1166 -x1177 -x1188 -x1199 -x1210 -x1221 -x1232 -x1243 1800.85 v -x1255 -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388 -x1399 -x1410 -x1421 -x1432 1800.85 v -x1443 -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576 -x1588 -x1599 -x1610 -x1621 1800.85 v -x1632 -x1643 -x1654 -x1665 -x1676 -x1687 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1798 -x1810 1800.85 v -x1821 -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 1800.85 v -x2009 -x2020 -x2032 -x2043 -x2054 -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143 -x2154 -x2165 -x2176 -x2187 1800.85 v -x2198 -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332 -x2343 -x2354 -x2366 -x2377 1800.85 v -x2388 -x2399 -x2410 -x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 -x2499 -x2510 -x2521 -x2532 -x2543 -x2554 -x2565 1800.85 v -x2576 -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710 -x2721 -x2732 -x2743 -x2754 1800.85 v -x2765 -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 -x2887 -x2898 -x2909 -x2921 -x2932 -x2943 1800.85 v -x2954 -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087 -x3098 -x3109 -x3120 -x3131 1800.85 v -x3143 -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276 -x3287 -x3298 -x3309 -x3320 1800.85 v -x3331 -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 x3454 -x3465 -x3477 -x3488 -x3499 -x3510 1800.85 v -x3521 -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 x3643 -x3654 -x3665 -x3676 -x3687 -x3699 1800.85 v -x3710 -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 x3843 -x3854 -x3865 -x3876 -x3887 1800.85 v -x3898 -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032 -x4043 -x4054 -x4065 -x4076 1800.85 v -x4087 -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220 -x4231 -x4242 -x4254 -x4265 1800.85 v -x4276 -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409 -x4420 -x4431 -x4442 -x4453 1800.85 v -x4464 -x4477 -x4488 x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599 -x4610 -x4621 -x4632 -x4643 1800.85 v -x4654 -x4665 -x4676 -x4687 -x4699 -x4710 -x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787 -x4798 -x4810 -x4821 -x4832 1800.85 v -x4843 -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 -x4943 -x4954 -x4965 -x4976 -x4987 -x4998 -x5009 -x5020 1800.85 v -x5032 -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 -x5165 -x5176 -x5187 -x5198 -x5209 1800.85 v -x5220 -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353 -x5365 -x5376 -x5387 -x5398 1800.85 v -x5409 -x5420 -x5431 -x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542 -x5553 -x5564 -x5575 -x5588 1800.85 v -x5599 -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732 -x5743 -x5754 -x5765 -x5776 1800.85 v -x5787 -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921 -x5932 -x5943 -x5954 -x5965 1800.85 v -x5976 -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 -x6087 -x6098 -x6109 -x6120 -x6131 -x6143 -x6154 1800.85 v -x6165 -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 1800.85 v -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 1800.85 v -x6304 -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6321 -x6322 -x6323 1800.85 v -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 1800.85 v -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 1800.85 v -x6361 -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6376 -x6377 -x6378 -x6379 1800.85 v -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6398 1800.85 v -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 1800.85 v -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432 -x6433 -x6434 -x6435 -x6436 1800.85 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6454 -x6455 1800.85 v -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 1800.85 v -x6474 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 1800.85 v -x6493 -x6494 -x6495 -x6496 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 1800.85 v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 1800.85 v -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 1800.85 v x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 1800.85 v -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 1800.85 v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 1800.85 v -x6606 -x6607 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620 -x6621 -x6622 -x6623 -x6624 1800.85 v -x6625 -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6642 -x6643 1800.85 v -x6644 -x6645 -x6646 -x6647 -x6648 x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x45 -x46 x47 -x48 1800.85 v -x49 -x50 -x51 -x52 -x53 -x54 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.85 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x100 -x101 -x102 -x103 -x104 1800.85 v -x105 -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122 -x123 -x124 -x125 -x126 -x127 1800.85 v -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.85 v -x152 -x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.85 v -x175 -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1800.85 v -x198 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1800.85 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x244 1800.85 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x267 -x268 1800.85 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x289 -x290 -x291 1800.85 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x311 -x312 -x313 -x314 1800.85 v -x315 -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 -x335 -x336 -x337 1800.85 v -x338 -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360 1800.85 v -x361 -x362 -x363 -x364 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.85 v -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 1800.85 v -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1800.85 v -x431 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 1800.85 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x478 1800.85 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x500 -x501 1800.85 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x522 -x523 -x524 1800.85 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x544 -x545 -x546 -x547 1800.85 v -x548 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x566 -x567 -x568 -x569 -x570 1800.85 v -x571 -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589 -x590 -x591 -x592 -x593 -x594 1800.85 v -x595 -x596 -x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.85 v -x618 -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1800.85 v -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1800.85 v -x664 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.85 v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x711 1800.85 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 1800.85 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 1800.85 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x777 -x778 -x779 -x780 1800.85 v -x781 -x782 -x783 -x784 x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x799 -x800 -x801 -x802 -x803 1800.85 v -x804 -x805 -x806 -x807 -x808 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 -x825 -x826 -x827 1800.85 v -x828 -x829 -x830 -x831 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1800.85 v -x851 -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1800.85 v -x874 -x875 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1800.85 v -x897 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1800.85 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x944 1800.85 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x967 1800.85 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x988 -x989 -x990 1800.85 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1010 -x1011 1800.85 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.85 v -x1030 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.85 v -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067 -x1068 1800.85 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1800.85 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 1800.85 v -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1121 -x1122 -x1123 -x1124 1800.85 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1145 1800.85 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.85 v -x1164 -x1165 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1178 -x1179 -x1180 -x1181 -x1182 1800.85 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 1800.85 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1800.85 v -x1220 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 1800.85 v -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1256 -x1257 -x1258 1800.85 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1800.85 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.85 v -x1296 -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1311 -x1312 -x1313 -x1314 1800.85 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 1800.85 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.85 v -x1352 -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1367 -x1368 -x1369 -x1370 -x1371 1800.85 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1389 -x1390 1800.85 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 1800.85 v -x1409 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.85 v -x1428 -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1444 -x1445 -x1446 1800.85 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.85 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.85 v -x1485 -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 -x1501 -x1502 -x1503 1800.85 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1522 1800.85 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.85 v -x1541 -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1555 -x1556 -x1557 -x1558 -x1559 1800.85 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1577 -x1578 1800.85 v -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1800.85 v -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.85 v -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 1800.85 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.85 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1800.85 v -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1691 1800.85 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1711 1800.85 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.85 v -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 1800.85 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1766 -x1767 1800.85 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.85 v -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.85 v x1805 -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1822 -x1823 -x1824 1800.85 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 1800.85 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.85 v -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1877 -x1878 -x1879 -x1880 1800.85 v x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1899 1800.85 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.85 v -x1918 x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 -x1935 -x1936 -x1937 1800.85 v -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1955 -x1956 1800.85 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.85 v -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.85 v -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2010 -x2011 -x2012 1800.85 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1800.85 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.85 v -x2051 -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 -x2067 -x2068 -x2069 1800.85 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 1800.85 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.85 v -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124 -x2125 1800.85 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2144 -x2145 1800.85 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.85 v -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.85 v -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 -x2200 -x2201 1800.85 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.85 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.85 v -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2256 -x2257 -x2258 -x2259 1800.85 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2278 1800.85 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 1800.85 v -x2297 -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2311 -x2312 -x2313 -x2314 -x2315 1800.85 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2333 -x2334 1800.85 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.85 v -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.85 v -x2373 -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2389 -x2390 -x2391 1800.85 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1800.85 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.85 v -x2429 -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2444 -x2445 -x2446 -x2447 1800.85 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2466 1800.85 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.85 v -x2486 -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 1800.85 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2522 -x2523 1800.85 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.85 v -x2542 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.85 v -x2561 -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2577 -x2578 -x2579 1800.85 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 1800.85 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.85 v -x2618 -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2633 -x2634 -x2635 -x2636 1800.85 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2655 1800.85 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.85 v -x2674 -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2688 -x2689 -x2690 -x2691 -x2692 1800.85 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2711 -x2712 1800.85 v -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.85 v -x2731 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.85 v -x2750 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2766 -x2767 -x2768 1800.85 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 1800.85 v -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1800.85 v -x2806 -x2807 -x2808 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 -x2824 -x2825 1800.85 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 1800.85 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.85 v -x2863 -x2864 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2877 -x2878 -x2879 -x2880 -x2881 1800.85 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 1800.85 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.85 v -x2919 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1800.85 v -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2955 -x2956 x2957 1800.85 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.85 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.85 v -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3010 -x3011 -x3012 -x3013 1800.85 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3033 1800.85 v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.85 v -x3052 -x3053 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 x3070 1800.85 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 1800.85 v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 1800.85 v -x3108 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 1800.85 v -x3127 -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3144 -x3145 -x3146 1800.85 v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1800.85 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.85 v -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 -x3200 -x3201 -x3202 1800.85 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3221 1800.85 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.85 v -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3255 -x3256 -x3257 -x3258 -x3259 1800.85 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3277 -x3278 1800.85 v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 1800.85 v -x3297 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.85 v -x3316 -x3317 -x3318 -x3319 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3332 -x3333 -x3334 1800.85 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1800.85 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.85 v -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3389 -x3390 -x3391 -x3392 1800.85 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 1800.85 v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1800.85 v -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 1800.85 v -x3449 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3466 -x3467 1800.85 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.85 v -x3487 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.85 v -x3506 -x3507 -x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3522 -x3523 -x3524 1800.85 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 1800.85 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 1800.85 v -x3562 -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3577 -x3578 -x3579 -x3580 1800.85 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 1800.85 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.85 v -x3619 -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3633 -x3634 -x3635 -x3636 -x3637 1800.85 v -x3638 -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3655 -x3656 1800.85 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1800.85 v -x3675 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1800.85 v -x3694 -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3711 -x3712 -x3713 1800.85 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1800.85 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.85 v -x3751 -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3766 -x3767 -x3768 -x3769 1800.85 v -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3788 1800.85 v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.85 v -x3807 -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 -x3824 -x3825 -x3826 1800.85 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3844 -x3845 1800.85 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1800.85 v -x3864 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 1800.85 v -x3883 -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3899 -x3900 -x3901 1800.85 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1800.85 v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 1800.85 v -x3940 -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3955 -x3956 -x3957 -x3958 1800.85 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 1800.85 v -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 1800.85 v -x3996 -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4010 -x4011 -x4012 -x4013 -x4014 1800.85 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4033 -x4034 1800.85 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1800.85 v -x4053 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1800.85 v -x4072 -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4088 -x4089 -x4090 1800.85 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 1800.85 v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 1800.85 v -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4144 -x4145 -x4146 -x4147 1800.85 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4166 1800.85 v -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.85 v -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4200 -x4201 -x4202 -x4203 1800.85 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4221 -x4222 1800.85 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 1800.85 v x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.85 v -x4261 -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4277 -x4278 -x4279 1800.85 v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 1800.85 v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1800.85 v -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 1800.85 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4354 1800.85 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1800.85 v -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4388 -x4389 -x4390 -x4391 -x4392 1800.85 v -x4393 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4410 -x4411 1800.85 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.85 v -x4430 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1800.85 v -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4465 -x4466 -x4467 1800.85 v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1800.85 v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 1800.85 v -x4507 -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 1800.85 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 1800.85 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 1800.85 v -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 1800.85 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4600 -x4601 1800.85 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.85 v -x4620 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 1800.85 v -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4655 -x4656 -x4657 1800.85 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1800.85 v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1800.85 v -x4695 -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 1800.85 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4733 1800.85 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.85 v -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4766 -x4767 -x4768 -x4769 -x4770 1800.85 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4788 -x4789 1800.85 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1800.85 v -x4808 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 1800.85 v -x4828 -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 1800.85 v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1800.85 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.85 v -x4884 -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 1800.85 v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4922 1800.85 v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 1800.85 v -x4941 -x4942 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 -x4957 -x4958 -x4959 1800.85 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4977 -x4978 1800.85 v -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 1800.85 v -x4997 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 1800.85 v -x5016 -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5033 -x5034 -x5035 1800.85 v -x5036 -x5037 -x5038 -x5039 x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.85 v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 1800.85 v -x5073 -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5088 -x5089 -x5090 -x5091 1800.85 v x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 1800.85 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.85 v -x5129 -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5144 -x5145 -x5146 -x5147 -x5148 1800.85 v -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 1800.85 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 1800.85 v -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1800.85 v -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 1800.85 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 1800.85 v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 1800.85 v -x5262 -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5277 -x5278 -x5279 -x5280 1800.85 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5299 1800.85 v -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 1800.85 v -x5318 -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 1800.85 v -x5337 -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5354 -x5355 1800.85 v -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1800.85 v -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 1800.85 v -x5394 -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5410 -x5411 -x5412 1800.85 v -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 1800.85 v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 1800.85 v x5450 -x5451 -x5452 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 1800.85 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 1800.85 v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 x5507 1800.85 v -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 1800.85 v -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5543 -x5544 -x5545 1800.85 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 1800.85 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 1800.85 v -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603 1800.85 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5622 1800.85 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 1800.85 v -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 1800.85 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 1800.85 v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 1800.85 v -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.85 v -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5733 -x5734 -x5735 1800.85 v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 1800.85 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 1800.85 v -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5788 -x5789 -x5790 -x5791 1800.85 v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5811 1800.85 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1800.85 v -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5844 -x5845 -x5846 -x5847 -x5848 1800.85 v -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 x5866 -x5867 1800.85 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 1800.85 v -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 1800.85 v -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5922 -x5923 -x5924 1800.85 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1800.85 v -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1800.85 v -x5962 -x5963 -x5964 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5977 -x5978 -x5979 -x5980 1800.85 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5999 1800.85 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 1800.85 v -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6033 -x6034 -x6035 -x6036 -x6037 1800.85 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 1800.85 v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 1800.85 v -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1800.85 v -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6110 -x6111 -x6112 1800.85 v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 1800.85 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 -x6141 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1800.85 v -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6166 -x6167 -x6168 -x6169 1800.85 v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6188 1800.85 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 1800.85 v -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6221 -x6222 -x6223 -x6224 -x6225 1800.85 v -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6243 -x6244 1800.85 v x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 1800.85 v -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6277 -x6278 1800.85 c Exit Code: 10 1800.85 c Total time: 1800.1 s
OK 284209
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/node48/watcher-40025-1149356351 -o ROOT/results/node48/solver-40025-1149356351 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/40025-1149356351/instance-40025-1149356351.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 27936 /proc/meminfo: memFree=1816168/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=4932 CPUtime=0 /proc/27936/stat : 27936 (bsolo) D 27934 27936 27890 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 201302158 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/27936/statm: 1233 330 226 55 0 125 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787376/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=33464 CPUtime=9.98 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 29912 0 0 0 983 15 0 0 25 0 1 0 201302158 34267136 7618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134680693 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8366 7618 427 55 0 7258 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 33464 [startup+20.0095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1786416/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34628 CPUtime=19.98 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 119508 0 0 0 1942 56 0 0 25 0 1 0 201302158 35459072 7887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249519 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8657 7887 428 55 0 7549 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34628 [startup+30.0152 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1786672/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34332 CPUtime=29.99 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 212479 0 0 0 2904 95 0 0 25 0 1 0 201302158 35155968 7822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8583 7822 428 55 0 7475 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34332 [startup+40.0209 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788400/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32288 CPUtime=39.98 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 284070 0 0 0 3872 126 0 0 25 0 1 0 201302158 33062912 7357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8072 7357 428 55 0 6964 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 32288 [startup+50.0266 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788464/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32288 CPUtime=49.98 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 326750 0 0 0 4854 144 0 0 25 0 1 0 201302158 33062912 7357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8072 7357 428 55 0 6964 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 32288 [startup+60.0323 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787504/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34436 CPUtime=59.99 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 376453 0 0 0 5833 166 0 0 25 0 1 0 201302158 35262464 7894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3997267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8609 7894 428 55 0 7501 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 34436 [startup+70.0381 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1785904/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=35336 CPUtime=69.99 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 455717 0 0 0 6797 202 0 0 25 0 1 0 201302158 36184064 8034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160205822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8834 8034 428 55 0 7726 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 35336 [startup+80.0438 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1785904/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34816 CPUtime=79.99 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 536808 0 0 0 7759 240 0 0 25 0 1 0 201302158 35651584 7938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8704 7938 428 55 0 7596 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 34816 [startup+90.0495 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788080/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32804 CPUtime=89.99 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 620969 0 0 0 8724 275 0 0 25 0 1 0 201302158 33591296 7486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8201 7486 428 55 0 7093 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 32804 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788144/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32524 CPUtime=100 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 683613 0 0 0 9696 304 0 0 25 0 1 0 201302158 33304576 7416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8131 7416 428 55 0 7023 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 32524 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1785712/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=35432 CPUtime=110 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 755397 0 0 0 10663 337 0 0 25 0 1 0 201302158 36282368 8064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8858 8064 428 55 0 7750 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 35432 [startup+120.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1785776/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=35340 CPUtime=120.01 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 835849 0 0 0 11625 376 0 0 25 0 1 0 201302158 36188160 8040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8835 8040 428 55 0 7727 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 35340 [startup+130.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788144/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32780 CPUtime=130 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 920066 0 0 0 12586 414 0 0 25 0 1 0 201302158 33566720 7480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8195 7480 428 55 0 7087 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 32780 [startup+140.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788144/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=33272 CPUtime=140.01 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 984064 0 0 0 13559 442 0 0 25 0 1 0 201302158 34070528 7528 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160206193 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8318 7533 428 55 0 7210 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 33272 [startup+150.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787632/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=33256 CPUtime=150.01 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1052132 0 0 0 14526 475 0 0 25 0 1 0 201302158 34054144 7599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8314 7599 428 55 0 7206 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 33256 [startup+160.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787632/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34132 CPUtime=160.01 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1132759 0 0 0 15493 508 0 0 25 0 1 0 201302158 34951168 7786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8533 7786 428 55 0 7425 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 34132 [startup+170.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787888/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32976 CPUtime=170.01 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1216436 0 0 0 16458 543 0 0 25 0 1 0 201302158 33767424 7529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8244 7529 428 55 0 7136 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 32976 [startup+180.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787376/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34012 CPUtime=180.02 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1296451 0 0 0 17426 576 0 0 25 0 1 0 201302158 34828288 7698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8503 7698 428 55 0 7395 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 34012 [startup+190.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1788080/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=32596 CPUtime=190.02 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1347268 0 0 0 18402 600 0 0 25 0 1 0 201302158 33378304 7434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8149 7434 428 55 0 7041 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 32596 [startup+200.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1787312/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=34368 CPUtime=200.03 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 1447366 0 0 0 19360 643 0 0 25 0 1 0 201302158 35192832 7758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 8497 7753 428 55 0 7389 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 34368 [startup+210.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27936 /proc/meminfo: memFree=1783472/2055920 swapFree=4181440/4192956 ################ # More data... # ################ /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1760.3 Current children cumulated vsize (Kb) 48368 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1770.3 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 174308 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1770.3 Current children cumulated vsize (Kb) 48368 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1780.3 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175308 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1780.3 Current children cumulated vsize (Kb) 48368 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1781.3 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175408 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (Kb) 48368 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1782.31 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175509 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134683238 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (Kb) 48368 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1783.31 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175609 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1783.31 Current children cumulated vsize (Kb) 48368 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1784.31 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175709 2722 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1784.31 Current children cumulated vsize (Kb) 48368 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1785.33 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175810 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159247835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1785.33 Current children cumulated vsize (Kb) 48368 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1786.33 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 175910 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1786.33 Current children cumulated vsize (Kb) 48368 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1787.34 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176011 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3969997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 48368 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1788.34 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176111 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1788.34 Current children cumulated vsize (Kb) 48368 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1789.35 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176212 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211174 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 48368 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1790.35 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176312 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1790.35 Current children cumulated vsize (Kb) 48368 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1791.36 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176413 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159248312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (Kb) 48368 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1792.36 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176513 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1792.36 Current children cumulated vsize (Kb) 48368 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1793.37 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176614 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3969997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 48368 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1794.37 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176714 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134610945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (Kb) 48368 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1795.37 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176814 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1795.37 Current children cumulated vsize (Kb) 48368 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1796.38 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 176915 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 48368 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1797.38 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 177015 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (Kb) 48368 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1798.39 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 177116 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1798.39 Current children cumulated vsize (Kb) 48368 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28132 /proc/meminfo: memFree=1771760/2055920 swapFree=4181440/4192956 [pid=27936] ppid=27934 vsize=48368 CPUtime=1799.39 /proc/27936/stat : 27936 (bsolo) R 27934 27936 27890 0 -1 0 6168928 0 0 0 177216 2723 0 0 25 0 1 0 201302158 49528832 11378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27936/statm: 12092 11378 428 55 0 10984 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (Kb) 48368 Child status: 10 Real time (s): 1800.87 CPU time (s): 1800.12 CPU user time (s): 1772.89 CPU system time (s): 27.2389 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (Kb): 50980
Begin job on node48 on Sat Jun 3 17:39:11 UTC 2006 FILE ID= 40025-1149356351 PBS_JOBID= 311272 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/40025-1149356351/instance-40025-1149356351.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-40025-1149356351 -o ROOT/results/node48/solver-40025-1149356351 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/40025-1149356351/instance-40025-1149356351.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b75dadb532de8158b35ca12cd6b47e2f RANDOM SEED= 5677562 /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.259 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.259 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: 1816312 kB Buffers: 16532 kB Cached: 160760 kB SwapCached: 3180 kB Active: 39632 kB Inactive: 146352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816312 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14868 kB Slab: 39608 kB Committed_AS: 324296 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Sat Jun 3 18:09:12 UTC 2006