Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 768 | 1800.51 | 903.043 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 768 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 498884 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 498884 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454412-1307188278.opb 0.11/0.11 c reading problem ... 4.22/3.81 c ... done. Wall clock time 3.703s. 4.22/3.81 c #vars 10000 4.22/3.81 c #constraints 656900 4.22/3.81 c constraints type 4.22/3.81 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 4.22/3.81 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 4.22/3.81 c constraints type 4.22/3.81 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 4.22/3.81 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 4.89/4.07 c And the winner is Resolution 5.25/4.38 c SATISFIABLE 5.25/4.38 c OPTIMIZING... 5.25/4.38 c Got one! Elapsed wall clock time (in seconds):4.265 5.25/4.38 o 776 6.05/4.62 c And the winner is Resolution 6.19/4.98 c Got one! Elapsed wall clock time (in seconds):4.871 6.19/4.98 o 768 114.91/58.71 c cleaning 2612 clauses out of 5237 with flag 5000/5237 248.29/125.46 c cleaning 4295 clauses out of 8625 with flag 11000/11237 422.84/212.82 c cleaning 5660 clauses out of 11331 with flag 18001/18238 632.26/317.62 c cleaning 6829 clauses out of 13671 with flag 26001/26238 839.39/421.47 c cleaning 7908 clauses out of 15842 with flag 35001/35238 1004.20/504.03 c cleaning 8959 clauses out of 17933 with flag 45000/45237 1197.41/600.84 c cleaning 9964 clauses out of 19974 with flag 56000/56237 1489.55/747.03 c cleaning 10994 clauses out of 22012 with flag 68002/68239 1785.93/895.42 c cleaning 12002 clauses out of 24017 with flag 81001/81238 1800.11/902.82 c starts : 89 1800.11/902.82 c conflicts : 81798 1800.11/902.82 c decisions : 540011 1800.11/902.82 c propagations : 49305382 1800.11/902.82 c inspects : 23851859 1800.11/902.82 c shortcuts : 0 1800.11/902.82 c learnt literals : 0 1800.11/902.82 c learnt binary clauses : 0 1800.11/902.82 c learnt ternary clauses : 0 1800.11/902.82 c learnt constraints : 81797 1800.11/902.82 c ignored constraints : 0 1800.11/902.82 c root simplifications : 0 1800.11/902.82 c removed literals (reason simplification) : 6678259 1800.11/902.82 c reason swapping (by a shorter reason) : 0 1800.11/902.82 c Calls to reduceDB : 9 1800.11/902.82 c number of reductions to clauses (during analyze) : 0 1800.11/902.82 c number of learned constraints concerned by reduction : 0 1800.11/902.82 c number of learning phase by resolution : 0 1800.11/902.82 c number of learning phase by cutting planes : 0 1800.11/902.82 c speed (assignments/second) : 54918.124121461624 1800.11/902.82 c non guided choices 0 1800.11/902.83 c learnt constraints type 1800.11/902.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12575 1800.11/902.83 c constraints type 1800.11/902.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.11/902.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.11/902.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.11/902.83 c constraints type 1800.11/902.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.11/902.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.11/902.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.11/902.83 s SATISFIABLE 1800.11/902.84 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 1800.11/902.88 c objective function=768 1800.11/902.88 c Total wall clock time (in seconds): 902.767
OK 768
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-3454412-1307188278/watcher-3454412-1307188278 -o /tmp/evaluation-result-3454412-1307188278/solver-3454412-1307188278 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454412-1307188278.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: 3.75 3.50 2.56 3/535 16717 /proc/meminfo: memFree=18656428/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=35788 CPUtime=0 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 909058640 36646912 1018 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 8947 1018 782 9 0 386 0 [pid=16717/tid=16718] ppid=16715 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 5407 0 1 0 0 0 0 0 25 0 2 0 909058641 10694979584 6223 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.110302 s] /proc/loadavg: 3.75 3.50 2.56 3/535 16717 /proc/meminfo: memFree=18656428/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10539712 CPUtime=0.11 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 13200 0 1 0 10 1 0 0 25 0 18 0 909058640 10792665088 12840 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2634928 12841 2107 9 0 2625662 0 [pid=16717/tid=16718] ppid=16715 vsize=10539712 CPUtime=0.09 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 11232 0 1 0 8 1 0 0 25 0 18 0 909058641 10792665088 12841 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 47376667014197 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539712 [startup+0.200287 s] /proc/loadavg: 3.75 3.50 2.56 3/535 16717 /proc/meminfo: memFree=18656428/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10540184 CPUtime=0.29 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 14564 0 1 0 28 1 0 0 25 0 18 0 909058640 10793148416 13996 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2635046 13996 2190 9 0 2625780 0 [pid=16717/tid=16718] ppid=16715 vsize=10540184 CPUtime=0.18 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 12051 0 1 0 17 1 0 0 25 0 18 0 909058641 10793148416 13997 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505553577 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10540184 [startup+0.300269 s] /proc/loadavg: 3.75 3.50 2.56 3/535 16717 /proc/meminfo: memFree=18656428/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10540448 CPUtime=0.48 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 16626 0 1 0 46 2 0 0 25 0 18 0 909058640 10793418752 15861 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2635112 15862 2200 9 0 2625846 0 [pid=16717/tid=16718] ppid=16715 vsize=10540448 CPUtime=0.27 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 13725 0 1 0 26 1 0 0 25 0 18 0 909058641 10793418752 15862 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 10540448 [startup+0.700199 s] /proc/loadavg: 3.75 3.50 2.56 3/535 16717 /proc/meminfo: memFree=18656428/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10544852 CPUtime=1.11 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 53983 0 1 0 104 7 0 0 25 0 18 0 909058640 10797928448 52131 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2636213 52135 2213 9 0 2626947 0 [pid=16717/tid=16718] ppid=16715 vsize=10544852 CPUtime=0.68 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 48351 0 1 0 62 6 0 0 25 0 18 0 909058641 10797928448 52137 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505587587 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 10544852 [startup+1.50113 s] /proc/loadavg: 3.69 3.49 2.56 4/553 16735 /proc/meminfo: memFree=18279768/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10544852 CPUtime=1.92 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 138276 0 1 0 175 17 0 0 25 0 18 0 909058640 10797928448 136424 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2636213 136428 2213 9 0 2626947 0 [pid=16717/tid=16718] ppid=16715 vsize=10544852 CPUtime=1.48 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 132644 0 1 0 132 16 0 0 25 0 18 0 909058641 10797928448 136431 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505610292 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16717/tid=16720] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16720/stat : 16720 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136433 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16721] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16721/stat : 16721 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136436 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16722] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136439 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136439 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136440 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136443 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136445 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 136448 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909058643 10797928448 136451 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909058644 10797928448 136453 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909058644 10797928448 136456 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058646 10797928448 136459 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10544852 CPUtime=0.21 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 1928 0 0 0 21 0 0 0 25 0 18 0 909058646 10797928448 136461 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10544852 CPUtime=0.21 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 2558 0 0 0 21 0 0 0 25 0 18 0 909058646 10797928448 136464 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058646 10797928448 136467 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 909058646 10797928448 136470 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 10544852 [startup+3.10091 s] /proc/loadavg: 3.69 3.49 2.56 4/553 16735 /proc/meminfo: memFree=17831756/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10544852 CPUtime=3.51 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 298908 0 1 0 314 37 0 0 25 0 18 0 909058640 10797928448 297055 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2636213 297060 2213 9 0 2626947 0 [pid=16717/tid=16718] ppid=16715 vsize=10544852 CPUtime=3.08 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) R 16715 16717 13684 0 -1 4202560 293276 0 1 0 271 37 0 0 25 0 18 0 909058641 10797928448 297062 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505629752 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16717/tid=16720] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16720/stat : 16720 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297065 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16721] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16721/stat : 16721 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297068 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16722] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297070 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297073 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297076 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297078 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297081 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058642 10797928448 297083 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909058643 10797928448 297086 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909058644 10797928448 297089 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909058644 10797928448 297091 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058646 10797928448 297094 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10544852 CPUtime=0.21 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 1928 0 0 0 21 0 0 0 18 0 18 0 909058646 10797928448 297097 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10544852 CPUtime=0.21 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 2558 0 0 0 21 0 0 0 25 0 18 0 909058646 10797928448 297099 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909058646 10797928448 297102 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10544852 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 909058646 10797928448 297102 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.51 Current children cumulated vsize (KiB) 10544852 [startup+6.30127 s] /proc/loadavg: 3.69 3.49 2.56 4/553 16798 /proc/meminfo: memFree=17115576/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10548964 CPUtime=8.94 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 378688 0 1 0 845 49 0 0 25 0 22 0 909058640 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2637241 375989 2243 9 0 2627975 0 [pid=16717/tid=16718] ppid=16715 vsize=10548964 CPUtime=4 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) S 16715 16717 13684 0 -1 4202560 365654 0 1 0 353 47 0 0 15 0 22 0 909058641 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16720] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16720/stat : 16720 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16721] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16721/stat : 16721 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16722] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058642 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909058643 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909058644 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909058644 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10548964 CPUtime=0.72 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 2969 0 0 0 72 0 0 0 15 0 22 0 909058646 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10548964 CPUtime=0.65 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 2646 0 0 0 65 0 0 0 15 0 22 0 909058646 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10548964 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909058646 10802139136 375989 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 23341 0 0 0 63 3 0 0 16 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10548384 CPUtime=0.51 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 9776 0 0 0 50 1 0 0 16 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10548384 CPUtime=0.58 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 21039 0 0 0 57 1 0 0 15 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10548384 CPUtime=0.73 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 25902 0 0 0 70 3 0 0 15 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10548384 CPUtime=0.76 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 24375 0 0 0 73 3 0 0 15 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10548384 CPUtime=0.67 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 21789 0 0 0 64 3 0 0 16 0 22 0 909058642 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10548384 CPUtime=3.95 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 21235 0 0 0 392 3 0 0 15 0 22 0 909058643 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10548384 CPUtime=0.96 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 2996 0 0 0 96 0 0 0 15 0 22 0 909058646 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10548384 CPUtime=1 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 3459 0 0 0 100 0 0 0 15 0 22 0 909058646 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909058646 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16764] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16764/stat : 16764 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059027 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16796] ppid=16715 vsize=10548384 CPUtime=811.75 cores=0,2,4,6 /proc/16717/task/16796/stat : 16796 (java) R 16715 16717 13684 0 -1 4202560 923 0 0 0 81174 1 0 0 25 0 22 0 909059143 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505878407 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=16717/tid=16797] ppid=16715 vsize=10548384 CPUtime=811.72 cores=0,2,4,6 /proc/16717/task/16797/stat : 16797 (java) R 16715 16717 13684 0 -1 4202560 409459 0 0 0 81132 40 0 0 25 0 22 0 909059143 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912506088391 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16717/tid=16798] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16798/stat : 16798 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909059143 10801545216 946505 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1639.55 Current children cumulated vsize (KiB) 10548384 [startup+882.32 s] /proc/loadavg: 3.96 3.98 3.44 5/557 16838 /proc/meminfo: memFree=11521164/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10548384 CPUtime=1759.73 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 975654 0 1 0 175856 117 0 0 25 0 22 0 909058640 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2637096 960164 2268 9 0 2627830 0 [pid=16717/tid=16718] ppid=16715 vsize=10548384 CPUtime=4 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) S 16715 16717 13684 0 -1 4202560 365662 0 1 0 353 47 0 0 15 0 22 0 909058641 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16720] ppid=16715 vsize=10548384 CPUtime=0.67 cores=0,2,4,6 /proc/16717/task/16720/stat : 16720 (java) S 16715 16717 13684 0 -1 4202560 19165 0 0 0 65 2 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16721] ppid=16715 vsize=10548384 CPUtime=0.53 cores=0,2,4,6 /proc/16717/task/16721/stat : 16721 (java) S 16715 16717 13684 0 -1 4202560 12531 0 0 0 52 1 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16722] ppid=16715 vsize=10548384 CPUtime=0.7 cores=0,2,4,6 /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 24719 0 0 0 67 3 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10548384 CPUtime=0.54 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 11298 0 0 0 53 1 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10548384 CPUtime=0.63 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 23270 0 0 0 61 2 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10548384 CPUtime=0.8 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 29548 0 0 0 76 4 0 0 16 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10548384 CPUtime=0.76 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 24376 0 0 0 73 3 0 0 15 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10548384 CPUtime=0.71 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 23372 0 0 0 68 3 0 0 15 0 22 0 909058642 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10548384 CPUtime=3.95 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 21237 0 0 0 392 3 0 0 15 0 22 0 909058643 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10548384 CPUtime=0.96 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 2996 0 0 0 96 0 0 0 15 0 22 0 909058646 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10548384 CPUtime=1 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 3459 0 0 0 100 0 0 0 15 0 22 0 909058646 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909058646 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16764] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16764/stat : 16764 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059027 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16796] ppid=16715 vsize=10548384 CPUtime=871.68 cores=0,2,4,6 /proc/16717/task/16796/stat : 16796 (java) R 16715 16717 13684 0 -1 4202560 924 0 0 0 87167 1 0 0 25 0 22 0 909059143 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505937056 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=16717/tid=16797] ppid=16715 vsize=10548384 CPUtime=871.66 cores=0,2,4,6 /proc/16717/task/16797/stat : 16797 (java) R 16715 16717 13684 0 -1 4202560 409460 0 0 0 87126 40 0 0 25 0 22 0 909059143 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505904621 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16717/tid=16798] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16798/stat : 16798 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909059143 10801545216 960164 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1759.73 Current children cumulated vsize (KiB) 10548384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.801 s] /proc/loadavg: 3.90 3.97 3.44 5/557 16839 /proc/meminfo: memFree=11489164/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=10548384 CPUtime=1800.11 cores=0,2,4,6 /proc/16717/stat : 16717 (java) S 16715 16717 13684 0 -1 4202496 979083 0 1 0 179893 118 0 0 25 0 22 0 909058640 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 2637096 963535 2268 9 0 2627830 0 [pid=16717/tid=16718] ppid=16715 vsize=10548384 CPUtime=4 cores=0,2,4,6 /proc/16717/task/16718/stat : 16718 (java) S 16715 16717 13684 0 -1 4202560 365662 0 1 0 353 47 0 0 15 0 22 0 909058641 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16720] ppid=16715 vsize=10548384 CPUtime=0.68 cores=0,2,4,6 /proc/16717/task/16720/stat : 16720 (java) S 16715 16717 13684 0 -1 4202560 19756 0 0 0 66 2 0 0 16 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16721] ppid=16715 vsize=10548384 CPUtime=0.53 cores=0,2,4,6 /proc/16717/task/16721/stat : 16721 (java) S 16715 16717 13684 0 -1 4202560 12531 0 0 0 52 1 0 0 15 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16722] ppid=16715 vsize=10548384 CPUtime=0.72 cores=0,2,4,6 /proc/16717/task/16722/stat : 16722 (java) S 16715 16717 13684 0 -1 4202560 24911 0 0 0 69 3 0 0 15 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16723] ppid=16715 vsize=10548384 CPUtime=0.56 cores=0,2,4,6 /proc/16717/task/16723/stat : 16723 (java) S 16715 16717 13684 0 -1 4202560 12263 0 0 0 55 1 0 0 16 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16724] ppid=16715 vsize=10548384 CPUtime=0.65 cores=0,2,4,6 /proc/16717/task/16724/stat : 16724 (java) S 16715 16717 13684 0 -1 4202560 23877 0 0 0 63 2 0 0 16 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16725] ppid=16715 vsize=10548384 CPUtime=0.81 cores=0,2,4,6 /proc/16717/task/16725/stat : 16725 (java) S 16715 16717 13684 0 -1 4202560 29747 0 0 0 77 4 0 0 15 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16726] ppid=16715 vsize=10548384 CPUtime=0.8 cores=0,2,4,6 /proc/16717/task/16726/stat : 16726 (java) S 16715 16717 13684 0 -1 4202560 25170 0 0 0 77 3 0 0 16 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16727] ppid=16715 vsize=10548384 CPUtime=0.72 cores=0,2,4,6 /proc/16717/task/16727/stat : 16727 (java) S 16715 16717 13684 0 -1 4202560 23446 0 0 0 69 3 0 0 16 0 22 0 909058642 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 6 0 0 0 [pid=16717/tid=16728] ppid=16715 vsize=10548384 CPUtime=4.61 cores=0,2,4,6 /proc/16717/task/16728/stat : 16728 (java) S 16715 16717 13684 0 -1 4202560 21242 0 0 0 458 3 0 0 15 0 22 0 909058643 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 0 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16729] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16729/stat : 16729 (java) S 16715 16717 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16730] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16730/stat : 16730 (java) S 16715 16717 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909058644 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16731] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16731/stat : 16731 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000416177 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16732] ppid=16715 vsize=10548384 CPUtime=0.96 cores=0,2,4,6 /proc/16717/task/16732/stat : 16732 (java) S 16715 16717 13684 0 -1 4202560 2996 0 0 0 96 0 0 0 15 0 22 0 909058646 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16733] ppid=16715 vsize=10548384 CPUtime=1 cores=0,2,4,6 /proc/16717/task/16733/stat : 16733 (java) S 16715 16717 13684 0 -1 4202560 3459 0 0 0 100 0 0 0 15 0 22 0 909058646 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16734] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16734/stat : 16734 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909058646 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000408473 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 [pid=16717/tid=16735] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16735/stat : 16735 (java) S 16715 16717 13684 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909058646 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 2 0 0 0 [pid=16717/tid=16764] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16764/stat : 16764 (java) S 16715 16717 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059027 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 0 0 0 0 [pid=16717/tid=16796] ppid=16715 vsize=10548384 CPUtime=891.49 cores=0,2,4,6 /proc/16717/task/16796/stat : 16796 (java) R 16715 16717 13684 0 -1 4202560 926 0 0 0 89148 1 0 0 25 0 22 0 909059143 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505937039 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=16717/tid=16797] ppid=16715 vsize=10548384 CPUtime=891.46 cores=0,2,4,6 /proc/16717/task/16797/stat : 16797 (java) R 16715 16717 13684 0 -1 4202560 409460 0 0 0 89106 40 0 0 25 0 22 0 909059143 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 46912505904327 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16717/tid=16798] ppid=16715 vsize=10548384 CPUtime=0 cores=0,2,4,6 /proc/16717/task/16798/stat : 16798 (java) S 16715 16717 13684 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909059143 10801545216 963535 33554432000 1073741824 1073778376 140735243066144 18446744073709551615 216000409088 0 4 0 16800975 18446604443005572224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 10548384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+902.924 s] /proc/loadavg: 3.90 3.97 3.44 5/557 16839 /proc/meminfo: memFree=11489164/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=0 CPUtime=1800.38 cores=0,2,4,6 /proc/16717/stat : 16717 (java) Z 16715 16717 13684 0 -1 4203548 979121 0 1 0 179917 121 0 0 17 0 2 0 909058640 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 0 0 0 0 0 0 0 [pid=16717/tid=16797] ppid=16715 vsize=0 CPUtime=891.55 cores=0,2,4,6 /proc/16717/task/16797/stat : 16797 (java) R 16715 16717 13684 0 -1 4203588 409460 0 0 0 89112 43 0 0 25 0 2 0 909059143 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 0 [startup+903.001 s] /proc/loadavg: 3.90 3.97 3.44 5/557 16839 /proc/meminfo: memFree=11489164/32950940 swapFree=67111364/67111528 [pid=16717] ppid=16715 vsize=0 CPUtime=1800.46 cores=0,2,4,6 /proc/16717/stat : 16717 (java) Z 16715 16717 13684 0 -1 4203548 979121 0 1 0 179917 129 0 0 17 0 2 0 909058640 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/16717/statm: 0 0 0 0 0 0 0 [pid=16717/tid=16797] ppid=16715 vsize=0 CPUtime=891.63 cores=0,2,4,6 /proc/16717/task/16797/stat : 16797 (java) R 16715 16717 13684 0 -1 4203588 409460 0 0 0 89112 51 0 0 25 0 2 0 909059143 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 903.043 CPU time (s): 1800.51 CPU user time (s): 1799.17 CPU system time (s): 1.3368 CPU usage (%): 199.382 Max. virtual memory (cumulated for all children) (KiB): 10560000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 1.3368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 979121 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= 24510 involuntary context switches= 17034 runsolver used 4.70828 second user time and 10.8713 second system time The end
Begin job on node117 at 2011-06-04 13:51:19 IDJOB=3454412 IDBENCH=1973 IDSOLVER=1950 FILE ID=node117/3454412-1307188278 RUNJOBID= node117-1307187542-16547 PBS_JOBID= 13508821 Free space on /tmp= 73612 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454412-1307188278/watcher-3454412-1307188278 -o /tmp/evaluation-result-3454412-1307188278/solver-3454412-1307188278 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454412-1307188278.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED=1078466733 node117.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.849 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.69 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 18656708 kB Buffers: 376372 kB Cached: 3208680 kB SwapCached: 0 kB Active: 10802236 kB Inactive: 3094016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 18656708 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 17040 kB Writeback: 0 kB AnonPages: 10311272 kB Mapped: 50268 kB Slab: 270416 kB PageTables: 59184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 159858504 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= 73596 MiB End job on node117 at 2011-06-04 14:06:24