Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.08 | 1689.46 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb |
| MD5SUM | bd1f23f2ad95dce248911d20ecda08b7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4397958 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 109215352 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 5000695793 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 109215352 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 5000695793 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.14 c Pseudo Boolean Optimization 0.07/0.14 c ManyCore solver with 2 solvers running in parallel 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.14 c No reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3743970-1338790816.opb 0.07/0.14 c reading problem ... 1.01/0.58 c ... done. Wall clock time 0.44s. 1.01/0.58 c #vars 9765 1.01/0.58 c #constraints 21987 1.01/0.58 c constraints type 1.01/0.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.01/0.58 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.01/0.58 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.01/0.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.01/0.58 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.01/0.58 c constraints type 1.01/0.58 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.01/0.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.01/0.58 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.01/0.58 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.01/0.58 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.96/0.86 c And the winner is Resolution 2.56/1.10 c SATISFIABLE 2.56/1.10 c OPTIMIZING... 2.56/1.10 c Got one! Elapsed wall clock time (in seconds):0.969 2.56/1.10 o 6093014 2.56/1.15 c And the winner is Resolution 2.84/1.64 c Got one! Elapsed wall clock time (in seconds):1.5 2.84/1.64 o 5295349 2.84/1.66 c And the winner is Resolution 3.01/2.16 c Got one! Elapsed wall clock time (in seconds):2.029 3.01/2.16 o 5014620 3.13/2.21 c And the winner is Resolution 3.29/2.69 c Got one! Elapsed wall clock time (in seconds):2.555 3.29/2.69 o 4943376 7.67/4.77 c cleaning 2616 clauses out of 5241 with flag 5000/5253 11.61/6.66 c And the winner is Resolution 12.22/7.27 c Got one! Elapsed wall clock time (in seconds):7.131 12.22/7.27 o 4907027 12.31/7.31 c And the winner is Resolution 12.35/7.79 c Got one! Elapsed wall clock time (in seconds):7.654 12.35/7.79 o 4792800 15.60/9.43 c cleaning 6432 clauses out of 12873 with flag 5000/15502 20.16/11.76 c cleaning 6212 clauses out of 12442 with flag 11001/21503 25.57/14.42 c cleaning 6602 clauses out of 13229 with flag 18000/28502 30.85/17.03 c cleaning 7296 clauses out of 14626 with flag 26000/36502 37.38/20.32 c cleaning 8150 clauses out of 16330 with flag 35000/45502 45.33/24.38 c cleaning 9082 clauses out of 18181 with flag 45001/55503 52.85/28.13 c cleaning 10036 clauses out of 20102 with flag 56004/66506 62.97/33.22 c cleaning 11019 clauses out of 22068 with flag 68006/78508 71.52/37.59 c cleaning 12011 clauses out of 24044 with flag 81001/91503 82.07/42.85 c cleaning 13001 clauses out of 26032 with flag 95000/105502 91.99/47.82 c cleaning 14010 clauses out of 28031 with flag 110000/120502 102.71/53.29 c cleaning 15001 clauses out of 30021 with flag 126000/136502 115.45/59.61 c cleaning 16008 clauses out of 32022 with flag 143002/153504 127.35/65.66 c cleaning 16994 clauses out of 34012 with flag 161000/171502 140.69/72.36 c cleaning 18008 clauses out of 36019 with flag 180001/190503 154.76/79.49 c cleaning 18990 clauses out of 38010 with flag 200000/210502 171.08/87.60 c cleaning 20006 clauses out of 40021 with flag 221001/231503 182.82/93.58 c cleaning 20985 clauses out of 42015 with flag 243001/253503 196.12/100.23 c cleaning 21501 clauses out of 43030 with flag 265003/275505 202.56/103.51 c And the winner is Resolution 202.66/103.87 c Got one! Elapsed wall clock time (in seconds):103.735 202.66/103.87 o 4718639 205.01/105.14 c cleaning 18510 clauses out of 37060 with flag 5001/291036 208.30/106.89 c cleaning 12260 clauses out of 24549 with flag 11000/297035 208.99/107.30 c And the winner is Resolution 209.19/107.39 c Got one! Elapsed wall clock time (in seconds):107.258 209.19/107.39 o 4680914 209.29/107.43 c And the winner is Resolution 1799.87/1689.41 c starts : 141 1799.87/1689.41 c conflicts : 298219 1799.87/1689.41 c decisions : 749077 1799.87/1689.41 c propagations : 89809738 1799.87/1689.41 c inspects : 362624049 1799.87/1689.41 c shortcuts : 0 1799.87/1689.41 c learnt literals : 16 1799.87/1689.41 c learnt binary clauses : 94 1799.87/1689.41 c learnt ternary clauses : 651 1799.87/1689.41 c learnt constraints : 298203 1799.87/1689.41 c ignored constraints : 0 1799.87/1689.41 c root simplifications : 0 1799.87/1689.41 c removed literals (reason simplification) : 4245014 1799.87/1689.41 c reason swapping (by a shorter reason) : 0 1799.87/1689.41 c Calls to reduceDB : 22 1799.87/1689.41 c number of reductions to clauses (during analyze) : 0 1799.87/1689.41 c number of learned constraints concerned by reduction : 0 1799.87/1689.41 c number of learning phase by resolution : 0 1799.87/1689.41 c number of learning phase by cutting planes : 0 1799.87/1689.41 c speed (assignments/second) : 56769.35116127511 1799.87/1689.41 c non guided choices 2001 1799.87/1689.42 c learnt constraints type 1799.87/1689.42 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 94 1799.87/1689.42 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13379 1799.87/1689.42 c constraints type 1799.87/1689.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1799.87/1689.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1799.87/1689.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1799.87/1689.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1799.87/1689.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1799.87/1689.42 c constraints type 1799.87/1689.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1799.87/1689.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1799.87/1689.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1799.87/1689.42 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1799.87/1689.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1799.87/1689.42 s SATISFIABLE 1799.87/1689.43 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 1799.87/1689.44 c objective function=4680914 1799.87/1689.44 c Total wall clock time (in seconds): 1689.305
OK 4680914
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743970-1338790816/watcher-3743970-1338790816 -o /tmp/evaluation-result-3743970-1338790816/solver-3743970-1338790816 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3743970-1338790816.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.55 3.35 3.20 3/196 20369 /proc/meminfo: memFree=24802768/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/20369/stat : 20369 (java) D 20367 20369 19330 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 345210003 9515008 182 33554432000 1073741824 1073778376 140733227848080 140733227839112 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/20369/statm: 2323 182 140 9 0 71 0 [startup+0.052497 s] /proc/loadavg: 3.55 3.35 3.20 3/196 20369 /proc/meminfo: memFree=24802768/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11120388 CPUtime=0.03 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 3662 0 1 0 2 1 0 0 20 0 11 0 345210003 11387277312 12027 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2780097 12027 1632 9 0 2770798 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11120388 [startup+0.100332 s] /proc/loadavg: 3.55 3.35 3.20 3/196 20369 /proc/meminfo: memFree=24802768/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 3960 0 1 0 6 1 0 0 20 0 18 0 345210003 11864465408 12834 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2896598 12834 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300305 s] /proc/loadavg: 3.55 3.35 3.20 3/196 20369 /proc/meminfo: memFree=24802768/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11586392 CPUtime=0.48 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 6533 0 1 0 46 2 0 0 20 0 18 0 345210003 11864465408 17018 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2896598 17018 2231 9 0 2887285 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 11586392 [startup+0.700164 s] /proc/loadavg: 3.55 3.35 3.20 3/196 20369 /proc/meminfo: memFree=24802768/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=1.57 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 11068 0 1 0 153 4 0 0 20 0 22 0 345210003 12137111552 35989 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 35989 2258 9 0 2953849 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 11852648 [startup+1.5007 s] /proc/loadavg: 3.58 3.36 3.20 4/215 20391 /proc/meminfo: memFree=24649148/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=2.84 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 15969 0 1 0 275 9 0 0 20 0 19 0 345210003 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 44238 2265 9 0 2953849 0 [pid=20369/tid=20371] ppid=20367 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/20369/task/20371/stat : 20371 (java) S 20367 20369 19330 0 -1 4202560 2904 0 1 0 55 3 0 0 20 0 19 0 345210004 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005971932312 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345210007 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345210008 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345210009 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345210009 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210012 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=0.84 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 6742 0 0 0 83 1 0 0 20 0 19 0 345210012 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 5008 0 0 0 69 0 0 0 20 0 19 0 345210012 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210012 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345210012 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345210065 12137111552 44238 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.58 3.36 3.20 3/215 20397 /proc/meminfo: memFree=24623324/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=4.4 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 19612 0 1 0 423 17 0 0 20 0 22 0 345210003 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 86746 2266 9 0 2953849 0 [pid=20369/tid=20371] ppid=20367 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/20369/task/20371/stat : 20371 (java) S 20367 20369 19330 0 -1 4202560 2908 0 1 0 63 3 0 0 20 0 22 0 345210004 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005971932328 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 345210008 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345210009 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345210009 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=1.18 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 8237 0 0 0 116 2 0 0 20 0 22 0 345210012 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=0.89 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 7049 0 0 0 89 0 0 0 20 0 22 0 345210012 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345210065 12137111552 86746 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 11852648 [startup+6.3009 s] /proc/loadavg: 3.61 3.37 3.21 5/218 20403 /proc/meminfo: memFree=23239740/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=10.88 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 20374 0 1 0 1043 45 0 0 20 0 22 0 345210003 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 432298 2292 9 0 2953849 0 [pid=20369/tid=20371] ppid=20367 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/20369/task/20371/stat : 20371 (java) S 20367 20369 19330 0 -1 4202560 2908 0 1 0 63 3 0 0 20 0 22 0 345210004 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005971932328 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=0.01 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 345210007 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=0.06 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 22 0 345210008 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345210009 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345210009 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=1.26 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 8237 0 0 0 124 2 0 0 20 0 22 0 345210012 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 7069 0 0 0 95 0 0 0 20 0 22 0 345210012 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345210012 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345210065 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20401] ppid=20367 vsize=11852648 CPUtime=3.46 cores=1,3,5,7 /proc/20369/task/20401/stat : 20401 (java) R 20367 20369 19330 0 -1 4202560 9 0 0 0 346 0 0 0 20 0 22 0 345210273 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005309964952 140005817957794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20402] ppid=20367 vsize=11852648 CPUtime=3.45 cores=1,3,5,7 /proc/20369/task/20402/stat : 20402 (java) R 20367 20369 19330 0 -1 4202560 730 0 0 0 318 27 0 0 20 0 22 0 345210273 12137111552 432298 33554432000 1073741824 1073778376 140736091538208 140005306804344 140005817666093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=1.46 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 124 0 0 0 141 5 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 102 0 0 0 140 5 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 133 0 0 0 142 6 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=1.49 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 100 0 0 0 145 4 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 126 0 0 0 138 6 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=1.4 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 121 0 0 0 135 5 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=1.49 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 117 0 0 0 144 5 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 118 0 0 0 139 5 0 0 20 0 21 0 345210007 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=2.2 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 151 0 0 0 215 5 0 0 20 0 21 0 345210008 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 8238 0 0 0 143 2 0 0 20 0 21 0 345210012 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 8426 0 0 0 135 0 0 0 20 0 21 0 345210012 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 92 0 0 0 39 31 0 0 20 0 21 0 345210012 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 345210065 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20415] ppid=20367 vsize=11852648 CPUtime=1487.15 cores=1,3,5,7 /proc/20369/task/20415/stat : 20415 (java) R 20367 20369 19330 0 -1 4202560 288 0 0 0 148689 26 0 0 20 0 21 0 345220744 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005308910832 140005817666278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20416] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20416/stat : 20416 (java) S 20367 20369 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 345220749 12137111552 967674 33554432000 1073741824 1073778376 140736091538208 140005309965736 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1712.47 Current children cumulated vsize (KiB) 11852648 [startup+1662.3 s] /proc/loadavg: 2.99 2.98 3.00 4/216 20566 /proc/meminfo: memFree=21042148/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=1772.6 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 24080 0 1 0 177064 196 0 0 20 0 21 0 345210003 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 969211 2292 9 0 2953849 0 [pid=20369/tid=20371] ppid=20367 vsize=11852648 CPUtime=1.58 cores=1,3,5,7 /proc/20369/task/20371/stat : 20371 (java) S 20367 20369 19330 0 -1 4202560 2945 0 1 0 125 33 0 0 20 0 21 0 345210004 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005971932376 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 125 0 0 0 143 5 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 104 0 0 0 142 5 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 134 0 0 0 144 6 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 100 0 0 0 146 4 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 127 0 0 0 139 6 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=1.43 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 123 0 0 0 138 5 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 119 0 0 0 146 5 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=1.46 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 119 0 0 0 141 5 0 0 20 0 21 0 345210007 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=2.2 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 155 0 0 0 215 5 0 0 20 0 21 0 345210008 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 8238 0 0 0 143 2 0 0 20 0 21 0 345210012 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 8426 0 0 0 135 0 0 0 20 0 21 0 345210012 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 94 0 0 0 41 31 0 0 20 0 21 0 345210012 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 345210065 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20415] ppid=20367 vsize=11852648 CPUtime=1546.92 cores=1,3,5,7 /proc/20369/task/20415/stat : 20415 (java) R 20367 20369 19330 0 -1 4202560 296 0 0 0 154665 27 0 0 20 0 21 0 345220744 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005308910848 140005818168787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20416] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20416/stat : 20416 (java) S 20367 20369 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 345220749 12137111552 969211 33554432000 1073741824 1073778376 140736091538208 140005309965736 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1772.6 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1689.4 s] /proc/loadavg: 2.99 2.98 3.00 4/216 20566 /proc/meminfo: memFree=21027812/32873844 swapFree=6088/6088 [pid=20369] ppid=20367 vsize=11852648 CPUtime=1799.87 cores=1,3,5,7 /proc/20369/stat : 20369 (java) S 20367 20369 19330 0 -1 4202496 24102 0 1 0 179790 197 0 0 20 0 21 0 345210003 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140736091529344 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20369/statm: 2963162 971264 2292 9 0 2953849 0 [pid=20369/tid=20371] ppid=20367 vsize=11852648 CPUtime=1.6 cores=1,3,5,7 /proc/20369/task/20371/stat : 20371 (java) S 20367 20369 19330 0 -1 4202560 2946 0 1 0 127 33 0 0 20 0 21 0 345210004 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005971932376 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20372] ppid=20367 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/20369/task/20372/stat : 20372 (java) S 20367 20369 19330 0 -1 4202560 129 0 0 0 146 5 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005940341672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20373] ppid=20367 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/20369/task/20373/stat : 20373 (java) S 20367 20369 19330 0 -1 4202560 105 0 0 0 144 6 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005939289128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20374] ppid=20367 vsize=11852648 CPUtime=1.54 cores=1,3,5,7 /proc/20369/task/20374/stat : 20374 (java) S 20367 20369 19330 0 -1 4202560 138 0 0 0 148 6 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005938236072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20375] ppid=20367 vsize=11852648 CPUtime=1.53 cores=1,3,5,7 /proc/20369/task/20375/stat : 20375 (java) S 20367 20369 19330 0 -1 4202560 100 0 0 0 149 4 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005937183528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20369/tid=20376] ppid=20367 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/20369/task/20376/stat : 20376 (java) S 20367 20369 19330 0 -1 4202560 128 0 0 0 142 6 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005936130472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20377] ppid=20367 vsize=11852648 CPUtime=1.46 cores=1,3,5,7 /proc/20369/task/20377/stat : 20377 (java) S 20367 20369 19330 0 -1 4202560 125 0 0 0 141 5 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005803526696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20378] ppid=20367 vsize=11852648 CPUtime=1.53 cores=1,3,5,7 /proc/20369/task/20378/stat : 20378 (java) S 20367 20369 19330 0 -1 4202560 119 0 0 0 148 5 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005802473640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20379] ppid=20367 vsize=11852648 CPUtime=1.49 cores=1,3,5,7 /proc/20369/task/20379/stat : 20379 (java) S 20367 20369 19330 0 -1 4202560 119 0 0 0 144 5 0 0 20 0 21 0 345210007 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005330643240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20380] ppid=20367 vsize=11852648 CPUtime=2.2 cores=1,3,5,7 /proc/20369/task/20380/stat : 20380 (java) S 20367 20369 19330 0 -1 4202560 157 0 0 0 215 5 0 0 20 0 21 0 345210008 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005318445928 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20381] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20381/stat : 20381 (java) S 20367 20369 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005317392248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20382] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20382/stat : 20382 (java) S 20367 20369 19330 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 345210009 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005316339080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20383] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20383/stat : 20383 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005315287824 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20369/tid=20384] ppid=20367 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/20369/task/20384/stat : 20384 (java) S 20367 20369 19330 0 -1 4202560 8238 0 0 0 143 2 0 0 20 0 21 0 345210012 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005314234680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20385] ppid=20367 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/20369/task/20385/stat : 20385 (java) S 20367 20369 19330 0 -1 4202560 8426 0 0 0 135 0 0 0 20 0 21 0 345210012 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005313182136 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20386] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20386/stat : 20386 (java) S 20367 20369 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 345210012 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005312129272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20369/tid=20387] ppid=20367 vsize=11852648 CPUtime=0.74 cores=1,3,5,7 /proc/20369/task/20387/stat : 20387 (java) S 20367 20369 19330 0 -1 4202560 96 0 0 0 42 32 0 0 20 0 21 0 345210012 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005311076936 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20390] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20390/stat : 20390 (java) S 20367 20369 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 345210065 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005307860264 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20415] ppid=20367 vsize=11852648 CPUtime=1573.87 cores=1,3,5,7 /proc/20369/task/20415/stat : 20415 (java) R 20367 20369 19330 0 -1 4202560 301 0 0 0 157360 27 0 0 20 0 21 0 345220744 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005308910848 140005818172431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20369/tid=20416] ppid=20367 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/20369/task/20416/stat : 20416 (java) S 20367 20369 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 345220749 12137111552 971264 33554432000 1073741824 1073778376 140736091538208 140005309965736 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20369 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=938279 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=304649 # CPU time returned by wait4() is 1796.24 # while last known CPU time is 1799.87 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.210007 # lost CPU user time (s): 0.240005 # lost CPU system time (s): -0.03 Real time (s): 1689.46 CPU time (s): 1800.08 CPU user time (s): 1798.14 CPU system time (s): 1.94 CPU usage (%): 106.548 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.94 system time used= 2.30465 maximum resident set size= 3885144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24125 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 78774 involuntary context switches= 58045 runsolver used 5.95109 second user time and 15.9646 second system time The end
Begin job on node110 at 2012-06-04 08:20:16 IDJOB=3743970 IDBENCH=92657 IDSOLVER=2328 FILE ID=node110/3743970-1338790816 RUNJOBID= node110-1338783928-19347 PBS_JOBID= 14636844 Free space on /tmp= 71068 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743970-1338790816/watcher-3743970-1338790816 -o /tmp/evaluation-result-3743970-1338790816/solver-3743970-1338790816 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3743970-1338790816.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7 RANDOM SEED=532616969 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 24802768 kB Buffers: 908784 kB Cached: 2599672 kB SwapCached: 604 kB Active: 5573044 kB Inactive: 1640420 kB Active(anon): 3692972 kB Inactive(anon): 12316 kB Active(file): 1880072 kB Inactive(file): 1628104 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67107364 kB Dirty: 1216 kB Writeback: 0 kB AnonPages: 3745252 kB Mapped: 19856 kB Shmem: 40 kB Slab: 708596 kB SReclaimable: 150748 kB SUnreclaim: 557848 kB KernelStack: 1616 kB PageTables: 11536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10446252 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3692544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71072 MiB End job on node110 at 2012-06-04 08:48:27