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