Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 711.495 | 372.68 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb |
| MD5SUM | 92eaf5bbbb67d6b3b242e002852c9043 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5227195 |
| Best CPU time to get the best result obtained on this benchmark | 75.5025 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 114791256 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4434739271 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 114791256 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4434739271 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.07/0.10 c version 2.2.0.v20100531 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 1349517296 0.07/0.10 c Max memory 1356595200 0.07/0.10 c Total memory 1356595200 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 0.07/0.13 c solving HOME/instance-3744010-1338799849.opb 0.07/0.13 c reading problem ... 1.02/0.59 c ... done. Wall clock time 0.464s. 1.02/0.59 c #vars 9765 1.02/0.59 c #constraints 21983 1.02/0.59 c constraints type 1.02/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.02/0.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.02/0.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.02/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.02/0.60 c constraints type 1.02/0.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.02/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.02/0.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.02/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.82/1.02 c And the winner is Resolution 3.06/1.62 c SATISFIABLE 3.06/1.62 c OPTIMIZING... 3.06/1.62 c Got one! Elapsed wall clock time (in seconds):1.492 3.06/1.62 o 5699276 3.06/1.69 c And the winner is Resolution 3.35/2.65 c Got one! Elapsed wall clock time (in seconds):2.522 3.35/2.65 o 5613426 10.18/5.82 c cleaning 2492 clauses out of 4989 with flag 5001/5001 18.59/9.94 c cleaning 4242 clauses out of 8495 with flag 11000/11000 28.02/14.64 c cleaning 5623 clauses out of 11255 with flag 18002/18002 37.43/19.37 c cleaning 6809 clauses out of 13632 with flag 26002/26002 49.46/25.35 c cleaning 7903 clauses out of 15821 with flag 35000/35000 62.52/31.84 c cleaning 8955 clauses out of 17922 with flag 45004/45004 76.93/39.03 c cleaning 9977 clauses out of 19965 with flag 56002/56002 87.10/44.14 c And the winner is Resolution 88.45/45.72 c Got one! Elapsed wall clock time (in seconds):45.591 88.45/45.72 o 5547533 88.85/45.90 c And the winner is Resolution 88.94/46.75 c Got one! Elapsed wall clock time (in seconds):46.617 88.94/46.75 o 5460022 89.27/46.99 c And the winner is Resolution 90.69/48.77 c Got one! Elapsed wall clock time (in seconds):48.641 90.69/48.77 o 5438344 97.40/52.16 c cleaning 10985 clauses out of 21988 with flag 68003/68003 114.81/60.83 c cleaning 11992 clauses out of 24000 with flag 81000/81000 135.56/71.28 c cleaning 13000 clauses out of 26009 with flag 95001/95001 158.22/82.56 c cleaning 13991 clauses out of 28009 with flag 110001/110001 176.22/91.60 c cleaning 15005 clauses out of 30018 with flag 126003/126003 192.52/99.76 c cleaning 16001 clauses out of 32010 with flag 143000/143000 213.56/110.24 c cleaning 17001 clauses out of 34011 with flag 161002/161002 235.62/121.25 c cleaning 18005 clauses out of 36012 with flag 180004/180004 258.04/132.44 c cleaning 18987 clauses out of 38003 with flag 200000/200000 279.95/143.49 c cleaning 20006 clauses out of 40017 with flag 221001/221001 304.05/155.49 c cleaning 21002 clauses out of 42011 with flag 243001/243001 324.89/165.84 c And the winner is Resolution 328.53/169.90 c Got one! Elapsed wall clock time (in seconds):169.773 328.53/169.90 o 5428920 329.13/170.25 c And the winner is Resolution 329.36/170.93 c Got one! Elapsed wall clock time (in seconds):170.797 329.36/170.93 o 5414149 331.95/172.27 c cleaning 21492 clauses out of 43008 with flag 265000/265000 332.65/172.69 c And the winner is Resolution 333.16/173.95 c Got one! Elapsed wall clock time (in seconds):173.822 333.16/173.95 o 5385264 335.70/175.28 c And the winner is Resolution 335.96/175.98 c Got one! Elapsed wall clock time (in seconds):175.846 335.96/175.98 o 5337528 336.02/176.05 c And the winner is Resolution 336.18/177.00 c Got one! Elapsed wall clock time (in seconds):176.87 336.18/177.00 o 5321866 336.39/177.17 c And the winner is Resolution 336.66/178.03 c Got one! Elapsed wall clock time (in seconds):177.895 336.66/178.03 o 5313820 336.66/178.05 c And the winner is Resolution 336.84/179.05 c Got one! Elapsed wall clock time (in seconds):178.919 336.84/179.05 o 5286053 336.84/179.09 c And the winner is Resolution 337.03/180.07 c Got one! Elapsed wall clock time (in seconds):179.943 337.03/180.07 o 5247656 357.31/190.16 c cleaning 21742 clauses out of 43516 with flag 287000/287000 383.89/203.45 c cleaning 21882 clauses out of 43774 with flag 309000/309000 412.45/217.70 c cleaning 21941 clauses out of 43892 with flag 331000/331000 439.14/230.92 c cleaning 21969 clauses out of 43953 with flag 353002/353002 465.96/244.38 c cleaning 21989 clauses out of 43983 with flag 375001/375001 490.87/256.83 c cleaning 21987 clauses out of 43993 with flag 397000/397000 520.32/271.52 c cleaning 21998 clauses out of 44008 with flag 419002/419002 549.65/286.19 c cleaning 21997 clauses out of 44007 with flag 441000/441000 576.96/299.76 c cleaning 21994 clauses out of 44009 with flag 463000/463000 604.51/313.53 c cleaning 21997 clauses out of 44016 with flag 485001/485001 605.92/314.37 c And the winner is Resolution 607.87/316.16 c Got one! Elapsed wall clock time (in seconds):316.03 607.87/316.16 o 5240560 613.07/318.77 c And the winner is Resolution 614.35/320.19 c Got one! Elapsed wall clock time (in seconds):320.056 614.35/320.19 o 5236554 620.03/323.03 c And the winner is Resolution 622.91/326.21 c Got one! Elapsed wall clock time (in seconds):326.081 622.91/326.21 o 5227195 635.02/332.27 c cleaning 22002 clauses out of 44018 with flag 507000/507000 663.66/346.59 c cleaning 21986 clauses out of 43991 with flag 529000/529000 692.43/360.92 c cleaning 21993 clauses out of 44005 with flag 551000/551000 707.24/368.46 c And the winner is Resolution 711.02/372.65 c starts : 168 711.02/372.65 c conflicts : 562090 711.02/372.65 c decisions : 1209928 711.02/372.65 c propagations : 183516847 711.02/372.65 c inspects : 835356096 711.02/372.65 c learnt literals : 51 711.02/372.65 c learnt binary clauses : 231 711.02/372.65 c learnt ternary clauses : 723 711.02/372.65 c learnt clauses : 562038 711.02/372.65 c ignored clauses : 0 711.02/372.65 c root simplifications : 0 711.02/372.65 c removed literals (reason simplification) : 5811015 711.02/372.65 c reason swapping (by a shorter reason) : 0 711.02/372.65 c Calls to reduceDB : 32 711.02/372.65 c number of reductions to clauses (during analyze) : 0 711.02/372.65 c number of learned constraints concerned by reduction : 0 711.02/372.65 c number of learning phase by resolution : 0 711.02/372.65 c number of learning phase by cutting planes : 0 711.02/372.65 c speed (assignments/second) : 3952548.9338789578 711.02/372.65 c non guided choices 3464 711.02/372.65 c learnt constraints type 711.02/372.65 c constraints type 711.02/372.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 711.02/372.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 711.02/372.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 711.02/372.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 711.02/372.65 c constraints type 711.02/372.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 711.02/372.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 711.02/372.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 711.02/372.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 711.02/372.65 s OPTIMUM FOUND 711.02/372.66 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 711.02/372.67 c objective function=5227195 711.02/372.67 c Total wall clock time (in seconds): 372.538
OK 5227195
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744010-1338799849/watcher-3744010-1338799849 -o /tmp/evaluation-result-3744010-1338799849/solver-3744010-1338799849 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744010-1338799849.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.75 2.32 2.28 3/200 26830 /proc/meminfo: memFree=27898332/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/26830/stat : 26830 (java6) D 26828 26830 24174 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 346109746 2560000 47 33554432000 1073741824 1073778376 140735659810816 140735659807944 215134334247 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0 /proc/26830/statm: 625 47 37 9 0 29 0 [startup+0.0760739 s] /proc/loadavg: 2.75 2.32 2.28 3/200 26830 /proc/meminfo: memFree=27898332/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2367080 CPUtime=0.05 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 3752 0 1 0 4 1 0 0 20 0 13 0 346109746 2423889920 5471 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 591770 5476 1715 9 0 582471 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2367080 [startup+0.100264 s] /proc/loadavg: 2.75 2.32 2.28 3/200 26830 /proc/meminfo: memFree=27898332/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2699928 CPUtime=0.07 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 3897 0 1 0 6 1 0 0 20 0 18 0 346109746 2764726272 5616 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 674982 5616 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.300261 s] /proc/loadavg: 2.75 2.32 2.28 3/200 26830 /proc/meminfo: memFree=27898332/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2699928 CPUtime=0.47 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 6053 0 1 0 46 1 0 0 20 0 18 0 346109746 2764726272 9588 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 674982 9588 2226 9 0 665676 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 2699928 [startup+0.700172 s] /proc/loadavg: 2.75 2.32 2.28 3/200 26830 /proc/meminfo: memFree=27898332/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2833056 CPUtime=1.61 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 13954 0 1 0 157 4 0 0 20 0 20 0 346109746 2901049344 32282 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 708264 32282 2256 9 0 698958 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 2833056 [startup+1.50072 s] /proc/loadavg: 2.75 2.32 2.28 7/222 26852 /proc/meminfo: memFree=27732160/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=3.06 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 20335 0 1 0 298 8 0 0 20 0 20 0 346109746 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 43678 2262 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=0.56 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) S 26828 26830 24174 0 -1 4202560 2828 0 1 0 54 2 0 0 20 0 20 0 346109747 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012820706456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346109749 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346109750 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=0.84 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 6677 0 0 0 82 2 0 0 20 0 20 0 346109754 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=0.77 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9504 0 0 0 75 2 0 0 20 0 20 0 346109754 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 43678 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 2966184 [startup+3.1008 s] /proc/loadavg: 2.75 2.32 2.28 3/220 26854 /proc/meminfo: memFree=27700560/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=4.42 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 20560 0 1 0 428 14 0 0 20 0 22 0 346109746 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 100540 2274 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=0.62 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) S 26828 26830 24174 0 -1 4202560 2831 0 1 0 60 2 0 0 20 0 22 0 346109747 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012820706456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) S 26828 26830 24174 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346109749 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346109750 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109751 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109751 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 6702 0 0 0 95 2 0 0 20 0 22 0 346109754 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=0.91 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9531 0 0 0 88 3 0 0 20 0 22 0 346109754 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109816 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109816 3037372416 100540 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.42 Current children cumulated vsize (KiB) 2966184 [startup+6.30081 s] /proc/loadavg: 2.85 2.35 2.29 5/222 26856 /proc/meminfo: memFree=27459828/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=11.16 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 21315 0 1 0 1095 21 0 0 20 0 22 0 346109746 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 128712 2287 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=0.62 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) S 26828 26830 24174 0 -1 4202560 2831 0 1 0 60 2 0 0 20 0 22 0 346109747 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012820706456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) S 26828 26830 24174 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=0.08 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=0.07 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=0.07 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 28 0 0 0 6 1 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=0.08 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 22 0 346109749 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 22 0 346109750 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109751 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109751 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 7262 0 0 0 109 2 0 0 20 0 22 0 346109754 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=0.96 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9537 0 0 0 93 3 0 0 20 0 22 0 346109754 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109754 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109816 3037372416 128712 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 163 0 0 0 212 4 0 0 20 0 20 0 346109749 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=2.29 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 185 0 0 0 224 5 0 0 20 0 20 0 346109749 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=2.26 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 185 0 0 0 221 5 0 0 20 0 20 0 346109749 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=2.3 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 221 0 0 0 225 5 0 0 20 0 20 0 346109749 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 2453 0 0 0 491 33 0 0 20 0 20 0 346109750 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=1.28 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 7269 0 0 0 126 2 0 0 20 0 20 0 346109754 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=1.12 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9537 0 0 0 109 3 0 0 20 0 20 0 346109754 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0.13 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 20 0 0 0 6 7 0 0 20 0 20 0 346109754 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178014 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 710.7 Current children cumulated vsize (KiB) 2966184 [startup+372.303 s] /proc/loadavg: 3.69 3.28 2.73 3/219 26897 /proc/meminfo: memFree=27105008/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=710.72 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 25922 0 1 0 70947 125 0 0 20 0 20 0 346109746 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 178015 2288 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) S 26828 26830 24174 0 -1 4202560 2840 0 1 0 94 3 0 0 20 0 20 0 346109747 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012820705736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=2.4 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 244 0 0 0 235 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=2.18 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) R 26828 26830 24174 0 -1 4202560 194 0 0 0 214 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=2.28 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 204 0 0 0 223 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=2.19 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 191 0 0 0 214 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=2.16 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) R 26828 26830 24174 0 -1 4202560 163 0 0 0 212 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=2.29 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 185 0 0 0 224 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=2.26 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 186 0 0 0 221 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=2.3 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 221 0 0 0 225 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 2453 0 0 0 491 33 0 0 20 0 20 0 346109750 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=1.28 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 7269 0 0 0 126 2 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=1.12 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9537 0 0 0 109 3 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0.13 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 20 0 0 0 6 7 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 710.72 Current children cumulated vsize (KiB) 2966184 [startup+372.501 s] /proc/loadavg: 3.69 3.28 2.73 3/219 26897 /proc/meminfo: memFree=27105008/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=710.92 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 25924 0 1 0 70967 125 0 0 20 0 20 0 346109746 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 178015 2288 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=1.17 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) R 26828 26830 24174 0 -1 4202560 2841 0 1 0 114 3 0 0 20 0 20 0 346109747 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012820706088 140012662951940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=2.4 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 244 0 0 0 235 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=2.18 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) S 26828 26830 24174 0 -1 4202560 194 0 0 0 214 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=2.28 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 204 0 0 0 223 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=2.19 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 191 0 0 0 214 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=2.16 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 163 0 0 0 212 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=2.29 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 185 0 0 0 224 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=2.26 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 186 0 0 0 221 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=2.3 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 221 0 0 0 225 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 2453 0 0 0 491 33 0 0 20 0 20 0 346109750 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=1.28 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 7270 0 0 0 126 2 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=1.12 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9537 0 0 0 109 3 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0.13 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 20 0 0 0 6 7 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 710.92 Current children cumulated vsize (KiB) 2966184 [startup+372.601 s] /proc/loadavg: 3.69 3.28 2.73 3/219 26897 /proc/meminfo: memFree=27105008/32873844 swapFree=7380/7380 [pid=26830] ppid=26828 vsize=2966184 CPUtime=711.02 cores=0,2,4,6 /proc/26830/stat : 26830 (java) S 26828 26830 24174 0 -1 4202496 25924 0 1 0 70977 125 0 0 20 0 20 0 346109746 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140735886831680 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/26830/statm: 741546 178015 2288 9 0 732240 0 [pid=26830/tid=26832] ppid=26828 vsize=2966184 CPUtime=1.27 cores=0,2,4,6 /proc/26830/task/26832/stat : 26832 (java) R 26828 26830 24174 0 -1 4202560 2841 0 1 0 124 3 0 0 20 0 20 0 346109747 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012820706088 140012662560656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26833] ppid=26828 vsize=2966184 CPUtime=2.4 cores=0,2,4,6 /proc/26830/task/26833/stat : 26833 (java) S 26828 26830 24174 0 -1 4202560 244 0 0 0 235 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012804987176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26834] ppid=26828 vsize=2966184 CPUtime=2.18 cores=0,2,4,6 /proc/26830/task/26834/stat : 26834 (java) S 26828 26830 24174 0 -1 4202560 194 0 0 0 214 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012803934376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26835] ppid=26828 vsize=2966184 CPUtime=2.28 cores=0,2,4,6 /proc/26830/task/26835/stat : 26835 (java) S 26828 26830 24174 0 -1 4202560 204 0 0 0 223 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012802882088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26836] ppid=26828 vsize=2966184 CPUtime=2.19 cores=0,2,4,6 /proc/26830/task/26836/stat : 26836 (java) S 26828 26830 24174 0 -1 4202560 191 0 0 0 214 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012801829288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26837] ppid=26828 vsize=2966184 CPUtime=2.16 cores=0,2,4,6 /proc/26830/task/26837/stat : 26837 (java) S 26828 26830 24174 0 -1 4202560 163 0 0 0 212 4 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012800777000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26838] ppid=26828 vsize=2966184 CPUtime=2.29 cores=0,2,4,6 /proc/26830/task/26838/stat : 26838 (java) S 26828 26830 24174 0 -1 4202560 185 0 0 0 224 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012799724200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26839] ppid=26828 vsize=2966184 CPUtime=2.26 cores=0,2,4,6 /proc/26830/task/26839/stat : 26839 (java) S 26828 26830 24174 0 -1 4202560 186 0 0 0 221 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012798671912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26840] ppid=26828 vsize=2966184 CPUtime=2.3 cores=0,2,4,6 /proc/26830/task/26840/stat : 26840 (java) S 26828 26830 24174 0 -1 4202560 221 0 0 0 225 5 0 0 20 0 20 0 346109749 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012797619112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26841] ppid=26828 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/26830/task/26841/stat : 26841 (java) S 26828 26830 24174 0 -1 4202560 2453 0 0 0 491 33 0 0 20 0 20 0 346109750 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012785207528 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26842] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26842/stat : 26842 (java) S 26828 26830 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012784153592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26843] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26843/stat : 26843 (java) S 26828 26830 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109751 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012783101192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26844] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26844/stat : 26844 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012782049680 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26830/tid=26845] ppid=26828 vsize=2966184 CPUtime=1.28 cores=0,2,4,6 /proc/26830/task/26845/stat : 26845 (java) S 26828 26830 24174 0 -1 4202560 7270 0 0 0 126 2 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012780997304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26846] ppid=26828 vsize=2966184 CPUtime=1.12 cores=0,2,4,6 /proc/26830/task/26846/stat : 26846 (java) S 26828 26830 24174 0 -1 4202560 9537 0 0 0 109 3 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012662286904 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26847] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26847/stat : 26847 (java) S 26828 26830 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012661234808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26830/tid=26848] ppid=26828 vsize=2966184 CPUtime=0.13 cores=0,2,4,6 /proc/26830/task/26848/stat : 26848 (java) S 26828 26830 24174 0 -1 4202560 20 0 0 0 6 7 0 0 20 0 20 0 346109754 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012660182216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26830/tid=26851] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26851/stat : 26851 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012657022120 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26830/tid=26852] ppid=26828 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26830/task/26852/stat : 26852 (java) S 26828 26830 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109816 3037372416 178015 33554432000 1073741824 1073778376 140735886840544 140012655969320 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 711.02 Current children cumulated vsize (KiB) 2966184 Child status: 30 Real time (s): 372.68 CPU time (s): 711.495 CPU user time (s): 710.063 CPU system time (s): 1.43178 CPU usage (%): 190.913 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 710.063 system time used= 1.43178 maximum resident set size= 712084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25932 page faults= 1 swaps= 0 block input operations= 0 block output operations= 416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28488 involuntary context switches= 49986 runsolver used 1.57776 second user time and 3.9404 second system time The end
Begin job on node133 at 2012-06-04 10:50:50 IDJOB=3744010 IDBENCH=92668 IDSOLVER=2324 FILE ID=node133/3744010-1338799849 RUNJOBID= node133-1338782189-24190 PBS_JOBID= 14636833 Free space on /tmp= 70484 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744010-1338799849/watcher-3744010-1338799849 -o /tmp/evaluation-result-3744010-1338799849/solver-3744010-1338799849 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744010-1338799849.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043 RANDOM SEED=1475811918 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27898976 kB Buffers: 506396 kB Cached: 2922656 kB SwapCached: 676 kB Active: 2160448 kB Inactive: 1912064 kB Active(anon): 634728 kB Inactive(anon): 10220 kB Active(file): 1525720 kB Inactive(file): 1901844 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 876 kB Writeback: 0 kB AnonPages: 649352 kB Mapped: 18592 kB Shmem: 0 kB Slab: 760136 kB SReclaimable: 202004 kB SUnreclaim: 558132 kB KernelStack: 1808 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 600064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70484 MiB End job on node133 at 2012-06-04 10:57:02