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