Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 668 | 1800.64 | 914.618 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
MD5SUM | fad34197fa8b5ebd519d12750a352ad5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 668 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 480 |
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 | 495457 |
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 | 495457 |
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.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@4413ee 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1cb25f1 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2662362-1276383258.opb 0.22/0.22 c reading problem ... 12.16/9.63 c ... done. Wall clock time 9.415s. 12.16/9.63 c #vars 10000 12.16/9.63 c #constraints 656900 12.16/9.63 c constraints type 12.16/9.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 12.16/9.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 12.16/9.63 c constraints type 12.16/9.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 12.16/9.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 15.90/11.51 c And the winner is Resolution 16.30/12.79 c SATISFIABLE 16.30/12.79 c OPTIMIZING... 16.30/12.79 c Got one! Elapsed wall clock time (in seconds):12.576 16.30/12.79 o 668 183.50/97.03 c cleaning 2494 clauses out of 5001 with flag 5001/5001 416.61/214.71 c cleaning 4242 clauses out of 8506 with flag 11000/11000 687.41/351.52 c cleaning 5616 clauses out of 11264 with flag 18000/18000 952.06/485.31 c cleaning 6805 clauses out of 13649 with flag 26001/26001 1217.82/620.03 c cleaning 7919 clauses out of 15844 with flag 35001/35001 1565.10/795.45 c cleaning 8953 clauses out of 17925 with flag 45001/45001 1800.07/914.31 c starts : 75 1800.07/914.31 c conflicts : 52683 1800.07/914.31 c decisions : 370785 1800.07/914.31 c propagations : 35205294 1800.07/914.31 c inspects : 14808755 1800.07/914.31 c learnt literals : 0 1800.07/914.31 c learnt binary clauses : 0 1800.07/914.31 c learnt ternary clauses : 0 1800.07/914.31 c learnt clauses : 52682 1800.07/914.31 c ignored clauses : 0 1800.07/914.31 c root simplifications : 0 1800.07/914.31 c removed literals (reason simplification) : 3921999 1800.07/914.31 c reason swapping (by a shorter reason) : 0 1800.07/914.31 c Calls to reduceDB : 6 1800.07/914.31 c number of reductions to clauses (during analyze) : 0 1800.07/914.31 c number of learned constraints concerned by reduction : 0 1800.07/914.31 c number of learning phase by resolution : 0 1800.07/914.32 c number of learning phase by cutting planes : 0 1800.07/914.32 c speed (assignments/second) : 39056.332496854884 1800.07/914.32 c non guided choices 0 1800.07/914.37 c learnt constraints type 1800.07/914.37 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16657 1800.07/914.37 c constraints type 1800.07/914.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.07/914.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.07/914.37 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.07/914.37 c constraints type 1800.07/914.37 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.07/914.37 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.07/914.37 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.07/914.37 s SATISFIABLE 1800.28/914.43 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.45/914.52 c objective function=668 1800.45/914.52 c Total wall clock time (in seconds): 914.3
OK 668
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662362-1276383258/watcher-2662362-1276383258 -o /tmp/evaluation-result-2662362-1276383258/solver-2662362-1276383258 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662362-1276383258.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 2/106 14518 /proc/meminfo: memFree=1773996/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1832 CPUtime=0 /proc/14518/stat : 14518 (java6) R 14516 14518 13973 0 -1 4194304 252 0 0 0 0 0 0 0 16 0 1 0 13927465 1875968 154 1992294400 134512640 134550932 4289146704 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 0 /proc/14518/statm: 458 154 116 10 0 63 0 [startup+0.0296209 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14518 /proc/meminfo: memFree=1773996/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1517712 CPUtime=0.02 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 2621 0 1 0 0 2 0 0 15 0 3 0 13927465 1554137088 2064 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 379428 2064 419 10 0 377139 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1517712 [startup+0.100478 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14518 /proc/meminfo: memFree=1773996/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1524180 CPUtime=0.08 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 3957 0 1 0 5 3 0 0 15 0 12 0 13927465 1560760320 3395 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 381045 3395 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300515 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14518 /proc/meminfo: memFree=1773996/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1526384 CPUtime=0.37 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 5449 0 1 0 33 4 0 0 15 0 12 0 13927465 1563017216 4885 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 381596 4885 1358 10 0 378899 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526384 [startup+0.700588 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14518 /proc/meminfo: memFree=1773996/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1527320 CPUtime=1.13 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 7428 0 1 0 108 5 0 0 15 0 12 0 13927465 1563975680 6864 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 381830 6865 1401 10 0 379133 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1527320 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 4/118 14530 /proc/meminfo: memFree=1733600/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536408 CPUtime=2.69 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 25627 0 1 0 256 13 0 0 15 0 12 0 13927465 1573281792 24056 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384102 24059 1407 10 0 381405 0 [pid=14518/tid=14520] ppid=14516 vsize=1536408 CPUtime=1.47 /proc/14518/task/14520/stat : 14520 (java) R 14516 14518 13973 0 -1 4202560 20509 0 1 0 137 10 0 0 25 0 12 0 13927467 1573281792 24060 1992294400 134512640 134550932 4288510432 18446744073709551615 4108916935 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 13927468 1573281792 24062 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 13927468 1573281792 24063 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 13927470 1573281792 24065 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 13927470 1573281792 24066 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 12 0 13927470 1573281792 24068 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13927475 1573281792 24069 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536408 CPUtime=0.32 /proc/14518/task/14527/stat : 14527 (java) R 14516 14518 13973 0 -1 4202560 2102 0 0 0 32 0 0 0 18 0 12 0 13927475 1573281792 24071 1992294400 134512640 134550932 4288510432 18446744073709551615 103152475 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536408 CPUtime=0.87 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13927475 1573281792 24073 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 13927475 1573281792 24074 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536408 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13927475 1573281792 24076 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 1536408 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/118 14530 /proc/meminfo: memFree=1628324/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1534356 CPUtime=4.45 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 43720 0 1 0 423 22 0 0 15 0 12 0 13927465 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 383589 41709 1417 10 0 380892 0 [pid=14518/tid=14520] ppid=14516 vsize=1534356 CPUtime=2.92 /proc/14518/task/14520/stat : 14520 (java) R 14516 14518 13973 0 -1 4202560 32030 0 1 0 276 16 0 0 25 0 12 0 13927467 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4108904166 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1534356 CPUtime=0.13 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 3199 0 0 0 12 1 0 0 16 0 12 0 13927468 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1534356 CPUtime=0.13 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 3337 0 0 0 12 1 0 0 16 0 12 0 13927468 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 12 0 13927470 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13927470 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13927470 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13927475 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1534356 CPUtime=0.34 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2125 0 0 0 34 0 0 0 18 0 12 0 13927475 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1534356 CPUtime=0.87 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13927475 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 13927475 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1534356 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13927475 1571180544 41709 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 1534356 [startup+6.30158 s] /proc/loadavg: 1.16 1.03 1.01 2/118 14530 /proc/meminfo: memFree=1581576/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1535640 CPUtime=8.19 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 54127 0 1 0 791 28 0 0 15 0 12 0 13927465 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 383910 51200 1417 10 0 381213 0 [pid=14518/tid=14520] ppid=14516 vsize=1535640 CPUtime=5.56 /proc/14518/task/14520/stat : 14520 (java) R 14516 14518 13973 0 -1 4202560 32035 0 1 0 539 17 0 0 25 0 12 0 13927467 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4109043080 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1535640 CPUtime=0.69 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 8756 0 0 0 65 4 0 0 16 0 12 0 13927468 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1535640 CPUtime=0.67 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 8179 0 0 0 64 3 0 0 16 0 12 0 13927468 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 12 0 13927470 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13927470 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13927470 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13927475 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1535640 CPUtime=0.34 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2125 0 0 0 34 0 0 0 18 0 12 0 13927475 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1535640 CPUtime=0.87 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13927475 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 13927475 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1535640 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13927475 1572495360 51200 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.19 Current children cumulated vsize (KiB) 1535640 [startup+12.7017 s] /proc/loadavg: 1.15 1.03 1.01 1/120 14534 /proc/meminfo: memFree=1523156/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536936 CPUtime=16.3 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 67838 0 1 0 1594 36 0 0 15 0 14 0 13927465 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384234 63876 1443 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.21 /proc/14518/task/14520/stat : 14520 (java) R 14516 14518 13973 0 -1 4202560 32071 0 1 0 803 18 0 0 18 0 14 0 13927467 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4108590414 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=1.37 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 15428 0 0 0 130 7 0 0 16 0 14 0 13927468 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=1.36 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 14992 0 0 0 129 7 0 0 15 0 14 0 13927468 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 14 0 13927470 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 13927470 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 13927470 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 13927475 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536936 CPUtime=1.05 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2163 0 0 0 105 0 0 0 16 0 14 0 13927475 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536936 CPUtime=2.07 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 2046 0 0 0 207 0 0 0 15 0 14 0 13927475 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 13927475 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 13927475 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14533] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14533/stat : 14533 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 13928463 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14534] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14534/stat : 14534 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 13928464 1573822464 63876 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 16.3 Current children cumulated vsize (KiB) 1536936 [startup+25.501 s] /proc/loadavg: 1.27 1.06 1.02 3/122 14536 /proc/meminfo: memFree=1516940/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536936 CPUtime=41.63 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 69652 0 1 0 4126 37 0 0 15 0 16 0 13927465 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384234 65429 1443 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.36 /proc/14518/task/14520/stat : 14520 (java) S 14516 14518 13973 0 -1 4202560 32076 0 1 0 818 18 0 0 18 0 16 0 13927467 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=1.43 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 16259 0 0 0 135 8 0 0 16 0 16 0 13927468 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=1.41 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 15910 0 0 0 134 7 0 0 16 0 16 0 13927468 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 13927470 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 65429 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 ################ # More data... # ################ /proc/14518/statm: 384234 108343 1448 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.36 /proc/14518/task/14520/stat : 14520 (java) S 14516 14518 13973 0 -1 4202560 32081 0 1 0 818 18 0 0 15 0 16 0 13927467 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=6.31 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 42729 0 0 0 602 29 0 0 16 0 16 0 13927468 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=6.33 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 39807 0 0 0 606 27 0 0 16 0 16 0 13927468 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=5.19 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 5503 0 0 0 509 10 0 0 15 0 16 0 13927470 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13927475 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536936 CPUtime=2.18 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2200 0 0 0 218 0 0 0 15 0 16 0 13927475 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536936 CPUtime=2.49 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 2088 0 0 0 249 0 0 0 15 0 16 0 13927475 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 13927475 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 16 0 13927475 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14533] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14533/stat : 14533 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13928463 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14534] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14534/stat : 14534 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13928464 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14535] ppid=14516 vsize=1536936 CPUtime=731.24 /proc/14518/task/14535/stat : 14535 (java) R 14516 14518 13973 0 -1 4202560 149 0 0 0 73099 25 0 0 25 0 16 0 13928757 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4109345556 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14518/tid=14536] ppid=14516 vsize=1536936 CPUtime=735.07 /proc/14518/task/14536/stat : 14536 (java) R 14516 14518 13973 0 -1 4202560 928 0 0 0 73499 8 0 0 25 0 16 0 13928757 1573822464 108343 1992294400 134512640 134550932 4288510432 18446744073709551615 4109493823 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1499.43 Current children cumulated vsize (KiB) 1536936 [startup+822.302 s] /proc/loadavg: 2.10 1.99 1.60 3/122 14565 /proc/meminfo: memFree=1336024/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536936 CPUtime=1617.47 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 131067 0 1 0 161618 129 0 0 15 0 16 0 13927465 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384234 110078 1448 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.36 /proc/14518/task/14520/stat : 14520 (java) S 14516 14518 13973 0 -1 4202560 32082 0 1 0 818 18 0 0 15 0 16 0 13927467 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=6.76 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 43551 0 0 0 645 31 0 0 16 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=6.76 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 40746 0 0 0 648 28 0 0 15 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=6.31 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 8047 0 0 0 620 11 0 0 15 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536936 CPUtime=2.18 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2200 0 0 0 218 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536936 CPUtime=2.49 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 2088 0 0 0 249 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14533] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14533/stat : 14533 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13928463 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14534] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14534/stat : 14534 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13928464 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14535] ppid=14516 vsize=1536936 CPUtime=789.47 /proc/14518/task/14535/stat : 14535 (java) R 14516 14518 13973 0 -1 4202560 164 0 0 0 78920 27 0 0 25 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109798003 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14518/tid=14536] ppid=14516 vsize=1536936 CPUtime=792.87 /proc/14518/task/14536/stat : 14536 (java) R 14516 14518 13973 0 -1 4202560 1020 0 0 0 79278 9 0 0 25 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109494313 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1617.47 Current children cumulated vsize (KiB) 1536936 [startup+882.302 s] /proc/loadavg: 2.15 2.02 1.63 3/122 14567 /proc/meminfo: memFree=1336024/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536936 CPUtime=1736.52 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 131196 0 1 0 173518 134 0 0 15 0 16 0 13927465 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384234 110078 1448 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.36 /proc/14518/task/14520/stat : 14520 (java) S 14516 14518 13973 0 -1 4202560 32082 0 1 0 818 18 0 0 15 0 16 0 13927467 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=7.2 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 43551 0 0 0 689 31 0 0 16 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=7.2 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 40746 0 0 0 692 28 0 0 16 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=6.36 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 8051 0 0 0 624 12 0 0 15 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536936 CPUtime=2.18 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2200 0 0 0 218 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536936 CPUtime=2.49 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 2088 0 0 0 249 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536936 CPUtime=0.01 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 51 0 0 0 1 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14533] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14533/stat : 14533 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13928463 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14534] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14534/stat : 14534 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13928464 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14535] ppid=14516 vsize=1536936 CPUtime=848.38 /proc/14518/task/14535/stat : 14535 (java) R 14516 14518 13973 0 -1 4202560 185 0 0 0 84809 29 0 0 21 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109704876 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14518/tid=14536] ppid=14516 vsize=1536936 CPUtime=852.08 /proc/14518/task/14536/stat : 14536 (java) R 14516 14518 13973 0 -1 4202560 1120 0 0 0 85198 10 0 0 25 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109494129 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1736.52 Current children cumulated vsize (KiB) 1536936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.301 s] /proc/loadavg: 2.08 2.01 1.64 4/122 14569 /proc/meminfo: memFree=1336024/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=1536936 CPUtime=1800.07 /proc/14518/stat : 14518 (java) S 14516 14518 13973 0 -1 4202496 131255 0 1 0 179870 137 0 0 15 0 16 0 13927465 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 384234 110078 1448 10 0 381537 0 [pid=14518/tid=14520] ppid=14516 vsize=1536936 CPUtime=8.36 /proc/14518/task/14520/stat : 14520 (java) S 14516 14518 13973 0 -1 4202560 32082 0 1 0 818 18 0 0 15 0 16 0 13927467 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14521] ppid=14516 vsize=1536936 CPUtime=7.45 /proc/14518/task/14521/stat : 14521 (java) S 14516 14518 13973 0 -1 4202560 43551 0 0 0 714 31 0 0 15 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14522] ppid=14516 vsize=1536936 CPUtime=7.45 /proc/14518/task/14522/stat : 14522 (java) S 14516 14518 13973 0 -1 4202560 40746 0 0 0 716 29 0 0 16 0 16 0 13927468 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14523] ppid=14516 vsize=1536936 CPUtime=6.38 /proc/14518/task/14523/stat : 14523 (java) S 14516 14518 13973 0 -1 4202560 8053 0 0 0 625 13 0 0 15 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 0 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14524] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14524/stat : 14524 (java) S 14516 14518 13973 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14525] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14525/stat : 14525 (java) S 14516 14518 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13927470 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14526] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14526/stat : 14526 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14527] ppid=14516 vsize=1536936 CPUtime=2.18 /proc/14518/task/14527/stat : 14527 (java) S 14516 14518 13973 0 -1 4202560 2200 0 0 0 218 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14528] ppid=14516 vsize=1536936 CPUtime=2.49 /proc/14518/task/14528/stat : 14528 (java) S 14516 14518 13973 0 -1 4202560 2088 0 0 0 249 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14529] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14529/stat : 14529 (java) S 14516 14518 13973 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14530] ppid=14516 vsize=1536936 CPUtime=0.01 /proc/14518/task/14530/stat : 14530 (java) S 14516 14518 13973 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 16 0 13927475 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14533] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14533/stat : 14533 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13928463 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 0 0 0 0 [pid=14518/tid=14534] ppid=14516 vsize=1536936 CPUtime=0 /proc/14518/task/14534/stat : 14534 (java) S 14516 14518 13973 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 13928464 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4294960144 0 4 0 16800975 18446604437838452608 0 0 -1 1 0 0 0 [pid=14518/tid=14535] ppid=14516 vsize=1536936 CPUtime=879.83 /proc/14518/task/14535/stat : 14535 (java) R 14516 14518 13973 0 -1 4202560 195 0 0 0 87953 30 0 0 25 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109685444 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14518/tid=14536] ppid=14516 vsize=1536936 CPUtime=883.66 /proc/14518/task/14536/stat : 14536 (java) R 14516 14518 13973 0 -1 4202560 1165 0 0 0 88356 10 0 0 25 0 16 0 13928757 1573822464 110078 1992294400 134512640 134550932 4288510432 18446744073709551615 4109406184 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1536936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+914.602 s] /proc/loadavg: 2.08 2.01 1.64 4/122 14569 /proc/meminfo: memFree=1336024/2059040 swapFree=4136696/4192956 [pid=14518] ppid=14516 vsize=0 CPUtime=1800.62 /proc/14518/stat : 14518 (java) Z 14516 14518 13973 0 -1 4203548 131275 0 1 0 179922 140 0 0 15 0 2 0 13927465 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14518/statm: 0 0 0 0 0 0 0 [pid=14518/tid=14536] ppid=14516 vsize=0 CPUtime=883.75 /proc/14518/task/14536/stat : 14536 (java) R 14516 14518 13973 0 -1 4203588 1165 0 0 0 88362 13 0 0 25 0 2 0 13928757 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.62 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 914.618 CPU time (s): 1800.64 CPU user time (s): 1799.22 CPU system time (s): 1.41778 CPU usage (%): 196.874 Max. virtual memory (cumulated for all children) (KiB): 1542064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.41778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131275 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= 35690 involuntary context switches= 56521 runsolver used 4.5843 second user time and 7.07892 second system time The end
Begin job on node012 at 2010-06-13 00:54:19 IDJOB=2662362 IDBENCH=1974 IDSOLVER=1166 FILE ID=node012/2662362-1276383258 PBS_JOBID= 11173232 Free space on /tmp= 62392 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_10.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-2662362-1276383258/watcher-2662362-1276383258 -o /tmp/evaluation-result-2662362-1276383258/solver-2662362-1276383258 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662362-1276383258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5 RANDOM SEED=1405815970 node012.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1774516 kB Buffers: 61840 kB Cached: 136764 kB SwapCached: 16480 kB Active: 127392 kB Inactive: 90940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1774516 kB SwapTotal: 4192956 kB SwapFree: 4136696 kB Dirty: 17240 kB Writeback: 0 kB AnonPages: 10964 kB Mapped: 9264 kB Slab: 44388 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181320 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= 62392 MiB End job on node012 at 2010-06-13 01:09:35