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