Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | OPT | 1016.12 | 545.652 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
| MD5SUM | b32f126aecba6bfb006545c8818dc00d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2252617 |
| Best CPU time to get the best result obtained on this benchmark | 504.786 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 68417929 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3962242471 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68417929 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3962242471 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3690048-1337887497.opb 0.08/0.12 c reading problem ... 1.34/0.66 c ... done. Wall clock time 0.544s. 1.34/0.66 c declared #vars 9765 1.34/0.66 c #constraints 21927 1.34/0.66 c constraints type 1.34/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.34/0.66 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.34/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.34/0.66 c ignored satisfied constraints => 4 1.34/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.34/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.34/0.66 c 21931 constraints processed. 1.34/0.66 c constraints type 1.34/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.34/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.34/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.34/0.66 c ignored satisfied constraints => 4 1.34/0.66 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.34/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.34/0.66 c 21931 constraints processed. 1.34/0.66 c objective function length is 4005 literals 2.44/0.96 c And the winner is solver0 2.97/1.17 c SATISFIABLE 2.97/1.17 c OPTIMIZING... 2.97/1.17 c Got one! Elapsed wall clock time (in seconds):1.053 2.97/1.17 o 5064045 3.48/1.33 c And the winner is solver0 3.71/1.69 c Got one! Elapsed wall clock time (in seconds):1.571 3.71/1.69 o 3099899 3.73/1.72 c And the winner is solver0 3.87/2.21 c Got one! Elapsed wall clock time (in seconds):2.086 3.87/2.21 o 2852459 3.87/2.23 c And the winner is solver0 3.95/2.72 c Got one! Elapsed wall clock time (in seconds):2.596 3.95/2.72 o 2831263 3.95/2.76 c And the winner is solver0 4.13/3.25 c Got one! Elapsed wall clock time (in seconds):3.135 4.13/3.25 o 2778680 4.13/3.30 c And the winner is solver0 4.40/3.76 c Got one! Elapsed wall clock time (in seconds):3.642 4.40/3.76 o 2746404 7.66/5.37 c cleaning 2661 clauses out of 5322 with flag 5000/5324 9.26/5.99 c And the winner is solver1 9.52/6.27 c Got one! Elapsed wall clock time (in seconds):6.151 9.52/6.27 o 2516420 11.89/7.46 c cleaning 4143 clauses out of 8288 with flag 4001/10957 15.30/9.16 c cleaning 5073 clauses out of 10146 with flag 10002/16958 18.86/10.97 c cleaning 6036 clauses out of 12071 with flag 17000/23956 22.99/13.04 c cleaning 7018 clauses out of 14035 with flag 25000/31956 27.56/15.40 c cleaning 7992 clauses out of 16018 with flag 34001/40957 33.49/18.37 c cleaning 9009 clauses out of 18025 with flag 44000/50956 39.42/21.35 c cleaning 10003 clauses out of 20017 with flag 55001/61957 46.04/24.71 c cleaning 10997 clauses out of 22013 with flag 67000/73956 53.10/28.32 c cleaning 12004 clauses out of 24016 with flag 80000/86956 60.15/31.90 c cleaning 13006 clauses out of 26012 with flag 94000/100956 68.39/36.14 c cleaning 13993 clauses out of 28006 with flag 109000/115956 76.93/40.55 c cleaning 15003 clauses out of 30013 with flag 125000/131956 86.57/45.40 c cleaning 15992 clauses out of 32010 with flag 142000/148956 96.39/50.43 c cleaning 16993 clauses out of 34018 with flag 160000/166956 107.00/55.87 c cleaning 18004 clauses out of 36025 with flag 179000/185956 118.88/61.95 c cleaning 19004 clauses out of 38024 with flag 199003/205959 130.05/67.63 c cleaning 19983 clauses out of 40020 with flag 220003/226959 142.21/73.81 c cleaning 20999 clauses out of 42034 with flag 242000/248956 154.98/80.32 c cleaning 22014 clauses out of 44036 with flag 265001/271957 168.78/87.47 c cleaning 23005 clauses out of 46021 with flag 289000/295956 183.13/94.80 c cleaning 23988 clauses out of 48020 with flag 314004/320960 198.49/102.50 c cleaning 25008 clauses out of 50029 with flag 340001/346957 213.86/110.36 c cleaning 26000 clauses out of 52020 with flag 367000/373956 230.99/119.16 c cleaning 27007 clauses out of 54020 with flag 395000/401956 248.76/128.15 c cleaning 27989 clauses out of 56013 with flag 424000/430956 268.27/138.10 c cleaning 29001 clauses out of 58024 with flag 454000/460956 289.23/148.66 c cleaning 30001 clauses out of 60023 with flag 485000/491956 309.30/159.00 c cleaning 31000 clauses out of 62023 with flag 517001/523957 329.42/169.13 c cleaning 31999 clauses out of 64023 with flag 550001/556957 352.53/180.85 c cleaning 33006 clauses out of 66025 with flag 584002/590958 375.15/192.39 c cleaning 33986 clauses out of 68017 with flag 619000/625956 398.85/204.54 c cleaning 35008 clauses out of 70031 with flag 655000/661956 425.36/217.97 c cleaning 36000 clauses out of 72023 with flag 692000/698956 453.92/232.75 c cleaning 36996 clauses out of 74024 with flag 730001/736957 482.94/247.62 c cleaning 38004 clauses out of 76027 with flag 769000/775956 500.35/256.55 c And the winner is solver0 499.43/256.74 c Got one! Elapsed wall clock time (in seconds):256.617 499.43/256.74 o 2490050 502.38/258.23 c cleaning 32447 clauses out of 64915 with flag 5000/802848 503.10/258.87 c And the winner is solver0 503.31/259.37 c Got one! Elapsed wall clock time (in seconds):259.248 503.31/259.37 o 2461592 504.30/259.89 c And the winner is solver0 504.59/260.38 c Got one! Elapsed wall clock time (in seconds):260.258 504.59/260.38 o 2435635 506.02/261.11 c cleaning 18789 clauses out of 37633 with flag 3000/808013 509.44/263.10 c cleaning 12400 clauses out of 24845 with flag 9001/814014 513.53/265.70 c cleaning 9691 clauses out of 19445 with flag 16001/821014 518.35/268.33 c cleaning 8859 clauses out of 17753 with flag 24000/829013 523.16/271.09 c cleaning 8933 clauses out of 17894 with flag 33000/838013 528.78/274.16 c cleaning 9458 clauses out of 18962 with flag 43001/848014 535.03/277.74 c cleaning 10233 clauses out of 20503 with flag 54000/859013 541.04/281.02 c cleaning 11114 clauses out of 22270 with flag 66000/871013 547.66/284.60 c cleaning 12066 clauses out of 24157 with flag 79001/884014 555.70/288.93 c cleaning 13041 clauses out of 26090 with flag 93000/898013 564.55/293.85 c cleaning 14003 clauses out of 28049 with flag 108000/913013 573.56/298.68 c cleaning 15015 clauses out of 30046 with flag 124000/929013 582.53/303.49 c cleaning 16012 clauses out of 32031 with flag 141000/946013 593.11/309.07 c cleaning 16985 clauses out of 34019 with flag 159000/964013 604.72/315.35 c cleaning 18017 clauses out of 36038 with flag 178004/983017 616.69/321.68 c cleaning 19001 clauses out of 38019 with flag 198002/1003015 628.44/327.87 c cleaning 20008 clauses out of 40017 with flag 219002/1024015 640.57/334.21 c cleaning 20989 clauses out of 42005 with flag 241000/1046013 654.73/341.83 c cleaning 22000 clauses out of 44016 with flag 264000/1069013 668.68/349.11 c cleaning 23005 clauses out of 46016 with flag 288000/1093013 684.08/357.13 c cleaning 24001 clauses out of 48011 with flag 313000/1118013 699.02/364.93 c cleaning 24996 clauses out of 50011 with flag 339001/1144014 715.51/373.78 c cleaning 25997 clauses out of 52013 with flag 366001/1171014 731.63/382.16 c cleaning 26980 clauses out of 54015 with flag 394000/1199013 735.29/384.39 c And the winner is solver0 735.44/384.67 c Got one! Elapsed wall clock time (in seconds):384.549 735.44/384.67 o 2416066 736.67/385.40 c And the winner is solver0 736.76/385.68 c Got one! Elapsed wall clock time (in seconds):385.558 736.76/385.68 o 2332894 738.82/386.78 c cleaning 19266 clauses out of 38544 with flag 3003/1210524 743.06/389.22 c cleaning 12616 clauses out of 25277 with flag 9002/1216523 747.84/392.28 c cleaning 9802 clauses out of 19661 with flag 16002/1223523 752.89/395.14 c cleaning 8886 clauses out of 17857 with flag 24000/1231521 758.13/398.12 c cleaning 8959 clauses out of 17973 with flag 33002/1240523 759.58/399.25 c And the winner is solver0 759.80/399.47 c Got one! Elapsed wall clock time (in seconds):399.353 759.80/399.47 o 2314483 761.51/400.38 c cleaning 7155 clauses out of 14339 with flag 4002/1245848 765.48/402.98 c cleaning 6558 clauses out of 13182 with flag 10000/1251846 769.51/405.32 c cleaning 6800 clauses out of 13624 with flag 17000/1258846 772.74/407.36 c And the winner is solver0 772.96/407.63 c Got one! Elapsed wall clock time (in seconds):407.509 772.96/407.63 o 2307919 775.30/408.85 c cleaning 8670 clauses out of 17370 with flag 5000/1269392 778.73/410.91 c cleaning 7337 clauses out of 14700 with flag 11000/1275392 782.91/413.64 c cleaning 7169 clauses out of 14363 with flag 18000/1282392 787.52/416.38 c cleaning 7584 clauses out of 15196 with flag 26002/1290394 792.98/419.44 c cleaning 8293 clauses out of 16611 with flag 35001/1299393 798.78/422.72 c cleaning 9150 clauses out of 18317 with flag 45000/1309392 806.36/427.17 c cleaning 10079 clauses out of 20168 with flag 56001/1320393 814.22/431.49 c cleaning 11038 clauses out of 22089 with flag 68001/1332393 822.03/435.76 c cleaning 12027 clauses out of 24053 with flag 81003/1345395 831.24/440.75 c cleaning 12995 clauses out of 26022 with flag 95000/1359392 841.30/446.48 c cleaning 14002 clauses out of 28027 with flag 110000/1374392 850.67/451.53 c cleaning 15010 clauses out of 30025 with flag 126000/1390392 861.45/457.31 c cleaning 15999 clauses out of 32016 with flag 143001/1407393 872.05/463.06 c cleaning 16993 clauses out of 34017 with flag 161001/1425393 883.50/469.41 c cleaning 17999 clauses out of 36025 with flag 180002/1444394 888.81/472.52 c And the winner is solver0 888.83/472.86 c Got one! Elapsed wall clock time (in seconds):472.735 888.83/472.86 o 2252617 891.35/474.11 c cleaning 15878 clauses out of 31787 with flag 5000/1458155 895.03/476.40 c cleaning 10945 clauses out of 21911 with flag 11002/1464157 898.73/478.78 c cleaning 8960 clauses out of 17965 with flag 18001/1471156 903.88/482.00 c cleaning 8473 clauses out of 17004 with flag 26000/1479155 909.21/485.14 c cleaning 8755 clauses out of 17533 with flag 35002/1488157 914.90/488.48 c cleaning 9386 clauses out of 18776 with flag 45000/1498155 922.20/492.54 c cleaning 10186 clauses out of 20392 with flag 56002/1509157 930.14/497.23 c cleaning 11099 clauses out of 22202 with flag 68000/1521155 937.83/501.59 c cleaning 12044 clauses out of 24103 with flag 81001/1534156 946.30/506.23 c cleaning 13025 clauses out of 26061 with flag 95003/1548158 955.60/511.30 c cleaning 14007 clauses out of 28033 with flag 110001/1563156 965.74/517.18 c cleaning 15010 clauses out of 30029 with flag 126004/1579159 975.60/522.55 c cleaning 16007 clauses out of 32015 with flag 143001/1596156 985.66/528.02 c cleaning 17001 clauses out of 34006 with flag 161002/1614157 995.90/533.69 c cleaning 17995 clauses out of 36002 with flag 180001/1633156 1007.83/540.40 c cleaning 18994 clauses out of 38004 with flag 200000/1653155 1012.46/543.19 c And the winner is solver0 1014.78/545.62 c starts : 246 1014.78/545.62 c conflicts : 1660922 1014.78/545.62 c decisions : 4431069 1014.78/545.62 c propagations : 588659790 1014.78/545.62 c inspects : 2260393173 1014.78/545.62 c shortcuts : 0 1014.78/545.62 c learnt literals : 41 1014.78/545.62 c learnt binary clauses : 208 1014.78/545.62 c learnt ternary clauses : 517 1014.78/545.62 c learnt constraints : 1660880 1014.78/545.63 c ignored constraints : 0 1014.78/545.63 c root simplifications : 0 1014.78/545.63 c removed literals (reason simplification) : 27268058 1014.78/545.63 c reason swapping (by a shorter reason) : 0 1014.78/545.63 c Calls to reduceDB : 100 1014.78/545.63 c number of reductions to clauses (during analyze) : 0 1014.78/545.63 c number of learned constraints concerned by reduction : 0 1014.78/545.63 c number of learning phase by resolution : 0 1014.78/545.63 c number of learning phase by cutting planes : 0 1014.78/545.63 c speed (assignments/second) : 1091446.733872388 1014.78/545.63 c non guided choices 3278 1014.78/545.63 c learnt constraints type 1014.78/545.63 c constraints type 1014.78/545.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1014.78/545.63 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1014.78/545.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1014.78/545.63 c ignored satisfied constraints => 4 1014.78/545.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1014.78/545.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1014.78/545.63 c 21931 constraints processed. 1014.78/545.63 c constraints type 1014.78/545.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1014.78/545.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1014.78/545.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1014.78/545.63 c ignored satisfied constraints => 4 1014.78/545.63 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1014.78/545.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1014.78/545.63 c 21931 constraints processed. 1014.78/545.63 s OPTIMUM FOUND 1014.78/545.63 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 1014.78/545.64 c objective function=2252617 1014.78/545.64 c Total wall clock time (in seconds): 545.519
OK 2252617
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-3690048-1337887497/watcher-3690048-1337887497 -o /tmp/evaluation-result-3690048-1337887497/solver-3690048-1337887497 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690048-1337887497.opb running on 4 cores: 1,3,5,7 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.79 3.00 3.35 3/195 28341 /proc/meminfo: memFree=25808108/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/28341/stat : 28341 (java) R 28339 28341 24080 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 254874052 9515008 175 33554432000 1073741824 1073778376 140733246822928 140733246805656 209883841424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28341/statm: 2323 175 133 9 0 71 0 [startup+0.0585211 s] /proc/loadavg: 2.79 3.00 3.35 3/195 28341 /proc/meminfo: memFree=25808108/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9225560 CPUtime=0.03 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 3073 0 1 0 2 1 0 0 20 0 13 0 254874052 9446973440 3772 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2306390 3772 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.100328 s] /proc/loadavg: 2.79 3.00 3.35 3/195 28341 /proc/meminfo: memFree=25808108/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 4277 0 1 0 7 1 0 0 20 0 18 0 254874052 9787813888 5477 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2389603 5477 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.30031 s] /proc/loadavg: 2.79 3.00 3.35 3/195 28341 /proc/meminfo: memFree=25808108/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9558412 CPUtime=0.51 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 5617 0 1 0 49 2 0 0 20 0 18 0 254874052 9787813888 9773 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2389603 9773 2227 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558412 [startup+0.700213 s] /proc/loadavg: 2.79 3.00 3.35 3/195 28341 /proc/meminfo: memFree=25808108/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9691540 CPUtime=1.64 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 16560 0 1 0 158 6 0 0 20 0 20 0 254874052 9924136960 32708 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2422885 32708 2249 9 0 2413578 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9691540 [startup+1.50082 s] /proc/loadavg: 2.79 3.00 3.35 4/214 28363 /proc/meminfo: memFree=25672032/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 19832 0 1 0 360 11 0 0 20 0 19 0 254874052 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 41098 2258 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=0.65 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) S 28339 28341 24080 0 -1 4202560 2499 0 1 0 62 3 0 0 20 0 19 0 254874053 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165835473912 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.1 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7918 0 0 0 108 2 0 0 20 0 19 0 254874058 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.01 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 8093 0 0 0 100 1 0 0 20 0 19 0 254874058 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28362] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28362/stat : 28362 (java) S 28339 28341 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254874123 10060460032 41098 33554432000 1073741824 1073778376 140734380789296 140164776039208 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 9824668 [startup+3.1007 s] /proc/loadavg: 2.79 3.00 3.35 2/214 28369 /proc/meminfo: memFree=25642724/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=4.13 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 19978 0 1 0 394 19 0 0 20 0 19 0 254874052 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 49378 2274 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=0.69 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) S 28339 28341 24080 0 -1 4202560 2505 0 1 0 65 4 0 0 20 0 19 0 254874053 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165835473912 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254874054 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.19 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7918 0 0 0 117 2 0 0 20 0 19 0 254874058 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.08 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 8098 0 0 0 107 1 0 0 20 0 19 0 254874058 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28362] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28362/stat : 28362 (java) S 28339 28341 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254874123 10060460032 49378 33554432000 1073741824 1073778376 140734380789296 140164776039208 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 9824668 [startup+6.30062 s] /proc/loadavg: 2.80 3.00 3.35 9/217 28381 /proc/meminfo: memFree=25597412/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=9.61 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 27367 0 1 0 932 29 0 0 20 0 22 0 254874052 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 62932 2287 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=0.71 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) S 28339 28341 24080 0 -1 4202560 2506 0 1 0 67 4 0 0 20 0 22 0 254874053 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165835473912 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=0.04 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254874054 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=0.06 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 104 0 0 0 6 0 0 0 20 0 22 0 254874056 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254874056 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254874056 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254874058 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.37 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7926 0 0 0 135 2 0 0 20 0 22 0 254874058 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.84 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) R 28339 28341 24080 0 -1 4202560 15387 0 0 0 181 3 0 0 20 0 22 0 254874058 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140164781304640 140165837945595 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254874058 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254874058 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28381] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28381/stat : 28381 (java) S 28339 28341 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254874429 10060460032 62932 33554432000 1073741824 1073778376 140734380789296 140164777092776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 9.61 Current children cumulated vsize (KiB) 9824668 [startup+12.7008 s] ################ # More data... # ################ [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 280 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 386 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 446 0 0 0 141 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=70.22 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 1052 0 0 0 7004 18 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7946 0 0 0 184 2 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.97 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 15398 0 0 0 193 4 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 31 0 0 0 7 8 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28384] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28384/stat : 28384 (java) S 28339 28341 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254874680 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164776039464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1013.87 Current children cumulated vsize (KiB) 9824668 [startup+545.101 s] /proc/loadavg: 2.74 2.89 3.14 3/214 28414 /proc/meminfo: memFree=24927944/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=1014.27 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 31373 0 1 0 101315 112 0 0 20 0 19 0 254874052 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 221348 2288 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=2.1 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) R 28339 28341 24080 0 -1 4202560 2570 0 1 0 206 4 0 0 20 0 19 0 254874053 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165835471520 140165670770626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=1.43 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 361 0 0 0 139 4 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=1.38 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 217 0 0 0 133 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 381 0 0 0 146 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 426 0 0 0 149 6 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 299 0 0 0 134 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 280 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 386 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 446 0 0 0 141 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=70.22 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 1052 0 0 0 7004 18 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7946 0 0 0 184 2 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.97 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 15398 0 0 0 193 4 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 31 0 0 0 7 8 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28384] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28384/stat : 28384 (java) S 28339 28341 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254874680 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164776039464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1014.27 Current children cumulated vsize (KiB) 9824668 [startup+545.501 s] /proc/loadavg: 2.74 2.89 3.14 3/214 28414 /proc/meminfo: memFree=24927944/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=1014.68 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 31373 0 1 0 101356 112 0 0 20 0 19 0 254874052 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 221348 2288 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=2.5 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) R 28339 28341 24080 0 -1 4202560 2570 0 1 0 246 4 0 0 20 0 19 0 254874053 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165835471568 140165671867962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=1.43 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 361 0 0 0 139 4 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=1.38 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 217 0 0 0 133 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 381 0 0 0 146 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 426 0 0 0 149 6 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 299 0 0 0 134 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 280 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 386 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 446 0 0 0 141 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=70.22 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 1052 0 0 0 7004 18 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7946 0 0 0 184 2 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.97 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 15398 0 0 0 193 4 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 31 0 0 0 7 8 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28384] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28384/stat : 28384 (java) S 28339 28341 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254874680 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164776039464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1014.68 Current children cumulated vsize (KiB) 9824668 [startup+545.608 s] /proc/loadavg: 2.74 2.89 3.14 3/214 28414 /proc/meminfo: memFree=24927944/32873844 swapFree=7616/7616 [pid=28341] ppid=28339 vsize=9824668 CPUtime=1014.78 cores=1,3,5,7 /proc/28341/stat : 28341 (java) S 28339 28341 24080 0 -1 4202496 31373 0 1 0 101366 112 0 0 20 0 19 0 254874052 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140734380780432 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/28341/statm: 2456167 221348 2288 9 0 2446860 0 [pid=28341/tid=28343] ppid=28339 vsize=9824668 CPUtime=2.6 cores=1,3,5,7 /proc/28341/task/28343/stat : 28343 (java) R 28339 28341 24080 0 -1 4202560 2570 0 1 0 256 4 0 0 20 0 19 0 254874053 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165835471568 140165670770608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28344] ppid=28339 vsize=9824668 CPUtime=1.43 cores=1,3,5,7 /proc/28341/task/28344/stat : 28344 (java) S 28339 28341 24080 0 -1 4202560 361 0 0 0 139 4 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165796964776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28345] ppid=28339 vsize=9824668 CPUtime=1.38 cores=1,3,5,7 /proc/28341/task/28345/stat : 28345 (java) S 28339 28341 24080 0 -1 4202560 217 0 0 0 133 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165795912232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28346] ppid=28339 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/28341/task/28346/stat : 28346 (java) S 28339 28341 24080 0 -1 4202560 381 0 0 0 146 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165794859176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28347] ppid=28339 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/28341/task/28347/stat : 28347 (java) S 28339 28341 24080 0 -1 4202560 426 0 0 0 149 6 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165793806632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28348] ppid=28339 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/28341/task/28348/stat : 28348 (java) S 28339 28341 24080 0 -1 4202560 299 0 0 0 134 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165792754600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28349] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28349/stat : 28349 (java) S 28339 28341 24080 0 -1 4202560 280 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165791702056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28350] ppid=28339 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/28341/task/28350/stat : 28350 (java) S 28339 28341 24080 0 -1 4202560 386 0 0 0 142 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165790649000 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28351] ppid=28339 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/28341/task/28351/stat : 28351 (java) S 28339 28341 24080 0 -1 4202560 446 0 0 0 141 5 0 0 20 0 19 0 254874054 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165789596456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28352] ppid=28339 vsize=9824668 CPUtime=70.22 cores=1,3,5,7 /proc/28341/task/28352/stat : 28352 (java) S 28339 28341 24080 0 -1 4202560 1052 0 0 0 7004 18 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165659138408 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28353] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28353/stat : 28353 (java) S 28339 28341 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165658084728 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28354] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28354/stat : 28354 (java) S 28339 28341 24080 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254874056 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165657031560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28355] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28355/stat : 28355 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165655980304 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28341/tid=28356] ppid=28339 vsize=9824668 CPUtime=1.86 cores=1,3,5,7 /proc/28341/task/28356/stat : 28356 (java) S 28339 28341 24080 0 -1 4202560 7946 0 0 0 184 2 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140165654928184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28341/tid=28357] ppid=28339 vsize=9824668 CPUtime=1.97 cores=1,3,5,7 /proc/28341/task/28357/stat : 28357 (java) S 28339 28341 24080 0 -1 4202560 15398 0 0 0 193 4 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164781304760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28341/tid=28358] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28358/stat : 28358 (java) S 28339 28341 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164780251896 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28359] ppid=28339 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/28341/task/28359/stat : 28359 (java) S 28339 28341 24080 0 -1 4202560 31 0 0 0 7 8 0 0 20 0 19 0 254874058 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164779199560 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28341/tid=28384] ppid=28339 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28341/task/28384/stat : 28384 (java) S 28339 28341 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254874680 10060460032 221348 33554432000 1073741824 1073778376 140734380789296 140164776039464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1014.78 Current children cumulated vsize (KiB) 9824668 Child status: 30 # 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): 1.28995 # lost CPU user time (s): 1.40994 # lost CPU system time (s): -0.12 Real time (s): 545.652 CPU time (s): 1016.12 CPU user time (s): 1014.93 CPU system time (s): 1.1928 CPU usage (%): 186.221 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1013.52 system time used= 1.3128 maximum resident set size= 885424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31384 page faults= 1 swaps= 0 block input operations= 0 block output operations= 592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17834 involuntary context switches= 28092 runsolver used 1.90271 second user time and 5.34519 second system time The end
Begin job on node141 at 2012-05-24 21:24:57 IDJOB=3690048 IDBENCH=92671 IDSOLVER=2268 FILE ID=node141/3690048-1337887497 RUNJOBID= node141-1337871880-24098 PBS_JOBID= 14620063 Free space on /tmp= 71656 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690048-1337887497/watcher-3690048-1337887497 -o /tmp/evaluation-result-3690048-1337887497/solver-3690048-1337887497 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690048-1337887497.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=1517154208 node141.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.744 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.48 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.744 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.744 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.93 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.744 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.92 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.744 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.744 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.744 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.92 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.744 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: 25808108 kB Buffers: 226040 kB Cached: 3113292 kB SwapCached: 0 kB Active: 3376824 kB Inactive: 2912752 kB Active(anon): 2952708 kB Inactive(anon): 0 kB Active(file): 424116 kB Inactive(file): 2912752 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1228 kB Writeback: 0 kB AnonPages: 2957640 kB Mapped: 22484 kB Shmem: 200 kB Slab: 630528 kB SReclaimable: 73164 kB SUnreclaim: 557364 kB KernelStack: 1608 kB PageTables: 9864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3274232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2885632 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= 71656 MiB End job on node141 at 2012-05-24 21:34:03