| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.38 | 1796.34 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo |
| MD5SUM | baac82f1e5c2363a05a67929a02d4991 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT TO |
| Best cost obtained on this benchmark | 61628 |
| Best CPU time to get the best result obtained on this benchmark | 1800.38 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 9502 |
| Total number of constraints | 1168253 |
| Number of soft constraints | 1168001 |
| Number of constraints which are clauses | 1168001 |
| Number of constraints which are cardinality constraints (but not clauses) | 252 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 44 |
| Top cost | 939023 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 296009396 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3493036-1307914143.wbo 0.11/0.11 c reading problem ... 9.12/7.24 c ... done. Wall clock time 7.136s. 9.12/7.24 c #vars 1177503 9.12/7.24 c #constraints 1168506 9.12/7.24 c constraints type 9.12/7.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1134923 9.12/7.25 c org.sat4j.minisat.constraints.card.MinWatchCard => 252 9.12/7.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33330 9.12/7.25 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 997.35/994.80 c SATISFIABLE 997.35/994.80 c OPTIMIZING... 997.35/994.80 c Got one! Elapsed wall clock time (in seconds):994.693 997.35/994.80 o 61628 1241.84/1239.10 c cleaning 2612 clauses out of 5238 with flag 5000/5238 1489.16/1485.34 c cleaning 4270 clauses out of 8626 with flag 11000/11238 1784.20/1780.37 c cleaning 5653 clauses out of 11356 with flag 18000/18238 1800.05/1796.11 c starts : 46 1800.05/1796.11 c conflicts : 18589 1800.05/1796.11 c decisions : 14390024 1800.05/1796.11 c propagations : 832784993 1800.05/1796.11 c inspects : 36567650 1800.05/1796.11 c shortcuts : 0 1800.05/1796.11 c learnt literals : 0 1800.05/1796.11 c learnt binary clauses : 0 1800.05/1796.11 c learnt ternary clauses : 0 1800.05/1796.11 c learnt constraints : 18588 1800.05/1796.11 c ignored constraints : 0 1800.05/1796.11 c root simplifications : 0 1800.05/1796.11 c removed literals (reason simplification) : 159466 1800.05/1796.11 c reason swapping (by a shorter reason) : 0 1800.05/1796.11 c Calls to reduceDB : 3 1800.05/1796.11 c number of reductions to clauses (during analyze) : 0 1800.05/1796.11 c number of learned constraints concerned by reduction : 0 1800.05/1796.11 c number of learning phase by resolution : 0 1800.05/1796.11 c number of learning phase by cutting planes : 0 1800.05/1796.11 c speed (assignments/second) : 1039815.348290729 1800.05/1796.11 c non guided choices 130932 1800.05/1796.11 c learnt constraints type 1800.05/1796.11 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6053 1800.05/1796.11 c constraints type 1800.05/1796.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1134923 1800.05/1796.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 252 1800.05/1796.11 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33330 1800.05/1796.11 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 1800.05/1796.11 s SATISFIABLE 1800.05/1796.12 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 1800.05/1796.15 c objective function=61628 1800.05/1796.15 c Total wall clock time (in seconds): 1796.044
OK 61628
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-3493036-1307914143/watcher-3493036-1307914143 -o /tmp/evaluation-result-3493036-1307914143/solver-3493036-1307914143 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3493036-1307914143.wbo 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.91 1.98 1.99 3/195 4169 /proc/meminfo: memFree=1303344/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/4169/stat : 4169 (java) R 4167 4169 648 0 -1 4202496 949 0 0 0 0 0 0 0 17 0 1 0 883830625 23580672 692 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212034686774 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4169/statm: 5757 692 509 9 0 124 0 [startup+0.053203 s] /proc/loadavg: 1.91 1.98 1.99 3/195 4169 /proc/meminfo: memFree=1303344/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10467616 CPUtime=0.04 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 11432 0 1 0 3 1 0 0 17 0 13 0 883830625 10718838784 11128 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2616904 11128 1684 9 0 2607652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.108086 s] /proc/loadavg: 1.91 1.98 1.99 3/195 4169 /proc/meminfo: memFree=1303344/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10539964 CPUtime=0.11 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 13155 0 1 0 9 2 0 0 17 0 18 0 883830625 10792923136 12822 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2634991 12823 2093 9 0 2625725 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539964 [startup+0.30107 s] /proc/loadavg: 1.91 1.98 1.99 3/195 4169 /proc/meminfo: memFree=1303344/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10545380 CPUtime=0.54 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 22712 0 1 0 50 4 0 0 17 0 18 0 883830625 10798469120 21538 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636345 21539 2203 9 0 2627079 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 10545380 [startup+0.701015 s] /proc/loadavg: 1.91 1.98 1.99 3/195 4169 /proc/meminfo: memFree=1303344/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10544560 CPUtime=1.25 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 52628 0 1 0 117 8 0 0 17 0 18 0 883830625 10797629440 50709 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636140 50714 2216 9 0 2626874 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 10544560 [startup+1.50087 s] /proc/loadavg: 1.91 1.98 1.99 3/213 4187 /proc/meminfo: memFree=978964/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10544560 CPUtime=2.06 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 137758 0 1 0 184 22 0 0 17 0 18 0 883830625 10797629440 135838 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636140 135843 2217 9 0 2626874 0 [pid=4169/tid=4171] ppid=4167 vsize=10544560 CPUtime=1.48 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4202560 132033 0 1 0 128 20 0 0 18 0 18 0 883830625 10797629440 135846 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 46912505570665 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 883830627 10797629440 135848 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135851 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135854 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135857 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135860 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135862 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 135865 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 883830627 10797629440 135868 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 883830628 10797629440 135871 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 883830629 10797629440 135874 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 883830629 10797629440 135877 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 135879 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10544560 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2298 0 0 0 29 0 0 0 17 0 18 0 883830631 10797629440 135882 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10544560 CPUtime=0.27 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 2283 0 0 0 26 1 0 0 16 0 18 0 883830631 10797629440 135885 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 135888 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 883830631 10797629440 135891 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 10544560 [startup+3.10156 s] /proc/loadavg: 1.91 1.98 1.99 3/213 4187 /proc/meminfo: memFree=509624/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10544560 CPUtime=3.65 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 306640 0 1 0 317 48 0 0 17 0 18 0 883830625 10797629440 304721 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636140 304726 2217 9 0 2626874 0 [pid=4169/tid=4171] ppid=4167 vsize=10544560 CPUtime=3.08 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4202560 300915 0 1 0 261 47 0 0 21 0 18 0 883830625 10797629440 304728 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 46912505699075 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 883830627 10797629440 304731 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304734 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304737 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304740 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304743 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304746 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 883830627 10797629440 304749 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 883830627 10797629440 304752 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 883830628 10797629440 304755 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 883830629 10797629440 304758 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 883830629 10797629440 304761 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 304763 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10544560 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2298 0 0 0 29 0 0 0 17 0 18 0 883830631 10797629440 304766 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10544560 CPUtime=0.27 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 2283 0 0 0 26 1 0 0 15 0 18 0 883830631 10797629440 304769 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 304772 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 883830631 10797629440 304775 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 10544560 [startup+6.30092 s] /proc/loadavg: 1.92 1.98 1.99 3/213 4187 /proc/meminfo: memFree=95020/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10544560 CPUtime=7.41 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 708030 0 1 0 636 105 0 0 17 0 18 0 883830625 10797629440 705906 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636140 705914 2226 9 0 2626874 0 [pid=4169/tid=4171] ppid=4167 vsize=10544560 CPUtime=6.09 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) S 4167 4169 648 0 -1 4202560 651004 0 1 0 511 98 0 0 20 0 18 0 883830625 10797629440 705918 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10544560 CPUtime=0.16 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) R 4167 4169 648 0 -1 4202560 12717 0 0 0 16 0 0 0 18 0 18 0 883830627 10797629440 705922 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481130419340 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10544560 CPUtime=0.01 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) R 4167 4169 648 0 -1 4202560 1035 0 0 0 1 0 0 0 18 0 18 0 883830627 10797629440 705927 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481130838191 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10544560 CPUtime=0.07 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) R 4167 4169 648 0 -1 4202560 6297 0 0 0 7 0 0 0 18 0 18 0 883830627 10797629440 705931 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481129133769 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10544560 CPUtime=0.09 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) R 4167 4169 648 0 -1 4202560 6441 0 0 0 9 0 0 0 18 0 18 0 883830627 10797629440 705936 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481129133753 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10544560 CPUtime=0.16 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) R 4167 4169 648 0 -1 4202560 11045 0 0 0 15 1 0 0 18 0 18 0 883830627 10797629440 705941 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481129133769 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10544560 CPUtime=0.08 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) R 4167 4169 648 0 -1 4202560 5549 0 0 0 8 0 0 0 18 0 18 0 883830627 10797629440 705944 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481129133761 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10544560 CPUtime=0.09 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) R 4167 4169 648 0 -1 4202560 8245 0 0 0 8 1 0 0 18 0 18 0 883830627 10797629440 705949 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 47481130838191 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) R 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 883830627 10797629440 705954 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 883830628 10797629440 705958 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 883830629 10797629440 705962 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 883830629 10797629440 705967 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 705971 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10544560 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2298 0 0 0 29 0 0 0 17 0 18 0 883830631 10797629440 705976 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10544560 CPUtime=0.27 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 2283 0 0 0 26 1 0 0 15 0 18 0 883830631 10797629440 706080 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 883830631 10797629440 706085 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10544560 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 883830631 10797629440 706089 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.41 Current children cumulated vsize (KiB) 10544560 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 1.99 3/214 4188 /proc/meminfo: memFree=94752/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10545588 CPUtime=15.13 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 760519 0 1 0 1400 113 0 0 17 0 19 0 883830625 10798682112 757874 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636397 757874 2250 9 0 2627131 0 [pid=4169/tid=4171] ppid=4167 vsize=10545588 CPUtime=12.23 cores=0,2,4,6 ################ # More data... # ################ [pid=4169/tid=4188] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4188/stat : 4188 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 883831386 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1666.2 Current children cumulated vsize (KiB) 10545588 [startup+1722.3 s] /proc/loadavg: 1.00 1.27 1.65 2/190 4261 /proc/meminfo: memFree=404260/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10545588 CPUtime=1726.2 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 998222 0 1 0 172474 146 0 0 17 0 19 0 883830625 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636397 995416 2263 9 0 2627131 0 [pid=4169/tid=4171] ppid=4167 vsize=10545588 CPUtime=1719.14 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4202560 651086 0 1 0 171814 100 0 0 25 0 19 0 883830625 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 46912505750212 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10545588 CPUtime=0.59 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) S 4167 4169 648 0 -1 4202560 38095 0 0 0 54 5 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10545588 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) S 4167 4169 648 0 -1 4202560 21444 0 0 0 26 3 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10545588 CPUtime=0.59 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) S 4167 4169 648 0 -1 4202560 49137 0 0 0 53 6 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10545588 CPUtime=0.49 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) S 4167 4169 648 0 -1 4202560 32900 0 0 0 45 4 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10545588 CPUtime=0.31 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) S 4167 4169 648 0 -1 4202560 18394 0 0 0 29 2 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10545588 CPUtime=0.41 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) S 4167 4169 648 0 -1 4202560 30156 0 0 0 38 3 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10545588 CPUtime=0.4 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) S 4167 4169 648 0 -1 4202560 36139 0 0 0 36 4 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10545588 CPUtime=0.08 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) S 4167 4169 648 0 -1 4202560 5627 0 0 0 8 0 0 0 18 0 19 0 883830627 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10545588 CPUtime=2.32 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 107116 0 0 0 221 11 0 0 15 0 19 0 883830628 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2371 0 0 0 60 0 0 0 15 0 19 0 883830631 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10545588 CPUtime=0.84 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 4506 0 0 0 83 1 0 0 16 0 19 0 883830631 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 883830631 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4188] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4188/stat : 4188 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 883831386 10798682112 995416 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1726.2 Current children cumulated vsize (KiB) 10545588 [startup+1782.3 s] /proc/loadavg: 1.00 1.22 1.61 2/190 4262 /proc/meminfo: memFree=403572/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10545588 CPUtime=1786.24 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 998529 0 1 0 178478 146 0 0 17 0 19 0 883830625 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636397 995715 2263 9 0 2627131 0 [pid=4169/tid=4171] ppid=4167 vsize=10545588 CPUtime=1778.19 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4202560 651086 0 1 0 177719 100 0 0 19 0 19 0 883830625 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 46912505998769 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) S 4167 4169 648 0 -1 4202560 38095 0 0 0 55 5 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10545588 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) S 4167 4169 648 0 -1 4202560 21444 0 0 0 26 3 0 0 18 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) S 4167 4169 648 0 -1 4202560 49137 0 0 0 54 6 0 0 18 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10545588 CPUtime=0.5 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) S 4167 4169 648 0 -1 4202560 32900 0 0 0 46 4 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10545588 CPUtime=0.31 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) S 4167 4169 648 0 -1 4202560 18394 0 0 0 29 2 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10545588 CPUtime=0.42 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) S 4167 4169 648 0 -1 4202560 30157 0 0 0 39 3 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10545588 CPUtime=0.4 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) S 4167 4169 648 0 -1 4202560 36139 0 0 0 36 4 0 0 15 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10545588 CPUtime=0.08 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) S 4167 4169 648 0 -1 4202560 5627 0 0 0 8 0 0 0 15 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10545588 CPUtime=3.26 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 107413 0 0 0 315 11 0 0 16 0 19 0 883830628 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2374 0 0 0 60 0 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10545588 CPUtime=0.84 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 4508 0 0 0 83 1 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4188] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4188/stat : 4188 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 883831386 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1786.24 Current children cumulated vsize (KiB) 10545588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.1 s] /proc/loadavg: 1.00 1.21 1.60 2/190 4263 /proc/meminfo: memFree=403556/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=10545588 CPUtime=1800.05 cores=0,2,4,6 /proc/4169/stat : 4169 (java) S 4167 4169 648 0 -1 4202496 998529 0 1 0 179859 146 0 0 17 0 19 0 883830625 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 2636397 995715 2263 9 0 2627131 0 [pid=4169/tid=4171] ppid=4167 vsize=10545588 CPUtime=1791.99 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4202560 651086 0 1 0 179099 100 0 0 25 0 19 0 883830625 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 46912505769531 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4169/tid=4172] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4172/stat : 4172 (java) S 4167 4169 648 0 -1 4202560 38095 0 0 0 55 5 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4173] ppid=4167 vsize=10545588 CPUtime=0.29 cores=0,2,4,6 /proc/4169/task/4173/stat : 4173 (java) S 4167 4169 648 0 -1 4202560 21444 0 0 0 26 3 0 0 18 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4174] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4174/stat : 4174 (java) S 4167 4169 648 0 -1 4202560 49137 0 0 0 54 6 0 0 18 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4175] ppid=4167 vsize=10545588 CPUtime=0.5 cores=0,2,4,6 /proc/4169/task/4175/stat : 4175 (java) S 4167 4169 648 0 -1 4202560 32900 0 0 0 46 4 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4176] ppid=4167 vsize=10545588 CPUtime=0.31 cores=0,2,4,6 /proc/4169/task/4176/stat : 4176 (java) S 4167 4169 648 0 -1 4202560 18394 0 0 0 29 2 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4177] ppid=4167 vsize=10545588 CPUtime=0.42 cores=0,2,4,6 /proc/4169/task/4177/stat : 4177 (java) S 4167 4169 648 0 -1 4202560 30157 0 0 0 39 3 0 0 16 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4178] ppid=4167 vsize=10545588 CPUtime=0.4 cores=0,2,4,6 /proc/4169/task/4178/stat : 4178 (java) S 4167 4169 648 0 -1 4202560 36139 0 0 0 36 4 0 0 15 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4179] ppid=4167 vsize=10545588 CPUtime=0.08 cores=0,2,4,6 /proc/4169/task/4179/stat : 4179 (java) S 4167 4169 648 0 -1 4202560 5627 0 0 0 8 0 0 0 15 0 19 0 883830627 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 0 0 0 0 [pid=4169/tid=4180] ppid=4167 vsize=10545588 CPUtime=3.26 cores=0,2,4,6 /proc/4169/task/4180/stat : 4180 (java) S 4167 4169 648 0 -1 4202560 107413 0 0 0 315 11 0 0 15 0 19 0 883830628 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 0 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4181] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4181/stat : 4181 (java) S 4167 4169 648 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4182] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4182/stat : 4182 (java) S 4167 4169 648 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883830629 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4183] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4183/stat : 4183 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051478961 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4184] ppid=4167 vsize=10545588 CPUtime=0.6 cores=0,2,4,6 /proc/4169/task/4184/stat : 4184 (java) S 4167 4169 648 0 -1 4202560 2374 0 0 0 60 0 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 4 0 0 0 [pid=4169/tid=4185] ppid=4167 vsize=10545588 CPUtime=0.84 cores=0,2,4,6 /proc/4169/task/4185/stat : 4185 (java) S 4167 4169 648 0 -1 4202560 4508 0 0 0 83 1 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4186] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4186/stat : 4186 (java) S 4167 4169 648 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471257 0 4 0 16800975 18446604453907486656 0 0 -1 6 0 0 0 [pid=4169/tid=4187] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4187/stat : 4187 (java) S 4167 4169 648 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 883830631 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 [pid=4169/tid=4188] ppid=4167 vsize=10545588 CPUtime=0 cores=0,2,4,6 /proc/4169/task/4188/stat : 4188 (java) S 4167 4169 648 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 883831386 10798682112 995715 33554432000 1073741824 1073778376 140734740998096 18446744073709551615 212051471872 0 4 0 16800975 18446604453907486656 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 10545588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.21 s] /proc/loadavg: 1.00 1.21 1.60 2/174 4266 /proc/meminfo: memFree=1698256/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=0 CPUtime=1800.26 cores=0,2,4,6 /proc/4169/stat : 4169 (java) Z 4167 4169 648 0 -1 4203548 998561 0 1 0 179874 152 0 0 15 0 2 0 883830625 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 0 0 0 0 0 0 0 [pid=4169/tid=4171] ppid=4167 vsize=0 CPUtime=1792.1 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4203588 651086 0 1 0 179104 106 0 0 25 0 2 0 883830625 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 [startup+1796.31 s] /proc/loadavg: 1.00 1.21 1.60 2/174 4266 /proc/meminfo: memFree=1698256/32951124 swapFree=67050916/67111528 [pid=4169] ppid=4167 vsize=0 CPUtime=1800.35 cores=0,2,4,6 /proc/4169/stat : 4169 (java) Z 4167 4169 648 0 -1 4203548 998561 0 1 0 179874 161 0 0 15 0 2 0 883830625 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4169/statm: 0 0 0 0 0 0 0 [pid=4169/tid=4171] ppid=4167 vsize=0 CPUtime=1792.19 cores=0,2,4,6 /proc/4169/task/4171/stat : 4171 (java) R 4167 4169 648 0 -1 4203588 651086 0 1 0 179104 115 0 0 25 0 2 0 883830625 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1796.34 CPU time (s): 1800.38 CPU user time (s): 1798.74 CPU system time (s): 1.64275 CPU usage (%): 100.225 Max. virtual memory (cumulated for all children) (KiB): 10545588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.74 system time used= 1.64275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 998561 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36845 involuntary context switches= 4860 runsolver used 3.36149 second user time and 6.45202 second system time The end
Begin job on node146 at 2011-06-12 23:29:04 IDJOB=3493036 IDBENCH=79647 IDSOLVER=1982 FILE ID=node146/3493036-1307914143 RUNJOBID= node146-1307908413-2090 PBS_JOBID= 13559563 Free space on /tmp= 6520 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph12_wcsp.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493036-1307914143/watcher-3493036-1307914143 -o /tmp/evaluation-result-3493036-1307914143/solver-3493036-1307914143 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3493036-1307914143.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= baac82f1e5c2363a05a67929a02d4991 RANDOM SEED=926390380 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1303772 kB Buffers: 77828 kB Cached: 30368284 kB SwapCached: 13072 kB Active: 15984072 kB Inactive: 14714052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1303772 kB SwapTotal: 67111528 kB SwapFree: 67050916 kB Dirty: 35912 kB Writeback: 0 kB AnonPages: 250884 kB Mapped: 17540 kB Slab: 885884 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10550492 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 6520 MiB End job on node146 at 2011-06-12 23:59:02