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