Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 35 | 1800.15 | 899.072 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb |
| MD5SUM | d869c2ae266497675d66f161576eaac8 |
| 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 | 26 |
| Best CPU time to get the best result obtained on this benchmark | 4.16237 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 29 |
| Optimality of the best value was proved | NO |
| Number of variables | 11729 |
| Total number of constraints | 36747 |
| Number of constraints which are clauses | 36747 |
| 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 | 5750 |
| 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 | 5750 |
| 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 | 5750 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4081463-1465237886.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 1.95/0.84 c ... done. Wall clock time 0.718s. 1.95/0.84 c declared #vars 11729 1.95/0.84 c #constraints 36747 1.95/0.84 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.95/0.84 c constraints type 1.95/0.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5988 1.95/0.84 c org.sat4j.minisat.constraints.cnf.UnitClause => 1140 1.95/0.84 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29619 1.95/0.84 c 36747 constraints processed. 1.95/0.84 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.95/0.84 c constraints type 1.95/0.84 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29619 1.95/0.84 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5988 1.95/0.84 c org.sat4j.pb.constraints.pb.UnitClausePB => 1140 1.95/0.84 c 36747 constraints processed. 1.95/0.84 c objective function length is 5750 literals 2.69/1.07 c And the winner is solver1 3.28/1.35 c SATISFIABLE 3.28/1.35 c OPTIMIZING... 3.28/1.35 c Got one! Elapsed wall clock time (in seconds):1.23 3.28/1.35 o 41 3.43/1.40 c And the winner is solver1 3.53/1.88 c Got one! Elapsed wall clock time (in seconds):1.759 3.53/1.88 o 37 12.51/6.07 c cleaning 2502 clauses out of 5008 with flag 20421/5008 22.76/11.04 c cleaning 4222 clauses out of 8505 with flag 42538/11007 33.79/16.51 c cleaning 5642 clauses out of 11283 with flag 75811/18007 47.24/23.22 c cleaning 6811 clauses out of 13641 with flag 121512/26007 61.93/30.57 c cleaning 7911 clauses out of 15831 with flag 172391/35008 78.61/38.86 c cleaning 8942 clauses out of 17919 with flag 231946/45007 96.40/47.78 c cleaning 9970 clauses out of 19977 with flag 295440/56007 114.89/56.90 c cleaning 11003 clauses out of 22009 with flag 357694/68009 134.78/66.89 c cleaning 11970 clauses out of 24004 with flag 438083/81007 156.46/77.53 c cleaning 13000 clauses out of 26034 with flag 516673/95007 177.77/88.18 c cleaning 13982 clauses out of 28034 with flag 590730/110007 205.05/101.79 c cleaning 15016 clauses out of 30052 with flag 682587/126007 234.80/116.55 c cleaning 16018 clauses out of 32036 with flag 790076/143007 266.55/132.35 c cleaning 16983 clauses out of 34018 with flag 881656/161007 302.28/150.14 c cleaning 17978 clauses out of 36036 with flag 1003596/180008 305.97/151.92 c And the winner is solver1 305.97/151.96 c Got one! Elapsed wall clock time (in seconds):151.84 305.97/151.96 o 36 311.82/154.92 c cleaning 11914 clauses out of 23827 with flag 18535/185777 322.30/160.13 c cleaning 8957 clauses out of 17913 with flag 52777/191777 334.56/166.22 c cleaning 7964 clauses out of 15956 with flag 93181/198777 348.00/172.96 c cleaning 7973 clauses out of 15992 with flag 138432/206777 365.09/181.80 c cleaning 8505 clauses out of 17020 with flag 186335/215778 380.93/189.76 c cleaning 9252 clauses out of 18514 with flag 243567/225777 399.86/199.13 c cleaning 10116 clauses out of 20262 with flag 310644/236777 419.95/209.16 c cleaning 11063 clauses out of 22148 with flag 391408/248779 442.22/220.12 c cleaning 12039 clauses out of 24084 with flag 476243/261778 467.09/232.58 c cleaning 13018 clauses out of 26051 with flag 560981/275784 491.95/244.97 c cleaning 13987 clauses out of 28026 with flag 656292/290777 509.20/253.51 c And the winner is solver1 509.20/253.65 c Got one! Elapsed wall clock time (in seconds):253.533 509.20/253.65 o 35 516.52/257.30 c cleaning 14647 clauses out of 29298 with flag 22783/306036 524.95/261.55 c cleaning 10319 clauses out of 20650 with flag 52269/312035 535.44/266.73 c cleaning 8649 clauses out of 17331 with flag 88473/319035 547.54/272.79 c cleaning 8341 clauses out of 16682 with flag 128363/327035 563.43/280.64 c cleaning 8671 clauses out of 17341 with flag 180522/336035 580.66/289.22 c cleaning 9334 clauses out of 18670 with flag 236232/346035 599.94/298.85 c cleaning 10164 clauses out of 20336 with flag 297011/357035 619.02/308.31 c cleaning 11074 clauses out of 22172 with flag 364931/369035 638.87/318.29 c cleaning 12028 clauses out of 24098 with flag 434450/382035 664.08/330.80 c cleaning 13024 clauses out of 26070 with flag 512650/396035 689.14/343.34 c cleaning 14011 clauses out of 28046 with flag 585208/411035 716.55/357.04 c cleaning 15014 clauses out of 30035 with flag 672886/427035 747.68/372.57 c cleaning 16002 clauses out of 32022 with flag 763134/444036 781.06/389.71 c cleaning 17004 clauses out of 34019 with flag 858489/462035 814.17/406.24 c cleaning 18003 clauses out of 36015 with flag 963274/481035 852.72/425.34 c cleaning 18982 clauses out of 38014 with flag 1082692/501037 892.79/445.21 c cleaning 20014 clauses out of 40030 with flag 1209543/522035 932.29/465.00 c cleaning 21000 clauses out of 42016 with flag 1333380/544035 975.26/486.38 c cleaning 22008 clauses out of 44016 with flag 1467508/567035 1020.78/509.03 c cleaning 23005 clauses out of 46009 with flag 1609872/591036 1067.47/532.39 c cleaning 23998 clauses out of 48003 with flag 1750905/616035 1116.23/556.69 c cleaning 25001 clauses out of 50005 with flag 1888830/642035 1170.43/584.38 c cleaning 25979 clauses out of 52004 with flag 2040511/669035 1222.10/609.97 c cleaning 27005 clauses out of 54025 with flag 2190896/697035 1275.56/636.55 c cleaning 27998 clauses out of 56021 with flag 2342275/726036 1326.87/662.15 c cleaning 29007 clauses out of 58023 with flag 2495720/756036 1379.55/688.34 c cleaning 30006 clauses out of 60015 with flag 2659517/787035 1434.31/715.61 c cleaning 31002 clauses out of 62010 with flag 2834141/819036 1489.65/743.29 c cleaning 31997 clauses out of 64007 with flag 3015239/852035 1555.37/775.92 c cleaning 32985 clauses out of 66010 with flag 3203185/886035 1626.60/811.30 c cleaning 34004 clauses out of 68025 with flag 3401499/921035 1697.62/846.70 c cleaning 35004 clauses out of 70021 with flag 3611023/957035 1770.64/883.02 c cleaning 35987 clauses out of 72017 with flag 3834817/994035 1800.15/899.00 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 1800.15/899.00 c starts : 16498 1800.15/899.00 c conflicts : 1008168 1800.15/899.00 c decisions : 9042703 1800.15/899.00 c propagations : 4152863484 1800.15/899.00 c inspects : 4618792943 1800.15/899.00 c shortcuts : 0 1800.15/899.00 c learnt literals : 0 1800.15/899.00 c learnt binary clauses : 0 1800.15/899.00 c learnt ternary clauses : 34 1800.15/899.00 c learnt constraints : 1008168 1800.15/899.00 c ignored constraints : 0 1800.15/899.00 c root simplifications : 0 1800.15/899.00 c removed literals (reason simplification) : 5254566 1800.15/899.00 c reason swapping (by a shorter reason) : 0 1800.15/899.00 c Calls to reduceDB : 59 1800.15/899.00 c Number of update (reduction) of LBD : 444884 1800.15/899.00 c Imported unit clauses : 0 1800.15/899.00 c number of reductions to clauses (during analyze) : 0 1800.15/899.00 c number of learned constraints concerned by reduction : 0 1800.15/899.00 c number of learning phase by resolution : 0 1800.15/899.00 c number of learning phase by cutting planes : 0 1800.15/899.00 c speed (assignments/second) : 6435115.975355779 1800.15/899.00 c non guided choices 0 1800.15/899.02 c learnt constraints type 1800.15/899.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50163 1800.15/899.02 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 1800.15/899.02 c starts : 14 1800.15/899.02 c conflicts : 1632 1800.15/899.02 c decisions : 287819 1800.15/899.02 c propagations : 1729547 1800.15/899.02 c inspects : 12915177 1800.15/899.02 c shortcuts : 0 1800.15/899.02 c learnt literals : 0 1800.15/899.02 c learnt binary clauses : 0 1800.15/899.02 c learnt ternary clauses : 0 1800.15/899.02 c learnt constraints : 1631 1800.15/899.02 c ignored constraints : 0 1800.15/899.02 c root simplifications : 0 1800.15/899.02 c removed literals (reason simplification) : 0 1800.15/899.02 c reason swapping (by a shorter reason) : 0 1800.15/899.02 c Calls to reduceDB : 0 1800.15/899.02 c Number of update (reduction) of LBD : 0 1800.15/899.02 c Imported unit clauses : 0 1800.15/899.02 c number of reductions to clauses (during analyze) : 0 1800.15/899.02 c number of learned constraints concerned by reduction : 0 1800.15/899.02 c number of learning phase by resolution : 0 1800.15/899.02 c number of learning phase by cutting planes : 0 1800.15/899.02 c speed (assignments/second) : 1925.745837406666 1800.15/899.02 c non guided choices 0 1800.15/899.02 c learnt constraints type 1800.15/899.02 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 80 1800.15/899.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1800.15/899.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1538 1800.15/899.02 s SATISFIABLE 1800.15/899.02 c Found 4 solution(s) 1800.15/899.03 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 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 x10444 x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 x11274 x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 x11292 x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 x11411 x11412 -x11413 -x11414 -x11415 -x11416 x11417 x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 x11569 x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 x11583 x11584 -x11585 -x11586 x11587 x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 x11642 x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 x11690 x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 x11719 x11720 -x11721 -x11722 x11723 x11724 x11725 -x11726 -x11727 x11728 x11729 1800.15/899.05 c objective function=35 1800.15/899.05 c Total wall clock time (in seconds): 898.928
OK 35
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081463-1465237886/watcher-4081463-1465237886 -o /tmp/evaluation-result-4081463-1465237886/solver-4081463-1465237886 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081463-1465237886.opb pid=28149 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.06 4.08 4.09 4/197 28152 /proc/meminfo: memFree=30565044/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/28152/stat : 28152 (java) D 28149 28152 21426 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 105721138 9515008 175 33554432000 1073741824 1073778376 140734882917360 140734882900088 206629061520 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2323 175 133 9 0 71 0 [startup+0.100112 s] /proc/loadavg: 4.06 4.08 4.09 4/197 28152 /proc/meminfo: memFree=30565044/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 4413 0 1 0 8 0 0 0 20 0 18 0 105721138 9787879424 6044 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2389619 6044 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200276 s] /proc/loadavg: 4.06 4.08 4.09 4/197 28152 /proc/meminfo: memFree=30565044/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 4993 0 1 0 26 1 0 0 20 0 18 0 105721138 9787879424 6981 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2389619 6981 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300238 s] /proc/loadavg: 4.06 4.08 4.09 4/197 28152 /proc/meminfo: memFree=30565044/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 5764 0 1 0 48 1 0 0 20 0 18 0 105721138 9787879424 9019 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2389619 9019 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700264 s] /proc/loadavg: 4.06 4.08 4.09 4/197 28152 /proc/meminfo: memFree=30565044/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9559080 CPUtime=1.64 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 24449 0 1 0 159 5 0 0 20 0 18 0 105721138 9788497920 38470 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2389770 38470 2251 9 0 2380447 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9559080 [startup+1.50081 s] /proc/loadavg: 3.90 4.04 4.08 7/217 28174 /proc/meminfo: memFree=30398032/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9824732 CPUtime=3.53 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 27654 0 1 0 343 10 0 0 20 0 19 0 105721138 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2456183 45758 2271 9 0 2446860 0 [pid=28152/tid=28154] ppid=28149 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/28152/task/28154/stat : 28154 (java) S 28149 28152 21426 0 -1 4202560 2464 0 1 0 82 2 0 0 20 0 19 0 105721139 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854575276920 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28155] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28155/stat : 28155 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854547729448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28156] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28156/stat : 28156 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854546676648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28157] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28157/stat : 28157 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854545623848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28158] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28158/stat : 28158 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854544571048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28159] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28159/stat : 28159 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854543518248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28160] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28160/stat : 28160 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854542465448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28161] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28161/stat : 28161 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854541412648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105721140 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105721141 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105721142 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105721142 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721144 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12205 0 0 0 102 3 0 0 20 0 19 0 105721144 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11647 0 0 0 105 3 0 0 20 0 19 0 105721144 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721144 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28170/stat : 28170 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105721144 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853921466824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28173] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28173/stat : 28173 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105721229 10060525568 45758 33554432000 1073741824 1073778376 140736146819248 139853918307752 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 9824732 [startup+3.10085 s] /proc/loadavg: 3.90 4.04 4.08 6/219 28180 /proc/meminfo: memFree=30381376/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9824732 CPUtime=6.34 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 27679 0 1 0 624 10 0 0 20 0 22 0 105721138 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2456183 49358 2272 9 0 2446860 0 [pid=28152/tid=28154] ppid=28149 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/28152/task/28154/stat : 28154 (java) S 28149 28152 21426 0 -1 4202560 2465 0 1 0 84 2 0 0 20 0 22 0 105721139 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854575276920 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28155] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28155/stat : 28155 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854547729448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28156] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28156/stat : 28156 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854546676648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28157] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28157/stat : 28157 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854545623848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28158] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28158/stat : 28158 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854544571048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28159] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28159/stat : 28159 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854543518248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28160] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28160/stat : 28160 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854542465448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28161] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28161/stat : 28161 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854541412648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105721141 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12205 0 0 0 123 3 0 0 20 0 22 0 105721144 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11649 0 0 0 125 3 0 0 20 0 22 0 105721144 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28170/stat : 28170 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853921466824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28173] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28173/stat : 28173 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105721229 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853918307752 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28178] ppid=28149 vsize=9824732 CPUtime=1.17 cores=1,3,5,7 /proc/28152/task/28178/stat : 28178 (java) R 28149 28152 21426 0 -1 4202560 5 0 0 0 117 0 0 0 20 0 22 0 105721328 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853920409872 139854421094226 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28179] ppid=28149 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/28152/task/28179/stat : 28179 (java) R 28149 28152 21426 0 -1 4202560 14 0 0 0 118 0 0 0 20 0 22 0 105721328 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853919358088 139854421085297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28180] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28180/stat : 28180 (java) S 28149 28152 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105721328 10060525568 49358 33554432000 1073741824 1073778376 140736146819248 139853917255208 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 9824732 [startup+6.3008 s] /proc/loadavg: 3.91 4.04 4.08 5/219 28180 /proc/meminfo: memFree=30355872/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9824732 CPUtime=13.17 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 27745 0 1 0 1305 12 0 0 20 0 22 0 105721138 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2456183 53826 2292 9 0 2446860 0 [pid=28152/tid=28154] ppid=28149 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/28152/task/28154/stat : 28154 (java) S 28149 28152 21426 0 -1 4202560 2465 0 1 0 84 2 0 0 20 0 22 0 105721139 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854575276920 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28155] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28155/stat : 28155 (java) S 28149 28152 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854547729448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28156] ppid=28149 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/28152/task/28156/stat : 28156 (java) S 28149 28152 21426 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854546676648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28157] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28157/stat : 28157 (java) S 28149 28152 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854545623848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28158] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28158/stat : 28158 (java) S 28149 28152 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854544571048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28159] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28159/stat : 28159 (java) S 28149 28152 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854543518248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28160] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28160/stat : 28160 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854542465448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28161] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28161/stat : 28161 (java) S 28149 28152 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854541412648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105721140 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105721141 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12208 0 0 0 140 3 0 0 20 0 22 0 105721144 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.53 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11656 0 0 0 150 3 0 0 20 0 22 0 105721144 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 53826 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 602 0 0 0 181 13 0 0 20 0 22 0 105721140 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=3.38 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 1089 0 0 0 332 6 0 0 20 0 22 0 105721141 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12220 0 0 0 161 3 0 0 20 0 22 0 105721144 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11667 0 0 0 178 3 0 0 20 0 22 0 105721144 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/28152/task/28170/stat : 28170 (java) S 28149 28152 21426 0 -1 4202560 46 0 0 0 5 8 0 0 20 0 22 0 105721144 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853921466824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28173] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28173/stat : 28173 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105721229 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853918307752 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28192] ppid=28149 vsize=9824732 CPUtime=561.81 cores=1,3,5,7 /proc/28152/task/28192/stat : 28192 (java) R 28149 28152 21426 0 -1 4202560 28 0 0 0 56173 8 0 0 20 0 22 0 105746504 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853920403360 139854421094226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28193] ppid=28149 vsize=9824732 CPUtime=561.87 cores=1,3,5,7 /proc/28152/task/28193/stat : 28193 (java) R 28149 28152 21426 0 -1 4202560 38 0 0 0 56179 8 0 0 20 0 22 0 105746504 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853919357920 139854420115818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28194] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28194/stat : 28194 (java) S 28149 28152 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105746504 10060525568 322848 33554432000 1073741824 1073778376 140736146819248 139853917254440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1647.58 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 2.05 2.98 3.63 3/191 28245 /proc/meminfo: memFree=30001212/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9824732 CPUtime=1768.24 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 34990 0 1 0 176662 162 0 0 20 0 22 0 105721138 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2456183 356695 2302 9 0 2446860 0 [pid=28152/tid=28154] ppid=28149 vsize=9824732 CPUtime=0.9 cores=1,3,5,7 /proc/28152/task/28154/stat : 28154 (java) S 28149 28152 21426 0 -1 4202560 2469 0 1 0 87 3 0 0 20 0 22 0 105721139 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854575276920 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28155] ppid=28149 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/28152/task/28155/stat : 28155 (java) S 28149 28152 21426 0 -1 4202560 707 0 0 0 174 16 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854547729448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28156] ppid=28149 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/28152/task/28156/stat : 28156 (java) S 28149 28152 21426 0 -1 4202560 736 0 0 0 182 15 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854546676648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28157] ppid=28149 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/28152/task/28157/stat : 28157 (java) S 28149 28152 21426 0 -1 4202560 620 0 0 0 196 16 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854545623848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28158] ppid=28149 vsize=9824732 CPUtime=2.36 cores=1,3,5,7 /proc/28152/task/28158/stat : 28158 (java) S 28149 28152 21426 0 -1 4202560 760 0 0 0 221 15 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854544571048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28159] ppid=28149 vsize=9824732 CPUtime=2.01 cores=1,3,5,7 /proc/28152/task/28159/stat : 28159 (java) S 28149 28152 21426 0 -1 4202560 672 0 0 0 185 16 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854543518248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28160] ppid=28149 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/28152/task/28160/stat : 28160 (java) S 28149 28152 21426 0 -1 4202560 793 0 0 0 187 15 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854542465448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28161] ppid=28149 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/28152/task/28161/stat : 28161 (java) S 28149 28152 21426 0 -1 4202560 1071 0 0 0 205 17 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854541412648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 634 0 0 0 195 14 0 0 20 0 22 0 105721140 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=3.38 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 1115 0 0 0 332 6 0 0 20 0 22 0 105721141 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12220 0 0 0 161 3 0 0 20 0 22 0 105721144 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11667 0 0 0 178 3 0 0 20 0 22 0 105721144 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/28152/task/28170/stat : 28170 (java) S 28149 28152 21426 0 -1 4202560 50 0 0 0 6 9 0 0 20 0 22 0 105721144 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853921466824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28173] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28173/stat : 28173 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105721229 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853918307752 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28192] ppid=28149 vsize=9824732 CPUtime=621.3 cores=1,3,5,7 /proc/28152/task/28192/stat : 28192 (java) R 28149 28152 21426 0 -1 4202560 30 0 0 0 62121 9 0 0 20 0 22 0 105746504 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853920411072 139854420159663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28193] ppid=28149 vsize=9824732 CPUtime=621.35 cores=1,3,5,7 /proc/28152/task/28193/stat : 28193 (java) R 28149 28152 21426 0 -1 4202560 39 0 0 0 62126 9 0 0 20 0 22 0 105746504 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853919357008 139854420752944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28194] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28194/stat : 28194 (java) S 28149 28152 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105746504 10060525568 356695 33554432000 1073741824 1073778376 140736146819248 139853917254440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1768.24 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.001 s] /proc/loadavg: 2.03 2.93 3.60 3/191 28245 /proc/meminfo: memFree=29956028/32872528 swapFree=12328/568296 [pid=28152] ppid=28149 vsize=9824732 CPUtime=1799.14 cores=1,3,5,7 /proc/28152/stat : 28152 (java) S 28149 28152 21426 0 -1 4202496 35701 0 1 0 179748 166 0 0 20 0 22 0 105721138 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 140736146810384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28152/statm: 2456183 368099 2302 9 0 2446860 0 [pid=28152/tid=28154] ppid=28149 vsize=9824732 CPUtime=0.9 cores=1,3,5,7 /proc/28152/task/28154/stat : 28154 (java) S 28149 28152 21426 0 -1 4202560 2470 0 1 0 87 3 0 0 20 0 22 0 105721139 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854575276920 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28155] ppid=28149 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/28152/task/28155/stat : 28155 (java) S 28149 28152 21426 0 -1 4202560 724 0 0 0 180 17 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854547729448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28156] ppid=28149 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/28152/task/28156/stat : 28156 (java) S 28149 28152 21426 0 -1 4202560 743 0 0 0 190 16 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854546676648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28157] ppid=28149 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/28152/task/28157/stat : 28157 (java) S 28149 28152 21426 0 -1 4202560 624 0 0 0 203 16 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854545623848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28158] ppid=28149 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/28152/task/28158/stat : 28158 (java) S 28149 28152 21426 0 -1 4202560 761 0 0 0 225 15 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854544571048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28159] ppid=28149 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/28152/task/28159/stat : 28159 (java) S 28149 28152 21426 0 -1 4202560 680 0 0 0 193 16 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854543518248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28160] ppid=28149 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/28152/task/28160/stat : 28160 (java) S 28149 28152 21426 0 -1 4202560 798 0 0 0 195 15 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854542465448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28161] ppid=28149 vsize=9824732 CPUtime=2.26 cores=1,3,5,7 /proc/28152/task/28161/stat : 28161 (java) S 28149 28152 21426 0 -1 4202560 1078 0 0 0 208 18 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854541412648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28162] ppid=28149 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/28152/task/28162/stat : 28162 (java) S 28149 28152 21426 0 -1 4202560 648 0 0 0 203 15 0 0 20 0 22 0 105721140 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139854540359848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28163] ppid=28149 vsize=9824732 CPUtime=6.12 cores=1,3,5,7 /proc/28152/task/28163/stat : 28163 (java) S 28149 28152 21426 0 -1 4202560 1760 0 0 0 605 7 0 0 20 0 22 0 105721141 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853928836072 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28164] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28164/stat : 28164 (java) S 28149 28152 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853927782136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28165] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28165/stat : 28165 (java) S 28149 28152 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105721142 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853926729224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28166] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28166/stat : 28166 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853925677712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28167] ppid=28149 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/28152/task/28167/stat : 28167 (java) S 28149 28152 21426 0 -1 4202560 12220 0 0 0 161 3 0 0 20 0 22 0 105721144 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853924624824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28168] ppid=28149 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/28152/task/28168/stat : 28168 (java) S 28149 28152 21426 0 -1 4202560 11667 0 0 0 178 3 0 0 20 0 22 0 105721144 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853923572024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28169] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28169/stat : 28169 (java) S 28149 28152 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105721144 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853922519416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28152/tid=28170] ppid=28149 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/28152/task/28170/stat : 28170 (java) S 28149 28152 21426 0 -1 4202560 52 0 0 0 6 9 0 0 20 0 22 0 105721144 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853921466824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28173] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28173/stat : 28173 (java) S 28149 28152 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105721229 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853918307752 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28152/tid=28192] ppid=28149 vsize=9824732 CPUtime=635.07 cores=1,3,5,7 /proc/28152/task/28192/stat : 28192 (java) R 28149 28152 21426 0 -1 4202560 30 0 0 0 63498 9 0 0 20 0 22 0 105746504 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853920410224 139854420707200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28152/tid=28193] ppid=28149 vsize=9824732 CPUtime=635.12 cores=1,3,5,7 /proc/28152/task/28193/stat : 28193 (java) R 28149 28152 21426 0 -1 4202560 39 0 0 0 63503 9 0 0 20 0 22 0 105746504 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853919358144 139854421085135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28152/tid=28194] ppid=28149 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28152/task/28194/stat : 28194 (java) S 28149 28152 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105746504 10060525568 368099 33554432000 1073741824 1073778376 140736146819248 139853917254440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 28152 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28152 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=260230 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=20692 # CPU time returned by wait4() is 1796.28 # while last known CPU time is 1799.14 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.01001 # lost CPU user time (s): 1.09003 # lost CPU system time (s): -0.08 Real time (s): 899.072 CPU time (s): 1800.15 CPU user time (s): 1798.57 CPU system time (s): 1.58 CPU usage (%): 200.223 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.26 system time used= 2.02069 maximum resident set size= 1472508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35739 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24248 involuntary context switches= 31336 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.31519 second user time and 7.31189 second system time The end
Begin job on node138 at 2016-06-06 20:31:26 IDJOB=4081463 IDBENCH=24994 IDSOLVER=2543 FILE ID=node138/4081463-1465237886 RUNJOBID= node138-1465221375-21443 PBS_JOBID= 19843229 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081463-1465237886/watcher-4081463-1465237886 -o /tmp/evaluation-result-4081463-1465237886/solver-4081463-1465237886 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081463-1465237886.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d869c2ae266497675d66f161576eaac8 RANDOM SEED=1148732259 node138.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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 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.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30565424 kB Buffers: 33316 kB Cached: 98600 kB SwapCached: 46416 kB Active: 906404 kB Inactive: 116852 kB Active(anon): 846152 kB Inactive(anon): 47172 kB Active(file): 60252 kB Inactive(file): 69680 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053464 kB Dirty: 1676 kB Writeback: 0 kB AnonPages: 1428400 kB Mapped: 15376 kB Shmem: 0 kB Slab: 568204 kB SReclaimable: 11876 kB SUnreclaim: 556328 kB KernelStack: 1608 kB PageTables: 6804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1666540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1341440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node138 at 2016-06-06 20:46:25