Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.37 | 3594.99 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo |
| MD5SUM | a6ee01287cd5e8ae1d72d6c38154c871 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1079974 |
| Best CPU time to get the best result obtained on this benchmark | 287.001 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10200 |
| Total number of constraints | 20300 |
| Number of soft constraints | 20100 |
| Number of constraints which are clauses | 20100 |
| Number of constraints which are cardinality constraints (but not clauses) | 200 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 100 |
| Top cost | 21147472 |
| Min constraint cost | 1 |
| Max constraint cost | 21147472 |
| Sum of constraints costs | 211613168177 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 101 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.31 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.31 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.31 c See www.sat4j.org for details. 0.25/0.33 c version CUSTOM.v20240707 0.25/0.36 c java.runtime.name OpenJDK Runtime Environment 0.25/0.36 c java.vm.name OpenJDK 64-Bit Server VM 0.25/0.36 c java.vm.version 22.0.1+8-16 0.25/0.36 c java.vm.vendor Oracle Corporation 0.25/0.36 c sun.arch.data.model 64 0.25/0.36 c java.version 22.0.1 0.25/0.36 c os.name Linux 0.25/0.36 c os.version 4.18.0-301.1.el8.x86_64 0.25/0.36 c os.arch amd64 0.25/0.37 c Free memory 2115194816 0.25/0.37 c Max memory 16282288128 0.25/0.37 c Total memory 2122317824 0.25/0.38 c Number of processors 2 0.57/0.56 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.57/0.56 - never skip resolution steps 0.57/0.56 - Auto-division on coefficients is disabled 0.57/0.56 - No postprocessing 0.57/0.56 - Conflict is considered as is when resolving 0.57/0.56 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.57/0.56 - Weaken first using unassigned literals 0.57/0.56 - Bump strategy: ALWAYS_ONE 0.57/0.56 - Bumper: ASSIGNED 0.57/0.56 --- Begin Solver configuration --- 0.57/0.56 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.57/0.56 Learn all clauses as in MiniSAT 0.57/0.56 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.57/0.56 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.57/0.56 No reason simplification 0.57/0.56 Armin Biere (Picosat) restarts strategy 0.57/0.56 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.57/0.56 timeout=2147483s 0.57/0.56 DB Simplification allowed=false 0.57/0.56 Listener: none 0.57/0.56 --- End Solver configuration --- 0.57/0.57 c Pseudo Boolean Optimization by upper bound 0.57/0.57 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.57/0.57 c - never skip resolution steps 0.57/0.57 c - Auto-division on coefficients is disabled 0.57/0.57 c - No postprocessing 0.57/0.57 c - Conflict is considered as is when resolving 0.57/0.57 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.57/0.57 c - Weaken first using unassigned literals 0.57/0.57 c - Bump strategy: ALWAYS_ONE 0.57/0.57 c - Bumper: ASSIGNED 0.57/0.57 c --- Begin Solver configuration --- 0.57/0.57 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.57/0.57 c Learn all clauses as in MiniSAT 0.57/0.57 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.57/0.57 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.57/0.57 c No reason simplification 0.57/0.57 c Armin Biere (Picosat) restarts strategy 0.57/0.57 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.57/0.57 c timeout=2147483s 0.57/0.57 c DB Simplification allowed=false 0.57/0.57 c Listener: none 0.57/0.57 c --- End Solver configuration --- 0.57/0.57 c solving HOME/instance-4456409-1721723262.wbo 0.57/0.57 c reading problem ... 3.63/2.19 c ... done. Wall clock time 1.63s. 3.82/2.21 c declared #vars 10200 3.82/2.21 c internal #vars 30300 3.82/2.21 c #constraints 20501 3.82/2.21 c constraints type 3.82/2.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10300 3.82/2.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 3.82/2.21 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 3.82/2.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10100 3.82/2.21 c 20501 constraints processed. 3.82/2.22 c objective function length is 20100 literals 4.21/2.42 c SATISFIABLE 4.21/2.43 c OPTIMIZING... 4.21/2.43 c Got one! Elapsed wall clock time (in seconds):1.862 4.21/2.43 o 1467341 5.71/3.26 c Got one! Elapsed wall clock time (in seconds):2.693 5.71/3.26 o 1467217 6.68/3.84 c Got one! Elapsed wall clock time (in seconds):3.274 6.68/3.84 o 1396837 10.04/6.49 c Got one! Elapsed wall clock time (in seconds):5.924 10.04/6.49 o 1223633 3600.04/3594.84 c starts : 9 3600.04/3594.85 c conflicts : 506 3600.04/3594.85 c decisions : 282700 3600.04/3594.85 c propagations : 1326526 3600.04/3594.86 c inspects : 9429095 3600.04/3594.86 c shortcuts : 0 3600.04/3594.86 c learnt literals : 0 3600.04/3594.86 c learnt binary clauses : 0 3600.04/3594.86 c learnt ternary clauses : 0 3600.04/3594.86 c learnt constraints : 506 3600.04/3594.86 c ignored constraints : 0 3600.04/3594.86 c root simplifications : 0 3600.04/3594.86 c removed literals (reason simplification) : 0 3600.04/3594.86 c reason swapping (by a shorter reason) : 0 3600.04/3594.86 c Calls to reduceDB : 0 3600.04/3594.86 c Number of update (reduction) of LBD : 0 3600.04/3594.86 c Imported unit clauses : 0 3600.04/3594.86 c No decision after first conflict : false 3600.04/3594.86 c number of reductions to clauses (during analyze) : 0 3600.04/3594.86 c number of learned constraints concerned by reduction : 0 3600.04/3594.86 c number of learning phase by resolution : 0 3600.04/3594.86 c number of learning phase by cutting planes : 0 3600.04/3594.86 c number of rounding to 1 operations : 20 3600.04/3594.86 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3594.86 c number of reductions of the coefficients by power 2 : 0 3600.04/3594.86 c number of right shift for reduction by power 2 : 0 3600.04/3594.86 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3594.86 c number of ending skipping : 0 3600.04/3594.86 c number of internal skipping : 0 3600.04/3594.86 c number of derivation steps : 2767 3600.04/3594.86 c number of skipped derivation steps : 0 3600.04/3594.86 c number of remaining unassigned : 27 3600.04/3594.86 c number of remaining assigned : 202894 3600.04/3594.86 c number of falsified literals weakened from reason : 0 3600.04/3594.86 c number of falsified literals weakened from conflict : 0 3600.04/3594.86 c time for arithmetic operations : 14817162 3600.04/3594.88 c minimum degree of deleted constraints : null 3600.04/3594.88 c maximum degree of deleted constraints : null 3600.04/3594.88 c number of deleted constraints : 0 3600.04/3594.88 c speed (assignments/second) : 369.23576236435406 3600.04/3594.88 c non guided choices : 0 3600.04/3594.88 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 506 3600.04/3594.88 s SATISFIABLE 3600.04/3594.89 c Found 4 solution(s) 3600.25/3594.91 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 3600.25/3594.95 c objective function=1223633 3600.25/3594.95 c Total wall clock time (in seconds): 3594.391
OK 1223633
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60962 MiB free)
memory of node 1: 64473 MiB (61491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456409-1721723262/watcher-4456409-1721723262 -o /tmp/evaluation-result-4456409-1721723262/solver-4456409-1721723262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721723262-82527 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456409-1721723262.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82579, runsolver pid=82573
[startup+0.100067 s]*
/proc/loadavg: 1.18 1.72 2.52 1/272 82620
/proc/meminfo: memFree=125314316/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=18175400 memory=32072 CPUtime=0.04 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 3192 0 74 0 1 3 0 0 20 0 7 0 8315003 18611609600 8018 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16784588 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4543850 8018 3625 1 0 544764 0
[pid=82579/tid=82588] ppid=82573 vsize=18175400 memory=4026531971 CPUtime=0.02 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 2692 0 65 0 0 2 0 0 20 0 7 0 8315004 18611609600 8075 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 6 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 32072 KiB
[startup+0.214751 s]*
/proc/loadavg: 1.18 1.72 2.52 9/315 82663
/proc/meminfo: memFree=125236460/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=18975008 memory=52524 CPUtime=0.11 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 6120 0 109 0 6 5 0 0 20 0 18 0 8315003 19430408192 13131 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4743752 13131 5123 1 0 550484 0
[pid=82579/tid=82588] ppid=82573 vsize=18975008 memory=8505393642823811203 CPUtime=0.08 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) D 82573 82579 79028 0 -1 4194368 5269 0 90 0 4 4 0 0 20 0 18 0 8315004 19430408192 13131 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=18975008 memory=3667 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8315022 19430408192 13131 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=18975008 memory=15536323511457260 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8315024 19430408192 13131 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975008 KiB
Current children cumulated memory: 52524 KiB
[startup+0.316599 s]*
/proc/loadavg: 1.18 1.72 2.52 3/317 82665
/proc/meminfo: memFree=125219956/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=18975048 memory=56724 CPUtime=0.25 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 6778 0 111 0 19 6 0 0 20 0 18 0 8315003 19430449152 14181 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4743762 14181 5554 1 0 551006 0
[pid=82579/tid=82588] ppid=82573 vsize=18975048 memory=-6000919489819273831 CPUtime=0.17 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 5641 0 92 0 13 4 0 0 20 0 18 0 8315004 19430449152 14181 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=18975048 memory=-4421386500559563103 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8315022 19430449152 14181 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8315024 19430449152 14181 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56724 KiB
[startup+0.709375 s]
/proc/loadavg: 1.18 1.72 2.52 16/317 82665
/proc/meminfo: memFree=125186960/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=18975048 memory=98148 CPUtime=0.92 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 7829 0 111 0 84 8 0 0 20 0 18 0 8315003 19430449152 24537 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4743762 24537 5682 1 0 551766 0
[pid=82579/tid=82588] ppid=82573 vsize=18975048 memory=32960 CPUtime=0.51 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 6102 0 92 0 45 6 0 0 20 0 18 0 8315004 19430449152 24537 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=18975048 memory=11880 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8315022 19430449152 24537 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=18975048 memory=5500 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8315024 19430449152 24537 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98148 KiB
[startup+1.50037 s]
/proc/loadavg: 1.18 1.72 2.52 10/301 82673
/proc/meminfo: memFree=124888544/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19041612 memory=930700 CPUtime=2.44 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 13018 0 111 0 210 34 0 0 20 0 19 0 8315003 19498610688 232675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4760403 232675 5817 1 0 555121 0
[pid=82579/tid=82588] ppid=82573 vsize=19041612 memory=0 CPUtime=1.19 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 6502 0 92 0 90 29 0 0 20 0 19 0 8315004 19498610688 232675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19041612 memory=33 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8315022 19498610688 232675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19041612 memory=11880 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8315024 19498610688 232675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 930700 KiB
[startup+3.10637 s]
/proc/loadavg: 1.72 1.83 2.55 12/325 82741
/proc/meminfo: memFree=120543228/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=2219956 CPUtime=5.59 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 25068 0 111 0 490 69 0 0 20 0 20 0 8315003 19566772224 554989 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 554989 5864 1 0 1088269 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=33 CPUtime=2.71 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 7258 0 92 0 211 60 0 0 20 0 20 0 8315004 19566772224 554989 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 554989 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8315024 19566772224 554989 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=2205252 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 554989 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219956 KiB
[startup+6.30048 s]
/proc/loadavg: 1.72 1.83 2.55 5/325 82741
/proc/meminfo: memFree=120219588/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=2270700 CPUtime=9.94 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 25341 0 111 0 924 70 0 0 20 0 20 0 8315003 19566772224 567675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 567675 5864 1 0 1088281 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=0 CPUtime=5.87 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 7365 0 92 0 526 61 0 0 20 0 20 0 8315004 19566772224 567675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=2270700 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 567675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8315024 19566772224 567675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 567675 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2270700 KiB
[startup+12.7004 s]
/proc/loadavg: 2.30 1.95 2.58 5/325 82742
/proc/meminfo: memFree=119784320/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=2343316 CPUtime=17.53 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 31015 0 111 0 1680 73 0 0 20 0 20 0 8315003 19566772224 585829 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 585829 5864 1 0 1088297 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2285036 CPUtime=12.24 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 8241 0 92 0 1162 62 0 0 20 0 20 0 8315004 19566772224 585829 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 585829 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=32960 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8315024 19566772224 585829 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 585829 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2343316 KiB
[startup+25.5004 s]
/proc/loadavg: 2.64 2.03 2.60 5/325 82744
/proc/meminfo: memFree=119065204/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=2404832 CPUtime=30.73 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 34359 0 111 0 2998 75 0 0 20 0 20 0 8315003 19566772224 601208 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 601208 5864 1 0 1088297 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=0 CPUtime=25 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 9065 0 92 0 2436 64 0 0 20 0 20 0 8315004 19566772224 601208 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=2402784 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 601208 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=2404832 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8315024 19566772224 601208 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=2388412 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 601208 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 30.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2404832 KiB
[startup+51.1144 s]
/proc/loadavg: 3.10 2.19 2.64 5/327 82918
/proc/meminfo: memFree=118328416/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=2482812 CPUtime=56.77 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 39527 0 111 0 5598 79 0 0 20 0 20 0 8315003 19566772224 620703 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 620703 5864 1 0 1088297 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2480764 CPUtime=50.53 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 10794 0 92 0 4987 66 0 0 20 0 20 0 8315004 19566772224 620703 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=2480764 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 620703 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=2423284 CPUtime=0 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 8315024 19566772224 620703 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 620703 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 56.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2482812 KiB
[startup+102.301 s]
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/319 84129
/proc/meminfo: memFree=111951576/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223888 CPUtime=3288.18 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 188259 0 111 0 328491 327 0 0 20 0 20 0 8315003 19566772224 1055972 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055972 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3267.88 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 89606 0 92 0 326688 100 0 0 20 0 20 0 8315004 19566772224 1055972 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055972 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=4223888 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 6871 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055972 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=4223888 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055972 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3288.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/320 84141
/proc/meminfo: memFree=111951192/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223896 CPUtime=3348.09 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 191135 0 111 0 334479 330 0 0 20 0 20 0 8315003 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055974 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3327.67 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 91796 0 92 0 332667 100 0 0 20 0 20 0 8315004 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=4223888 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=2216 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7003 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3348.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/320 84151
/proc/meminfo: memFree=111950844/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223896 CPUtime=3407.94 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 193396 0 111 0 340460 334 0 0 20 0 20 0 8315003 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055974 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3387.46 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 93656 0 92 0 338646 100 0 0 20 0 20 0 8315004 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=4223896 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=4223896 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7126 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=4223896 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055974 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3407.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/319 84544
/proc/meminfo: memFree=111914764/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223904 CPUtime=3467.8 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 195522 0 111 0 346442 338 0 0 20 0 20 0 8315003 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055976 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3447.26 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 95348 0 92 0 344626 100 0 0 20 0 20 0 8315004 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7257 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3467.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/319 84555
/proc/meminfo: memFree=111915100/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223904 CPUtime=3527.67 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 197431 0 111 0 352426 341 0 0 20 0 20 0 8315003 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055976 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3507.07 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 96808 0 92 0 350606 101 0 0 20 0 20 0 8315004 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=2296 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7387 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3527.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/319 84565
/proc/meminfo: memFree=111914744/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223904 CPUtime=3587.57 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 199372 0 111 0 358411 346 0 0 20 0 20 0 8315003 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055976 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=2898684 CPUtime=3566.87 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 98229 0 92 0 356586 101 0 0 20 0 20 0 8315004 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7517 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=4223904 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594.8 s]
/proc/loadavg: 4.21 4.14 4.16 5/319 84566
/proc/meminfo: memFree=111914688/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19108176 memory=4223904 CPUtime=3600.04 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 199746 0 111 0 359657 347 0 0 20 0 20 0 8315003 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4777044 1055976 5883 1 0 1090180 0
[pid=82579/tid=82588] ppid=82573 vsize=19108176 memory=3522 CPUtime=3579.33 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 98438 0 92 0 357832 101 0 0 20 0 20 0 8315004 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19108176 memory=28772 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8315022 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19108176 memory=3762254132325730620 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7517 0 0 0 0 1 0 0 20 0 20 0 8315024 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82740] ppid=82573 vsize=19108176 memory=32728 CPUtime=0 cores=0,2
/proc/82579/task/82740/stat : 82740 (Timer-0) S 82573 82579 79028 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8315228 19566772224 1055976 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4223904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.99 s]
# the end of solver process 82579 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.88 s, system=3.49451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.91 s]
/proc/loadavg: 4.21 4.14 4.16 5/319 84566
/proc/meminfo: memFree=111914688/131655788 swapFree=131071996/131071996
[pid=82579] ppid=82573 vsize=19307868 memory=4224640 CPUtime=3600.25 cores=0,2
/proc/82579/stat : 82579 (java) S 82573 82579 79028 0 -1 1077936128 202463 0 111 0 359677 348 0 0 20 0 21 0 8315003 19771256832 1056160 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
/proc/82579/statm: 4826967 1056160 5883 1 0 1091131 0
[pid=82579/tid=82588] ppid=82573 vsize=19307868 memory=2898684 CPUtime=3579.44 cores=0,2
/proc/82579/task/82588/stat : 82588 (java) R 82573 82579 79028 0 -1 4194368 98476 0 92 0 357843 101 0 0 20 0 21 0 8315004 19771256832 1056160 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82637] ppid=82573 vsize=19307868 memory=4223904 CPUtime=0 cores=0,2
/proc/82579/task/82637/stat : 82637 (Finalizer) S 82573 82579 79028 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 8315022 19771256832 1056160 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
[pid=82579/tid=82661] ppid=82573 vsize=19307868 memory=-6000919494147795559 CPUtime=0.01 cores=0,2
/proc/82579/task/82661/stat : 82661 (Common-Cleaner) S 82573 82579 79028 0 -1 1077936192 7517 0 0 0 0 1 0 0 20 0 21 0 8315024 19771256832 1056160 134679101440 94420867649536 94420867653232 140730930772384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94420867661048 94420867661840 94420891127808 140730930779119 140730930779232 140730930779232 140730930786248 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4224640 KiB
Child status: 143
Real time (s): 3594.99
CPU time (s): 3600.37
CPU user time (s): 3596.88
CPU system time (s): 3.49451
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4224640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.88
system time used= 3.49451
maximum resident set size= 4225524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203328
page faults= 111
swaps= 0
block input operations= 16384
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114509
involuntary context switches= 26067
# summary of solver processes directly reported to runsolver:
# pid: 82579
# total CPU time (s): 3600.37
# total CPU user time (s): 3596.88
# total CPU system time (s): 3.49451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0721 second user time and 40.6056 second system time
The end
Begin job on nodeC002 at 2024-07-23 10:27:42 IDJOB=4456409 IDBENCH=143976 IDSOLVER=3035 FILE ID=nodeC002/4456409-1721723262 RUNJOBID= nodeC002-1721723262-82527 SLURM_JOB_ID= 7770412 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-capmo3_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456409-1721723262/watcher-4456409-1721723262 -o /tmp/evaluation-result-4456409-1721723262/solver-4456409-1721723262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721723262-82527 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456409-1721723262.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a6ee01287cd5e8ae1d72d6c38154c871 RANDOM SEED=1076129619 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.164 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.163 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.166 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.163 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.339 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.186 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.367 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125400932 kB MemAvailable: 129962116 kB Buffers: 145232 kB Cached: 5192288 kB SwapCached: 0 kB Active: 856792 kB Inactive: 4797804 kB Active(anon): 1396 kB Inactive(anon): 345236 kB Active(file): 855396 kB Inactive(file): 4452568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3308 kB Writeback: 0 kB AnonPages: 315892 kB Mapped: 98428 kB Shmem: 29512 kB KReclaimable: 186836 kB Slab: 284612 kB SReclaimable: 186836 kB SUnreclaim: 97776 kB KernelStack: 3748 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 631368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18144 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 254792 kB DirectMap2M: 18524160 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 723776 MiB End job on nodeC002 at 2024-07-23 11:27:37