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