Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB09: SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 630323063039999996 | 1800.04 | 1796.46 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb |
| MD5SUM | 719fde9b23d3f6b632131842d6adb45e |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 622354759199999996 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 172784353600000000 |
| Number of bits for the biggest coefficient in the objective function | 58 |
| Sum of the numbers in the objective function | 486507432685759999927 |
| Number of bits of the sum of numbers in the objective function | 69 |
| Biggest number in a constraint | 172784353600000000 |
| Number of bits of the biggest number in a constraint | 58 |
| Biggest sum of numbers in a constraint | 486507432685759999927 |
| Number of bits of the biggest sum of numbers | 69 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.1.1.v20090612 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 1299577560 0.03/0.09 c Max memory 1306394624 0.03/0.09 c Total memory 1306394624 0.03/0.09 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@6abf2d5e 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.12 c Expensive reason simplification 0.07/0.12 c MiniSAT restarts strategy 0.07/0.12 c Memory based learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3741588-1338774913.opb 0.07/0.12 c reading problem ... 1.48/0.97 c ... done. Wall clock time 0.844s. 1.48/0.97 c #vars 10894 1.48/0.97 c #constraints 825 1.48/0.97 c constraints type 1.48/0.97 c org.sat4j.minisat.constraints.card.MinWatchCard => 624 1.48/0.97 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 1.48/0.97 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 17 1.48/0.97 c org.sat4j.pb.constraints.pb.MaxWatchPb => 181 3.04/1.94 c SATISFIABLE 3.04/1.94 c OPTIMIZING... 3.04/1.94 c Got one! Elapsed wall clock time (in seconds):1.822 3.04/1.94 o 738615357599999997 3.85/2.59 c Got one! Elapsed wall clock time (in seconds):2.464 3.85/2.59 o 662708050079999997 4.49/3.16 c Got one! Elapsed wall clock time (in seconds):3.034 4.49/3.16 o 655774095839999995 5.09/3.71 c Got one! Elapsed wall clock time (in seconds):3.589 5.09/3.71 o 634188775199999996 5.60/4.26 c Got one! Elapsed wall clock time (in seconds):4.141 5.60/4.26 o 633524880959999996 6.30/4.84 c Got one! Elapsed wall clock time (in seconds):4.72 6.30/4.84 o 630323063039999996 1800.04/1796.41 c starts : 18 1800.04/1796.41 c conflicts : 22796 1800.04/1796.41 c decisions : 423451 1800.04/1796.41 c propagations : 16743387 1800.04/1796.41 c inspects : 388782257 1800.04/1796.41 c learnt literals : 0 1800.04/1796.41 c learnt binary clauses : 0 1800.04/1796.41 c learnt ternary clauses : 0 1800.04/1796.41 c learnt clauses : 22795 1800.04/1796.41 c ignored clauses : 0 1800.04/1796.41 c root simplifications : 0 1800.04/1796.41 c removed literals (reason simplification) : 6764907 1800.04/1796.41 c reason swapping (by a shorter reason) : 0 1800.04/1796.41 c Calls to reduceDB : 0 1800.04/1796.41 c speed (assignments/second) : 9345.702627877381 1800.04/1796.41 c non guided choices 0 1800.04/1796.42 c learnt constraints type 1800.04/1796.42 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 22795 1800.04/1796.42 c constraints type 1800.04/1796.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 624 1800.04/1796.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 1800.04/1796.42 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 17 1800.04/1796.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 182 1800.04/1796.42 s SATISFIABLE 1800.04/1796.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 x9824 -x9825 -x9826 -x9827 x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -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 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 1800.04/1796.45 c objective function=630323063039999996 1800.04/1796.45 c Total wall clock time (in seconds): 1796.326
OK 630323063039999996
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741588-1338774913/watcher-3741588-1338774913 -o /tmp/evaluation-result-3741588-1338774913/solver-3741588-1338774913 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741588-1338774913.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/192 18634 /proc/meminfo: memFree=28173816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/18634/stat : 18634 (java6) D 18632 18634 14627 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 343619764 9515008 182 33554432000 1073741824 1073778376 140736621148784 140736621139816 226329706165 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/18634/statm: 2323 182 140 9 0 71 0 [startup+0.0639021 s] /proc/loadavg: 1.92 1.98 1.99 3/192 18634 /proc/meminfo: memFree=28173816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2315716 CPUtime=0.03 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 3699 0 1 0 3 0 0 0 20 0 13 0 343619764 2371293184 4907 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 578929 4907 1708 9 0 569630 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2315716 [startup+0.100269 s] /proc/loadavg: 1.92 1.98 1.99 3/192 18634 /proc/meminfo: memFree=28173816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2648568 CPUtime=0.07 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 4071 0 1 0 7 0 0 0 20 0 18 0 343619764 2712133632 5790 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 662142 5790 1933 9 0 652835 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2648568 [startup+0.300221 s] /proc/loadavg: 1.92 1.98 1.99 3/192 18634 /proc/meminfo: memFree=28173816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2648828 CPUtime=0.48 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 6626 0 1 0 47 1 0 0 20 0 18 0 343619764 2712399872 10710 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 662207 10710 2214 9 0 652900 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 2648828 [startup+0.700227 s] /proc/loadavg: 1.92 1.98 1.99 3/192 18634 /proc/meminfo: memFree=28173816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2648568 CPUtime=1.27 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 15459 0 1 0 124 3 0 0 20 0 18 0 343619764 2712133632 38430 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 662142 38430 2219 9 0 652835 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 2648568 [startup+1.50066 s] /proc/loadavg: 1.92 1.98 1.99 5/210 18652 /proc/meminfo: memFree=27892132/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=2.46 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 16253 0 1 0 240 6 0 0 20 0 19 0 343619764 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 85109 2248 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=1.46 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 2906 0 1 0 142 4 0 0 20 0 19 0 343619766 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690469097896 139690338542445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343619768 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.54 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) R 18632 18634 14627 0 -1 4202560 7682 0 0 0 54 0 0 0 20 0 19 0 343619772 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689841346744 139690475303392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.43 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) R 18632 18634 14627 0 -1 4202560 4472 0 0 0 41 2 0 0 20 0 19 0 343619772 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689840293944 139690475446097 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 85109 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 2715132 [startup+3.10069 s] /proc/loadavg: 1.92 1.98 1.99 4/211 18653 /proc/meminfo: memFree=27766816/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=4.49 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 16358 0 1 0 439 10 0 0 20 0 19 0 343619764 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 103567 2266 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=3.01 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 2932 0 1 0 296 5 0 0 20 0 19 0 343619766 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690469097832 139690339266644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0.03 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0.01 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619767 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343619768 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.69 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7685 0 0 0 69 0 0 0 20 0 19 0 343619772 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.59 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4472 0 0 0 57 2 0 0 20 0 19 0 343619772 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 103567 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 2715132 [startup+6.30069 s] /proc/loadavg: 1.93 1.98 1.99 3/211 18653 /proc/meminfo: memFree=27736412/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=7.82 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 16430 0 1 0 768 14 0 0 20 0 19 0 343619764 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 111094 2268 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=6.17 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 2935 0 1 0 612 5 0 0 20 0 19 0 343619766 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690469095904 139690338919538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0.01 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0.04 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0.02 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0.06 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0.01 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0.02 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0.01 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0.01 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 343619767 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343619768 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.7 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7685 0 0 0 70 0 0 0 20 0 19 0 343619772 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.61 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4474 0 0 0 59 2 0 0 20 0 19 0 343619772 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 111094 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.82 Current children cumulated vsize (KiB) 2715132 [startup+12.7007 s] /proc/loadavg: 1.93 1.98 1.99 3/211 18653 /proc/meminfo: memFree=27734132/32873844 swapFree=6088/6088 ################ # More data... # ################ [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7703 0 0 0 75 0 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.61 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4474 0 0 0 59 2 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 97 0 0 0 24 17 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1665.69 Current children cumulated vsize (KiB) 2715132 [startup+1722.3 s] /proc/loadavg: 2.11 2.03 2.01 3/211 18750 /proc/meminfo: memFree=27204476/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=1725.81 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 16985 0 1 0 172537 44 0 0 20 0 19 0 343619764 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 137819 2268 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=1716.61 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 3107 0 1 0 171629 32 0 0 20 0 19 0 343619766 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690469096832 139690339423755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0.36 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 28 0 0 0 34 2 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0.34 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 39 0 0 0 31 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 47 0 0 0 36 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 49 0 0 0 38 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 36 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0.37 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 32 0 0 0 35 2 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 36 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0.43 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 40 3 0 0 20 0 19 0 343619767 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0.04 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 100 0 0 0 2 2 0 0 20 0 19 0 343619768 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7703 0 0 0 75 0 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.61 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4474 0 0 0 59 2 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0.43 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 99 0 0 0 24 19 0 0 20 0 19 0 343619772 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 137819 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1725.81 Current children cumulated vsize (KiB) 2715132 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 2.00 3/211 18750 /proc/meminfo: memFree=27159172/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=1785.93 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 17002 0 1 0 178548 45 0 0 20 0 19 0 343619764 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 137820 2268 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=1776.39 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 3115 0 1 0 177606 33 0 0 20 0 19 0 343619766 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690469096784 139690339209741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 28 0 0 0 37 2 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0.36 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 40 0 0 0 33 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 47 0 0 0 39 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 49 0 0 0 39 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 38 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 32 0 0 0 37 2 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 38 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0.45 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 42 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0.04 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 104 0 0 0 2 2 0 0 20 0 19 0 343619768 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7703 0 0 0 75 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.61 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4474 0 0 0 59 2 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0.44 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 103 0 0 0 25 19 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.93 Current children cumulated vsize (KiB) 2715132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.4 s] /proc/loadavg: 2.03 2.02 2.00 4/211 18750 /proc/meminfo: memFree=27159172/32873844 swapFree=6088/6088 [pid=18634] ppid=18632 vsize=2715132 CPUtime=1800.04 cores=0,2,4,6 /proc/18634/stat : 18634 (java) S 18632 18634 14627 0 -1 4202496 17004 0 1 0 179959 45 0 0 20 0 19 0 343619764 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 140733764690720 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/18634/statm: 678783 137820 2268 9 0 669476 0 [pid=18634/tid=18636] ppid=18632 vsize=2715132 CPUtime=1790.45 cores=0,2,4,6 /proc/18634/task/18636/stat : 18636 (java) R 18632 18634 14627 0 -1 4202560 3117 0 1 0 179012 33 0 0 20 0 19 0 343619766 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690469096864 139690339266309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18637] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18637/stat : 18637 (java) S 18632 18634 14627 0 -1 4202560 28 0 0 0 37 2 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690335578920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18638] ppid=18632 vsize=2715132 CPUtime=0.36 cores=0,2,4,6 /proc/18634/task/18638/stat : 18638 (java) S 18632 18634 14627 0 -1 4202560 40 0 0 0 33 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690334526120 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18639] ppid=18632 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/18634/task/18639/stat : 18639 (java) S 18632 18634 14627 0 -1 4202560 47 0 0 0 39 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690333473832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18640] ppid=18632 vsize=2715132 CPUtime=0.42 cores=0,2,4,6 /proc/18634/task/18640/stat : 18640 (java) S 18632 18634 14627 0 -1 4202560 49 0 0 0 39 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690332421032 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18641] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18641/stat : 18641 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 38 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690331367720 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18642] ppid=18632 vsize=2715132 CPUtime=0.39 cores=0,2,4,6 /proc/18634/task/18642/stat : 18642 (java) S 18632 18634 14627 0 -1 4202560 32 0 0 0 37 2 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690330314920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18643] ppid=18632 vsize=2715132 CPUtime=0.41 cores=0,2,4,6 /proc/18634/task/18643/stat : 18643 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 38 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690329262632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18644] ppid=18632 vsize=2715132 CPUtime=0.45 cores=0,2,4,6 /proc/18634/task/18644/stat : 18644 (java) S 18632 18634 14627 0 -1 4202560 42 0 0 0 42 3 0 0 20 0 19 0 343619767 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139690328209832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18645] ppid=18632 vsize=2715132 CPUtime=0.04 cores=0,2,4,6 /proc/18634/task/18645/stat : 18645 (java) S 18632 18634 14627 0 -1 4202560 104 0 0 0 2 2 0 0 20 0 19 0 343619768 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689845557992 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18646] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18646/stat : 18646 (java) S 18632 18634 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689844504056 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18647] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18647/stat : 18647 (java) S 18632 18634 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343619769 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689843451656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18648] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18648/stat : 18648 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689842400144 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18649] ppid=18632 vsize=2715132 CPUtime=0.75 cores=0,2,4,6 /proc/18634/task/18649/stat : 18649 (java) S 18632 18634 14627 0 -1 4202560 7703 0 0 0 75 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689841346744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18634/tid=18650] ppid=18632 vsize=2715132 CPUtime=0.61 cores=0,2,4,6 /proc/18634/task/18650/stat : 18650 (java) S 18632 18634 14627 0 -1 4202560 4474 0 0 0 59 2 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689840293944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18634/tid=18651] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18651/stat : 18651 (java) S 18632 18634 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689839241848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18634/tid=18652] ppid=18632 vsize=2715132 CPUtime=0.45 cores=0,2,4,6 /proc/18634/task/18652/stat : 18652 (java) S 18632 18634 14627 0 -1 4202560 103 0 0 0 26 19 0 0 20 0 19 0 343619772 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689838189256 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18634/tid=18653] ppid=18632 vsize=2715132 CPUtime=0 cores=0,2,4,6 /proc/18634/task/18653/stat : 18653 (java) S 18632 18634 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343619878 2780295168 137820 33554432000 1073741824 1073778376 140733764699584 139689837135272 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2715132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18634 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=38112 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=921859 # CPU time returned by wait4() is 1795.96 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.46 CPU time (s): 1800.04 CPU user time (s): 1799.59 CPU system time (s): 0.45 CPU usage (%): 100.199 Max. virtual memory (cumulated for all children) (KiB): 2715132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.04 system time used= 0.921859 maximum resident set size= 551468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17054 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43148 involuntary context switches= 23594 runsolver used 5.44117 second user time and 14.2518 second system time The end
Begin job on node110 at 2012-06-04 03:55:13 IDJOB=3741588 IDBENCH=89881 IDSOLVER=2322 FILE ID=node110/3741588-1338774913 RUNJOBID= node110-1338749152-14643 PBS_JOBID= 14636795 Free space on /tmp= 71060 MiB SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741588-1338774913/watcher-3741588-1338774913 -o /tmp/evaluation-result-3741588-1338774913/solver-3741588-1338774913 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741588-1338774913.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 719fde9b23d3f6b632131842d6adb45e RANDOM SEED=1526862716 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28173972 kB Buffers: 905288 kB Cached: 2541968 kB SwapCached: 604 kB Active: 2244176 kB Inactive: 1607104 kB Active(anon): 392112 kB Inactive(anon): 12316 kB Active(file): 1852064 kB Inactive(file): 1594788 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67107364 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 407192 kB Mapped: 19708 kB Shmem: 40 kB Slab: 708412 kB SReclaimable: 150460 kB SUnreclaim: 557952 kB KernelStack: 1592 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1508008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 370688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71068 MiB End job on node110 at 2012-06-04 04:25:12