0.00/0.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
8.80/8.86	o 45
8.89/8.96	o 44
1800.04/1800.01	>>> Terminate signal received
1800.04/1800.01	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 

OK	44

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3479441-1307454319/watcher-3479441-1307454319 -o /tmp/evaluation-result-3479441-1307454319/solver-3479441-1307454319 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3479441-1307454319.opb --verbosity=0 --format=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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.79 1.97 1.91 3/461 6267
/proc/meminfo: memFree=29797848/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=7804 CPUtime=0 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 468 0 0 0 0 0 0 0 21 0 1 0 857031719 7991296 415 33554432000 4194304 6736272 140734852433376 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 1951 416 221 621 0 1321 0

[startup+0.069023 s]
/proc/loadavg: 1.79 1.97 1.91 3/461 6267
/proc/meminfo: memFree=29797848/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=11132 CPUtime=0.06 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 1415 0 0 0 6 0 0 0 21 0 1 0 857031719 11399168 1249 33554432000 4194304 6736272 140734852433376 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 2783 1249 248 621 0 2153 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11132

[startup+0.101014 s]
/proc/loadavg: 1.79 1.97 1.91 3/461 6267
/proc/meminfo: memFree=29797848/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=12320 CPUtime=0.09 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 1706 0 0 0 9 0 0 0 21 0 1 0 857031719 12615680 1540 33554432000 4194304 6736272 140734852433376 18446744073709551615 5311535 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 3080 1540 248 621 0 2450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12320

[startup+0.300983 s]
/proc/loadavg: 1.79 1.97 1.91 3/461 6267
/proc/meminfo: memFree=29797848/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=19580 CPUtime=0.29 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 3527 0 0 0 29 0 0 0 22 0 1 0 857031719 20049920 3361 33554432000 4194304 6736272 140734852433376 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 4895 3361 248 621 0 4265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580

[startup+0.700852 s]
/proc/loadavg: 1.79 1.97 1.91 3/461 6267
/proc/meminfo: memFree=29797848/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=34100 CPUtime=0.69 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 7160 0 0 0 69 0 0 0 24 0 1 0 857031719 34918400 6994 33554432000 4194304 6736272 140734852433376 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 8525 6994 248 621 0 7895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34100

[startup+1.50071 s]
/proc/loadavg: 1.79 1.97 1.91 3/465 6274
/proc/meminfo: memFree=29720788/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=63272 CPUtime=1.49 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 14428 0 0 0 148 1 0 0 25 0 1 0 857031719 64790528 14262 33554432000 4194304 6736272 140734852433376 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 15818 14263 248 621 0 15188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63272

[startup+3.10043 s]
/proc/loadavg: 1.79 1.97 1.91 3/465 6274
/proc/meminfo: memFree=29641180/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=121352 CPUtime=3.09 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 28950 0 0 0 305 4 0 0 25 0 1 0 857031719 124264448 28784 33554432000 4194304 6736272 140734852433376 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 30338 28784 248 621 0 29708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121352

[startup+6.30086 s]
/proc/loadavg: 1.81 1.97 1.91 3/465 6274
/proc/meminfo: memFree=29431060/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=199124 CPUtime=6.29 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 49690 0 0 0 622 7 0 0 25 0 1 0 857031719 203902976 49012 33554432000 4194304 6736272 140734852433376 18446744073709551615 4299976 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 49781 49012 266 621 0 49151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199124

[startup+12.7007 s]
/proc/loadavg: 1.82 1.97 1.91 3/465 6275
/proc/meminfo: memFree=29217196/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=215076 CPUtime=12.69 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 52976 0 0 0 1261 8 0 0 25 0 1 0 857031719 220237824 51987 33554432000 4194304 6736272 140734852433376 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 53769 51987 286 621 0 53139 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 215076

[startup+25.5005 s]
/proc/loadavg: 1.86 1.97 1.91 3/465 6275
/proc/meminfo: memFree=29158644/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=226752 CPUtime=25.49 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 56271 0 0 0 2541 8 0 0 25 0 1 0 857031719 232194048 55207 33554432000 4194304 6736272 140734852433376 18446744073709551615 4745032 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 56688 55207 287 621 0 56058 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 226752

[startup+51.1009 s]
/proc/loadavg: 1.91 1.97 1.91 3/465 6276
/proc/meminfo: memFree=29110832/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=246196 CPUtime=51.09 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 61821 0 0 0 5099 10 0 0 25 0 1 0 857031719 252104704 60647 33554432000 4194304 6736272 140734852433376 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 61549 60647 287 621 0 60919 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 246196

