Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.26 | 1798.1 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo |
| MD5SUM | f7000888ed6726edb3e77162c68c4211 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 1223633 |
| Best CPU time to get the best result obtained on this benchmark | 1800.26 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10200 |
| Total number of constraints | 20300 |
| Number of soft constraints | 20100 |
| Number of constraints which are clauses | 20100 |
| Number of constraints which are cardinality constraints (but not clauses) | 200 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 100 |
| Top cost | 21147472 |
| Min constraint cost | 1 |
| Max constraint cost | 21147472 |
| Sum of constraints costs | 211613168177 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 101 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.07/0.07 c version 2.2.1.v20100705 0.07/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.07 c java.vm.version 11.2-b01 0.07/0.07 c java.vm.vendor Sun Microsystems Inc. 0.07/0.07 c sun.arch.data.model 32 0.07/0.07 c java.version 1.6.0_12 0.07/0.08 c os.name Linux 0.07/0.08 c os.version 2.6.18-164.el5 0.07/0.08 c os.arch i386 0.07/0.08 c Free memory 1393557488 0.07/0.08 c Max memory 1395916800 0.07/0.08 c Total memory 1395916800 0.07/0.08 c Number of processors 8 0.07/0.09 c Pseudo Boolean Optimization 0.07/0.09 c --- Begin Solver configuration --- 0.07/0.09 c Stops conflict analysis at the first Unique Implication Point 0.07/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ef9f1d 0.07/0.09 c Learn all clauses as in MiniSAT 0.07/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.09 c Expensive reason simplification 0.07/0.09 c Armin Biere (Picosat) restarts strategy 0.07/0.09 c Glucose learned constraints deletion strategy 0.07/0.09 c timeout=2147483s 0.07/0.09 c DB Simplification allowed=false 0.07/0.09 c --- End Solver configuration --- 0.07/0.09 c solving HOME/instance-2701154-1278537600.wbo 0.07/0.09 c reading problem ... 1.05/0.56 c ... done. Wall clock time 0.465s. 1.05/0.56 c #vars 30300 1.05/0.56 c #constraints 30501 1.05/0.56 c constraints type 1.05/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10100 1.05/0.56 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1.05/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10300 1.05/0.56 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.56/1.27 c SATISFIABLE 2.56/1.27 c OPTIMIZING... 2.56/1.27 c Got one! Elapsed wall clock time (in seconds):1.171 2.56/1.27 o 1467341 3.44/1.95 c Got one! Elapsed wall clock time (in seconds):1.855 3.44/1.95 o 1396837 4.07/2.48 c Got one! Elapsed wall clock time (in seconds):2.385 4.07/2.48 o 1223633 114.99/113.26 c cleaning 2487 clauses out of 5001 with flag 5001/5001 263.67/261.82 c cleaning 4257 clauses out of 8515 with flag 11002/11002 432.28/430.45 c cleaning 5624 clauses out of 11259 with flag 18003/18003 610.99/609.12 c cleaning 6805 clauses out of 13632 with flag 26000/26000 825.84/823.93 c cleaning 7909 clauses out of 15828 with flag 35001/35001 1096.94/1095.03 c cleaning 8951 clauses out of 17920 with flag 45002/45002 1346.65/1344.70 c cleaning 9959 clauses out of 19968 with flag 56001/56001 1570.19/1568.26 c cleaning 10998 clauses out of 22008 with flag 68000/68000 1800.03/1798.01 c starts : 89 1800.03/1798.01 c conflicts : 78512 1800.03/1798.01 c decisions : 349556 1800.03/1798.01 c propagations : 362711373 1800.03/1798.01 c inspects : 377826140 1800.03/1798.01 c learnt literals : 0 1800.03/1798.01 c learnt binary clauses : 0 1800.03/1798.01 c learnt ternary clauses : 0 1800.03/1798.01 c learnt clauses : 78511 1800.03/1798.01 c ignored clauses : 0 1800.03/1798.01 c root simplifications : 0 1800.03/1798.01 c removed literals (reason simplification) : 7504986 1800.03/1798.01 c reason swapping (by a shorter reason) : 0 1800.03/1798.01 c Calls to reduceDB : 8 1800.03/1798.01 c number of reductions to clauses (during analyze) : 0 1800.03/1798.01 c number of learned constraints concerned by reduction : 0 1800.03/1798.01 c number of learning phase by resolution : 0 1800.03/1798.01 c number of learning phase by cutting planes : 0 1800.03/1798.01 c speed (assignments/second) : 202009.9965915015 1800.03/1798.01 c non guided choices 0 1800.03/1798.02 c learnt constraints type 1800.03/1798.02 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 21521 1800.03/1798.02 c constraints type 1800.03/1798.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10100 1800.03/1798.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1800.03/1798.02 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10300 1800.03/1798.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.03/1798.02 s SATISFIABLE 1800.03/1798.03 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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 1800.03/1798.05 c objective function=1223633 1800.03/1798.05 c Total wall clock time (in seconds): 1797.951
OK 1223633
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701154-1278537600/watcher-2701154-1278537600 -o /tmp/evaluation-result-2701154-1278537600/solver-2701154-1278537600 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701154-1278537600.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/178 17829 /proc/meminfo: memFree=28671860/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=13164 CPUtime=0 /proc/17829/stat : 17829 (java) R 17827 17829 17286 0 -1 4194304 860 0 0 0 0 0 0 0 25 0 1 0 21974124 13479936 389 4089446400 134512640 134550932 4293204032 18446744073709551615 9512581 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17829/statm: 3291 394 144 10 0 1121 0 [startup+0.079372 s] /proc/loadavg: 2.00 2.00 1.91 3/178 17829 /proc/meminfo: memFree=28671860/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1529480 CPUtime=0.07 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 4838 0 1 0 7 0 0 0 25 0 18 0 21974124 1566187520 4275 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 382370 4276 1324 10 0 379673 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1529480 [startup+0.10038 s] /proc/loadavg: 2.00 2.00 1.91 3/178 17829 /proc/meminfo: memFree=28671860/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1529892 CPUtime=0.11 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 5215 0 1 0 11 0 0 0 25 0 18 0 21974124 1566609408 4652 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 382473 4652 1347 10 0 379776 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529892 [startup+0.300353 s] /proc/loadavg: 2.00 2.00 1.91 3/178 17829 /proc/meminfo: memFree=28671860/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1533432 CPUtime=0.61 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 10793 0 1 0 60 1 0 0 25 0 18 0 21974124 1570234368 10024 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 383358 10025 1413 10 0 380661 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 1533432 [startup+0.700288 s] /proc/loadavg: 2.00 2.00 1.91 3/178 17829 /proc/meminfo: memFree=28671860/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1548868 CPUtime=1.62 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 25877 0 1 0 159 3 0 0 25 0 18 0 21974124 1586040832 24023 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387217 24024 1428 10 0 384520 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 1548868 [startup+1.50115 s] /proc/loadavg: 2.00 2.00 1.91 3/197 17848 /proc/meminfo: memFree=28563480/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1548508 CPUtime=3.03 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 38201 0 1 0 298 5 0 0 25 0 19 0 21974124 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387127 35176 1430 10 0 384430 0 [pid=17829/tid=17831] ppid=17827 vsize=1548508 CPUtime=1.48 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 29280 0 1 0 145 3 0 0 19 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4110016632 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 21974125 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 21974126 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 21974127 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 21974127 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1548508 CPUtime=0.77 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5085 0 0 0 77 0 0 0 15 0 19 0 21974129 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1548508 CPUtime=0.76 /proc/17829/task/17845/stat : 17845 (java) R 17827 17829 17286 0 -1 4202560 2761 0 0 0 76 0 0 0 15 0 19 0 21974129 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 103152370 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21974129 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1585672192 35176 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 1548508 [startup+3.10081 s] /proc/loadavg: 2.00 2.00 1.91 5/197 17848 /proc/meminfo: memFree=28513632/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1548508 CPUtime=4.85 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 44032 0 1 0 480 5 0 0 25 0 19 0 21974124 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387127 40908 1441 10 0 384430 0 [pid=17829/tid=17831] ppid=17827 vsize=1548508 CPUtime=3.06 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32088 0 1 0 303 3 0 0 24 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4110157746 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 490 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 806 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 21974126 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1548508 CPUtime=0.84 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5099 0 0 0 84 0 0 0 16 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1548508 CPUtime=0.88 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 2910 0 0 0 88 0 0 0 15 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.85 Current children cumulated vsize (KiB) 1548508 [startup+6.30125 s] /proc/loadavg: 2.00 2.00 1.91 3/197 17848 /proc/meminfo: memFree=28513380/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1548508 CPUtime=8.06 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 44033 0 1 0 801 5 0 0 25 0 19 0 21974124 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387127 40908 1441 10 0 384430 0 [pid=17829/tid=17831] ppid=17827 vsize=1548508 CPUtime=6.26 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32089 0 1 0 623 3 0 0 25 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4109825854 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 490 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 806 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 21974126 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1548508 CPUtime=0.84 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5099 0 0 0 84 0 0 0 15 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1548508 CPUtime=0.89 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 2910 0 0 0 89 0 0 0 15 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21974129 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.06 Current children cumulated vsize (KiB) 1548508 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 1.91 3/197 17848 /proc/meminfo: memFree=28512872/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1548508 CPUtime=14.46 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 44033 0 1 0 1441 5 0 0 25 0 19 0 21974124 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387127 40908 1441 10 0 384430 0 [pid=17829/tid=17831] ppid=17827 vsize=1548508 CPUtime=12.66 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32089 0 1 0 1263 3 0 0 25 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4110187165 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1548508 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 21974125 1585672192 40908 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=17829/tid=17837] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1549532 CPUtime=0.02 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 1603 0 0 0 2 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 640 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1549532 CPUtime=0.27 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 3708 0 0 0 27 0 0 0 15 0 19 0 21974126 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1549532 CPUtime=0.89 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5126 0 0 0 89 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1549532 CPUtime=1 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 3580 0 0 0 100 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1664.32 Current children cumulated vsize (KiB) 1549532 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/197 17922 /proc/meminfo: memFree=28492384/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1549532 CPUtime=1724.32 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 51551 0 1 0 172420 12 0 0 25 0 19 0 21974124 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387383 47901 1446 10 0 384686 0 [pid=17829/tid=17831] ppid=17827 vsize=1549532 CPUtime=1722 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32097 0 1 0 172191 9 0 0 25 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4110187136 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 620 0 0 0 0 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 672 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 799 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 617 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1549532 CPUtime=0.02 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 1603 0 0 0 2 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 640 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1549532 CPUtime=0.27 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 3708 0 0 0 27 0 0 0 15 0 19 0 21974126 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1549532 CPUtime=0.89 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5126 0 0 0 89 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1549532 CPUtime=1 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 3580 0 0 0 100 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1724.32 Current children cumulated vsize (KiB) 1549532 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/197 17924 /proc/meminfo: memFree=28460344/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1549532 CPUtime=1784.32 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 51553 0 1 0 178420 12 0 0 25 0 19 0 21974124 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387383 47901 1446 10 0 384686 0 [pid=17829/tid=17831] ppid=17827 vsize=1549532 CPUtime=1782 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32097 0 1 0 178191 9 0 0 25 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4110181676 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 620 0 0 0 0 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 672 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 799 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 617 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1549532 CPUtime=0.02 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 1603 0 0 0 2 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 640 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1549532 CPUtime=0.27 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 3708 0 0 0 27 0 0 0 15 0 19 0 21974126 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1549532 CPUtime=0.89 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5126 0 0 0 89 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1549532 CPUtime=1 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 3580 0 0 0 100 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1784.32 Current children cumulated vsize (KiB) 1549532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798 s] /proc/loadavg: 2.00 2.00 1.93 3/197 17924 /proc/meminfo: memFree=28458100/32951124 swapFree=67111528/67111528 [pid=17829] ppid=17827 vsize=1549532 CPUtime=1800.03 /proc/17829/stat : 17829 (java) S 17827 17829 17286 0 -1 4202496 51555 0 1 0 179991 12 0 0 25 0 19 0 21974124 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/17829/statm: 387383 47901 1446 10 0 384686 0 [pid=17829/tid=17831] ppid=17827 vsize=1549532 CPUtime=1797.71 /proc/17829/task/17831/stat : 17831 (java) R 17827 17829 17286 0 -1 4202560 32097 0 1 0 179762 9 0 0 25 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4109825831 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=17829/tid=17832] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17832/stat : 17832 (java) S 17827 17829 17286 0 -1 4202560 620 0 0 0 0 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17833] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17833/stat : 17833 (java) S 17827 17829 17286 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17834] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17834/stat : 17834 (java) S 17827 17829 17286 0 -1 4202560 672 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17835] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17835/stat : 17835 (java) S 17827 17829 17286 0 -1 4202560 799 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17836] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17836/stat : 17836 (java) S 17827 17829 17286 0 -1 4202560 617 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17837] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17837/stat : 17837 (java) S 17827 17829 17286 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17838] ppid=17827 vsize=1549532 CPUtime=0.02 /proc/17829/task/17838/stat : 17838 (java) S 17827 17829 17286 0 -1 4202560 1603 0 0 0 2 0 0 0 15 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 4 0 0 0 [pid=17829/tid=17839] ppid=17827 vsize=1549532 CPUtime=0.01 /proc/17829/task/17839/stat : 17839 (java) S 17827 17829 17286 0 -1 4202560 640 0 0 0 1 0 0 0 16 0 19 0 21974125 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17840] ppid=17827 vsize=1549532 CPUtime=0.27 /proc/17829/task/17840/stat : 17840 (java) S 17827 17829 17286 0 -1 4202560 3708 0 0 0 27 0 0 0 15 0 19 0 21974126 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 0 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17841] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17841/stat : 17841 (java) S 17827 17829 17286 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17842] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17842/stat : 17842 (java) S 17827 17829 17286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 21974127 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17843] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17843/stat : 17843 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17844] ppid=17827 vsize=1549532 CPUtime=0.89 /proc/17829/task/17844/stat : 17844 (java) S 17827 17829 17286 0 -1 4202560 5126 0 0 0 89 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 2 0 0 0 [pid=17829/tid=17845] ppid=17827 vsize=1549532 CPUtime=1 /proc/17829/task/17845/stat : 17845 (java) S 17827 17829 17286 0 -1 4202560 3580 0 0 0 100 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 3 0 0 0 [pid=17829/tid=17846] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17846/stat : 17846 (java) S 17827 17829 17286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 6 0 0 0 [pid=17829/tid=17847] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17847/stat : 17847 (java) S 17827 17829 17286 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 21974129 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 [pid=17829/tid=17848] ppid=17827 vsize=1549532 CPUtime=0 /proc/17829/task/17848/stat : 17848 (java) S 17827 17829 17286 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 21974203 1586720768 47901 4089446400 134512640 134550932 4293204032 18446744073709551615 4294960144 0 4 0 16800975 18446604471121518784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1549532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1798.1 CPU time (s): 1800.26 CPU user time (s): 1800.12 CPU system time (s): 0.136979 CPU usage (%): 100.12 Max. virtual memory (cumulated for all children) (KiB): 1551092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 0.136979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51586 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= 36926 involuntary context switches= 31777 runsolver used 3.37849 second user time and 6.43702 second system time The end
Begin job on node105 at 2010-07-07 23:20:00 IDJOB=2701154 IDBENCH=79532 IDSOLVER=1211 FILE ID=node105/2701154-1278537600 PBS_JOBID= 11239267 Free space on /tmp= 73608 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-capmo3_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701154-1278537600/watcher-2701154-1278537600 -o /tmp/evaluation-result-2701154-1278537600/solver-2701154-1278537600 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701154-1278537600.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7000888ed6726edb3e77162c68c4211 RANDOM SEED=1287736303 node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5153.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28672148 kB Buffers: 126572 kB Cached: 2395496 kB SwapCached: 0 kB Active: 2617576 kB Inactive: 1515048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28672148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 800 kB Writeback: 0 kB AnonPages: 1610688 kB Mapped: 15352 kB Slab: 79496 kB PageTables: 7716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1793828 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73604 MiB End job on node105 at 2010-07-07 23:50:00