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