Trace number 2692601

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.56 1800.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
MD5SUM8cd432ce35ac43809c1c027beb7ff72a
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.046992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2221
Total number of constraints3050
Number of soft constraints3050
Number of constraints which are clauses2330
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints720
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 154947
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 154946
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
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-2692601-1277931877.wbo>
0.03/0.05	c original problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6101 constraints
0.03/0.05	c problem read
0.03/0.05	c presolving settings loaded
0.19/0.20	o 154946
0.19/0.20	c feasible solution found by trivial heuristic, objective value  1.549460e+05
0.19/0.20	c presolving:
0.19/0.21	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.22	c (round 2) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.24	c (round 3) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 1 upgd conss, 3050 impls, 0 clqs
0.29/0.30	c    (0.2s) probing: 101/5271 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.30	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.30	c presolving (4 rounds):
0.29/0.30	c  0 deleted vars, 1 deleted constraints, 3050 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.29/0.30	c  3051 implications, 0 cliques
0.29/0.30	c presolved problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6100 constraints
0.29/0.30	c    3050 constraints of type <indicator>
0.29/0.30	c       1 constraints of type <varbound>
0.29/0.30	c    3049 constraints of type <linear>
0.29/0.30	c transformed objective value is always integral (scale: 1)
0.29/0.30	c Presolving Time: 0.22
0.29/0.30	c - non default parameters ----------------------------------------------------------------------
0.29/0.30	c # SCIP version 1.2.1.2
0.29/0.30	c 
0.29/0.30	c # frequency for displaying node information lines
0.29/0.30	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.30	c display/freq = 10000
0.29/0.30	c 
0.29/0.30	c # maximal time in seconds to run
0.29/0.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30	c limits/time = 1799.96
0.29/0.30	c 
0.29/0.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30	c limits/memory = 3420
0.29/0.30	c 
0.29/0.30	c # should presolving try to simplify inequalities
0.29/0.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30	c constraints/linear/simplifyinequalities = TRUE
0.29/0.30	c 
0.29/0.30	c # should presolving try to simplify knapsacks
0.29/0.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30	c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.30	c 
0.29/0.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.30	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30	c separating/rapidlearning/freq = 0
0.29/0.30	c 
0.29/0.30	c -----------------------------------------------------------------------------------------------
0.29/0.30	c start solving
0.29/0.30	c 
0.29/0.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.32	c t 0.3s|     1 |     0 |     0 |     - |  25M|   0 |   0 |8321 |6100 |8321 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.549460e+05 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   201 |     - |  25M|   0 | 157 |8321 |6100 |8321 | 201 | 201 |   0 |   0 | 0.000000e+00 | 1.549460e+05 |    Inf 
0.29/0.34	o 154902
0.29/0.34	c y 0.3s|     1 |     0 |   201 |     - |  26M|   0 | 157 |8321 |6100 |8321 | 201 | 201 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.38/0.47	c   0.4s|     1 |     0 |   527 |     - |  26M|   0 | 219 |8321 |6100 |8321 | 622 | 622 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.69/0.71	c   0.7s|     1 |     0 |  1364 |     - |  27M|   0 | 478 |8321 |6100 |8321 | 995 | 995 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
0.99/1.09	c   1.0s|     1 |     0 |  1828 |     - |  27M|   0 | 598 |8321 |6100 |8321 |1196 |1196 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
1.49/1.59	c   1.5s|     1 |     0 |  2308 |     - |  27M|   0 | 696 |8321 |6100 |8321 |1397 |1397 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
2.20/2.24	c   2.2s|     1 |     0 |  3009 |     - |  28M|   0 | 767 |8321 |6100 |8321 |1611 |1611 |   0 |   0 | 0.000000e+00 | 1.549020e+05 |    Inf 
5.89/5.94	c   5.8s|     1 |     2 |  3932 |     - |  28M|   0 | 767 |8321 |6100 |8321 |1611 |1611 |   0 |  33 | 0.000000e+00 | 1.549020e+05 |    Inf 
193.79/193.88	c   192s| 10000 | 10001 |502275 |  49.9 |  56M| 349 | 207 |8321 |6100 |8321 |1185 |1611 |   0 |3994 | 0.000000e+00 | 1.549020e+05 |    Inf 
279.10/279.10	c   276s| 20000 | 20001 |747615 |  37.2 |  84M| 373 | 209 |8321 |6100 |8321 |1185 |1611 |   0 |5696 | 0.000000e+00 | 1.549020e+05 |    Inf 
355.70/355.75	c   352s| 30000 | 30001 |959913 |  31.9 | 112M| 379 | 252 |8321 |6100 |8321 |1185 |1611 |   0 |6780 | 0.000000e+00 | 1.549020e+05 |    Inf 
427.41/427.45	c   423s| 40000 | 40001 |  1165k|  29.1 | 140M| 397 | 253 |8321 |6100 |8321 |1185 |1611 |   0 |8021 | 0.000000e+00 | 1.549020e+05 |    Inf 
474.11/474.13	c   469s| 50000 | 50001 |  1261k|  25.2 | 167M| 441 | 237 |8321 |6100 |8321 |1185 |1611 |   0 |8602 | 0.000000e+00 | 1.549020e+05 |    Inf 
522.21/522.24	c   517s| 60000 | 60001 |  1354k|  22.5 | 195M| 447 | 130 |8321 |6100 |8321 |1185 |1611 |   0 |8741 | 0.000000e+00 | 1.549020e+05 |    Inf 
567.30/567.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
567.30/567.37	c   562s| 70000 | 70001 |  1445k|  20.6 | 223M| 501 |  64 |8321 |6100 |8321 |1185 |1611 |   0 |8800 | 0.000000e+00 | 1.549020e+05 |    Inf 
605.71/605.75	c   600s| 80000 | 80001 |  1510k|  18.8 | 250M| 665 |  58 |8321 |6100 |8321 |1185 |1647 |   0 |8900 | 0.000000e+00 | 1.549020e+05 |    Inf 
638.11/638.15	c   632s| 90000 | 90001 |  1566k|  17.4 | 278M| 677 | 322 |8321 |6100 |8321 |1185 |2154 |   0 |9000 | 0.000000e+00 | 1.549020e+05 |    Inf 
685.22/685.24	c   679s|100000 |100001 |  1683k|  16.8 | 306M| 677 | 120 |8321 |6100 |8321 |1185 |2154 |   0 |9961 | 0.000000e+00 | 1.549020e+05 |    Inf 
720.11/720.19	c   714s|110000 |110001 |  1750k|  15.9 | 334M| 677 |  40 |8321 |6100 |8321 |1185 |2154 |   0 |  10k| 0.000000e+00 | 1.549020e+05 |    Inf 
788.01/788.00	c   781s|120000 |120001 |  1978k|  16.5 | 361M| 677 | 319 |8321 |6100 |8321 |1185 |2154 |   0 |  11k| 0.000000e+00 | 1.549020e+05 |    Inf 
848.71/848.71	c   841s|130000 |130001 |  2179k|  16.7 | 389M| 677 | 182 |8321 |6100 |8321 |1185 |2154 |   0 |  12k| 0.000000e+00 | 1.549020e+05 |    Inf 
896.92/896.94	c   889s|140000 |140001 |  2329k|  16.6 | 416M| 677 | 308 |8321 |6100 |8321 |1185 |2154 |   0 |  13k| 0.000000e+00 | 1.549020e+05 |    Inf 
948.62/948.63	c   940s|150000 |150001 |  2492k|  16.6 | 444M| 677 | 250 |8321 |6100 |8321 |1185 |2154 |   0 |  14k| 0.000000e+00 | 1.549020e+05 |    Inf 
1001.41/1001.42	c   993s|160000 |160001 |  2648k|  16.5 | 472M| 677 | 104 |8321 |6100 |8321 |1185 |2154 |   0 |  15k| 0.000000e+00 | 1.549020e+05 |    Inf 
1043.02/1043.00	c  1034s|170000 |170001 |  2746k|  16.1 | 499M| 677 | 306 |8321 |6100 |8321 |1185 |2154 |   0 |  15k| 0.000000e+00 | 1.549020e+05 |    Inf 
1085.82/1085.82	c  1076s|180000 |180001 |  2845k|  15.8 | 527M| 677 |  54 |8321 |6100 |8321 |1185 |2154 |   0 |  16k| 0.000000e+00 | 1.549020e+05 |    Inf 
1148.33/1148.40	c  1138s|190000 |190001 |  3053k|  16.1 | 555M| 677 | 383 |8321 |6100 |8321 |1185 |2154 |   0 |  17k| 0.000000e+00 | 1.549020e+05 |    Inf 
1201.53/1201.57	c  1191s|200000 |200001 |  3206k|  16.0 | 582M| 677 | 151 |8321 |6100 |8321 |1185 |2154 |   0 |  17k| 0.000000e+00 | 1.549020e+05 |    Inf 
1252.84/1252.86	c  1242s|210000 |210001 |  3334k|  15.9 | 610M| 677 | 176 |8321 |6100 |8321 |1185 |2154 |   0 |  18k| 0.000000e+00 | 1.549020e+05 |    Inf 
1307.33/1307.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1307.33/1307.37	c  1296s|220000 |220001 |  3501k|  15.9 | 638M| 677 | 317 |8321 |6100 |8321 |1185 |2154 |   0 |  18k| 0.000000e+00 | 1.549020e+05 |    Inf 
1358.54/1358.58	c  1347s|230000 |230001 |  3622k|  15.7 | 665M| 677 | 186 |8321 |6100 |8321 |1185 |2154 |   0 |  19k| 0.000000e+00 | 1.549020e+05 |    Inf 
1407.23/1407.24	c  1395s|240000 |240001 |  3748k|  15.6 | 693M| 677 | 240 |8321 |6100 |8321 |1185 |2154 |   0 |  19k| 0.000000e+00 | 1.549020e+05 |    Inf 
1464.53/1464.52	c  1452s|250000 |250001 |  3907k|  15.6 | 720M| 677 | 169 |8321 |6100 |8321 |1185 |2154 |   0 |  20k| 0.000000e+00 | 1.549020e+05 |    Inf 
1520.24/1520.25	c  1507s|260000 |260001 |  4085k|  15.7 | 748M| 677 | 458 |8321 |6100 |8321 |1185 |2154 |   0 |  21k| 0.000000e+00 | 1.549020e+05 |    Inf 
1573.74/1573.79	c  1560s|270000 |270001 |  4257k|  15.8 | 776M| 677 | 273 |8321 |6100 |8321 |1185 |2154 |   0 |  21k| 0.000000e+00 | 1.549020e+05 |    Inf 
1628.33/1628.37	c  1615s|280000 |280001 |  4426k|  15.8 | 803M| 677 | 159 |8321 |6100 |8321 |1185 |2154 |   0 |  22k| 0.000000e+00 | 1.549020e+05 |    Inf 
1682.33/1682.38	c  1668s|290000 |290001 |  4591k|  15.8 | 831M| 677 | 340 |8321 |6100 |8321 |1185 |2154 |   0 |  22k| 0.000000e+00 | 1.549020e+05 |    Inf 
1735.24/1735.28	c  1721s|300000 |300001 |  4741k|  15.8 | 859M| 677 | 223 |8321 |6100 |8321 |1185 |2154 |   0 |  23k| 0.000000e+00 | 1.549020e+05 |    Inf 
1788.04/1788.05	c  1773s|310000 |310001 |  4894k|  15.8 | 886M| 677 | 374 |8321 |6100 |8321 |1185 |2154 |   0 |  23k| 0.000000e+00 | 1.549020e+05 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1784.80
1800.05/1800.00	c Solving Nodes      : 312390
1800.05/1800.00	c Primal Bound       : +1.54902000000000e+05 (3 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.15/1800.15	s SATISFIABLE
1800.15/1800.15	v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
1800.15/1800.15	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 
1800.15/1800.15	v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 
1800.15/1800.15	v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 
1800.15/1800.15	v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 
1800.15/1800.15	v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 
1800.15/1800.15	v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 
1800.15/1800.15	v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
1800.15/1800.15	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1800.15/1800.15	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 
1800.15/1800.15	v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 
1800.15/1800.15	v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 
1800.15/1800.15	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1800.15/1800.15	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
1800.15/1800.15	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
1800.15/1800.15	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 
1800.15/1800.15	v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 
1800.15/1800.15	v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 
1800.15/1800.15	v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 
1800.15/1800.15	v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
1800.15/1800.15	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
1800.15/1800.15	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 
1800.15/1800.15	v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
1800.15/1800.15	v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
1800.15/1800.15	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
1800.15/1800.15	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 
1800.15/1800.15	v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 
1800.15/1800.15	v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 
1800.15/1800.15	v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 
1800.15/1800.15	v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
1800.15/1800.15	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
1800.15/1800.15	v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
1800.15/1800.15	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 
1800.15/1800.15	v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 
1800.15/1800.15	v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 
1800.15/1800.15	v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 
1800.15/1800.15	v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 
1800.15/1800.15	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 
1800.15/1800.15	v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 
1800.15/1800.15	v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 
1800.15/1800.15	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 
1800.15/1800.15	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 
1800.15/1800.15	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
1800.15/1800.15	v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
1800.15/1800.15	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 
1800.15/1800.15	v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 
1800.15/1800.15	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 
1800.15/1800.15	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 
1800.15/1800.15	v -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 
1800.15/1800.15	v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 
1800.15/1800.15	v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
1800.15/1800.15	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
1800.15/1800.15	v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
1800.15/1800.15	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
1800.15/1800.15	v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
1800.15/1800.15	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
1800.15/1800.15	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
1800.15/1800.15	v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
1800.15/1800.15	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 
1800.15/1800.15	v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 
1800.15/1800.15	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
1800.15/1800.15	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
1800.15/1800.15	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
1800.15/1800.15	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
1800.15/1800.15	v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 
1800.15/1800.15	v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 
1800.15/1800.15	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 
1800.15/1800.15	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
1800.15/1800.15	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 
1800.15/1800.15	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 
1800.15/1800.15	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
1800.15/1800.15	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 
1800.15/1800.15	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 
1800.15/1800.15	v -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 
1800.15/1800.15	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 
1800.15/1800.15	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 
1800.15/1800.15	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 
1800.15/1800.15	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 
1800.15/1800.15	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 
1800.15/1800.15	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 
1800.15/1800.15	v -x756 x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 
1800.15/1800.15	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 
1800.15/1800.15	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
1800.15/1800.15	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 
1800.15/1800.15	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 
1800.15/1800.15	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 
1800.15/1800.15	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 
1800.15/1800.15	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 
1800.15/1800.15	v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 
1800.15/1800.15	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 
1800.15/1800.15	v -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 
1800.15/1800.15	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 
1800.15/1800.15	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 
1800.15/1800.15	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 
1800.15/1800.15	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 
1800.15/1800.15	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 
1800.15/1800.15	v -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
1800.15/1800.15	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 
1800.15/1800.15	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 
1800.15/1800.15	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 
1800.15/1800.15	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 
1800.15/1800.15	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 
1800.15/1800.15	v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 
1800.15/1800.15	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 
1800.15/1800.15	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
1800.15/1800.15	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 
1800.15/1800.15	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 
1800.15/1800.15	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 
1800.15/1800.15	v -x168 -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 
1800.15/1800.15	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1800.15/1800.15	v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 
1800.15/1800.15	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 
1800.15/1800.15	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 
1800.15/1800.15	v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 
1800.15/1800.15	v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 
1800.15/1800.15	v -x5 x4 -x3 -x2 -x1 
1800.15/1800.15	c SCIP Status        : solving was interrupted [user interrupt]
1800.15/1800.15	c Solving Time       :    1784.80
1800.15/1800.15	c Original Problem   :
1800.15/1800.15	c   Problem name     : HOME/instance-2692601-1277931877.wbo
1800.15/1800.15	c   Variables        : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.15/1800.15	c   Constraints      : 6101 initial, 6101 maximal
1800.15/1800.15	c Presolved Problem  :
1800.15/1800.15	c   Problem name     : t_HOME/instance-2692601-1277931877.wbo
1800.15/1800.15	c   Variables        : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.15/1800.15	c   Constraints      : 6100 initial, 6100 maximal
1800.15/1800.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.15/1800.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.15/1800.15	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.15/1800.15	c   linear           :       0.04          0          0          0       3050          0          1        360        720
1800.15/1800.15	c   root node        :          -          0          -          -          0          -          -          -          -
1800.15/1800.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.15/1800.15	c   integral         :          0          0          0     312562          0          0          0          0          0     623894
1800.15/1800.15	c   indicator        :       3050          0     618867        615          0          0      85457          0          0          0
1800.15/1800.15	c   varbound         :          1          6     618867        615          0          0          0          1          0          0
1800.15/1800.15	c   linear           :       3049          6     618867        615          0          0      99140       1114          0          0
1800.15/1800.15	c   countsols        :          0          0          0        443          0          0          0          0          0          0
1800.15/1800.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.15/1800.15	c   integral         :     161.03       0.00       0.00     161.03       0.00
1800.15/1800.15	c   indicator        :      38.23       0.00      38.01       0.22       0.00
1800.15/1800.15	c   varbound         :       0.24       0.00       0.24       0.00       0.00
1800.15/1800.15	c   linear           :      37.13       0.01      36.79       0.33       0.00
1800.15/1800.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.15/1800.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.15/1800.15	c   vbounds          :       0.25          2          0          0
1800.15/1800.15	c   rootredcost      :       0.21          1          0          0
1800.15/1800.15	c   pseudoobj        :      39.13     618667          0          0
1800.15/1800.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.15/1800.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.15/1800.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.15/1800.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.15/1800.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.15/1800.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.15/1800.15	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.15/1800.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.15/1800.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.15/1800.15	c   cut pool         :       0.00          4          -          -        364          -    (maximal pool size: 2185)
1800.15/1800.15	c   redcost          :      50.59     312567          0          0          0          0
1800.15/1800.15	c   impliedbounds    :       0.00          5          0          0          0          0
1800.15/1800.15	c   intobj           :       0.00          0          0          0          0          0
1800.15/1800.15	c   cgmip            :       0.00          0          0          0          0          0
1800.15/1800.15	c   gomory           :       0.07          5          0          0         51          0
1800.15/1800.15	c   strongcg         :       0.02          5          0          0          0          0
1800.15/1800.15	c   cmir             :       0.77          5          0          0       1401          0
1800.15/1800.15	c   flowcover        :       0.59          5          0          0        976          0
1800.15/1800.15	c   clique           :       0.00          1          0          0          0          0
1800.15/1800.15	c   zerohalf         :       0.00          0          0          0          0          0
1800.15/1800.15	c   mcf              :       0.00          1          0          0          0          0
1800.15/1800.15	c   rapidlearning    :       0.00          0          0          0          0          0
1800.15/1800.15	c Pricers            :       Time      Calls       Vars
1800.15/1800.15	c   problem variables:       0.00          0          0
1800.15/1800.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.15/1800.15	c   relpscost        :     160.73     311947          0          0          0          0     623894
1800.15/1800.15	c   pscost           :       0.00          0          0          0          0          0          0
1800.15/1800.15	c   inference        :       0.25        443          0          0          0          0        886
1800.15/1800.15	c   mostinf          :       0.00          0          0          0          0          0          0
1800.15/1800.15	c   leastinf         :       0.00          0          0          0          0          0          0
1800.15/1800.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.15/1800.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.15/1800.15	c   random           :       0.00          0          0          0          0          0          0
1800.15/1800.15	c Primal Heuristics  :       Time      Calls      Found
1800.15/1800.15	c   LP solutions     :       0.00          -          0
1800.15/1800.15	c   pseudo solutions :       0.00          -          0
1800.15/1800.15	c   crossover        :       0.25          0          0
1800.15/1800.15	c   feaspump         :       0.00          0          0
1800.15/1800.15	c   oneopt           :       0.44          1          0
1800.15/1800.15	c   intshifting      :       1.16         33          0
1800.15/1800.15	c   rootsoldiving    :       3.35         76          0
1800.15/1800.15	c   objpscostdiving  :      25.67         76          0
1800.15/1800.15	c   fracdiving       :      78.75        152          0
1800.15/1800.15	c   pscostdiving     :      79.07        152          0
1800.15/1800.15	c   guideddiving     :      80.36        152          0
1800.15/1800.15	c   coefdiving       :      84.45        152          0
1800.15/1800.15	c   linesearchdiving :      70.13        152          0
1800.15/1800.15	c   veclendiving     :      67.13        152          0
1800.15/1800.15	c   trivial          :       0.13          2          2
1800.15/1800.15	c   simplerounding   :       0.78     278796          0
1800.15/1800.15	c   zirounding       :       0.20       1000          0
1800.15/1800.15	c   rounding         :       0.79       7426          0
1800.15/1800.15	c   shifting         :      10.66       2488          0
1800.15/1800.15	c   twoopt           :       0.00          0          0
1800.15/1800.15	c   fixandinfer      :       0.00          0          0
1800.15/1800.15	c   intdiving        :       0.00          0          0
1800.15/1800.15	c   actconsdiving    :       0.00          0          0
1800.15/1800.15	c   octane           :       0.00          0          0
1800.15/1800.15	c   rens             :       0.06          1          0
1800.15/1800.15	c   rins             :       0.00          0          0
1800.15/1800.15	c   localbranching   :       0.00          0          0
1800.15/1800.15	c   mutation         :       0.00          0          0
1800.15/1800.15	c   dins             :       0.00          0          0
1800.15/1800.15	c   undercover       :       0.00          0          0
1800.15/1800.15	c   nlp              :       0.05          0          0
1800.15/1800.15	c   trysol           :       6.72       3507          1
1800.15/1800.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.15/1800.15	c   primal LP        :       0.01          0          0       0.00       0.00
1800.15/1800.15	c   dual LP          :     719.59     279026    3994306      14.32    5550.81
1800.15/1800.15	c   lex dual LP      :       0.00          0          0       0.00          -
1800.15/1800.15	c   barrier LP       :       0.00          0          0       0.00          -
1800.15/1800.15	c   diving/probing LP:     303.87     190273     928791       4.88    3056.54
1800.15/1800.15	c   strong branching :     142.38      24043     498634      20.74    3502.14
1800.15/1800.15	c     (at root node) :          -         33      10491     317.91          -
1800.15/1800.15	c   conflict analysis:       0.00          0          0       0.00          -
1800.15/1800.15	c B&B Tree           :
1800.15/1800.15	c   number of runs   :          1
1800.15/1800.15	c   nodes            :     312390
1800.15/1800.15	c   nodes (total)    :     312390
1800.15/1800.15	c   nodes left       :     312391
1800.15/1800.15	c   max depth        :        677
1800.15/1800.15	c   max depth (total):        677
1800.15/1800.15	c   backtracks       :       1091 (0.3%)
1800.15/1800.15	c   delayed cutoffs  :          0
1800.15/1800.15	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.15/1800.15	c   avg switch length:       2.17
1800.15/1800.15	c   switching time   :      34.96
1800.15/1800.15	c Solution           :
1800.15/1800.15	c   Solutions found  :          3 (2 improvements)
1800.15/1800.15	c   First Solution   : +1.54946000000000e+05   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.15/1800.15	c   Primal Bound     : +1.54902000000000e+05   (in run 1, after 1 nodes, 0.27 seconds, depth 0, found by <trysol>)
1800.15/1800.15	c   Dual Bound       : +0.00000000000000e+00
1800.15/1800.15	c   Gap              :   infinite
1800.15/1800.15	c   Root Dual Bound  : +0.00000000000000e+00
1800.15/1800.15	c   Root Iterations  :       3009
1800.54/1800.51	c Time complete: 1800.55.

Verifier Data 

OK	21769

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692601-1277931877/watcher-2692601-1277931877 -o /tmp/evaluation-result-2692601-1277931877/solver-2692601-1277931877 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692601-1277931877.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.16 2.03 2.01 4/178 16667
/proc/meminfo: memFree=30009840/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=9408 CPUtime=0
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 134483106 9633792 1568 4089446400 4194304 8223781 140736038863696 18446744073709551615 7238062 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16667/statm: 2352 1568 369 984 0 1365 0

[startup+0.041534 s]
/proc/loadavg: 2.16 2.03 2.01 4/178 16667
/proc/meminfo: memFree=30009840/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=19836 CPUtime=0.03
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 4252 0 0 0 3 0 0 0 25 0 1 0 134483106 20312064 4171 4089446400 4194304 8223781 140736038863696 18446744073709551615 5650759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16667/statm: 4959 4171 369 984 0 3972 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19836

[startup+0.100524 s]
/proc/loadavg: 2.16 2.03 2.01 4/178 16667
/proc/meminfo: memFree=30009840/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=41692 CPUtime=0.09
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 9650 0 0 0 8 1 0 0 25 0 1 0 134483106 42692608 9205 4089446400 4194304 8223781 140736038863696 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 10423 9205 422 984 0 9436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41692

[startup+0.30049 s]
/proc/loadavg: 2.16 2.03 2.01 4/178 16667
/proc/meminfo: memFree=30009840/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=43368 CPUtime=0.29
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 10901 0 0 0 28 1 0 0 25 0 1 0 134483106 44408832 9685 4089446400 4194304 8223781 140736038863696 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 10842 9685 472 984 0 9855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43368

[startup+0.700419 s]
/proc/loadavg: 2.16 2.03 2.01 4/178 16667
/proc/meminfo: memFree=30009840/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=54488 CPUtime=0.69
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 13869 0 0 0 67 2 0 0 25 0 1 0 134483106 55795712 12395 4089446400 4194304 8223781 140736038863696 18446744073709551615 6537868 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 13622 12395 568 984 0 12635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54488

[startup+1.50027 s]
/proc/loadavg: 2.16 2.03 2.01 3/179 16668
/proc/meminfo: memFree=29959364/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=57080 CPUtime=1.49
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 14744 0 0 0 147 2 0 0 25 0 1 0 134483106 58449920 13026 4089446400 4194304 8223781 140736038863696 18446744073709551615 6048093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 14270 13026 570 984 0 13283 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57080

[startup+3.10098 s]
/proc/loadavg: 2.15 2.03 2.01 3/179 16668
/proc/meminfo: memFree=29954496/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=59420 CPUtime=3.09
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 30623 0 0 0 304 5 0 0 25 0 1 0 134483106 60846080 13612 4089446400 4194304 8223781 140736038863696 18446744073709551615 6568463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 14855 13612 580 984 0 13868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59420

[startup+6.30041 s]
/proc/loadavg: 2.15 2.03 2.01 3/179 16668
/proc/meminfo: memFree=29946164/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=58964 CPUtime=6.29
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 61475 0 0 0 619 10 0 0 25 0 1 0 134483106 60379136 13465 4089446400 4194304 8223781 140736038863696 18446744073709551615 6539302 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 14741 13465 580 984 0 13754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58964

[startup+12.7002 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 16669
/proc/meminfo: memFree=29932652/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=58836 CPUtime=12.69
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 132713 0 0 0 1248 21 0 0 25 0 1 0 134483106 60248064 13436 4089446400 4194304 8223781 140736038863696 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 14709 13436 580 984 0 13722 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58836

[startup+25.5009 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 16669
/proc/meminfo: memFree=29905876/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=58740 CPUtime=25.49
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 260291 0 0 0 2506 43 0 0 25 0 1 0 134483106 60149760 13424 4089446400 4194304 8223781 140736038863696 18446744073709551615 6536498 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16667/statm: 14685 13424 580 984 0 13698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58740

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 16670
/proc/meminfo: memFree=29844712/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=62652 CPUtime=51.09
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 414925 0 0 0 5034 75 0 0 25 0 1 0 134483106 64155648 14387 4089446400 4194304 8223781 140736038863696 18446744073709551615 6599090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 15663 14387 582 984 0 14676 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62652

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16671
/proc/meminfo: memFree=29723780/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=65456 CPUtime=102.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 645116 0 0 0 10091 139 0 0 25 0 1 0 134483106 67026944 15210 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 16364 15210 583 984 0 15377 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65456

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16700
/proc/meminfo: memFree=31041480/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=80372 CPUtime=162.29
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 819366 0 0 0 16024 205 0 0 25 0 1 0 134483106 82300928 18923 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 20093 18923 593 984 0 19106 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 80372

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16701
/proc/meminfo: memFree=30981780/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=96132 CPUtime=222.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 892652 0 0 0 21974 256 0 0 25 0 1 0 134483106 98439168 22921 4089446400 4194304 8223781 140736038863696 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 24033 22921 583 984 0 23046 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 96132

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16703
/proc/meminfo: memFree=30947400/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=115696 CPUtime=282.29
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 959663 0 0 0 27922 307 0 0 25 0 1 0 134483106 118472704 27838 4089446400 4194304 8223781 140736038863696 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 28924 27838 583 984 0 27937 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 115696

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16705
/proc/meminfo: memFree=30906696/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=137040 CPUtime=342.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1001326 0 0 0 33878 352 0 0 25 0 1 0 134483106 140328960 33204 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 34260 33204 583 984 0 33273 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 137040

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16706
/proc/meminfo: memFree=30864764/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=160076 CPUtime=402.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1066923 0 0 0 39824 406 0 0 25 0 1 0 134483106 163917824 38894 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 40019 38894 583 984 0 39032 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 160076

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16708
/proc/meminfo: memFree=30819224/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=188132 CPUtime=462.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1096108 0 0 0 45778 452 0 0 25 0 1 0 134483106 192647168 46026 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 47033 46026 583 984 0 46046 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 188132

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16709
/proc/meminfo: memFree=30766492/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=222676 CPUtime=522.31
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1110229 0 0 0 51738 493 0 0 25 0 1 0 134483106 228020224 54728 4089446400 4194304 8223781 140736038863696 18446744073709551615 6482641 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 55669 54728 583 984 0 54682 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 222676

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16711
/proc/meminfo: memFree=30711772/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=261916 CPUtime=582.3
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1119892 0 0 0 57703 527 0 0 25 0 1 0 134483106 268201984 64053 4089446400 4194304 8223781 140736038863696 18446744073709551615 5893797 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 65479 64053 583 984 0 64492 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 261916

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16713
/proc/meminfo: memFree=30643796/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=309260 CPUtime=642.32
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1133881 0 0 0 63666 566 0 0 25 0 1 0 134483106 316682240 75949 4089446400 4194304 8223781 140736038863696 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 77315 75949 585 984 0 76328 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 309260

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16722
/proc/meminfo: memFree=30324916/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=496852 CPUtime=1002.32
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1438676 0 0 0 99358 874 0 0 25 0 1 0 134483106 508776448 123103 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 124213 123103 585 984 0 123226 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 496852

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16724
/proc/meminfo: memFree=30264000/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=535564 CPUtime=1062.32
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1462304 0 0 0 105314 918 0 0 25 0 1 0 134483106 548417536 132843 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 133891 132843 585 984 0 132904 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 535564

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16725
/proc/meminfo: memFree=30206800/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=570204 CPUtime=1122.32
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1556211 0 0 0 111261 971 0 0 25 0 1 0 134483106 583888896 141451 4089446400 4194304 8223781 140736038863696 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 142551 141451 597 984 0 141564 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 570204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16727
/proc/meminfo: memFree=30163368/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=593484 CPUtime=1182.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1637619 0 0 0 117207 1026 0 0 25 0 1 0 134483106 607727616 147309 4089446400 4194304 8223781 140736038863696 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 148371 147309 585 984 0 147384 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 593484

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16729
/proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=632784 CPUtime=1242.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1673100 0 0 0 123167 1066 0 0 25 0 1 0 134483106 647970816 156140 4089446400 4194304 8223781 140736038863696 18446744073709551615 6440044 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 158196 156140 585 984 0 157209 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 632784

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16730
/proc/meminfo: memFree=30054032/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=659976 CPUtime=1302.34
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1729567 0 0 0 129114 1120 0 0 25 0 1 0 134483106 675815424 163043 4089446400 4194304 8223781 140736038863696 18446744073709551615 6590175 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 164994 163043 585 984 0 164007 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 659976

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16732
/proc/meminfo: memFree=30000936/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=690392 CPUtime=1362.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1774921 0 0 0 135065 1168 0 0 25 0 1 0 134483106 706961408 170714 4089446400 4194304 8223781 140736038863696 18446744073709551615 6455726 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 172598 170714 585 984 0 171611 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 690392

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16733
/proc/meminfo: memFree=29939896/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=724596 CPUtime=1422.34
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1807115 0 0 0 141022 1212 0 0 25 0 1 0 134483106 741986304 179339 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 181149 179339 585 984 0 180162 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 724596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16735
/proc/meminfo: memFree=29890640/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=752856 CPUtime=1482.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1875282 0 0 0 146972 1261 0 0 25 0 1 0 134483106 770924544 186441 4089446400 4194304 8223781 140736038863696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 188214 186441 585 984 0 187227 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 752856

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16737
/proc/meminfo: memFree=29837288/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=782252 CPUtime=1542.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1919163 0 0 0 152926 1307 0 0 25 0 1 0 134483106 801026048 193828 4089446400 4194304 8223781 140736038863696 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 195563 193828 585 984 0 194576 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 782252

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16738
/proc/meminfo: memFree=29783800/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=812508 CPUtime=1602.34
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1952853 0 0 0 158877 1357 0 0 25 0 1 0 134483106 832008192 201436 4089446400 4194304 8223781 140736038863696 18446744073709551615 6372030 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16667/statm: 203127 201436 585 984 0 202140 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 812508

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16743
/proc/meminfo: memFree=29731480/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=841512 CPUtime=1662.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 1998496 0 0 0 164823 1410 0 0 25 0 1 0 134483106 861708288 208661 4089446400 4194304 8223781 140736038863696 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16667/statm: 210378 208661 600 984 0 209391 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 841512

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16744
/proc/meminfo: memFree=29673912/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=872128 CPUtime=1722.33
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2040543 0 0 0 170771 1462 0 0 25 0 1 0 134483106 893059072 216418 4089446400 4194304 8223781 140736038863696 18446744073709551615 6444696 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16667/statm: 218032 216418 585 984 0 217045 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 872128

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16746
/proc/meminfo: memFree=29615824/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=903512 CPUtime=1782.34
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2074968 0 0 0 176726 1508 0 0 25 0 1 0 134483106 925196288 224306 4089446400 4194304 8223781 140736038863696 18446744073709551615 6455710 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16667/statm: 225878 224306 585 984 0 224891 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 903512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16746
/proc/meminfo: memFree=29599940/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=912208 CPUtime=1800.05
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2087242 0 0 0 178484 1521 0 0 25 0 1 0 134483106 934100992 226441 4089446400 4194304 8223781 140736038863696 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16667/statm: 228052 226441 585 984 0 227065 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 912208

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: 2.00 2.00 2.00 3/179 16746
/proc/meminfo: memFree=29599940/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=912068 CPUtime=1800.24
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2087244 0 0 0 178503 1521 0 0 25 0 1 0 134483106 933957632 226408 4089446400 4194304 8223781 140736038863696 18446744073709551615 6206525 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16667/statm: 228017 226408 587 984 0 227030 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 912068

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16746
/proc/meminfo: memFree=29599940/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=633028 CPUtime=1800.44
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2087244 0 0 0 178522 1522 0 0 25 0 1 0 134483106 648220672 156667 4089446400 4194304 8223781 140736038863696 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16667/statm: 158176 156586 587 984 0 157189 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 633028

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16746
/proc/meminfo: memFree=29599940/32951124 swapFree=67111528/67111528
[pid=16667] ppid=16665 vsize=85724 CPUtime=1800.54
/proc/16667/stat : 16667 (pbscip.linux.x8) R 16665 16667 16271 0 -1 4202496 2087244 0 0 0 178530 1524 0 0 25 0 1 0 134483106 87781376 19906 4089446400 4194304 8223781 140736038863696 18446744073709551615 6207096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16667/statm: 21431 19906 587 984 0 20444 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 85724

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.56
CPU user time (s): 1785.31
CPU system time (s): 15.2457
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 912208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.31
system time used= 15.2457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2087248
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= 2
involuntary context switches= 2011

runsolver used 2.70759 second user time and 6.97994 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 23:04:37
IDJOB=2692601
IDBENCH=79328
IDSOLVER=1204
FILE ID=node137/2692601-1277931877
PBS_JOBID= 11197430
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-blast-tlan2.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-2692601-1277931877/watcher-2692601-1277931877 -o /tmp/evaluation-result-2692601-1277931877/solver-2692601-1277931877 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692601-1277931877.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8cd432ce35ac43809c1c027beb7ff72a
RANDOM SEED=1300356057

node137.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.876
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.75
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.876
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.876
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.74
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.876
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.876
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.75
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.876
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.83
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.876
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.74
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.876
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30010368 kB
Buffers:        219508 kB
Cached:        1266116 kB
SwapCached:          0 kB
Active:        1856168 kB
Inactive:       935376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30010368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:     1306524 kB
Mapped:          15424 kB
Slab:            81992 kB
PageTables:       7580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1449656 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= 74200 MiB
End job on node137 at 2010-06-30 23:34:39