Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1800.55 | 939.265 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| 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 | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 680.72 |
| 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 | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.09 c version 2.2.0.v20100531 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 1349517296 0.01/0.09 c Max memory 1356595200 0.01/0.09 c Total memory 1356595200 0.01/0.09 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization 0.07/0.12 c ManyCore solver with 2 solvers running in parallel 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c Expensive reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 0.07/0.12 c solving HOME/instance-3744004-1338799819.opb 0.07/0.12 c reading problem ... 1.03/0.59 c ... done. Wall clock time 0.475s. 1.03/0.59 c #vars 9765 1.03/0.59 c #constraints 21983 1.03/0.59 c constraints type 1.03/0.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.03/0.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.03/0.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.03/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.03/0.59 c constraints type 1.03/0.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.03/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.03/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.03/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.83/1.08 c And the winner is Resolution 3.46/1.62 c SATISFIABLE 3.46/1.62 c OPTIMIZING... 3.46/1.62 c Got one! Elapsed wall clock time (in seconds):1.505 3.46/1.62 o 7832356 3.67/1.78 c And the winner is Resolution 3.91/2.65 c Got one! Elapsed wall clock time (in seconds):2.535 3.91/2.65 o 2351725 4.27/2.80 c And the winner is Resolution 4.32/3.68 c Got one! Elapsed wall clock time (in seconds):3.564 4.32/3.68 o 1977612 11.14/6.95 c cleaning 2494 clauses out of 4997 with flag 5001/5001 19.83/11.07 c cleaning 4244 clauses out of 8503 with flag 11002/11002 29.01/15.62 c cleaning 5621 clauses out of 11257 with flag 18000/18000 40.87/21.50 c cleaning 6810 clauses out of 13638 with flag 26002/26002 54.03/28.13 c cleaning 7905 clauses out of 15826 with flag 35000/35000 66.19/34.21 c cleaning 8956 clauses out of 17923 with flag 45002/45002 82.00/42.12 c cleaning 9973 clauses out of 19965 with flag 56000/56000 98.27/50.25 c cleaning 10988 clauses out of 21993 with flag 68001/68001 115.69/58.95 c cleaning 12002 clauses out of 24007 with flag 81003/81003 118.22/60.22 c And the winner is Resolution 121.60/64.72 c Got one! Elapsed wall clock time (in seconds):64.605 121.60/64.72 o 1977549 121.80/64.84 c And the winner is Resolution 121.95/65.75 c Got one! Elapsed wall clock time (in seconds):65.628 121.95/65.75 o 1918881 122.67/66.19 c And the winner is Resolution 122.93/66.77 c Got one! Elapsed wall clock time (in seconds):66.652 122.93/66.77 o 1873362 137.53/74.00 c cleaning 12992 clauses out of 26002 with flag 95000/95000 155.74/83.12 c cleaning 13996 clauses out of 28010 with flag 110000/110000 161.28/85.98 c And the winner is Resolution 163.05/87.80 c Got one! Elapsed wall clock time (in seconds):87.677 163.05/87.80 o 1842567 163.67/88.17 c And the winner is Resolution 163.89/88.82 c Got one! Elapsed wall clock time (in seconds):88.701 163.89/88.82 o 1751605 172.87/93.30 c And the winner is Resolution 172.90/93.84 c Got one! Elapsed wall clock time (in seconds):93.725 172.90/93.84 o 1714649 175.02/94.97 c cleaning 15004 clauses out of 30015 with flag 126001/126001 175.31/95.18 c And the winner is Resolution 175.56/95.87 c Got one! Elapsed wall clock time (in seconds):95.748 175.56/95.87 o 1710660 176.63/96.47 c And the winner is Resolution 176.86/96.89 c Got one! Elapsed wall clock time (in seconds):96.771 176.86/96.89 o 1699753 199.03/107.95 c cleaning 15995 clauses out of 32007 with flag 143000/143000 221.63/119.27 c cleaning 16999 clauses out of 34013 with flag 161001/161001 248.20/132.58 c cleaning 18004 clauses out of 36015 with flag 180002/180002 276.76/146.90 c cleaning 18999 clauses out of 38009 with flag 200000/200000 278.20/147.64 c And the winner is Resolution 301.92/172.09 c Got one! Elapsed wall clock time (in seconds):171.974 301.92/172.09 o 1686935 330.07/186.14 c cleaning 20001 clauses out of 40011 with flag 221001/221001 359.39/200.78 c cleaning 20999 clauses out of 42009 with flag 243000/243000 386.49/214.27 c cleaning 21499 clauses out of 43011 with flag 265001/265001 413.94/227.91 c cleaning 21743 clauses out of 43511 with flag 287000/287000 448.20/245.01 c cleaning 21885 clauses out of 43771 with flag 309003/309003 481.12/261.41 c cleaning 21938 clauses out of 43883 with flag 331000/331000 515.32/278.42 c cleaning 21964 clauses out of 43945 with flag 353000/353000 544.85/293.16 c cleaning 21980 clauses out of 43981 with flag 375000/375000 580.86/311.15 c cleaning 21992 clauses out of 44003 with flag 397002/397002 617.32/329.31 c cleaning 21999 clauses out of 44009 with flag 419000/419000 621.59/331.51 c And the winner is Resolution 621.77/332.51 c Got one! Elapsed wall clock time (in seconds):332.389 621.77/332.51 o 1673337 650.39/346.75 c cleaning 22002 clauses out of 44010 with flag 441000/441000 676.46/359.71 c And the winner is Resolution 679.42/363.54 c Got one! Elapsed wall clock time (in seconds):363.416 679.42/363.54 o 1670180 683.99/365.85 c cleaning 21999 clauses out of 44007 with flag 463000/463000 696.82/372.33 c And the winner is Resolution 697.76/373.56 c Got one! Elapsed wall clock time (in seconds):373.441 697.76/373.56 o 1634516 702.71/376.00 c And the winner is Resolution 703.39/377.58 c Got one! Elapsed wall clock time (in seconds):377.466 703.39/377.58 o 1632518 708.88/380.37 c cleaning 22001 clauses out of 44008 with flag 485002/485002 711.11/381.57 c And the winner is Resolution 711.52/382.61 c Got one! Elapsed wall clock time (in seconds):382.49 711.52/382.61 o 1625016 718.12/385.99 c And the winner is Resolution 718.59/386.63 c Got one! Elapsed wall clock time (in seconds):386.515 718.59/386.63 o 1492662 738.54/396.53 c cleaning 21991 clauses out of 44004 with flag 507000/507000 769.44/411.94 c cleaning 21998 clauses out of 44013 with flag 529000/529000 800.59/427.40 c cleaning 21992 clauses out of 44016 with flag 551001/551001 828.66/441.51 c cleaning 22002 clauses out of 44024 with flag 573001/573001 831.88/443.21 c And the winner is Resolution 832.03/443.78 c Got one! Elapsed wall clock time (in seconds):443.662 832.03/443.78 o 1492053 863.95/459.69 c cleaning 22001 clauses out of 44020 with flag 595000/595000 895.57/475.49 c cleaning 22003 clauses out of 44019 with flag 617000/617000 926.22/490.77 c cleaning 21989 clauses out of 44016 with flag 639000/639000 953.89/504.62 c cleaning 22002 clauses out of 44028 with flag 661001/661001 980.63/518.07 c cleaning 22004 clauses out of 44025 with flag 683000/683000 1008.05/531.72 c cleaning 22003 clauses out of 44018 with flag 705001/705001 1009.44/532.60 c And the winner is Resolution 1012.58/536.33 c Got one! Elapsed wall clock time (in seconds):536.214 1012.58/536.33 o 1477352 1034.30/547.15 c cleaning 21998 clauses out of 44012 with flag 727000/727000 1060.00/560.05 c cleaning 21989 clauses out of 44014 with flag 749000/749000 1087.46/573.72 c cleaning 21995 clauses out of 44026 with flag 771001/771001 1112.44/586.27 c cleaning 22006 clauses out of 44033 with flag 793003/793003 1136.40/598.26 c cleaning 21999 clauses out of 44024 with flag 815000/815000 1158.83/609.52 c cleaning 22005 clauses out of 44025 with flag 837000/837000 1180.47/620.36 c cleaning 22002 clauses out of 44020 with flag 859000/859000 1204.69/632.44 c cleaning 21996 clauses out of 44019 with flag 881001/881001 1229.50/644.85 c cleaning 21995 clauses out of 44023 with flag 903001/903001 1255.37/657.88 c And the winner is Resolution 1256.01/659.83 c Got one! Elapsed wall clock time (in seconds):659.715 1256.01/659.83 o 1463637 1256.74/660.25 c cleaning 22009 clauses out of 44030 with flag 925003/925003 1279.08/671.43 c cleaning 22000 clauses out of 44018 with flag 947000/947000 1299.08/681.42 c cleaning 22002 clauses out of 44020 with flag 969002/969002 1303.24/683.65 c And the winner is Resolution 1305.03/685.87 c Got one! Elapsed wall clock time (in seconds):685.747 1305.03/685.87 o 1463625 1323.10/694.80 c cleaning 21997 clauses out of 44015 with flag 991000/991000 1346.50/706.64 c cleaning 21995 clauses out of 44018 with flag 1013000/1013000 1350.07/708.52 c And the winner is Resolution 1351.08/710.27 c Got one! Elapsed wall clock time (in seconds):710.147 1351.08/710.27 o 1462950 1371.53/720.45 c cleaning 22003 clauses out of 44023 with flag 1035001/1035001 1393.63/731.51 c cleaning 22002 clauses out of 44019 with flag 1057000/1057000 1415.56/742.54 c cleaning 22001 clauses out of 44017 with flag 1079000/1079000 1439.69/754.71 c cleaning 22004 clauses out of 44020 with flag 1101004/1101004 1464.68/767.23 c cleaning 21992 clauses out of 44012 with flag 1123000/1123000 1488.78/779.32 c cleaning 22007 clauses out of 44022 with flag 1145002/1145002 1514.29/792.16 c cleaning 22001 clauses out of 44015 with flag 1167002/1167002 1531.06/800.68 c And the winner is Resolution 1537.52/807.66 c Got one! Elapsed wall clock time (in seconds):807.537 1537.52/807.66 o 1459155 1546.70/812.28 c cleaning 22001 clauses out of 44012 with flag 1189001/1189001 1571.92/824.85 c cleaning 21994 clauses out of 44012 with flag 1211002/1211002 1594.78/836.37 c cleaning 21987 clauses out of 44016 with flag 1233000/1233000 1617.15/847.51 c cleaning 21993 clauses out of 44029 with flag 1255000/1255000 1643.50/860.86 c cleaning 22012 clauses out of 44037 with flag 1277001/1277001 1660.94/869.63 c And the winner is Resolution 1661.08/870.19 c Got one! Elapsed wall clock time (in seconds):870.069 1661.08/870.19 o 1438959 1670.41/874.83 c cleaning 22004 clauses out of 44023 with flag 1299000/1299000 1697.34/888.31 c cleaning 22005 clauses out of 44020 with flag 1321001/1321001 1722.54/900.95 c cleaning 21992 clauses out of 44014 with flag 1343000/1343000 1747.38/913.58 c cleaning 22005 clauses out of 44026 with flag 1365004/1365004 1774.05/926.95 c cleaning 21998 clauses out of 44018 with flag 1387001/1387001 1798.51/939.22 c starts : 214 1798.51/939.22 c conflicts : 1406760 1798.51/939.22 c decisions : 3054874 1798.51/939.22 c propagations : 430467982 1798.51/939.22 c inspects : 1953747586 1798.51/939.22 c learnt literals : 23 1798.51/939.22 c learnt binary clauses : 94 1798.51/939.22 c learnt ternary clauses : 266 1798.51/939.22 c learnt clauses : 1406737 1798.51/939.22 c ignored clauses : 0 1798.51/939.22 c root simplifications : 0 1798.51/939.22 c removed literals (reason simplification) : 19554331 1798.51/939.22 c reason swapping (by a shorter reason) : 0 1798.51/939.22 c Calls to reduceDB : 70 1798.51/939.22 c number of reductions to clauses (during analyze) : 0 1798.51/939.22 c number of learned constraints concerned by reduction : 0 1798.51/939.22 c number of learning phase by resolution : 0 1798.51/939.22 c number of learning phase by cutting planes : 0 1798.51/939.22 c speed (assignments/second) : 6236859.823239641 1798.51/939.22 c non guided choices 5781 1798.51/939.23 c learnt constraints type 1798.51/939.23 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 41706 1798.51/939.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 94 1798.51/939.23 c constraints type 1798.51/939.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1798.51/939.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1798.51/939.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1798.51/939.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1798.51/939.23 c constraints type 1798.51/939.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1798.51/939.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1798.51/939.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1798.51/939.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1798.51/939.23 s SATISFIABLE 1798.51/939.24 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 1798.51/939.25 c objective function=1438959 1798.51/939.25 c Total wall clock time (in seconds): 939.134
OK 1438959
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-3744004-1338799819/watcher-3744004-1338799819 -o /tmp/evaluation-result-3744004-1338799819/solver-3744004-1338799819 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744004-1338799819.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.77 2.87 2.71 3/194 18086 /proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/18086/stat : 18086 (java6) D 18084 18086 15509 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 346109154 9515008 184 33554432000 1073741824 1073778376 140735607091824 140735607083048 213866147255 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/18086/statm: 2323 184 142 9 0 71 0 [startup+0.0441971 s] /proc/loadavg: 2.77 2.87 2.71 3/194 18086 /proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2301544 CPUtime=0.01 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 3659 0 1 0 1 0 0 0 20 0 13 0 346109154 2356781056 4868 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 591770 4868 1657 9 0 582471 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2301544 [startup+0.100263 s] /proc/loadavg: 2.77 2.87 2.71 3/194 18086 /proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2699928 CPUtime=0.07 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 4476 0 1 0 7 0 0 0 20 0 18 0 346109154 2764726272 6187 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 674982 6191 2036 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.300245 s] /proc/loadavg: 2.77 2.87 2.71 3/194 18086 /proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2699928 CPUtime=0.49 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 6177 0 1 0 48 1 0 0 20 0 18 0 346109154 2764726272 10158 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 674982 10158 2228 9 0 665676 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 2699928 [startup+0.700172 s] /proc/loadavg: 2.77 2.87 2.71 3/194 18086 /proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2833056 CPUtime=1.62 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 13711 0 1 0 159 3 0 0 20 0 20 0 346109154 2901049344 32260 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 708264 32260 2256 9 0 698958 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 2833056 [startup+1.50073 s] /proc/loadavg: 2.71 2.86 2.70 6/216 18108 /proc/meminfo: memFree=23530388/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=3.46 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 22793 0 1 0 339 7 0 0 20 0 20 0 346109154 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 56009 2262 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.56 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2835 0 1 0 54 2 0 0 20 0 20 0 346109155 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955045147800 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346109158 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10434 0 0 0 95 2 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=0.92 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8173 0 0 0 90 2 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.46 Current children cumulated vsize (KiB) 2966184 [startup+3.10072 s] /proc/loadavg: 2.71 2.86 2.70 2/214 18110 /proc/meminfo: memFree=23411804/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=4.32 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 22986 0 1 0 421 11 0 0 20 0 20 0 346109154 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 91850 2262 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.63 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2837 0 1 0 61 2 0 0 20 0 20 0 346109155 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955045147800 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346109158 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10434 0 0 0 105 2 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8285 0 0 0 98 2 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 2966184 [startup+6.30082 s] /proc/loadavg: 2.71 2.86 2.70 4/216 18114 /proc/meminfo: memFree=23294564/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=9.88 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 23317 0 1 0 972 16 0 0 20 0 22 0 346109154 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 119482 2274 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.66 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2838 0 1 0 64 2 0 0 20 0 22 0 346109155 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346109158 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.14 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10435 0 0 0 112 2 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8435 0 0 0 105 2 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [startup+870.001 s] /proc/loadavg: 3.67 3.77 3.35 3/217 18250 /proc/meminfo: memFree=23155720/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=1661.08 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 45690 0 1 0 165883 225 0 0 20 0 20 0 346109154 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 191298 2288 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.17 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2856 0 1 0 115 2 0 0 20 0 20 0 346109155 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.33 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 321 0 0 0 525 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.31 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 305 0 0 0 524 7 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.23 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 310 0 0 0 513 10 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 333 0 0 0 518 9 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 325 0 0 0 519 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.14 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 316 0 0 0 506 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.05 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 303 0 0 0 497 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 519 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=15.51 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 12167 0 0 0 1474 77 0 0 20 0 20 0 346109158 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 50 0 0 0 14 15 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.08 Current children cumulated vsize (KiB) 2966184 # ############ [startup+882.301 s] /proc/loadavg: 3.74 3.78 3.36 11/219 18252 /proc/meminfo: memFree=23155596/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=1685.23 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 45845 0 1 0 168296 227 0 0 20 0 22 0 346109154 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 191304 2288 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.19 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2856 0 1 0 117 2 0 0 20 0 22 0 346109155 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.4 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 321 0 0 0 532 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.38 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 305 0 0 0 531 7 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.31 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 310 0 0 0 521 10 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.35 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 333 0 0 0 526 9 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.35 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 325 0 0 0 527 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.21 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 316 0 0 0 513 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.12 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 303 0 0 0 504 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.34 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 526 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=15.83 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 12300 0 0 0 1505 78 0 0 20 0 22 0 346109158 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 50 0 0 0 14 15 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18251] ppid=18084 vsize=2966184 CPUtime=11.56 cores=0,2,4,6 /proc/18086/task/18251/stat : 18251 (java) R 18084 18086 15509 0 -1 4202560 11 0 0 0 1156 0 0 0 20 0 22 0 346196174 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955000171312 139954882905223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18252] ppid=18084 vsize=2966184 CPUtime=11.56 cores=0,2,4,6 /proc/18086/task/18252/stat : 18252 (java) R 18084 18086 15509 0 -1 4202560 11 0 0 0 1156 0 0 0 20 0 22 0 346196174 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955001224600 139954882613992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1685.23 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+939.201 s] /proc/loadavg: 3.69 3.76 3.37 5/219 18252 /proc/meminfo: memFree=23147408/32873648 swapFree=6852/6852 [pid=18086] ppid=18084 vsize=2966184 CPUtime=1798.51 cores=0,2,4,6 /proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 47273 0 1 0 179612 239 0 0 20 0 22 0 346109154 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18086/statm: 741546 193358 2288 9 0 732240 0 [pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2858 0 1 0 118 2 0 0 20 0 22 0 346109155 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.8 cores=0,2,4,6 /proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 322 0 0 0 571 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.76 cores=0,2,4,6 /proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 306 0 0 0 568 8 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.67 cores=0,2,4,6 /proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 312 0 0 0 556 11 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.7 cores=0,2,4,6 /proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 336 0 0 0 560 10 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.69 cores=0,2,4,6 /proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 326 0 0 0 560 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.51 cores=0,2,4,6 /proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 319 0 0 0 542 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.5 cores=0,2,4,6 /proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 311 0 0 0 541 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.72 cores=0,2,4,6 /proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 563 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=17.35 cores=0,2,4,6 /proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 13592 0 0 0 1650 85 0 0 20 0 22 0 346109158 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6 /proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6 /proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.31 cores=0,2,4,6 /proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 54 0 0 0 15 16 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18086/tid=18251] ppid=18084 vsize=2966184 CPUtime=65.89 cores=0,2,4,6 /proc/18086/task/18251/stat : 18251 (java) R 18084 18086 15509 0 -1 4202560 59 0 0 0 6588 1 0 0 20 0 22 0 346196174 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955000172304 139954882116379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18086/tid=18252] ppid=18084 vsize=2966184 CPUtime=65.89 cores=0,2,4,6 /proc/18086/task/18252/stat : 18252 (java) R 18084 18086 15509 0 -1 4202560 74 0 0 0 6588 1 0 0 20 0 22 0 346196174 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955001223664 139954882651393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # 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.66992 # lost CPU user time (s): 1.88009 # lost CPU system time (s): -0.21 Real time (s): 939.265 CPU time (s): 1800.55 CPU user time (s): 1798.12 CPU system time (s): 2.4306 CPU usage (%): 191.698 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.24 system time used= 2.6406 maximum resident set size= 775124 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47307 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69701 involuntary context switches= 119569 runsolver used 3.43148 second user time and 8.5737 second system time The end
Begin job on node112 at 2012-06-04 10:50:19 IDJOB=3744004 IDBENCH=92667 IDSOLVER=2324 FILE ID=node112/3744004-1338799819 RUNJOBID= node112-1338783624-15525 PBS_JOBID= 14636841 Free space on /tmp= 71012 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744004-1338799819/watcher-3744004-1338799819 -o /tmp/evaluation-result-3744004-1338799819/solver-3744004-1338799819 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744004-1338799819.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=1881386436 node112.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.763 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.52 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.763 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.763 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.92 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 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.763 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.92 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 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: 32873648 kB MemFree: 23712232 kB Buffers: 559972 kB Cached: 6256684 kB SwapCached: 0 kB Active: 3504984 kB Inactive: 4783228 kB Active(anon): 1460732 kB Inactive(anon): 10920 kB Active(file): 2044252 kB Inactive(file): 4772308 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1444 kB Writeback: 0 kB AnonPages: 1481896 kB Mapped: 22556 kB Shmem: 200 kB Slab: 732212 kB SReclaimable: 175596 kB SUnreclaim: 556616 kB KernelStack: 1600 kB PageTables: 6752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1568496 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1449984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71192 MiB End job on node112 at 2012-06-04 11:06:00