Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 1 | 158.991 | 159.057 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb |
MD5SUM | e687b4e519c37adffc2bc97f299c951f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1.77173 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 1951 |
Total number of constraints | 5581 |
Number of constraints which are clauses | 5580 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1860 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 618970019642690137449562112 |
Number of bits of the biggest number in a constraint | 90 |
Biggest sum of numbers in a constraint | 2475880078237913026827969150 |
Number of bits of the biggest sum of numbers | 91 |
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.00 c Parsing PB file... 0.19/0.21 c Converting 5582 PB-constraints to clauses... 0.19/0.21 c -- Unit propagations: (none) 0.29/0.35 c -- Detecting intervals from adjacent constraints: # 0.29/0.35 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.29/0.36 c ---[ 0]---> Adder-cost: 2722 maxlim: 34920492656880721284 bits: 65/65 1.39/1.40 c ==================================[MINISAT+]================================== 1.39/1.40 c | Conflicts | Original | Learnt | Progress | 1.39/1.40 c | | Clauses Literals | Max Clauses Literals LPC | | 1.39/1.40 c ============================================================================== 1.39/1.40 c | 0 | 23202 76892 | 7734 0 0 nan | 0.000 % | 1.39/1.41 c | 100 | 23142 76678 | 8507 93 280 3.0 | 12.793 % | 1.39/1.43 c | 251 | 23120 76602 | 9358 240 2928 12.2 | 12.856 % | 1.39/1.47 c | 477 | 23019 76255 | 10293 451 7091 15.7 | 13.236 % | 1.49/1.51 c | 814 | 23019 76255 | 11323 788 11412 14.5 | 13.236 % | 1.49/1.59 c | 1321 | 23019 76255 | 12455 1295 43753 33.8 | 13.236 % | 1.59/1.68 c | 2081 | 23019 76255 | 13701 2055 68288 33.2 | 13.236 % | 1.89/1.96 c | 3220 | 23019 76255 | 15071 3194 109697 34.3 | 13.236 % | 2.39/2.44 c | 4928 | 22987 76151 | 16578 4898 284830 58.2 | 13.321 % | 2.99/3.04 c | 7492 | 22987 76151 | 18236 7462 521669 69.9 | 13.321 % | 3.69/3.77 c | 11337 | 22978 76122 | 20060 11306 682047 60.3 | 13.363 % | 5.19/5.22 c | 17105 | 22962 76070 | 22066 17072 983480 57.6 | 13.426 % | 8.09/8.16 c | 25754 | 22946 76018 | 24272 14191 750752 52.9 | 13.490 % | 12.09/12.11 c | 38728 | 22930 75966 | 26699 14618 817549 55.9 | 13.532 % | 18.08/18.13 c | 58189 | 22914 75914 | 29369 20299 1160875 57.2 | 13.574 % | 43.57/43.61 c | 87381 | 22898 75862 | 32306 31745 5477378 172.5 | 13.617 % | 85.76/85.83 c | 131170 | 22887 75819 | 35537 20524 2728230 132.9 | 13.658 % | 141.84/141.92 c | 196856 | 22887 75819 | 39091 19087 1603914 84.0 | 13.658 % | 158.92/159.04 c ============================================================================== 158.92/159.04 c [1mFound solution: 1[0m 158.92/159.04 o 1 158.92/159.04 c [1mOptimal solution: 1[0m 158.92/159.04 s OPTIMUM FOUND 158.92/159.04 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 158.92/159.04 v -x29 -x30 -x31 x92 x32 -x93 -x33 x94 x34 x95 x35 x96 x36 x97 x37 x98 x38 -x99 -x39 -x100 -x40 x101 x41 -x102 -x42 -x103 -x43 -x104 158.92/159.04 v -x44 x105 x45 x106 x46 x107 x47 -x108 -x48 -x109 -x49 x110 x50 x111 x51 x112 x52 x113 x53 x114 x54 x115 x55 -x116 -x56 -x117 -x57 158.92/159.04 v x118 x58 x119 x59 x120 x60 x121 x61 x122 x62 -x123 -x63 x124 x64 -x125 -x65 -x126 -x66 -x127 -x67 x128 x68 x129 x69 x130 x70 x131 158.92/159.04 v x71 -x132 -x72 -x133 -x73 x134 x74 x135 x75 x136 x76 x137 x77 x138 x78 -x139 -x79 x140 x80 -x141 -x81 -x142 -x82 -x143 -x83 -x144 158.92/159.04 v -x84 x145 x85 x146 x86 -x147 -x87 x148 x88 x149 x89 -x150 -x90 x151 x91 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 158.92/159.04 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 158.92/159.04 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 158.92/159.04 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 158.92/159.04 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 158.92/159.04 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 158.92/159.04 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1532 158.92/159.04 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 158.92/159.04 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 158.92/159.04 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 158.92/159.04 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 158.92/159.04 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 158.92/159.04 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 158.92/159.04 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 158.92/159.04 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 158.92/159.04 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 158.92/159.04 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 158.92/159.04 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 158.92/159.04 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 158.92/159.04 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 158.92/159.04 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 158.92/159.04 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 158.92/159.04 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 158.92/159.04 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 158.92/159.04 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 158.92/159.04 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 158.92/159.04 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 158.92/159.04 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 158.92/159.04 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 158.92/159.04 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 158.92/159.04 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 158.92/159.04 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x152 -x153 -x154 -x155 -x156 -x157 -x158 158.92/159.04 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 158.92/159.04 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 158.92/159.04 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 158.92/159.04 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 158.92/159.04 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 158.92/159.04 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 158.92/159.04 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 158.92/159.04 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 158.92/159.04 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 158.92/159.04 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 158.92/159.04 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 158.92/159.04 v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 158.92/159.04 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 158.92/159.04 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 158.92/159.04 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 158.92/159.04 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 158.92/159.04 v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 158.92/159.04 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 158.92/159.04 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 158.92/159.04 v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 158.92/159.04 v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 158.92/159.04 v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 158.92/159.04 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 158.92/159.04 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 158.92/159.04 v -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 158.92/159.04 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 158.92/159.04 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 158.92/159.04 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 158.92/159.04 v -x747 -x748 -x749 -x750 -x751 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 158.92/159.04 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 158.92/159.04 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 158.92/159.04 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 158.92/159.04 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 158.92/159.04 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 158.92/159.04 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 158.92/159.04 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 158.92/159.04 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 158.92/159.04 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 158.92/159.04 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 158.92/159.04 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 158.92/159.04 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 158.92/159.04 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 158.92/159.04 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 158.92/159.04 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 158.92/159.04 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 158.92/159.04 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 158.92/159.04 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 158.92/159.04 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 158.92/159.04 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 158.92/159.04 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 158.92/159.04 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 158.92/159.04 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 158.92/159.04 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 158.92/159.04 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 158.92/159.04 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 158.92/159.04 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 158.92/159.04 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 158.92/159.04 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 158.92/159.04 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 158.92/159.04 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 158.92/159.04 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 158.92/159.04 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 158.92/159.04 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 158.92/159.04 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 158.92/159.04 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 158.92/159.04 c _______________________________________________________________________________ 158.92/159.04 c 158.92/159.04 c restarts : 18 158.92/159.04 c conflicts : 230129 (1448 /sec) 158.92/159.04 c decisions : 372331 (2343 /sec) 158.92/159.04 c propagations : 0 (0 /sec) 158.92/159.04 c inspects : 0 (0 /sec) 158.92/159.04 c CPU time : 158.907 s 158.92/159.04 c _______________________________________________________________________________
OK 1
/tmp/evaluation/367145-1177068898/instance-367145-1177068898.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-367145-1177068898 -o ROOT/results/node13/solver-367145-1177068898 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367145-1177068898/minisat+ /tmp/evaluation/367145-1177068898/instance-367145-1177068898.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.99 3/77 20367 /proc/meminfo: memFree=1831104/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=1048 CPUtime=0 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 154807609 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134625004 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 262 100 74 215 0 44 0 [startup+0.0815801 s] /proc/loadavg: 0.92 0.97 0.99 3/77 20367 /proc/meminfo: memFree=1831104/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=1872 CPUtime=0.07 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 310 0 0 0 7 0 0 0 18 0 1 0 154807609 1916928 295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 468 295 74 215 0 250 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1872 [startup+0.101585 s] /proc/loadavg: 0.92 0.97 0.99 3/77 20367 /proc/meminfo: memFree=1831104/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=2152 CPUtime=0.09 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 154807609 2203648 355 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 538 355 74 215 0 320 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2152 [startup+0.301627 s] /proc/loadavg: 0.92 0.97 0.99 3/77 20367 /proc/meminfo: memFree=1831104/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=3244 CPUtime=0.29 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 677 0 0 0 29 0 0 0 19 0 1 0 154807609 3321856 662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621766 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 811 662 83 215 0 593 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3244 [startup+0.701712 s] /proc/loadavg: 0.92 0.97 0.99 3/77 20367 /proc/meminfo: memFree=1831104/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=5544 CPUtime=0.69 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 1246 0 0 0 68 1 0 0 19 0 1 0 154807609 5677056 1231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808951 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 1386 1231 92 215 0 1168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5544 [startup+1.50188 s] /proc/loadavg: 0.92 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1826488/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=6888 CPUtime=1.49 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 1616 0 0 0 148 1 0 0 25 0 1 0 154807609 7053312 1559 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579905 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 1722 1559 123 215 0 1504 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6888 [startup+3.10123 s] /proc/loadavg: 0.92 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1825208/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=7680 CPUtime=3.09 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 1815 0 0 0 308 1 0 0 25 0 1 0 154807609 7864320 1758 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 1920 1758 123 215 0 1702 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7680 [startup+6.30291 s] /proc/loadavg: 0.93 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1821944/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=10892 CPUtime=6.29 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 2609 0 0 0 628 1 0 0 25 0 1 0 154807609 11153408 2552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 2723 2552 123 215 0 2505 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10892 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1819448/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=12460 CPUtime=12.69 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 3016 0 0 0 1267 2 0 0 25 0 1 0 154807609 12759040 2959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 3115 2959 123 215 0 2897 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12460 [startup+25.502 s] /proc/loadavg: 0.95 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1815096/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=16912 CPUtime=25.48 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 4134 0 0 0 2545 3 0 0 25 0 1 0 154807609 17317888 4077 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 4228 4077 123 215 0 4010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16912 [startup+51.1015 s] /proc/loadavg: 0.97 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1800696/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=31296 CPUtime=51.07 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7723 0 0 0 5101 6 0 0 25 0 1 0 154807609 32047104 7666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 7824 7666 123 215 0 7606 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31296 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799992/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32084 CPUtime=102.25 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7912 0 0 0 10218 7 0 0 25 0 1 0 154807609 32854016 7855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8021 7855 123 215 0 7803 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32084 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799992/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32084 CPUtime=127.84 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7912 0 0 0 12777 7 0 0 25 0 1 0 154807609 32854016 7855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8021 7855 123 215 0 7803 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 32084 [startup+140.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32084 CPUtime=140.64 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7912 0 0 0 14057 7 0 0 25 0 1 0 154807609 32854016 7855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8021 7855 123 215 0 7803 0 Current children cumulated CPU time (s) 140.64 Current children cumulated vsize (KiB) 32084 [startup+147.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32084 CPUtime=147.03 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7912 0 0 0 14696 7 0 0 25 0 1 0 154807609 32854016 7855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8021 7855 123 215 0 7803 0 Current children cumulated CPU time (s) 147.03 Current children cumulated vsize (KiB) 32084 [startup+153.501 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=153.43 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15336 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 153.43 Current children cumulated vsize (KiB) 32164 [startup+156.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=156.63 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15656 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 156.63 Current children cumulated vsize (KiB) 32164 [startup+158.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=158.23 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15816 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 158.23 Current children cumulated vsize (KiB) 32164 [startup+158.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=158.62 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15855 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 158.62 Current children cumulated vsize (KiB) 32164 [startup+158.902 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=158.82 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15875 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 158.82 Current children cumulated vsize (KiB) 32164 [startup+159.001 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20368 /proc/meminfo: memFree=1799928/2055920 swapFree=4159428/4192956 [pid=20367] ppid=20365 vsize=32164 CPUtime=158.92 /proc/20367/stat : 20367 (minisat+) R 20365 20367 20209 0 -1 4194304 7915 0 0 0 15885 7 0 0 25 0 1 0 154807609 32935936 7858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20367/statm: 8041 7858 123 215 0 7823 0 Current children cumulated CPU time (s) 158.92 Current children cumulated vsize (KiB) 32164 Child status: 30 Real time (s): 159.057 CPU time (s): 158.991 CPU user time (s): 158.908 CPU system time (s): 0.082987 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 32164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.908 system time used= 0.082987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7918 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= 16 involuntary context switches= 3332 runsolver used 0.19697 second user time and 0.384941 second system time The end
Begin job on node13 on Fri Apr 20 11:34:58 UTC 2007 IDJOB= 367145 IDBENCH= 3029 IDSOLVER= 156 FILE ID= node13/367145-1177068898 PBS_JOBID= 4640270 Free space on /tmp= 66318 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb COMMAND LINE= /tmp/evaluation/367145-1177068898/minisat+ /tmp/evaluation/367145-1177068898/instance-367145-1177068898.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-367145-1177068898 -o ROOT/results/node13/conversion-367145-1177068898 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367145-1177068898/instance-367145-1177068898.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-367145-1177068898 -o ROOT/results/node13/solver-367145-1177068898 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367145-1177068898/minisat+ /tmp/evaluation/367145-1177068898/instance-367145-1177068898.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= e687b4e519c37adffc2bc97f299c951f RANDOM SEED= 378074782 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1831576 kB Buffers: 31656 kB Cached: 126784 kB SwapCached: 12716 kB Active: 83464 kB Inactive: 99004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831576 kB SwapTotal: 4192956 kB SwapFree: 4159428 kB Dirty: 2528 kB Writeback: 0 kB Mapped: 31092 kB Slab: 27328 kB Committed_AS: 6754628 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66318 MiB End job on node13 on Fri Apr 20 11:37:37 UTC 2007