Trace number 2693262

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.91 1800.86

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: 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.

Verifier Data 

OK	23527

Watcher Data 

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

Launcher Data 

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