Trace number 2692622

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.84 1800.8

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
MD5SUM8b380a82e4776add8076b73e28ebbe59
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.855869
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2152
Total number of constraints5613
Number of soft constraints5613
Number of constraints which are clauses5137
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 284792
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 284791
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 129
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692622-1277932088.wbo>
0.00/0.06	c original problem has 13378 variables (7765 bin, 0 int, 0 impl, 5613 cont) and 11227 constraints
0.00/0.06	c problem read
0.00/0.06	c presolving settings loaded
0.39/0.47	o 284791
0.39/0.47	c feasible solution found by trivial heuristic, objective value  2.847910e+05
0.39/0.47	c presolving:
0.39/0.49	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.59/0.60	c    (0.5s) probing: 101/7765 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.60	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.60	c presolving (3 rounds):
0.59/0.60	c  0 deleted vars, 1 deleted constraints, 5613 tightened bounds, 0 added holes, 238 changed sides, 476 changed coefficients
0.59/0.60	c  5613 implications, 0 cliques
0.59/0.60	c presolved problem has 13378 variables (7765 bin, 0 int, 0 impl, 5613 cont) and 11226 constraints
0.59/0.60	c    5613 constraints of type <indicator>
0.59/0.60	c       1 constraints of type <varbound>
0.59/0.60	c    5612 constraints of type <linear>
0.59/0.60	c transformed objective value is always integral (scale: 1)
0.59/0.60	c Presolving Time: 0.49
0.59/0.60	c - non default parameters ----------------------------------------------------------------------
0.59/0.60	c # SCIP version 1.2.1.2
0.59/0.60	c 
0.59/0.60	c # frequency for displaying node information lines
0.59/0.60	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.60	c display/freq = 10000
0.59/0.60	c 
0.59/0.60	c # maximal time in seconds to run
0.59/0.60	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60	c limits/time = 1799.95
0.59/0.60	c 
0.59/0.60	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.60	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60	c limits/memory = 3420
0.59/0.60	c 
0.59/0.60	c # should presolving try to simplify inequalities
0.59/0.60	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60	c constraints/linear/simplifyinequalities = TRUE
0.59/0.60	c 
0.59/0.60	c # should presolving try to simplify knapsacks
0.59/0.60	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.60	c 
0.59/0.60	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.60	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.60	c separating/rapidlearning/freq = 0
0.59/0.60	c 
0.59/0.60	c -----------------------------------------------------------------------------------------------
0.59/0.60	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.6s|     1 |     0 |     0 |     - |  42M|   0 |   0 |  13k|  11k|  13k|   0 |   0 |   0 |   0 | 0.000000e+00 | 2.847910e+05 |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |   200 |     - |  42M|   0 |  60 |  13k|  11k|  13k| 201 | 201 |   0 |   0 | 0.000000e+00 | 2.847910e+05 |    Inf 
0.59/0.66	o 284760
0.59/0.66	c y 0.6s|     1 |     0 |   200 |     - |  42M|   0 |  60 |  13k|  11k|  13k| 201 | 201 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
0.69/0.75	c   0.7s|     1 |     0 |   410 |     - |  42M|   0 |  73 |  13k|  11k|  13k| 431 | 431 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
0.89/0.92	c   0.8s|     1 |     0 |  1018 |     - |  43M|   0 | 117 |  13k|  11k|  13k| 682 | 682 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
1.10/1.15	c   1.1s|     1 |     0 |  1355 |     - |  43M|   0 | 304 |  13k|  11k|  13k| 970 | 970 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
1.39/1.42	c   1.3s|     1 |     0 |  1760 |     - |  44M|   0 | 406 |  13k|  11k|  13k|1257 |1257 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
1.60/1.69	c   1.6s|     1 |     0 |  2280 |     - |  44M|   0 | 453 |  13k|  11k|  13k|1503 |1503 |   0 |   0 | 0.000000e+00 | 2.847600e+05 |    Inf 
2.29/2.34	c   2.2s|     1 |     2 |  2927 |     - |  44M|   0 | 453 |  13k|  11k|  13k|1503 |1503 |   0 |  33 | 0.000000e+00 | 2.847600e+05 |    Inf 
159.08/159.17	c   158s| 10000 | 10001 |239217 |  23.7 | 102M| 145 | 108 |  13k|  11k|  13k|1306 |1503 |   0 |2795 | 0.000000e+00 | 2.847600e+05 |    Inf 
258.09/258.16	c   256s| 20000 | 20001 |399336 |  19.9 | 143M| 151 |  59 |  13k|  11k|  13k|1306 |1503 |   0 |3908 | 0.000000e+00 | 2.847600e+05 |    Inf 
331.69/331.72	c   330s| 30000 | 30001 |482937 |  16.0 | 184M| 301 |  32 |  13k|  11k|  13k|1360 |6183 |   0 |5655 | 0.000000e+00 | 2.847600e+05 |    Inf 
401.60/401.66	c   399s| 40000 | 40001 |524524 |  13.1 | 226M| 361 |   2 |  13k|  11k|  13k|1306 |  15k|   0 |6393 | 0.000000e+00 | 2.847600e+05 |    Inf 
476.09/476.11	c   473s| 50000 | 50001 |565448 |  11.3 | 269M| 363 |   0 |  13k|  11k|  13k|1536 |  26k|   0 |6718 | 0.000000e+00 | 2.847600e+05 |    Inf 
546.80/546.84	c   544s| 60000 | 60001 |606682 |  10.1 | 311M| 363 |   0 |  13k|  11k|  13k|1442 |  36k|   0 |6847 | 0.000000e+00 | 2.847600e+05 |    Inf 
617.69/617.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
617.69/617.75	c   614s| 70000 | 70001 |647278 |   9.2 | 352M| 365 |   0 |  13k|  11k|  13k|1496 |  46k|   0 |7022 | 0.000000e+00 | 2.847600e+05 |    Inf 
687.60/687.63	c   684s| 80000 | 80001 |688964 |   8.6 | 394M| 365 |   5 |  13k|  11k|  13k|1306 |  55k|   0 |7078 | 0.000000e+00 | 2.847600e+05 |    Inf 
758.60/758.62	c   754s| 90000 | 90001 |737754 |   8.2 | 436M| 365 |   0 |  13k|  11k|  13k|1473 |  65k|   0 |7146 | 0.000000e+00 | 2.847600e+05 |    Inf 
832.40/832.44	c   828s|100000 |100001 |779741 |   7.8 | 478M| 367 |   0 |  13k|  11k|  13k|1481 |  75k|   0 |7566 | 0.000000e+00 | 2.847600e+05 |    Inf 
906.41/906.46	c   901s|110000 |110001 |813498 |   7.4 | 520M| 367 |   0 |  13k|  11k|  13k|1476 |  85k|   0 |7663 | 0.000000e+00 | 2.847600e+05 |    Inf 
981.00/981.03	c   975s|120000 |120001 |847970 |   7.0 | 562M| 367 |   0 |  13k|  11k|  13k|1500 |  96k|   0 |8074 | 0.000000e+00 | 2.847600e+05 |    Inf 
1057.21/1057.21	c  1051s|130000 |129997 |881483 |   6.8 | 604M| 367 |   0 |  13k|  11k|  13k|1495 | 108k|   3 |8623 | 0.000000e+00 | 2.847600e+05 |    Inf 
1127.61/1127.68	c  1121s|140000 |139995 |930667 |   6.6 | 646M| 367 |   0 |  13k|  11k|  13k|1499 | 116k|   4 |9331 | 0.000000e+00 | 2.847600e+05 |    Inf 
1194.72/1194.75	c  1188s|150000 |149995 |986663 |   6.6 | 688M| 367 |  15 |  13k|  11k|  13k|1362 | 124k|   4 |9811 | 0.000000e+00 | 2.847600e+05 |    Inf 
1263.42/1263.40	c  1256s|160000 |159995 |  1042k|   6.5 | 729M| 367 |  19 |  13k|  11k|  13k|1378 | 133k|   4 |  10k| 0.000000e+00 | 2.847600e+05 |    Inf 
1331.62/1331.64	c  1324s|170000 |169995 |  1095k|   6.4 | 771M| 367 |   1 |  13k|  11k|  13k|1459 | 141k|   4 |  11k| 0.000000e+00 | 2.847600e+05 |    Inf 
1397.62/1397.64	c  1390s|180000 |179995 |  1146k|   6.4 | 813M| 367 |  17 |  13k|  11k|  13k|1306 | 148k|   4 |  11k| 0.000000e+00 | 2.847600e+05 |    Inf 
1464.62/1464.68	c  1457s|190000 |189995 |  1199k|   6.3 | 854M| 367 |  47 |  13k|  11k|  13k|1373 | 156k|   4 |  12k| 0.000000e+00 | 2.847600e+05 |    Inf 
1533.72/1533.78	c  1525s|200000 |199995 |  1262k|   6.3 | 896M| 367 |  48 |  13k|  11k|  13k|1372 | 164k|   4 |  12k| 0.000000e+00 | 2.847600e+05 |    Inf 
1604.52/1604.57	c  1596s|210000 |209995 |  1308k|   6.2 | 938M| 371 |   8 |  13k|  11k|  13k|1382 | 172k|   4 |  13k| 0.000000e+00 | 2.847600e+05 |    Inf 
1678.12/1678.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1678.12/1678.12	c  1669s|220000 |219995 |  1343k|   6.1 | 980M| 371 |   0 |  13k|  11k|  13k|1427 | 182k|   4 |  13k| 0.000000e+00 | 2.847600e+05 |    Inf 
1751.03/1751.07	c  1742s|230000 |229995 |  1381k|   6.0 |1021M| 377 |   0 |  13k|  11k|  13k|1449 | 191k|   4 |  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) : 1790.48
1800.03/1800.00	c Solving Nodes      : 236679
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 x157 
1800.43/1800.46	v -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 -x67 
1800.43/1800.46	v -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 -x16 
1800.43/1800.46	v -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       :    1790.48
1800.43/1800.46	c Original Problem   :
1800.43/1800.46	c   Problem name     : HOME/instance-2692622-1277932088.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-2692622-1277932088.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.07          0          0          0          0          0          0          0          0
1800.43/1800.46	c   indicator        :       0.00          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     257346          0          0          0          0          0     279154
1800.43/1800.46	c   indicator        :       5613          0     412884     117769          0          0     192957          0          0          0
1800.43/1800.46	c   varbound         :          1          6     412837     117726          0          0          0          1          0          0
1800.43/1800.46	c   linear           :       5612          6     412884     117769          0          3     213305     197311          0          0
1800.43/1800.46	c   logicor          :          0+         0       1831          0          0          0         47          0          0          0
1800.43/1800.46	c   countsols        :          0          0          0      97099          0          0          0          0          0          0
1800.43/1800.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.43/1800.46	c   integral         :      88.03       0.00       0.00      88.03       0.00
1800.43/1800.46	c   indicator        :     143.00       0.00      49.22      93.78       0.00
1800.43/1800.46	c   varbound         :       0.32       0.00       0.24       0.08       0.00
1800.43/1800.46	c   linear           :     211.02       0.02      42.78     168.22       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.02       0.00       0.00       0.02       0.00
1800.43/1800.46	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.43/1800.46	c   vbounds          :       0.28          2          0          0
1800.43/1800.46	c   rootredcost      :       0.28          1          0          0
1800.43/1800.46	c   pseudoobj        :      59.82     412684          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          3          3          3       10.7          1        6.0          -
1800.43/1800.46	c   infeasible LP    :       0.00          0          0          0        0.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 :          -          -          -          4        9.5          -          -          -
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          -          -        227          -    (maximal pool size: 1069)
1800.43/1800.46	c   redcost          :      90.91     256371          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.03          5          0          0        292          0
1800.43/1800.46	c   strongcg         :       0.01          5          0          0          0          0
1800.43/1800.46	c   cmir             :       0.15          5          0          0        221          0
1800.43/1800.46	c   flowcover        :       0.54          5          0          0        805          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        :      87.79     139577          0          0          0          0     279154
1800.43/1800.46	c   pscost           :       0.00          0          0          0          0          0          0
1800.43/1800.46	c   inference        :     109.37      97099          0          0          0          0     194198
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.45          1          0
1800.43/1800.46	c   intshifting      :       0.59         19          0
1800.43/1800.46	c   crossover        :       0.92         10          0
1800.43/1800.46	c   coefdiving       :      24.29       1019          0
1800.43/1800.46	c   fracdiving       :      22.91       1019          0
1800.43/1800.46	c   veclendiving     :      21.57       1019          0
1800.43/1800.46	c   linesearchdiving :      22.93       1019          0
1800.43/1800.46	c   guideddiving     :      23.27       1019          0
1800.43/1800.46	c   pscostdiving     :      23.70       1020          0
1800.43/1800.46	c   objpscostdiving  :      10.26        839          0
1800.43/1800.46	c   rootsoldiving    :       6.08        956          0
1800.43/1800.46	c   trivial          :       0.38          2          2
1800.43/1800.46	c   simplerounding   :       0.41     122102          0
1800.43/1800.46	c   zirounding       :       0.20       1000          0
1800.43/1800.46	c   rounding         :       0.99       4878          0
1800.43/1800.46	c   shifting         :       7.69       1623          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.15          0          0
1800.43/1800.46	c   trysol           :       0.76       3192        100
1800.43/1800.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.43/1800.46	c   primal LP        :       0.00          0          0       0.00          -
1800.43/1800.46	c   dual LP          :     571.98     150561    1288284       8.56    2252.32
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:      58.51      27089     116830       4.31    1996.75
1800.43/1800.46	c   strong branching :      84.41      14169     208808      14.74    2473.74
1800.43/1800.46	c     (at root node) :          -         33       1792      54.30          -
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            :     236679
1800.43/1800.46	c   nodes (total)    :     236679
1800.43/1800.46	c   nodes left       :     236674
1800.43/1800.46	c   max depth        :        379
1800.43/1800.46	c   max depth (total):        379
1800.43/1800.46	c   backtracks       :       1505 (0.6%)
1800.43/1800.46	c   delayed cutoffs  :          0
1800.43/1800.46	c   repropagations   :         46 (3 domain reductions, 0 cutoffs)
1800.43/1800.46	c   avg switch length:       2.44
1800.43/1800.46	c   switching time   :      38.87
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.04 seconds, depth 0, found by <trivial>)
1800.43/1800.46	c   Primal Bound     : +2.84760000000000e+05   (in run 1, after 1 nodes, 0.57 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  :       2280
1800.73/1800.80	c Time complete: 1800.83.

Verifier Data 

OK	23096

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692622-1277932088/watcher-2692622-1277932088 -o /tmp/evaluation-result-2692622-1277932088/solver-2692622-1277932088 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692622-1277932088.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.72 2.73 2.51 4/178 29226
/proc/meminfo: memFree=29333164/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=9752 CPUtime=0
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1699 0 0 0 0 0 0 0 25 0 1 0 168812325 9986048 1619 4089446400 4194304 8223781 140733301402576 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29226/statm: 2438 1635 369 984 0 1451 0

[startup+0.0103229 s]
/proc/loadavg: 2.72 2.73 2.51 4/178 29226
/proc/meminfo: memFree=29333164/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=11216 CPUtime=0
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 2108 0 0 0 0 0 0 0 25 0 1 0 168812325 11485184 2028 4089446400 4194304 8223781 140733301402576 18446744073709551615 7356292 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/29226/statm: 2845 2038 369 984 0 1858 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11216

[startup+0.100294 s]
/proc/loadavg: 2.72 2.73 2.51 4/178 29226
/proc/meminfo: memFree=29333164/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=52732 CPUtime=0.09
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 12820 0 0 0 8 1 0 0 25 0 1 0 168812325 53997568 12349 4089446400 4194304 8223781 140733301402576 18446744073709551615 6207697 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 13183 12349 396 984 0 12196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52732

[startup+0.300258 s]
/proc/loadavg: 2.72 2.73 2.51 4/178 29226
/proc/meminfo: memFree=29333164/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=60260 CPUtime=0.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 14188 0 0 0 28 1 0 0 25 0 1 0 168812325 61706240 13717 4089446400 4194304 8223781 140733301402576 18446744073709551615 7257364 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 15065 13717 431 984 0 14078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60260

[startup+0.701185 s]
/proc/loadavg: 2.72 2.73 2.51 4/178 29226
/proc/meminfo: memFree=29333164/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=74208 CPUtime=0.69
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 18272 0 0 0 67 2 0 0 25 0 1 0 168812325 75988992 16954 4089446400 4194304 8223781 140733301402576 18446744073709551615 5736198 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 18552 16954 580 984 0 17565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74208

[startup+1.50104 s]
/proc/loadavg: 2.72 2.73 2.51 3/179 29227
/proc/meminfo: memFree=29262104/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=78284 CPUtime=1.5
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 19543 0 0 0 146 4 0 0 25 0 1 0 168812325 80162816 18120 4089446400 4194304 8223781 140733301402576 18446744073709551615 5734174 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 19571 18120 574 984 0 18584 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 78284

[startup+3.10075 s]
/proc/loadavg: 2.66 2.71 2.51 3/179 29227
/proc/meminfo: memFree=29256332/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=80092 CPUtime=3.09
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 38919 0 0 0 302 7 0 0 25 0 1 0 168812325 82014208 18386 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 20023 18386 584 984 0 19036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80092

[startup+6.3012 s]
/proc/loadavg: 2.66 2.71 2.51 3/179 29228
/proc/meminfo: memFree=29249016/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=80088 CPUtime=6.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 57153 0 0 0 619 10 0 0 25 0 1 0 168812325 82010112 18387 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 20022 18387 584 984 0 19035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80088

[startup+12.7011 s]
/proc/loadavg: 2.56 2.69 2.51 3/179 29228
/proc/meminfo: memFree=29241712/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=80404 CPUtime=12.69
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 79420 0 0 0 1253 16 0 0 25 0 1 0 168812325 82333696 18465 4089446400 4194304 8223781 140733301402576 18446744073709551615 6439862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 20101 18465 584 984 0 19114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80404

[startup+25.5008 s]
/proc/loadavg: 2.47 2.67 2.50 3/179 29228
/proc/meminfo: memFree=29221148/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=82028 CPUtime=25.5
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 132789 0 0 0 2520 30 0 0 25 0 1 0 168812325 83996672 19045 4089446400 4194304 8223781 140733301402576 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29226/statm: 20507 19045 585 984 0 19520 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 82028

[startup+51.1002 s]
/proc/loadavg: 2.31 2.61 2.48 3/179 29228
/proc/meminfo: memFree=29189244/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=98608 CPUtime=51.09
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 170082 0 0 0 5064 45 0 0 25 0 1 0 168812325 100974592 23208 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29226/statm: 24652 23208 588 984 0 23665 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98608

[startup+102.306 s]
/proc/loadavg: 2.12 2.51 2.45 3/179 29230
/proc/meminfo: memFree=29109584/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=117776 CPUtime=102.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 260436 0 0 0 10146 83 0 0 25 0 1 0 168812325 120602624 27894 4089446400 4194304 8223781 140733301402576 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 29444 27894 588 984 0 28457 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 117776

[startup+162.301 s]
/proc/loadavg: 2.04 2.41 2.42 3/179 29232
/proc/meminfo: memFree=29022596/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=139300 CPUtime=162.28
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 301005 0 0 0 16110 118 0 0 25 0 1 0 168812325 142643200 33264 4089446400 4194304 8223781 140733301402576 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 34825 33264 588 984 0 33838 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 139300

[startup+222.301 s]
/proc/loadavg: 2.01 2.33 2.39 3/179 29233
/proc/meminfo: memFree=28951828/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=161992 CPUtime=222.28
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 357272 0 0 0 22077 151 0 0 25 0 1 0 168812325 165879808 38924 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 40498 38924 588 984 0 39511 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 161992

[startup+282.3 s]
/proc/loadavg: 2.00 2.27 2.36 3/179 29235
/proc/meminfo: memFree=28824368/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=189340 CPUtime=282.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 391339 0 0 0 28042 187 0 0 25 0 1 0 168812325 193884160 45848 4089446400 4194304 8223781 140733301402576 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 47335 45848 588 984 0 46348 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 189340

[startup+342.301 s]
/proc/loadavg: 2.00 2.22 2.34 3/179 29239
/proc/meminfo: memFree=28712156/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=225464 CPUtime=342.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 456408 0 0 0 34010 219 0 0 25 0 1 0 168812325 230875136 54889 4089446400 4194304 8223781 140733301402576 18446744073709551615 6436789 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 56366 54889 590 984 0 55379 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 225464

[startup+402.301 s]
/proc/loadavg: 2.00 2.18 2.32 3/179 29241
/proc/meminfo: memFree=28625984/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=263220 CPUtime=402.29
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 526739 0 0 0 39975 254 0 0 25 0 1 0 168812325 269537280 64379 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 65805 64379 590 984 0 64818 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 263220

[startup+462.301 s]
/proc/loadavg: 2.00 2.14 2.29 3/179 29243
/proc/meminfo: memFree=28529460/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=296920 CPUtime=462.3
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 595882 0 0 0 45948 282 0 0 25 0 1 0 168812325 304046080 72842 4089446400 4194304 8223781 140733301402576 18446744073709551615 6328711 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 74230 72842 590 984 0 73243 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 296920

[startup+522.301 s]
/proc/loadavg: 2.00 2.12 2.27 3/179 29244
/proc/meminfo: memFree=28430292/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=332044 CPUtime=522.3
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 663168 0 0 0 51917 313 0 0 25 0 1 0 168812325 340013056 81658 4089446400 4194304 8223781 140733301402576 18446744073709551615 6003053 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 83011 81658 590 984 0 82024 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 332044

[startup+582.3 s]
/proc/loadavg: 2.04 2.10 2.26 3/179 29246
/proc/meminfo: memFree=28329648/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=366984 CPUtime=582.3
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 721910 0 0 0 57884 346 0 0 25 0 1 0 168812325 375791616 90410 4089446400 4194304 8223781 140733301402576 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 91746 90410 590 984 0 90759 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 366984

[startup+642.301 s]
/proc/loadavg: 2.01 2.08 2.24 3/179 29247
/proc/meminfo: memFree=28232828/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=403888 CPUtime=642.3
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 754847 0 0 0 63855 375 0 0 25 0 1 0 168812325 413581312 99137 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29226/statm: 100972 99137 590 984 0 99985 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 403888

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.24 1.77 2.06 2/174 29506
/proc/meminfo: memFree=30028392/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=608296 CPUtime=1002.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1151223 0 0 0 99656 575 0 0 25 0 1 0 168812325 622895104 150437 4089446400 4194304 8223781 140733301402576 18446744073709551615 6455726 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 152074 150437 590 984 0 151087 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 608296

[startup+1062.3 s]
/proc/loadavg: 1.09 1.63 1.99 2/174 29697
/proc/meminfo: memFree=29993244/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=642916 CPUtime=1062.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1211640 0 0 0 105625 606 0 0 25 0 1 0 168812325 658345984 159123 4089446400 4194304 8223781 140733301402576 18446744073709551615 6003303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 160729 159123 594 984 0 159742 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 642916

[startup+1122.3 s]
/proc/loadavg: 1.03 1.51 1.93 2/171 29891
/proc/meminfo: memFree=29960404/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=676560 CPUtime=1122.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1321867 0 0 0 111583 648 0 0 25 0 1 0 168812325 692797440 167566 4089446400 4194304 8223781 140733301402576 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 169140 167566 594 984 0 168153 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 676560

[startup+1182.3 s]
/proc/loadavg: 1.01 1.42 1.87 2/171 30019
/proc/meminfo: memFree=29924808/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=713976 CPUtime=1182.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1341026 0 0 0 117559 672 0 0 25 0 1 0 168812325 731111424 176958 4089446400 4194304 8223781 140733301402576 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 178494 176958 594 984 0 177507 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 713976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.34 1.81 2/171 30020
/proc/meminfo: memFree=29888232/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=749328 CPUtime=1242.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1395240 0 0 0 123529 702 0 0 25 0 1 0 168812325 767311872 185807 4089446400 4194304 8223781 140733301402576 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 187332 185807 594 984 0 186345 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 749328

[startup+1302.3 s]
/proc/loadavg: 1.00 1.27 1.76 2/171 30022
/proc/meminfo: memFree=29849764/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=787540 CPUtime=1302.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1435310 0 0 0 129501 731 0 0 25 0 1 0 168812325 806440960 195417 4089446400 4194304 8223781 140733301402576 18446744073709551615 6445441 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 196885 195417 594 984 0 195898 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 787540

[startup+1362.3 s]
/proc/loadavg: 1.06 1.23 1.71 2/171 30024
/proc/meminfo: memFree=29817012/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=821336 CPUtime=1362.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1466279 0 0 0 135478 753 0 0 25 0 1 0 168812325 841048064 203902 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 205334 203902 594 984 0 204347 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 821336

[startup+1422.31 s]
/proc/loadavg: 1.02 1.19 1.66 2/171 30025
/proc/meminfo: memFree=29778048/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=859244 CPUtime=1422.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1485209 0 0 0 141456 776 0 0 25 0 1 0 168812325 879865856 213415 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 214811 213415 594 984 0 213824 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 859244

[startup+1482.3 s]
/proc/loadavg: 1.01 1.15 1.62 2/171 30027
/proc/meminfo: memFree=29743032/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=894164 CPUtime=1482.31
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1510169 0 0 0 147428 803 0 0 25 0 1 0 168812325 915623936 222181 4089446400 4194304 8223781 140733301402576 18446744073709551615 6445638 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 223541 222181 594 984 0 222554 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 894164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.12 1.58 2/171 30028
/proc/meminfo: memFree=29708652/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=933496 CPUtime=1542.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1549687 0 0 0 153402 830 0 0 25 0 1 0 168812325 955899904 231022 4089446400 4194304 8223781 140733301402576 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 233374 231022 594 984 0 232387 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 933496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.10 1.54 2/171 30030
/proc/meminfo: memFree=29670568/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=970448 CPUtime=1602.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1597158 0 0 0 159374 858 0 0 25 0 1 0 168812325 993738752 240289 4089446400 4194304 8223781 140733301402576 18446744073709551615 4819272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 242612 240289 594 984 0 241625 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 970448

[startup+1662.3 s]
/proc/loadavg: 1.00 1.08 1.50 2/171 30032
/proc/meminfo: memFree=29637320/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=1003496 CPUtime=1662.33
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1621215 0 0 0 165351 882 0 0 25 0 1 0 168812325 1027579904 248587 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 250874 248587 594 984 0 249887 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1003496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.47 2/171 30033
/proc/meminfo: memFree=29602200/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=1039256 CPUtime=1722.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1695277 0 0 0 171320 912 0 0 25 0 1 0 168812325 1064198144 257559 4089446400 4194304 8223781 140733301402576 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 259814 257559 594 984 0 258827 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1039256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.44 2/171 30035
/proc/meminfo: memFree=29570060/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=1070252 CPUtime=1782.32
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1743573 0 0 0 177291 941 0 0 25 0 1 0 168812325 1095938048 265338 4089446400 4194304 8223781 140733301402576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 267563 265338 594 984 0 266576 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1070252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.04 1.43 2/171 30035
/proc/meminfo: memFree=29558016/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=1082284 CPUtime=1800.03
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1766745 0 0 0 179052 951 0 0 25 0 1 0 168812325 1108258816 268360 4089446400 4194304 8223781 140733301402576 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29226/statm: 270571 268360 594 984 0 269584 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1082284

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

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.04 1.43 2/171 30035
/proc/meminfo: memFree=29558016/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=1082284 CPUtime=1800.23
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1766745 0 0 0 179072 951 0 0 25 0 1 0 168812325 1108258816 268360 4089446400 4194304 8223781 140733301402576 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29226/statm: 270571 268360 594 984 0 269584 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1082284

[startup+1800.6 s]
/proc/loadavg: 1.00 1.04 1.43 2/172 30036
/proc/meminfo: memFree=29705196/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=913664 CPUtime=1800.63
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1766747 0 0 0 179112 951 0 0 25 0 1 0 168812325 935591936 226207 4089446400 4194304 8223781 140733301402576 18446744073709551615 4670017 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29226/statm: 228416 226207 596 984 0 227429 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 913664

[startup+1800.71 s]
/proc/loadavg: 1.00 1.04 1.43 2/172 30036
/proc/meminfo: memFree=29705196/32950928 swapFree=67111528/67111528
[pid=29226] ppid=29224 vsize=448396 CPUtime=1800.73
/proc/29226/stat : 29226 (pbscip.linux.x8) R 29224 29226 28677 0 -1 4202496 1766747 0 0 0 179120 953 0 0 25 0 1 0 168812325 459157504 109890 4089446400 4194304 8223781 140733301402576 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29226/statm: 112099 109890 596 984 0 111112 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 448396

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.84
CPU user time (s): 1791.28
CPU system time (s): 9.55155
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1082284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.28
system time used= 9.55155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1766751
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= 1219

runsolver used 2.6116 second user time and 6.41402 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 23:08:08
IDJOB=2692622
IDBENCH=79333
IDSOLVER=1204
FILE ID=node112/2692622-1277932088
PBS_JOBID= 11197380
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692622-1277932088/watcher-2692622-1277932088 -o /tmp/evaluation-result-2692622-1277932088/solver-2692622-1277932088 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692622-1277932088.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8b380a82e4776add8076b73e28ebbe59
RANDOM SEED=2057690317

node112.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.827
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.65
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.827
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.827
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.827
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.73
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.827
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.82
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.827
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.827
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.827
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29333568 kB
Buffers:        214532 kB
Cached:        1899480 kB
SwapCached:          0 kB
Active:        1889276 kB
Inactive:      1579932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29333568 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4972 kB
Writeback:           0 kB
AnonPages:     1354848 kB
Mapped:          16028 kB
Slab:            82292 kB
PageTables:       7848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1553176 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= 74208 MiB
End job on node112 at 2010-06-30 23:38:10