| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 891 | 1800.51 | 1798.08 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
| MD5SUM | 6389567e651775a5f815611581d2023e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 557 |
| Best CPU time to get the best result obtained on this benchmark | 1802.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 474 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494177 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494177 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 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.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-2659004-1276383863.opb 0.23/0.21 c reading problem ... 8.89/7.53 c ... done. Wall clock time 7.323s. 8.89/7.53 c #vars 10000 8.89/7.53 c #constraints 656900 8.89/7.53 c constraints type 8.89/7.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 8.89/7.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 10.72/8.59 c SATISFIABLE 10.72/8.60 c OPTIMIZING... 10.72/8.60 c Got one! Elapsed wall clock time (in seconds):8.39 10.72/8.60 o 891 98.47/95.99 c cleaning 2490 clauses out of 5000 with flag 5000/5000 210.87/208.28 c cleaning 4249 clauses out of 8510 with flag 11000/11000 333.96/331.31 c cleaning 5603 clauses out of 11261 with flag 18000/18000 446.83/444.25 c cleaning 6822 clauses out of 13658 with flag 26000/26000 598.79/596.30 c cleaning 7914 clauses out of 15838 with flag 35002/35002 770.91/768.43 c cleaning 8959 clauses out of 17924 with flag 45002/45002 971.05/968.63 c cleaning 9969 clauses out of 19964 with flag 56001/56001 1170.19/1167.81 c cleaning 10984 clauses out of 21996 with flag 68002/68002 1405.71/1403.46 c cleaning 11978 clauses out of 24010 with flag 81000/81000 1586.57/1584.38 c cleaning 13011 clauses out of 26032 with flag 95000/95000 1782.72/1780.58 c cleaning 13985 clauses out of 28021 with flag 110000/110000 1800.03/1797.82 c starts : 92 1800.03/1797.82 c conflicts : 112256 1800.03/1797.82 c decisions : 638571 1800.03/1797.82 c propagations : 60229869 1800.03/1797.82 c inspects : 33660850 1800.03/1797.82 c learnt literals : 0 1800.03/1797.82 c learnt binary clauses : 0 1800.03/1797.82 c learnt ternary clauses : 0 1800.03/1797.82 c learnt clauses : 112255 1800.03/1797.82 c ignored clauses : 0 1800.03/1797.82 c root simplifications : 0 1800.03/1797.82 c removed literals (reason simplification) : 8384590 1800.03/1797.82 c reason swapping (by a shorter reason) : 0 1800.03/1797.82 c Calls to reduceDB : 11 1800.03/1797.82 c number of reductions to clauses (during analyze) : 0 1800.03/1797.82 c number of learned constraints concerned by reduction : 0 1800.03/1797.82 c number of learning phase by resolution : 0 1800.03/1797.82 c number of learning phase by cutting planes : 0 1800.03/1797.82 c speed (assignments/second) : 33665.12379491674 1800.03/1797.82 c non guided choices 299 1800.03/1797.86 c learnt constraints type 1800.03/1797.86 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16294 1800.03/1797.86 c constraints type 1800.03/1797.86 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.03/1797.86 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.03/1797.86 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.03/1797.86 s SATISFIABLE 1800.23/1797.94 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.41/1798.01 c objective function=891 1800.41/1798.01 c Total wall clock time (in seconds): 1797.81
OK 891
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659004-1276383863/watcher-2659004-1276383863 -o /tmp/evaluation-result-2659004-1276383863/solver-2659004-1276383863 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659004-1276383863.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16926 /proc/meminfo: memFree=1806156/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1832 CPUtime=0 /proc/16926/stat : 16926 (java6) S 16924 16926 16403 0 -1 4194304 251 0 0 0 0 0 0 0 19 0 1 0 13988002 1875968 153 1992294400 134512640 134550932 4291483584 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0 /proc/16926/statm: 458 153 116 10 0 63 0 [startup+0.0169619 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16926 /proc/meminfo: memFree=1806156/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=13480 CPUtime=0 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 1113 0 0 0 0 0 0 0 18 0 2 0 13988002 13803520 583 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 3370 583 265 10 0 1204 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13480 [startup+0.101962 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16926 /proc/meminfo: memFree=1806156/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1524184 CPUtime=0.08 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 3966 0 1 0 6 2 0 0 18 0 12 0 13988002 1560764416 3405 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 381046 3406 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.300962 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16926 /proc/meminfo: memFree=1806156/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1526384 CPUtime=0.38 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 5395 0 1 0 34 4 0 0 18 0 12 0 13988002 1563017216 4832 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 381596 4832 1361 10 0 378898 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526384 [startup+0.701961 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16926 /proc/meminfo: memFree=1806156/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1529556 CPUtime=1.17 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 7833 0 1 0 113 4 0 0 18 0 12 0 13988002 1566265344 7270 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382389 7271 1397 10 0 379691 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 1529556 [startup+1.50096 s] /proc/loadavg: 1.00 1.00 1.00 2/118 16938 /proc/meminfo: memFree=1767124/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1529420 CPUtime=2.23 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 25308 0 1 0 210 13 0 0 18 0 12 0 13988002 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382355 24517 1405 10 0 379657 0 [pid=16926/tid=16928] ppid=16924 vsize=1529420 CPUtime=1.46 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 22590 0 1 0 135 11 0 0 19 0 12 0 13988003 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4109361551 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 13988005 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 13988005 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 13988006 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 13988007 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 13988007 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1529420 CPUtime=0.41 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 639 0 0 0 41 0 0 0 25 0 12 0 13988011 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1529420 CPUtime=0.33 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1011 0 0 0 33 0 0 0 25 0 12 0 13988011 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13988011 1566126080 24517 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 1529420 [startup+3.10096 s] /proc/loadavg: 1.00 1.00 1.00 2/118 16938 /proc/meminfo: memFree=1669040/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1529420 CPUtime=3.91 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 38831 0 1 0 373 18 0 0 18 0 12 0 13988002 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382355 38019 1415 10 0 379657 0 [pid=16926/tid=16928] ppid=16924 vsize=1529420 CPUtime=2.97 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32031 0 1 0 282 15 0 0 22 0 12 0 13988003 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4109289748 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1529420 CPUtime=0.07 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 2057 0 0 0 7 0 0 0 18 0 12 0 13988005 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1529420 CPUtime=0.07 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 2020 0 0 0 7 0 0 0 16 0 12 0 13988005 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 12 0 13988006 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 13988007 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13988007 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1529420 CPUtime=0.41 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 639 0 0 0 41 0 0 0 25 0 12 0 13988011 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1529420 CPUtime=0.33 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1011 0 0 0 33 0 0 0 25 0 12 0 13988011 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13988011 1566126080 38019 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 1529420 [startup+6.30195 s] /proc/loadavg: 1.00 1.00 1.00 2/118 16938 /proc/meminfo: memFree=1633576/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1529420 CPUtime=7.46 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 46784 0 1 0 724 22 0 0 18 0 12 0 13988002 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382355 45767 1415 10 0 379657 0 [pid=16926/tid=16928] ppid=16924 vsize=1529420 CPUtime=5.82 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32037 0 1 0 566 16 0 0 25 0 12 0 13988003 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4109461921 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1529420 CPUtime=0.43 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 6028 0 0 0 41 2 0 0 16 0 12 0 13988005 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1529420 CPUtime=0.43 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 5990 0 0 0 41 2 0 0 16 0 12 0 13988005 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 12 0 13988006 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 13988007 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13988007 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1529420 CPUtime=0.41 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 639 0 0 0 41 0 0 0 25 0 12 0 13988011 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1529420 CPUtime=0.33 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1011 0 0 0 33 0 0 0 18 0 12 0 13988011 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13988011 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1529420 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13988011 1566126080 45767 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.46 Current children cumulated vsize (KiB) 1529420 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16939 /proc/meminfo: memFree=1617324/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1530376 CPUtime=15.29 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 50126 0 1 0 1505 24 0 0 18 0 13 0 13988002 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 48251 1440 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=11.57 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32092 0 1 0 1141 16 0 0 25 0 13 0 13988003 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4109686154 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.64 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 7543 0 0 0 61 3 0 0 16 0 13 0 13988005 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.64 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 6694 0 0 0 62 2 0 0 16 0 13 0 13988005 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 13 0 13988006 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1530376 CPUtime=1.16 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1147 0 0 0 116 0 0 0 15 0 13 0 13988011 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1530376 CPUtime=1.23 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1567 0 0 0 123 0 0 0 15 0 13 0 13988011 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 13988011 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13988791 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.29 Current children cumulated vsize (KiB) 1530376 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16939 /proc/meminfo: memFree=1617324/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1530376 CPUtime=28.09 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 50126 0 1 0 2785 24 0 0 18 0 13 0 13988002 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 48251 1440 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=24.37 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32092 0 1 0 2421 16 0 0 25 0 13 0 13988003 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4109652114 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.64 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 7543 0 0 0 61 3 0 0 16 0 13 0 13988005 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.64 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 6694 0 0 0 62 2 0 0 16 0 13 0 13988005 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 13 0 13988006 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 48251 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 ################ # More data... # ################ [pid=16926] ppid=16924 vsize=1530376 CPUtime=1664.56 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 55910 0 1 0 166425 31 0 0 18 0 13 0 13988002 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 53810 1445 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=1657.32 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32102 0 1 0 165712 20 0 0 25 0 13 0 13988003 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4109771852 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.83 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 8991 0 0 0 79 4 0 0 15 0 13 0 13988005 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.83 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 7870 0 0 0 80 3 0 0 16 0 13 0 13988005 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=2.91 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 3044 0 0 0 290 1 0 0 15 0 13 0 13988006 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1530376 CPUtime=1.23 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1154 0 0 0 123 0 0 0 16 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1530376 CPUtime=1.38 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1587 0 0 0 138 0 0 0 15 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13988791 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1664.56 Current children cumulated vsize (KiB) 1530376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16988 /proc/meminfo: memFree=1594012/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1530376 CPUtime=1724.54 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 55914 0 1 0 172423 31 0 0 18 0 13 0 13988002 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 53810 1445 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=1717.3 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32102 0 1 0 171710 20 0 0 25 0 13 0 13988003 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4109652142 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.83 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 8991 0 0 0 79 4 0 0 15 0 13 0 13988005 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.83 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 7870 0 0 0 80 3 0 0 16 0 13 0 13988005 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=2.91 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 3044 0 0 0 290 1 0 0 15 0 13 0 13988006 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1530376 CPUtime=1.23 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1154 0 0 0 123 0 0 0 16 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1530376 CPUtime=1.38 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1587 0 0 0 138 0 0 0 15 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 13 0 13988011 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13988791 1567105024 53810 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1724.54 Current children cumulated vsize (KiB) 1530376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16988 /proc/meminfo: memFree=1593020/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1530376 CPUtime=1784.53 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 56109 0 1 0 178422 31 0 0 18 0 13 0 13988002 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 54000 1445 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=1776.97 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32103 0 1 0 177677 20 0 0 19 0 13 0 13988003 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4109755702 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.85 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 8991 0 0 0 81 4 0 0 15 0 13 0 13988005 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.84 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 7870 0 0 0 81 3 0 0 16 0 13 0 13988005 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=3.2 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 3236 0 0 0 319 1 0 0 15 0 13 0 13988006 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1530376 CPUtime=1.23 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1154 0 0 0 123 0 0 0 16 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1530376 CPUtime=1.38 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1587 0 0 0 138 0 0 0 15 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13988791 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (KiB) 1530376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.8 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16990 /proc/meminfo: memFree=1593020/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1530376 CPUtime=1800.03 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 56111 0 1 0 179972 31 0 0 18 0 13 0 13988002 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382594 54000 1445 10 0 379896 0 [pid=16926/tid=16928] ppid=16924 vsize=1530376 CPUtime=1792.47 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32103 0 1 0 179227 20 0 0 25 0 13 0 13988003 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4109771828 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1530376 CPUtime=0.85 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 8991 0 0 0 81 4 0 0 15 0 13 0 13988005 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1530376 CPUtime=0.84 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 7870 0 0 0 81 3 0 0 16 0 13 0 13988005 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1530376 CPUtime=3.2 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 3236 0 0 0 319 1 0 0 15 0 13 0 13988006 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13988007 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1530376 CPUtime=1.23 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1154 0 0 0 123 0 0 0 16 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1530376 CPUtime=1.38 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1587 0 0 0 138 0 0 0 15 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 13988011 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1530376 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13988791 1567105024 54000 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1530376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.01 s] /proc/loadavg: 1.00 1.00 1.00 2/119 16990 /proc/meminfo: memFree=1593020/2059040 swapFree=4136168/4192956 [pid=16926] ppid=16924 vsize=1531024 CPUtime=1800.41 /proc/16926/stat : 16926 (java) S 16924 16926 16403 0 -1 4202496 56134 0 1 0 180010 31 0 0 18 0 15 0 13988002 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16926/statm: 382756 54020 1447 10 0 380058 0 [pid=16926/tid=16928] ppid=16924 vsize=1531024 CPUtime=1792.66 /proc/16926/task/16928/stat : 16928 (java) R 16924 16926 16403 0 -1 4202560 32103 0 1 0 179246 20 0 0 25 0 15 0 13988003 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4109757030 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16926/tid=16929] ppid=16924 vsize=1531024 CPUtime=0.85 /proc/16926/task/16929/stat : 16929 (java) S 16924 16926 16403 0 -1 4202560 8991 0 0 0 81 4 0 0 15 0 15 0 13988005 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16930] ppid=16924 vsize=1531024 CPUtime=0.84 /proc/16926/task/16930/stat : 16930 (java) S 16924 16926 16403 0 -1 4202560 7870 0 0 0 81 3 0 0 16 0 15 0 13988005 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16931] ppid=16924 vsize=1531024 CPUtime=3.2 /proc/16926/task/16931/stat : 16931 (java) S 16924 16926 16403 0 -1 4202560 3236 0 0 0 319 1 0 0 16 0 15 0 13988006 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 0 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16932] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16932/stat : 16932 (java) S 16924 16926 16403 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 15 0 13988007 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16933] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16933/stat : 16933 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 13988007 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16934] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16934/stat : 16934 (java) S 16924 16926 16403 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 13988011 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16935] ppid=16924 vsize=1531024 CPUtime=1.36 /proc/16926/task/16935/stat : 16935 (java) S 16924 16926 16403 0 -1 4202560 1154 0 0 0 136 0 0 0 15 0 15 0 13988011 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16936] ppid=16924 vsize=1531024 CPUtime=1.39 /proc/16926/task/16936/stat : 16936 (java) S 16924 16926 16403 0 -1 4202560 1590 0 0 0 139 0 0 0 15 0 15 0 13988011 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 1 0 0 0 [pid=16926/tid=16937] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16937/stat : 16937 (java) S 16924 16926 16403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 13988011 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16938] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16938/stat : 16938 (java) S 16924 16926 16403 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 15 0 13988011 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 [pid=16926/tid=16939] ppid=16924 vsize=1531024 CPUtime=0 /proc/16926/task/16939/stat : 16939 (java) S 16924 16926 16403 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 13988791 1567768576 54020 1992294400 134512640 134550932 4292636656 18446744073709551615 4294960144 0 4 0 16800975 18446604437869761664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 1531024 Child status: 143 Real time (s): 1798.08 CPU time (s): 1800.51 CPU user time (s): 1800.17 CPU system time (s): 0.337948 CPU usage (%): 100.135 Max. virtual memory (cumulated for all children) (KiB): 1531028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.17 system time used= 0.337948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56138 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= 36912 involuntary context switches= 14491 runsolver used 3.69244 second user time and 9.45356 second system time The end
Begin job on node011 at 2010-06-13 01:04:24 IDJOB=2659004 IDBENCH=1975 IDSOLVER=1164 FILE ID=node011/2659004-1276383863 PBS_JOBID= 11173233 Free space on /tmp= 62248 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659004-1276383863/watcher-2659004-1276383863 -o /tmp/evaluation-result-2659004-1276383863/solver-2659004-1276383863 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659004-1276383863.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED=1672220951 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806428 kB Buffers: 57716 kB Cached: 131720 kB SwapCached: 11032 kB Active: 107292 kB Inactive: 95648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806428 kB SwapTotal: 4192956 kB SwapFree: 4136168 kB Dirty: 17172 kB Writeback: 4 kB AnonPages: 10636 kB Mapped: 9156 kB Slab: 27684 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180056 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62248 MiB End job on node011 at 2010-06-13 01:34:24