| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 891 | 1800.71 | 916.618 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
| MD5SUM | 6389567e651775a5f815611581d2023e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 557 |
| Best CPU time to get the best result obtained on this benchmark | 1802.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 474 |
| 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 | 494177 |
| 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 | 494177 |
| 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.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c ManyCore solver with 2 solvers running in parallel 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.21 c Expensive reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.21 c No reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 0.22/0.21 c solving HOME/instance-2662363-1276384138.opb 0.22/0.21 c reading problem ... 12.41/9.87 c ... done. Wall clock time 9.658s. 12.41/9.87 c #vars 10000 12.41/9.87 c #constraints 656900 12.41/9.87 c constraints type 12.41/9.87 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 12.41/9.87 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 12.41/9.87 c constraints type 12.41/9.87 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 12.41/9.87 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 14.72/11.03 c And the winner is Resolution 14.89/11.98 c SATISFIABLE 14.89/11.98 c OPTIMIZING... 14.89/11.98 c Got one! Elapsed wall clock time (in seconds):11.77 14.89/11.98 o 891 178.41/94.27 c cleaning 2490 clauses out of 5000 with flag 5000/5000 406.29/209.52 c cleaning 4249 clauses out of 8510 with flag 11000/11000 652.21/334.97 c cleaning 5603 clauses out of 11261 with flag 18000/18000 881.37/451.07 c cleaning 6822 clauses out of 13658 with flag 26000/26000 1211.32/618.05 c cleaning 7914 clauses out of 15838 with flag 35002/35002 1588.81/809.13 c cleaning 8959 clauses out of 17924 with flag 45002/45002 1800.15/916.32 c starts : 73 1800.15/916.32 c conflicts : 50527 1800.15/916.32 c decisions : 381099 1800.15/916.32 c propagations : 27658635 1800.15/916.32 c inspects : 13713617 1800.15/916.32 c learnt literals : 0 1800.15/916.32 c learnt binary clauses : 0 1800.15/916.32 c learnt ternary clauses : 0 1800.15/916.32 c learnt clauses : 50526 1800.15/916.32 c ignored clauses : 0 1800.15/916.32 c root simplifications : 0 1800.15/916.32 c removed literals (reason simplification) : 4098785 1800.15/916.32 c reason swapping (by a shorter reason) : 0 1800.15/916.32 c Calls to reduceDB : 6 1800.15/916.32 c number of reductions to clauses (during analyze) : 0 1800.15/916.32 c number of learned constraints concerned by reduction : 0 1800.15/916.32 c number of learning phase by resolution : 0 1800.15/916.32 c number of learning phase by cutting planes : 0 1800.15/916.32 c speed (assignments/second) : 30588.966194538174 1800.15/916.32 c non guided choices 0 1800.15/916.37 c learnt constraints type 1800.15/916.37 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14491 1800.15/916.37 c constraints type 1800.15/916.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.15/916.38 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.15/916.38 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.15/916.38 c constraints type 1800.15/916.38 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.15/916.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.15/916.38 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.15/916.38 s SATISFIABLE 1800.34/916.44 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.51/916.52 c objective function=891 1800.51/916.52 c Total wall clock time (in seconds): 916.307
OK 891
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662363-1276384138/watcher-2662363-1276384138 -o /tmp/evaluation-result-2662363-1276384138/solver-2662363-1276384138 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662363-1276384138.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: 1.00 1.00 1.00 3/106 12776 /proc/meminfo: memFree=1535208/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=2028 CPUtime=0 /proc/12776/stat : 12776 (java6) R 12774 12776 12268 0 -1 4194304 210 0 0 0 0 0 0 0 19 0 1 0 14017351 2076672 114 1992294400 134512640 134550932 4287158400 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12776/statm: 458 119 90 10 0 63 0 [startup+0.0221931 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12776 /proc/meminfo: memFree=1535208/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=13716 CPUtime=0.01 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 1219 0 1 0 0 1 0 0 18 0 2 0 14017351 14045184 666 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 3429 666 335 10 0 1206 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13716 [startup+0.102051 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12776 /proc/meminfo: memFree=1535208/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1524180 CPUtime=0.08 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 3954 0 1 0 5 3 0 0 18 0 12 0 14017351 1560760320 3393 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 381045 3393 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.301556 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12776 /proc/meminfo: memFree=1535208/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1525948 CPUtime=0.37 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 5505 0 1 0 33 4 0 0 18 0 12 0 14017351 1562570752 4941 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 381487 4941 1361 10 0 378790 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1525948 [startup+0.701164 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12776 /proc/meminfo: memFree=1535208/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1528592 CPUtime=1.14 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 7982 0 1 0 109 5 0 0 18 0 12 0 14017351 1565278208 7277 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 382148 7277 1401 10 0 379451 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1528592 [startup+1.50132 s] /proc/loadavg: 1.00 1.00 1.00 4/118 12788 /proc/meminfo: memFree=1494812/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1536232 CPUtime=2.7 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 25672 0 1 0 257 13 0 0 18 0 12 0 14017351 1573101568 23858 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384058 23860 1407 10 0 381361 0 [pid=12776/tid=12778] ppid=12774 vsize=1536232 CPUtime=1.44 /proc/12776/task/12778/stat : 12778 (java) R 12774 12776 12268 0 -1 4202560 20063 0 1 0 134 10 0 0 25 0 12 0 14017353 1573101568 23861 1992294400 134512640 134550932 4291427264 18446744073709551615 4109068861 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 12 0 14017354 1573101568 23863 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 12 0 14017354 1573101568 23864 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 14017356 1573101568 23866 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 14017356 1573101568 23867 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 12 0 14017356 1573101568 23869 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 14017361 1573101568 23870 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1536232 CPUtime=0.77 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1664 0 0 0 77 0 0 0 16 0 12 0 14017361 1573101568 23872 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1536232 CPUtime=0.46 /proc/12776/task/12786/stat : 12786 (java) R 12774 12776 12268 0 -1 4202560 2885 0 0 0 45 1 0 0 18 0 12 0 14017361 1573101568 23873 1992294400 134512640 134550932 4291427264 18446744073709551615 104147179 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 14017361 1573101568 23875 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1536232 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 14017361 1573101568 23876 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 1536232 [startup+3.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/118 12788 /proc/meminfo: memFree=1388172/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1535720 CPUtime=4.48 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 44231 0 1 0 427 21 0 0 18 0 12 0 14017351 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 383930 42057 1417 10 0 381233 0 [pid=12776/tid=12778] ppid=12774 vsize=1535720 CPUtime=2.89 /proc/12776/task/12778/stat : 12778 (java) R 12774 12776 12268 0 -1 4202560 32019 0 1 0 274 15 0 0 25 0 12 0 14017353 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4108815965 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1535720 CPUtime=0.14 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 3145 0 0 0 13 1 0 0 15 0 12 0 14017354 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1535720 CPUtime=0.13 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 3420 0 0 0 12 1 0 0 16 0 12 0 14017354 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 12 0 14017356 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 14017356 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 12 0 14017356 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 14017361 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1535720 CPUtime=0.77 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1664 0 0 0 77 0 0 0 16 0 12 0 14017361 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1535720 CPUtime=0.49 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2909 0 0 0 48 1 0 0 18 0 12 0 14017361 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 14017361 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1535720 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 14017361 1572577280 42057 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.48 Current children cumulated vsize (KiB) 1535720 [startup+6.3012 s] /proc/loadavg: 1.00 1.00 1.00 4/118 12788 /proc/meminfo: memFree=1345020/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1538288 CPUtime=8.21 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 54987 0 1 0 795 26 0 0 18 0 12 0 14017351 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384572 51828 1417 10 0 381875 0 [pid=12776/tid=12778] ppid=12774 vsize=1538288 CPUtime=5.54 /proc/12776/task/12778/stat : 12778 (java) R 12774 12776 12268 0 -1 4202560 32024 0 1 0 538 16 0 0 25 0 12 0 14017353 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4108825523 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1538288 CPUtime=0.67 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 8540 0 0 0 64 3 0 0 16 0 12 0 14017354 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1538288 CPUtime=0.68 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 8773 0 0 0 65 3 0 0 16 0 12 0 14017354 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 12 0 14017356 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 14017356 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 12 0 14017356 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 14017361 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1538288 CPUtime=0.77 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1664 0 0 0 77 0 0 0 16 0 12 0 14017361 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1538288 CPUtime=0.49 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2909 0 0 0 48 1 0 0 18 0 12 0 14017361 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 14017361 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1538288 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 14017361 1575206912 51828 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.21 Current children cumulated vsize (KiB) 1538288 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 3/120 12792 /proc/meminfo: memFree=1283004/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1539584 CPUtime=16.35 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 68405 0 1 0 1601 34 0 0 18 0 16 0 14017351 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384896 64261 1443 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32066 0 1 0 839 18 0 0 18 0 16 0 14017353 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=1.38 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 15744 0 0 0 132 6 0 0 16 0 16 0 14017354 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=1.37 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 14742 0 0 0 132 5 0 0 16 0 16 0 14017354 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 14017356 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1539584 CPUtime=1.66 /proc/12776/task/12785/stat : 12785 (java) R 12774 12776 12268 0 -1 4202560 1724 0 0 0 166 0 0 0 16 0 16 0 14017361 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 103169233 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1539584 CPUtime=1.55 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2994 0 0 0 154 1 0 0 15 0 16 0 14017361 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 14017361 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12791] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12791/stat : 12791 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 14018372 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12792] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12792/stat : 12792 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 14018373 1576534016 64261 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 16.35 Current children cumulated vsize (KiB) 1539584 [startup+25.5028 s] /proc/loadavg: 1.22 1.05 1.02 3/122 12794 /proc/meminfo: memFree=1276788/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1539584 CPUtime=41.82 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 70204 0 1 0 4146 36 0 0 18 0 16 0 14017351 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384896 65760 1443 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32066 0 1 0 839 18 0 0 18 0 16 0 14017353 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=1.44 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 16645 0 0 0 137 7 0 0 15 0 16 0 14017354 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=1.43 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 15611 0 0 0 137 6 0 0 16 0 16 0 14017354 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 14017356 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 65760 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 ################ # More data... # ################ /proc/12776/statm: 384896 108634 1448 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32069 0 1 0 839 18 0 0 15 0 16 0 14017353 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=6.95 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 42078 0 0 0 669 26 0 0 15 0 16 0 14017354 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=6.99 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 39635 0 0 0 675 24 0 0 15 0 16 0 14017354 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=5.42 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 6528 0 0 0 532 10 0 0 15 0 16 0 14017356 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1539584 CPUtime=2.68 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1752 0 0 0 267 1 0 0 15 0 16 0 14017361 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1539584 CPUtime=1.65 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2994 0 0 0 164 1 0 0 15 0 16 0 14017361 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 16 0 14017361 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12791] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12791/stat : 12791 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 14018372 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12792] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12792/stat : 12792 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 14018373 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12793] ppid=12774 vsize=1539584 CPUtime=729.28 /proc/12776/task/12793/stat : 12793 (java) R 12774 12776 12268 0 -1 4202560 171 0 0 0 72916 12 0 0 25 0 16 0 14018563 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4109516929 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12776/tid=12794] ppid=12774 vsize=1539584 CPUtime=733.62 /proc/12776/task/12794/stat : 12794 (java) R 12774 12776 12268 0 -1 4202560 991 0 0 0 73343 19 0 0 25 0 16 0 14018563 1576534016 108634 1992294400 134512640 134550932 4291427264 18446744073709551615 4109405697 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1496.18 Current children cumulated vsize (KiB) 1539584 [startup+822.301 s] /proc/loadavg: 2.02 2.07 1.66 3/122 12819 /proc/meminfo: memFree=1080124/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1539584 CPUtime=1613.83 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 136546 0 1 0 161255 128 0 0 18 0 16 0 14017351 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384896 114465 1448 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32070 0 1 0 839 18 0 0 15 0 16 0 14017353 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=7.59 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 45929 0 0 0 729 30 0 0 16 0 16 0 14017354 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=7.65 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 42756 0 0 0 737 28 0 0 15 0 16 0 14017354 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=6.6 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 8618 0 0 0 648 12 0 0 16 0 16 0 14017356 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1539584 CPUtime=2.68 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1752 0 0 0 267 1 0 0 15 0 16 0 14017361 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1539584 CPUtime=1.65 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2994 0 0 0 164 1 0 0 15 0 16 0 14017361 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 16 0 14017361 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12791] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12791/stat : 12791 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 14018372 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12792] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12792/stat : 12792 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 14018373 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12793] ppid=12774 vsize=1539584 CPUtime=786.64 /proc/12776/task/12793/stat : 12793 (java) R 12774 12776 12268 0 -1 4202560 190 0 0 0 78651 13 0 0 25 0 16 0 14018563 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4109518246 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12794] ppid=12774 vsize=1539584 CPUtime=791.46 /proc/12776/task/12794/stat : 12794 (java) R 12774 12776 12268 0 -1 4202560 1072 0 0 0 79126 20 0 0 25 0 16 0 14018563 1576534016 114465 1992294400 134512640 134550932 4291427264 18446744073709551615 4109474992 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1613.83 Current children cumulated vsize (KiB) 1539584 [startup+882.302 s] /proc/loadavg: 2.26 2.11 1.70 3/122 12821 /proc/meminfo: memFree=1051356/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1539584 CPUtime=1732.74 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 145289 0 1 0 173138 136 0 0 18 0 16 0 14017351 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384896 121768 1448 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32070 0 1 0 839 18 0 0 15 0 16 0 14017353 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=8.08 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 50344 0 0 0 776 32 0 0 16 0 16 0 14017354 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=8.14 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 47022 0 0 0 783 31 0 0 16 0 16 0 14017354 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=6.62 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 8622 0 0 0 649 13 0 0 15 0 16 0 14017356 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1539584 CPUtime=2.68 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1752 0 0 0 267 1 0 0 15 0 16 0 14017361 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1539584 CPUtime=1.65 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2994 0 0 0 164 1 0 0 15 0 16 0 14017361 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 16 0 14017361 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12791] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12791/stat : 12791 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 14018372 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12792] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12792/stat : 12792 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 14018373 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12793] ppid=12774 vsize=1539584 CPUtime=845.22 /proc/12776/task/12793/stat : 12793 (java) R 12774 12776 12268 0 -1 4202560 196 0 0 0 84508 14 0 0 25 0 16 0 14018563 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4109313679 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12794] ppid=12774 vsize=1539584 CPUtime=850.78 /proc/12776/task/12794/stat : 12794 (java) R 12774 12776 12268 0 -1 4202560 1120 0 0 0 85056 22 0 0 25 0 16 0 14018563 1576534016 121768 1992294400 134512640 134550932 4291427264 18446744073709551615 4109340797 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1732.74 Current children cumulated vsize (KiB) 1539584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+916.309 s] /proc/loadavg: 2.46 2.18 1.73 3/122 12821 /proc/meminfo: memFree=1026928/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=1539584 CPUtime=1800.15 /proc/12776/stat : 12776 (java) S 12774 12776 12268 0 -1 4202496 152560 0 1 0 179874 141 0 0 18 0 16 0 14017351 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 384896 127868 1448 10 0 382199 0 [pid=12776/tid=12778] ppid=12774 vsize=1539584 CPUtime=8.57 /proc/12776/task/12778/stat : 12778 (java) S 12774 12776 12268 0 -1 4202560 32070 0 1 0 839 18 0 0 15 0 16 0 14017353 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12779] ppid=12774 vsize=1539584 CPUtime=8.3 /proc/12776/task/12779/stat : 12779 (java) S 12774 12776 12268 0 -1 4202560 54427 0 0 0 796 34 0 0 16 0 16 0 14017354 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12780] ppid=12774 vsize=1539584 CPUtime=8.36 /proc/12776/task/12780/stat : 12780 (java) S 12774 12776 12268 0 -1 4202560 50204 0 0 0 804 32 0 0 16 0 16 0 14017354 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12781] ppid=12774 vsize=1539584 CPUtime=6.62 /proc/12776/task/12781/stat : 12781 (java) S 12774 12776 12268 0 -1 4202560 8622 0 0 0 649 13 0 0 15 0 16 0 14017356 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 0 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12782] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12782/stat : 12782 (java) S 12774 12776 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12783] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12783/stat : 12783 (java) S 12774 12776 12268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 14017356 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12784] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12784/stat : 12784 (java) S 12774 12776 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12785] ppid=12774 vsize=1539584 CPUtime=2.68 /proc/12776/task/12785/stat : 12785 (java) S 12774 12776 12268 0 -1 4202560 1752 0 0 0 267 1 0 0 15 0 16 0 14017361 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12786] ppid=12774 vsize=1539584 CPUtime=1.66 /proc/12776/task/12786/stat : 12786 (java) S 12774 12776 12268 0 -1 4202560 2994 0 0 0 165 1 0 0 15 0 16 0 14017361 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12787] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12787/stat : 12787 (java) S 12774 12776 12268 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 14017361 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12788] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12788/stat : 12788 (java) S 12774 12776 12268 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 14017361 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12791] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12791/stat : 12791 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 14018372 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 0 0 0 0 [pid=12776/tid=12792] ppid=12774 vsize=1539584 CPUtime=0 /proc/12776/task/12792/stat : 12792 (java) S 12774 12776 12268 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 14018373 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4294960144 0 4 0 16800975 18446604437835823168 0 0 -1 1 0 0 0 [pid=12776/tid=12793] ppid=12774 vsize=1539584 CPUtime=878.43 /proc/12776/task/12793/stat : 12793 (java) R 12774 12776 12268 0 -1 4202560 199 0 0 0 87829 14 0 0 25 0 16 0 14018563 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4109593580 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12776/tid=12794] ppid=12774 vsize=1539584 CPUtime=884.53 /proc/12776/task/12794/stat : 12794 (java) R 12774 12776 12268 0 -1 4202560 1121 0 0 0 88430 23 0 0 25 0 16 0 14018563 1576534016 127868 1992294400 134512640 134550932 4291427264 18446744073709551615 4109405494 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) 1539584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+916.601 s] /proc/loadavg: 2.46 2.18 1.73 3/122 12821 /proc/meminfo: memFree=1026928/2059040 swapFree=4192956/4192956 [pid=12776] ppid=12774 vsize=0 CPUtime=1800.68 /proc/12776/stat : 12776 (java) Z 12774 12776 12268 0 -1 4203548 152592 0 1 0 179923 145 0 0 15 0 2 0 14017351 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12776/statm: 0 0 0 0 0 0 0 [pid=12776/tid=12794] ppid=12774 vsize=0 CPUtime=884.65 /proc/12776/task/12794/stat : 12794 (java) R 12774 12776 12268 0 -1 4203588 1121 0 0 0 88438 27 0 0 25 0 2 0 14018563 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.68 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 916.618 CPU time (s): 1800.71 CPU user time (s): 1799.24 CPU system time (s): 1.46678 CPU usage (%): 196.451 Max. virtual memory (cumulated for all children) (KiB): 1544712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 1.46678 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152592 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= 35816 involuntary context switches= 57146 runsolver used 4.83626 second user time and 8.47371 second system time The end
Begin job on node007 at 2010-06-13 01:08:59 IDJOB=2662363 IDBENCH=1975 IDSOLVER=1166 FILE ID=node007/2662363-1276384138 PBS_JOBID= 11173235 Free space on /tmp= 62440 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_5.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-2662363-1276384138/watcher-2662363-1276384138 -o /tmp/evaluation-result-2662363-1276384138/solver-2662363-1276384138 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662363-1276384138.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED=1379086208 node007.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1535728 kB Buffers: 148320 kB Cached: 243840 kB SwapCached: 0 kB Active: 161184 kB Inactive: 290356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1535728 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 17180 kB Writeback: 0 kB AnonPages: 59272 kB Mapped: 15436 kB Slab: 50016 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62440 MiB End job on node007 at 2010-06-13 01:24:17