[startup+102.318 s]
/proc/loadavg: 1.96 1.97 1.91 3/465 6277
/proc/meminfo: memFree=29002852/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=327464 CPUtime=102.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 74534 0 0 0 10217 14 0 0 25 0 1 0 857031719 335323136 73106 33554432000 4194304 6736272 140734852433376 18446744073709551615 4745120 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 81866 73106 287 621 0 81236 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 327464

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.91 3/465 6279
/proc/meminfo: memFree=28886496/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=409560 CPUtime=162.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 87431 0 0 0 16214 16 0 0 25 0 1 0 857031719 419389440 85726 33554432000 4194304 6736272 140734852433376 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 102390 85726 287 621 0 101760 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 409560

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/465 6280
/proc/meminfo: memFree=28776944/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=410240 CPUtime=222.29 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 99718 0 0 0 22212 17 0 0 25 0 1 0 857031719 420085760 97773 33554432000 4194304 6736272 140734852433376 18446744073709551615 5219607 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 102560 97773 287 621 0 101930 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 410240

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/465 6282
/proc/meminfo: memFree=28863948/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=248612 CPUtime=282.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 115090 0 0 0 28209 21 0 0 25 0 1 0 857031719 254578688 61352 33554432000 4194304 6736272 140734852433376 18446744073709551615 4750614 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 62153 61352 287 621 0 61523 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 248612

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/465 6283
/proc/meminfo: memFree=28738656/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=329520 CPUtime=342.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 129006 0 0 0 34207 23 0 0 25 0 1 0 857031719 337428480 74996 33554432000 4194304 6736272 140734852433376 18446744073709551615 5803188 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 82380 74996 287 621 0 81750 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 329520

[startup+402.301 s]
/proc/loadavg: 2.07 1.99 1.91 3/465 6285
/proc/meminfo: memFree=28612620/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=411700 CPUtime=402.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 141787 0 0 0 40204 26 0 0 25 0 1 0 857031719 421580800 87554 33554432000 4194304 6736272 140734852433376 18446744073709551615 4745032 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 102925 87554 287 621 0 102295 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 411700

[startup+462.3 s]
/proc/loadavg: 2.18 2.04 1.93 3/465 6287
/proc/meminfo: memFree=28498868/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=412148 CPUtime=462.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 153415 0 0 0 46202 28 0 0 25 0 1 0 857031719 422039552 98934 33554432000 4194304 6736272 140734852433376 18446744073709551615 5806473 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 103037 98934 287 621 0 102407 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 412148

[startup+522.301 s]
/proc/loadavg: 2.06 2.03 1.93 3/465 6288
/proc/meminfo: memFree=28569496/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=280880 CPUtime=522.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 169702 0 0 0 52198 32 0 0 25 0 1 0 857031719 287621120 63483 33554432000 4194304 6736272 140734852433376 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 70220 63483 287 621 0 69590 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 280880

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/465 6290
/proc/meminfo: memFree=28446188/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=331276 CPUtime=582.3 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 183133 0 0 0 58196 34 0 0 25 0 1 0 857031719 339226624 76662 33554432000 4194304 6736272 140734852433376 18446744073709551615 5817073 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 82819 76662 287 621 0 82189 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 331276


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 6296
/proc/meminfo: memFree=28185584/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=332680 CPUtime=822.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 240600 0 0 0 82185 46 0 0 25 0 1 0 857031719 340664320 72308 33554432000 4194304 6736272 140734852433376 18446744073709551615 4289969 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 83170 72308 287 621 0 82540 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 332680

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 6298
/proc/meminfo: memFree=28067976/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=414068 CPUtime=882.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 252958 0 0 0 88183 48 0 0 25 0 1 0 857031719 424005632 84451 33554432000 4194304 6736272 140734852433376 18446744073709551615 4289254 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 103517 84451 287 621 0 102887 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 414068

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 6299
/proc/meminfo: memFree=27953120/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=414584 CPUtime=942.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 265919 0 0 0 94180 51 0 0 25 0 1 0 857031719 424534016 97124 33554432000 4194304 6736272 140734852433376 18446744073709551615 5221920 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 103646 97124 287 621 0 103016 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 414584

[startup+1002.3 s]
/proc/loadavg: 2.15 2.04 1.95 3/465 6310
/proc/meminfo: memFree=27832344/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=547132 CPUtime=1002.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 279675 0 0 0 100177 54 0 0 25 0 1 0 857031719 560263168 110601 33554432000 4194304 6736272 140734852433376 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 136783 110601 287 621 0 136153 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 547132

