Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 24 | 1800.52 | 910.353 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb |
MD5SUM | 7da351a6b3346c83b923d96056c07b3e |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 12935 |
Total number of constraints | 47889 |
Number of constraints which are clauses | 47870 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 953 |
Number of terms in the objective function | 953 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 953 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 984 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c version 2.3.1.v20110525 0.03/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.08 c java.vm.version 19.1-b02 0.03/0.08 c java.vm.vendor Sun Microsystems Inc. 0.03/0.08 c sun.arch.data.model 64 0.03/0.08 c java.version 1.6.0_24 0.03/0.08 c os.name Linux 0.03/0.08 c os.version 2.6.18-164.el5 0.03/0.08 c os.arch amd64 0.03/0.08 c Free memory 9996466904 0.03/0.08 c Max memory 10048897024 0.03/0.08 c Total memory 10048897024 0.03/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454128-1307193681.opb 0.10/0.11 c reading problem ... 1.14/0.63 c ... done. Wall clock time 0.521s. 1.14/0.63 c #vars 12935 1.14/0.63 c #constraints 47889 1.14/0.63 c constraints type 1.14/0.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 11970 1.14/0.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.14/0.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 35913 1.14/0.63 c constraints type 1.14/0.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 35913 1.14/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11970 1.14/0.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.44/0.76 c And the winner is Resolution 1.62/1.15 c SATISFIABLE 1.62/1.15 c OPTIMIZING... 1.62/1.15 c Got one! Elapsed wall clock time (in seconds):1.042 1.62/1.15 o 24 6.41/3.28 c cleaning 2487 clauses out of 5002 with flag 5000/5002 10.85/5.40 c cleaning 4246 clauses out of 8515 with flag 11000/11002 14.62/7.37 c cleaning 5629 clauses out of 11269 with flag 18000/18002 21.39/10.75 c cleaning 6814 clauses out of 13641 with flag 26001/26003 26.98/13.58 c cleaning 7910 clauses out of 15826 with flag 35000/35002 34.34/17.22 c cleaning 8946 clauses out of 17920 with flag 45004/45006 43.94/22.02 c cleaning 9972 clauses out of 19970 with flag 56000/56002 51.99/25.98 c cleaning 10977 clauses out of 21998 with flag 68000/68002 60.18/29.92 c cleaning 11998 clauses out of 24021 with flag 81000/81002 70.12/34.94 c cleaning 13001 clauses out of 26024 with flag 95001/95003 82.04/40.87 c cleaning 13997 clauses out of 28022 with flag 110000/110002 94.74/47.21 c cleaning 14998 clauses out of 30025 with flag 126000/126002 105.44/52.69 c cleaning 16000 clauses out of 32034 with flag 143007/143009 116.36/58.19 c cleaning 17002 clauses out of 34031 with flag 161004/161006 131.08/65.54 c cleaning 17994 clauses out of 36026 with flag 180001/180003 147.00/73.51 c cleaning 18991 clauses out of 38032 with flag 200001/200003 159.63/79.96 c cleaning 19986 clauses out of 40041 with flag 221001/221003 172.94/86.68 c cleaning 21015 clauses out of 42055 with flag 243001/243003 187.03/93.79 c cleaning 21978 clauses out of 44039 with flag 266000/266002 203.13/101.88 c cleaning 23009 clauses out of 46062 with flag 290001/290003 227.36/114.09 c cleaning 24008 clauses out of 48053 with flag 315001/315003 241.84/121.34 c cleaning 25012 clauses out of 50045 with flag 341001/341003 266.54/133.76 c cleaning 26003 clauses out of 52034 with flag 368002/368004 294.65/147.89 c cleaning 26989 clauses out of 54029 with flag 396000/396002 316.60/158.99 c cleaning 28007 clauses out of 56042 with flag 425002/425004 337.05/169.20 c cleaning 28990 clauses out of 58033 with flag 455000/455002 365.91/183.80 c cleaning 29999 clauses out of 60044 with flag 486001/486003 396.18/198.92 c cleaning 30998 clauses out of 62048 with flag 518004/518006 412.09/207.03 c cleaning 31994 clauses out of 64046 with flag 551000/551002 427.90/215.09 c cleaning 32997 clauses out of 66052 with flag 585000/585002 456.96/229.70 c cleaning 33989 clauses out of 68055 with flag 620000/620002 481.18/241.82 c cleaning 34989 clauses out of 70066 with flag 656000/656002 507.32/255.04 c cleaning 36006 clauses out of 72084 with flag 693007/693009 534.74/268.90 c cleaning 37027 clauses out of 74072 with flag 731001/731003 564.54/283.88 c cleaning 37997 clauses out of 76044 with flag 770000/770002 591.13/297.22 c cleaning 38997 clauses out of 78047 with flag 810000/810002 619.54/311.62 c cleaning 40016 clauses out of 80053 with flag 851003/851005 650.51/327.26 c cleaning 40972 clauses out of 82034 with flag 893000/893002 687.87/346.05 c cleaning 42003 clauses out of 84065 with flag 936003/936005 717.21/360.82 c cleaning 42990 clauses out of 86059 with flag 980000/980002 762.76/383.86 c cleaning 44009 clauses out of 88071 with flag 1025002/1025004 795.04/400.19 c cleaning 44994 clauses out of 90060 with flag 1071000/1071002 837.71/421.63 c cleaning 45994 clauses out of 92066 with flag 1118000/1118002 890.23/448.02 c cleaning 47007 clauses out of 94073 with flag 1166001/1166003 923.08/464.72 c cleaning 47503 clauses out of 95066 with flag 1214001/1214003 961.31/484.02 c cleaning 47740 clauses out of 95562 with flag 1262000/1262002 1001.91/504.59 c cleaning 47865 clauses out of 95823 with flag 1310001/1310003 1037.51/522.59 c cleaning 47915 clauses out of 95957 with flag 1358000/1358002 1079.31/543.78 c cleaning 47971 clauses out of 96043 with flag 1406001/1406003 1120.72/564.63 c cleaning 48008 clauses out of 96071 with flag 1454000/1454002 1145.46/577.24 c cleaning 48018 clauses out of 96066 with flag 1502003/1502005 1184.65/597.02 c cleaning 47991 clauses out of 96047 with flag 1550002/1550004 1221.79/615.99 c cleaning 47989 clauses out of 96056 with flag 1598002/1598004 1250.19/630.40 c cleaning 47998 clauses out of 96065 with flag 1646000/1646002 1272.91/641.91 c cleaning 47997 clauses out of 96067 with flag 1694000/1694002 1299.22/655.33 c cleaning 47995 clauses out of 96070 with flag 1742000/1742002 1332.68/672.40 c cleaning 48023 clauses out of 96079 with flag 1790004/1790006 1374.04/693.34 c cleaning 47993 clauses out of 96052 with flag 1838000/1838002 1421.77/717.45 c cleaning 47972 clauses out of 96059 with flag 1886000/1886002 1457.44/735.54 c cleaning 47995 clauses out of 96087 with flag 1934000/1934002 1491.87/753.17 c cleaning 47981 clauses out of 96092 with flag 1982000/1982002 1524.53/769.79 c cleaning 48022 clauses out of 96112 with flag 2030001/2030003 1554.76/785.14 c cleaning 48022 clauses out of 96090 with flag 2078001/2078003 1594.06/805.06 c cleaning 47947 clauses out of 96067 with flag 2126000/2126002 1618.18/817.53 c cleaning 47973 clauses out of 96120 with flag 2174000/2174002 1660.04/838.70 c cleaning 47991 clauses out of 96148 with flag 2222001/2222003 1719.09/868.54 c cleaning 48047 clauses out of 96156 with flag 2270000/2270002 1754.69/886.63 c cleaning 48036 clauses out of 96109 with flag 2318000/2318002 1783.72/901.61 c cleaning 48015 clauses out of 96076 with flag 2366003/2366005 1800.08/910.13 c starts : 230 1800.08/910.13 c conflicts : 2393402 1800.08/910.13 c decisions : 9945814 1800.08/910.13 c propagations : 1341268850 1800.08/910.13 c inspects : 4803447818 1800.08/910.13 c shortcuts : 0 1800.08/910.13 c learnt literals : 0 1800.08/910.13 c learnt binary clauses : 3 1800.08/910.13 c learnt ternary clauses : 0 1800.08/910.13 c learnt constraints : 2393402 1800.08/910.13 c ignored constraints : 0 1800.08/910.13 c root simplifications : 0 1800.08/910.13 c removed literals (reason simplification) : 160746759 1800.08/910.13 c reason swapping (by a shorter reason) : 0 1800.08/910.13 c Calls to reduceDB : 69 1800.08/910.13 c number of reductions to clauses (during analyze) : 0 1800.08/910.13 c number of learned constraints concerned by reduction : 0 1800.08/910.13 c number of learning phase by resolution : 0 1800.08/910.13 c number of learning phase by cutting planes : 0 1800.08/910.13 c speed (assignments/second) : 1475588.900428176 1800.08/910.13 c non guided choices 44429 1800.08/910.15 c learnt constraints type 1800.08/910.15 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.08/910.15 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 75539 1800.08/910.15 c constraints type 1800.08/910.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 11970 1800.08/910.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.08/910.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 35913 1800.08/910.15 c constraints type 1800.08/910.15 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 35913 1800.08/910.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11970 1800.08/910.15 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.08/910.15 s SATISFIABLE 1800.08/910.17 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 x1284 x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 x2040 x2041 x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 x7489 x7490 x7491 x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 x7949 x7950 -x7951 -x7952 x7953 -x7954 x7955 -x7956 -x7957 -x7958 x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 x8227 -x8228 x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 x8375 -x8376 -x8377 x8378 -x8379 x8380 x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 x8681 -x8682 -x8683 x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 x8715 -x8716 -x8717 x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 x8783 -x8784 x8785 -x8786 -x8787 x8788 -x8789 -x8790 -x8791 x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 -x8937 x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 x9055 x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 x9106 x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 x9140 x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 x9497 -x9498 -x9499 -x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 x9599 -x9600 -x9601 x9602 -x9603 x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 x9837 -x9838 -x9839 -x9840 -x9841 x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 x9905 x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 x10575 -x10576 -x10577 -x10578 -x10579 -x10580 x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 x10872 -x10873 -x10874 -x10875 -x10876 -x10877 x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 x11061 -x11062 -x11063 -x11064 -x11065 x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 x11392 -x11393 x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 x11418 -x11419 x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 x11432 -x11433 x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 x11446 -x11447 x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 x11502 -x11503 x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 x11638 -x11639 x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 x11902 -x11903 x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 x11956 -x11957 -x11958 x11959 -x11960 x11961 x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 x12186 -x12187 -x12188 x12189 -x12190 x12191 x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 x12255 x12256 -x12257 -x12258 x12259 x12260 x12261 x12262 -x12263 -x12264 -x12265 x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 x12491 -x12492 x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 x12635 x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 x12714 -x12715 x12716 -x12717 -x12718 -x12719 -x12720 x12721 -x12722 x12723 -x12724 -x12725 -x12726 -x12727 x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 x12751 x12752 -x12753 -x12754 -x12755 -x12756 -x12757 x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 x12765 -x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 x12800 -x12801 x12802 -x12803 -x12804 -x12805 -x12806 x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 x12830 x12831 -x12832 x12833 -x12834 -x12835 -x12836 -x12837 x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 x12845 -x12846 -x12847 -x12848 -x12849 -x12850 -x12851 -x12852 -x12853 -x12854 -x12855 -x12856 -x12857 -x12858 -x12859 -x12860 -x12861 -x12862 -x12863 -x12864 -x12865 -x12866 -x12867 -x12868 -x12869 -x12870 x12871 x12872 -x12873 -x12874 -x12875 -x12876 -x12877 -x12878 -x12879 -x12880 -x12881 -x12882 -x12883 -x12884 -x12885 -x12886 -x12887 -x12888 -x12889 -x12890 -x12891 -x12892 -x12893 -x12894 -x12895 -x12896 -x12897 -x12898 -x12899 -x12900 -x12901 -x12902 x12903 x12904 -x12905 -x12906 -x12907 -x12908 -x12909 -x12910 -x12911 -x12912 -x12913 -x12914 -x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921 -x12922 x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 x12930 -x12931 -x12932 -x12933 -x12934 -x12935 1800.08/910.19 c objective function=24 1800.08/910.19 c Total wall clock time (in seconds): 910.084
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454128-1307193681/watcher-3454128-1307193681 -o /tmp/evaluation-result-3454128-1307193681/solver-3454128-1307193681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454128-1307193681.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: 2.05 2.56 3.19 3/559 12277 /proc/meminfo: memFree=28631652/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 1704 0 1 0 0 0 0 0 25 0 2 0 909598794 10681323520 1405 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2607745 1420 906 9 0 2598901 0 [pid=12277/tid=12286] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) R 12275 12277 7463 0 -1 4202560 8815 0 1 0 0 0 0 0 25 0 10 0 909598794 10703900672 9640 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 47875479977830 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9641 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) R 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9645 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9647 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9648 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9648 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9649 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9650 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) R 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909598796 10703900672 9650 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0413889 s] /proc/loadavg: 2.05 2.56 3.19 3/559 12277 /proc/meminfo: memFree=28631652/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 11246 0 1 0 2 1 0 0 25 0 13 0 909598794 10718699520 10942 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2616870 10943 1672 9 0 2607618 0 [pid=12277/tid=12286] ppid=12275 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) R 12275 12277 7463 0 -1 4202560 10098 0 1 0 2 1 0 0 25 0 13 0 909598794 10718699520 10943 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296752587 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10944 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10946 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10946 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10946 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10947 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10948 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10948 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10467480 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 909598796 10718699520 10948 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16784584 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.101368 s] /proc/loadavg: 2.05 2.56 3.19 3/559 12277 /proc/meminfo: memFree=28631652/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10539872 CPUtime=0.1 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 13104 0 1 0 9 1 0 0 25 0 18 0 909598794 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2634968 12771 2093 9 0 2625702 0 [pid=12277/tid=12286] ppid=12275 vsize=10539872 CPUtime=0.08 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) R 12275 12277 7463 0 -1 4202560 11154 0 1 0 7 1 0 0 18 0 18 0 909598794 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 47875480932357 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10539872 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10792828928 12771 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539872 [startup+0.402948 s] /proc/loadavg: 2.05 2.56 3.19 3/559 12277 /proc/meminfo: memFree=28631652/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10544936 CPUtime=0.99 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 28898 0 1 0 94 5 0 0 25 0 18 0 909598794 10798014464 25582 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2636234 25586 2214 9 0 2626968 0 [pid=12277/tid=12286] ppid=12275 vsize=10544936 CPUtime=0.44 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) R 12275 12277 7463 0 -1 4202560 21194 0 1 0 41 3 0 0 18 0 18 0 909598794 10798014464 25588 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912505599724 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25591 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25594 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25596 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25599 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25602 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25605 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25607 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10544936 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909598796 10798014464 25610 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 10544936 [startup+0.725368 s] /proc/loadavg: 2.05 2.56 3.19 3/559 12277 /proc/meminfo: memFree=28631652/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10549048 CPUtime=1.44 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 49219 0 1 0 137 7 0 0 25 0 22 0 909598794 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2637262 45077 2231 9 0 2627996 0 [pid=12277/tid=12286] ppid=12275 vsize=10549048 CPUtime=0.61 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) S 12275 12277 7463 0 -1 4202560 39995 0 1 0 56 5 0 0 19 0 22 0 909598794 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10802225152 45077 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 10549048 [startup+1.50107 s] /proc/loadavg: 1.88 2.52 3.17 1/595 12322 /proc/meminfo: memFree=28375888/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10560584 CPUtime=2.67 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 70823 0 1 0 257 10 0 0 25 0 22 0 909598794 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2640146 63389 2241 9 0 2630880 0 [pid=12277/tid=12286] ppid=12275 vsize=10560584 CPUtime=0.63 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) S 12275 12277 7463 0 -1 4202560 40127 0 1 0 58 5 0 0 17 0 22 0 909598794 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598796 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12299] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12299/stat : 12299 (java) S 12275 12277 7463 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 22 0 909598797 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 0 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12300] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12300/stat : 12300 (java) S 12275 12277 7463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909598797 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12301] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12301/stat : 12301 (java) S 12275 12277 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909598797 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12307] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12307/stat : 12307 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296749489 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12308] ppid=12275 vsize=10560584 CPUtime=0.76 cores=0,2,4,6 /proc/12277/task/12308/stat : 12308 (java) R 12275 12277 7463 0 -1 4202560 7780 0 0 0 76 0 0 0 16 0 22 0 909598799 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 47875481757591 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12309] ppid=12275 vsize=10560584 CPUtime=0.68 cores=0,2,4,6 /proc/12277/task/12309/stat : 12309 (java) R 12275 12277 7463 0 -1 4202560 6995 0 0 0 67 1 0 0 16 0 22 0 909598799 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 47875481757575 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12277/tid=12310] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12310/stat : 12310 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12311] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12311/stat : 12311 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909598799 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12318] ppid=12275 vsize=10560584 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12318/stat : 12318 (java) S 12275 12277 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598859 10814038016 63389 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 10560584 [startup+3.10083 s] ################ # More data... # ################ /proc/meminfo: memFree=21117156/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10560028 CPUtime=1627.13 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 1016139 0 1 0 162590 123 0 0 25 0 22 0 909598794 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2640007 997321 2270 9 0 2630741 0 [pid=12277/tid=12286] ppid=12275 vsize=10560028 CPUtime=0.63 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) S 12275 12277 7463 0 -1 4202560 40151 0 1 0 58 5 0 0 15 0 22 0 909598794 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10560028 CPUtime=1.03 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 14123 0 0 0 101 2 0 0 15 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10560028 CPUtime=1.11 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 21651 0 0 0 108 3 0 0 15 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10560028 CPUtime=0.94 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 14392 0 0 0 92 2 0 0 16 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10560028 CPUtime=0.94 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 14753 0 0 0 93 1 0 0 15 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10560028 CPUtime=0.97 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 17368 0 0 0 94 3 0 0 15 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10560028 CPUtime=1.2 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 16778 0 0 0 118 2 0 0 16 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10560028 CPUtime=0.83 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 15966 0 0 0 81 2 0 0 16 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10560028 CPUtime=0.96 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 12082 0 0 0 95 1 0 0 15 0 22 0 909598796 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12299] ppid=12275 vsize=10560028 CPUtime=22.05 cores=0,2,4,6 /proc/12277/task/12299/stat : 12299 (java) S 12275 12277 7463 0 -1 4202560 19430 0 0 0 2203 2 0 0 15 0 22 0 909598797 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 0 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12300] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12300/stat : 12300 (java) S 12275 12277 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12301] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12301/stat : 12301 (java) S 12275 12277 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12307] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12307/stat : 12307 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296749489 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12308] ppid=12275 vsize=10560028 CPUtime=1.87 cores=0,2,4,6 /proc/12277/task/12308/stat : 12308 (java) S 12275 12277 7463 0 -1 4202560 11240 0 0 0 186 1 0 0 15 0 22 0 909598799 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12309] ppid=12275 vsize=10560028 CPUtime=1.12 cores=0,2,4,6 /proc/12277/task/12309/stat : 12309 (java) S 12275 12277 7463 0 -1 4202560 8615 0 0 0 111 1 0 0 15 0 22 0 909598799 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12310] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12310/stat : 12310 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12311] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12311/stat : 12311 (java) S 12275 12277 7463 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909598799 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12318] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12318/stat : 12318 (java) S 12275 12277 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598859 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12323] ppid=12275 vsize=10560028 CPUtime=796.47 cores=0,2,4,6 /proc/12277/task/12323/stat : 12323 (java) R 12275 12277 7463 0 -1 4202560 2815 0 0 0 79646 1 0 0 25 0 22 0 909598909 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912505578379 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12324] ppid=12275 vsize=10560028 CPUtime=796.69 cores=0,2,4,6 /proc/12277/task/12324/stat : 12324 (java) R 12275 12277 7463 0 -1 4202560 804897 0 0 0 79581 88 0 0 25 0 22 0 909598909 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912506071347 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12277/tid=12325] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12325/stat : 12325 (java) S 12275 12277 7463 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 909598911 10813468672 997321 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1627.13 Current children cumulated vsize (KiB) 10560028 [startup+882.323 s] /proc/loadavg: 3.90 3.83 3.62 5/601 12367 /proc/meminfo: memFree=21088832/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10560028 CPUtime=1746.08 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 1016212 0 1 0 174485 123 0 0 25 0 22 0 909598794 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2640007 997378 2270 9 0 2630741 0 [pid=12277/tid=12286] ppid=12275 vsize=10560028 CPUtime=0.63 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) S 12275 12277 7463 0 -1 4202560 40151 0 1 0 58 5 0 0 15 0 22 0 909598794 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10560028 CPUtime=1.12 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 14153 0 0 0 110 2 0 0 16 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10560028 CPUtime=1.23 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 21651 0 0 0 120 3 0 0 15 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10560028 CPUtime=0.99 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 14392 0 0 0 97 2 0 0 15 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10560028 CPUtime=1.01 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 14753 0 0 0 100 1 0 0 16 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10560028 CPUtime=1.07 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 17368 0 0 0 104 3 0 0 15 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10560028 CPUtime=1.27 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 16788 0 0 0 125 2 0 0 15 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10560028 CPUtime=0.94 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 15983 0 0 0 92 2 0 0 16 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10560028 CPUtime=1.01 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 12082 0 0 0 100 1 0 0 16 0 22 0 909598796 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12299] ppid=12275 vsize=10560028 CPUtime=23.44 cores=0,2,4,6 /proc/12277/task/12299/stat : 12299 (java) S 12275 12277 7463 0 -1 4202560 19432 0 0 0 2342 2 0 0 15 0 22 0 909598797 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 0 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12300] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12300/stat : 12300 (java) S 12275 12277 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12301] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12301/stat : 12301 (java) S 12275 12277 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12307] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12307/stat : 12307 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296749489 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12308] ppid=12275 vsize=10560028 CPUtime=1.87 cores=0,2,4,6 /proc/12277/task/12308/stat : 12308 (java) S 12275 12277 7463 0 -1 4202560 11240 0 0 0 186 1 0 0 15 0 22 0 909598799 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12309] ppid=12275 vsize=10560028 CPUtime=1.12 cores=0,2,4,6 /proc/12277/task/12309/stat : 12309 (java) S 12275 12277 7463 0 -1 4202560 8616 0 0 0 111 1 0 0 15 0 22 0 909598799 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12310] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12310/stat : 12310 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12311] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12311/stat : 12311 (java) S 12275 12277 7463 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909598799 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12318] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12318/stat : 12318 (java) S 12275 12277 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598859 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12323] ppid=12275 vsize=10560028 CPUtime=854.92 cores=0,2,4,6 /proc/12277/task/12323/stat : 12323 (java) R 12275 12277 7463 0 -1 4202560 2819 0 0 0 85491 1 0 0 25 0 22 0 909598909 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912505993033 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12324] ppid=12275 vsize=10560028 CPUtime=855.15 cores=0,2,4,6 /proc/12277/task/12324/stat : 12324 (java) R 12275 12277 7463 0 -1 4202560 804902 0 0 0 85427 88 0 0 25 0 22 0 909598909 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912506055051 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12277/tid=12325] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12325/stat : 12325 (java) S 12275 12277 7463 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 909598911 10813468672 997378 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1746.08 Current children cumulated vsize (KiB) 10560028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+910.101 s] /proc/loadavg: 3.79 3.81 3.62 5/601 12367 /proc/meminfo: memFree=21082000/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=10560028 CPUtime=1800.08 cores=0,2,4,6 /proc/12277/stat : 12277 (java) S 12275 12277 7463 0 -1 4202496 1016229 0 1 0 179885 123 0 0 25 0 22 0 909598794 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12277/statm: 2640007 997387 2270 9 0 2630741 0 [pid=12277/tid=12286] ppid=12275 vsize=10560028 CPUtime=0.63 cores=0,2,4,6 /proc/12277/task/12286/stat : 12286 (java) S 12275 12277 7463 0 -1 4202560 40151 0 1 0 58 5 0 0 15 0 22 0 909598794 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12290] ppid=12275 vsize=10560028 CPUtime=1.2 cores=0,2,4,6 /proc/12277/task/12290/stat : 12290 (java) S 12275 12277 7463 0 -1 4202560 14162 0 0 0 118 2 0 0 16 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12291] ppid=12275 vsize=10560028 CPUtime=1.29 cores=0,2,4,6 /proc/12277/task/12291/stat : 12291 (java) S 12275 12277 7463 0 -1 4202560 21651 0 0 0 126 3 0 0 15 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12292] ppid=12275 vsize=10560028 CPUtime=1.02 cores=0,2,4,6 /proc/12277/task/12292/stat : 12292 (java) S 12275 12277 7463 0 -1 4202560 14392 0 0 0 100 2 0 0 16 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12293] ppid=12275 vsize=10560028 CPUtime=1.07 cores=0,2,4,6 /proc/12277/task/12293/stat : 12293 (java) S 12275 12277 7463 0 -1 4202560 14753 0 0 0 106 1 0 0 15 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12294] ppid=12275 vsize=10560028 CPUtime=1.11 cores=0,2,4,6 /proc/12277/task/12294/stat : 12294 (java) S 12275 12277 7463 0 -1 4202560 17368 0 0 0 108 3 0 0 15 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12295] ppid=12275 vsize=10560028 CPUtime=1.31 cores=0,2,4,6 /proc/12277/task/12295/stat : 12295 (java) S 12275 12277 7463 0 -1 4202560 16788 0 0 0 129 2 0 0 15 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 [pid=12277/tid=12296] ppid=12275 vsize=10560028 CPUtime=0.98 cores=0,2,4,6 /proc/12277/task/12296/stat : 12296 (java) S 12275 12277 7463 0 -1 4202560 15983 0 0 0 96 2 0 0 16 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12297] ppid=12275 vsize=10560028 CPUtime=1.09 cores=0,2,4,6 /proc/12277/task/12297/stat : 12297 (java) S 12275 12277 7463 0 -1 4202560 12082 0 0 0 108 1 0 0 16 0 22 0 909598796 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12299] ppid=12275 vsize=10560028 CPUtime=25.18 cores=0,2,4,6 /proc/12277/task/12299/stat : 12299 (java) S 12275 12277 7463 0 -1 4202560 19434 0 0 0 2516 2 0 0 15 0 22 0 909598797 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 0 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12300] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12300/stat : 12300 (java) S 12275 12277 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12301] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12301/stat : 12301 (java) S 12275 12277 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909598797 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12307] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12307/stat : 12307 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296749489 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12308] ppid=12275 vsize=10560028 CPUtime=1.87 cores=0,2,4,6 /proc/12277/task/12308/stat : 12308 (java) S 12275 12277 7463 0 -1 4202560 11240 0 0 0 186 1 0 0 15 0 22 0 909598799 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12309] ppid=12275 vsize=10560028 CPUtime=1.12 cores=0,2,4,6 /proc/12277/task/12309/stat : 12309 (java) S 12275 12277 7463 0 -1 4202560 8616 0 0 0 111 1 0 0 15 0 22 0 909598799 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12310] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12310/stat : 12310 (java) S 12275 12277 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598799 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296741785 0 4 0 16800975 18446604451261092864 0 0 -1 4 0 0 0 [pid=12277/tid=12311] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12311/stat : 12311 (java) S 12275 12277 7463 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909598799 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 2 0 0 0 [pid=12277/tid=12318] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12318/stat : 12318 (java) S 12275 12277 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598859 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 0 0 0 0 [pid=12277/tid=12323] ppid=12275 vsize=10560028 CPUtime=880.85 cores=0,2,4,6 /proc/12277/task/12323/stat : 12323 (java) R 12275 12277 7463 0 -1 4202560 2825 0 0 0 88084 1 0 0 25 0 22 0 909598909 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912506011648 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12277/tid=12324] ppid=12275 vsize=10560028 CPUtime=881.08 cores=0,2,4,6 /proc/12277/task/12324/stat : 12324 (java) R 12275 12277 7463 0 -1 4202560 804902 0 0 0 88020 88 0 0 25 0 22 0 909598909 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 46912506083134 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12277/tid=12325] ppid=12275 vsize=10560028 CPUtime=0 cores=0,2,4,6 /proc/12277/task/12325/stat : 12325 (java) S 12275 12277 7463 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 909598911 10813468672 997387 33554432000 1073741824 1073778376 140734867651776 18446744073709551615 224296742400 0 4 0 16800975 18446604451261092864 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10560028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+910.3 s] /proc/loadavg: 3.79 3.81 3.62 5/601 12367 /proc/meminfo: memFree=21082000/32951124 swapFree=34426104/67111528 [pid=12277] ppid=12275 vsize=0 CPUtime=1800.46 cores=0,2,4,6 /proc/12277/stat : 12277 (java) Z 12275 12277 7463 0 -1 4203548 1016264 0 1 0 179912 134 0 0 17 0 2 0 909598794 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12277/statm: 0 0 0 0 0 0 0 [pid=12277/tid=12318] ppid=12275 vsize=0 CPUtime=0.1 cores=0,2,4,6 /proc/12277/task/12318/stat : 12318 (java) R 12275 12277 7463 0 -1 4203588 7 0 0 0 0 10 0 0 18 0 2 0 909598859 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 910.353 CPU time (s): 1800.52 CPU user time (s): 1799.13 CPU system time (s): 1.39679 CPU usage (%): 197.783 Max. virtual memory (cumulated for all children) (KiB): 10570000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.13 system time used= 1.39679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1016264 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26056 involuntary context switches= 26223 runsolver used 5.74813 second user time and 11.6942 second system time The end
Begin job on node118 at 2011-06-04 15:21:21 IDJOB=3454128 IDBENCH=25014 IDSOLVER=1950 FILE ID=node118/3454128-1307193681 RUNJOBID= node118-1307193681-12256 PBS_JOBID= 13508852 Free space on /tmp= 73768 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454128-1307193681/watcher-3454128-1307193681 -o /tmp/evaluation-result-3454128-1307193681/solver-3454128-1307193681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454128-1307193681.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e RANDOM SEED=718073914 node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28636908 kB Buffers: 327068 kB Cached: 2062908 kB SwapCached: 56168 kB Active: 922048 kB Inactive: 3054468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28636908 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 2416 kB Writeback: 40 kB AnonPages: 1543820 kB Mapped: 17344 kB Slab: 151320 kB PageTables: 115584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 194065952 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73768 MiB End job on node118 at 2011-06-04 15:36:33