Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | -10255 | 1800.03 | 1699.48 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
| MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10270 |
| Best CPU time to get the best result obtained on this benchmark | 26.399 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -10270 |
| Optimality of the best value was proved | YES |
| Number of variables | 12596 |
| Total number of constraints | 10687 |
| Number of constraints which are clauses | 4 |
| Number of constraints which are cardinality constraints (but not clauses) | 5680 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 714 |
| Biggest coefficient in the objective function | 559 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 66891 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1117 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 66891 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.2.v20120418 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 501472288 0.04/0.09 c Max memory 7480803328 0.04/0.09 c Total memory 504102912 0.04/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687560-1337871950.opb 0.09/0.12 c reading problem ... 1.68/1.09 c ... done. Wall clock time 0.964s. 1.68/1.09 c declared #vars 12596 1.68/1.09 c #constraints 15189 1.68/1.09 c constraints type 1.68/1.09 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2172 1.68/1.09 c org.sat4j.minisat.constraints.card.MinWatchCard => 12361 1.68/1.09 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1.68/1.09 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 652 1.68/1.09 c 15189 constraints processed. 1.68/1.09 c constraints type 1.68/1.09 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 1.68/1.09 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2172 1.68/1.09 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12361 1.68/1.09 c org.sat4j.pb.constraints.pb.MaxWatchPb => 652 1.68/1.09 c 15189 constraints processed. 1.68/1.09 c objective function length is 714 literals 3.37/1.51 c And the winner is solver0 3.37/1.59 c SATISFIABLE 3.37/1.59 c OPTIMIZING... 3.37/1.59 c Got one! Elapsed wall clock time (in seconds):1.473 3.37/1.60 o -8116 4.41/1.80 c And the winner is solver0 4.67/2.10 c Got one! Elapsed wall clock time (in seconds):1.978 4.67/2.10 o -8810 4.96/2.22 c And the winner is solver0 5.03/2.60 c Got one! Elapsed wall clock time (in seconds):2.481 5.03/2.60 o -8814 5.03/2.64 c And the winner is solver0 5.15/3.11 c Got one! Elapsed wall clock time (in seconds):2.984 5.15/3.11 o -8981 5.52/3.22 c And the winner is solver0 5.63/3.61 c Got one! Elapsed wall clock time (in seconds):3.486 5.63/3.61 o -8985 5.63/3.64 c And the winner is solver0 5.71/4.11 c Got one! Elapsed wall clock time (in seconds):3.989 5.71/4.11 o -9266 5.71/4.14 c And the winner is solver0 5.81/4.61 c Got one! Elapsed wall clock time (in seconds):4.491 5.81/4.61 o -9380 8.38/5.94 c And the winner is solver0 8.48/6.11 c Got one! Elapsed wall clock time (in seconds):5.993 8.48/6.11 o -9381 8.48/6.14 c And the winner is solver0 8.53/6.62 c Got one! Elapsed wall clock time (in seconds):6.495 8.53/6.62 o -9625 9.09/6.95 c cleaning 3921 clauses out of 7857 with flag 1000/7859 9.51/7.15 c And the winner is solver0 9.63/7.62 c Got one! Elapsed wall clock time (in seconds):7.498 9.63/7.62 o -9626 9.78/7.74 c And the winner is solver0 9.88/8.12 c Got one! Elapsed wall clock time (in seconds):8.0 9.88/8.12 o -9630 9.88/8.14 c And the winner is solver0 9.92/8.62 c Got one! Elapsed wall clock time (in seconds):8.502 9.92/8.62 o -9675 9.92/8.65 c And the winner is solver0 9.99/9.13 c Got one! Elapsed wall clock time (in seconds):9.004 9.99/9.13 o -9691 9.99/9.14 c And the winner is solver0 10.03/9.63 c Got one! Elapsed wall clock time (in seconds):9.507 10.03/9.63 o -9695 10.38/9.84 c And the winner is solver0 10.47/10.13 c Got one! Elapsed wall clock time (in seconds):10.009 10.47/10.13 o -9696 10.67/10.30 c And the winner is solver0 10.90/10.63 c Got one! Elapsed wall clock time (in seconds):10.511 10.90/10.63 o -9701 10.90/10.66 c And the winner is solver0 11.01/11.13 c Got one! Elapsed wall clock time (in seconds):11.013 11.01/11.13 o -9715 11.01/11.15 c And the winner is solver0 11.05/11.64 c Got one! Elapsed wall clock time (in seconds):11.514 11.05/11.64 o -9765 11.78/12.01 c And the winner is solver0 11.80/12.14 c Got one! Elapsed wall clock time (in seconds):12.016 11.80/12.14 o -9770 12.31/12.47 c And the winner is solver0 12.47/12.64 c Got one! Elapsed wall clock time (in seconds):12.518 12.47/12.64 o -9772 12.58/12.72 c And the winner is solver0 12.65/13.14 c Got one! Elapsed wall clock time (in seconds):13.019 12.65/13.14 o -9775 12.65/13.15 c And the winner is solver0 12.70/13.64 c Got one! Elapsed wall clock time (in seconds):13.521 12.70/13.64 o -9800 13.81/14.27 c cleaning 5955 clauses out of 11910 with flag 3000/15833 14.56/14.62 c And the winner is solver0 14.56/14.64 c Got one! Elapsed wall clock time (in seconds):14.523 14.56/14.64 o -9815 14.71/14.70 c And the winner is solver0 14.76/15.15 c Got one! Elapsed wall clock time (in seconds):15.025 14.76/15.15 o -9816 14.85/15.27 c And the winner is solver0 15.03/15.65 c Got one! Elapsed wall clock time (in seconds):15.527 15.03/15.65 o -9818 15.52/15.99 c And the winner is solver0 15.74/16.15 c Got one! Elapsed wall clock time (in seconds):16.028 15.74/16.15 o -9820 17.23/16.93 c cleaning 6052 clauses out of 12133 with flag 3000/22011 17.64/17.13 c And the winner is solver0 17.64/17.15 c Got one! Elapsed wall clock time (in seconds):17.03 17.64/17.15 o -9821 18.62/17.63 c And the winner is solver0 18.62/17.65 c Got one! Elapsed wall clock time (in seconds):17.532 18.62/17.65 o -9825 19.59/18.17 c And the winner is solver0 19.76/18.66 c Got one! Elapsed wall clock time (in seconds):18.534 19.76/18.66 o -9826 19.85/18.73 c And the winner is solver0 19.94/19.16 c Got one! Elapsed wall clock time (in seconds):19.036 19.94/19.16 o -9835 19.94/19.17 c And the winner is solver0 20.00/19.66 c Got one! Elapsed wall clock time (in seconds):19.538 20.00/19.66 o -9845 21.07/20.20 c And the winner is solver0 21.10/20.66 c Got one! Elapsed wall clock time (in seconds):20.54 21.10/20.66 o -9851 21.38/20.80 c And the winner is solver0 21.40/21.16 c Got one! Elapsed wall clock time (in seconds):21.041 21.40/21.16 o -9855 21.87/21.45 c cleaning 6963 clauses out of 13966 with flag 1001/29896 24.18/22.69 c And the winner is solver0 24.39/23.17 c Got one! Elapsed wall clock time (in seconds):23.044 24.39/23.17 o -9860 24.86/23.48 c cleaning 6348 clauses out of 12741 with flag 1001/35634 27.96/25.04 c cleaning 6187 clauses out of 12391 with flag 7001/41634 30.88/26.50 c cleaning 6582 clauses out of 13202 with flag 14000/48633 34.37/28.37 c cleaning 7293 clauses out of 14620 with flag 22000/56633 38.40/30.48 c cleaning 8136 clauses out of 16326 with flag 31000/65633 43.29/32.97 c cleaning 9058 clauses out of 18190 with flag 41000/75633 48.56/35.66 c cleaning 10044 clauses out of 20132 with flag 52000/86633 54.26/38.57 c cleaning 11022 clauses out of 22090 with flag 64002/98635 60.66/41.88 c cleaning 11995 clauses out of 24067 with flag 77001/111634 64.11/43.60 c And the winner is solver0 64.04/43.82 c Got one! Elapsed wall clock time (in seconds):43.696 64.04/43.82 o -9862 64.21/43.99 c And the winner is solver0 64.41/44.32 c Got one! Elapsed wall clock time (in seconds):44.198 64.41/44.32 o -9870 64.96/44.60 c And the winner is solver0 64.99/44.82 c Got one! Elapsed wall clock time (in seconds):44.7 64.99/44.82 o -9876 65.74/45.22 c And the winner is solver0 65.81/45.32 c Got one! Elapsed wall clock time (in seconds):45.202 65.81/45.32 o -9880 67.15/46.10 c cleaning 12299 clauses out of 24630 with flag 3003/124192 67.61/46.31 c And the winner is solver0 67.61/46.33 c Got one! Elapsed wall clock time (in seconds):46.204 67.61/46.33 o -9895 68.59/46.81 c And the winner is solver0 68.59/46.88 c Got one! Elapsed wall clock time (in seconds):46.756 68.59/46.88 o -9901 69.50/47.38 c And the winner is solver0 69.67/47.43 c Got one! Elapsed wall clock time (in seconds):47.309 69.67/47.43 o -9905 70.60/47.95 c And the winner is solver0 70.75/48.43 c Got one! Elapsed wall clock time (in seconds):48.311 70.75/48.43 o -9910 71.27/48.75 c cleaning 9691 clauses out of 19485 with flag 1000/131346 74.31/50.37 c cleaning 7863 clauses out of 15792 with flag 7000/137346 78.26/52.43 c cleaning 7443 clauses out of 14929 with flag 14000/144346 82.09/54.46 c And the winner is solver0 82.23/54.64 c Got one! Elapsed wall clock time (in seconds):54.515 82.23/54.64 o -9915 83.95/55.59 c And the winner is solver0 84.15/55.64 c Got one! Elapsed wall clock time (in seconds):55.518 84.15/55.64 o -9930 84.15/55.66 c And the winner is solver0 84.24/56.14 c Got one! Elapsed wall clock time (in seconds):56.02 84.24/56.14 o -10020 84.24/56.16 c And the winner is solver0 84.28/56.64 c Got one! Elapsed wall clock time (in seconds):56.522 84.28/56.64 o -10130 84.38/56.73 c And the winner is solver0 84.49/57.15 c Got one! Elapsed wall clock time (in seconds):57.024 84.49/57.15 o -10136 84.49/57.16 c And the winner is solver0 84.51/57.65 c Got one! Elapsed wall clock time (in seconds):57.526 84.51/57.65 o -10175 85.00/57.92 c cleaning 10431 clauses out of 20876 with flag 1000/157736 86.44/58.73 c And the winner is solver0 86.54/59.15 c Got one! Elapsed wall clock time (in seconds):59.028 86.54/59.15 o -10176 87.83/59.81 c cleaning 7874 clauses out of 15867 with flag 3000/163158 90.46/61.27 c And the winner is solver0 90.63/61.65 c Got one! Elapsed wall clock time (in seconds):61.531 90.63/61.65 o -10185 91.12/61.97 c cleaning 6751 clauses out of 13671 with flag 1000/168836 92.01/62.52 c And the winner is solver0 92.11/62.80 c Got one! Elapsed wall clock time (in seconds):62.679 92.11/62.80 o -10220 94.11/63.85 c cleaning 6428 clauses out of 12908 with flag 5000/174824 96.71/65.28 c And the winner is solver0 96.89/65.35 c Got one! Elapsed wall clock time (in seconds):65.231 96.89/65.35 o -10221 99.18/66.53 c cleaning 8674 clauses out of 17371 with flag 5000/185715 99.77/66.90 c And the winner is solver0 99.83/67.36 c Got one! Elapsed wall clock time (in seconds):67.234 99.83/67.36 o -10225 101.90/68.48 c cleaning 7056 clauses out of 14202 with flag 5000/191220 105.08/70.18 c cleaning 6544 clauses out of 13147 with flag 11001/197221 108.55/72.06 c cleaning 6788 clauses out of 13603 with flag 18001/204221 112.52/74.17 c cleaning 7393 clauses out of 14814 with flag 26000/212220 117.11/76.55 c cleaning 8195 clauses out of 16423 with flag 35002/221222 118.08/77.11 c And the winner is solver0 118.10/77.54 c Got one! Elapsed wall clock time (in seconds):77.421 118.10/77.54 o -10230 119.21/78.19 c And the winner is solver0 119.41/78.55 c Got one! Elapsed wall clock time (in seconds):78.423 119.41/78.55 o -10246 120.31/79.02 c cleaning 6975 clauses out of 14050 with flag 2005/227044 123.34/80.77 c cleaning 6500 clauses out of 13072 with flag 8002/233041 124.09/81.21 c And the winner is solver0 124.15/81.54 c Got one! Elapsed wall clock time (in seconds):81.413 124.15/81.54 o -10250 126.27/82.63 c cleaning 6163 clauses out of 12370 with flag 5001/238839 129.03/84.13 c cleaning 6086 clauses out of 12208 with flag 11002/244840 131.98/85.75 c cleaning 6549 clauses out of 13120 with flag 18000/251838 135.77/87.89 c cleaning 7247 clauses out of 14570 with flag 26000/259838 139.70/89.95 c cleaning 8149 clauses out of 16323 with flag 35001/268839 144.07/92.21 c cleaning 9084 clauses out of 18174 with flag 45001/278839 149.21/94.93 c cleaning 10010 clauses out of 20090 with flag 56001/289839 155.20/98.11 c cleaning 11015 clauses out of 22079 with flag 68000/301838 161.73/101.54 c cleaning 12008 clauses out of 24064 with flag 81001/314839 168.85/105.21 c cleaning 13012 clauses out of 26055 with flag 95001/328839 176.57/109.20 c And the winner is solver0 176.51/109.51 c Got one! Elapsed wall clock time (in seconds):109.39 176.51/109.51 o -10251 177.29/109.95 c And the winner is solver0 177.43/110.01 c Got one! Elapsed wall clock time (in seconds):109.892 177.43/110.01 o -10255 177.43/110.03 c And the winner is solver0 480.81/409.94 c cleaning 0 clauses out of 7759 with flag 0/7794 1211.44/1124.73 c cleaning 0 clauses out of 13759 with flag 0/13794 1799.90/1699.42 c starts : 192 1799.90/1699.42 c conflicts : 345146 1799.90/1699.42 c decisions : 800066 1799.90/1699.42 c propagations : 125250843 1799.90/1699.42 c inspects : 322804859 1799.90/1699.42 c shortcuts : 0 1799.90/1699.42 c learnt literals : 12 1799.90/1699.42 c learnt binary clauses : 379 1799.90/1699.42 c learnt ternary clauses : 631 1799.90/1699.42 c learnt constraints : 345134 1799.90/1699.42 c ignored constraints : 0 1799.90/1699.42 c root simplifications : 0 1799.90/1699.42 c removed literals (reason simplification) : 2570853 1799.90/1699.42 c reason swapping (by a shorter reason) : 0 1799.90/1699.42 c Calls to reduceDB : 39 1799.90/1699.42 c number of reductions to clauses (during analyze) : 0 1799.90/1699.42 c number of learned constraints concerned by reduction : 0 1799.90/1699.42 c number of learning phase by resolution : 0 1799.90/1699.42 c number of learning phase by cutting planes : 0 1799.90/1699.42 c speed (assignments/second) : 73750.45663149044 1799.90/1699.42 c non guided choices 44607 1799.90/1699.43 c learnt constraints type 1799.90/1699.43 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 379 1799.90/1699.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28971 1799.90/1699.43 c constraints type 1799.90/1699.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2172 1799.90/1699.43 c org.sat4j.minisat.constraints.card.MinWatchCard => 12361 1799.90/1699.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1799.90/1699.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 653 1799.90/1699.43 c 15190 constraints processed. 1799.90/1699.43 c constraints type 1799.90/1699.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 1799.90/1699.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2172 1799.90/1699.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12361 1799.90/1699.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 653 1799.90/1699.43 c 15190 constraints processed. 1799.90/1699.43 s SATISFIABLE 1799.90/1699.44 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 x1973 x1974 x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 x1982 x1983 x1984 -x1985 -x1986 x1987 x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 x3111 x3112 x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 x3127 x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 x3191 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 x3389 -x3390 x3391 x3392 x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 x3407 x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 -x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 x3453 -x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 x3486 -x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 x3515 x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 x3602 x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 x3718 -x3719 -x3720 x3721 x3722 x3723 -x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 x3736 x3737 x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 x3765 -x3766 x3767 -x3768 x3769 x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800 x3801 x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 x3813 -x3814 x3815 -x3816 x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 x3856 x3857 x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 x3886 -x3887 -x3888 -x3889 x3890 -x3891 x3892 x3893 -x3894 -x3895 -x3896 x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 x3957 -x3958 -x3959 x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 x3975 -x3976 x3977 -x3978 x3979 x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 x4007 x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 x4037 -x4038 x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 x4053 -x4054 x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 x4069 -x4070 x4071 x4072 x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 x4083 x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 x4099 -x4100 x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 x4112 -x4113 x4114 x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 x4162 x4163 x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 x4177 x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 x4192 x4193 -x4194 x4195 x4196 -x4197 -x4198 x4199 -x4200 -x4201 x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 x4297 -x4298 x4299 x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 -x4307 x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 x4492 -x4493 x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 x4609 x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 x4640 -x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 x5239 -x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 x6088 -x6089 -x6090 x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6106 -x6107 -x6108 -x6109 -x6110 x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 x6137 -x6138 -x6139 x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 x6758 -x6759 x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 x6823 x6824 x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 -x6899 x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 x6916 -x6917 x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 x6933 -x6934 -x6935 x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 x6951 -x6952 x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 x7452 -x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 x7666 x7667 -x7668 -x7669 -x7670 x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 x7680 -x7681 -x7682 -x7683 x7684 -x7685 -x7686 -x7687 x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7696 x7697 -x7698 -x7699 -x7700 -x7701 x7702 -x7703 -x7704 -x7705 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 x7740 -x7741 -x7742 -x7743 -x7744 -x7745 x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 x7757 -x7758 -x7759 -x7760 -x7761 x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 x7773 -x7774 -x7775 -x7776 x7777 -x7778 -x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 x7799 -x7800 -x7801 -x7802 x7803 -x7804 -x7805 -x7806 -x7807 x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 x8119 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 x8240 -x8241 x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 x9333 x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 -x9523 x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 x9644 x9645 -x9646 -x9647 -x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 x9655 -x9656 -x9657 -x9658 -x9659 x9660 -x9661 -x9662 x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 x9914 -x9915 -x9916 -x9917 x9918 -x9919 x9920 -x9921 -x9922 -x9923 -x9924 x9925 -x9926 -x9927 -x9928 -x9929 -x9930 x9931 -x9932 -x9933 -x9934 -x9935 -x9936 x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 x10094 -x10095 -x10096 x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 x10174 x10175 x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 x10950 -x10951 -x10952 x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 x11943 -x11944 x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 x12319 x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 1799.90/1699.45 c objective function=-10255 1799.90/1699.45 c Total wall clock time (in seconds): 1699.33
OK -10255
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687560-1337871950/watcher-3687560-1337871950 -o /tmp/evaluation-result-3687560-1337871950/solver-3687560-1337871950 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687560-1337871950.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 0.55 0.19 4/197 24879 /proc/meminfo: memFree=27989932/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/24879/stat : 24879 (java) D 24877 24879 24394 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253319558 9515008 175 33554432000 1073741824 1073778376 140734973041776 140734973024504 248790205328 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2323 175 133 9 0 71 0 [startup+0.070288 s] /proc/loadavg: 2.06 0.55 0.19 4/197 24879 /proc/meminfo: memFree=27989932/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9558412 CPUtime=0.04 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 3243 0 1 0 3 1 0 0 20 0 18 0 253319558 9787813888 3941 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2389603 3941 1757 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558412 [startup+0.100257 s] /proc/loadavg: 2.06 0.55 0.19 4/197 24879 /proc/meminfo: memFree=27989932/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 4328 0 1 0 8 1 0 0 20 0 18 0 253319558 9787813888 5019 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2389603 5019 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300226 s] /proc/loadavg: 2.06 0.55 0.19 4/197 24879 /proc/meminfo: memFree=27989932/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9558412 CPUtime=0.5 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 8069 0 1 0 46 4 0 0 20 0 18 0 253319558 9787813888 21198 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2389603 21199 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.703627 s] /proc/loadavg: 2.06 0.55 0.19 4/197 24879 /proc/meminfo: memFree=27989932/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9558412 CPUtime=1.3 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 9233 0 1 0 116 14 0 0 20 0 18 0 253319558 9787813888 139758 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2389603 139758 2248 9 0 2380296 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 9558412 [startup+1.50061 s] /proc/loadavg: 2.14 0.59 0.20 4/215 24897 /proc/meminfo: memFree=27412108/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9824668 CPUtime=3.37 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 20334 0 1 0 315 22 0 0 20 0 22 0 253319558 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2456167 219636 2267 9 0 2446860 0 [pid=24879/tid=24881] ppid=24877 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/24879/task/24881/stat : 24881 (java) S 24877 24879 24394 0 -1 4202560 2884 0 1 0 86 14 0 0 20 0 22 0 253319559 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461673702392 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 117 0 0 0 1 0 0 0 20 0 22 0 253319561 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 22 0 253319562 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253319562 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253319562 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319565 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=0.74 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) R 24877 24879 24394 0 -1 4202560 8759 0 0 0 72 2 0 0 20 0 22 0 253319565 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461493573776 140461680507000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) R 24877 24879 24394 0 -1 4202560 6493 0 0 0 62 1 0 0 20 0 22 0 253319565 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461492521224 140461675848961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319565 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319565 10060460032 219636 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.37 Current children cumulated vsize (KiB) 9824668 [startup+3.10071 s] /proc/loadavg: 2.14 0.59 0.20 3/216 24904 /proc/meminfo: memFree=27084296/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9824668 CPUtime=5.15 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 26564 0 1 0 485 30 0 0 20 0 19 0 253319558 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2456167 241835 2275 9 0 2446860 0 [pid=24879/tid=24881] ppid=24877 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/24879/task/24881/stat : 24881 (java) S 24877 24879 24394 0 -1 4202560 2884 0 1 0 88 14 0 0 20 0 19 0 253319559 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461673702392 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 117 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 436 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=1.23 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) S 24877 24879 24394 0 -1 4202560 11540 0 0 0 121 2 0 0 20 0 19 0 253319565 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461493586488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) S 24877 24879 24394 0 -1 4202560 9877 0 0 0 112 1 0 0 20 0 19 0 253319565 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461492533944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24900] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24900/stat : 24900 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319670 10060460032 241835 33554432000 1073741824 1073778376 140737127481808 140461487268904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 5.15 Current children cumulated vsize (KiB) 9824668 [startup+6.30077 s] /proc/loadavg: 2.14 0.59 0.20 5/219 24922 /proc/meminfo: memFree=27029488/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9824668 CPUtime=8.53 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 27596 0 1 0 811 42 0 0 20 0 19 0 253319558 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2456167 245906 2276 9 0 2446860 0 [pid=24879/tid=24881] ppid=24877 vsize=9824668 CPUtime=1.03 cores=0,2,4,6 /proc/24879/task/24881/stat : 24881 (java) S 24877 24879 24394 0 -1 4202560 2886 0 1 0 89 14 0 0 20 0 19 0 253319559 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461673702392 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 139 0 0 0 2 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 119 0 0 0 1 0 0 0 20 0 19 0 253319561 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 940 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319562 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=1.37 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) S 24877 24879 24394 0 -1 4202560 11555 0 0 0 135 2 0 0 20 0 19 0 253319565 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461493586488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) S 24877 24879 24394 0 -1 4202560 10278 0 0 0 126 2 0 0 20 0 19 0 253319565 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461492533944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319565 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24900] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24900/stat : 24900 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319670 10060460032 245906 33554432000 1073741824 1073778376 140737127481808 140461487268904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 8.53 Current children cumulated vsize (KiB) 9824668 [startup+12.7007 s] /proc/loadavg: 2.11 0.64 0.22 5/219 24955 /proc/meminfo: memFree=27016440/32873844 swapFree=6080/6080 ################ # More data... # ################ [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=5.19 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 862 0 0 0 503 16 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=5.17 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 621 0 0 0 498 19 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=5.35 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 583 0 0 0 521 14 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=5.45 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 524 0 0 0 529 16 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=5.07 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 529 0 0 0 491 16 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=5.08 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 539 0 0 0 494 14 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=5.31 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 662 0 0 0 515 16 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=5.35 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 822 0 0 0 515 20 0 0 20 0 21 0 253319561 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=19 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 4085 0 0 0 1890 10 0 0 20 0 21 0 253319562 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) S 24877 24879 24394 0 -1 4202560 11559 0 0 0 147 2 0 0 20 0 21 0 253319565 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461493586488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=1.77 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) S 24877 24879 24394 0 -1 4202560 13344 0 0 0 175 2 0 0 20 0 21 0 253319565 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461492533944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0.58 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 93 0 0 0 27 31 0 0 20 0 21 0 253319565 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24900] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24900/stat : 24900 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 253319670 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461487268904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=25074] ppid=24877 vsize=9824668 CPUtime=1467 cores=0,2,4,6 /proc/24879/task/25074/stat : 25074 (java) R 24877 24879 24394 0 -1 4202560 1323 0 0 0 146649 51 0 0 20 0 21 0 253330560 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461486214176 140461546185802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=25075] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/25075/stat : 25075 (java) S 24877 24879 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253330562 10060460032 1046158 33554432000 1073741824 1073778376 140737127481808 140461489374120 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1700.28 Current children cumulated vsize (KiB) 9824668 [startup+1662.3 s] /proc/loadavg: 3.34 3.00 2.50 4/218 25157 /proc/meminfo: memFree=21902928/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9824668 CPUtime=1761.97 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 40605 0 1 0 175842 355 0 0 20 0 21 0 253319558 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2456167 1053421 2289 9 0 2446860 0 [pid=24879/tid=24881] ppid=24877 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/24879/task/24881/stat : 24881 (java) S 24877 24879 24394 0 -1 4202560 2977 0 1 0 140 38 0 0 20 0 21 0 253319559 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461673702520 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=5.39 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 880 0 0 0 523 16 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=5.48 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 637 0 0 0 529 19 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=5.59 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 602 0 0 0 545 14 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=5.82 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 534 0 0 0 566 16 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=5.37 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 543 0 0 0 521 16 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=5.41 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 550 0 0 0 527 14 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=5.51 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 677 0 0 0 535 16 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=5.68 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 833 0 0 0 548 20 0 0 20 0 21 0 253319561 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=19 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 4093 0 0 0 1890 10 0 0 20 0 21 0 253319562 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) S 24877 24879 24394 0 -1 4202560 11559 0 0 0 147 2 0 0 20 0 21 0 253319565 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461493586488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=1.77 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) S 24877 24879 24394 0 -1 4202560 13344 0 0 0 175 2 0 0 20 0 21 0 253319565 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461492533944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0.6 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 97 0 0 0 28 32 0 0 20 0 21 0 253319565 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24900] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24900/stat : 24900 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 253319670 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461487268904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=25074] ppid=24877 vsize=9824668 CPUtime=1526.23 cores=0,2,4,6 /proc/24879/task/25074/stat : 25074 (java) R 24877 24879 24394 0 -1 4202560 1328 0 0 0 152571 52 0 0 20 0 21 0 253330560 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461486214272 140461546507861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=25075] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/25075/stat : 25075 (java) S 24877 24879 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253330562 10060460032 1053421 33554432000 1073741824 1073778376 140737127481808 140461489374120 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1761.97 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1699.4 s] /proc/loadavg: 3.06 2.97 2.51 4/218 25157 /proc/meminfo: memFree=21873016/32873844 swapFree=6080/6080 [pid=24879] ppid=24877 vsize=9824668 CPUtime=1799.9 cores=0,2,4,6 /proc/24879/stat : 24879 (java) S 24877 24879 24394 0 -1 4202496 40906 0 1 0 179631 359 0 0 20 0 21 0 253319558 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140737127472944 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24879/statm: 2456167 1060846 2289 9 0 2446860 0 [pid=24879/tid=24881] ppid=24877 vsize=9824668 CPUtime=1.8 cores=0,2,4,6 /proc/24879/task/24881/stat : 24881 (java) S 24877 24879 24394 0 -1 4202560 2980 0 1 0 141 39 0 0 20 0 21 0 253319559 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461673702520 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24882] ppid=24877 vsize=9824668 CPUtime=5.48 cores=0,2,4,6 /proc/24879/task/24882/stat : 24882 (java) S 24877 24879 24394 0 -1 4202560 887 0 0 0 532 16 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461517363368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24883] ppid=24877 vsize=9824668 CPUtime=5.59 cores=0,2,4,6 /proc/24879/task/24883/stat : 24883 (java) S 24877 24879 24394 0 -1 4202560 711 0 0 0 540 19 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461516310824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24884] ppid=24877 vsize=9824668 CPUtime=5.85 cores=0,2,4,6 /proc/24879/task/24884/stat : 24884 (java) S 24877 24879 24394 0 -1 4202560 687 0 0 0 570 15 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461515258280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24885] ppid=24877 vsize=9824668 CPUtime=5.93 cores=0,2,4,6 /proc/24879/task/24885/stat : 24885 (java) S 24877 24879 24394 0 -1 4202560 541 0 0 0 577 16 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461514205736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24886] ppid=24877 vsize=9824668 CPUtime=5.51 cores=0,2,4,6 /proc/24879/task/24886/stat : 24886 (java) S 24877 24879 24394 0 -1 4202560 551 0 0 0 535 16 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461513153192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24887] ppid=24877 vsize=9824668 CPUtime=5.56 cores=0,2,4,6 /proc/24879/task/24887/stat : 24887 (java) S 24877 24879 24394 0 -1 4202560 577 0 0 0 541 15 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461512100648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24888] ppid=24877 vsize=9824668 CPUtime=5.62 cores=0,2,4,6 /proc/24879/task/24888/stat : 24888 (java) S 24877 24879 24394 0 -1 4202560 756 0 0 0 545 17 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461511048104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24889] ppid=24877 vsize=9824668 CPUtime=5.76 cores=0,2,4,6 /proc/24879/task/24889/stat : 24889 (java) S 24877 24879 24394 0 -1 4202560 842 0 0 0 556 20 0 0 20 0 21 0 253319561 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461509995560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24890] ppid=24877 vsize=9824668 CPUtime=19 cores=0,2,4,6 /proc/24879/task/24890/stat : 24890 (java) S 24877 24879 24394 0 -1 4202560 4093 0 0 0 1890 10 0 0 20 0 21 0 253319562 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461497796712 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24891] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24891/stat : 24891 (java) S 24877 24879 24394 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461496743032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24892] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24892/stat : 24892 (java) S 24877 24879 24394 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 21 0 253319562 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461495690376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24893] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24893/stat : 24893 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461494639120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24894] ppid=24877 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/24879/task/24894/stat : 24894 (java) S 24877 24879 24394 0 -1 4202560 11559 0 0 0 147 2 0 0 20 0 21 0 253319565 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461493586488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24879/tid=24895] ppid=24877 vsize=9824668 CPUtime=1.77 cores=0,2,4,6 /proc/24879/task/24895/stat : 24895 (java) S 24877 24879 24394 0 -1 4202560 13344 0 0 0 175 2 0 0 20 0 21 0 253319565 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461492533944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=24896] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24896/stat : 24896 (java) S 24877 24879 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253319565 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461491481592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24879/tid=24897] ppid=24877 vsize=9824668 CPUtime=0.62 cores=0,2,4,6 /proc/24879/task/24897/stat : 24897 (java) S 24877 24879 24394 0 -1 4202560 99 0 0 0 30 32 0 0 20 0 21 0 253319565 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461490429256 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24879/tid=24900] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/24900/stat : 24900 (java) S 24877 24879 24394 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 253319670 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461487268904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=25074] ppid=24877 vsize=9824668 CPUtime=1562.97 cores=0,2,4,6 /proc/24879/task/25074/stat : 25074 (java) R 24877 24879 24394 0 -1 4202560 1328 0 0 0 156245 52 0 0 20 0 21 0 253330560 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461486214272 140461546508188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24879/tid=25075] ppid=24877 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24879/task/25075/stat : 25075 (java) S 24877 24879 24394 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253330562 10060460032 1060846 33554432000 1073741824 1073778376 140737127481808 140461489374120 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.9 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24879 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=388515 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=31387 # CPU time returned by wait4() is 1796.42 # while last known CPU time is 1799.9 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.130013 # lost CPU user time (s): 0.170002 # lost CPU system time (s): -0.04 Real time (s): 1699.48 CPU time (s): 1800.03 CPU user time (s): 1796.48 CPU system time (s): 3.55 CPU usage (%): 105.916 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.39 system time used= 4.03139 maximum resident set size= 4243464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40930 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 75179 involuntary context switches= 59779 runsolver used 6.16106 second user time and 14.9327 second system time The end
Begin job on node139 at 2012-05-24 17:05:50 IDJOB=3687560 IDBENCH=1878 IDSOLVER=2268 FILE ID=node139/3687560-1337871950 RUNJOBID= node139-1337871881-24410 PBS_JOBID= 14620065 Free space on /tmp= 71684 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687560-1337871950/watcher-3687560-1337871950 -o /tmp/evaluation-result-3687560-1337871950/solver-3687560-1337871950 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687560-1337871950.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED=341595584 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27990204 kB Buffers: 213092 kB Cached: 2767448 kB SwapCached: 0 kB Active: 1584964 kB Inactive: 2502972 kB Active(anon): 1098620 kB Inactive(anon): 11120 kB Active(file): 486344 kB Inactive(file): 2491852 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2004 kB Writeback: 0 kB AnonPages: 1136004 kB Mapped: 22556 kB Shmem: 200 kB Slab: 652800 kB SReclaimable: 95272 kB SUnreclaim: 557528 kB KernelStack: 1808 kB PageTables: 6508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1524272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1081344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node139 at 2012-05-24 17:34:11