[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 1.96 3/465 6312
/proc/meminfo: memFree=27960012/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=252756 CPUtime=1062.32 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 298267 0 0 0 106173 59 0 0 25 0 1 0 857031719 258822144 62297 33554432000 4194304 6736272 140734852433376 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 63189 62297 287 621 0 62559 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 252756

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 1.96 3/465 6315
/proc/meminfo: memFree=27829772/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=334328 CPUtime=1122.32 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 313582 0 0 0 112170 62 0 0 25 0 1 0 857031719 342351872 77295 33554432000 4194304 6736272 140734852433376 18446744073709551615 4750634 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 83582 77295 287 621 0 82952 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 334328

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 1.96 3/465 6318
/proc/meminfo: memFree=27701240/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=416220 CPUtime=1182.31 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 328049 0 0 0 118167 64 0 0 25 0 1 0 857031719 426209280 91468 33554432000 4194304 6736272 140734852433376 18446744073709551615 5792718 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 104055 91468 287 621 0 103425 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 416220

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/465 6319
/proc/meminfo: memFree=27569004/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=548860 CPUtime=1242.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 342288 0 0 0 124165 68 0 0 25 0 1 0 857031719 562032640 105401 33554432000 4194304 6736272 140734852433376 18446744073709551615 5148044 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 137215 105401 287 621 0 136585 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 548860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/465 6321
/proc/meminfo: memFree=27439248/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=549176 CPUtime=1302.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 355951 0 0 0 130163 70 0 0 25 0 1 0 857031719 562356224 118811 33554432000 4194304 6736272 140734852433376 18446744073709551615 5221925 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 137294 118811 287 621 0 136664 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 549176

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/465 6323
/proc/meminfo: memFree=29095960/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=255368 CPUtime=1362.32 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 373853 0 0 0 136159 73 0 0 25 0 1 0 857031719 261496832 58812 33554432000 4194304 6736272 140734852433376 18446744073709551615 4630298 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 63842 58812 287 621 0 63212 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 255368

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.96 3/465 6324
/proc/meminfo: memFree=28981440/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=336448 CPUtime=1422.34 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 387143 0 0 0 142159 75 0 0 25 0 1 0 857031719 344522752 71828 33554432000 4194304 6736272 140734852433376 18446744073709551615 4753621 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 84112 71828 287 621 0 83482 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 336448

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/465 6326
/proc/meminfo: memFree=28872648/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=418132 CPUtime=1482.32 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 399814 0 0 0 148154 78 0 0 25 0 1 0 857031719 428167168 84271 33554432000 4194304 6736272 140734852433376 18446744073709551615 5818787 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 104533 84271 287 621 0 103903 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 418132

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/465 6327
/proc/meminfo: memFree=28753940/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=419124 CPUtime=1542.32 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 412927 0 0 0 154152 80 0 0 25 0 1 0 857031719 429182976 97139 33554432000 4194304 6736272 140734852433376 18446744073709551615 4505891 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 104781 97139 287 621 0 104151 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 419124

[startup+1602.3 s]
/proc/loadavg: 2.15 2.04 1.97 3/465 6329
/proc/meminfo: memFree=28632344/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=552304 CPUtime=1602.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 425815 0 0 0 160150 83 0 0 25 0 1 0 857031719 565559296 109770 33554432000 4194304 6736272 140734852433376 18446744073709551615 5608938 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 138076 109770 287 621 0 137446 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 552304

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/465 6331
/proc/meminfo: memFree=28511384/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=553316 CPUtime=1662.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 438793 0 0 0 166147 86 0 0 25 0 1 0 857031719 566595584 122497 33554432000 4194304 6736272 140734852433376 18446744073709551615 5149329 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 138329 122497 287 621 0 137699 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 553316

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/465 6332
/proc/meminfo: memFree=28664712/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=289580 CPUtime=1722.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 455960 0 0 0 172143 90 0 0 25 0 1 0 857031719 296529920 67682 33554432000 4194304 6736272 140734852433376 18446744073709551615 5806413 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 72395 67682 287 621 0 71765 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 289580

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/465 6334
/proc/meminfo: memFree=28548096/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=339984 CPUtime=1782.33 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 467782 0 0 0 178140 93 0 0 25 0 1 0 857031719 348143616 79257 33554432000 4194304 6736272 140734852433376 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 84996 79257 287 621 0 84366 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 339984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.97 3/465 6334
/proc/meminfo: memFree=28512628/32950928 swapFree=45617076/67111528
[pid=6267] ppid=6265 vsize=340396 CPUtime=1800.04 cores=1,3,5,7
/proc/6267/stat : 6267 (minisatid-gmp) R 6265 6267 5352 0 -1 4202496 471870 0 0 0 179911 93 0 0 25 0 1 0 857031719 348565504 83261 33554432000 4194304 6736272 140734852433376 18446744073709551615 4289969 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/6267/statm: 85099 83261 287 621 0 84469 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 340396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1799.12
CPU system time (s): 0.952855
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 568600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.952855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 20715

runsolver used 8.32673 second user time and 18.6382 second system time

The end

Begin job on node123 at 2011-06-07 15:45:19
IDJOB=3479441
IDBENCH=89910
IDSOLVER=1957
FILE ID=node123/3479441-1307454319
RUNJOBID= node123-1307454319-6254
PBS_JOBID= 13520032
Free space on /tmp= 73948 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479441-1307454319/watcher-3479441-1307454319 -o /tmp/evaluation-result-3479441-1307454319/solver-3479441-1307454319 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3479441-1307454319.opb --verbosity=0 --format=opb 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=1500928396

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29797880 kB
Buffers:        347144 kB
Cached:         563768 kB
SwapCached:       9488 kB
Active:        2439084 kB
Inactive:       419560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29797880 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:           45664 kB
Writeback:           0 kB
AnonPages:     1945752 kB
Mapped:          22996 kB
Slab:           147780 kB
PageTables:      78356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133354164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73916 MiB
End job on node123 at 2011-06-07 16:15:21