Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 5500543 | 1800.28 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3416057 |
Best CPU time to get the best result obtained on this benchmark | 1800.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3039236 |
Optimality of the best value was proved | NO |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb 0.00/0.00 c File size is 226427 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Highest Coefficient sum: 8.56864e+11 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.036 s 0.00/0.04 c Var: 4464 Constr: 192 0/0/192 Lit: 21744 Watch. Lit: 13152 0.00/0.04 c Obj. Vars: 4464 (100 % of total variables) 0.06/0.09 c Pre-processing Time: 0.088 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2132 192 21744 113 13182 43488 0 0 0.09 0.09/0.19 c 100 2132 292 43077 147 14300 47837 100 757 0.13 0.09/0.19 o 8986103 0.188 10.78/10.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.82 c 196 2132 389 87447 224 16703 47752 197 1037 0.19 10.78/10.82 c 298 2132 491 127796 260 16937 52528 299 1252 0.24 10.78/10.82 c 548 2132 741 161764 218 17008 57781 549 1616 0.34 10.78/10.82 c 1023 2132 1216 235409 193 18180 63560 1024 1877 0.55 10.78/10.82 c 1836 2132 2029 468579 230 19905 69917 1837 1908 0.96 10.78/10.82 c 3157 2132 3350 1083703 323 22694 76909 3158 1173 2.69 10.78/10.82 c 5238 2132 5431 1907357 351 26405 84600 5239 1243 4.21 10.78/10.82 c 8461 2132 8654 3685654 425 33339 93061 8462 999 8.46 10.78/10.82 c 13397 2132 13590 4728033 347 42734 102368 13398 1249 10.72 10.78/10.82 o 8765998 10.822 10.89/10.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.92 c 13647 2132 13841 4770833 344 45426 47752 13649 1260 10.82 10.89/10.92 c 13748 2132 13942 4782118 343 45305 52528 13750 1264 10.87 10.89/10.92 o 8745062 10.92 15.19/15.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.22 c 13785 2132 13980 4792350 342 47678 47752 13788 1262 10.92 15.19/15.22 c 13885 2132 14080 4806419 341 47067 52528 13888 1266 10.96 15.19/15.22 c 14138 2132 14333 4842904 337 47663 57781 14141 1282 11.02 15.19/15.22 c 14615 2132 14810 4911703 331 48616 63560 14618 1313 11.13 15.19/15.22 c 15428 2132 15623 5089903 325 50174 69917 15431 1322 11.66 15.19/15.22 c 16748 2132 16943 5969197 352 53487 76909 16751 1113 15.04 15.19/15.22 o 7633308 15.217 29.48/29.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.48/29.57 c 16894 2132 17090 6002574 351 54282 47752 16898 1109 15.22 29.48/29.57 c 16994 2132 17190 6025232 350 54273 52528 16998 1112 15.28 29.48/29.57 c 17244 2132 17440 6089124 349 54301 57781 17248 1113 15.49 29.48/29.57 c 17719 2132 17915 6348113 354 55493 63560 17723 1102 16.07 29.48/29.57 c 18532 2132 18728 6557220 350 56395 69917 18536 1126 16.44 29.48/29.57 c 19852 2132 20048 7209530 359 59538 76909 19856 1060 18.73 29.48/29.57 c 21935 2132 22131 7809134 352 62578 84600 21939 1096 20.00 29.48/29.57 c 25158 2132 25354 9802825 386 69450 93061 25162 887 28.34 29.48/29.57 o 5500543 29.568 1800.05/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.61 c 26588 2132 26785 10065371 375 73052 47752 26593 899 29.57 1800.05/1800.61 c 26688 2132 26885 10130692 376 72979 52528 26693 895 29.79 1800.05/1800.61 c 26939 2132 27136 10202918 375 72835 57781 26944 898 30.00 1800.05/1800.61 c 27414 2132 27611 10282307 372 74001 63560 27419 907 30.22 1800.05/1800.61 c 28227 2132 28424 10840507 381 75833 69917 28232 888 31.77 1800.05/1800.61 c 29548 2132 29745 11113011 373 78092 76909 29553 906 32.60 1800.05/1800.61 c 31629 2132 31826 12122082 380 82043 84600 31634 835 37.87 1800.05/1800.61 c 34853 2132 35050 13078866 373 87852 93061 34858 853 40.82 1800.05/1800.61 c 39789 2132 39986 16185105 404 98238 102368 39794 761 52.24 1800.05/1800.61 c 47302 2132 47499 19706630 414 113074 112605 47307 710 66.58 1800.05/1800.61 c 58667 2132 58864 28683972 487 135437 123866 58672 497 117.92 1800.05/1800.61 c 75811 2132 76008 33522821 441 169580 136253 75816 483 156.92 1800.05/1800.61 c 101630 2132 101827 46975583 461 221356 149879 101635 322 315.51 1800.05/1800.61 c 140470 2132 140667 65242857 463 298902 164867 140475 297 471.40 1800.05/1800.61 c 198822 2132 43375 24202169 557 102714 181354 43183 224 884.05 1800.05/1800.61 c 286454 2132 131007 70724131 539 278170 199490 130815 218 1311.21 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 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 1800.05/1800.61 v -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 1800.05/1800.61 v -x57 -x58 -x59 -x60 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.05/1800.61 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 1800.05/1800.61 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.05/1800.61 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.05/1800.61 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.05/1800.61 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1800.05/1800.61 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1800.05/1800.61 v -x2699 -x2700 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.05/1800.61 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3331 -x3332 1800.05/1800.61 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.05/1800.61 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.05/1800.61 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.05/1800.61 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1800.05/1800.61 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1800.05/1800.61 v -x4018 -x4019 -x4020 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.05/1800.61 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 1800.05/1800.61 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 1800.05/1800.61 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1800.05/1800.61 v -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.05/1800.61 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 1800.05/1800.61 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.05/1800.61 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535 1800.05/1800.61 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.05/1800.61 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.05/1800.61 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.05/1800.61 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.05/1800.61 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.05/1800.61 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.05/1800.61 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.05/1800.61 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.05/1800.61 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.05/1800.61 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.05/1800.61 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 1800.05/1800.61 v x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.05/1800.61 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.05/1800.61 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 1800.05/1800.61 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.05/1800.61 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1800.05/1800.61 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.05/1800.61 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1800.05/1800.61 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.05/1800.61 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.05/1800.61 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.05/1800.61 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.05/1800.61 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.05/1800.61 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.05/1800.61 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.05/1800.61 v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.05/1800.61 v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1800.05/1800.61 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.05/1800.61 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.05/1800.61 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.05/1800.61 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1800.05/1800.61 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.05/1800.61 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.05/1800.61 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.05/1800.61 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.05/1800.61 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.05/1800.61 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.05/1800.61 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1800.05/1800.61 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.05/1800.61 v -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.05/1800.61 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1800.05/1800.61 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1800.05/1800.61 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 1800.05/1800.61 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 1800.05/1800.61 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.05/1800.61 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.05/1800.61 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.05/1800.61 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.05/1800.61 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.05/1800.61 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.05/1800.61 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1800.05/1800.61 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.05/1800.61 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 1800.05/1800.61 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.05/1800.61 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.05/1800.61 v x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.05/1800.61 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.05/1800.61 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.05/1800.61 v -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 1800.05/1800.61 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1800.05/1800.61 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.05/1800.61 v -x2666 -x2667 -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.05/1800.61 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.05/1800.61 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.05/1800.61 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.05/1800.61 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.05/1800.61 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 1800.05/1800.61 v x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.05/1800.61 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1800.05/1800.61 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1800.05/1800.61 v -x2851 -x2852 -x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 1800.05/1800.61 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1800.05/1800.61 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.05/1800.61 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 1800.05/1800.61 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.05/1800.61 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1800.05/1800.61 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 1800.05/1800.61 v -x2972 x2973 x2974 x2975 x2976 x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.05/1800.61 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.05/1800.61 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.05/1800.61 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.05/1800.61 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.05/1800.61 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.05/1800.61 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.05/1800.61 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.05/1800.61 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.05/1800.61 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.05/1800.61 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.05/1800.61 v -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.05/1800.61 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.05/1800.61 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.05/1800.61 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.05/1800.61 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.05/1800.61 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.05/1800.61 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.05/1800.61 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.05/1800.61 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 1800.05/1800.61 v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.05/1800.61 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 1800.05/1800.61 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1800.05/1800.61 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.05/1800.61 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.05/1800.61 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.05/1800.61 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1800.05/1800.61 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.05/1800.61 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1800.05/1800.61 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.05/1800.61 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1800.05/1800.61 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1800.05/1800.61 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.05/1800.61 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.05/1800.61 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.05/1800.61 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.05/1800.61 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3691 -x3692 1800.05/1800.61 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1800.05/1800.61 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.05/1800.61 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.05/1800.61 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.05/1800.61 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1800.05/1800.61 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1800.05/1800.61 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1800.05/1800.61 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1800.05/1800.61 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1800.05/1800.61 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1800.05/1800.61 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1800.05/1800.61 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.05/1800.61 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1800.05/1800.61 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.05/1800.61 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948 1800.05/1800.61 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.05/1800.61 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.05/1800.61 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1800.05/1800.61 v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.05/1800.61 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.05/1800.61 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1800.05/1800.61 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1800.05/1800.61 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 1800.05/1800.61 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1800.05/1800.61 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.05/1800.61 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.05/1800.61 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1800.05/1800.61 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1800.05/1800.61 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.05/1800.61 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.05/1800.61 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.05/1800.61 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.05/1800.61 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1800.05/1800.61 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1800.05/1800.61 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.05/1800.61 v -x4319 -x4320 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1800.05/1800.61 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 1800.05/1800.61 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 1800.05/1800.61 v x153 x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.05/1800.61 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 1800.05/1800.61 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1800.05/1800.61 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.05/1800.61 v -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 1800.05/1800.61 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.05/1800.61 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.05/1800.61 v -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.05/1800.61 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.05/1800.61 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 1800.05/1800.61 v -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.05/1800.61 v -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 x424 x425 x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.05/1800.61 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1800.05/1800.61 v -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1800.05/1800.61 v -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.05/1800.61 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.05/1800.61 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 1800.05/1800.61 v x545 x546 x547 x548 x549 x550 x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.05/1800.61 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.05/1800.61 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.05/1800.61 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.05/1800.61 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.05/1800.61 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.05/1800.61 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.05/1800.61 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.05/1800.61 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.05/1800.61 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 1800.05/1800.61 v x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.05/1800.61 v -x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 1800.05/1800.61 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1800.05/1800.61 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.05/1800.61 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.05/1800.61 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.05/1800.61 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.05/1800.61 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.05/1800.61 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.05/1800.61 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.05/1800.61 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.61 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.05/1800.61 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.05/1800.61 v -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 1800.05/1800.61 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.05/1800.61 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.05/1800.61 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.05/1800.61 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.05/1800.61 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.05/1800.61 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.05/1800.61 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.05/1800.61 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.05/1800.61 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.05/1800.61 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.05/1800.61 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.05/1800.61 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.05/1800.61 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.05/1800.61 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.05/1800.61 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.05/1800.61 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.05/1800.61 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 1800.05/1800.61 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.05/1800.61 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.05/1800.61 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.05/1800.61 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.05/1800.61 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.05/1800.61 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.05/1800.61 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x4321 -x4322 -x4377 -x4388 1800.05/1800.61 v x4399 -x4410 -x4421 -x4432 -x4443 -x4454 -x4323 x4334 -x4345 -x4356 -x4367 -x4372 -x4373 -x4374 -x4375 -x4376 -x4378 x4379 1800.05/1800.61 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 x4398 1800.05/1800.61 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 x4408 -x4409 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418 1800.05/1800.61 v -x4419 x4420 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 1800.05/1800.61 v -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4455 -x4456 -x4457 -x4458 1800.05/1800.61 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4324 x4325 x4326 x4327 -x4328 x4329 -x4330 x4331 -x4332 x4333 x4335 x4336 x4337 1800.05/1800.61 v -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4357 1800.05/1800.61 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4368 -x4369 -x4370 -x4371 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 42 350390 44565 548056 194943 110591496 194751 194 1800.06 1800.05/1800.61 c Objective: 5500543 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.06 s
OK 5500543
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-433142-1177955438 -o ROOT/results/node55/solver-433142-1177955438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.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.78 0.97 0.97 3/64 19130 /proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=11960 CPUtime=0 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243453852 12247040 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 2990 333 279 324 0 2004 0 [startup+0.0768401 s] /proc/loadavg: 0.78 0.97 0.97 3/64 19130 /proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=5516 CPUtime=0.06 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 814 0 0 0 6 0 0 0 18 0 1 0 243453852 5648384 728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 1379 730 305 324 0 449 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5516 [startup+0.101842 s] /proc/loadavg: 0.78 0.97 0.97 3/64 19130 /proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=5320 CPUtime=0.09 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 824 0 0 0 9 0 0 0 18 0 1 0 243453852 5447680 714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 1330 714 309 324 0 400 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5320 [startup+0.301861 s] /proc/loadavg: 0.78 0.97 0.97 3/64 19130 /proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=6988 CPUtime=0.29 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 1224 0 0 0 29 0 0 0 19 0 1 0 243453852 7155712 1114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 1747 1114 311 324 0 817 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6988 [startup+0.701899 s] /proc/loadavg: 0.78 0.97 0.97 3/64 19130 /proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=9056 CPUtime=0.69 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 1754 0 0 0 68 1 0 0 22 0 1 0 243453852 9273344 1644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 2264 1644 311 324 0 1334 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9056 [startup+1.50198 s] /proc/loadavg: 0.78 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1333484/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=14168 CPUtime=1.49 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 3027 0 0 0 147 2 0 0 25 0 1 0 243453852 14508032 2917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 3542 2917 311 324 0 2612 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14168 [startup+3.10113 s] /proc/loadavg: 0.78 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1327916/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=22080 CPUtime=3.09 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 4996 0 0 0 306 3 0 0 25 0 1 0 243453852 22609920 4886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 5520 4886 311 324 0 4590 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22080 [startup+6.30144 s] /proc/loadavg: 0.80 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1307700/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=41908 CPUtime=6.29 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 9972 0 0 0 624 5 0 0 25 0 1 0 243453852 42913792 9862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 10477 9862 311 324 0 9547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41908 [startup+12.7011 s] /proc/loadavg: 0.81 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1271540/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=76204 CPUtime=12.69 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 18522 0 0 0 1260 9 0 0 25 0 1 0 243453852 78032896 18412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 19051 18412 311 324 0 18121 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76204 [startup+25.5013 s] /proc/loadavg: 0.85 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1219892/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=125420 CPUtime=25.49 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 30823 0 0 0 2534 15 0 0 25 0 1 0 243453852 128430080 30713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 31355 30713 311 324 0 30425 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 125420 [startup+51.1017 s] /proc/loadavg: 0.90 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1133684/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=212112 CPUtime=51.06 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 52521 0 0 0 5081 25 0 0 25 0 1 0 243453852 217202688 52411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282242 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 53028 52411 311 324 0 52098 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 212112 [startup+102.306 s] /proc/loadavg: 0.96 0.97 0.97 2/65 19131 /proc/meminfo: memFree=1001780/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=342520 CPUtime=102.25 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 85105 0 0 0 10181 44 0 0 25 0 1 0 243453852 350740480 84995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 85630 84995 311 324 0 84700 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 342520 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.97 2/65 19131 /proc/meminfo: memFree=894004/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=451168 CPUtime=162.24 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 112261 0 0 0 16159 65 0 0 25 0 1 0 243453852 461996032 112151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 112792 112151 311 324 0 111862 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 451168 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=817588/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=526160 CPUtime=222.22 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 131029 0 0 0 22143 79 0 0 25 0 1 0 243453852 538787840 130919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 131540 130919 311 324 0 130610 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 526160 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=760948/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=583288 CPUtime=282.2 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 145298 0 0 0 28131 89 0 0 25 0 1 0 243453852 597286912 145188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 145822 145188 311 324 0 144892 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 583288 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=689332/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=654356 CPUtime=342.19 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 163070 0 0 0 34119 100 0 0 25 0 1 0 243453852 670060544 162960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 163589 162960 311 324 0 162659 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 654356 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=591476/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=753888 CPUtime=402.17 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 187962 0 0 0 40101 116 0 0 25 0 1 0 243453852 771981312 187852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 188472 187852 311 324 0 187542 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 753888 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=503156/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=840388 CPUtime=462.16 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 209576 0 0 0 46086 130 0 0 25 0 1 0 243453852 860557312 209466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 210097 209466 311 324 0 209167 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 840388 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=391988/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=952836 CPUtime=522.14 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 237698 0 0 0 52066 148 0 0 25 0 1 0 243453852 975704064 237588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 238209 237588 311 324 0 237279 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 952836 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19131 /proc/meminfo: memFree=299444/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1043800 CPUtime=582.13 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 260438 0 0 0 58051 162 0 0 25 0 1 0 243453852 1068851200 260328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 260950 260328 311 324 0 260020 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1043800 [startup+642.302 s] /proc/loadavg: 1.24 1.03 0.99 2/71 19247 /proc/meminfo: memFree=280700/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=642.07 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 64042 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 1060624 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 0.99 2/65 19329 /proc/meminfo: memFree=282036/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=881.96 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 88031 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1060624 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=941.95 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 94030 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1060624 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1001.93 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 100028 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1060624 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1061.92 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 106027 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1060624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1121.9 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 112025 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1060624 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1181.89 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 118024 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1060624 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1241.88 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 124023 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1060624 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1301.86 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 130021 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1060624 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=281908/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1060624 CPUtime=1361.84 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 136019 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 265156 264529 311 324 0 264226 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1060624 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=212084/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1130504 CPUtime=1421.83 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 282272 0 0 0 142008 175 0 0 25 0 1 0 243453852 1157636096 281997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 282626 281997 311 324 0 281696 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1130504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=139060/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1203820 CPUtime=1481.81 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 300598 0 0 0 147996 185 0 0 25 0 1 0 243453852 1232711680 300323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 300955 300323 311 324 0 300025 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1203820 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=77620/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1264588 CPUtime=1541.8 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 315806 0 0 0 153985 195 0 0 25 0 1 0 243453852 1294938112 315531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 316147 315531 311 324 0 315217 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1264588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=40244/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1302372 CPUtime=1601.79 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 325231 0 0 0 159979 200 0 0 25 0 1 0 243453852 1333628928 324956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 325593 324956 311 324 0 324663 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1302372 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=15156/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1340676 CPUtime=1661.77 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 334821 0 0 0 165973 204 0 0 25 0 1 0 243453852 1372852224 334546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 335169 334546 311 324 0 334239 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1340676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=15924/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1380248 CPUtime=1721.76 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 344722 0 0 0 171965 211 0 0 25 0 1 0 243453852 1413373952 344447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 345062 344447 311 324 0 344132 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1380248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=15092/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1422040 CPUtime=1781.74 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 355164 0 0 0 177958 216 0 0 25 0 1 0 243453852 1456168960 354889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 355510 354889 311 324 0 354580 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1422040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=15732/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=1431856 CPUtime=1800.05 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 357620 0 0 0 179787 218 0 0 25 0 1 0 243453852 1466220544 357345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 357964 357345 311 324 0 357034 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1431856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/65 19329 /proc/meminfo: memFree=15732/2055920 swapFree=4184544/4192956 [pid=19130] ppid=19128 vsize=0 CPUtime=1800.24 /proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194308 357624 0 0 0 179787 237 0 0 25 0 1 0 243453852 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19130/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.28 CPU user time (s): 1797.87 CPU system time (s): 2.40463 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1431856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.87 system time used= 2.40463 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357624 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= 3267 runsolver used 1.50077 second user time and 3.47647 second system time The end
Begin job on node55 on Mon Apr 30 17:50:38 UTC 2007 IDJOB= 433142 IDBENCH= 2294 IDSOLVER= 199 FILE ID= node55/433142-1177955438 PBS_JOBID= 4727711 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-433142-1177955438 -o ROOT/results/node55/solver-433142-1177955438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED= 8922892 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1341580 kB Buffers: 60664 kB Cached: 566800 kB SwapCached: 2556 kB Active: 339440 kB Inactive: 297648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1341580 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 6992 kB Writeback: 0 kB Mapped: 15992 kB Slab: 63376 kB Committed_AS: 1411836 kB PageTables: 1380 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= 66558 MiB End job on node55 on Mon Apr 30 18:20:41 UTC 2007