Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 28 | 1800.15 | 900.568 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb |
| MD5SUM | 580618cb84d1b6d12452a14c6ff54025 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.298954 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 10236 |
| Total number of constraints | 31056 |
| Number of constraints which are clauses | 31056 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5070 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5070 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5070 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081469-1465236783.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.68/0.79 c ... done. Wall clock time 0.672s. 1.68/0.79 c declared #vars 10236 1.68/0.79 c #constraints 31056 1.68/0.79 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.68/0.79 c constraints type 1.68/0.79 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5176 1.68/0.79 c org.sat4j.minisat.constraints.cnf.UnitClause => 997 1.68/0.79 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24883 1.68/0.79 c 31056 constraints processed. 1.68/0.79 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.68/0.79 c constraints type 1.68/0.79 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24883 1.68/0.79 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5176 1.68/0.79 c org.sat4j.pb.constraints.pb.UnitClausePB => 997 1.68/0.79 c 31056 constraints processed. 1.68/0.79 c objective function length is 5070 literals 2.38/0.95 c And the winner is solver1 2.70/1.30 c SATISFIABLE 2.70/1.30 c OPTIMIZING... 2.70/1.30 c Got one! Elapsed wall clock time (in seconds):1.184 2.70/1.30 o 37 3.04/1.40 c And the winner is solver0 3.42/1.83 c Got one! Elapsed wall clock time (in seconds):1.711 3.42/1.83 o 36 3.66/1.97 c And the winner is solver0 3.91/2.34 c Got one! Elapsed wall clock time (in seconds):2.226 3.91/2.34 o 35 4.46/2.53 c And the winner is solver0 4.82/2.85 c Got one! Elapsed wall clock time (in seconds):2.732 4.82/2.85 o 34 7.77/4.29 c And the winner is solver0 8.04/4.41 c Got one! Elapsed wall clock time (in seconds):4.287 8.04/4.41 o 33 8.62/4.75 c cleaning 3124 clauses out of 6256 with flag 2896/6256 15.23/7.93 c cleaning 4558 clauses out of 9132 with flag 25834/12256 24.74/12.65 c cleaning 5766 clauses out of 11573 with flag 50941/19255 34.24/17.33 c cleaning 6898 clauses out of 13807 with flag 84408/27255 46.13/23.22 c cleaning 7939 clauses out of 15909 with flag 122020/36255 58.97/29.63 c cleaning 8978 clauses out of 17970 with flag 157639/46255 72.77/36.52 c cleaning 9989 clauses out of 19993 with flag 198413/57256 89.06/44.65 c cleaning 10994 clauses out of 22003 with flag 243737/69255 105.93/53.03 c cleaning 11994 clauses out of 24009 with flag 299098/82255 123.02/61.59 c cleaning 12991 clauses out of 26015 with flag 359714/96255 142.48/71.23 c cleaning 13994 clauses out of 28024 with flag 432151/111255 164.59/82.24 c cleaning 15010 clauses out of 30030 with flag 498062/127255 185.80/92.78 c cleaning 16004 clauses out of 32020 with flag 566482/144255 209.25/104.44 c cleaning 16991 clauses out of 34016 with flag 634790/162255 234.53/117.08 c cleaning 17991 clauses out of 36025 with flag 712099/181255 262.25/130.85 c cleaning 19014 clauses out of 38034 with flag 798338/201255 289.54/144.48 c cleaning 20005 clauses out of 40020 with flag 889032/222255 319.62/159.50 c cleaning 20988 clauses out of 42015 with flag 979035/244255 349.71/174.40 c cleaning 21996 clauses out of 44030 with flag 1066704/267258 381.90/190.49 c cleaning 23014 clauses out of 46031 with flag 1169383/291255 415.16/207.00 c cleaning 23991 clauses out of 48017 with flag 1290917/316255 449.86/224.31 c cleaning 25010 clauses out of 50028 with flag 1430661/342257 468.38/233.50 c And the winner is solver1 468.38/233.97 c Got one! Elapsed wall clock time (in seconds):233.849 468.38/233.97 o 32 474.67/237.18 c cleaning 22248 clauses out of 44496 with flag 23301/361735 482.31/240.99 c cleaning 14125 clauses out of 28249 with flag 48404/367736 491.13/245.32 c cleaning 10552 clauses out of 21123 with flag 79238/374735 500.96/250.21 c cleaning 9283 clauses out of 18571 with flag 115956/382735 513.08/256.69 c cleaning 9114 clauses out of 18288 with flag 162779/391735 525.31/262.77 c cleaning 9577 clauses out of 19174 with flag 209133/401735 538.54/269.31 c cleaning 10299 clauses out of 20597 with flag 262004/412735 553.75/276.96 c cleaning 11149 clauses out of 22298 with flag 322756/424735 570.15/285.13 c cleaning 12070 clauses out of 24151 with flag 385306/437737 587.23/293.64 c cleaning 13023 clauses out of 26079 with flag 455755/451735 598.07/299.01 c And the winner is solver1 598.07/299.26 c Got one! Elapsed wall clock time (in seconds):299.142 598.07/299.26 o 30 603.57/302.02 c cleaning 13349 clauses out of 26700 with flag 26504/465379 609.39/304.99 c cleaning 9674 clauses out of 19351 with flag 53746/471379 617.40/308.94 c cleaning 8334 clauses out of 16677 with flag 87503/478379 627.50/313.96 c cleaning 8172 clauses out of 16343 with flag 129210/486379 640.35/320.33 c cleaning 8586 clauses out of 17171 with flag 180694/495379 654.76/327.54 c cleaning 9275 clauses out of 18585 with flag 235402/505379 670.59/335.47 c cleaning 10136 clauses out of 20310 with flag 292819/516379 688.22/344.20 c cleaning 11063 clauses out of 22174 with flag 360632/528379 706.46/353.38 c cleaning 12044 clauses out of 24111 with flag 425053/541379 726.55/363.39 c cleaning 13025 clauses out of 26067 with flag 493673/555379 748.58/374.23 c cleaning 14021 clauses out of 28042 with flag 568609/570379 771.99/386.38 c cleaning 15003 clauses out of 30021 with flag 651129/586379 796.49/398.42 c cleaning 16009 clauses out of 32019 with flag 739002/603380 824.36/412.33 c cleaning 16988 clauses out of 34009 with flag 828616/621379 847.62/423.91 c cleaning 17994 clauses out of 36021 with flag 918442/640379 876.08/438.15 c cleaning 18993 clauses out of 38027 with flag 1006724/660379 908.65/454.34 c cleaning 20018 clauses out of 40035 with flag 1103463/681380 942.12/471.06 c cleaning 21007 clauses out of 42016 with flag 1213414/703379 975.80/488.33 c cleaning 22000 clauses out of 44010 with flag 1332713/726380 1010.93/505.84 c cleaning 22991 clauses out of 46009 with flag 1455991/750379 1049.28/524.97 c cleaning 23999 clauses out of 48018 with flag 1582479/775379 1088.34/544.41 c cleaning 25005 clauses out of 50021 with flag 1704004/801381 1125.62/563.08 c cleaning 25997 clauses out of 52014 with flag 1835215/828379 1161.55/580.94 c cleaning 27005 clauses out of 54017 with flag 1966553/856379 1199.46/599.85 c cleaning 27991 clauses out of 56012 with flag 2105249/885379 1240.56/620.33 c cleaning 29000 clauses out of 58021 with flag 2250786/915379 1282.72/641.35 c cleaning 30000 clauses out of 60021 with flag 2398269/946379 1334.63/668.37 c cleaning 30998 clauses out of 62021 with flag 2550109/978379 1384.34/693.11 c cleaning 32004 clauses out of 64023 with flag 2708011/1011379 1395.93/698.92 c And the winner is solver1 1395.93/699.35 c Got one! Elapsed wall clock time (in seconds):699.23 1395.93/699.35 o 29 1401.81/702.39 c cleaning 22453 clauses out of 44905 with flag 27286/1024265 1408.35/705.59 c cleaning 14223 clauses out of 28450 with flag 55980/1030263 1417.34/710.01 c cleaning 10605 clauses out of 21227 with flag 90043/1037263 1427.56/715.14 c cleaning 9284 clauses out of 18622 with flag 128975/1045263 1439.14/720.97 c cleaning 9163 clauses out of 18338 with flag 177313/1054263 1452.47/727.51 c cleaning 9584 clauses out of 19177 with flag 230306/1064265 1465.87/734.26 c cleaning 10292 clauses out of 20591 with flag 288236/1075263 1480.86/741.77 c cleaning 11135 clauses out of 22299 with flag 355395/1087263 1497.45/749.95 c cleaning 12075 clauses out of 24164 with flag 427294/1100263 1515.45/758.95 c cleaning 13042 clauses out of 26091 with flag 504500/1114265 1534.86/768.59 c cleaning 14008 clauses out of 28047 with flag 587620/1129263 1555.16/778.58 c cleaning 15019 clauses out of 30041 with flag 680218/1145265 1577.54/789.62 c cleaning 15999 clauses out of 32020 with flag 779682/1162263 1600.21/800.84 c cleaning 17011 clauses out of 34021 with flag 882735/1180263 1623.59/812.53 c cleaning 17987 clauses out of 36010 with flag 1003475/1199263 1649.24/825.26 c cleaning 18998 clauses out of 38023 with flag 1118686/1219263 1649.63/825.44 c And the winner is solver1 1649.63/825.89 c Got one! Elapsed wall clock time (in seconds):825.769 1649.63/825.89 o 28 1655.69/828.93 c cleaning 12153 clauses out of 24305 with flag 24895/1224543 1661.89/832.08 c cleaning 9070 clauses out of 18152 with flag 56858/1230543 1670.18/836.02 c cleaning 8040 clauses out of 16082 with flag 92927/1237543 1678.57/840.26 c cleaning 8018 clauses out of 16042 with flag 137244/1245543 1688.97/845.48 c cleaning 8487 clauses out of 17024 with flag 190342/1254543 1700.46/851.05 c cleaning 9270 clauses out of 18539 with flag 237509/1264545 1715.06/858.31 c cleaning 10134 clauses out of 20267 with flag 289157/1275543 1731.46/866.59 c cleaning 11063 clauses out of 22133 with flag 351294/1287543 1749.21/875.28 c cleaning 12036 clauses out of 24071 with flag 420355/1300544 1767.21/884.23 c cleaning 13008 clauses out of 26035 with flag 489176/1314544 1787.63/894.48 c cleaning 14004 clauses out of 28026 with flag 559866/1329543 1800.15/900.51 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.15/900.51 c starts : 19602 1800.15/900.51 c conflicts : 1338267 1800.15/900.51 c decisions : 9693018 1800.15/900.51 c propagations : 4498432624 1800.15/900.51 c inspects : 4998863377 1800.15/900.51 c shortcuts : 0 1800.15/900.51 c learnt literals : 0 1800.15/900.51 c learnt binary clauses : 0 1800.15/900.51 c learnt ternary clauses : 9 1800.15/900.51 c learnt constraints : 1338266 1800.15/900.51 c ignored constraints : 0 1800.15/900.51 c root simplifications : 0 1800.15/900.51 c removed literals (reason simplification) : 5722271 1800.15/900.51 c reason swapping (by a shorter reason) : 0 1800.15/900.51 c Calls to reduceDB : 88 1800.15/900.51 c Number of update (reduction) of LBD : 515464 1800.15/900.51 c Imported unit clauses : 0 1800.15/900.51 c number of reductions to clauses (during analyze) : 0 1800.15/900.51 c number of learned constraints concerned by reduction : 0 1800.15/900.51 c number of learning phase by resolution : 0 1800.15/900.51 c number of learning phase by cutting planes : 0 1800.15/900.51 c speed (assignments/second) : 6.0293431409079336E7 1800.15/900.51 c non guided choices 0 1800.15/900.52 c learnt constraints type 1800.15/900.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22746 1800.15/900.52 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.15/900.52 c starts : 22 1800.15/900.52 c conflicts : 2109 1800.15/900.52 c decisions : 295805 1800.15/900.52 c propagations : 1928612 1800.15/900.52 c inspects : 17296145 1800.15/900.52 c shortcuts : 0 1800.15/900.52 c learnt literals : 0 1800.15/900.52 c learnt binary clauses : 0 1800.15/900.52 c learnt ternary clauses : 0 1800.15/900.52 c learnt constraints : 2108 1800.15/900.52 c ignored constraints : 0 1800.15/900.52 c root simplifications : 0 1800.15/900.52 c removed literals (reason simplification) : 0 1800.15/900.52 c reason swapping (by a shorter reason) : 0 1800.15/900.52 c Calls to reduceDB : 0 1800.15/900.52 c Number of update (reduction) of LBD : 0 1800.15/900.52 c Imported unit clauses : 0 1800.15/900.52 c number of reductions to clauses (during analyze) : 0 1800.15/900.52 c number of learned constraints concerned by reduction : 0 1800.15/900.52 c number of learning phase by resolution : 0 1800.15/900.52 c number of learning phase by cutting planes : 0 1800.15/900.52 c speed (assignments/second) : 2152.1997250343707 1800.15/900.52 c non guided choices 0 1800.15/900.52 c learnt constraints type 1800.15/900.52 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 63 1800.15/900.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 33 1800.15/900.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2012 1800.15/900.52 s SATISFIABLE 1800.15/900.52 c Found 9 solution(s) 1800.15/900.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 x7337 x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 x9151 x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 x9206 x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 x9406 x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 x9840 x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 x9853 x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 x10203 -x10204 -x10205 -x10206 x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 x10230 -x10231 -x10232 -x10233 -x10234 -x10235 x10236 1800.15/900.54 c objective function=28 1800.15/900.54 c Total wall clock time (in seconds): 900.424
OK 28
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4081469-1465236783/watcher-4081469-1465236783 -o /tmp/evaluation-result-4081469-1465236783/solver-4081469-1465236783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081469-1465236783.opb pid=7549 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.93 4.07 4.08 4/195 7552 /proc/meminfo: memFree=30636356/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/7552/stat : 7552 (java) D 7549 7552 955 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105613121 9515008 182 33554432000 1073741824 1073778376 140735407262768 140735407253800 235374722741 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/7552/statm: 2323 182 140 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 3.93 4.07 4.08 4/195 7552 /proc/meminfo: memFree=30636356/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 105613121 9787879424 6041 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2389619 6041 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 3.93 4.07 4.08 4/195 7552 /proc/meminfo: memFree=30636356/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 5004 0 1 0 26 1 0 0 20 0 18 0 105613121 9787879424 6931 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2389619 6931 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300231 s] /proc/loadavg: 3.93 4.07 4.08 4/195 7552 /proc/meminfo: memFree=30636356/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 5768 0 1 0 48 1 0 0 20 0 18 0 105613121 9787879424 8967 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2389619 8968 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700211 s] /proc/loadavg: 3.93 4.07 4.08 4/195 7552 /proc/meminfo: memFree=30636356/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9559092 CPUtime=1.68 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 25617 0 1 0 162 6 0 0 20 0 18 0 105613121 9788510208 35947 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2389773 35947 2251 9 0 2380450 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9559092 [startup+1.50073 s] /proc/loadavg: 3.93 4.07 4.08 3/214 7574 /proc/meminfo: memFree=30470120/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9824732 CPUtime=3.28 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 27310 0 1 0 319 9 0 0 20 0 20 0 105613121 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2456183 40900 2268 9 0 2446860 0 [pid=7552/tid=7554] ppid=7549 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/7552/task/7554/stat : 7554 (java) S 7549 7552 955 0 -1 4202560 2467 0 1 0 77 2 0 0 20 0 20 0 105613122 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528561079160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7555] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7555/stat : 7555 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528522570792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7556] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7556/stat : 7556 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528521517992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7557] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7557/stat : 7557 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528520465192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7558] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7558/stat : 7558 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528519412392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7559] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7559/stat : 7559 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528518359592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7560] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7560/stat : 7560 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528517306792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7561] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7561/stat : 7561 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528516253992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 105613124 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 105613125 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 105613125 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 105613125 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613127 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 10822 0 0 0 90 2 0 0 20 0 20 0 105613127 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12677 0 0 0 91 3 0 0 20 0 20 0 105613127 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613127 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 105613127 10060525568 40900 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.28 Current children cumulated vsize (KiB) 9824732 [startup+3.10072 s] /proc/loadavg: 3.93 4.07 4.08 3/214 7580 /proc/meminfo: memFree=30455420/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9824732 CPUtime=5.44 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 31605 0 1 0 529 15 0 0 20 0 22 0 105613121 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2456183 46679 2272 9 0 2446860 0 [pid=7552/tid=7554] ppid=7549 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/7552/task/7554/stat : 7554 (java) S 7549 7552 955 0 -1 4202560 2471 0 1 0 80 2 0 0 20 0 22 0 105613122 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528561079160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7555] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7555/stat : 7555 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528522570792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7556] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7556/stat : 7556 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528521517992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7557] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7557/stat : 7557 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528520465192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7558] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7558/stat : 7558 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528519412392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7559] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7559/stat : 7559 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528518359592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7560] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7560/stat : 7560 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528517306792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7561] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7561/stat : 7561 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528516253992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 15079 0 0 0 144 2 0 0 20 0 22 0 105613127 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=1.17 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12677 0 0 0 114 3 0 0 20 0 22 0 105613127 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7577] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7577/stat : 7577 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105613255 10060525568 46679 33554432000 1073741824 1073778376 140733339221104 140527499449256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 9824732 [startup+6.30078 s] /proc/loadavg: 3.93 4.07 4.08 5/217 7589 /proc/meminfo: memFree=30409120/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9824732 CPUtime=11.95 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 31682 0 1 0 1177 18 0 0 20 0 22 0 105613121 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2456183 53310 2293 9 0 2446860 0 [pid=7552/tid=7554] ppid=7549 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/7552/task/7554/stat : 7554 (java) S 7549 7552 955 0 -1 4202560 2471 0 1 0 80 2 0 0 20 0 22 0 105613122 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528561079160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7555] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7555/stat : 7555 (java) S 7549 7552 955 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528522570792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7556] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7556/stat : 7556 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528521517992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7557] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7557/stat : 7557 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528520465192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7558] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7558/stat : 7558 (java) S 7549 7552 955 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528519412392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7559] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7559/stat : 7559 (java) S 7549 7552 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528518359592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7560] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7560/stat : 7560 (java) S 7549 7552 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528517306792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7561] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7561/stat : 7561 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528516253992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105613124 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 15085 0 0 0 160 2 0 0 20 0 22 0 105613127 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12681 0 0 0 125 3 0 0 20 0 22 0 105613127 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7577] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7577/stat : 7577 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105613255 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140527499449256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7587] ppid=7549 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/7552/task/7587/stat : 7587 (java) R 7549 7552 955 0 -1 4202560 3 0 0 0 186 0 0 0 20 0 22 0 105613563 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140527502605520 140528395135197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7588] ppid=7549 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/7552/task/7588/stat : 7588 (java) R 7549 7552 955 0 -1 4202560 3 0 0 0 186 0 0 0 20 0 22 0 105613563 10060525568 53310 33554432000 1073741824 1073778376 140733339221104 140527501553016 140528394004256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7589] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 667 0 0 0 195 20 0 0 20 0 22 0 105613124 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=5.3 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 1259 0 0 0 521 9 0 0 20 0 22 0 105613125 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 15101 0 0 0 183 2 0 0 20 0 22 0 105613127 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12694 0 0 0 170 3 0 0 20 0 22 0 105613127 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 51 0 0 0 6 7 0 0 20 0 22 0 105613127 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7589] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7589/stat : 7589 (java) S 7549 7552 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105613563 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527500502440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7717] ppid=7549 vsize=9824732 CPUtime=55.75 cores=1,3,5,7 /proc/7552/task/7717/stat : 7717 (java) R 7549 7552 955 0 -1 4202560 4 0 0 0 5575 0 0 0 20 0 22 0 105695711 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527502598256 140528394985366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7718] ppid=7549 vsize=9824732 CPUtime=55.76 cores=1,3,5,7 /proc/7552/task/7718/stat : 7718 (java) R 7549 7552 955 0 -1 4202560 6 0 0 0 5576 0 0 0 20 0 22 0 105695711 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527499447424 140528394524109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7719] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7719/stat : 7719 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695712 10060525568 420084 33554432000 1073741824 1073778376 140733339221104 140527501554600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1759.71 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.501 s] /proc/loadavg: 4.21 4.15 4.10 5/217 7720 /proc/meminfo: memFree=28341176/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9824732 CPUtime=1796.44 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 43235 0 1 0 179437 207 0 0 20 0 22 0 105613121 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2456183 424731 2302 9 0 2446860 0 [pid=7552/tid=7554] ppid=7549 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/7552/task/7554/stat : 7554 (java) S 7549 7552 955 0 -1 4202560 2485 0 1 0 85 3 0 0 20 0 22 0 105613122 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528561079160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7555] ppid=7549 vsize=9824732 CPUtime=2.14 cores=1,3,5,7 /proc/7552/task/7555/stat : 7555 (java) S 7549 7552 955 0 -1 4202560 1083 0 0 0 197 17 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528522570792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7556] ppid=7549 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/7552/task/7556/stat : 7556 (java) S 7549 7552 955 0 -1 4202560 1415 0 0 0 219 19 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528521517992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7557] ppid=7549 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/7552/task/7557/stat : 7557 (java) S 7549 7552 955 0 -1 4202560 1393 0 0 0 205 18 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528520465192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7558] ppid=7549 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/7552/task/7558/stat : 7558 (java) S 7549 7552 955 0 -1 4202560 1080 0 0 0 191 16 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528519412392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7559] ppid=7549 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/7552/task/7559/stat : 7559 (java) S 7549 7552 955 0 -1 4202560 1169 0 0 0 185 20 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528518359592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7560] ppid=7549 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/7552/task/7560/stat : 7560 (java) S 7549 7552 955 0 -1 4202560 978 0 0 0 205 18 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528517306792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7561] ppid=7549 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/7552/task/7561/stat : 7561 (java) S 7549 7552 955 0 -1 4202560 1253 0 0 0 231 19 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528516253992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 675 0 0 0 212 20 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=5.3 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 1282 0 0 0 521 9 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 15101 0 0 0 183 2 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12694 0 0 0 170 3 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 51 0 0 0 6 7 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7589] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7589/stat : 7589 (java) S 7549 7552 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105613563 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527500502440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7717] ppid=7549 vsize=9824732 CPUtime=73.72 cores=1,3,5,7 /proc/7552/task/7717/stat : 7717 (java) R 7549 7552 955 0 -1 4202560 4 0 0 0 7371 1 0 0 20 0 22 0 105695711 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527502605120 140528395171517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7718] ppid=7549 vsize=9824732 CPUtime=73.73 cores=1,3,5,7 /proc/7552/task/7718/stat : 7718 (java) R 7549 7552 955 0 -1 4202560 6 0 0 0 7372 1 0 0 20 0 22 0 105695711 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527499447664 140528395162444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7719] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7719/stat : 7719 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695712 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527501554600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7552 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.501 s] /proc/loadavg: 4.21 4.15 4.10 5/217 7720 /proc/meminfo: memFree=28341176/32872528 swapFree=13256/481332 [pid=7552] ppid=7549 vsize=9824732 CPUtime=1796.44 cores=1,3,5,7 /proc/7552/stat : 7552 (java) S 7549 7552 955 0 -1 4202496 43235 0 1 0 179437 207 0 0 20 0 22 0 105613121 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140733339212240 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7552/statm: 2456183 424731 2302 9 0 2446860 0 [pid=7552/tid=7554] ppid=7549 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/7552/task/7554/stat : 7554 (java) S 7549 7552 955 0 -1 4202560 2485 0 1 0 85 3 0 0 20 0 22 0 105613122 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528561079160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7555] ppid=7549 vsize=9824732 CPUtime=2.14 cores=1,3,5,7 /proc/7552/task/7555/stat : 7555 (java) S 7549 7552 955 0 -1 4202560 1083 0 0 0 197 17 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528522570792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7556] ppid=7549 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/7552/task/7556/stat : 7556 (java) S 7549 7552 955 0 -1 4202560 1415 0 0 0 219 19 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528521517992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7557] ppid=7549 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/7552/task/7557/stat : 7557 (java) S 7549 7552 955 0 -1 4202560 1393 0 0 0 205 18 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528520465192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7558] ppid=7549 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/7552/task/7558/stat : 7558 (java) S 7549 7552 955 0 -1 4202560 1080 0 0 0 191 16 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528519412392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7559] ppid=7549 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/7552/task/7559/stat : 7559 (java) S 7549 7552 955 0 -1 4202560 1169 0 0 0 185 20 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528518359592 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7560] ppid=7549 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/7552/task/7560/stat : 7560 (java) S 7549 7552 955 0 -1 4202560 978 0 0 0 205 18 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528517306792 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7561] ppid=7549 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/7552/task/7561/stat : 7561 (java) S 7549 7552 955 0 -1 4202560 1253 0 0 0 231 19 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528516253992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7562] ppid=7549 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/7552/task/7562/stat : 7562 (java) S 7549 7552 955 0 -1 4202560 675 0 0 0 212 20 0 0 20 0 22 0 105613124 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528515201192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7552/tid=7563] ppid=7549 vsize=9824732 CPUtime=5.3 cores=1,3,5,7 /proc/7552/task/7563/stat : 7563 (java) S 7549 7552 955 0 -1 4202560 1282 0 0 0 521 9 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528384433128 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7564] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7564/stat : 7564 (java) S 7549 7552 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528383379192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7565] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7565/stat : 7565 (java) S 7549 7552 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105613125 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528382326280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7566] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7566/stat : 7566 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528381274768 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7567] ppid=7549 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/7552/task/7567/stat : 7567 (java) S 7549 7552 955 0 -1 4202560 15101 0 0 0 183 2 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528380221880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7568] ppid=7549 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/7552/task/7568/stat : 7568 (java) S 7549 7552 955 0 -1 4202560 12694 0 0 0 170 3 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140528379169080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7569] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7569/stat : 7569 (java) S 7549 7552 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527504714104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7570] ppid=7549 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/7552/task/7570/stat : 7570 (java) S 7549 7552 955 0 -1 4202560 51 0 0 0 6 7 0 0 20 0 22 0 105613127 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527503661512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7589] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7589/stat : 7589 (java) S 7549 7552 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105613563 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527500502440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7552/tid=7717] ppid=7549 vsize=9824732 CPUtime=73.72 cores=1,3,5,7 /proc/7552/task/7717/stat : 7717 (java) R 7549 7552 955 0 -1 4202560 4 0 0 0 7371 1 0 0 20 0 22 0 105695711 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527502605120 140528395171517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7552/tid=7718] ppid=7549 vsize=9824732 CPUtime=73.73 cores=1,3,5,7 /proc/7552/task/7718/stat : 7718 (java) R 7549 7552 955 0 -1 4202560 6 0 0 0 7372 1 0 0 20 0 22 0 105695711 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527499447664 140528395162444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7552/tid=7719] ppid=7549 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/7552/task/7719/stat : 7719 (java) S 7549 7552 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695712 10060525568 424731 33554432000 1073741824 1073778376 140733339221104 140527501554600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7552 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=57261 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=263655 # CPU time returned by wait4() is 1796.32 # while last known CPU time is 1796.44 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.7099 # lost CPU user time (s): 3.92987 # lost CPU system time (s): -0.22 Real time (s): 900.568 CPU time (s): 1800.15 CPU user time (s): 1798.3 CPU system time (s): 1.85 CPU usage (%): 199.89 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.06 system time used= 2.26365 maximum resident set size= 1699036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43274 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25053 involuntary context switches= 33879 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.18221 second user time and 6.96494 second system time The end
Begin job on node104 at 2016-06-06 20:13:03 IDJOB=4081469 IDBENCH=24985 IDSOLVER=2543 FILE ID=node104/4081469-1465236783 RUNJOBID= node104-1465220812-974 PBS_JOBID= 19843225 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081469-1465236783/watcher-4081469-1465236783 -o /tmp/evaluation-result-4081469-1465236783/solver-4081469-1465236783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081469-1465236783.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025 RANDOM SEED=1716719911 node104.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.775 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.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.55 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.775 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30636364 kB Buffers: 28304 kB Cached: 100340 kB SwapCached: 1720 kB Active: 985636 kB Inactive: 68356 kB Active(anon): 925740 kB Inactive(anon): 2356 kB Active(file): 59896 kB Inactive(file): 66000 kB Unevictable: 481332 kB Mlocked: 13256 kB SwapTotal: 67108856 kB SwapFree: 67097232 kB Dirty: 1408 kB Writeback: 0 kB AnonPages: 1408380 kB Mapped: 15508 kB Shmem: 0 kB Slab: 566388 kB SReclaimable: 10476 kB SUnreclaim: 555912 kB KernelStack: 1608 kB PageTables: 6764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1706440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1323008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node104 at 2016-06-06 20:28:03