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