0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693262-1277932092.wbo>
0.01/0.06 c original problem has 13378 variables (7765 bin, 0 int, 0 impl, 5613 cont) and 11227 constraints
0.01/0.06 c problem read
0.01/0.06 c presolving settings loaded
0.39/0.46 o 284791
0.39/0.46 c feasible solution found by trivial heuristic, objective value 2.847910e+05
0.39/0.46 c presolving:
0.39/0.48 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 238 chg sides, 476 chg coeffs, 0 upgd conss, 5613 impls, 0 clqs
0.49/0.50 c (round 2) 0 del vars, 1 del conss, 5613 chg bounds, 238 chg sides, 476 chg coeffs, 0 upgd conss, 5613 impls, 0 clqs
0.49/0.59 c (0.5s) probing: 101/7765 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.59 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (3 rounds):
0.49/0.59 c 0 deleted vars, 1 deleted constraints, 5613 tightened bounds, 0 added holes, 238 changed sides, 476 changed coefficients
0.49/0.59 c 5613 implications, 0 cliques
0.49/0.59 c presolved problem has 13378 variables (7765 bin, 0 int, 0 impl, 5613 cont) and 11226 constraints
0.49/0.59 c 5613 constraints of type <indicator>
0.49/0.59 c 1 constraints of type <varbound>
0.49/0.59 c 5612 constraints of type <linear>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.49
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 1.2.1.2
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1799.94
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 3420
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c separating/rapidlearning/freq = 0
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.59/0.60 c
0.59/0.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.63 c t 0.5s| 1 | 0 | 0 | - | 42M| 0 | 0 | 13k| 11k| 13k| 0 | 0 | 0 | 0 | 0.000000e+00 | 2.847910e+05 | Inf
0.59/0.64 c 0.6s| 1 | 0 | 200 | - | 42M| 0 | 66 | 13k| 11k| 13k| 201 | 201 | 0 | 0 | 0.000000e+00 | 2.847910e+05 | Inf
0.59/0.65 o 284760
0.59/0.65 c y 0.6s| 1 | 0 | 200 | - | 42M| 0 | 66 | 13k| 11k| 13k| 201 | 201 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
0.69/0.73 c 0.6s| 1 | 0 | 359 | - | 42M| 0 | 114 | 13k| 11k| 13k| 422 | 422 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
0.79/0.89 c 0.8s| 1 | 0 | 817 | - | 43M| 0 | 272 | 13k| 11k| 13k| 668 | 668 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
0.99/1.04 c 0.9s| 1 | 0 | 1060 | - | 43M| 0 | 464 | 13k| 11k| 13k| 890 | 890 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
1.19/1.23 c 1.1s| 1 | 0 | 1338 | - | 44M| 0 | 540 | 13k| 11k| 13k|1095 |1095 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
1.49/1.50 c 1.4s| 1 | 0 | 1684 | - | 44M| 0 | 614 | 13k| 11k| 13k|1292 |1292 | 0 | 0 | 0.000000e+00 | 2.847600e+05 | Inf
2.09/2.15 c 2.0s| 1 | 2 | 2424 | - | 44M| 0 | 614 | 13k| 11k| 13k|1292 |1292 | 0 | 33 | 0.000000e+00 | 2.847600e+05 | Inf
116.89/116.98 c 115s| 10000 | 10001 |185692 | 18.4 | 102M| 171 | 52 | 13k| 11k| 13k|1153 |1292 | 0 |3619 | 0.000000e+00 | 2.847600e+05 | Inf
169.99/170.04 c 166s| 20000 | 20001 |240303 | 11.9 | 143M| 225 | 72 | 13k| 11k| 13k|1153 |7042 | 0 |4225 | 0.000000e+00 | 2.847600e+05 | Inf
225.40/225.43 c 221s| 30000 | 30001 |292878 | 9.7 | 184M| 349 | 0 | 13k| 11k| 13k|1308 | 14k| 0 |4778 | 0.000000e+00 | 2.847600e+05 | Inf
294.89/294.99 c 290s| 40000 | 39997 |324853 | 8.1 | 226M| 365 | 74 | 13k| 11k| 13k|1153 | 23k| 2 |5498 | 0.000000e+00 | 2.847600e+05 | Inf
364.01/364.04 c 358s| 50000 | 49995 |354472 | 7.1 | 267M| 369 | 0 | 13k| 11k| 13k|1338 | 33k| 3 |5635 | 0.000000e+00 | 2.847600e+05 | Inf
434.20/434.23 c 428s| 60000 | 59993 |385339 | 6.4 | 309M| 369 | 65 | 13k| 11k| 13k|1232 | 42k| 4 |6182 | 0.000000e+00 | 2.847600e+05 | Inf
503.50/503.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.50/503.54 c 496s| 70000 | 69993 |417075 | 5.9 | 351M| 371 | 0 | 13k| 11k| 13k|1355 | 51k| 4 |6395 | 0.000000e+00 | 2.847600e+05 | Inf
572.81/572.88 c 565s| 80000 | 79993 |447065 | 5.6 | 392M| 371 | 0 | 13k| 11k| 13k|1322 | 61k| 4 |6480 | 0.000000e+00 | 2.847600e+05 | Inf
642.90/642.98 c 634s| 90000 | 89993 |474523 | 5.3 | 434M| 375 | 0 | 13k| 11k| 13k|1294 | 70k| 4 |6535 | 0.000000e+00 | 2.847600e+05 | Inf
713.30/713.36 c 704s|100000 | 99993 |502744 | 5.0 | 475M| 375 | 0 | 13k| 11k| 13k|1322 | 79k| 4 |6544 | 0.000000e+00 | 2.847600e+05 | Inf
783.41/783.46 c 773s|110000 |109993 |531940 | 4.8 | 517M| 375 | 0 | 13k| 11k| 13k|1316 | 88k| 4 |6608 | 0.000000e+00 | 2.847600e+05 | Inf
853.31/853.36 c 842s|120000 |119993 |560950 | 4.7 | 558M| 375 | 0 | 13k| 11k| 13k|1311 | 97k| 4 |6637 | 0.000000e+00 | 2.847600e+05 | Inf
921.02/921.00 c 908s|130000 |129993 |593028 | 4.5 | 600M| 377 | 135 | 13k| 11k| 13k|1153 | 106k| 4 |6684 | 0.000000e+00 | 2.847600e+05 | Inf
976.31/976.35 c 963s|140000 |139991 |640206 | 4.6 | 641M| 377 | 0 | 13k| 11k| 13k|1317 | 114k| 5 |6787 | 0.000000e+00 | 2.847600e+05 | Inf
1037.71/1037.73 c 1023s|150000 |149991 |682445 | 4.5 | 682M| 377 | 36 | 13k| 11k| 13k|1153 | 123k| 5 |7399 | 0.000000e+00 | 2.847600e+05 | Inf
1097.41/1097.41 c 1082s|160000 |159989 |729159 | 4.5 | 724M| 377 | 62 | 13k| 11k| 13k|1230 | 131k| 6 |7998 | 0.000000e+00 | 2.847600e+05 | Inf
1161.02/1161.06 c 1144s|170000 |169989 |767792 | 4.5 | 765M| 377 | 20 | 13k| 11k| 13k|1223 | 140k| 6 |8194 | 0.000000e+00 | 2.847600e+05 | Inf
1216.62/1216.65 c 1198s|180000 |179989 |819370 | 4.5 | 806M| 377 | 94 | 13k| 11k| 13k|1153 | 148k| 6 |8904 | 0.000000e+00 | 2.847600e+05 | Inf
1275.82/1275.83 c 1257s|190000 |189989 |862938 | 4.5 | 848M| 377 | 0 | 13k| 11k| 13k|1322 | 157k| 6 |9150 | 0.000000e+00 | 2.847600e+05 | Inf
1337.72/1337.72 c 1317s|200000 |199989 |907232 | 4.5 | 889M| 377 | 31 | 13k| 11k| 13k|1153 | 166k| 6 |9942 | 0.000000e+00 | 2.847600e+05 | Inf
1393.43/1393.46 c 1372s|210000 |209989 |955232 | 4.5 | 930M| 377 | 131 | 13k| 11k| 13k|1153 | 174k| 6 | 10k| 0.000000e+00 | 2.847600e+05 | Inf
1449.52/1449.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.52/1449.56 c 1427s|220000 |219989 | 1004k| 4.6 | 971M| 377 | 16 | 13k| 11k| 13k|1289 | 182k| 6 | 10k| 0.000000e+00 | 2.847600e+05 | Inf
1506.83/1506.90 c 1484s|230000 |229989 | 1056k| 4.6 |1012M| 377 | 29 | 13k| 11k| 13k|1153 | 191k| 6 | 11k| 0.000000e+00 | 2.847600e+05 | Inf
1565.53/1565.59 c 1541s|240000 |239989 | 1105k| 4.6 |1053M| 377 | 1 | 13k| 11k| 13k|1228 | 199k| 6 | 11k| 0.000000e+00 | 2.847600e+05 | Inf
1622.83/1622.83 c 1598s|250000 |249989 | 1151k| 4.6 |1095M| 377 | 58 | 13k| 11k| 13k|1213 | 207k| 6 | 11k| 0.000000e+00 | 2.847600e+05 | Inf
1686.73/1686.78 c 1661s|260000 |259987 | 1189k| 4.6 |1136M| 377 | 1 | 13k| 11k| 13k|1320 | 215k| 7 | 12k| 0.000000e+00 | 2.847600e+05 | Inf
1744.43/1744.46 c 1717s|270000 |269987 | 1234k| 4.6 |1177M| 377 | 0 | 13k| 11k| 13k|1270 | 222k| 7 | 12k| 0.000000e+00 | 2.847600e+05 | Inf
1799.33/1799.36 c 1771s|280000 |279987 | 1282k| 4.6 |1218M| 377 | 26 | 13k| 11k| 13k|1153 | 229k| 7 | 13k| 0.000000e+00 | 2.847600e+05 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1771.89
1800.03/1800.00 c Solving Nodes : 280089
1800.03/1800.00 c Primal Bound : +2.84760000000000e+05 (102 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.43/1800.46 s SATISFIABLE
1800.43/1800.46 v -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
1800.43/1800.46 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117
1800.43/1800.46 v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099
1800.43/1800.46 v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081
1800.43/1800.46 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
1800.43/1800.46 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045
1800.43/1800.46 v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027
1800.43/1800.46 v -x2026 -x2025 -x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
1800.43/1800.46 v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
1800.43/1800.46 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974
1800.43/1800.46 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956
1800.43/1800.46 v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
1800.43/1800.46 v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920
1800.43/1800.46 v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902
1800.43/1800.46 v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884
1800.43/1800.46 v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
1800.43/1800.46 v -x1865 -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 x1850 -x1849 x1848
1800.43/1800.46 v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830
1800.43/1800.46 v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
1800.43/1800.46 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795
1800.43/1800.46 v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777
1800.43/1800.46 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1800.43/1800.46 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741
1800.43/1800.46 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723
1800.43/1800.46 v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705
1800.43/1800.46 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687
1800.43/1800.46 v -x1686 -x1685 -x1684 -x1683 x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669
1800.43/1800.46 v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651
1800.43/1800.46 v x1650 -x1649 -x1648 x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
1800.43/1800.46 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
1800.43/1800.46 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
1800.43/1800.46 v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
1800.43/1800.46 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
1800.43/1800.46 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
1800.43/1800.46 v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
1800.43/1800.46 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
1800.43/1800.46 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
1800.43/1800.46 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472
1800.43/1800.46 v x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454
1800.43/1800.46 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436
1800.43/1800.46 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418
1800.43/1800.46 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400
1800.43/1800.46 v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382
1800.43/1800.46 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364
1800.43/1800.46 v -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346
1800.43/1800.46 v -x1345 x1344 -x1343 -x1342 -x1341 -x1340 x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327
1800.43/1800.46 v x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309
1800.43/1800.46 v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291
1800.43/1800.46 v -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
1800.43/1800.46 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255
1800.43/1800.46 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237
1800.43/1800.46 v -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219
1800.43/1800.46 v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201
1800.43/1800.46 v -x1200 -x1199 x1198 -x1197 x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
1800.43/1800.46 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
1800.43/1800.46 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
1800.43/1800.46 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133 -x1132 x1131 -x1130 -x1129
1800.43/1800.46 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111
1800.43/1800.46 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1800.43/1800.46 v x1092 -x1091 x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1800.43/1800.46 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1800.43/1800.46 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
1800.43/1800.46 v -x1038 -x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
1800.43/1800.46 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003
1800.43/1800.46 v -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983
1800.43/1800.46 v -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966 -x965 x964 -x963 -x962 -x961
1800.43/1800.46 v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940
1800.43/1800.46 v -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919
1800.43/1800.46 v -x918 -x917 -x916 -x915 -x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898
1800.43/1800.46 v -x897 -x896 x895 x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876
1800.43/1800.46 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855
1800.43/1800.46 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
1800.43/1800.46 v x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813
1800.43/1800.46 v -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 x792
1800.43/1800.46 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1800.43/1800.46 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750
1800.43/1800.46 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729
1800.43/1800.46 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1800.43/1800.46 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.43/1800.46 v -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.43/1800.46 v -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645 -x644
1800.43/1800.46 v -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.43/1800.46 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 x604 -x603 -x602
1800.43/1800.46 v -x601 -x600 x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1800.43/1800.46 v -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560
1800.43/1800.46 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539
1800.43/1800.46 v x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 x528 x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517
1800.43/1800.46 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1800.43/1800.46 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1800.43/1800.46 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.43/1800.46 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.43/1800.46 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.43/1800.46 v -x411 -x410 -x409 -x408 -x407 x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391
1800.43/1800.46 v x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 x375 -x374 -x373 -x372 -x371 -x370
1800.43/1800.46 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 x352 -x351 -x350 x349 x348
1800.43/1800.46 v -x347 -x346 x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.43/1800.46 v -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306
1800.43/1800.46 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285
1800.43/1800.46 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1800.43/1800.46 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243
1800.43/1800.46 v -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.43/1800.46 v -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 x202 -x201 -x200
1800.43/1800.46 v -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.43/1800.46 v -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158
1800.43/1800.46 v x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 -x136
1800.43/1800.46 v -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1800.43/1800.46 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1800.43/1800.46 v -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68
1800.43/1800.46 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 -x43 -x42
1800.43/1800.46 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17
1800.43/1800.46 v -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.43/1800.46 c SCIP Status : solving was interrupted [user interrupt]
1800.43/1800.46 c Solving Time : 1771.89
1800.43/1800.46 c Original Problem :
1800.43/1800.46 c Problem name : HOME/instance-2693262-1277932092.wbo
1800.43/1800.46 c Variables : 13378 (7765 binary, 0 integer, 0 implicit integer, 5613 continuous)
1800.43/1800.46 c Constraints : 11227 initial, 11227 maximal
1800.43/1800.46 c Presolved Problem :
1800.43/1800.46 c Problem name : t_HOME/instance-2693262-1277932092.wbo
1800.43/1800.46 c Variables : 13378 (7765 binary, 0 integer, 0 implicit integer, 5613 continuous)
1800.43/1800.46 c Constraints : 11226 initial, 11230 maximal
1800.43/1800.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.43/1800.46 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c implics : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c probing : 0.08 0 0 0 0 0 0 0 0
1800.43/1800.46 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.43/1800.46 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c linear : 0.04 0 0 0 5613 0 1 238 476
1800.43/1800.46 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.43/1800.46 c root node : - 0 - - 0 - - - -
1800.43/1800.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.43/1800.46 c integral : 0 0 0 294493 0 0 0 0 0 346336
1800.43/1800.46 c indicator : 5613 0 494801 121325 0 0 210903 0 0 0
1800.43/1800.46 c varbound : 1 6 494783 121306 0 0 0 1 0 0
1800.43/1800.46 c linear : 5612 6 494801 121325 0 6 264423 229325 0 0
1800.43/1800.46 c logicor : 0+ 0 3842 0 0 0 647 0 0 0
1800.43/1800.46 c countsols : 0 0 0 106914 0 0 0 0 0 0
1800.43/1800.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.43/1800.46 c integral : 64.20 0.00 0.00 64.20 0.00
1800.43/1800.46 c indicator : 154.70 0.01 57.09 97.60 0.00
1800.43/1800.46 c varbound : 0.41 0.00 0.27 0.14 0.00
1800.43/1800.46 c linear : 235.03 0.00 51.52 183.51 0.00
1800.43/1800.46 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.43/1800.46 c countsols : 0.07 0.00 0.00 0.07 0.00
1800.43/1800.46 c Propagators : Time Calls Cutoffs DomReds
1800.43/1800.46 c vbounds : 0.18 2 0 0
1800.43/1800.46 c rootredcost : 0.21 1 0 0
1800.43/1800.46 c pseudoobj : 70.07 494601 0 0
1800.43/1800.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.43/1800.46 c propagation : 0.00 6 6 9 10.4 0 0.0 -
1800.43/1800.46 c infeasible LP : 0.00 1 1 1 4.0 0 0.0 0
1800.43/1800.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.43/1800.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.43/1800.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.43/1800.46 c applied globally : - - - 7 9.4 - - -
1800.43/1800.46 c applied locally : - - - 0 0.0 - - -
1800.43/1800.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.43/1800.46 c cut pool : 0.00 4 - - 292 - (maximal pool size: 1015)
1800.43/1800.46 c redcost : 100.69 294404 0 0 0 0
1800.43/1800.46 c impliedbounds : 0.00 5 0 0 0 0
1800.43/1800.46 c intobj : 0.00 0 0 0 0 0
1800.43/1800.46 c cgmip : 0.00 0 0 0 0 0
1800.43/1800.46 c gomory : 0.05 5 0 0 225 0
1800.43/1800.46 c strongcg : 0.02 5 0 0 0 0
1800.43/1800.46 c cmir : 0.14 5 0 0 127 0
1800.43/1800.46 c flowcover : 0.42 5 0 0 858 0
1800.43/1800.46 c clique : 0.01 1 0 0 0 0
1800.43/1800.46 c zerohalf : 0.00 0 0 0 0 0
1800.43/1800.46 c mcf : 0.00 1 0 0 0 0
1800.43/1800.46 c rapidlearning : 0.00 0 0 0 0 0
1800.43/1800.46 c Pricers : Time Calls Vars
1800.43/1800.46 c problem variables: 0.00 0 0
1800.43/1800.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.43/1800.46 c relpscost : 63.81 173168 0 0 0 0 346336
1800.43/1800.46 c pscost : 0.00 0 0 0 0 0 0
1800.43/1800.46 c inference : 128.30 106914 0 0 0 0 213828
1800.43/1800.46 c mostinf : 0.00 0 0 0 0 0 0
1800.43/1800.46 c leastinf : 0.00 0 0 0 0 0 0
1800.43/1800.46 c fullstrong : 0.00 0 0 0 0 0 0
1800.43/1800.46 c allfullstrong : 0.00 0 0 0 0 0 0
1800.43/1800.46 c random : 0.00 0 0 0 0 0 0
1800.43/1800.46 c Primal Heuristics : Time Calls Found
1800.43/1800.46 c LP solutions : 0.00 - 0
1800.43/1800.46 c pseudo solutions : 0.00 - 0
1800.43/1800.46 c feaspump : 0.00 0 0
1800.43/1800.46 c oneopt : 0.44 1 0
1800.43/1800.46 c crossover : 0.91 10 0
1800.43/1800.46 c intshifting : 0.64 30 0
1800.43/1800.46 c fracdiving : 13.50 1312 0
1800.43/1800.46 c linesearchdiving : 13.28 1313 0
1800.43/1800.46 c guideddiving : 13.34 1313 0
1800.43/1800.46 c coefdiving : 14.17 1313 0
1800.43/1800.46 c pscostdiving : 12.85 1313 0
1800.43/1800.46 c veclendiving : 12.90 1313 0
1800.43/1800.46 c objpscostdiving : 7.39 808 0
1800.43/1800.46 c rootsoldiving : 6.96 1022 0
1800.43/1800.46 c trivial : 0.37 2 2
1800.43/1800.46 c simplerounding : 0.46 141964 0
1800.43/1800.46 c zirounding : 0.18 1000 0
1800.43/1800.46 c rounding : 0.86 5314 0
1800.43/1800.46 c shifting : 9.00 1809 0
1800.43/1800.46 c twoopt : 0.00 0 0
1800.43/1800.46 c fixandinfer : 0.00 0 0
1800.43/1800.46 c intdiving : 0.00 0 0
1800.43/1800.46 c actconsdiving : 0.00 0 0
1800.43/1800.46 c octane : 0.00 0 0
1800.43/1800.46 c rens : 0.07 1 0
1800.43/1800.46 c rins : 0.00 0 0
1800.43/1800.46 c localbranching : 0.00 0 0
1800.43/1800.46 c mutation : 0.00 0 0
1800.43/1800.46 c dins : 0.00 0 0
1800.43/1800.46 c undercover : 0.00 0 0
1800.43/1800.46 c nlp : 0.13 0 0
1800.43/1800.46 c trysol : 0.75 3449 100
1800.43/1800.46 c LP : Time Calls Iterations Iter/call Iter/sec
1800.43/1800.46 c primal LP : 0.01 0 0 0.00 0.00
1800.43/1800.46 c dual LP : 583.50 166225 1228698 7.39 2105.74
1800.43/1800.46 c lex dual LP : 0.00 0 0 0.00 -
1800.43/1800.46 c barrier LP : 0.00 0 0 0.00 -
1800.43/1800.46 c diving/probing LP: 24.96 10403 54700 5.26 2191.51
1800.43/1800.46 c strong branching : 59.11 13234 204749 15.47 3463.86
1800.43/1800.46 c (at root node) : - 33 2354 71.33 -
1800.43/1800.46 c conflict analysis: 0.00 0 0 0.00 -
1800.43/1800.46 c B&B Tree :
1800.43/1800.46 c number of runs : 1
1800.43/1800.46 c nodes : 280089
1800.43/1800.46 c nodes (total) : 280089
1800.43/1800.46 c nodes left : 280076
1800.43/1800.46 c max depth : 377
1800.43/1800.46 c max depth (total): 377
1800.43/1800.46 c backtracks : 1615 (0.6%)
1800.43/1800.46 c delayed cutoffs : 0
1800.43/1800.46 c repropagations : 225 (7 domain reductions, 0 cutoffs)
1800.43/1800.46 c avg switch length: 2.11
1800.43/1800.46 c switching time : 25.15
1800.43/1800.46 c Solution :
1800.43/1800.46 c Solutions found : 102 (2 improvements)
1800.43/1800.46 c First Solution : +2.84791000000000e+05 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.43/1800.46 c Primal Bound : +2.84760000000000e+05 (in run 1, after 1 nodes, 0.55 seconds, depth 0, found by <trysol>)
1800.43/1800.46 c Dual Bound : +0.00000000000000e+00
1800.43/1800.46 c Gap : infinite
1800.43/1800.46 c Root Dual Bound : +0.00000000000000e+00
1800.43/1800.46 c Root Iterations : 1684
1800.83/1800.86 c Time complete: 1800.9.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693262-1277932092/watcher-2693262-1277932092 -o /tmp/evaluation-result-2693262-1277932092/solver-2693262-1277932092 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693262-1277932092.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14385
/proc/meminfo: memFree=30809184/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=11116 CPUtime=0
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 1695 0 0 0 0 0 0 0 25 0 1 0 134506739 11382784 1616 4089446400 4194304 9819077 140736048525312 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14385/statm: 2779 1622 392 1374 0 1400 0
[startup+0.0235051 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14385
/proc/meminfo: memFree=30809184/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=17048 CPUtime=0.01
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 3183 0 0 0 1 0 0 0 25 0 1 0 134506739 17457152 3104 4089446400 4194304 9819077 140736048525312 18446744073709551615 8857090 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14385/statm: 4262 3104 392 1374 0 2883 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17048
[startup+0.100491 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14385
/proc/meminfo: memFree=30809184/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=52812 CPUtime=0.09
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 12595 0 0 0 8 1 0 0 25 0 1 0 134506739 54079488 12134 4089446400 4194304 9819077 140736048525312 18446744073709551615 4843484 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 13203 12134 444 1374 0 11824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52812
[startup+0.300455 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14385
/proc/meminfo: memFree=30809184/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=61500 CPUtime=0.29
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 14224 0 0 0 28 1 0 0 25 0 1 0 134506739 62976000 13763 4089446400 4194304 9819077 140736048525312 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 15375 13763 478 1374 0 13996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61500
[startup+0.700385 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14385
/proc/meminfo: memFree=30809184/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=77496 CPUtime=0.69
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 18365 0 0 0 66 3 0 0 25 0 1 0 134506739 79355904 17241 4089446400 4194304 9819077 140736048525312 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 19374 17241 682 1374 0 17995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77496
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30740976/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=81520 CPUtime=1.49
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 20700 0 0 0 145 4 0 0 25 0 1 0 134506739 83476480 18012 4089446400 4194304 9819077 140736048525312 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 20380 18012 681 1374 0 19001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81520
[startup+3.10096 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30738000/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=85880 CPUtime=3.09
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 68184 0 0 0 298 11 0 0 25 0 1 0 134506739 87941120 18351 4089446400 4194304 9819077 140736048525312 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 21470 18351 708 1374 0 20091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85880
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30738240/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=85028 CPUtime=6.29
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 145971 0 0 0 610 19 0 0 25 0 1 0 134506739 87068672 18356 4089446400 4194304 9819077 140736048525312 18446744073709551615 7284106 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 21257 18356 708 1374 0 19878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85028
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30735712/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=86616 CPUtime=12.69
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 330070 0 0 0 1224 45 0 0 25 0 1 0 134506739 88694784 18934 4089446400 4194304 9819077 140736048525312 18446744073709551615 7226672 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 21654 18934 708 1374 0 20275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86616
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30725960/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=94652 CPUtime=25.5
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 714502 0 0 0 2455 95 0 0 25 0 1 0 134506739 96923648 21484 4089446400 4194304 9819077 140736048525312 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 23663 21484 709 1374 0 22284 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 94652
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14387
/proc/meminfo: memFree=30707212/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=111656 CPUtime=51.09
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 869837 0 0 0 4975 134 0 0 25 0 1 0 134506739 114335744 25892 4089446400 4194304 9819077 140736048525312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 27914 25892 709 1374 0 26535 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111656
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14388
/proc/meminfo: memFree=30685356/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=132876 CPUtime=102.3
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 1139142 0 0 0 10018 212 0 0 25 0 1 0 134506739 136065024 31160 4089446400 4194304 9819077 140736048525312 18446744073709551615 6567612 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14385/statm: 33219 31160 709 1374 0 31840 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 132876
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14390
/proc/meminfo: memFree=30643524/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=176308 CPUtime=162.29
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 1657637 0 0 0 15892 337 0 0 25 0 1 0 134506739 180539392 41912 4089446400 4194304 9819077 140736048525312 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 44077 41912 710 1374 0 42698 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 176308
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14392
/proc/meminfo: memFree=30601280/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=220912 CPUtime=222.29
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 2305732 0 0 0 21759 470 0 0 25 0 1 0 134506739 226213888 53159 4089446400 4194304 9819077 140736048525312 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 55228 53159 710 1374 0 53849 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 220912
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14394
/proc/meminfo: memFree=30565488/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=255444 CPUtime=282.3
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 2512959 0 0 0 27705 525 0 0 25 0 1 0 134506739 261574656 61791 4089446400 4194304 9819077 140736048525312 18446744073709551615 6003880 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 63861 61791 715 1374 0 62482 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 255444
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14395
/proc/meminfo: memFree=30527104/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=293108 CPUtime=342.29
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 2704793 0 0 0 33650 579 0 0 25 0 1 0 134506739 300142592 71268 4089446400 4194304 9819077 140736048525312 18446744073709551615 6361634 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 73277 71268 715 1374 0 71898 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 293108
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14396
/proc/meminfo: memFree=30491964/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=328340 CPUtime=402.3
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 2907743 0 0 0 39601 629 0 0 25 0 1 0 134506739 336220160 80081 4089446400 4194304 9819077 140736048525312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 82085 80081 715 1374 0 80706 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 328340
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14398
/proc/meminfo: memFree=30456720/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=363184 CPUtime=462.3
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 3141164 0 0 0 45543 687 0 0 25 0 1 0 134506739 371900416 88828 4089446400 4194304 9819077 140736048525312 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 90796 88828 715 1374 0 89417 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 363184
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14400
/proc/meminfo: memFree=30420068/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=399104 CPUtime=522.3
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 3351586 0 0 0 51485 745 0 0 25 0 1 0 134506739 408682496 97334 4089446400 4194304 9819077 140736048525312 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 99776 97334 715 1374 0 98397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 399104
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14402
/proc/meminfo: memFree=30382068/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=436192 CPUtime=582.31
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 3636657 0 0 0 57418 813 0 0 25 0 1 0 134506739 446660608 106605 4089446400 4194304 9819077 140736048525312 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 109048 106605 715 1374 0 107669 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 436192
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14403
/proc/meminfo: memFree=30345056/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=470896 CPUtime=642.31
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 3920341 0 0 0 63351 880 0 0 25 0 1 0 134506739 482197504 115344 4089446400 4194304 9819077 140736048525312 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 117724 115344 715 1374 0 116345 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 470896
[startup+702.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14411
/proc/meminfo: memFree=30162296/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=649504 CPUtime=942.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 5789457 0 0 0 92927 1305 0 0 25 0 1 0 134506739 665092096 160171 4089446400 4194304 9819077 140736048525312 18446744073709551615 4902812 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 162376 160171 715 1374 0 160997 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 649504
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14412
/proc/meminfo: memFree=30120836/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=688056 CPUtime=1002.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 6145766 0 0 0 98846 1386 0 0 25 0 1 0 134506739 704569344 169868 4089446400 4194304 9819077 140736048525312 18446744073709551615 4819092 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 172014 169868 715 1374 0 170635 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 688056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14414
/proc/meminfo: memFree=30072680/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=734460 CPUtime=1062.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 6718299 0 0 0 104719 1513 0 0 25 0 1 0 134506739 752087040 181541 4089446400 4194304 9819077 140736048525312 18446744073709551615 6003250 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 183615 181541 715 1374 0 182236 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 734460
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14416
/proc/meminfo: memFree=30033328/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=772240 CPUtime=1122.31
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 7179989 0 0 0 110622 1609 0 0 25 0 1 0 134506739 790773760 190970 4089446400 4194304 9819077 140736048525312 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 193060 190970 715 1374 0 191681 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 772240
[startup+1182.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 14436
/proc/meminfo: memFree=30451324/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=810684 CPUtime=1182.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 7730954 0 0 0 116505 1727 0 0 25 0 1 0 134506739 830140416 200587 4089446400 4194304 9819077 140736048525312 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 202671 200587 715 1374 0 201292 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 810684
[startup+1242.3 s]
/proc/loadavg: 1.34 1.80 1.93 2/171 14441
/proc/meminfo: memFree=30405368/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=858496 CPUtime=1242.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 8352088 0 0 0 122368 1864 0 0 25 0 1 0 134506739 879099904 212596 4089446400 4194304 9819077 140736048525312 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 214624 212596 715 1374 0 213245 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 858496
[startup+1302.3 s]
/proc/loadavg: 1.12 1.65 1.87 2/171 14442
/proc/meminfo: memFree=30369860/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=893500 CPUtime=1302.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 8841393 0 0 0 128262 1970 0 0 25 0 1 0 134506739 914944000 221485 4089446400 4194304 9819077 140736048525312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 223375 221485 715 1374 0 221996 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 893500
[startup+1362.3 s]
/proc/loadavg: 1.04 1.53 1.81 2/171 14444
/proc/meminfo: memFree=30326292/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=941124 CPUtime=1362.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 9292952 0 0 0 134164 2068 0 0 25 0 1 0 134506739 963710976 232353 4089446400 4194304 9819077 140736048525312 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 235281 232353 715 1374 0 233902 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 941124
[startup+1422.31 s]
/proc/loadavg: 1.06 1.45 1.76 2/171 14449
/proc/meminfo: memFree=30282948/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=983856 CPUtime=1422.33
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 9732761 0 0 0 140060 2173 0 0 25 0 1 0 134506739 1007468544 243200 4089446400 4194304 9819077 140736048525312 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 245964 243201 715 1374 0 244585 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 983856
[startup+1482.3 s]
/proc/loadavg: 1.02 1.36 1.71 2/171 14451
/proc/meminfo: memFree=30242368/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1025552 CPUtime=1482.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 10136238 0 0 0 145962 2270 0 0 25 0 1 0 134506739 1050165248 253521 4089446400 4194304 9819077 140736048525312 18446744073709551615 6669992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 256388 253521 715 1374 0 255009 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1025552
[startup+1542.3 s]
/proc/loadavg: 1.01 1.29 1.67 2/171 14452
/proc/meminfo: memFree=30198168/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1068752 CPUtime=1542.32
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 10660789 0 0 0 151851 2381 0 0 25 0 1 0 134506739 1094402048 264377 4089446400 4194304 9819077 140736048525312 18446744073709551615 6002944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 267188 264377 715 1374 0 265809 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1068752
[startup+1602.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/171 14453
/proc/meminfo: memFree=30157072/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1109556 CPUtime=1602.33
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 11168759 0 0 0 157744 2489 0 0 25 0 1 0 134506739 1136185344 274669 4089446400 4194304 9819077 140736048525312 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 277389 274669 715 1374 0 276010 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1109556
[startup+1662.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/171 14455
/proc/meminfo: memFree=30111908/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1155936 CPUtime=1662.33
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 11549857 0 0 0 163658 2575 0 0 25 0 1 0 134506739 1183678464 286228 4089446400 4194304 9819077 140736048525312 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 288984 286228 715 1374 0 287605 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1155936
[startup+1722.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/171 14457
/proc/meminfo: memFree=30073924/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1192400 CPUtime=1722.33
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 11898290 0 0 0 169572 2661 0 0 25 0 1 0 134506739 1221017600 295407 4089446400 4194304 9819077 140736048525312 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 298100 295407 715 1374 0 296721 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1192400
[startup+1782.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/171 14459
/proc/meminfo: memFree=30026632/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1240140 CPUtime=1782.34
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 12376965 0 0 0 175458 2776 0 0 25 0 1 0 134506739 1269903360 307330 4089446400 4194304 9819077 140736048525312 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 310035 307330 715 1374 0 308656 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1240140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.12 1.50 2/171 14459
/proc/meminfo: memFree=30014972/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1250880 CPUtime=1800.03
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 12571460 0 0 0 177194 2809 0 0 25 0 1 0 134506739 1280901120 310047 4089446400 4194304 9819077 140736048525312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14385/statm: 312720 310047 715 1374 0 311341 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1250880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.00 1.12 1.50 2/172 14460
/proc/meminfo: memFree=30070144/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=1177908 CPUtime=1800.63
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 12571485 0 0 0 177254 2809 0 0 25 0 1 0 134506739 1206177792 291836 4089446400 4194304 9819077 140736048525312 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14385/statm: 294477 291836 718 1374 0 293098 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 1177908
[startup+1800.8 s]
/proc/loadavg: 1.00 1.12 1.50 2/172 14460
/proc/meminfo: memFree=30070144/32951124 swapFree=67111528/67111528
[pid=14385] ppid=14383 vsize=317688 CPUtime=1800.83
/proc/14385/stat : 14385 (pbscip.linux.x8) R 14383 14385 13565 0 -1 4202496 12571485 0 0 0 177271 2812 0 0 25 0 1 0 134506739 325312512 76781 4089446400 4194304 9819077 140736048525312 18446744073709551615 6179960 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14385/statm: 79422 76781 718 1374 0 78043 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 317688
Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.91
CPU user time (s): 1772.77
CPU system time (s): 28.1407
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1253444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.77
system time used= 28.1407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12571489
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= 1
involuntary context switches= 18252
runsolver used 2.6126 second user time and 5.67414 second system time
The end
Begin job on node107 at 2010-06-30 23:08:12
IDJOB=2693262
IDBENCH=79333
IDSOLVER=1205
FILE ID=node107/2693262-1277932092
PBS_JOBID= 11197410
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693262-1277932092/watcher-2693262-1277932092 -o /tmp/evaluation-result-2693262-1277932092/solver-2693262-1277932092 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693262-1277932092.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8b380a82e4776add8076b73e28ebbe59
RANDOM SEED=1407982652
node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30809588 kB
Buffers: 213500 kB
Cached: 1280840 kB
SwapCached: 0 kB
Active: 873128 kB
Inactive: 1123932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30809588 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6236 kB
Writeback: 0 kB
AnonPages: 502820 kB
Mapped: 17096 kB
Slab: 80520 kB
PageTables: 5432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 656688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node107 at 2010-06-30 23:38:14