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