Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 1800.2 | 1798.89 |
Name | /OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb |
MD5SUM | 719fde9b23d3f6b632131842d6adb45e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 622354759199999996 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10894 |
Total number of constraints | 825 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 624 |
Number of constraints which are nor clauses,nor cardinality constraints | 181 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5038 |
Number of terms in the objective function | 10894 |
Biggest coefficient in the objective function | 172784353600000000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 486507432685759999927 |
Number of bits of the sum of numbers in the objective function | 69 |
Biggest number in a constraint | 172784353600000000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 486507432685759999927 |
Number of bits of the biggest sum of numbers | 69 |
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 12995394264 0.03/0.09 c Max memory 13063553024 0.03/0.09 c Total memory 13063553024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3479303-1307448381.opb 0.10/0.11 c reading problem ... 1.24/0.83 c ... done. Wall clock time 0.72s. 1.24/0.83 c #vars 10894 1.24/0.83 c #constraints 825 1.24/0.83 c constraints type 1.24/0.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17 1.24/0.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 624 1.24/0.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 1.24/0.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 181 2.73/1.94 c SATISFIABLE 2.73/1.94 c OPTIMIZING... 2.73/1.94 c Got one! Elapsed wall clock time (in seconds):1.837 2.73/1.94 o 636539940959999996 3.34/2.44 c Got one! Elapsed wall clock time (in seconds):2.333 3.34/2.44 o 630323063039999996 4.50/3.52 c Got one! Elapsed wall clock time (in seconds):3.414 4.50/3.52 o 629827491519999997 6.81/5.89 c Got one! Elapsed wall clock time (in seconds):5.788 6.81/5.89 o 627114667200000000 7.41/6.46 c Got one! Elapsed wall clock time (in seconds):6.35 7.41/6.46 o 625789670239999996 7.93/6.91 c Got one! Elapsed wall clock time (in seconds):6.807 7.93/6.91 o 622354759199999996 237.15/236.20 c cleaning 2887 clauses out of 5778 with flag 5006/5778 640.64/639.56 c cleaning 4435 clauses out of 8886 with flag 11001/11773 1086.96/1085.82 c cleaning 5719 clauses out of 11451 with flag 18001/18773 1653.48/1652.39 c cleaning 6860 clauses out of 13731 with flag 26000/26772 1800.06/1798.82 c starts : 60 1800.06/1798.82 c conflicts : 28401 1800.06/1798.82 c decisions : 818113 1800.06/1798.82 c propagations : 31647415 1800.06/1798.82 c inspects : 798831481 1800.06/1798.82 c shortcuts : 0 1800.06/1798.82 c learnt literals : 0 1800.06/1798.82 c learnt binary clauses : 0 1800.06/1798.82 c learnt ternary clauses : 0 1800.06/1798.82 c learnt constraints : 28401 1800.06/1798.82 c ignored constraints : 0 1800.06/1798.82 c root simplifications : 0 1800.06/1798.82 c removed literals (reason simplification) : 3618479 1800.06/1798.82 c reason swapping (by a shorter reason) : 0 1800.06/1798.82 c Calls to reduceDB : 4 1800.06/1798.82 c number of reductions to clauses (during analyze) : 0 1800.06/1798.82 c number of learned constraints concerned by reduction : 0 1800.06/1798.82 c number of learning phase by resolution : 0 1800.06/1798.82 c number of learning phase by cutting planes : 0 1800.06/1798.82 c speed (assignments/second) : 17661.36354631199 1800.06/1798.82 c non guided choices 8443 1800.06/1798.83 c learnt constraints type 1800.06/1798.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 8500 1800.06/1798.83 c constraints type 1800.06/1798.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17 1800.06/1798.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 624 1800.06/1798.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 1800.06/1798.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 181 1800.06/1798.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.06/1798.83 s SATISFIABLE 1800.06/1798.85 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 1800.06/1798.86 c objective function=622354759199999996 1800.06/1798.86 c Total wall clock time (in seconds): 1798.747
OK 622354759199999996
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-3479303-1307448381/watcher-3479303-1307448381 -o /tmp/evaluation-result-3479303-1307448381/solver-3479303-1307448381 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479303-1307448381.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.00 2.06 1.97 2/578 28823 /proc/meminfo: memFree=28038796/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13526316 CPUtime=0.01 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 10115 0 1 0 0 1 0 0 25 0 2 0 856436828 13850947584 9817 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3381579 9829 917 9 0 3372735 0 [pid=28823/tid=28824] ppid=28821 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 9065 0 1 0 0 0 0 0 25 0 2 0 856436829 13850947584 9882 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0425911 s] /proc/loadavg: 2.00 2.06 1.97 2/578 28823 /proc/meminfo: memFree=28038796/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 13689 0 1 0 2 1 0 0 25 0 13 0 856436828 13874667520 13386 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3387370 13386 1659 9 0 3378118 0 [pid=28823/tid=28824] ppid=28821 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 12542 0 1 0 2 1 0 0 25 0 13 0 856436829 13874667520 13386 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 47302839038625 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13549480 [startup+0.100546 s] /proc/loadavg: 2.00 2.06 1.97 2/578 28823 /proc/meminfo: memFree=28038796/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13621708 CPUtime=0.1 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 15605 0 1 0 9 1 0 0 25 0 18 0 856436828 13948628992 15266 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3405427 15270 2092 9 0 3396161 0 [pid=28823/tid=28824] ppid=28821 vsize=13621708 CPUtime=0.08 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 13654 0 1 0 7 1 0 0 25 0 18 0 856436829 13948628992 15270 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621708 [startup+0.300514 s] /proc/loadavg: 2.00 2.06 1.97 2/578 28823 /proc/meminfo: memFree=28038796/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13624788 CPUtime=0.53 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 23004 0 1 0 51 2 0 0 25 0 18 0 856436828 13951782912 21159 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406197 21159 2202 9 0 3396931 0 [pid=28823/tid=28824] ppid=28821 vsize=13624788 CPUtime=0.29 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 17187 0 1 0 27 2 0 0 25 0 18 0 856436829 13951782912 21159 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505179077 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13624788 [startup+0.700446 s] /proc/loadavg: 2.00 2.06 1.97 2/578 28823 /proc/meminfo: memFree=28038796/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13625652 CPUtime=1.14 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 57877 0 1 0 107 7 0 0 25 0 18 0 856436828 13952667648 55843 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406413 55849 2203 9 0 3397147 0 [pid=28823/tid=28824] ppid=28821 vsize=13625652 CPUtime=0.68 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 51800 0 1 0 62 6 0 0 25 0 18 0 856436829 13952667648 55852 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505604714 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 13625652 [startup+1.50126 s] /proc/loadavg: 2.16 2.09 1.98 3/597 28842 /proc/meminfo: memFree=27135500/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626720 CPUtime=2.31 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 82382 0 1 0 221 10 0 0 25 0 19 0 856436828 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406680 79619 2225 9 0 3397414 0 [pid=28823/tid=28824] ppid=28821 vsize=13626720 CPUtime=1.49 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 75441 0 1 0 140 9 0 0 25 0 19 0 856436829 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505787182 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856436832 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856436832 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436832 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626720 CPUtime=0.4 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3276 0 0 0 40 0 0 0 17 0 19 0 856436834 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626720 CPUtime=0.4 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2505 0 0 0 40 0 0 0 17 0 19 0 856436834 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856436834 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626720 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953761280 79619 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 13626720 [startup+3.1011 s] /proc/loadavg: 2.16 2.09 1.98 3/597 28842 /proc/meminfo: memFree=26412468/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626880 CPUtime=4.09 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 84424 0 1 0 399 10 0 0 25 0 19 0 856436828 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406720 81660 2225 9 0 3397454 0 [pid=28823/tid=28824] ppid=28821 vsize=13626880 CPUtime=3.09 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 77418 0 1 0 300 9 0 0 25 0 19 0 856436829 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505780011 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856436832 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436832 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.49 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3285 0 0 0 49 0 0 0 15 0 19 0 856436834 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.49 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2561 0 0 0 49 0 0 0 15 0 19 0 856436834 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856436834 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953925120 81660 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.09 Current children cumulated vsize (KiB) 13626880 [startup+6.30152 s] /proc/loadavg: 2.15 2.09 1.98 3/598 28843 /proc/meminfo: memFree=26086336/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626880 CPUtime=7.31 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 87576 0 1 0 721 10 0 0 25 0 19 0 856436828 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406720 84802 2226 9 0 3397454 0 [pid=28823/tid=28824] ppid=28821 vsize=13626880 CPUtime=6.28 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 80566 0 1 0 619 9 0 0 25 0 19 0 856436829 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505792502 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436831 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856436832 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856436832 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436832 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.49 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3286 0 0 0 49 0 0 0 15 0 19 0 856436834 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.52 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2563 0 0 0 52 0 0 0 15 0 19 0 856436834 13953925120 84802 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1748 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0.14 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 6972 0 0 0 14 0 0 0 15 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.58 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3317 0 0 0 58 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.57 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2580 0 0 0 57 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1663.54 Current children cumulated vsize (KiB) 13626880 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.01 3/598 28889 /proc/meminfo: memFree=25977688/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626880 CPUtime=1723.54 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 111261 0 1 0 172339 15 0 0 25 0 19 0 856436828 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406720 108351 2252 9 0 3397454 0 [pid=28823/tid=28824] ppid=28821 vsize=13626880 CPUtime=1722.13 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 88369 0 1 0 172202 11 0 0 25 0 19 0 856436829 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505792471 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1997 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 2247 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1872 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 750 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1748 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0.14 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 6972 0 0 0 14 0 0 0 15 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.58 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3317 0 0 0 58 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.57 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2580 0 0 0 57 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1723.54 Current children cumulated vsize (KiB) 13626880 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/598 28890 /proc/meminfo: memFree=25976632/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626880 CPUtime=1783.54 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 111265 0 1 0 178339 15 0 0 25 0 19 0 856436828 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406720 108351 2252 9 0 3397454 0 [pid=28823/tid=28824] ppid=28821 vsize=13626880 CPUtime=1782.13 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 88369 0 1 0 178202 11 0 0 25 0 19 0 856436829 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505780289 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1997 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 2247 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1872 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 750 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1748 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0.14 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 6972 0 0 0 14 0 0 0 15 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.58 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3317 0 0 0 58 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.57 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2580 0 0 0 57 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (KiB) 13626880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.8 s] /proc/loadavg: 2.00 2.04 2.00 3/577 28897 /proc/meminfo: memFree=29464388/32950928 swapFree=41528364/67111528 [pid=28823] ppid=28821 vsize=13626880 CPUtime=1800.06 cores=0,2,4,6 /proc/28823/stat : 28823 (java) S 28821 28823 28421 0 -1 4202496 111265 0 1 0 179991 15 0 0 25 0 19 0 856436828 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/28823/statm: 3406720 108351 2252 9 0 3397454 0 [pid=28823/tid=28824] ppid=28821 vsize=13626880 CPUtime=1798.65 cores=0,2,4,6 /proc/28823/task/28824/stat : 28824 (java) R 28821 28823 28421 0 -1 4202560 88369 0 1 0 179854 11 0 0 25 0 19 0 856436829 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 46912505780029 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28823/tid=28826] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28826/stat : 28826 (java) S 28821 28823 28421 0 -1 4202560 1997 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28827] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28827/stat : 28827 (java) S 28821 28823 28421 0 -1 4202560 2247 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28828] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28828/stat : 28828 (java) S 28821 28823 28421 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28829] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28829/stat : 28829 (java) S 28821 28823 28421 0 -1 4202560 1872 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28830] ppid=28821 vsize=13626880 CPUtime=0.01 cores=0,2,4,6 /proc/28823/task/28830/stat : 28830 (java) S 28821 28823 28421 0 -1 4202560 750 0 0 0 1 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28831] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28831/stat : 28831 (java) S 28821 28823 28421 0 -1 4202560 1748 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28832] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28832/stat : 28832 (java) S 28821 28823 28421 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28833] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28833/stat : 28833 (java) S 28821 28823 28421 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 856436831 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28834] ppid=28821 vsize=13626880 CPUtime=0.14 cores=0,2,4,6 /proc/28823/task/28834/stat : 28834 (java) S 28821 28823 28421 0 -1 4202560 6972 0 0 0 14 0 0 0 15 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 0 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28835] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28835/stat : 28835 (java) S 28821 28823 28421 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28836] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28836/stat : 28836 (java) S 28821 28823 28421 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856436832 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28837] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28837/stat : 28837 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826063793 0 4 0 16800975 18446604445404468480 0 0 -1 2 0 0 0 [pid=28823/tid=28838] ppid=28821 vsize=13626880 CPUtime=0.58 cores=0,2,4,6 /proc/28823/task/28838/stat : 28838 (java) S 28821 28823 28421 0 -1 4202560 3317 0 0 0 58 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28839] ppid=28821 vsize=13626880 CPUtime=0.57 cores=0,2,4,6 /proc/28823/task/28839/stat : 28839 (java) S 28821 28823 28421 0 -1 4202560 2580 0 0 0 57 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 4 0 0 0 [pid=28823/tid=28840] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28840/stat : 28840 (java) S 28821 28823 28421 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056089 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 [pid=28823/tid=28841] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28841/stat : 28841 (java) S 28821 28823 28421 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 856436834 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 0 0 0 0 [pid=28823/tid=28842] ppid=28821 vsize=13626880 CPUtime=0 cores=0,2,4,6 /proc/28823/task/28842/stat : 28842 (java) S 28821 28823 28421 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856436915 13953925120 108351 33554432000 1073741824 1073778376 140735694724192 18446744073709551615 251826056704 0 4 0 16800975 18446604445404468480 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 13626880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1798.89 CPU time (s): 1800.2 CPU user time (s): 1800.03 CPU system time (s): 0.170974 CPU usage (%): 100.073 Max. virtual memory (cumulated for all children) (KiB): 13627076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.170974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111303 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= 36828 involuntary context switches= 4698 runsolver used 11.0493 second user time and 22.5646 second system time The end
Begin job on node126 at 2011-06-07 14:06:21 IDJOB=3479303 IDBENCH=89881 IDSOLVER=1952 FILE ID=node126/3479303-1307448381 RUNJOBID= node126-1307444774-28439 PBS_JOBID= 13520028 Free space on /tmp= 73860 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479303-1307448381/watcher-3479303-1307448381 -o /tmp/evaluation-result-3479303-1307448381/solver-3479303-1307448381 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479303-1307448381.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 719fde9b23d3f6b632131842d6adb45e RANDOM SEED=2035775055 node126.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.783 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.56 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.783 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.783 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.783 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.74 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.783 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 : 5332.80 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.783 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.783 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.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28039572 kB Buffers: 348420 kB Cached: 623856 kB SwapCached: 15388 kB Active: 4119832 kB Inactive: 465812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28039572 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 54184 kB Writeback: 0 kB AnonPages: 3610572 kB Mapped: 31672 kB Slab: 150556 kB PageTables: 103864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189820308 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= 73856 MiB End job on node126 at 2011-06-07 14:36:22