| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 776 | 1800.82 | 902.393 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
| MD5SUM | 6389567e651775a5f815611581d2023e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 343 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 474 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494177 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494177 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081230-1465223056.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 5.43/3.65 c ... done. Wall clock time 3.534s. 5.43/3.65 c declared #vars 10000 5.43/3.65 c #constraints 656900 5.43/3.65 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.43/3.65 c constraints type 5.43/3.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.43/3.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.43/3.66 c 656900 constraints processed. 5.43/3.66 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.43/3.66 c constraints type 5.43/3.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.43/3.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.43/3.66 c 656900 constraints processed. 5.43/3.66 c objective function length is 10000 literals 6.02/3.89 c And the winner is solver0 6.49/4.17 c SATISFIABLE 6.49/4.17 c OPTIMIZING... 6.49/4.17 c Got one! Elapsed wall clock time (in seconds):4.048 6.49/4.17 o 776 10.84/6.11 c cleaning 2549 clauses out of 5098 with flag 13939/5098 14.71/8.00 c cleaning 4274 clauses out of 8551 with flag 30865/11100 18.81/10.08 c cleaning 5637 clauses out of 11276 with flag 51100/18099 23.80/12.53 c cleaning 6813 clauses out of 13638 with flag 75173/26098 29.72/15.43 c cleaning 7911 clauses out of 15827 with flag 102504/35100 36.36/18.73 c cleaning 8957 clauses out of 17914 with flag 134796/45098 43.57/22.34 c cleaning 9971 clauses out of 19959 with flag 168703/56100 51.99/26.53 c cleaning 10983 clauses out of 21986 with flag 206750/68098 61.06/30.91 c cleaning 12002 clauses out of 24003 with flag 250706/81098 70.64/35.70 c cleaning 13001 clauses out of 26001 with flag 296727/95098 81.24/41.05 c cleaning 13997 clauses out of 28000 with flag 345056/110098 92.66/46.77 c cleaning 14996 clauses out of 30003 with flag 400632/126098 104.65/52.78 c cleaning 15996 clauses out of 32008 with flag 459315/143099 117.69/59.20 c cleaning 17003 clauses out of 34012 with flag 520279/161099 131.31/66.00 c cleaning 18005 clauses out of 36009 with flag 589292/180099 146.11/73.40 c cleaning 19000 clauses out of 38004 with flag 660660/200099 160.72/80.76 c cleaning 20002 clauses out of 40003 with flag 731221/221098 177.32/89.05 c cleaning 21000 clauses out of 42003 with flag 809877/243100 194.31/97.59 c cleaning 21999 clauses out of 44001 with flag 895360/266098 211.91/106.39 c cleaning 22997 clauses out of 46002 with flag 983156/290098 230.12/115.41 c cleaning 23996 clauses out of 48005 with flag 1075346/315098 249.57/124.85 c cleaning 24996 clauses out of 50010 with flag 1169885/341099 268.97/134.54 c cleaning 26007 clauses out of 52013 with flag 1267234/368098 289.77/144.94 c cleaning 27004 clauses out of 54007 with flag 1374879/396099 311.77/155.98 c cleaning 27990 clauses out of 56002 with flag 1492354/425098 334.58/167.31 c cleaning 29000 clauses out of 58014 with flag 1608031/455100 357.97/179.04 c cleaning 30006 clauses out of 60012 with flag 1723020/486098 381.61/190.80 c cleaning 30996 clauses out of 62006 with flag 1847344/518098 406.21/203.13 c cleaning 31994 clauses out of 64011 with flag 1972989/551099 431.02/215.55 c cleaning 32997 clauses out of 66016 with flag 2105987/585098 455.82/227.97 c cleaning 34003 clauses out of 68019 with flag 2232476/620098 484.18/242.40 c cleaning 34990 clauses out of 70017 with flag 2367890/656099 511.17/255.97 c cleaning 36003 clauses out of 72028 with flag 2508524/693100 538.78/269.72 c cleaning 37003 clauses out of 74023 with flag 2658707/731098 568.18/284.42 c cleaning 38010 clauses out of 76020 with flag 2807778/770098 599.98/300.35 c cleaning 38994 clauses out of 78010 with flag 2962698/810098 632.39/316.58 c cleaning 40008 clauses out of 80018 with flag 3120050/851100 665.88/332.93 c cleaning 40988 clauses out of 82008 with flag 3283033/893098 699.69/349.88 c cleaning 41999 clauses out of 84020 with flag 3449703/936098 734.29/367.18 c cleaning 42998 clauses out of 86021 with flag 3614520/980098 769.50/384.78 c cleaning 44005 clauses out of 88023 with flag 3788092/1025098 809.34/405.24 c cleaning 45001 clauses out of 90018 with flag 3971703/1071098 844.17/422.65 c cleaning 45994 clauses out of 92017 with flag 4162275/1118098 879.77/440.45 c cleaning 46997 clauses out of 94023 with flag 4351606/1166098 917.97/459.59 c cleaning 48001 clauses out of 96026 with flag 4552594/1215098 959.58/480.36 c cleaning 49002 clauses out of 98025 with flag 4766560/1265098 1000.40/500.78 c cleaning 50006 clauses out of 100023 with flag 4972338/1316098 1043.38/521.76 c cleaning 51006 clauses out of 102018 with flag 5188435/1368099 1088.58/544.39 c cleaning 52006 clauses out of 104013 with flag 5411129/1421100 1133.78/566.91 c cleaning 53002 clauses out of 106005 with flag 5644693/1475098 1180.59/590.37 c cleaning 53998 clauses out of 108003 with flag 5889895/1530098 1233.94/618.52 c cleaning 54997 clauses out of 110005 with flag 6126879/1586098 1286.53/644.44 c cleaning 55998 clauses out of 112008 with flag 6371274/1643098 1333.71/668.00 c cleaning 56997 clauses out of 114010 with flag 6604647/1701098 1387.50/696.75 c cleaning 57996 clauses out of 116013 with flag 6843345/1760098 1438.28/722.12 c cleaning 59001 clauses out of 118017 with flag 7095439/1820098 1491.46/748.76 c cleaning 60002 clauses out of 120016 with flag 7353902/1881098 1543.64/774.61 c cleaning 61003 clauses out of 122014 with flag 7610692/1943098 1596.81/801.26 c cleaning 61995 clauses out of 124011 with flag 7871005/2006098 1656.00/830.85 c cleaning 62996 clauses out of 126016 with flag 8147748/2070098 1711.69/858.48 c cleaning 63992 clauses out of 128020 with flag 8424992/2135098 1766.47/885.80 c cleaning 65007 clauses out of 130028 with flag 8701639/2201098 1800.16/902.30 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.16/902.30 c starts : 5 1800.16/902.30 c conflicts : 2241809 1800.16/902.30 c decisions : 4797833 1800.16/902.30 c propagations : 438849048 1800.16/902.30 c inspects : 2715206904 1800.16/902.30 c shortcuts : 0 1800.16/902.30 c learnt literals : 0 1800.16/902.30 c learnt binary clauses : 0 1800.16/902.30 c learnt ternary clauses : 0 1800.16/902.30 c learnt constraints : 2241808 1800.16/902.30 c ignored constraints : 0 1800.16/902.30 c root simplifications : 0 1800.16/902.30 c removed literals (reason simplification) : 362742734 1800.16/902.30 c reason swapping (by a shorter reason) : 0 1800.16/902.30 c Calls to reduceDB : 62 1800.16/902.30 c Number of update (reduction) of LBD : 593720 1800.16/902.30 c Imported unit clauses : 0 1800.16/902.30 c number of reductions to clauses (during analyze) : 0 1800.16/902.30 c number of learned constraints concerned by reduction : 0 1800.16/902.30 c number of learning phase by resolution : 0 1800.16/902.30 c number of learning phase by cutting planes : 0 1800.16/902.30 c speed (assignments/second) : 488363.2179405572 1800.16/902.30 c non guided choices 0 1800.16/902.33 c learnt constraints type 1800.16/902.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105732 1800.16/902.33 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.16/902.33 c starts : 11 1800.16/902.33 c conflicts : 1524 1800.16/902.33 c decisions : 98509 1800.16/902.33 c propagations : 1463380 1800.16/902.33 c inspects : 29834886 1800.16/902.33 c shortcuts : 0 1800.16/902.33 c learnt literals : 0 1800.16/902.33 c learnt binary clauses : 0 1800.16/902.33 c learnt ternary clauses : 0 1800.16/902.33 c learnt constraints : 1524 1800.16/902.33 c ignored constraints : 0 1800.16/902.33 c root simplifications : 0 1800.16/902.33 c removed literals (reason simplification) : 0 1800.16/902.33 c reason swapping (by a shorter reason) : 0 1800.16/902.33 c Calls to reduceDB : 0 1800.16/902.33 c Number of update (reduction) of LBD : 0 1800.16/902.33 c Imported unit clauses : 0 1800.16/902.33 c number of reductions to clauses (during analyze) : 0 1800.16/902.33 c number of learned constraints concerned by reduction : 0 1800.16/902.33 c number of learning phase by resolution : 0 1800.16/902.33 c number of learning phase by cutting planes : 0 1800.16/902.33 c speed (assignments/second) : 1629.4085880826851 1800.16/902.33 c non guided choices 0 1800.16/902.33 c learnt constraints type 1800.16/902.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 116 1800.16/902.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1408 1800.16/902.33 s SATISFIABLE 1800.16/902.33 c Found 1 solution(s) 1800.16/902.34 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 1800.16/902.35 c objective function=776 1800.16/902.35 c Total wall clock time (in seconds): 902.236
OK 776
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-4081230-1465223056/watcher-4081230-1465223056 -o /tmp/evaluation-result-4081230-1465223056/solver-4081230-1465223056 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8290 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081230-1465223056.opb pid=8995 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.23 4.24 4.13 4/199 8998 /proc/meminfo: memFree=26335136/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9224 CPUtime=0 cores=1,3,5,7 /proc/8998/stat : 8998 (java) R 8995 8998 8273 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 104238466 9445376 78 33554432000 1073741824 1073778376 140734175920512 140734175917640 273896486327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2306 93 74 9 0 38 0 [startup+0.100059 s] /proc/loadavg: 4.23 4.24 4.13 4/199 8998 /proc/meminfo: memFree=26335136/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 4488 0 1 0 8 1 0 0 20 0 18 0 104238466 9787879424 5601 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389619 5601 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200228 s] /proc/loadavg: 4.23 4.24 4.13 4/199 8998 /proc/meminfo: memFree=26335136/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 5111 0 1 0 27 1 0 0 20 0 18 0 104238466 9787879424 6575 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389619 6575 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300245 s] /proc/loadavg: 4.23 4.24 4.13 4/199 8998 /proc/meminfo: memFree=26335136/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 5506 0 1 0 45 2 0 0 20 0 18 0 104238466 9787879424 8771 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389619 8771 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700212 s] /proc/loadavg: 4.23 4.24 4.13 4/199 8998 /proc/meminfo: memFree=26335136/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9559084 CPUtime=1.59 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 23374 0 1 0 153 6 0 0 20 0 18 0 104238466 9788502016 34166 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389771 34166 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9559084 [startup+1.50088 s] /proc/loadavg: 4.23 4.24 4.13 4/217 9016 /proc/meminfo: memFree=26140792/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9558476 CPUtime=2.76 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 24016 0 1 0 265 11 0 0 20 0 18 0 104238466 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389619 62434 2262 9 0 2380296 0 [pid=8998/tid=9000] ppid=8995 vsize=9558476 CPUtime=1.42 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) R 8995 8998 8273 0 -1 4202560 2533 0 1 0 138 4 0 0 20 0 18 0 104238467 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232959418304 140232899596107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 104238469 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9558476 CPUtime=0.59 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9149 0 0 0 57 2 0 0 20 0 18 0 104238472 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9558476 CPUtime=0.56 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 10936 0 0 0 54 2 0 0 20 0 18 0 104238472 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 62434 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 9558476 [startup+3.10086 s] /proc/loadavg: 4.23 4.24 4.13 4/217 9016 /proc/meminfo: memFree=25933512/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9558476 CPUtime=4.64 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 24496 0 1 0 441 23 0 0 20 0 18 0 104238466 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2389619 131811 2262 9 0 2380296 0 [pid=8998/tid=9000] ppid=8995 vsize=9558476 CPUtime=2.91 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) R 8995 8998 8273 0 -1 4202560 2639 0 1 0 283 8 0 0 20 0 18 0 104238467 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232959418304 140232899563323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 38 0 0 0 3 1 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 40 0 0 0 4 0 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 64 0 0 0 8 2 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 56 0 0 0 6 2 0 0 20 0 18 0 104238469 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104238470 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9558476 CPUtime=0.59 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9149 0 0 0 57 2 0 0 20 0 18 0 104238472 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9558476 CPUtime=0.57 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 10936 0 0 0 55 2 0 0 20 0 18 0 104238472 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104238472 9787879424 131811 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 9558476 [startup+6.3008 s] /proc/loadavg: 4.37 4.27 4.14 5/221 9023 /proc/meminfo: memFree=25663984/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9824732 CPUtime=11.24 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 28024 0 1 0 1092 32 0 0 20 0 22 0 104238466 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2456183 167824 2290 9 0 2446860 0 [pid=8998/tid=9000] ppid=8995 vsize=9824732 CPUtime=3.44 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) S 8995 8998 8273 0 -1 4202560 2707 0 1 0 334 10 0 0 20 0 22 0 104238467 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232959427448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 50 0 0 0 7 2 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 46 0 0 0 9 0 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 51 0 0 0 7 2 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 57 0 0 0 6 2 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 91 0 0 0 12 3 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 69 0 0 0 10 3 0 0 20 0 22 0 104238469 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9244 0 0 0 104 2 0 0 20 0 22 0 104238472 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 13798 0 0 0 113 3 0 0 20 0 22 0 104238472 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9019] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9019/stat : 9019 (java) S 8995 8998 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104238836 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232773080232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9021] ppid=8995 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/8998/task/9021/stat : 9021 (java) R 8995 8998 8273 0 -1 4202560 6 0 0 0 204 0 0 0 20 0 22 0 104238889 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232774130792 140232900547927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9022] ppid=8995 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/8998/task/9022/stat : 9022 (java) R 8995 8998 8273 0 -1 4202560 4 0 0 0 205 0 0 0 20 0 22 0 104238889 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232775183128 140232900264395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9023] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9023/stat : 9023 (java) S 8995 8998 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104238889 10060525568 167824 33554432000 1073741824 1073778376 140734175920512 140232772028072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 11.24 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.16 4.23 4.18 5/221 9117 /proc/meminfo: memFree=22462524/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9824732 CPUtime=1639 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 78147 0 1 0 163603 297 0 0 20 0 22 0 104238466 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2456183 1028680 2301 9 0 2446860 0 [pid=8998/tid=9000] ppid=8995 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) S 8995 8998 8273 0 -1 4202560 2714 0 1 0 336 11 0 0 20 0 22 0 104238467 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232959427448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 6123 0 0 0 164 26 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 5472 0 0 0 178 34 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 6123 0 0 0 165 30 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 5361 0 0 0 205 32 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9824732 CPUtime=1.92 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 7000 0 0 0 164 28 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9824732 CPUtime=1.84 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 6082 0 0 0 156 28 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 3661 0 0 0 169 31 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9824732 CPUtime=1.84 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 6455 0 0 0 152 32 0 0 20 0 22 0 104238469 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9824732 CPUtime=12.08 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 3184 0 0 0 1203 5 0 0 20 0 22 0 104238470 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9257 0 0 0 132 3 0 0 20 0 22 0 104238472 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 13823 0 0 0 157 3 0 0 20 0 22 0 104238472 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9824732 CPUtime=0.21 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 47 0 0 0 8 13 0 0 20 0 22 0 104238472 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9019] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9019/stat : 9019 (java) S 8995 8998 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104238836 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232773080232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9021] ppid=8995 vsize=9824732 CPUtime=802.01 cores=1,3,5,7 /proc/8998/task/9021/stat : 9021 (java) R 8995 8998 8273 0 -1 4202560 67 0 0 0 80186 15 0 0 20 0 22 0 104238889 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232774123808 140232899640390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9022] ppid=8995 vsize=9824732 CPUtime=801.98 cores=1,3,5,7 /proc/8998/task/9022/stat : 9022 (java) R 8995 8998 8273 0 -1 4202560 1465 0 0 0 80167 31 0 0 20 0 22 0 104238889 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232775182816 140232900505229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9023] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9023/stat : 9023 (java) S 8995 8998 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104238889 10060525568 1028680 33554432000 1073741824 1073778376 140734175920512 140232772028072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1639 Current children cumulated vsize (KiB) 9824732 [startup+882.301 s] /proc/loadavg: 4.07 4.19 4.17 5/221 9118 /proc/meminfo: memFree=22265496/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9824732 CPUtime=1759.49 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 78208 0 1 0 175651 298 0 0 20 0 22 0 104238466 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2456183 1028734 2301 9 0 2446860 0 [pid=8998/tid=9000] ppid=8995 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) S 8995 8998 8273 0 -1 4202560 2714 0 1 0 336 11 0 0 20 0 22 0 104238467 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232959427448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9824732 CPUtime=2.03 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 6128 0 0 0 177 26 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9824732 CPUtime=2.25 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 5473 0 0 0 190 35 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9824732 CPUtime=2.03 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 6126 0 0 0 173 30 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 5361 0 0 0 217 32 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 7005 0 0 0 177 28 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9824732 CPUtime=2.03 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 6083 0 0 0 175 28 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 3661 0 0 0 182 31 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 6460 0 0 0 163 32 0 0 20 0 22 0 104238469 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9824732 CPUtime=12.08 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 3220 0 0 0 1203 5 0 0 20 0 22 0 104238470 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9257 0 0 0 132 3 0 0 20 0 22 0 104238472 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 13823 0 0 0 157 3 0 0 20 0 22 0 104238472 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 51 0 0 0 9 14 0 0 20 0 22 0 104238472 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9019] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9019/stat : 9019 (java) S 8995 8998 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104238836 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232773080232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9021] ppid=8995 vsize=9824732 CPUtime=861.74 cores=1,3,5,7 /proc/8998/task/9021/stat : 9021 (java) R 8995 8998 8273 0 -1 4202560 68 0 0 0 86158 16 0 0 20 0 22 0 104238889 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232774123808 140232900154075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9022] ppid=8995 vsize=9824732 CPUtime=861.72 cores=1,3,5,7 /proc/8998/task/9022/stat : 9022 (java) R 8995 8998 8273 0 -1 4202560 1465 0 0 0 86140 32 0 0 20 0 22 0 104238889 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232775182816 140232900264604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9023] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9023/stat : 9023 (java) S 8995 8998 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104238889 10060525568 1028734 33554432000 1073741824 1073778376 140734175920512 140232772028072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1759.49 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.301 s] /proc/loadavg: 4.12 4.19 4.17 5/221 9118 /proc/meminfo: memFree=22197540/32872528 swapFree=15540/1663004 [pid=8998] ppid=8995 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7 /proc/8998/stat : 8998 (java) S 8995 8998 8273 0 -1 4202496 78387 0 1 0 179712 304 0 0 20 0 22 0 104238466 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140734175911648 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8998/statm: 2456183 1045698 2301 9 0 2446860 0 [pid=8998/tid=9000] ppid=8995 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/8998/task/9000/stat : 9000 (java) S 8995 8998 8273 0 -1 4202560 2715 0 1 0 336 11 0 0 20 0 22 0 104238467 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232959427448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9001] ppid=8995 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/8998/task/9001/stat : 9001 (java) S 8995 8998 8273 0 -1 4202560 6150 0 0 0 191 26 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232898156840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8998/tid=9002] ppid=8995 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/8998/task/9002/stat : 9002 (java) S 8995 8998 8273 0 -1 4202560 5488 0 0 0 206 36 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232802121896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9003] ppid=8995 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/8998/task/9003/stat : 9003 (java) S 8995 8998 8273 0 -1 4202560 6136 0 0 0 194 30 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232801069608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9004] ppid=8995 vsize=9824732 CPUtime=2.79 cores=1,3,5,7 /proc/8998/task/9004/stat : 9004 (java) S 8995 8998 8273 0 -1 4202560 5387 0 0 0 246 33 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232800016808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9005] ppid=8995 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/8998/task/9005/stat : 9005 (java) S 8995 8998 8273 0 -1 4202560 7031 0 0 0 189 28 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232798964520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9006] ppid=8995 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/8998/task/9006/stat : 9006 (java) S 8995 8998 8273 0 -1 4202560 6095 0 0 0 193 29 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232797911720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9007] ppid=8995 vsize=9824732 CPUtime=2.26 cores=1,3,5,7 /proc/8998/task/9007/stat : 9007 (java) S 8995 8998 8273 0 -1 4202560 3674 0 0 0 195 31 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232796859432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9008] ppid=8995 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/8998/task/9008/stat : 9008 (java) S 8995 8998 8273 0 -1 4202560 6510 0 0 0 181 32 0 0 20 0 22 0 104238469 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232795806632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9009] ppid=8995 vsize=9824732 CPUtime=12.08 cores=1,3,5,7 /proc/8998/task/9009/stat : 9009 (java) S 8995 8998 8273 0 -1 4202560 3222 0 0 0 1203 5 0 0 20 0 22 0 104238470 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232783608040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9010] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9010/stat : 9010 (java) S 8995 8998 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232782554104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9011] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9011/stat : 9011 (java) S 8995 8998 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104238470 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232781501704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9012] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9012/stat : 9012 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232780450192 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9013] ppid=8995 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/8998/task/9013/stat : 9013 (java) S 8995 8998 8273 0 -1 4202560 9257 0 0 0 132 3 0 0 20 0 22 0 104238472 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232779397816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9014] ppid=8995 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/8998/task/9014/stat : 9014 (java) S 8995 8998 8273 0 -1 4202560 13823 0 0 0 157 3 0 0 20 0 22 0 104238472 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232778345016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9015] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9015/stat : 9015 (java) S 8995 8998 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104238472 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232777292920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9016] ppid=8995 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/8998/task/9016/stat : 9016 (java) S 8995 8998 8273 0 -1 4202560 53 0 0 0 10 14 0 0 20 0 22 0 104238472 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232776240328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8998/tid=9019] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9019/stat : 9019 (java) S 8995 8998 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104238836 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232773080232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9021] ppid=8995 vsize=9824732 CPUtime=881.35 cores=1,3,5,7 /proc/8998/task/9021/stat : 9021 (java) R 8995 8998 8273 0 -1 4202560 68 0 0 0 88119 16 0 0 20 0 22 0 104238889 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232774130592 140232900493093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8998/tid=9022] ppid=8995 vsize=9824732 CPUtime=881.34 cores=1,3,5,7 /proc/8998/task/9022/stat : 9022 (java) R 8995 8998 8273 0 -1 4202560 1465 0 0 0 88102 32 0 0 20 0 22 0 104238889 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232775183824 140232899669298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8998/tid=9023] ppid=8995 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8998/task/9023/stat : 9023 (java) S 8995 8998 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104238889 10060525568 1045698 33554432000 1073741824 1073778376 140734175920512 140232772028072 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 8998 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 902.393 CPU time (s): 1800.82 CPU user time (s): 1797.33 CPU system time (s): 3.49347 CPU usage (%): 199.561 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.33 system time used= 3.49347 maximum resident set size= 4184680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78427 page faults= 1 swaps= 0 block input operations= 0 block output operations= 800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26860 involuntary context switches= 17869 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.78012 second user time and 7.36788 second system time The end
Begin job on node134 at 2016-06-06 16:24:17 IDJOB=4081230 IDBENCH=1975 IDSOLVER=2543 FILE ID=node134/4081230-1465223056 RUNJOBID= node134-1465220363-8290 PBS_JOBID= 19843220 Free space on /tmp= 71716 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081230-1465223056/watcher-4081230-1465223056 -o /tmp/evaluation-result-4081230-1465223056/solver-4081230-1465223056 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8290 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081230-1465223056.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED=1866409364 node134.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.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.80 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.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 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.56 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.403 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.56 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.403 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.403 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.403 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.56 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.403 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: 26335664 kB Buffers: 12984 kB Cached: 96612 kB SwapCached: 1820 kB Active: 4129204 kB Inactive: 36440 kB Active(anon): 4057288 kB Inactive(anon): 1036 kB Active(file): 71916 kB Inactive(file): 35404 kB Unevictable: 1663004 kB Mlocked: 15540 kB SwapTotal: 67108856 kB SwapFree: 67098276 kB Dirty: 17560 kB Writeback: 0 kB AnonPages: 5718536 kB Mapped: 15340 kB Shmem: 0 kB Slab: 566692 kB SReclaimable: 10796 kB SUnreclaim: 555896 kB KernelStack: 1648 kB PageTables: 15660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6144752 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 5615616 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= 71700 MiB End job on node134 at 2016-06-06 16:39:19