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