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