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