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