Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | 74222 | 40.8848 | 39.4999 |
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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 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 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3459746-1307166220.opb 0.10/0.12 c reading problem ... 0.48/0.39 c ... done. Wall clock time 0.274s. 0.48/0.39 c #vars 11998 0.48/0.39 c #constraints 4000 0.48/0.39 c constraints type 0.48/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2 0.48/0.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 0.48/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3996 1.21/0.65 c SATISFIABLE 1.21/0.65 c OPTIMIZING... 1.21/0.65 c Got one! Elapsed wall clock time (in seconds):0.531 1.21/0.65 o 419747 1.40/0.76 c Got one! Elapsed wall clock time (in seconds):0.637 1.40/0.76 o 388629 1.58/0.85 c Got one! Elapsed wall clock time (in seconds):0.727 1.58/0.85 o 380056 1.72/0.93 c Got one! Elapsed wall clock time (in seconds):0.814 1.72/0.93 o 362055 1.82/1.02 c Got one! Elapsed wall clock time (in seconds):0.895 1.82/1.02 o 360228 1.82/1.12 c Got one! Elapsed wall clock time (in seconds):0.997 1.96/1.12 o 349905 2.04/1.20 c Got one! Elapsed wall clock time (in seconds):1.085 2.04/1.20 o 348817 2.04/1.28 c Got one! Elapsed wall clock time (in seconds):1.165 2.04/1.28 o 338363 2.14/1.36 c Got one! Elapsed wall clock time (in seconds):1.245 2.14/1.36 o 336536 2.24/1.45 c Got one! Elapsed wall clock time (in seconds):1.333 2.24/1.45 o 333329 2.54/1.72 c Got one! Elapsed wall clock time (in seconds):1.605 2.54/1.72 o 226567 3.05/2.25 c Got one! Elapsed wall clock time (in seconds):2.136 3.05/2.25 o 175398 3.94/3.19 c Got one! Elapsed wall clock time (in seconds):3.074 3.94/3.19 o 170508 5.03/4.20 c Got one! Elapsed wall clock time (in seconds):4.079 5.03/4.20 o 136358 5.34/4.55 c Got one! Elapsed wall clock time (in seconds):4.432 5.34/4.55 o 134257 6.04/5.22 c Got one! Elapsed wall clock time (in seconds):5.101 6.04/5.22 o 109326 9.54/8.74 c Got one! Elapsed wall clock time (in seconds):8.623 9.54/8.74 o 98692 13.95/13.18 c Got one! Elapsed wall clock time (in seconds):13.065 13.95/13.18 o 87279 15.44/14.62 c cleaning 4428 clauses out of 8861 with flag 1003/8861 20.21/19.33 c Got one! Elapsed wall clock time (in seconds):19.213 20.21/19.33 o 83372 27.94/27.04 c Got one! Elapsed wall clock time (in seconds):26.924 27.94/27.04 o 74222 31.64/30.81 c cleaning 5273 clauses out of 10545 with flag 2002/14973 40.74/39.44 c starts : 62 40.74/39.44 c conflicts : 17984 40.74/39.44 c decisions : 500948 40.74/39.44 c propagations : 31327137 40.74/39.44 c inspects : 61085621 40.74/39.44 c shortcuts : 0 40.74/39.44 c learnt literals : 10 40.74/39.44 c learnt binary clauses : 64 40.74/39.44 c learnt ternary clauses : 225 40.74/39.44 c learnt constraints : 17973 40.74/39.44 c ignored constraints : 0 40.74/39.44 c root simplifications : 0 40.74/39.44 c removed literals (reason simplification) : 133050 40.74/39.44 c reason swapping (by a shorter reason) : 0 40.74/39.44 c Calls to reduceDB : 2 40.74/39.44 c number of reductions to clauses (during analyze) : 0 40.74/39.44 c number of learned constraints concerned by reduction : 0 40.74/39.44 c number of learning phase by resolution : 0 40.74/39.44 c number of learning phase by cutting planes : 0 40.74/39.44 c speed (assignments/second) : 2527401.1294876966 40.74/39.44 c non guided choices 1332 40.74/39.44 c learnt constraints type 40.74/39.44 c constraints type 40.74/39.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2 40.74/39.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 40.74/39.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3996 40.74/39.44 s OPTIMUM FOUND 40.74/39.45 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 40.74/39.47 c objective function=74222 40.74/39.47 c Total wall clock time (in seconds): 39.35
OK 74222
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-3459746-1307166220/watcher-3459746-1307166220 -o /tmp/evaluation-result-3459746-1307166220/solver-3459746-1307166220 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459746-1307166220.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.84 1.99 1.99 1/524 4670 /proc/meminfo: memFree=22954216/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/4670/stat : 4670 (java) R 4668 4670 4512 0 -1 4202496 1072 0 0 0 0 0 0 0 25 0 1 0 809037885 23580672 816 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 47367282197984 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4670/statm: 5757 831 625 9 0 124 0 [pid=4670/tid=4671] ppid=4668 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 5948 0 1 0 0 0 0 0 25 0 2 0 809037885 13850947584 6764 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0205779 s] /proc/loadavg: 1.84 1.99 1.99 1/524 4670 /proc/meminfo: memFree=22954216/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 7314 0 1 0 0 0 0 0 25 0 2 0 809037885 13850947584 7016 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3381579 7034 917 9 0 3372735 0 [pid=4670/tid=4671] ppid=4668 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 6229 0 1 0 0 0 0 0 25 0 2 0 809037885 13850947584 7045 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13526316 [startup+0.100576 s] /proc/loadavg: 1.84 1.99 1.99 1/524 4670 /proc/meminfo: memFree=22954216/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13622260 CPUtime=0.1 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 15388 0 1 0 8 2 0 0 25 0 18 0 809037885 13949194240 15085 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3405565 15085 2091 9 0 3396299 0 [pid=4670/tid=4671] ppid=4668 vsize=13622260 CPUtime=0.07 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 13503 0 1 0 6 1 0 0 22 0 18 0 809037885 13949194240 15086 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 47367284042784 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622260 [startup+0.300507 s] /proc/loadavg: 1.84 1.99 1.99 1/524 4670 /proc/meminfo: memFree=22954216/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13625332 CPUtime=0.48 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 18769 0 1 0 46 2 0 0 25 0 18 0 809037885 13952339968 18347 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3406333 18348 2202 9 0 3397067 0 [pid=4670/tid=4671] ppid=4668 vsize=13625332 CPUtime=0.28 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 16107 0 1 0 26 2 0 0 22 0 18 0 809037885 13952339968 18349 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505568208 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 13625332 [startup+0.700407 s] /proc/loadavg: 1.84 1.99 1.99 1/524 4670 /proc/meminfo: memFree=22954216/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13628408 CPUtime=1.4 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 26601 0 1 0 136 4 0 0 25 0 19 0 809037885 13955489792 25217 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3407102 25217 2229 9 0 3397836 0 [pid=4670/tid=4671] ppid=4668 vsize=13628408 CPUtime=0.68 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 21496 0 1 0 65 3 0 0 25 0 19 0 809037885 13955489792 25217 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505698092 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 13628408 [startup+1.5013 s] /proc/loadavg: 1.84 1.99 1.99 5/562 4733 /proc/meminfo: memFree=22771720/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13628408 CPUtime=2.34 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 33455 0 1 0 230 4 0 0 25 0 19 0 809037885 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3407102 31774 2232 9 0 3397836 0 [pid=4670/tid=4671] ppid=4668 vsize=13628408 CPUtime=1.48 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 28004 0 1 0 145 3 0 0 25 0 19 0 809037885 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505835937 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 809037888 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13628408 CPUtime=0.41 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 1271 0 0 0 41 0 0 0 15 0 19 0 809037891 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13628408 CPUtime=0.43 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3020 0 0 0 43 0 0 0 15 0 19 0 809037891 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037891 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13955489792 31774 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 13628408 [startup+3.10105 s] /proc/loadavg: 1.84 1.99 1.99 3/563 4734 /proc/meminfo: memFree=22740960/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13628408 CPUtime=3.94 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 35345 0 1 0 390 4 0 0 25 0 19 0 809037885 13955489792 33663 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3407102 33663 2232 9 0 3397836 0 [pid=4670/tid=4671] ppid=4668 vsize=13628408 CPUtime=3.08 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 29894 0 1 0 305 3 0 0 25 0 19 0 809037885 13955489792 33663 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505835866 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33663 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 809037888 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13628408 CPUtime=0.41 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 1271 0 0 0 41 0 0 0 15 0 19 0 809037891 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13628408 CPUtime=0.43 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3020 0 0 0 43 0 0 0 15 0 19 0 809037891 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037891 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13955489792 33664 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 13628408 [startup+6.30146 s] /proc/loadavg: 1.85 1.99 1.99 3/563 4734 /proc/meminfo: memFree=22718220/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13628408 CPUtime=7.14 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 40106 0 1 0 709 5 0 0 25 0 19 0 809037885 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3407102 38275 2233 9 0 3397836 0 [pid=4670/tid=4671] ppid=4668 vsize=13628408 CPUtime=6.28 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 34654 0 1 0 624 4 0 0 25 0 19 0 809037885 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505776864 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809037887 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 809037888 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 809037889 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13628408 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13628408 CPUtime=0.41 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 1271 0 0 0 41 0 0 0 15 0 19 0 809037891 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13628408 CPUtime=0.43 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3020 0 0 0 43 0 0 0 15 0 19 0 809037891 13955489792 38275 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 875 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13649136 CPUtime=0.05 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 2170 0 0 0 5 0 0 0 16 0 19 0 809037888 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13649136 CPUtime=0.83 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 7465 0 0 0 83 0 0 0 16 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13649136 CPUtime=0.52 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3035 0 0 0 52 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 39.64 Current children cumulated vsize (KiB) 13649136 [startup+39.1016 s] /proc/loadavg: 1.91 1.99 1.99 3/563 4735 /proc/meminfo: memFree=22651800/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13649136 CPUtime=40.44 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 54146 0 1 0 4037 7 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3412284 50622 2259 9 0 3403018 0 [pid=4670/tid=4671] ppid=4668 vsize=13649136 CPUtime=38.98 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 37632 0 1 0 3893 5 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505734467 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 875 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13649136 CPUtime=0.05 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 2170 0 0 0 5 0 0 0 15 0 19 0 809037888 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13649136 CPUtime=0.83 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 7465 0 0 0 83 0 0 0 16 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13649136 CPUtime=0.52 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3035 0 0 0 52 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 40.44 Current children cumulated vsize (KiB) 13649136 [startup+39.3015 s] /proc/loadavg: 1.91 1.99 1.99 3/563 4735 /proc/meminfo: memFree=22651800/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13649136 CPUtime=40.64 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 54146 0 1 0 4057 7 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3412284 50622 2259 9 0 3403018 0 [pid=4670/tid=4671] ppid=4668 vsize=13649136 CPUtime=39.18 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 37632 0 1 0 3913 5 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505751651 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 875 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13649136 CPUtime=0.05 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 2170 0 0 0 5 0 0 0 15 0 19 0 809037888 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13649136 CPUtime=0.83 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 7465 0 0 0 83 0 0 0 16 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13649136 CPUtime=0.52 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3035 0 0 0 52 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 40.64 Current children cumulated vsize (KiB) 13649136 [startup+39.4015 s] /proc/loadavg: 1.91 1.99 1.99 3/563 4735 /proc/meminfo: memFree=22651800/32951124 swapFree=64303760/67111528 [pid=4670] ppid=4668 vsize=13649136 CPUtime=40.74 cores=0,2,4,6 /proc/4670/stat : 4670 (java) S 4668 4670 4512 0 -1 4202496 54146 0 1 0 4067 7 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4670/statm: 3412284 50622 2259 9 0 3403018 0 [pid=4670/tid=4671] ppid=4668 vsize=13649136 CPUtime=39.28 cores=0,2,4,6 /proc/4670/task/4671/stat : 4671 (java) R 4668 4670 4512 0 -1 4202560 37632 0 1 0 3923 5 0 0 25 0 19 0 809037885 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 46912505777852 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4670/tid=4673] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4673/stat : 4673 (java) S 4668 4670 4512 0 -1 4202560 340 0 0 0 0 0 0 0 16 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4674] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4674/stat : 4674 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4675] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4675/stat : 4675 (java) S 4668 4670 4512 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4676] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4676/stat : 4676 (java) S 4668 4670 4512 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4677] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4677/stat : 4677 (java) S 4668 4670 4512 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4678] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4678/stat : 4678 (java) S 4668 4670 4512 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4679] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4679/stat : 4679 (java) S 4668 4670 4512 0 -1 4202560 875 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4680] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4680/stat : 4680 (java) S 4668 4670 4512 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 809037887 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4681] ppid=4668 vsize=13649136 CPUtime=0.05 cores=0,2,4,6 /proc/4670/task/4681/stat : 4681 (java) S 4668 4670 4512 0 -1 4202560 2170 0 0 0 5 0 0 0 15 0 19 0 809037888 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 0 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4682] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4682/stat : 4682 (java) S 4668 4670 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4683] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4683/stat : 4683 (java) S 4668 4670 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809037889 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4684] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4684/stat : 4684 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522121137 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4685] ppid=4668 vsize=13649136 CPUtime=0.83 cores=0,2,4,6 /proc/4670/task/4685/stat : 4685 (java) S 4668 4670 4512 0 -1 4202560 7465 0 0 0 83 0 0 0 16 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 2 0 0 0 [pid=4670/tid=4686] ppid=4668 vsize=13649136 CPUtime=0.52 cores=0,2,4,6 /proc/4670/task/4686/stat : 4686 (java) S 4668 4670 4512 0 -1 4202560 3035 0 0 0 52 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4687] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4687/stat : 4687 (java) S 4668 4670 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522113433 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 [pid=4670/tid=4688] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4688/stat : 4688 (java) S 4668 4670 4512 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 809037891 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 0 0 0 0 [pid=4670/tid=4689] ppid=4668 vsize=13649136 CPUtime=0 cores=0,2,4,6 /proc/4670/task/4689/stat : 4689 (java) S 4668 4670 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 809037928 13976715264 50622 33554432000 1073741824 1073778376 140735667061488 18446744073709551615 233522114048 0 4 0 16800975 18446604445321155648 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 40.74 Current children cumulated vsize (KiB) 13649136 Child status: 30 Real time (s): 39.4999 CPU time (s): 40.8848 CPU user time (s): 40.8018 CPU system time (s): 0.082987 CPU usage (%): 103.506 Max. virtual memory (cumulated for all children) (KiB): 13649136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.8018 system time used= 0.082987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54172 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= 1121 involuntary context switches= 398 runsolver used 0.217966 second user time and 0.489925 second system time The end
Begin job on node145 at 2011-06-04 07:43:40 IDJOB=3459746 IDBENCH=71851 IDSOLVER=1952 FILE ID=node145/3459746-1307166220 RUNJOBID= node145-1307164421-4530 PBS_JOBID= 13508838 Free space on /tmp= 73988 MiB SOLVER NAME= Sat4j Resolution 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 -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459746-1307166220/watcher-3459746-1307166220 -o /tmp/evaluation-result-3459746-1307166220/solver-3459746-1307166220 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459746-1307166220.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 696159ddc8928b3af623b241143b4601 RANDOM SEED=607339986 node145.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.786 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.57 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.786 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.76 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 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.83 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.786 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.82 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.786 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.74 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.786 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.84 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.786 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.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22954496 kB Buffers: 262368 kB Cached: 474404 kB SwapCached: 944 kB Active: 9356188 kB Inactive: 370400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22954496 kB SwapTotal: 67111528 kB SwapFree: 64303760 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 8988540 kB Mapped: 34372 kB Slab: 134292 kB PageTables: 65844 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 153236000 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= 73988 MiB End job on node145 at 2011-06-04 07:44:20