Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | 20632252 | 804.084 | 804.388 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
MD5SUM | 9dd7506c46c3c26c10ff03753daf5d0f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 9783292 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8442880 |
Optimality of the best value was proved | NO |
Number of variables | 7998 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1568780661323 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1568780661323 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353870-1176687455/instance-353870-1176687455.opb 0.00/0.00 c File size is 409264 bytes. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.01/0.02 c Coefficients are big enough for not using lower bounding. 0.01/0.02 c Coefficients are big enough for not using lower bounding. 0.01/0.02 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.03 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.04 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.05 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.06 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.01/0.07 c Highest Coefficient sum: 1.56878e+12 0.01/0.07 c Parsing was ok!! 0.01/0.07 c Total parsing time: 0.069 s 0.01/0.07 c Var: 7998 Constr: 356 0/0/356 Lit: 38958 Watch. Lit: 23576 0.01/0.07 c Obj. Vars: 7998 (100 % of total variables) 0.19/0.20 c Pre-processing Time: 0.205 s 103.14/103.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.14/103.29 c 0 3727 356 38958 109 23655 77916 0 0 0.20 103.14/103.29 c 101 3727 457 87593 191 24032 85708 101 367 0.28 103.14/103.29 c 251 3727 607 159740 263 24469 94279 251 687 0.36 103.14/103.29 c 477 3727 833 267622 321 24890 103707 477 993 0.48 103.14/103.29 c 816 3727 1172 424951 362 25515 114078 816 1216 0.67 103.14/103.29 c 1325 3727 1681 656798 390 26662 125486 1325 1349 0.98 103.14/103.29 c 2088 3727 2444 1001332 409 28146 138035 2088 1458 1.43 103.14/103.29 c 3235 3727 3591 1507329 419 30482 151839 3235 1561 2.07 103.14/103.29 c 4957 3727 5313 2261169 425 34077 167023 4957 1428 3.47 103.14/103.29 c 7542 3727 7898 3374750 427 39259 183726 7542 1341 5.62 103.14/103.29 c 11422 3727 11778 5037400 427 46996 202099 11422 1295 8.82 103.14/103.29 c 17244 3727 17600 7463178 424 58906 222309 17244 1178 14.63 103.14/103.29 c 25981 3727 26337 11256391 427 76290 244540 25981 1085 23.93 103.14/103.29 c 39091 3727 39447 16922298 428 102634 268995 39091 974 40.12 103.14/103.29 c 58761 3727 59117 25278865 427 141783 295895 58761 844 69.58 103.14/103.29 c 88271 3727 88627 34135402 385 202739 325485 88271 866 101.83 103.14/103.29 o 24771698 103.25 179.72/179.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.72/179.86 c 89303 3727 89660 34434944 384 208004 85370 89304 864 103.25 179.72/179.86 c 89403 3727 89760 34467758 383 208167 93908 89404 863 103.55 179.72/179.86 c 89654 3727 90011 34483139 383 208624 103299 89655 865 103.62 179.72/179.86 c 90130 3727 90487 34528242 381 209278 113629 90131 866 104.07 179.72/179.86 c 90943 3727 91300 34907142 382 211396 124992 90944 863 105.31 179.72/179.86 c 92264 3727 92621 35384331 382 213754 137492 92265 861 107.05 179.72/179.86 c 94345 3727 94702 36145654 381 217539 151242 94346 858 109.88 179.72/179.86 c 97568 3727 97925 37537858 383 223972 166367 97569 838 116.31 179.72/179.86 c 102504 3727 102861 43807287 425 234740 183004 102505 720 142.25 179.72/179.86 c 110011 3727 110368 45173224 409 247954 201305 110012 642 171.16 179.72/179.86 o 20632252 179.784 803.80/804.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 803.80/804.11 c 113920 3727 114278 46234082 404 259752 85370 113922 633 179.79 803.80/804.11 c 114020 3727 12851 3801595 295 54484 93908 12495 500 228.00 803.80/804.11 c 114271 3727 13102 3925158 299 54731 103299 12746 500 228.33 803.80/804.11 c 114746 3727 13577 3990418 293 56448 113629 13221 501 228.72 803.80/804.11 c 115559 3727 14390 4181867 290 57042 124992 14034 503 229.35 803.80/804.11 c 116880 3727 15711 4759297 302 59886 137492 15355 506 230.91 803.80/804.11 c 118963 3727 17794 5170520 290 64030 151242 17438 510 233.04 803.80/804.11 c 122186 3727 21017 6723474 319 71149 166367 20661 515 237.07 803.80/804.11 c 127124 3727 25955 8917932 343 80097 183004 25599 524 242.16 803.80/804.11 c 134630 3727 33461 11614021 347 95030 201305 33105 536 251.14 803.80/804.11 c 145991 3727 44822 16357527 364 118772 221436 44466 546 267.28 803.80/804.11 c 163135 3727 61966 23423083 377 153210 243580 61610 550 296.19 803.80/804.11 c 188955 3727 87786 35073064 399 203498 267939 87430 570 331.19 803.80/804.11 c 227788 3727 126619 52155287 411 280435 294733 126263 588 387.25 803.80/804.11 c 286144 3727 184975 76910929 415 396958 324207 184619 602 475.31 803.80/804.11 c 373776 3727 272607 113661763 416 572346 356628 272251 562 664.76 803.80/804.11 c Caught signal: 15 803.80/804.11 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 803.80/804.11 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 803.80/804.11 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 x3372 -x3373 -x3374 803.80/804.11 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5431 803.80/804.11 v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 803.80/804.11 v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5761 -x5762 -x5763 -x5764 -x5765 803.80/804.11 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 803.80/804.11 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 803.80/804.11 v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 803.80/804.11 v -x6119 -x6120 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 803.80/804.11 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6751 -x6752 803.80/804.11 v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 803.80/804.11 v -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 803.80/804.11 v -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 803.80/804.11 v -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 803.80/804.11 v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 803.80/804.11 v -x7438 -x7439 -x7440 x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 803.80/804.11 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 803.80/804.11 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 803.80/804.11 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 803.80/804.11 v -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 803.80/804.11 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 803.80/804.11 v -x1383 -x1384 -x1385 x1386 -x1387 x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 803.80/804.11 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 803.80/804.11 v -x1718 -x1719 -x1720 x1721 -x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 803.80/804.11 v -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 803.80/804.11 v -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 803.80/804.11 v -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 803.80/804.11 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 803.80/804.11 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 803.80/804.11 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 803.80/804.11 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 803.80/804.11 v -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 803.80/804.11 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 803.80/804.11 v -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 x3733 -x3734 -x3735 -x3736 -x3737 803.80/804.11 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 803.80/804.11 v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 803.80/804.11 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 x4386 x4387 -x4388 x4389 803.80/804.11 v x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 803.80/804.11 v -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 803.80/804.11 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 803.80/804.11 v -x5042 x5043 -x5044 -x5045 x5046 x5047 x5048 x5049 x5050 x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 803.80/804.11 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 803.80/804.11 v -x5318 -x5319 x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 803.80/804.11 v -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 803.80/804.11 v x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 803.80/804.11 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 803.80/804.11 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 x5403 -x5404 -x5405 803.80/804.11 v -x5406 x5407 -x5408 x5409 -x5410 x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 803.80/804.11 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 803.80/804.11 v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 803.80/804.11 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 803.80/804.11 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 803.80/804.11 v -x5522 x5523 -x5524 x5525 x5526 x5527 x5528 x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 803.80/804.11 v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 x5554 -x5555 x5556 -x5557 803.80/804.11 v x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 803.80/804.11 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 803.80/804.11 v x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 803.80/804.11 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 803.80/804.11 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 x5642 x5643 x5644 x5645 803.80/804.11 v x5646 x5647 x5648 x5649 x5650 x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 803.80/804.11 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 803.80/804.11 v x5681 x5682 x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 803.80/804.11 v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 803.80/804.11 v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 803.80/804.11 v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 803.80/804.11 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 803.80/804.11 v -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 803.80/804.11 v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 803.80/804.11 v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 803.80/804.11 v -x5848 -x5849 -x5850 x5851 x5852 x5853 x5854 x5855 -x5856 x5857 x5858 x5859 x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 803.80/804.11 v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 x5882 x5883 x5884 803.80/804.11 v x5885 x5886 x5887 x5888 x5889 x5890 x5891 x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 803.80/804.11 v -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 803.80/804.11 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 803.80/804.11 v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 x5944 x5945 x5946 x5947 x5948 x5949 x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 803.80/804.11 v -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 803.80/804.11 v -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 803.80/804.11 v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 803.80/804.11 v -x6009 -x6010 x6011 -x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 803.80/804.11 v -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 x6035 x6036 x6037 x6038 -x6039 x6040 x6041 -x6042 -x6043 x6044 -x6045 803.80/804.11 v -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 803.80/804.11 v -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 803.80/804.11 v -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6121 x6122 x6123 x6124 x6125 x6126 x6127 803.80/804.11 v x6128 x6129 x6130 x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 803.80/804.11 v -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 803.80/804.11 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 803.80/804.11 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 803.80/804.11 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 803.80/804.11 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 803.80/804.11 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 x6245 x6246 -x6247 -x6248 803.80/804.11 v -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 803.80/804.11 v -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 x6281 x6282 -x6283 803.80/804.11 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 803.80/804.11 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 803.80/804.11 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 -x6333 -x6334 -x6335 803.80/804.11 v x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 803.80/804.11 v -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 803.80/804.11 v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 803.80/804.11 v -x6388 -x6389 -x6390 x6391 x6392 x6393 x6394 x6395 x6396 x6397 x6398 x6399 x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 803.80/804.11 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6451 -x6452 -x6453 803.80/804.11 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 803.80/804.11 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 803.80/804.11 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 803.80/804.11 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 803.80/804.11 v -x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 803.80/804.11 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 803.80/804.11 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 803.80/804.11 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 803.80/804.11 v -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 x6602 x6603 x6604 x6605 x6606 x6607 803.80/804.11 v x6608 x6609 x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 803.80/804.11 v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 803.80/804.11 v -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 803.80/804.11 v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 x6672 x6673 -x6674 -x6675 -x6676 -x6677 803.80/804.11 v -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 x6692 x6693 x6694 x6695 803.80/804.11 v x6696 x6697 x6698 x6699 x6700 -x6701 x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 803.80/804.11 v -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 x6730 803.80/804.11 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 803.80/804.11 v -x6748 -x6749 -x6750 -x6781 -x6782 -x6783 x6784 x6785 x6786 x6787 x6788 x6789 x6790 -x6791 x6792 -x6793 -x6794 -x6795 -x6796 803.80/804.11 v -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 803.80/804.11 v -x6814 -x6815 -x6816 -x6817 -x6818 x6819 -x6820 -x6821 x6822 x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 803.80/804.11 v -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 x6842 -x6843 x6844 x6845 x6846 -x6847 x6848 -x6849 803.80/804.11 v x6850 -x6851 -x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 803.80/804.11 v -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884 803.80/804.11 v -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 803.80/804.11 v -x6902 -x6903 -x6904 x6905 -x6906 -x6907 -x6908 x6909 x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 803.80/804.11 v -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 803.80/804.11 v -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 803.80/804.11 v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 x6962 x6963 -x6964 x6965 -x6966 x6967 -x6968 x6969 x6970 x6971 803.80/804.11 v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 803.80/804.11 v -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 x7004 -x7005 -x7006 803.80/804.11 v -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 803.80/804.11 v -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 803.80/804.11 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 803.80/804.11 v -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 803.80/804.11 v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 803.80/804.11 v -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 803.80/804.11 v -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 x7151 -x7152 -x7153 -x7154 -x7155 803.80/804.11 v -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 803.80/804.11 v -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 803.80/804.11 v -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 803.80/804.11 v -x7207 -x7208 x7209 x7210 -x7211 x7212 -x7213 x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 803.80/804.11 v -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 x7232 -x7233 x7234 -x7235 x7236 -x7237 x7238 x7239 x7240 x7241 x7242 x7243 803.80/804.11 v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 803.80/804.11 v x7261 x7262 x7263 x7264 x7265 x7266 x7267 x7268 x7269 x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 803.80/804.11 v -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 803.80/804.11 v -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 803.80/804.11 v -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 803.80/804.11 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 803.80/804.11 v -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 803.80/804.11 v -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 803.80/804.11 v -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 803.80/804.11 v -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7441 -x7442 -x7443 -x7444 -x7445 803.80/804.11 v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 803.80/804.11 v -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 803.80/804.11 v -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 803.80/804.11 v -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 803.80/804.11 v -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 803.80/804.11 v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 803.80/804.11 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 803.80/804.11 v -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 803.80/804.11 v -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 803.80/804.11 v -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 803.80/804.11 v -x7616 -x7617 -x7618 -x7619 -x7620 x7621 x7622 x7623 x7624 x7625 x7626 x7627 x7628 x7629 x7630 -x7631 -x7632 -x7633 -x7634 803.80/804.11 v -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 803.80/804.11 v -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 803.80/804.11 v -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 x7681 x7682 x7683 x7684 x7685 x7686 803.80/804.11 v -x7687 x7688 x7689 -x7690 x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 803.80/804.11 v -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 803.80/804.11 v -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 803.80/804.11 v -x7739 -x7740 x91 x92 x93 x94 x95 x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 803.80/804.11 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 803.80/804.11 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 803.80/804.11 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 803.80/804.11 v -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 803.80/804.11 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 803.80/804.11 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 803.80/804.11 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 803.80/804.11 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 803.80/804.11 v x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 803.80/804.11 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 803.80/804.11 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 803.80/804.11 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 803.80/804.11 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 803.80/804.11 v -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 803.80/804.11 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 x454 x455 -x456 -x457 -x458 803.80/804.11 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 803.80/804.11 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 803.80/804.11 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 803.80/804.11 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 803.80/804.11 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 803.80/804.11 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 803.80/804.11 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 803.80/804.11 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 803.80/804.11 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 803.80/804.11 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 803.80/804.11 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 803.80/804.11 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 803.80/804.11 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 803.80/804.11 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 803.80/804.11 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 803.80/804.11 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 803.80/804.11 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 803.80/804.11 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 803.80/804.11 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 803.80/804.11 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 803.80/804.11 v -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 803.80/804.11 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 803.80/804.11 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 -x971 -x972 -x973 803.80/804.11 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 803.80/804.11 v x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 803.80/804.11 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 803.80/804.11 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 803.80/804.11 v -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 803.80/804.11 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 803.80/804.11 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 803.80/804.11 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 803.80/804.11 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 803.80/804.11 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 803.80/804.11 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 803.80/804.11 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 803.80/804.11 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 803.80/804.11 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 803.80/804.11 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 803.80/804.11 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 803.80/804.11 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 803.80/804.11 v x1299 x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 803.80/804.11 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 -x1334 -x1335 803.80/804.11 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 803.80/804.11 v -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 803.80/804.11 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 803.80/804.11 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 803.80/804.11 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 803.80/804.11 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 803.80/804.11 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 803.80/804.11 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 x1503 x1504 803.80/804.11 v x1505 x1506 x1507 x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 803.80/804.11 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 803.80/804.11 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 803.80/804.11 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 803.80/804.11 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 803.80/804.11 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 803.80/804.11 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 803.80/804.11 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 803.80/804.11 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 803.80/804.11 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 803.80/804.11 v -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 x1690 x1691 -x1692 x1693 x1694 803.80/804.11 v x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 803.80/804.11 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 803.80/804.11 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 803.80/804.11 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 803.80/804.11 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 -x1809 -x1810 803.80/804.11 v -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 803.80/804.11 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 803.80/804.11 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 803.80/804.11 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 803.80/804.11 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 803.80/804.11 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 803.80/804.11 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 803.80/804.11 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 803.80/804.11 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 803.80/804.11 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 803.80/804.11 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 803.80/804.11 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 803.80/804.11 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 803.80/804.11 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 803.80/804.11 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 803.80/804.11 v -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 803.80/804.11 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 803.80/804.11 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 803.80/804.11 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 803.80/804.11 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 803.80/804.11 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 803.80/804.11 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 803.80/804.11 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 803.80/804.11 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 803.80/804.11 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 803.80/804.11 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 803.80/804.11 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 803.80/804.11 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 803.80/804.11 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 803.80/804.11 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 803.80/804.11 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 803.80/804.11 v -x2369 -x2370 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 803.80/804.11 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 803.80/804.11 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 803.80/804.11 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 803.80/804.11 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 803.80/804.11 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 803.80/804.11 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 803.80/804.11 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 803.80/804.11 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 803.80/804.11 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 803.80/804.11 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 803.80/804.11 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 803.80/804.11 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 803.80/804.11 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 803.80/804.11 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 803.80/804.11 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 803.80/804.11 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 803.80/804.11 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 803.80/804.11 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 803.80/804.11 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 803.80/804.11 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 803.80/804.11 v -x2788 -x2789 -x2790 x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 803.80/804.11 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 803.80/804.11 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 803.80/804.11 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 803.80/804.11 v x2859 x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 803.80/804.11 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 803.80/804.11 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 803.80/804.11 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 803.80/804.11 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 803.80/804.11 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 803.80/804.11 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 803.80/804.11 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 803.80/804.11 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 803.80/804.11 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 803.80/804.11 v -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 803.80/804.11 v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 803.80/804.11 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 803.80/804.11 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 803.80/804.11 v x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 803.80/804.11 v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 803.80/804.11 v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 803.80/804.11 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 803.80/804.11 v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 803.80/804.11 v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 803.80/804.11 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 803.80/804.11 v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 803.80/804.11 v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 803.80/804.11 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 803.80/804.11 v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 803.80/804.11 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 803.80/804.11 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 803.80/804.11 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 803.80/804.11 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 803.80/804.11 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 803.80/804.11 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 803.80/804.11 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 803.80/804.11 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 803.80/804.11 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 803.80/804.11 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 803.80/804.11 v -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 803.80/804.11 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 803.80/804.11 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 803.80/804.11 v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 803.80/804.11 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 803.80/804.11 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 803.80/804.11 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 803.80/804.11 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 803.80/804.11 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 803.80/804.11 v -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 803.80/804.11 v -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 803.80/804.11 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 803.80/804.11 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 803.80/804.11 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 803.80/804.11 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 803.80/804.11 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 x3845 -x3846 x3847 -x3848 -x3849 -x3850 803.80/804.11 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 803.80/804.11 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 803.80/804.11 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 803.80/804.11 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 803.80/804.11 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 803.80/804.11 v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 803.80/804.11 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 803.80/804.11 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 803.80/804.11 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 803.80/804.11 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 803.80/804.11 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 803.80/804.11 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 803.80/804.11 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 803.80/804.11 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 x4118 x4119 x4120 803.80/804.11 v x4121 x4122 x4123 x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 803.80/804.11 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 803.80/804.11 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 803.80/804.11 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 803.80/804.11 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 803.80/804.11 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 803.80/804.11 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 803.80/804.11 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 803.80/804.11 v -x4258 -x4259 -x4260 -x4261 x4262 x4263 x4264 -x4265 -x4266 x4267 x4268 x4269 x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 803.80/804.11 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 803.80/804.11 v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 803.80/804.11 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 803.80/804.11 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 803.80/804.11 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 803.80/804.11 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 803.80/804.11 v -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 803.80/804.11 v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 803.80/804.11 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 803.80/804.11 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 803.80/804.11 v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 803.80/804.11 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 803.80/804.11 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 803.80/804.11 v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 803.80/804.11 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 803.80/804.11 v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 803.80/804.11 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 803.80/804.11 v -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 803.80/804.11 v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 803.80/804.11 v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 803.80/804.11 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 803.80/804.11 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 803.80/804.11 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 803.80/804.11 v -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 803.80/804.11 v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 803.80/804.11 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 803.80/804.11 v -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 803.80/804.11 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 803.80/804.11 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 803.80/804.11 v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 x4840 -x4841 -x4842 x4843 x4844 -x4845 -x4846 -x4847 803.80/804.11 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 803.80/804.11 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 803.80/804.11 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 803.80/804.11 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 803.80/804.11 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 x4927 x4928 -x4929 -x4930 x4931 -x4932 x4933 803.80/804.11 v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 803.80/804.11 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 803.80/804.11 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 803.80/804.11 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 803.80/804.11 v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 803.80/804.11 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 803.80/804.11 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 803.80/804.11 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 803.80/804.11 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 803.80/804.11 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 803.80/804.11 v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 803.80/804.11 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 803.80/804.11 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 803.80/804.11 v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 803.80/804.11 v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 803.80/804.11 v -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 x5232 -x5233 -x5234 -x5235 -x5236 803.80/804.11 v -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 803.80/804.11 v -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 803.80/804.11 v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 x5282 -x5283 -x5284 -x5285 -x5286 -x5287 803.80/804.11 v -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 803.80/804.11 v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x7741 -x7742 x7853 x7922 x7933 x7944 x7955 -x7966 -x7977 -x7988 x7743 -x7754 803.80/804.11 v -x7765 -x7776 x7787 x7798 x7809 x7820 x7831 -x7842 -x7854 x7865 -x7876 x7887 -x7898 x7909 x7918 x7919 x7920 x7921 -x7923 803.80/804.11 v -x7924 x7925 x7926 x7927 x7928 x7929 x7930 -x7931 x7932 -x7934 -x7935 x7936 x7937 -x7938 x7939 x7940 x7941 x7942 -x7943 803.80/804.11 v x7945 -x7946 -x7947 x7948 x7949 x7950 x7951 x7952 -x7953 x7954 -x7956 -x7957 x7958 -x7959 -x7960 x7961 -x7962 x7963 x7964 803.80/804.11 v x7965 x7967 x7968 x7969 x7970 x7971 -x7972 x7973 x7974 x7975 -x7976 -x7978 x7979 -x7980 x7981 x7982 x7983 -x7984 -x7985 803.80/804.11 v -x7986 -x7987 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 x7997 -x7998 x7744 -x7745 x7746 x7747 -x7748 -x7749 803.80/804.11 v x7750 -x7751 x7752 -x7753 -x7755 x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 x7763 -x7764 -x7766 -x7767 x7768 -x7769 803.80/804.11 v -x7770 x7771 -x7772 x7773 x7774 -x7775 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 x7783 x7784 x7785 x7786 -x7788 x7789 -x7790 803.80/804.11 v x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7799 -x7800 x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7810 803.80/804.11 v x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7821 x7822 x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 803.80/804.11 v -x7830 x7832 x7833 x7834 -x7835 x7836 -x7837 x7838 -x7839 -x7840 x7841 -x7843 -x7844 x7845 -x7846 -x7847 -x7848 -x7849 803.80/804.11 v -x7850 -x7851 -x7852 -x7855 -x7856 -x7857 -x7858 x7859 -x7860 -x7861 -x7862 -x7863 x7864 -x7866 -x7867 -x7868 x7869 -x7870 803.80/804.11 v -x7871 x7872 -x7873 -x7874 -x7875 -x7877 x7878 -x7879 -x7880 -x7881 -x7882 x7883 x7884 -x7885 -x7886 -x7888 -x7889 -x7890 803.80/804.11 v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7899 -x7900 -x7901 x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7910 803.80/804.11 v x7911 -x7912 x7913 -x7914 x7915 -x7916 x7917 803.80/804.11 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 803.80/804.11 c 41 442547 9725 711410 341378 141570290 341022 550 803.81 803.80/804.11 c Objective: 20632252 803.80/804.11 s SATISFIABLE 803.80/804.11 c Total time: 803.81 s
OK 20632252
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-353870-1176687455 -o ROOT/results/node37/solver-353870-1176687455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353870-1176687455/instance-353870-1176687455.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4839 /proc/meminfo: memFree=1698696/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=12136 CPUtime=0 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 116658008 12427264 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 3034 337 282 324 0 2003 0 [startup+0.0223769 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4839 /proc/meminfo: memFree=1698696/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=12852 CPUtime=0.01 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 552 0 0 0 1 0 0 0 18 0 1 0 116658008 13160448 520 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 3213 520 310 324 0 2182 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12852 [startup+0.101391 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4839 /proc/meminfo: memFree=1698696/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=6232 CPUtime=0.09 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 1061 0 0 0 9 0 0 0 18 0 1 0 116658008 6381568 929 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 1558 929 305 324 0 627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6232 [startup+0.30143 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4839 /proc/meminfo: memFree=1698696/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=7028 CPUtime=0.29 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 1346 0 0 0 28 1 0 0 19 0 1 0 116658008 7196672 1123 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 1757 1123 312 324 0 826 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7028 [startup+0.701505 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4839 /proc/meminfo: memFree=1698696/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=11464 CPUtime=0.69 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 2451 0 0 0 67 2 0 0 22 0 1 0 116658008 11739136 2228 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 2866 2228 312 324 0 1935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11464 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4840 /proc/meminfo: memFree=1687808/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=19488 CPUtime=1.49 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 4468 0 0 0 146 3 0 0 25 0 1 0 116658008 19955712 4245 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 4872 4245 312 324 0 3941 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19488 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4840 /proc/meminfo: memFree=1676736/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=32392 CPUtime=3.09 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 7694 0 0 0 305 4 0 0 25 0 1 0 116658008 33169408 7471 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134547878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 8098 7471 312 324 0 7167 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32392 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4840 /proc/meminfo: memFree=1653760/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=54748 CPUtime=6.29 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 13286 0 0 0 622 7 0 0 25 0 1 0 116658008 56061952 13063 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 13687 13063 312 324 0 12756 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54748 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4840 /proc/meminfo: memFree=1611976/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=93248 CPUtime=12.68 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 22915 0 0 0 1256 12 0 0 25 0 1 0 116658008 95485952 22692 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 23312 22692 312 324 0 22381 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 93248 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4840 /proc/meminfo: memFree=1542792/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=161048 CPUtime=25.49 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 39845 0 0 0 2527 22 0 0 25 0 1 0 116658008 164913152 39622 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 40262 39622 312 324 0 39331 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 161048 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=1421440/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=282988 CPUtime=51.07 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 70335 0 0 0 5072 35 0 0 25 0 1 0 116658008 289779712 70112 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 70747 70112 312 324 0 69816 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 282988 [startup+102.306 s] /proc/loadavg: 1.05 1.01 1.00 2/79 4842 /proc/meminfo: memFree=1250824/2055920 swapFree=4056324/4192956 [pid=4839] ppid=4837 vsize=450560 CPUtime=102.25 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 112241 0 0 0 10166 59 0 0 25 0 1 0 116658008 461373440 112018 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 112640 112018 312 324 0 111709 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 450560 [startup+162.302 s] /proc/loadavg: 1.02 1.01 1.00 2/79 4842 /proc/meminfo: memFree=1114504/2055920 swapFree=4056388/4192956 [pid=4839] ppid=4837 vsize=586948 CPUtime=162.23 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 146328 0 0 0 16141 82 0 0 25 0 1 0 116658008 601034752 146105 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 146737 146105 313 324 0 145806 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 586948 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=1094408/2055920 swapFree=4056388/4192956 [pid=4839] ppid=4837 vsize=606332 CPUtime=222.2 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 151292 0 0 0 22134 86 0 0 25 0 1 0 116658008 620883968 150957 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 151583 150957 313 324 0 150652 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 606332 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=1094408/2055920 swapFree=4056452/4192956 [pid=4839] ppid=4837 vsize=606332 CPUtime=282.18 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 151302 0 0 0 28121 97 0 0 25 0 1 0 116658008 620883968 150967 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 151583 150967 313 324 0 150652 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 606332 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=1094408/2055920 swapFree=4056452/4192956 [pid=4839] ppid=4837 vsize=606332 CPUtime=342.16 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 151302 0 0 0 34114 102 0 0 25 0 1 0 116658008 620883968 150967 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 151583 150967 313 324 0 150652 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 606332 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=949064/2055920 swapFree=4056452/4192956 [pid=4839] ppid=4837 vsize=754800 CPUtime=402.14 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 188397 0 0 0 40085 129 0 0 25 0 1 0 116658008 772915200 188062 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 188700 188062 313 324 0 187769 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 754800 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=756680/2055920 swapFree=4056520/4192956 [pid=4839] ppid=4837 vsize=944708 CPUtime=462.11 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 235866 0 0 0 46051 160 0 0 25 0 1 0 116658008 967380992 235531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 236177 235531 313 324 0 235246 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 944708 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=534472/2055920 swapFree=4056520/4192956 [pid=4839] ppid=4837 vsize=1167324 CPUtime=522.09 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 291535 0 0 0 52015 194 0 0 25 0 1 0 116658008 1195339776 291200 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 291831 291200 313 324 0 290900 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1167324 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=376264/2055920 swapFree=4056584/4192956 [pid=4839] ppid=4837 vsize=1323712 CPUtime=582.07 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 330635 0 0 0 57988 219 0 0 25 0 1 0 116658008 1355481088 330300 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 330928 330300 313 324 0 329997 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1323712 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=273224/2055920 swapFree=4056584/4192956 [pid=4839] ppid=4837 vsize=1426132 CPUtime=642.06 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 356225 0 0 0 63969 237 0 0 25 0 1 0 116658008 1460359168 355890 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 356533 355890 313 324 0 355602 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1426132 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=117128/2055920 swapFree=4056584/4192956 [pid=4839] ppid=4837 vsize=1584580 CPUtime=702.03 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 395851 0 0 0 69940 263 0 0 25 0 1 0 116658008 1622609920 395516 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 396145 395516 313 324 0 395214 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1584580 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=16072/2055920 swapFree=4056656/4192956 [pid=4839] ppid=4837 vsize=1748524 CPUtime=762 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 436844 0 0 0 75912 288 0 0 25 0 1 0 116658008 1790488576 436509 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 437131 436509 313 324 0 436200 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 1748524 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+804.107 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=15880/2055920 swapFree=4056656/4192956 [pid=4839] ppid=4837 vsize=1843220 CPUtime=803.8 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194304 460503 0 0 0 80073 307 0 0 25 0 1 0 116658008 1887457280 460168 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4839/statm: 460805 460168 313 324 0 459874 0 Current children cumulated CPU time (s) 803.8 Current children cumulated vsize (KiB) 1843220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+804.207 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=15880/2055920 swapFree=4056656/4192956 [pid=4839] ppid=4837 vsize=0 CPUtime=803.9 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194308 460504 0 0 0 80074 316 0 0 25 0 1 0 116658008 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/4839/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 803.9 Current children cumulated vsize (KiB) 0 [startup+804.303 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4842 /proc/meminfo: memFree=15880/2055920 swapFree=4056656/4192956 [pid=4839] ppid=4837 vsize=0 CPUtime=803.99 /proc/4839/stat : 4839 (bsolo3.0.16) R 4837 4839 3537 0 -1 4194308 460504 0 0 0 80074 325 0 0 25 0 1 0 116658008 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/4839/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 803.99 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 804.388 CPU time (s): 804.084 CPU user time (s): 800.742 CPU system time (s): 3.34149 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 800.742 system time used= 3.34149 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460504 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 1898 runsolver used 0.819875 second user time and 2.12768 second system time The end
Begin job on node37 on Mon Apr 16 01:37:36 UTC 2007 IDJOB= 353870 IDBENCH= 2282 IDSOLVER= 163 FILE ID= node37/353870-1176687455 PBS_JOBID= 4559960 Free space on /tmp= 66482 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353870-1176687455/instance-353870-1176687455.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-353870-1176687455 -o ROOT/results/node37/solver-353870-1176687455 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353870-1176687455/instance-353870-1176687455.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f RANDOM SEED= 351335443 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.281 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.281 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: 1699104 kB Buffers: 35092 kB Cached: 230152 kB SwapCached: 2744 kB Active: 182212 kB Inactive: 109388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1699104 kB SwapTotal: 4192956 kB SwapFree: 4056324 kB Dirty: 4796 kB Writeback: 0 kB Mapped: 33820 kB Slab: 50568 kB Committed_AS: 1132008 kB PageTables: 2000 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66482 MiB End job on node37 on Mon Apr 16 01:51:02 UTC 2007