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