Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 488 | 1800.78 | 915.057 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 448 |
Best CPU time to get the best result obtained on this benchmark | 1796.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
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 | 495618 |
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 | 495618 |
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.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c ManyCore solver with 2 solvers running in parallel 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.21 c No reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 0.24/0.21 c solving HOME/instance-2662352-1276375720.opb 0.24/0.21 c reading problem ... 12.31/9.73 c ... done. Wall clock time 9.515s. 12.31/9.73 c #vars 10000 12.31/9.73 c #constraints 656900 12.31/9.73 c constraints type 12.31/9.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 12.31/9.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 12.31/9.73 c constraints type 12.31/9.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 12.31/9.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 14.49/10.84 c And the winner is Resolution 14.62/11.94 c SATISFIABLE 14.62/11.94 c OPTIMIZING... 14.62/11.94 c Got one! Elapsed wall clock time (in seconds):11.729 14.62/11.94 o 488 196.93/104.20 c cleaning 2489 clauses out of 5001 with flag 5001/5001 479.20/246.87 c cleaning 4248 clauses out of 8512 with flag 11001/11001 765.26/391.33 c cleaning 5618 clauses out of 11263 with flag 18000/18000 1101.49/561.30 c cleaning 6819 clauses out of 13647 with flag 26002/26002 1476.46/750.82 c cleaning 7910 clauses out of 15826 with flag 35000/35000 1800.15/914.72 c starts : 66 1800.15/914.72 c conflicts : 43167 1800.15/914.72 c decisions : 299018 1800.15/914.72 c propagations : 27114973 1800.15/914.72 c inspects : 12018737 1800.15/914.72 c learnt literals : 0 1800.15/914.72 c learnt binary clauses : 0 1800.15/914.72 c learnt ternary clauses : 0 1800.15/914.72 c learnt clauses : 43166 1800.15/914.72 c ignored clauses : 0 1800.15/914.72 c root simplifications : 0 1800.15/914.72 c removed literals (reason simplification) : 3723342 1800.15/914.72 c reason swapping (by a shorter reason) : 0 1800.15/914.72 c Calls to reduceDB : 5 1800.15/914.72 c number of reductions to clauses (during analyze) : 0 1800.15/914.72 c number of learned constraints concerned by reduction : 0 1800.15/914.72 c number of learning phase by resolution : 0 1800.15/914.72 c number of learning phase by cutting planes : 0 1800.15/914.72 c speed (assignments/second) : 30039.465127486445 1800.15/914.72 c non guided choices 0 1800.36/914.82 c learnt constraints type 1800.36/914.82 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16084 1800.36/914.82 c constraints type 1800.36/914.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.36/914.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.36/914.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.36/914.82 c constraints type 1800.36/914.82 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.36/914.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.36/914.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.36/914.82 s SATISFIABLE 1800.36/914.89 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.53/914.97 c objective function=488 1800.53/914.97 c Total wall clock time (in seconds): 914.757
OK 488
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662352-1276375720/watcher-2662352-1276375720 -o /tmp/evaluation-result-2662352-1276375720/solver-2662352-1276375720 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662352-1276375720.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 16503 /proc/meminfo: memFree=1819996/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=248 CPUtime=0 /proc/16503/stat : 16503 (java) R 16501 16503 16403 0 -1 4194304 284 0 0 0 0 0 0 0 19 0 1 0 13173699 253952 29 1992294400 134512640 134550932 4288181280 18446744073709551615 6382164 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16503/statm: 62 29 21 10 0 23 0 [startup+0.089058 s] /proc/loadavg: 0.99 0.97 0.99 3/106 16503 /proc/meminfo: memFree=1819996/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1521796 CPUtime=0.07 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 3850 0 1 0 5 2 0 0 18 0 7 0 13173699 1558319104 3290 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 380449 3290 1045 10 0 377759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1521796 [startup+0.101059 s] /proc/loadavg: 0.99 0.97 0.99 3/106 16503 /proc/meminfo: memFree=1819996/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1524180 CPUtime=0.08 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 3962 0 1 0 6 2 0 0 18 0 12 0 13173699 1560760320 3400 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 381045 3400 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300331 s] /proc/loadavg: 0.99 0.97 0.99 3/106 16503 /proc/meminfo: memFree=1819996/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1526548 CPUtime=0.37 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 5483 0 1 0 34 3 0 0 18 0 12 0 13173699 1563185152 4919 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 381637 4919 1361 10 0 378940 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526548 [startup+0.70133 s] /proc/loadavg: 0.99 0.97 0.99 3/106 16503 /proc/meminfo: memFree=1819996/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1529704 CPUtime=1.18 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 7798 0 1 0 114 4 0 0 18 0 12 0 13173699 1566416896 7234 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 382426 7235 1400 10 0 379729 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 1529704 [startup+1.50133 s] /proc/loadavg: 0.99 0.97 0.99 4/118 16515 /proc/meminfo: memFree=1779476/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1537044 CPUtime=2.74 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 20360 0 1 0 263 11 0 0 18 0 12 0 13173699 1573933056 18948 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 384261 18950 1407 10 0 381564 0 [pid=16503/tid=16505] ppid=16501 vsize=1537044 CPUtime=1.47 /proc/16503/task/16505/stat : 16505 (java) R 16501 16503 16403 0 -1 4202560 15208 0 1 0 138 9 0 0 18 0 12 0 13173700 1573933056 18951 1992294400 134512640 134550932 4288181280 18446744073709551615 4108863755 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 12 0 13173702 1573933056 18952 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 13173702 1573933056 18953 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 13173704 1573933056 18954 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 13173704 1573933056 18955 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 12 0 13173704 1573933056 18956 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173708 1573933056 18957 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1537044 CPUtime=0.84 /proc/16503/task/16512/stat : 16512 (java) R 16501 16503 16403 0 -1 4202560 2512 0 0 0 84 0 0 0 25 0 12 0 13173708 1573933056 18958 1992294400 134512640 134550932 4288181280 18446744073709551615 103633827 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1537044 CPUtime=0.4 /proc/16503/task/16513/stat : 16513 (java) R 16501 16503 16403 0 -1 4202560 1575 0 0 0 40 0 0 0 25 0 12 0 13173708 1573933056 18960 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173709 1573933056 18961 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13173709 1573933056 18962 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 1537044 [startup+3.10133 s] /proc/loadavg: 0.99 0.97 0.99 2/118 16515 /proc/meminfo: memFree=1671844/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1537044 CPUtime=4.56 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 44077 0 1 0 435 21 0 0 18 0 12 0 13173699 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 384261 42303 1417 10 0 381564 0 [pid=16503/tid=16505] ppid=16501 vsize=1537044 CPUtime=2.92 /proc/16503/task/16505/stat : 16505 (java) R 16501 16503 16403 0 -1 4202560 32020 0 1 0 276 16 0 0 20 0 12 0 13173700 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4108868949 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1537044 CPUtime=0.14 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 3094 0 0 0 13 1 0 0 16 0 12 0 13173702 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1537044 CPUtime=0.13 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 3436 0 0 0 11 2 0 0 16 0 12 0 13173702 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 12 0 13173704 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13173704 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 12 0 13173704 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173708 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1537044 CPUtime=0.84 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 2517 0 0 0 84 0 0 0 25 0 12 0 13173708 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1537044 CPUtime=0.48 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 1932 0 0 0 48 0 0 0 25 0 12 0 13173708 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173709 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1537044 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13173709 1573933056 42303 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.56 Current children cumulated vsize (KiB) 1537044 [startup+6.30132 s] /proc/loadavg: 0.99 0.97 0.99 3/118 16515 /proc/meminfo: memFree=1631296/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1536084 CPUtime=8.24 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 54017 0 1 0 796 28 0 0 18 0 12 0 13173699 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 384021 50803 1417 10 0 381324 0 [pid=16503/tid=16505] ppid=16501 vsize=1536084 CPUtime=5.55 /proc/16503/task/16505/stat : 16505 (java) R 16501 16503 16403 0 -1 4202560 32025 0 1 0 539 16 0 0 22 0 12 0 13173700 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4108670784 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1536084 CPUtime=0.65 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 8089 0 0 0 62 3 0 0 16 0 12 0 13173702 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1536084 CPUtime=0.65 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 8373 0 0 0 60 5 0 0 16 0 12 0 13173702 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 12 0 13173704 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13173704 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 12 0 13173704 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173708 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1536084 CPUtime=0.84 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 2517 0 0 0 84 0 0 0 25 0 12 0 13173708 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1536084 CPUtime=0.48 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 1932 0 0 0 48 0 0 0 25 0 12 0 13173708 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13173709 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1536084 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13173709 1572950016 50803 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.24 Current children cumulated vsize (KiB) 1536084 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.99 5/120 16519 /proc/meminfo: memFree=1570396/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1543304 CPUtime=16.16 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 69297 0 1 0 1578 38 0 0 18 0 16 0 13173699 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 385826 64911 1443 10 0 383129 0 [pid=16503/tid=16505] ppid=16501 vsize=1543304 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32066 0 1 0 829 17 0 0 16 0 16 0 13173700 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1543304 CPUtime=1.36 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 13568 0 0 0 130 6 0 0 15 0 16 0 13173702 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1543304 CPUtime=1.36 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 16207 0 0 0 126 10 0 0 16 0 16 0 13173702 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 13173704 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 13173704 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173708 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1543304 CPUtime=1.89 /proc/16503/task/16512/stat : 16512 (java) R 16501 16503 16403 0 -1 4202560 3087 0 0 0 188 1 0 0 16 0 16 0 13173708 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 103157328 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1543304 CPUtime=1.58 /proc/16503/task/16513/stat : 16513 (java) R 16501 16503 16403 0 -1 4202560 3232 0 0 0 157 1 0 0 16 0 16 0 13173708 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 106251522 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173709 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 13173709 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16518] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16518/stat : 16518 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13174706 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16519] ppid=16501 vsize=1543304 CPUtime=0 /proc/16503/task/16519/stat : 16519 (java) S 16501 16503 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13174707 1580343296 64911 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.16 Current children cumulated vsize (KiB) 1543304 [startup+25.5013 s] /proc/loadavg: 1.49 1.08 1.03 3/122 16521 /proc/meminfo: memFree=1556740/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1545764 CPUtime=41.53 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 74719 0 1 0 4111 42 0 0 18 0 16 0 13173699 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 386441 66972 1443 10 0 383744 0 [pid=16503/tid=16505] ppid=16501 vsize=1545764 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32066 0 1 0 829 17 0 0 15 0 16 0 13173700 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1545764 CPUtime=1.42 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 14449 0 0 0 135 7 0 0 15 0 16 0 13173702 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1545764 CPUtime=1.42 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 17111 0 0 0 131 11 0 0 16 0 16 0 13173702 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 13173704 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 66972 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1545764 CPUtime=0 ################ # More data... # ################ /proc/16503/statm: 386441 145881 1448 10 0 383744 0 [pid=16503/tid=16505] ppid=16501 vsize=1545764 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32070 0 1 0 829 17 0 0 15 0 16 0 13173700 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1545764 CPUtime=6.39 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 57182 0 0 0 609 30 0 0 16 0 16 0 13173702 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1545764 CPUtime=6.41 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 65027 0 0 0 602 39 0 0 16 0 16 0 13173702 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1545764 CPUtime=6.12 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 7603 0 0 0 602 10 0 0 15 0 16 0 13173704 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173708 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1545764 CPUtime=2.58 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 3913 0 0 0 256 2 0 0 15 0 16 0 13173708 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1545764 CPUtime=2.87 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 6140 0 0 0 285 2 0 0 16 0 16 0 13173708 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173709 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 16 0 13173709 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16518] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16518/stat : 16518 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13174706 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16519] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16519/stat : 16519 (java) S 16501 16503 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13174707 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16520] ppid=16501 vsize=1545764 CPUtime=732.89 /proc/16503/task/16520/stat : 16520 (java) R 16501 16503 16403 0 -1 4202560 79 0 0 0 73270 19 0 0 25 0 16 0 13174907 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4109375223 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16503/tid=16521] ppid=16501 vsize=1545764 CPUtime=731.03 /proc/16503/task/16521/stat : 16521 (java) R 16501 16503 16403 0 -1 4202560 622 0 0 0 73089 14 0 0 25 0 16 0 13174907 1582862336 145881 1992294400 134512640 134550932 4288181280 18446744073709551615 4109401929 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1497.66 Current children cumulated vsize (KiB) 1545764 [startup+822.302 s] /proc/loadavg: 2.02 1.97 1.59 3/122 16552 /proc/meminfo: memFree=1204952/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1545764 CPUtime=1616.86 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 184034 0 1 0 161537 149 0 0 18 0 16 0 13173699 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 386441 154485 1448 10 0 383744 0 [pid=16503/tid=16505] ppid=16501 vsize=1545764 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32070 0 1 0 829 17 0 0 15 0 16 0 13173700 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1545764 CPUtime=7.22 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 61522 0 0 0 689 33 0 0 16 0 16 0 13173702 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1545764 CPUtime=7.23 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 70810 0 0 0 681 42 0 0 15 0 16 0 13173702 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1545764 CPUtime=6.16 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 7607 0 0 0 605 11 0 0 15 0 16 0 13173704 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173708 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1545764 CPUtime=2.58 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 3913 0 0 0 256 2 0 0 15 0 16 0 13173708 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1545764 CPUtime=2.87 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 6140 0 0 0 285 2 0 0 16 0 16 0 13173708 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173709 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 13173709 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16518] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16518/stat : 16518 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13174706 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16519] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16519/stat : 16519 (java) S 16501 16503 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13174707 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16520] ppid=16501 vsize=1545764 CPUtime=791.43 /proc/16503/task/16520/stat : 16520 (java) R 16501 16503 16403 0 -1 4202560 98 0 0 0 79121 22 0 0 25 0 16 0 13174907 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4109375086 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16521] ppid=16501 vsize=1545764 CPUtime=789.97 /proc/16503/task/16521/stat : 16521 (java) R 16501 16503 16403 0 -1 4202560 705 0 0 0 78983 14 0 0 25 0 16 0 13174907 1582862336 154485 1992294400 134512640 134550932 4288181280 18446744073709551615 4109040784 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1616.86 Current children cumulated vsize (KiB) 1545764 [startup+882.301 s] /proc/loadavg: 2.04 1.99 1.62 3/122 16554 /proc/meminfo: memFree=1189948/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1545764 CPUtime=1735.92 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 188559 0 1 0 173436 156 0 0 18 0 16 0 13173699 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 386441 158254 1448 10 0 383744 0 [pid=16503/tid=16505] ppid=16501 vsize=1545764 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32070 0 1 0 829 17 0 0 15 0 16 0 13173700 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1545764 CPUtime=7.82 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 63942 0 0 0 748 34 0 0 16 0 16 0 13173702 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1545764 CPUtime=7.85 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 72811 0 0 0 741 44 0 0 16 0 16 0 13173702 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1545764 CPUtime=6.21 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 7611 0 0 0 608 13 0 0 15 0 16 0 13173704 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173708 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1545764 CPUtime=2.58 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 3913 0 0 0 256 2 0 0 15 0 16 0 13173708 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1545764 CPUtime=2.87 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 6140 0 0 0 285 2 0 0 16 0 16 0 13173708 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173709 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 13173709 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16518] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16518/stat : 16518 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13174706 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16519] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16519/stat : 16519 (java) S 16501 16503 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13174707 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16520] ppid=16501 vsize=1545764 CPUtime=850.16 /proc/16503/task/16520/stat : 16520 (java) R 16501 16503 16403 0 -1 4202560 111 0 0 0 84993 23 0 0 25 0 16 0 13174907 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4109375244 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16521] ppid=16501 vsize=1545764 CPUtime=849.05 /proc/16503/task/16521/stat : 16521 (java) R 16501 16503 16403 0 -1 4202560 788 0 0 0 84890 15 0 0 25 0 16 0 13174907 1582862336 158254 1992294400 134512640 134550932 4288181280 18446744073709551615 4109402174 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1735.92 Current children cumulated vsize (KiB) 1545764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.701 s] /proc/loadavg: 2.02 1.99 1.63 3/122 16554 /proc/meminfo: memFree=1139976/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=1545764 CPUtime=1800.15 /proc/16503/stat : 16503 (java) S 16501 16503 16403 0 -1 4202496 203496 0 1 0 179851 164 0 0 18 0 16 0 13173699 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 386441 170673 1448 10 0 383744 0 [pid=16503/tid=16505] ppid=16501 vsize=1545764 CPUtime=8.46 /proc/16503/task/16505/stat : 16505 (java) S 16501 16503 16403 0 -1 4202560 32070 0 1 0 829 17 0 0 15 0 16 0 13173700 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16506] ppid=16501 vsize=1545764 CPUtime=8.07 /proc/16503/task/16506/stat : 16506 (java) S 16501 16503 16403 0 -1 4202560 72016 0 0 0 769 38 0 0 16 0 16 0 13173702 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16507] ppid=16501 vsize=1545764 CPUtime=8.1 /proc/16503/task/16507/stat : 16507 (java) S 16501 16503 16403 0 -1 4202560 79670 0 0 0 763 47 0 0 16 0 16 0 13173702 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16508] ppid=16501 vsize=1545764 CPUtime=6.21 /proc/16503/task/16508/stat : 16508 (java) S 16501 16503 16403 0 -1 4202560 7611 0 0 0 608 13 0 0 15 0 16 0 13173704 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 0 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16509] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16509/stat : 16509 (java) S 16501 16503 16403 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16510] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16510/stat : 16510 (java) S 16501 16503 16403 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 13173704 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16511] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16511/stat : 16511 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173708 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16512] ppid=16501 vsize=1545764 CPUtime=2.58 /proc/16503/task/16512/stat : 16512 (java) S 16501 16503 16403 0 -1 4202560 3913 0 0 0 256 2 0 0 15 0 16 0 13173708 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16513] ppid=16501 vsize=1545764 CPUtime=2.87 /proc/16503/task/16513/stat : 16513 (java) S 16501 16503 16403 0 -1 4202560 6140 0 0 0 285 2 0 0 16 0 16 0 13173708 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16514] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16514/stat : 16514 (java) S 16501 16503 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13173709 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16515] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16515/stat : 16515 (java) S 16501 16503 16403 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 13173709 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16518] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16518/stat : 16518 (java) S 16501 16503 16403 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13174706 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 1 0 0 0 [pid=16503/tid=16519] ppid=16501 vsize=1545764 CPUtime=0 /proc/16503/task/16519/stat : 16519 (java) S 16501 16503 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13174707 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4294960144 0 4 0 16800975 18446604437834596544 0 0 -1 0 0 0 0 [pid=16503/tid=16520] ppid=16501 vsize=1545764 CPUtime=881.75 /proc/16503/task/16520/stat : 16520 (java) R 16501 16503 16403 0 -1 4202560 112 0 0 0 88152 23 0 0 25 0 16 0 13174907 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4109375248 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16503/tid=16521] ppid=16501 vsize=1545764 CPUtime=881.18 /proc/16503/task/16521/stat : 16521 (java) R 16501 16503 16403 0 -1 4202560 789 0 0 0 88102 16 0 0 25 0 16 0 13174907 1582862336 170673 1992294400 134512640 134550932 4288181280 18446744073709551615 4109402089 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 1545764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+915.001 s] /proc/loadavg: 2.02 1.99 1.63 3/122 16554 /proc/meminfo: memFree=1139976/2059040 swapFree=4136164/4192956 [pid=16503] ppid=16501 vsize=0 CPUtime=1800.72 /proc/16503/stat : 16503 (java) Z 16501 16503 16403 0 -1 4203548 203518 0 1 0 179907 165 0 0 15 0 2 0 13173699 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16503/statm: 0 0 0 0 0 0 0 [pid=16503/tid=16521] ppid=16501 vsize=0 CPUtime=881.3 /proc/16503/task/16521/stat : 16521 (java) R 16501 16503 16403 0 -1 4203588 789 0 0 0 88113 17 0 0 25 0 2 0 13174907 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 915.057 CPU time (s): 1800.78 CPU user time (s): 1799.07 CPU system time (s): 1.70674 CPU usage (%): 196.794 Max. virtual memory (cumulated for all children) (KiB): 1550892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 1.70674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203518 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= 30694 involuntary context switches= 54257 runsolver used 5.02724 second user time and 7.51486 second system time The end
Begin job on node011 at 2010-06-12 22:48:41 IDJOB=2662352 IDBENCH=1964 IDSOLVER=1166 FILE ID=node011/2662352-1276375720 PBS_JOBID= 11173233 Free space on /tmp= 62248 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662352-1276375720/watcher-2662352-1276375720 -o /tmp/evaluation-result-2662352-1276375720/solver-2662352-1276375720 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662352-1276375720.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=1806442541 node011.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820392 kB Buffers: 51252 kB Cached: 124640 kB SwapCached: 11036 kB Active: 106872 kB Inactive: 82468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820392 kB SwapTotal: 4192956 kB SwapFree: 4136164 kB Dirty: 17120 kB Writeback: 0 kB AnonPages: 10644 kB Mapped: 9208 kB Slab: 27352 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181728 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62248 MiB End job on node011 at 2010-06-12 23:03:58