Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1800.17 | 914.443 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_3.opb |
| MD5SUM | e8b41d97566c10d69baac452b7d02eb7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4527423 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.2.v20120418 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 501472288 0.02/0.09 c Max memory 7480803328 0.02/0.09 c Total memory 504102912 0.02/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3690198-1337888902.opb 0.09/0.11 c reading problem ... 1.68/0.70 c ... done. Wall clock time 0.585s. 1.68/0.70 c declared #vars 9940 1.68/0.70 c #constraints 24510 1.68/0.70 c constraints type 1.68/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.68/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.68/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.68/0.70 c ignored satisfied constraints => 2 1.68/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.68/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.68/0.70 c 24512 constraints processed. 1.68/0.70 c constraints type 1.68/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.68/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.68/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.68/0.70 c ignored satisfied constraints => 2 1.68/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.68/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.68/0.70 c 24512 constraints processed. 1.68/0.70 c objective function length is 9730 literals 2.87/1.08 c And the winner is solver0 3.23/1.21 c SATISFIABLE 3.23/1.21 c OPTIMIZING... 3.23/1.21 c Got one! Elapsed wall clock time (in seconds):1.095 3.23/1.21 o 6173079 10.18/4.44 c cleaning 2624 clauses out of 5250 with flag 5001/5260 13.87/6.21 c cleaning 4308 clauses out of 8625 with flag 11000/11259 18.23/8.45 c And the winner is solver1 18.35/8.83 c Got one! Elapsed wall clock time (in seconds):8.72 18.35/8.83 o 4874561 21.69/10.42 c cleaning 8128 clauses out of 16267 with flag 5000/23210 25.27/12.28 c cleaning 7065 clauses out of 14140 with flag 11001/29211 28.92/14.12 c cleaning 7030 clauses out of 14075 with flag 18001/36211 32.79/16.12 c cleaning 7520 clauses out of 15044 with flag 26000/44210 37.27/18.42 c cleaning 8258 clauses out of 16525 with flag 35001/53211 41.97/20.88 c cleaning 9129 clauses out of 18266 with flag 45000/63210 47.57/23.71 c cleaning 10057 clauses out of 20138 with flag 56001/74211 53.27/26.70 c cleaning 11037 clauses out of 22080 with flag 68000/86210 59.75/29.98 c cleaning 12020 clauses out of 24043 with flag 81000/99210 66.62/33.46 c cleaning 13005 clauses out of 26024 with flag 95001/113211 74.03/37.21 c cleaning 14009 clauses out of 28018 with flag 110000/128210 81.89/41.28 c cleaning 14999 clauses out of 30010 with flag 126001/144211 90.37/45.51 c cleaning 16000 clauses out of 32011 with flag 143001/161211 99.04/49.97 c cleaning 17004 clauses out of 34011 with flag 161001/179211 108.62/54.85 c cleaning 17997 clauses out of 36007 with flag 180001/198211 118.48/59.80 c cleaning 19004 clauses out of 38011 with flag 200002/218212 128.74/65.04 c cleaning 20001 clauses out of 40005 with flag 221000/239210 139.41/70.47 c cleaning 20996 clauses out of 42005 with flag 243001/261211 150.65/76.19 c cleaning 22003 clauses out of 44008 with flag 266000/284210 162.50/82.17 c cleaning 22999 clauses out of 46005 with flag 290000/308210 174.96/88.41 c cleaning 23999 clauses out of 48006 with flag 315000/333210 187.81/94.91 c cleaning 25001 clauses out of 50007 with flag 341000/359210 201.22/101.74 c cleaning 26002 clauses out of 52006 with flag 368000/386210 215.29/108.83 c cleaning 26997 clauses out of 54004 with flag 396000/414210 229.73/116.14 c cleaning 28000 clauses out of 56008 with flag 425001/443211 244.78/123.74 c cleaning 28999 clauses out of 58007 with flag 455000/473210 260.73/131.88 c cleaning 29999 clauses out of 60009 with flag 486001/504211 276.78/139.94 c cleaning 31001 clauses out of 62009 with flag 518000/536210 293.41/148.31 c cleaning 32001 clauses out of 64009 with flag 551001/569211 310.47/156.94 c cleaning 32999 clauses out of 66007 with flag 585000/603210 328.00/165.88 c cleaning 33998 clauses out of 68009 with flag 620001/638211 346.22/175.01 c cleaning 35003 clauses out of 70011 with flag 656001/674211 364.88/184.46 c cleaning 36000 clauses out of 72008 with flag 693001/711211 384.09/194.18 c cleaning 37000 clauses out of 74007 with flag 731000/749210 403.95/204.21 c cleaning 37999 clauses out of 76008 with flag 770001/788211 424.52/214.63 c cleaning 38998 clauses out of 78008 with flag 810000/828210 445.68/225.34 c cleaning 40006 clauses out of 80011 with flag 851001/869211 467.85/236.54 c cleaning 40992 clauses out of 82004 with flag 893000/911210 489.78/247.73 c cleaning 42001 clauses out of 84012 with flag 936000/954210 512.09/259.06 c cleaning 43002 clauses out of 86011 with flag 980000/998210 535.00/270.61 c cleaning 44000 clauses out of 88011 with flag 1025002/1043212 558.53/282.59 c cleaning 45003 clauses out of 90010 with flag 1071001/1089211 583.38/295.20 c cleaning 46000 clauses out of 92007 with flag 1118001/1136211 608.22/307.82 c cleaning 46999 clauses out of 94007 with flag 1166001/1184211 633.73/320.73 c cleaning 48003 clauses out of 96007 with flag 1215000/1233210 659.36/333.77 c cleaning 48998 clauses out of 98005 with flag 1265001/1283211 685.89/347.33 c cleaning 50000 clauses out of 100007 with flag 1316001/1334211 712.90/361.02 c cleaning 50996 clauses out of 102007 with flag 1368001/1386211 739.86/374.76 c cleaning 51994 clauses out of 104011 with flag 1421001/1439211 767.44/388.75 c cleaning 53007 clauses out of 106016 with flag 1475000/1493210 796.97/403.80 c cleaning 54002 clauses out of 108009 with flag 1530000/1548210 826.60/418.85 c cleaning 55002 clauses out of 110008 with flag 1586001/1604211 856.14/433.87 c cleaning 55999 clauses out of 112005 with flag 1643000/1661210 886.30/449.12 c cleaning 56998 clauses out of 114006 with flag 1701000/1719210 916.93/464.87 c cleaning 57990 clauses out of 116004 with flag 1760001/1778211 944.49/478.88 c cleaning 58996 clauses out of 118014 with flag 1820001/1838211 972.86/493.28 c cleaning 59995 clauses out of 120018 with flag 1881001/1899211 1003.41/508.76 c cleaning 61000 clauses out of 122023 with flag 1943001/1961211 1034.51/524.68 c cleaning 62000 clauses out of 124022 with flag 2006000/2024210 1069.87/542.53 c cleaning 62999 clauses out of 126022 with flag 2070000/2088210 1104.77/560.29 c cleaning 64004 clauses out of 128024 with flag 2135001/2153211 1136.27/576.25 c cleaning 65004 clauses out of 130020 with flag 2201001/2219211 1169.06/593.06 c cleaning 66000 clauses out of 132016 with flag 2268001/2286211 1203.24/610.76 c cleaning 67004 clauses out of 134015 with flag 2336000/2354210 1237.24/627.91 c cleaning 67996 clauses out of 136011 with flag 2405000/2423210 1271.14/645.32 c cleaning 69004 clauses out of 138015 with flag 2475000/2493210 1305.82/662.99 c cleaning 69999 clauses out of 140011 with flag 2546000/2564210 1341.14/680.88 c cleaning 70999 clauses out of 142012 with flag 2618000/2636210 1377.77/699.43 c cleaning 71997 clauses out of 144013 with flag 2691000/2709210 1415.02/718.58 c cleaning 72997 clauses out of 146016 with flag 2765000/2783210 1452.19/737.32 c cleaning 74005 clauses out of 148021 with flag 2840002/2858212 1489.73/756.39 c cleaning 75003 clauses out of 150014 with flag 2916000/2934210 1528.59/776.00 c cleaning 75998 clauses out of 152011 with flag 2993000/3011210 1567.15/795.82 c cleaning 77001 clauses out of 154014 with flag 3071001/3089211 1606.17/815.61 c cleaning 77999 clauses out of 156012 with flag 3150000/3168210 1645.75/835.74 c cleaning 79001 clauses out of 158014 with flag 3230001/3248211 1687.00/856.59 c cleaning 80006 clauses out of 160013 with flag 3311001/3329211 1729.25/878.26 c cleaning 81000 clauses out of 162006 with flag 3393000/3411210 1771.18/899.52 c cleaning 81999 clauses out of 164006 with flag 3476000/3494210 1800.17/914.41 c starts : 5 1800.17/914.41 c conflicts : 809 1800.17/914.41 c decisions : 16371 1800.17/914.41 c propagations : 753234 1800.17/914.41 c inspects : 37358172 1800.17/914.41 c shortcuts : 0 1800.17/914.41 c learnt literals : 0 1800.17/914.41 c learnt binary clauses : 0 1800.17/914.41 c learnt ternary clauses : 0 1800.17/914.41 c learnt constraints : 808 1800.17/914.41 c ignored constraints : 0 1800.17/914.41 c root simplifications : 0 1800.17/914.41 c removed literals (reason simplification) : 0 1800.17/914.41 c reason swapping (by a shorter reason) : 0 1800.17/914.41 c Calls to reduceDB : 0 1800.17/914.41 c number of reductions to clauses (during analyze) : 0 1800.17/914.41 c number of learned constraints concerned by reduction : 0 1800.17/914.41 c number of learning phase by resolution : 0 1800.17/914.41 c number of learning phase by cutting planes : 0 1800.17/914.41 c speed (assignments/second) : 824.857173206712 1800.17/914.41 c non guided choices 0 1800.17/914.41 c learnt constraints type 1800.17/914.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/914.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 807 1800.17/914.41 c constraints type 1800.17/914.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.17/914.41 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.17/914.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.17/914.41 c ignored satisfied constraints => 2 1800.17/914.41 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.17/914.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.17/914.41 c 24513 constraints processed. 1800.17/914.41 c constraints type 1800.17/914.41 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1800.17/914.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1800.17/914.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.17/914.41 c ignored satisfied constraints => 2 1800.17/914.41 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.17/914.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.17/914.41 c 24513 constraints processed. 1800.17/914.41 s SATISFIABLE 1800.17/914.42 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 1800.17/914.43 c objective function=4874561 1800.17/914.43 c Total wall clock time (in seconds): 914.318
OK 4874561
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690198-1337888902/watcher-3690198-1337888902 -o /tmp/evaluation-result-3690198-1337888902/solver-3690198-1337888902 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690198-1337888902.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.93 3.88 3.86 4/197 26242 /proc/meminfo: memFree=29041612/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/26242/stat : 26242 (java) D 26240 26242 21381 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255015909 9515008 182 33554432000 1073741824 1073778376 140737434198384 140737434189416 270330052277 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/26242/statm: 2323 182 140 9 0 71 0 [startup+0.0496879 s] /proc/loadavg: 3.93 3.88 3.86 4/197 26242 /proc/meminfo: memFree=29041612/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 3060 0 1 0 2 0 0 0 20 0 13 0 255015909 9446973440 3757 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2306390 3757 1707 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100207 s] /proc/loadavg: 3.93 3.88 3.86 4/197 26242 /proc/meminfo: memFree=29041612/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 4324 0 1 0 8 1 0 0 20 0 18 0 255015909 9787813888 5512 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2389603 5512 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300153 s] /proc/loadavg: 3.93 3.88 3.86 4/197 26242 /proc/meminfo: memFree=29041612/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9558412 CPUtime=0.49 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 5571 0 1 0 48 1 0 0 20 0 18 0 255015909 9787813888 9726 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2389603 9729 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700186 s] /proc/loadavg: 3.93 3.88 3.86 4/197 26242 /proc/meminfo: memFree=29041612/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9558412 CPUtime=1.68 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 17976 0 1 0 163 5 0 0 20 0 18 0 255015909 9787813888 30637 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2389603 30637 2243 9 0 2380296 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9558412 [startup+1.50066 s] /proc/loadavg: 4.09 3.91 3.87 6/219 26264 /proc/meminfo: memFree=28914504/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9824668 CPUtime=4.14 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 19937 0 1 0 406 8 0 0 20 0 22 0 255015909 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2456167 43557 2260 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.7 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2493 0 1 0 67 3 0 0 20 0 22 0 255015910 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600938558456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) S 26240 26242 21381 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600762497768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.05 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5208 0 0 0 105 0 0 0 20 0 22 0 255015915 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.05 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 10908 0 0 0 103 2 0 0 20 0 22 0 255015915 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26264] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26264/stat : 26264 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015984 10060460032 43557 33554432000 1073741824 1073778376 140733857670144 140600750917160 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 9824668 [startup+3.10077 s] /proc/loadavg: 4.09 3.91 3.87 5/219 26267 /proc/meminfo: memFree=28856664/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9824668 CPUtime=7.49 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 20063 0 1 0 739 10 0 0 20 0 22 0 255015909 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2456167 48252 2275 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.7 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2493 0 1 0 67 3 0 0 20 0 22 0 255015910 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600938558456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 255015911 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) S 26240 26242 21381 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600762497768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5209 0 0 0 111 0 0 0 20 0 22 0 255015915 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.1 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 10908 0 0 0 108 2 0 0 20 0 22 0 255015915 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26264] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26264/stat : 26264 (java) S 26240 26242 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 255015984 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600750917160 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26265] ppid=26240 vsize=9824668 CPUtime=1.83 cores=0,2,4,6 /proc/26242/task/26265/stat : 26265 (java) R 26240 26242 21381 0 -1 4202560 7 0 0 0 183 0 0 0 20 0 22 0 255016032 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600753021576 140600805351939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26266] ppid=26240 vsize=9824668 CPUtime=1.82 cores=0,2,4,6 /proc/26242/task/26266/stat : 26266 (java) R 26240 26242 21381 0 -1 4202560 19 0 0 0 182 0 0 0 20 0 22 0 255016032 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600754072328 140600805361433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26267] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26267/stat : 26267 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016033 10060460032 48252 33554432000 1073741824 1073778376 140733857670144 140600751969448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 9824668 [startup+6.30078 s] /proc/loadavg: 4.09 3.91 3.87 5/219 26267 /proc/meminfo: memFree=28783744/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9824668 CPUtime=14.02 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 20557 0 1 0 1387 15 0 0 20 0 22 0 255015909 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2456167 66393 2287 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.7 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2495 0 1 0 67 3 0 0 20 0 22 0 255015910 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600938558168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 106 0 0 0 2 0 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 91 0 0 0 4 0 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 102 0 0 0 4 1 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 133 0 0 0 4 1 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 255015911 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) R 26240 26242 21381 0 -1 4202560 103 0 0 0 16 0 0 0 20 0 22 0 255015912 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600762496624 140600945066044 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.2 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5214 0 0 0 120 0 0 0 20 0 22 0 255015915 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 10910 0 0 0 115 2 0 0 20 0 22 0 255015915 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 66393 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/26242/statm: 2456167 247188 2288 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.75 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2540 0 1 0 71 4 0 0 20 0 22 0 255015910 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600938558456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 489 0 0 0 76 6 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 1000 0 0 0 93 8 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 591 0 0 0 89 8 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 546 0 0 0 91 6 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 437 0 0 0 75 7 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 387 0 0 0 83 7 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 396 0 0 0 83 6 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=0.92 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 430 0 0 0 86 6 0 0 20 0 22 0 255015911 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=29.93 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) S 26240 26242 21381 0 -1 4202560 1611 0 0 0 2982 11 0 0 20 0 22 0 255015912 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600762497768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5214 0 0 0 135 0 0 0 20 0 22 0 255015915 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 11441 0 0 0 158 3 0 0 20 0 22 0 255015915 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 47 0 0 0 5 6 0 0 20 0 22 0 255015915 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26267] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26267/stat : 26267 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016033 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600751969448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26268] ppid=26240 vsize=9824668 CPUtime=779.64 cores=0,2,4,6 /proc/26242/task/26268/stat : 26268 (java) R 26240 26242 21381 0 -1 4202560 40 0 0 0 77953 11 0 0 20 0 22 0 255016794 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600753021296 140600805651396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26269] ppid=26240 vsize=9824668 CPUtime=779.55 cores=0,2,4,6 /proc/26242/task/26269/stat : 26269 (java) R 26240 26242 21381 0 -1 4202560 357 0 0 0 77939 16 0 0 20 0 22 0 255016794 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600754072128 140600805486126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26270] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26270/stat : 26270 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016795 10060460032 247188 33554432000 1073741824 1073778376 140733857670144 140600750916904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1618.88 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 1.95 2.77 3.41 3/192 26329 /proc/meminfo: memFree=28436024/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9824668 CPUtime=1736.72 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 27672 0 1 0 173577 95 0 0 20 0 22 0 255015909 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2456167 273972 2288 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.75 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2543 0 1 0 71 4 0 0 20 0 22 0 255015910 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600938558456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 536 0 0 0 93 6 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 1062 0 0 0 113 9 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 623 0 0 0 105 8 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 572 0 0 0 106 6 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 531 0 0 0 94 7 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 403 0 0 0 104 8 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 410 0 0 0 100 7 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=1.14 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 873 0 0 0 107 7 0 0 20 0 22 0 255015911 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=32.8 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) S 26240 26242 21381 0 -1 4202560 1683 0 0 0 3268 12 0 0 20 0 22 0 255015912 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600762497768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5214 0 0 0 135 0 0 0 20 0 22 0 255015915 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 11441 0 0 0 158 3 0 0 20 0 22 0 255015915 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0.12 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 51 0 0 0 6 6 0 0 20 0 22 0 255015915 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26267] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26267/stat : 26267 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016033 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600751969448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26268] ppid=26240 vsize=9824668 CPUtime=836.2 cores=0,2,4,6 /proc/26242/task/26268/stat : 26268 (java) R 26240 26242 21381 0 -1 4202560 42 0 0 0 83608 12 0 0 20 0 22 0 255016794 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600753019424 140600805677510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26269] ppid=26240 vsize=9824668 CPUtime=836.11 cores=0,2,4,6 /proc/26242/task/26269/stat : 26269 (java) R 26240 26242 21381 0 -1 4202560 363 0 0 0 83594 17 0 0 20 0 22 0 255016794 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600754073280 140600805484874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26270] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26270/stat : 26270 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016795 10060460032 273972 33554432000 1073741824 1073778376 140733857670144 140600750916904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1736.72 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.401 s] /proc/loadavg: 1.97 2.69 3.37 3/192 26329 /proc/meminfo: memFree=28388984/32873660 swapFree=7108/7108 [pid=26242] ppid=26240 vsize=9824668 CPUtime=1800.17 cores=0,2,4,6 /proc/26242/stat : 26242 (java) S 26240 26242 21381 0 -1 4202496 28260 0 1 0 179919 98 0 0 20 0 22 0 255015909 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140733857661280 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26242/statm: 2456167 285769 2288 9 0 2446860 0 [pid=26242/tid=26244] ppid=26240 vsize=9824668 CPUtime=0.75 cores=0,2,4,6 /proc/26242/task/26244/stat : 26244 (java) S 26240 26242 21381 0 -1 4202560 2544 0 1 0 71 4 0 0 20 0 22 0 255015910 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600938558456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26245] ppid=26240 vsize=9824668 CPUtime=1.04 cores=0,2,4,6 /proc/26242/task/26245/stat : 26245 (java) S 26240 26242 21381 0 -1 4202560 689 0 0 0 97 7 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600927619880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26246] ppid=26240 vsize=9824668 CPUtime=1.23 cores=0,2,4,6 /proc/26242/task/26246/stat : 26246 (java) S 26240 26242 21381 0 -1 4202560 1062 0 0 0 114 9 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600926567080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26247] ppid=26240 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/26242/task/26247/stat : 26247 (java) S 26240 26242 21381 0 -1 4202560 629 0 0 0 108 8 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600925514792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26248] ppid=26240 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/26242/task/26248/stat : 26248 (java) S 26240 26242 21381 0 -1 4202560 578 0 0 0 110 7 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600924461992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26249] ppid=26240 vsize=9824668 CPUtime=1.03 cores=0,2,4,6 /proc/26242/task/26249/stat : 26249 (java) S 26240 26242 21381 0 -1 4202560 606 0 0 0 96 7 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600923408680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26250] ppid=26240 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/26242/task/26250/stat : 26250 (java) S 26240 26242 21381 0 -1 4202560 425 0 0 0 108 8 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600776800424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26251] ppid=26240 vsize=9824668 CPUtime=1.1 cores=0,2,4,6 /proc/26242/task/26251/stat : 26251 (java) S 26240 26242 21381 0 -1 4202560 562 0 0 0 103 7 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600775748136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26252] ppid=26240 vsize=9824668 CPUtime=1.19 cores=0,2,4,6 /proc/26242/task/26252/stat : 26252 (java) S 26240 26242 21381 0 -1 4202560 1026 0 0 0 112 7 0 0 20 0 22 0 255015911 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600774695336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26242/tid=26253] ppid=26240 vsize=9824668 CPUtime=33.69 cores=0,2,4,6 /proc/26242/task/26253/stat : 26253 (java) S 26240 26242 21381 0 -1 4202560 1700 0 0 0 3356 13 0 0 20 0 22 0 255015912 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600762497768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26254] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26254/stat : 26254 (java) S 26240 26242 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600761443832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26255] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26255/stat : 26255 (java) S 26240 26242 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 255015912 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600760391432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26256] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26256/stat : 26256 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600759339920 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26257] ppid=26240 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/26242/task/26257/stat : 26257 (java) S 26240 26242 21381 0 -1 4202560 5214 0 0 0 135 0 0 0 20 0 22 0 255015915 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600758286520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26258] ppid=26240 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/26242/task/26258/stat : 26258 (java) S 26240 26242 21381 0 -1 4202560 11441 0 0 0 158 3 0 0 20 0 22 0 255015915 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600757233720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26259] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26259/stat : 26259 (java) S 26240 26242 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 255015915 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600756181624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26242/tid=26260] ppid=26240 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/26242/task/26260/stat : 26260 (java) S 26240 26242 21381 0 -1 4202560 53 0 0 0 6 7 0 0 20 0 22 0 255015915 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600755129032 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26267] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26267/stat : 26267 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016033 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600751969448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26268] ppid=26240 vsize=9824668 CPUtime=867.26 cores=0,2,4,6 /proc/26242/task/26268/stat : 26268 (java) R 26240 26242 21381 0 -1 4202560 43 0 0 0 86713 13 0 0 20 0 22 0 255016794 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600753021296 140600805296723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26242/tid=26269] ppid=26240 vsize=9824668 CPUtime=867.17 cores=0,2,4,6 /proc/26242/task/26269/stat : 26269 (java) R 26240 26242 21381 0 -1 4202560 363 0 0 0 86699 18 0 0 20 0 22 0 255016794 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600754072256 140600805486194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26242/tid=26270] ppid=26240 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/26242/task/26270/stat : 26270 (java) S 26240 26242 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 255016795 10060460032 285769 33554432000 1073741824 1073778376 140733857670144 140600750916904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26242 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=579182 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=390788 # CPU time returned by wait4() is 1795.97 # while last known CPU time is 1800.17 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 914.443 CPU time (s): 1800.17 CPU user time (s): 1799.19 CPU system time (s): 0.98 CPU usage (%): 196.86 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.58 system time used= 1.39079 maximum resident set size= 1143192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28290 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24975 involuntary context switches= 28281 runsolver used 3.9614 second user time and 6.77297 second system time The end
Begin job on node117 at 2012-05-24 21:48:22 IDJOB=3690198 IDBENCH=92761 IDSOLVER=2268 FILE ID=node117/3690198-1337888902 RUNJOBID= node117-1337871880-21397 PBS_JOBID= 14620087 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690198-1337888902/watcher-3690198-1337888902 -o /tmp/evaluation-result-3690198-1337888902/solver-3690198-1337888902 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690198-1337888902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e8b41d97566c10d69baac452b7d02eb7 RANDOM SEED=638581580 node117.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 : 2667.148 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 : 5334.29 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 : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.95 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 : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873660 kB MemFree: 29041876 kB Buffers: 232644 kB Cached: 2325596 kB SwapCached: 0 kB Active: 889920 kB Inactive: 2163928 kB Active(anon): 497816 kB Inactive(anon): 0 kB Active(file): 392104 kB Inactive(file): 2163928 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1100 kB Writeback: 0 kB AnonPages: 501836 kB Mapped: 22632 kB Shmem: 200 kB Slab: 638440 kB SReclaimable: 83012 kB SUnreclaim: 555428 kB KernelStack: 1616 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 1090312 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 446464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node117 at 2012-05-24 22:03:38