Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 20.6029 | 11.4752 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo |
MD5SUM | d7ec3e5f8584fe7f5e0e066c760adfab |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10100 |
Total number of constraints | 201 |
Number of soft constraints | 65 |
Number of constraints which are clauses | 101 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 101 |
Top cost | 3414 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3413 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 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 Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 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@75786e64 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 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4092005-1466077213.wbo 0.10/0.11 c reading problem ... 0.58/0.33 c ... done. Wall clock time 0.227s. 0.58/0.33 c declared #vars 10100 0.58/0.33 c internal #vars 10165 0.58/0.33 c #constraints 201 0.58/0.34 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.58/0.34 c constraints type 0.58/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 0.58/0.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 67 0.58/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33 0.58/0.34 c 201 constraints processed. 0.58/0.34 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.58/0.34 c constraints type 0.58/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101 0.58/0.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 67 0.58/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 33 0.58/0.34 c 201 constraints processed. 0.58/0.34 c objective function length is 65 literals 6.43/2.80 c cleaning 2498 clauses out of 5004 with flag 30569/5004 13.19/6.14 c cleaning 4247 clauses out of 8502 with flag 69971/11000 19.52/9.16 c And the winner is solver1 19.63/9.39 c SATISFIABLE 19.63/9.39 c OPTIMIZING... 19.63/9.39 c Got one! Elapsed wall clock time (in seconds):9.284 19.63/9.39 o 3413 19.66/9.44 c And the winner is solver0 19.87/9.89 c Got one! Elapsed wall clock time (in seconds):9.788 19.87/9.89 o 61 19.90/9.94 c And the winner is solver0 20.07/10.40 c Got one! Elapsed wall clock time (in seconds):10.289 20.07/10.40 o 39 20.08/10.50 c And the winner is solver1 20.39/10.90 c Got one! Elapsed wall clock time (in seconds):10.791 20.39/10.90 o 1 20.39/10.90 c And the winner is solver1 20.39/11.43 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 20.39/11.43 c starts : 10 20.39/11.43 c conflicts : 16562 20.39/11.43 c decisions : 63764 20.39/11.43 c propagations : 305429 20.39/11.43 c inspects : 24615959 20.39/11.43 c shortcuts : 0 20.39/11.43 c learnt literals : 0 20.39/11.43 c learnt binary clauses : 0 20.39/11.43 c learnt ternary clauses : 0 20.39/11.43 c learnt constraints : 16562 20.39/11.43 c ignored constraints : 0 20.39/11.43 c root simplifications : 0 20.39/11.43 c removed literals (reason simplification) : 11761 20.39/11.43 c reason swapping (by a shorter reason) : 0 20.39/11.43 c Calls to reduceDB : 2 20.39/11.43 c Number of update (reduction) of LBD : 9798 20.39/11.43 c Imported unit clauses : 0 20.39/11.43 c number of reductions to clauses (during analyze) : 0 20.39/11.43 c number of learned constraints concerned by reduction : 0 20.39/11.43 c number of learning phase by resolution : 0 20.39/11.43 c number of learning phase by cutting planes : 0 20.39/11.43 c speed (assignments/second) : 571964.4194756554 20.39/11.43 c non guided choices 37687 20.39/11.43 c learnt constraints type 20.39/11.43 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 20.39/11.43 c starts : 5 20.39/11.43 c conflicts : 106 20.39/11.43 c decisions : 29879 20.39/11.43 c propagations : 58869 20.39/11.43 c inspects : 738432 20.39/11.43 c shortcuts : 0 20.39/11.43 c learnt literals : 0 20.39/11.43 c learnt binary clauses : 0 20.39/11.43 c learnt ternary clauses : 0 20.39/11.43 c learnt constraints : 106 20.39/11.43 c ignored constraints : 0 20.39/11.43 c root simplifications : 0 20.39/11.43 c removed literals (reason simplification) : 0 20.39/11.43 c reason swapping (by a shorter reason) : 0 20.39/11.43 c Calls to reduceDB : 0 20.39/11.43 c Number of update (reduction) of LBD : 0 20.39/11.43 c Imported unit clauses : 0 20.39/11.43 c number of reductions to clauses (during analyze) : 0 20.39/11.43 c number of learned constraints concerned by reduction : 0 20.39/11.43 c number of learning phase by resolution : 0 20.39/11.43 c number of learning phase by cutting planes : 0 20.39/11.43 c speed (assignments/second) : 56823.35907335907 20.39/11.43 c non guided choices 16106 20.39/11.43 c learnt constraints type 20.39/11.43 s OPTIMUM FOUND 20.39/11.43 c Found 4 solution(s) 20.39/11.44 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 20.39/11.46 c objective function=1 20.39/11.46 c Total wall clock time (in seconds): 11.351
OK 1
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4092005-1466077213/watcher-4092005-1466077213 -o /tmp/evaluation-result-4092005-1466077213/solver-4092005-1466077213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466074776-15476 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092005-1466077213.wbo pid=19075 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.05 3.68 3.52 4/198 19078 /proc/meminfo: memFree=30985588/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 9766127 98570240 978 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 24065 978 744 9 0 16771 0 [pid=19078/tid=19079] ppid=19075 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) R 19075 19078 9094 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 9766127 98570240 978 33554432000 1073741824 1073778376 140737182798816 140515616525864 243765429632 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 3.05 3.68 3.52 4/198 19078 /proc/meminfo: memFree=30985588/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 4500 0 1 0 9 1 0 0 20 0 18 0 9766127 9787879424 6129 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2389619 6129 2156 9 0 2380296 0 [pid=19078/tid=19079] ppid=19075 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) R 19075 19078 9094 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 9766127 9787879424 6129 33554432000 1073741824 1073778376 140737182798816 140515616526088 140515621075419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200688 s] /proc/loadavg: 3.05 3.68 3.52 4/198 19078 /proc/meminfo: memFree=30985588/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9558476 CPUtime=0.31 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 6737 0 1 0 29 2 0 0 20 0 18 0 9766127 9787879424 8712 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2389619 8712 2222 9 0 2380296 0 [pid=19078/tid=19079] ppid=19075 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) R 19075 19078 9094 0 -1 4202560 2396 0 1 0 16 1 0 0 20 0 18 0 9766127 9787879424 8712 33554432000 1073741824 1073778376 140737182798816 140515616526088 140515442014280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9558476 [startup+0.300385 s] /proc/loadavg: 3.05 3.68 3.52 4/198 19078 /proc/meminfo: memFree=30985588/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9558476 CPUtime=0.58 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 7124 0 1 0 56 2 0 0 20 0 18 0 9766127 9787879424 12019 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2389619 12019 2242 9 0 2380296 0 [pid=19078/tid=19079] ppid=19075 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) R 19075 19078 9094 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 18 0 9766127 9787879424 12019 33554432000 1073741824 1073778376 140737182798816 140515616526088 140515441924190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 9558476 [startup+0.70021 s] /proc/loadavg: 3.05 3.68 3.52 4/198 19078 /proc/meminfo: memFree=30985588/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 12817 0 1 0 205 4 0 0 20 0 22 0 9766127 10060525568 21689 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 21689 2265 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2423 0 1 0 30 2 0 0 20 0 22 0 9766127 10060525568 21689 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9824732 [startup+1.50096 s] /proc/loadavg: 3.05 3.68 3.52 5/220 19100 /proc/meminfo: memFree=30891648/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=3.79 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 14296 0 1 0 375 4 0 0 20 0 22 0 9766127 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 27571 2267 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2423 0 1 0 30 2 0 0 20 0 22 0 9766127 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) S 19075 19078 9094 0 -1 4202560 5426 0 0 0 49 2 0 0 20 0 22 0 9766132 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515435580088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5101 0 0 0 63 0 0 0 20 0 22 0 9766132 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19097] ppid=19075 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/19078/task/19097/stat : 19097 (java) R 19075 19078 9094 0 -1 4202560 21 0 0 0 114 0 0 0 20 0 22 0 9766161 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515431367032 140515442525414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19098] ppid=19075 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/19078/task/19098/stat : 19098 (java) R 19075 19078 9094 0 -1 4202560 46 0 0 0 113 0 0 0 20 0 22 0 9766161 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515430311984 140515442599120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19099] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19099/stat : 19099 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766162 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515429262504 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19100] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19100/stat : 19100 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766162 10060525568 27571 33554432000 1073741824 1073778376 140737182798816 140515428209704 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 3.05 3.68 3.52 5/220 19100 /proc/meminfo: memFree=30866080/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=7.03 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 14319 0 1 0 698 5 0 0 20 0 22 0 9766127 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 35768 2272 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2423 0 1 0 30 2 0 0 20 0 22 0 9766127 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766129 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) S 19075 19078 9094 0 -1 4202560 5431 0 0 0 50 2 0 0 20 0 22 0 9766132 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515435580088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5102 0 0 0 66 0 0 0 20 0 22 0 9766132 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9766132 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19097] ppid=19075 vsize=9824732 CPUtime=2.73 cores=1,3,5,7 /proc/19078/task/19097/stat : 19097 (java) R 19075 19078 9094 0 -1 4202560 25 0 0 0 273 0 0 0 20 0 22 0 9766161 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515431367224 140515442665019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19098] ppid=19075 vsize=9824732 CPUtime=2.72 cores=1,3,5,7 /proc/19078/task/19098/stat : 19098 (java) R 19075 19078 9094 0 -1 4202560 59 0 0 0 272 0 0 0 20 0 22 0 9766161 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515430313704 140515442599148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19099] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19099/stat : 19099 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766162 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515429262504 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19100] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19100/stat : 19100 (java) S 19075 19078 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9766162 10060525568 35768 33554432000 1073741824 1073778376 140737182798816 140515428209704 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.03 Current children cumulated vsize (KiB) 9824732 [startup+6.30099 s] /proc/loadavg: 3.12 3.69 3.52 5/220 19100 /proc/meminfo: memFree=30785768/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=13.59 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 14420 0 1 0 1350 9 0 0 20 0 22 0 9766127 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 51143 2284 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2423 0 1 0 30 2 0 0 20 0 22 0 9766127 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 9766128 10060525568 51143 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 106 0 0 0 3 2 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 90 0 0 0 0 2 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 324 0 0 0 3 2 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) S 19075 19078 9094 0 -1 4202560 5441 0 0 0 66 2 0 0 20 0 19 0 9766132 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515435580088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5222 0 0 0 95 0 0 0 20 0 19 0 9766132 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 19.87 Current children cumulated vsize (KiB) 9824732 [startup+10.4008 s] /proc/loadavg: 3.19 3.69 3.52 8/220 19106 /proc/meminfo: memFree=30731128/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=20.08 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 15238 0 1 0 1987 21 0 0 20 0 20 0 9766127 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 65013 2286 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) R 19075 19078 9094 0 -1 4202560 2425 0 1 0 31 2 0 0 20 0 20 0 9766127 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515616531224 140515441970380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 21 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 106 0 0 0 3 2 0 0 20 0 21 0 9766128 10060525568 65013 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 21 0 9766128 10060525568 65015 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 21 0 9766128 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 90 0 0 0 0 2 0 0 20 0 21 0 9766128 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 21 0 9766128 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 324 0 0 0 3 2 0 0 20 0 21 0 9766128 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 21 0 9766128 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 21 0 9766129 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9766129 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 9766129 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9766132 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) R 19075 19078 9094 0 -1 4202560 5441 0 0 0 74 2 0 0 20 0 21 0 9766132 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515435580088 140515620053927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5222 0 0 0 96 0 0 0 20 0 21 0 9766132 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9766132 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9766132 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19103] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19103/stat : 19103 (java) S 19075 19078 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9767066 10060525568 65017 33554432000 1073741824 1073778376 140737182798816 140515428210344 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 20.08 Current children cumulated vsize (KiB) 9824732 [startup+11.2008 s] /proc/loadavg: 3.19 3.69 3.52 3/217 19112 /proc/meminfo: memFree=30729012/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=20.39 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 15292 0 1 0 2016 23 0 0 20 0 19 0 9766127 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 65553 2286 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2425 0 1 0 31 2 0 0 20 0 19 0 9766127 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 107 0 0 0 4 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 39 0 0 0 5 1 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 92 0 0 0 3 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 325 0 0 0 4 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) S 19075 19078 9094 0 -1 4202560 5456 0 0 0 77 2 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515435580088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5222 0 0 0 100 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19109] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19109/stat : 19109 (java) S 19075 19078 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9767167 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515429262760 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 20.39 Current children cumulated vsize (KiB) 9824732 [startup+11.4008 s] /proc/loadavg: 3.19 3.69 3.52 3/217 19112 /proc/meminfo: memFree=30729012/32872528 swapFree=7268/7268 [pid=19078] ppid=19075 vsize=9824732 CPUtime=20.39 cores=1,3,5,7 /proc/19078/stat : 19078 (java) S 19075 19078 9094 0 -1 4202496 15292 0 1 0 2016 23 0 0 20 0 19 0 9766127 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140737182789952 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/19078/statm: 2456183 65553 2286 9 0 2446860 0 [pid=19078/tid=19079] ppid=19075 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/19078/task/19079/stat : 19079 (java) S 19075 19078 9094 0 -1 4202560 2425 0 1 0 31 2 0 0 20 0 19 0 9766127 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515616531320 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19081] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19081/stat : 19081 (java) S 19075 19078 9094 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515578022184 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19082] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19082/stat : 19082 (java) S 19075 19078 9094 0 -1 4202560 107 0 0 0 4 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515576969384 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19083] ppid=19075 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/19078/task/19083/stat : 19083 (java) S 19075 19078 9094 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515575917096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19084] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19084/stat : 19084 (java) S 19075 19078 9094 0 -1 4202560 39 0 0 0 5 1 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515574864296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19085] ppid=19075 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/19078/task/19085/stat : 19085 (java) S 19075 19078 9094 0 -1 4202560 92 0 0 0 3 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515573812008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19086] ppid=19075 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/19078/task/19086/stat : 19086 (java) S 19075 19078 9094 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515572759208 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19087] ppid=19075 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/19078/task/19087/stat : 19087 (java) S 19075 19078 9094 0 -1 4202560 325 0 0 0 4 2 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515571706920 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19088] ppid=19075 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/19078/task/19088/stat : 19088 (java) S 19075 19078 9094 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 19 0 9766128 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515570654120 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19089] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19089/stat : 19089 (java) S 19075 19078 9094 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515439790312 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19090] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19090/stat : 19090 (java) S 19075 19078 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515438736376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19091] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19091/stat : 19091 (java) S 19075 19078 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9766129 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515437683976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19092] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19092/stat : 19092 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515436632464 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19093] ppid=19075 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/19078/task/19093/stat : 19093 (java) S 19075 19078 9094 0 -1 4202560 5456 0 0 0 77 2 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515435580088 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=19078/tid=19094] ppid=19075 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/19078/task/19094/stat : 19094 (java) S 19075 19078 9094 0 -1 4202560 5222 0 0 0 100 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515434527288 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19078/tid=19095] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19095/stat : 19095 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515433475192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19078/tid=19096] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19096/stat : 19096 (java) S 19075 19078 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9766132 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515432422600 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=19078/tid=19109] ppid=19075 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/19078/task/19109/stat : 19109 (java) S 19075 19078 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9767167 10060525568 65553 33554432000 1073741824 1073778376 140737182798816 140515429262760 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 20.39 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 11.4752 CPU time (s): 20.6029 CPU user time (s): 20.2679 CPU system time (s): 0.334949 CPU usage (%): 179.542 Max. virtual memory (cumulated for all children) (KiB): 9825948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.2679 system time used= 0.334949 maximum resident set size= 262236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15301 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 817 involuntary context switches= 789 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.06399 second user time and 0.105983 second system time The end
Begin job on node151 at 2016-06-16 13:40:13 IDJOB=4092005 IDBENCH=78713 IDSOLVER=2552 FILE ID=node151/4092005-1466077213 RUNJOBID= node151-1466074776-15476 PBS_JOBID= 19903998 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092005-1466077213/watcher-4092005-1466077213 -o /tmp/evaluation-result-4092005-1466077213/solver-4092005-1466077213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466074776-15476 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092005-1466077213.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab RANDOM SEED=1470549789 node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30985860 kB Buffers: 22132 kB Cached: 69160 kB SwapCached: 61604 kB Active: 1040436 kB Inactive: 115408 kB Active(anon): 1005892 kB Inactive(anon): 61036 kB Active(file): 34544 kB Inactive(file): 54372 kB Unevictable: 7268 kB Mlocked: 7268 kB SwapTotal: 67108856 kB SwapFree: 67038976 kB Dirty: 1688 kB Writeback: 0 kB AnonPages: 1031224 kB Mapped: 15332 kB Shmem: 0 kB Slab: 568412 kB SReclaimable: 10928 kB SUnreclaim: 557484 kB KernelStack: 1792 kB PageTables: 6532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2070548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 970752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node151 at 2016-06-16 13:40:25