Trace number 2703533

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1792.5 1793.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
MD5SUMf48abdef3d00ab6f87ca2e4f0d43c1d1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3811
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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703533-1278562533.opb>
0.00/0.01	c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02	c       6 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.3
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1790
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 1620
0.00/0.02	c 
0.00/0.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02	c # [type: int, range: [1,2], default: 1]
0.00/0.02	c timing/clocktype = 2
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/indicator/addCouplingCons = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    31 |     - | 273k|   0 |   6 |  50 |   6 |  50 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   100 |     - | 329k|   0 |  10 |  50 |  18 |  50 |  12 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   110 |     - | 356k|   0 |  13 |  50 |  18 |  50 |  16 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   117 |     - | 392k|   0 |  14 |  50 |  18 |  50 |  19 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   124 |     - | 412k|   0 |  14 |  50 |  18 |  50 |  21 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.2s|     1 |     0 |   129 |     - | 420k|   0 |  17 |  50 |  18 |  50 |  24 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.17	c   0.2s|     1 |     0 |   139 |     - | 423k|   0 |  15 |  50 |  18 |  50 |  26 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.20/0.22	c   0.2s|     1 |     2 |   139 |     - | 423k|   0 |  15 |  50 |  18 |  50 |  26 |  20 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
4.20/4.23	c   4.2s| 10000 |  3709 | 24100 |   2.4 |3917k|  43 |   6 |  50 |2938 |  50 |  16 |  20 |4335 | 510 | 0.000000e+00 |      --      |    Inf 
8.29/8.35	c   8.3s| 20000 |  6664 | 48062 |   2.4 |6042k|  44 |   - |  50 |2889 |  50 |  16 |  20 |9174 | 665 | 0.000000e+00 |      --      |    Inf 
12.39/12.50	c  12.5s| 30000 |  9335 | 71445 |   2.4 |7980k|  44 |   - |  50 |3022 |  50 |  16 |  20 |  14k| 816 | 0.000000e+00 |      --      |    Inf 
16.58/16.69	c  16.7s| 40000 | 12253 | 95046 |   2.4 |  10M|  44 |   6 |  50 |3328 |  50 |  16 |  20 |  18k| 915 | 0.000000e+00 |      --      |    Inf 
20.99/21.05	c  21.0s| 50000 | 14843 |118173 |   2.4 |  12M|  44 |   - |  50 |3483 |   0 |   0 |  20 |  24k| 970 | 0.000000e+00 |      --      |    Inf 
25.38/25.46	c  25.5s| 60000 | 17674 |141269 |   2.4 |  14M|  44 |   - |  50 |3770 |  50 |  16 |  20 |  28k|1037 | 0.000000e+00 |      --      |    Inf 
29.97/30.05	c  30.0s| 70000 | 20373 |164322 |   2.3 |  16M|  44 |   - |  50 |3778 |  50 |  16 |  20 |  34k|1108 | 0.000000e+00 |      --      |    Inf 
34.47/34.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.47/34.59	c  34.6s| 80000 | 23090 |187208 |   2.3 |  18M|  44 |   6 |  50 |3508 |  50 |  16 |  20 |  39k|1155 | 0.000000e+00 |      --      |    Inf 
38.98/39.04	c  39.0s| 90000 | 25883 |210431 |   2.3 |  20M|  44 |   - |  50 |4468 |  50 |  16 |  20 |  43k|1202 | 0.000000e+00 |      --      |    Inf 
43.88/43.90	c  43.9s|100000 | 28451 |233705 |   2.3 |  22M|  44 |   - |  50 |4181 |  50 |  16 |  20 |  49k|1252 | 0.000000e+00 |      --      |    Inf 
48.58/48.65	c  48.6s|110000 | 30992 |257505 |   2.3 |  24M|  44 |   6 |  50 |4555 |  50 |  16 |  20 |  54k|1289 | 0.000000e+00 |      --      |    Inf 
53.57/53.64	c  53.6s|120000 | 33481 |281093 |   2.3 |  26M|  44 |   6 |  50 |4631 |  50 |  16 |  20 |  59k|1318 | 0.000000e+00 |      --      |    Inf 
58.58/58.64	c  58.6s|130000 | 35924 |304362 |   2.3 |  28M|  44 |   6 |  50 |4739 |  50 |  16 |  20 |  64k|1357 | 0.000000e+00 |      --      |    Inf 
63.17/63.27	c  63.3s|140000 | 38921 |328637 |   2.3 |  30M|  44 |   6 |  50 |5905 |  50 |  16 |  20 |  69k|1385 | 0.000000e+00 |      --      |    Inf 
68.76/68.80	c  68.8s|150000 | 41364 |352144 |   2.3 |  32M|  44 |   - |  50 |5153 |  50 |  16 |  20 |  75k|1421 | 0.000000e+00 |      --      |    Inf 
73.97/74.04	c  74.0s|160000 | 43961 |375630 |   2.3 |  34M|  44 |   - |  50 |5119 |  50 |  16 |  20 |  80k|1455 | 0.000000e+00 |      --      |    Inf 
79.36/79.42	c  79.4s|170000 | 46391 |399351 |   2.3 |  36M|  44 |   - |  50 |5214 |  50 |  16 |  20 |  85k|1485 | 0.000000e+00 |      --      |    Inf 
84.57/84.63	c  84.6s|180000 | 48912 |422919 |   2.3 |  38M|  44 |   6 |  50 |5786 |  50 |  16 |  20 |  90k|1514 | 0.000000e+00 |      --      |    Inf 
89.96/90.01	c  90.0s|190000 | 51506 |446277 |   2.3 |  40M|  44 |   - |  50 |6237 |  50 |  16 |  20 |  96k|1541 | 0.000000e+00 |      --      |    Inf 
95.57/95.66	c  95.6s|200000 | 53955 |468961 |   2.3 |  42M|  44 |   - |  50 |5856 |  50 |  16 |  20 | 101k|1568 | 0.000000e+00 |      --      |    Inf 
101.07/101.18	c   101s|210000 | 56436 |491161 |   2.3 |  44M|  44 |   6 |  50 |5608 |  50 |  16 |  20 | 106k|1601 | 0.000000e+00 |      --      |    Inf 
106.57/106.62	c   107s|220000 | 58887 |514167 |   2.3 |  46M|  44 |   6 |  50 |5758 |  50 |  16 |  20 | 111k|1628 | 0.000000e+00 |      --      |    Inf 
112.16/112.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
112.16/112.29	c   112s|230000 | 61057 |537063 |   2.3 |  48M|  44 |   6 |  50 |5874 |  50 |  16 |  20 | 116k|1655 | 0.000000e+00 |      --      |    Inf 
117.75/117.87	c   118s|240000 | 63571 |560060 |   2.3 |  50M|  44 |   6 |  50 |6170 |  50 |  16 |  20 | 122k|1669 | 0.000000e+00 |      --      |    Inf 
123.55/123.62	c   124s|250000 | 66042 |583002 |   2.3 |  52M|  44 |   6 |  50 |6090 |  50 |  16 |  20 | 127k|1702 | 0.000000e+00 |      --      |    Inf 
128.95/129.01	c   129s|260000 | 68558 |606501 |   2.3 |  54M|  44 |   6 |  50 |7016 |  50 |  16 |  20 | 132k|1724 | 0.000000e+00 |      --      |    Inf 
135.05/135.12	c   135s|270000 | 70825 |629190 |   2.3 |  56M|  44 |   6 |  50 |6500 |  50 |  16 |  20 | 137k|1750 | 0.000000e+00 |      --      |    Inf 
140.45/140.53	c   141s|280000 | 73308 |652269 |   2.3 |  58M|  44 |   6 |  50 |6740 |  50 |  16 |  20 | 142k|1776 | 0.000000e+00 |      --      |    Inf 
146.34/146.49	c   146s|290000 | 75746 |674676 |   2.3 |  60M|  44 |   6 |  50 |6441 |  50 |  16 |  20 | 148k|1809 | 0.000000e+00 |      --      |    Inf 
152.04/152.14	c   152s|300000 | 78288 |698032 |   2.3 |  62M|  44 |   6 |  50 |6433 |  50 |  16 |  20 | 153k|1828 | 0.000000e+00 |      --      |    Inf 
158.35/158.41	c   158s|310000 | 80520 |721469 |   2.3 |  63M|  44 |   - |  50 |6013 |  50 |  16 |  20 | 158k|1852 | 0.000000e+00 |      --      |    Inf 
163.64/163.79	c   164s|320000 | 83314 |744804 |   2.3 |  66M|  44 |   - |  50 |6417 |  50 |  16 |  20 | 163k|1881 | 0.000000e+00 |      --      |    Inf 
169.93/170.01	c   170s|330000 | 85661 |767580 |   2.3 |  67M|  44 |   - |  50 |6587 |  50 |  16 |  20 | 168k|1900 | 0.000000e+00 |      --      |    Inf 
175.33/175.47	c   175s|340000 | 88372 |790886 |   2.3 |  70M|  44 |   6 |  50 |7181 |  50 |  16 |  20 | 173k|1922 | 0.000000e+00 |      --      |    Inf 
180.64/180.73	c   181s|350000 | 91233 |814232 |   2.3 |  72M|  44 |   6 |  50 |8420 |  50 |  16 |  20 | 178k|1946 | 0.000000e+00 |      --      |    Inf 
186.94/187.06	c   187s|360000 | 93543 |837456 |   2.3 |  74M|  44 |   6 |  50 |7210 |  50 |  16 |  20 | 184k|1969 | 0.000000e+00 |      --      |    Inf 
193.23/193.35	c   193s|370000 | 96048 |861175 |   2.3 |  76M|  44 |   6 |  50 |7503 |  50 |  16 |  20 | 189k|2004 | 0.000000e+00 |      --      |    Inf 
199.63/199.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
199.63/199.76	c   200s|380000 | 98375 |884521 |   2.3 |  78M|  44 |   - |  50 |7366 |   0 |   0 |  20 | 194k|2031 | 0.000000e+00 |      --      |    Inf 
205.53/205.69	c   206s|390000 |100977 |907375 |   2.3 |  79M|  44 |   - |  50 |7256 |  50 |  16 |  20 | 200k|2048 | 0.000000e+00 |      --      |    Inf 
211.32/211.43	c   211s|400000 |103674 |930866 |   2.3 |  82M|  44 |   6 |  50 |8620 |  50 |  16 |  20 | 205k|2063 | 0.000000e+00 |      --      |    Inf 
217.43/217.59	c   218s|410000 |106525 |955745 |   2.3 |  84M|  44 |   6 |  50 |9023 |  50 |  16 |  20 | 210k|2079 | 0.000000e+00 |      --      |    Inf 
224.02/224.16	c   224s|420000 |109162 |979360 |   2.3 |  86M|  44 |   6 |  50 |9269 |  50 |  16 |  20 | 215k|2104 | 0.000000e+00 |      --      |    Inf 
231.52/231.62	c   232s|430000 |111433 |  1002k|   2.3 |  88M|  44 |   6 |  50 |7431 |  50 |  16 |  20 | 220k|2121 | 0.000000e+00 |      --      |    Inf 
237.82/237.98	c   238s|440000 |113770 |  1026k|   2.3 |  90M|  44 |   - |  50 |7901 |  50 |  16 |  20 | 226k|2147 | 0.000000e+00 |      --      |    Inf 
244.72/244.81	c   245s|450000 |116142 |  1049k|   2.3 |  91M|  44 |   6 |  50 |6908 |  50 |  16 |  20 | 231k|2165 | 0.000000e+00 |      --      |    Inf 
250.72/250.89	c   251s|460000 |118615 |  1072k|   2.3 |  93M|  44 |   6 |  50 |7741 |  50 |  16 |  20 | 236k|2189 | 0.000000e+00 |      --      |    Inf 
257.32/257.46	c   257s|470000 |120924 |  1095k|   2.3 |  95M|  44 |   - |  50 |7817 |  50 |  16 |  20 | 241k|2206 | 0.000000e+00 |      --      |    Inf 
263.71/263.85	c   264s|480000 |123294 |  1118k|   2.3 |  97M|  44 |   - |  50 |7740 |  50 |  16 |  20 | 247k|2231 | 0.000000e+00 |      --      |    Inf 
269.90/270.08	c   270s|490000 |125769 |  1140k|   2.3 |  99M|  44 |   6 |  50 |8204 |  50 |  16 |  20 | 252k|2254 | 0.000000e+00 |      --      |    Inf 
276.60/276.73	c   277s|500000 |128334 |  1163k|   2.3 | 101M|  44 |   6 |  50 |7727 |  50 |  16 |  20 | 257k|2267 | 0.000000e+00 |      --      |    Inf 
283.30/283.45	c   283s|510000 |130761 |  1186k|   2.3 | 103M|  44 |   6 |  50 |7122 |  50 |  16 |  20 | 262k|2288 | 0.000000e+00 |      --      |    Inf 
289.50/289.68	c   290s|520000 |133198 |  1210k|   2.3 | 105M|  44 |   6 |  50 |7602 |  50 |  16 |  20 | 267k|2302 | 0.000000e+00 |      --      |    Inf 
296.20/296.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
296.20/296.38	c   296s|530000 |135490 |  1233k|   2.3 | 107M|  44 |   6 |  50 |7216 |  50 |  16 |  20 | 273k|2317 | 0.000000e+00 |      --      |    Inf 
302.50/302.65	c   303s|540000 |138087 |  1256k|   2.3 | 109M|  44 |   6 |  50 |6778 |  50 |  16 |  20 | 278k|2334 | 0.000000e+00 |      --      |    Inf 
308.70/308.85	c   309s|550000 |140498 |  1279k|   2.3 | 110M|  44 |   6 |  50 |6842 |  50 |  16 |  20 | 283k|2349 | 0.000000e+00 |      --      |    Inf 
315.39/315.50	c   315s|560000 |142667 |  1301k|   2.3 | 112M|  44 |   6 |  50 |6654 |  50 |  16 |  20 | 289k|2368 | 0.000000e+00 |      --      |    Inf 
321.69/321.85	c   322s|570000 |145076 |  1324k|   2.3 | 114M|  44 |   6 |  50 |7017 |  50 |  16 |  20 | 294k|2382 | 0.000000e+00 |      --      |    Inf 
328.19/328.39	c   328s|580000 |147478 |  1347k|   2.3 | 116M|  44 |   6 |  50 |7030 |  50 |  16 |  20 | 299k|2402 | 0.000000e+00 |      --      |    Inf 
333.59/333.73	c   334s|590000 |150594 |  1372k|   2.3 | 119M|  44 |   6 |  50 |8168 |  50 |  16 |  20 | 304k|2421 | 0.000000e+00 |      --      |    Inf 
339.09/339.29	c   339s|600000 |153709 |  1396k|   2.3 | 121M|  44 |   6 |  50 |9637 |  50 |  16 |  20 | 309k|2435 | 0.000000e+00 |      --      |    Inf 
345.38/345.50	c   345s|610000 |156624 |  1420k|   2.3 | 123M|  44 |   6 |  50 |9544 |  50 |  16 |  20 | 314k|2453 | 0.000000e+00 |      --      |    Inf 
352.78/352.98	c   353s|620000 |158814 |  1444k|   2.3 | 125M|  44 |   6 |  50 |7935 |  50 |  16 |  20 | 319k|2475 | 0.000000e+00 |      --      |    Inf 
359.68/359.89	c   360s|630000 |161050 |  1467k|   2.3 | 126M|  44 |   - |  50 |7774 |  50 |  16 |  20 | 325k|2502 | 0.000000e+00 |      --      |    Inf 
365.58/365.73	c   366s|640000 |163933 |  1490k|   2.3 | 129M|  44 |   6 |  50 |8742 |  50 |  16 |  20 | 330k|2522 | 0.000000e+00 |      --      |    Inf 
372.57/372.70	c   373s|650000 |166315 |  1513k|   2.3 | 130M|  44 |   6 |  50 |7753 |  50 |  16 |  20 | 335k|2536 | 0.000000e+00 |      --      |    Inf 
379.68/379.80	c   380s|660000 |168614 |  1535k|   2.3 | 132M|  44 |   6 |  50 |7002 |  50 |  16 |  20 | 340k|2555 | 0.000000e+00 |      --      |    Inf 
386.37/386.56	c   387s|670000 |170928 |  1558k|   2.3 | 134M|  44 |   6 |  50 |7070 |  50 |  16 |  20 | 345k|2574 | 0.000000e+00 |      --      |    Inf 
393.36/393.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
393.36/393.53	c   394s|680000 |173101 |  1581k|   2.3 | 136M|  44 |   - |  50 |6777 |  50 |  16 |  20 | 351k|2600 | 0.000000e+00 |      --      |    Inf 
399.86/400.05	c   400s|690000 |175399 |  1604k|   2.3 | 138M|  44 |   6 |  50 |6994 |  50 |  16 |  20 | 356k|2613 | 0.000000e+00 |      --      |    Inf 
406.07/406.24	c   406s|700000 |177882 |  1627k|   2.3 | 140M|  44 |   - |  50 |8045 |  50 |  16 |  20 | 361k|2631 | 0.000000e+00 |      --      |    Inf 
413.66/413.86	c   414s|710000 |179913 |  1650k|   2.3 | 141M|  44 |   6 |  50 |7077 |  50 |  16 |  20 | 367k|2649 | 0.000000e+00 |      --      |    Inf 
420.16/420.36	c   420s|720000 |182164 |  1673k|   2.3 | 143M|  44 |   6 |  50 |7750 |  50 |  16 |  20 | 372k|2663 | 0.000000e+00 |      --      |    Inf 
426.86/427.07	c   427s|730000 |184540 |  1697k|   2.3 | 145M|  44 |   6 |  50 |7654 |  50 |  16 |  20 | 378k|2681 | 0.000000e+00 |      --      |    Inf 
433.35/433.57	c   434s|740000 |186922 |  1719k|   2.3 | 147M|  44 |   6 |  50 |7945 |  50 |  16 |  20 | 383k|2693 | 0.000000e+00 |      --      |    Inf 
440.35/440.53	c   441s|750000 |189160 |  1743k|   2.3 | 149M|  44 |   6 |  50 |7676 |  50 |  16 |  20 | 388k|2707 | 0.000000e+00 |      --      |    Inf 
447.05/447.26	c   447s|760000 |191401 |  1766k|   2.3 | 151M|  44 |   - |  50 |7360 |  50 |  16 |  20 | 394k|2719 | 0.000000e+00 |      --      |    Inf 
453.95/454.10	c   454s|770000 |193579 |  1789k|   2.3 | 153M|  44 |   - |  50 |8137 |  50 |  16 |  20 | 399k|2748 | 0.000000e+00 |      --      |    Inf 
460.55/460.75	c   461s|780000 |195956 |  1813k|   2.3 | 155M|  44 |   - |  50 |8625 |  50 |  16 |  20 | 405k|2765 | 0.000000e+00 |      --      |    Inf 
467.55/467.70	c   468s|790000 |198243 |  1837k|   2.3 | 157M|  44 |   6 |  50 |8609 |  50 |  16 |  20 | 410k|2783 | 0.000000e+00 |      --      |    Inf 
474.25/474.45	c   474s|800000 |200683 |  1860k|   2.3 | 159M|  44 |   - |  50 |9449 |  50 |  16 |  20 | 415k|2802 | 0.000000e+00 |      --      |    Inf 
481.94/482.16	c   482s|810000 |202960 |  1884k|   2.3 | 161M|  44 |   6 |  50 |9023 |  50 |  16 |  20 | 421k|2820 | 0.000000e+00 |      --      |    Inf 
489.54/489.75	c   490s|820000 |205197 |  1907k|   2.3 | 162M|  44 |   - |  50 |8028 |  50 |  16 |  20 | 426k|2834 | 0.000000e+00 |      --      |    Inf 
496.24/496.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
496.24/496.45	c   496s|830000 |207684 |  1931k|   2.3 | 164M|  44 |   6 |  50 |8239 |  50 |  16 |  20 | 432k|2844 | 0.000000e+00 |      --      |    Inf 
503.55/503.79	c   504s|840000 |209824 |  1954k|   2.3 | 166M|  44 |   6 |  50 |7791 |  50 |  16 |  20 | 437k|2861 | 0.000000e+00 |      --      |    Inf 
510.53/510.73	c   511s|850000 |212059 |  1977k|   2.3 | 168M|  44 |   6 |  50 |8084 |  50 |  16 |  20 | 442k|2874 | 0.000000e+00 |      --      |    Inf 
516.84/517.05	c   517s|860000 |214579 |  2001k|   2.3 | 170M|  44 |   - |  50 |8481 |  50 |  16 |  20 | 447k|2887 | 0.000000e+00 |      --      |    Inf 
523.53/523.75	c   524s|870000 |217058 |  2024k|   2.3 | 172M|  44 |   - |  50 |9115 |  50 |  16 |  20 | 453k|2905 | 0.000000e+00 |      --      |    Inf 
531.33/531.53	c   532s|880000 |219072 |  2047k|   2.3 | 173M|  44 |   - |  50 |7963 |   0 |   0 |  20 | 458k|2919 | 0.000000e+00 |      --      |    Inf 
537.73/537.97	c   538s|890000 |221577 |  2070k|   2.3 | 175M|  44 |   6 |  50 |8049 |  50 |  16 |  20 | 463k|2930 | 0.000000e+00 |      --      |    Inf 
544.12/544.37	c   544s|900000 |223987 |  2092k|   2.3 | 178M|  44 |   - |  50 |9358 |   0 |   0 |  20 | 468k|2947 | 0.000000e+00 |      --      |    Inf 
552.03/552.21	c   552s|910000 |226160 |  2116k|   2.3 | 179M|  44 |   6 |  50 |8613 |  50 |  16 |  20 | 474k|2961 | 0.000000e+00 |      --      |    Inf 
558.42/558.64	c   559s|920000 |228662 |  2139k|   2.3 | 181M|  44 |   - |  50 |9146 |  50 |  16 |  20 | 479k|2972 | 0.000000e+00 |      --      |    Inf 
565.72/565.92	c   566s|930000 |230897 |  2161k|   2.3 | 183M|  44 |   - |  50 |8521 |  50 |  16 |  20 | 484k|2986 | 0.000000e+00 |      --      |    Inf 
572.41/572.66	c   573s|940000 |233270 |  2184k|   2.3 | 185M|  44 |   6 |  50 |8473 |  50 |  16 |  20 | 489k|3000 | 0.000000e+00 |      --      |    Inf 
579.53/579.72	c   580s|950000 |235514 |  2207k|   2.3 | 187M|  44 |   6 |  50 |8405 |  50 |  16 |  20 | 495k|3011 | 0.000000e+00 |      --      |    Inf 
586.21/586.44	c   586s|960000 |237881 |  2231k|   2.3 | 189M|  44 |   - |  50 |8418 |  50 |  16 |  20 | 500k|3026 | 0.000000e+00 |      --      |    Inf 
593.81/594.08	c   594s|970000 |240094 |  2254k|   2.3 | 190M|  44 |   6 |  50 |7932 |  50 |  16 |  20 | 506k|3042 | 0.000000e+00 |      --      |    Inf 
601.11/601.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
601.11/601.31	c   601s|980000 |242321 |  2277k|   2.3 | 192M|  44 |   6 |  50 |8404 |  50 |  16 |  20 | 511k|3053 | 0.000000e+00 |      --      |    Inf 
607.90/608.13	c   608s|990000 |244684 |  2300k|   2.3 | 194M|  44 |   6 |  50 |9068 |  50 |  16 |  20 | 516k|3063 | 0.000000e+00 |      --      |    Inf 
615.41/615.60	c   616s|  1000k|246962 |  2323k|   2.3 | 196M|  44 |   - |  50 |7823 |   0 |   0 |  20 | 522k|3082 | 0.000000e+00 |      --      |    Inf 
621.71/621.90	c   622s|  1010k|249492 |  2346k|   2.3 | 198M|  44 |   6 |  50 |8947 |  50 |  16 |  20 | 527k|3093 | 0.000000e+00 |      --      |    Inf 
627.91/628.11	c   628s|  1020k|252213 |  2370k|   2.3 | 200M|  44 |   6 |  50 |9536 |  50 |  16 |  20 | 532k|3111 | 0.000000e+00 |      --      |    Inf 
633.89/634.14	c   634s|  1030k|255439 |  2394k|   2.3 | 203M|  44 |   - |  50 |  10k|  50 |  16 |  20 | 537k|3134 | 0.000000e+00 |      --      |    Inf 
640.59/640.88	c   641s|  1040k|258093 |  2418k|   2.3 | 205M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 542k|3145 | 0.000000e+00 |      --      |    Inf 
647.70/647.93	c   648s|  1050k|260686 |  2441k|   2.3 | 207M|  44 |   6 |  50 |  12k|  50 |  16 |  20 | 547k|3160 | 0.000000e+00 |      --      |    Inf 
656.29/656.52	c   657s|  1060k|262950 |  2464k|   2.3 | 209M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 552k|3169 | 0.000000e+00 |      --      |    Inf 
664.08/664.40	c   664s|  1070k|265389 |  2488k|   2.3 | 211M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 558k|3188 | 0.000000e+00 |      --      |    Inf 
673.47/673.70	c   674s|  1080k|267407 |  2511k|   2.3 | 212M|  44 |   6 |  50 |9434 |  50 |  16 |  20 | 563k|3202 | 0.000000e+00 |      --      |    Inf 
679.48/679.78	c   680s|  1090k|270302 |  2534k|   2.3 | 214M|  44 |   - |  50 |  10k|   0 |   0 |  20 | 568k|3215 | 0.000000e+00 |      --      |    Inf 
687.18/687.49	c   687s|  1100k|272753 |  2557k|   2.3 | 216M|  44 |   - |  50 |9636 |   0 |   0 |  20 | 573k|3230 | 0.000000e+00 |      --      |    Inf 
695.37/695.69	c   696s|  1110k|274917 |  2579k|   2.3 | 217M|  44 |   6 |  50 |7858 |  50 |  16 |  20 | 579k|3247 | 0.000000e+00 |      --      |    Inf 
702.58/702.81	c   703s|  1120k|277230 |  2603k|   2.3 | 219M|  44 |   6 |  50 |8553 |  50 |  16 |  20 | 584k|3258 | 0.000000e+00 |      --      |    Inf 
709.47/709.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
709.47/709.72	c   710s|  1130k|279553 |  2627k|   2.3 | 221M|  44 |   6 |  50 |9351 |  50 |  16 |  20 | 590k|3275 | 0.000000e+00 |      --      |    Inf 
717.17/717.41	c   717s|  1140k|281910 |  2650k|   2.3 | 223M|  44 |   6 |  50 |9145 |  50 |  16 |  20 | 595k|3288 | 0.000000e+00 |      --      |    Inf 
723.26/723.57	c   724s|  1150k|284753 |  2675k|   2.3 | 226M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 600k|3300 | 0.000000e+00 |      --      |    Inf 
730.46/730.72	c   731s|  1160k|287247 |  2700k|   2.3 | 228M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 606k|3314 | 0.000000e+00 |      --      |    Inf 
738.76/739.09	c   739s|  1170k|289533 |  2725k|   2.3 | 229M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 611k|3324 | 0.000000e+00 |      --      |    Inf 
746.76/747.01	c   747s|  1180k|291859 |  2749k|   2.3 | 231M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 617k|3342 | 0.000000e+00 |      --      |    Inf 
755.47/755.76	c   756s|  1190k|294177 |  2771k|   2.3 | 233M|  45 |   6 |  50 |8826 |  50 |  16 |  20 | 622k|3349 | 0.000000e+00 |      --      |    Inf 
762.65/763.00	c   763s|  1200k|296517 |  2794k|   2.3 | 235M|  45 |   - |  50 |9468 |  50 |  16 |  20 | 627k|3359 | 0.000000e+00 |      --      |    Inf 
770.85/771.12	c   771s|  1210k|298637 |  2818k|   2.3 | 236M|  45 |   6 |  50 |9058 |  50 |  16 |  20 | 633k|3374 | 0.000000e+00 |      --      |    Inf 
778.25/778.58	c   779s|  1220k|300834 |  2841k|   2.3 | 238M|  45 |   6 |  50 |9224 |  50 |  16 |  20 | 638k|3384 | 0.000000e+00 |      --      |    Inf 
785.95/786.26	c   786s|  1230k|303066 |  2864k|   2.3 | 240M|  45 |   - |  50 |8050 |  50 |  16 |  20 | 644k|3394 | 0.000000e+00 |      --      |    Inf 
792.75/793.10	c   793s|  1240k|305394 |  2887k|   2.3 | 242M|  45 |   - |  50 |8971 |  50 |  16 |  20 | 649k|3410 | 0.000000e+00 |      --      |    Inf 
800.94/801.21	c   801s|  1250k|307473 |  2910k|   2.3 | 244M|  45 |   - |  50 |9013 |  50 |  16 |  20 | 654k|3419 | 0.000000e+00 |      --      |    Inf 
809.04/809.40	c   809s|  1260k|309541 |  2933k|   2.3 | 246M|  45 |   6 |  50 |8374 |  50 |  16 |  20 | 660k|3434 | 0.000000e+00 |      --      |    Inf 
815.84/816.10	c   816s|  1270k|312075 |  2957k|   2.3 | 248M|  45 |   - |  50 |9045 |  50 |  16 |  20 | 665k|3449 | 0.000000e+00 |      --      |    Inf 
822.93/823.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
822.93/823.28	c   823s|  1280k|314515 |  2980k|   2.3 | 250M|  45 |   6 |  50 |9235 |  50 |  16 |  20 | 670k|3460 | 0.000000e+00 |      --      |    Inf 
831.23/831.55	c   832s|  1290k|316626 |  3003k|   2.3 | 251M|  45 |   6 |  50 |8485 |  50 |  16 |  20 | 676k|3470 | 0.000000e+00 |      --      |    Inf 
838.13/838.48	c   838s|  1300k|318942 |  3027k|   2.3 | 254M|  45 |   - |  50 |  10k|   0 |   0 |  20 | 681k|3483 | 0.000000e+00 |      --      |    Inf 
846.02/846.39	c   846s|  1310k|321205 |  3050k|   2.3 | 255M|  45 |   6 |  50 |8998 |  50 |  16 |  20 | 687k|3493 | 0.000000e+00 |      --      |    Inf 
853.53/853.88	c   854s|  1320k|323435 |  3073k|   2.3 | 257M|  45 |   6 |  50 |9083 |  50 |  16 |  20 | 692k|3507 | 0.000000e+00 |      --      |    Inf 
861.33/861.68	c   862s|  1330k|325715 |  3097k|   2.3 | 259M|  45 |   6 |  50 |9314 |  50 |  16 |  20 | 697k|3513 | 0.000000e+00 |      --      |    Inf 
869.02/869.39	c   869s|  1340k|327766 |  3120k|   2.3 | 261M|  45 |   - |  50 |9783 |  50 |  16 |  20 | 703k|3529 | 0.000000e+00 |      --      |    Inf 
877.22/877.55	c   878s|  1350k|329882 |  3144k|   2.3 | 262M|  45 |   6 |  50 |8764 |  50 |  16 |  20 | 709k|3539 | 0.000000e+00 |      --      |    Inf 
883.42/883.76	c   884s|  1360k|332388 |  3168k|   2.3 | 265M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 714k|3554 | 0.000000e+00 |      --      |    Inf 
891.32/891.66	c   892s|  1370k|334687 |  3192k|   2.3 | 267M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 719k|3571 | 0.000000e+00 |      --      |    Inf 
900.32/900.66	c   901s|  1380k|336648 |  3214k|   2.3 | 268M|  45 |   - |  50 |9568 |  50 |  16 |  20 | 725k|3588 | 0.000000e+00 |      --      |    Inf 
909.42/909.75	c   910s|  1390k|338580 |  3237k|   2.3 | 270M|  45 |   - |  50 |9050 |  50 |  16 |  20 | 730k|3606 | 0.000000e+00 |      --      |    Inf 
917.31/917.69	c   918s|  1400k|340652 |  3261k|   2.3 | 272M|  45 |   - |  50 |8973 |  50 |  16 |  20 | 736k|3612 | 0.000000e+00 |      --      |    Inf 
925.30/925.62	c   926s|  1410k|342930 |  3285k|   2.3 | 274M|  45 |   - |  50 |9366 |   0 |   0 |  20 | 741k|3620 | 0.000000e+00 |      --      |    Inf 
932.70/933.01	c   933s|  1420k|345106 |  3309k|   2.3 | 276M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 747k|3631 | 0.000000e+00 |      --      |    Inf 
941.60/941.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
941.60/941.97	c   942s|  1430k|347131 |  3332k|   2.3 | 277M|  45 |   - |  50 |9339 |  50 |  16 |  20 | 752k|3638 | 0.000000e+00 |      --      |    Inf 
947.29/947.64	c   948s|  1440k|350030 |  3354k|   2.3 | 280M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 757k|3644 | 0.000000e+00 |      --      |    Inf 
955.19/955.54	c   956s|  1450k|352288 |  3378k|   2.3 | 281M|  45 |   - |  50 |9673 |  50 |  16 |  20 | 762k|3657 | 0.000000e+00 |      --      |    Inf 
964.09/964.48	c   964s|  1460k|354394 |  3402k|   2.3 | 283M|  45 |   6 |  50 |9100 |  50 |  16 |  20 | 768k|3670 | 0.000000e+00 |      --      |    Inf 
972.29/972.60	c   973s|  1470k|356485 |  3425k|   2.3 | 285M|  45 |   - |  50 |8886 |  50 |  16 |  20 | 774k|3680 | 0.000000e+00 |      --      |    Inf 
979.29/979.61	c   980s|  1480k|358816 |  3448k|   2.3 | 287M|  45 |   6 |  50 |9995 |  50 |  16 |  20 | 779k|3688 | 0.000000e+00 |      --      |    Inf 
987.40/987.76	c   988s|  1490k|360930 |  3471k|   2.3 | 288M|  45 |   6 |  50 |9470 |  50 |  16 |  20 | 784k|3695 | 0.000000e+00 |      --      |    Inf 
994.38/994.78	c   995s|  1500k|363774 |  3496k|   2.3 | 291M|  45 |   6 |  50 |9996 |  50 |  16 |  20 | 789k|3707 | 0.000000e+00 |      --      |    Inf 
1000.48/1000.85	c  1001s|  1510k|366953 |  3520k|   2.3 | 293M|  45 |   - |  50 |  11k|  50 |  16 |  20 | 794k|3719 | 0.000000e+00 |      --      |    Inf 
1006.68/1007.00	c  1007s|  1520k|370324 |  3545k|   2.3 | 295M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 799k|3733 | 0.000000e+00 |      --      |    Inf 
1012.98/1013.36	c  1013s|  1530k|373994 |  3569k|   2.3 | 298M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 803k|3740 | 0.000000e+00 |      --      |    Inf 
1020.18/1020.59	c  1021s|  1540k|377117 |  3593k|   2.3 | 300M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 808k|3755 | 0.000000e+00 |      --      |    Inf 
1027.37/1027.75	c  1028s|  1550k|380234 |  3617k|   2.3 | 302M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 813k|3766 | 0.000000e+00 |      --      |    Inf 
1034.78/1035.13	c  1035s|  1560k|383044 |  3641k|   2.3 | 304M|  45 |   6 |  50 |  12k|  50 |  16 |  20 | 818k|3778 | 0.000000e+00 |      --      |    Inf 
1042.07/1042.45	c  1042s|  1570k|385957 |  3665k|   2.3 | 306M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 823k|3796 | 0.000000e+00 |      --      |    Inf 
1050.07/1050.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1050.07/1050.41	c  1050s|  1580k|388519 |  3688k|   2.3 | 308M|  45 |   6 |  50 |  12k|  50 |  16 |  20 | 828k|3804 | 0.000000e+00 |      --      |    Inf 
1059.97/1060.36	c  1060s|  1590k|390675 |  3712k|   2.3 | 309M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 833k|3816 | 0.000000e+00 |      --      |    Inf 
1069.16/1069.55	c  1070s|  1600k|392745 |  3735k|   2.3 | 311M|  45 |   - |  50 |9464 |   0 |   0 |  20 | 839k|3824 | 0.000000e+00 |      --      |    Inf 
1077.57/1077.98	c  1078s|  1610k|395000 |  3758k|   2.3 | 313M|  45 |   6 |  50 |9125 |  50 |  16 |  20 | 844k|3842 | 0.000000e+00 |      --      |    Inf 
1084.46/1084.88	c  1085s|  1620k|397402 |  3783k|   2.3 | 315M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 849k|3851 | 0.000000e+00 |      --      |    Inf 
1093.55/1093.93	c  1094s|  1630k|399463 |  3806k|   2.3 | 316M|  45 |   6 |  50 |9412 |  50 |  16 |  20 | 855k|3863 | 0.000000e+00 |      --      |    Inf 
1101.26/1101.63	c  1102s|  1640k|401781 |  3830k|   2.3 | 318M|  45 |   - |  50 |9955 |  50 |  16 |  20 | 860k|3882 | 0.000000e+00 |      --      |    Inf 
1109.15/1109.52	c  1110s|  1650k|404257 |  3854k|   2.3 | 320M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 865k|3890 | 0.000000e+00 |      --      |    Inf 
1118.75/1119.16	c  1119s|  1660k|406108 |  3877k|   2.3 | 322M|  45 |   - |  50 |9497 |   0 |   0 |  20 | 871k|3901 | 0.000000e+00 |      --      |    Inf 
1126.64/1127.09	c  1127s|  1670k|408387 |  3900k|   2.3 | 324M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 877k|3909 | 0.000000e+00 |      --      |    Inf 
1135.45/1135.81	c  1136s|  1680k|410614 |  3923k|   2.3 | 326M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 882k|3914 | 0.000000e+00 |      --      |    Inf 
1142.94/1143.38	c  1143s|  1690k|413049 |  3947k|   2.3 | 328M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 887k|3929 | 0.000000e+00 |      --      |    Inf 
1151.14/1151.59	c  1152s|  1700k|415377 |  3971k|   2.3 | 330M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 893k|3941 | 0.000000e+00 |      --      |    Inf 
1158.95/1159.37	c  1159s|  1710k|417943 |  3996k|   2.3 | 332M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 898k|3949 | 0.000000e+00 |      --      |    Inf 
1167.85/1168.21	c  1168s|  1720k|420174 |  4019k|   2.3 | 333M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 903k|3959 | 0.000000e+00 |      --      |    Inf 
1174.83/1175.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1174.83/1175.23	c  1175s|  1730k|422676 |  4045k|   2.3 | 336M|  45 |   - |  50 |  11k|  50 |  16 |  20 | 909k|3971 | 0.000000e+00 |      --      |    Inf 
1183.73/1184.15	c  1184s|  1740k|424959 |  4068k|   2.3 | 337M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 914k|3980 | 0.000000e+00 |      --      |    Inf 
1191.13/1191.60	c  1192s|  1750k|427401 |  4092k|   2.3 | 340M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 920k|3992 | 0.000000e+00 |      --      |    Inf 
1198.64/1199.02	c  1199s|  1760k|429560 |  4116k|   2.3 | 342M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 925k|4001 | 0.000000e+00 |      --      |    Inf 
1207.43/1207.88	c  1208s|  1770k|431867 |  4139k|   2.3 | 343M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 931k|4015 | 0.000000e+00 |      --      |    Inf 
1217.72/1218.11	c  1218s|  1780k|433900 |  4163k|   2.3 | 345M|  45 |   6 |  50 |9933 |  50 |  16 |  20 | 936k|4024 | 0.000000e+00 |      --      |    Inf 
1226.71/1227.10	c  1227s|  1790k|436051 |  4186k|   2.3 | 346M|  45 |   6 |  50 |9019 |  50 |  16 |  20 | 942k|4035 | 0.000000e+00 |      --      |    Inf 
1234.52/1234.97	c  1235s|  1800k|438481 |  4210k|   2.3 | 348M|  45 |   6 |  50 |9693 |  50 |  16 |  20 | 947k|4046 | 0.000000e+00 |      --      |    Inf 
1243.01/1243.44	c  1243s|  1810k|440672 |  4233k|   2.3 | 350M|  45 |   6 |  50 |9680 |  50 |  16 |  20 | 953k|4058 | 0.000000e+00 |      --      |    Inf 
1251.11/1251.56	c  1252s|  1820k|442951 |  4256k|   2.3 | 352M|  45 |   6 |  50 |9698 |  50 |  16 |  20 | 958k|4068 | 0.000000e+00 |      --      |    Inf 
1259.81/1260.23	c  1260s|  1830k|445086 |  4280k|   2.3 | 354M|  45 |   6 |  50 |8865 |  50 |  16 |  20 | 963k|4084 | 0.000000e+00 |      --      |    Inf 
1267.81/1268.25	c  1268s|  1840k|447301 |  4304k|   2.3 | 356M|  45 |   6 |  50 |9627 |  50 |  16 |  20 | 969k|4091 | 0.000000e+00 |      --      |    Inf 
1275.01/1275.49	c  1275s|  1850k|449756 |  4328k|   2.3 | 358M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 974k|4113 | 0.000000e+00 |      --      |    Inf 
1283.80/1284.25	c  1284s|  1860k|452199 |  4352k|   2.3 | 360M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 980k|4123 | 0.000000e+00 |      --      |    Inf 
1291.50/1291.96	c  1292s|  1870k|454612 |  4375k|   2.3 | 362M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 985k|4134 | 0.000000e+00 |      --      |    Inf 
1298.89/1299.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1298.89/1299.38	c  1299s|  1880k|457139 |  4399k|   2.3 | 364M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 990k|4149 | 0.000000e+00 |      --      |    Inf 
1307.69/1308.15	c  1308s|  1890k|459427 |  4422k|   2.3 | 366M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 995k|4161 | 0.000000e+00 |      --      |    Inf 
1317.59/1318.05	c  1318s|  1900k|461440 |  4445k|   2.3 | 367M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1001k|4171 | 0.000000e+00 |      --      |    Inf 
1326.99/1327.46	c  1327s|  1910k|463543 |  4469k|   2.3 | 369M|  45 |   - |  50 |9929 |   0 |   0 |  20 |1006k|4186 | 0.000000e+00 |      --      |    Inf 
1335.89/1336.33	c  1336s|  1920k|465620 |  4492k|   2.3 | 371M|  45 |   - |  50 |9331 |  50 |  16 |  20 |1012k|4197 | 0.000000e+00 |      --      |    Inf 
1343.80/1344.23	c  1344s|  1930k|467929 |  4516k|   2.3 | 373M|  45 |   6 |  50 |9947 |  50 |  16 |  20 |1017k|4207 | 0.000000e+00 |      --      |    Inf 
1350.68/1351.15	c  1351s|  1940k|470663 |  4540k|   2.3 | 375M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1022k|4215 | 0.000000e+00 |      --      |    Inf 
1357.78/1358.22	c  1358s|  1950k|473278 |  4564k|   2.3 | 377M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1027k|4229 | 0.000000e+00 |      --      |    Inf 
1366.97/1367.43	c  1367s|  1960k|475622 |  4587k|   2.3 | 379M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1033k|4237 | 0.000000e+00 |      --      |    Inf 
1375.08/1375.59	c  1376s|  1970k|477853 |  4611k|   2.3 | 380M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1038k|4248 | 0.000000e+00 |      --      |    Inf 
1384.18/1384.69	c  1385s|  1980k|479966 |  4634k|   2.3 | 382M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1044k|4256 | 0.000000e+00 |      --      |    Inf 
1393.07/1393.57	c  1394s|  1990k|482144 |  4657k|   2.3 | 384M|  45 |   6 |  50 |9759 |  50 |  16 |  20 |1049k|4266 | 0.000000e+00 |      --      |    Inf 
1401.67/1402.19	c  1402s|  2000k|484216 |  4681k|   2.3 | 386M|  45 |   6 |  50 |9565 |  50 |  16 |  20 |1055k|4276 | 0.000000e+00 |      --      |    Inf 
1409.27/1409.75	c  1410s|  2010k|486598 |  4704k|   2.3 | 388M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1060k|4284 | 0.000000e+00 |      --      |    Inf 
1417.16/1417.65	c  1418s|  2020k|488914 |  4728k|   2.3 | 390M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1065k|4298 | 0.000000e+00 |      --      |    Inf 
1425.56/1426.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1425.56/1426.10	c  1426s|  2030k|491228 |  4751k|   2.3 | 392M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1071k|4308 | 0.000000e+00 |      --      |    Inf 
1434.26/1434.74	c  1435s|  2040k|493511 |  4775k|   2.3 | 393M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1076k|4320 | 0.000000e+00 |      --      |    Inf 
1443.46/1443.98	c  1444s|  2050k|495674 |  4798k|   2.3 | 395M|  45 |   - |  50 |  10k|   0 |   0 |  20 |1082k|4324 | 0.000000e+00 |      --      |    Inf 
1451.57/1452.05	c  1452s|  2060k|498153 |  4822k|   2.3 | 397M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1087k|4335 | 0.000000e+00 |      --      |    Inf 
1460.45/1460.91	c  1461s|  2070k|500278 |  4846k|   2.3 | 399M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1092k|4349 | 0.000000e+00 |      --      |    Inf 
1469.75/1470.23	c  1470s|  2080k|502482 |  4870k|   2.3 | 401M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1098k|4358 | 0.000000e+00 |      --      |    Inf 
1479.15/1479.69	c  1480s|  2090k|504514 |  4894k|   2.3 | 403M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1104k|4367 | 0.000000e+00 |      --      |    Inf 
1488.34/1488.84	c  1489s|  2100k|506582 |  4917k|   2.3 | 404M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1109k|4381 | 0.000000e+00 |      --      |    Inf 
1497.24/1497.78	c  1498s|  2110k|508759 |  4941k|   2.3 | 406M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1114k|4394 | 0.000000e+00 |      --      |    Inf 
1506.33/1506.86	c  1507s|  2120k|510859 |  4964k|   2.3 | 408M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1120k|4399 | 0.000000e+00 |      --      |    Inf 
1514.63/1515.19	c  1515s|  2130k|513093 |  4989k|   2.3 | 410M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1126k|4411 | 0.000000e+00 |      --      |    Inf 
1523.63/1524.15	c  1524s|  2140k|515426 |  5012k|   2.3 | 412M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1131k|4421 | 0.000000e+00 |      --      |    Inf 
1533.42/1533.91	c  1534s|  2150k|517592 |  5036k|   2.3 | 414M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1137k|4437 | 0.000000e+00 |      --      |    Inf 
1543.23/1543.78	c  1544s|  2160k|519483 |  5060k|   2.3 | 415M|  45 |   - |  50 |9681 |  50 |  16 |  20 |1142k|4451 | 0.000000e+00 |      --      |    Inf 
1551.52/1552.08	c  1552s|  2170k|521857 |  5083k|   2.3 | 417M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1148k|4463 | 0.000000e+00 |      --      |    Inf 
1560.52/1561.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1560.52/1561.04	c  1561s|  2180k|524149 |  5106k|   2.3 | 419M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1153k|4478 | 0.000000e+00 |      --      |    Inf 
1568.12/1568.63	c  1569s|  2190k|526596 |  5130k|   2.3 | 421M|  45 |   - |  50 |  11k|   0 |   0 |  20 |1158k|4484 | 0.000000e+00 |      --      |    Inf 
1575.72/1576.30	c  1576s|  2200k|529152 |  5154k|   2.3 | 423M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1163k|4495 | 0.000000e+00 |      --      |    Inf 
1583.21/1583.77	c  1584s|  2210k|531620 |  5178k|   2.3 | 425M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1169k|4507 | 0.000000e+00 |      --      |    Inf 
1591.81/1592.37	c  1592s|  2220k|534242 |  5202k|   2.3 | 427M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1174k|4517 | 0.000000e+00 |      --      |    Inf 
1600.01/1600.55	c  1601s|  2230k|536883 |  5227k|   2.3 | 429M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1179k|4528 | 0.000000e+00 |      --      |    Inf 
1607.80/1608.35	c  1608s|  2240k|539215 |  5252k|   2.3 | 431M|  45 |   6 |  50 |  13k|  50 |  16 |  20 |1185k|4534 | 0.000000e+00 |      --      |    Inf 
1617.80/1618.33	c  1618s|  2250k|541534 |  5276k|   2.3 | 433M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1190k|4546 | 0.000000e+00 |      --      |    Inf 
1627.40/1627.91	c  1628s|  2260k|543766 |  5299k|   2.3 | 435M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1196k|4560 | 0.000000e+00 |      --      |    Inf 
1634.69/1635.25	c  1635s|  2270k|546267 |  5323k|   2.3 | 437M|  45 |   - |  50 |  12k|  50 |  16 |  20 |1201k|4569 | 0.000000e+00 |      --      |    Inf 
1644.19/1644.76	c  1645s|  2280k|548486 |  5347k|   2.3 | 438M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1206k|4576 | 0.000000e+00 |      --      |    Inf 
1650.29/1650.87	c  1651s|  2290k|551457 |  5369k|   2.3 | 441M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1211k|4582 | 0.000000e+00 |      --      |    Inf 
1659.19/1659.77	c  1660s|  2300k|553634 |  5394k|   2.3 | 443M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1217k|4591 | 0.000000e+00 |      --      |    Inf 
1668.58/1669.12	c  1669s|  2310k|555961 |  5417k|   2.3 | 444M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1222k|4599 | 0.000000e+00 |      --      |    Inf 
1677.38/1677.94	c  1678s|  2320k|557993 |  5440k|   2.3 | 446M|  45 |   - |  50 |  12k|  50 |  16 |  20 |1228k|4607 | 0.000000e+00 |      --      |    Inf 
1687.28/1687.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.28/1687.84	c  1688s|  2330k|560081 |  5464k|   2.3 | 448M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1233k|4612 | 0.000000e+00 |      --      |    Inf 
1697.17/1697.71	c  1698s|  2340k|562344 |  5489k|   2.3 | 450M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1239k|4622 | 0.000000e+00 |      --      |    Inf 
1706.68/1707.24	c  1707s|  2350k|564421 |  5512k|   2.3 | 451M|  45 |   - |  50 |  10k|   0 |   0 |  20 |1244k|4632 | 0.000000e+00 |      --      |    Inf 
1714.77/1715.35	c  1715s|  2360k|566670 |  5537k|   2.3 | 453M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1250k|4642 | 0.000000e+00 |      --      |    Inf 
1722.97/1723.57	c  1724s|  2370k|568753 |  5559k|   2.3 | 455M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1255k|4650 | 0.000000e+00 |      --      |    Inf 
1733.66/1734.22	c  1734s|  2380k|570771 |  5583k|   2.3 | 457M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1261k|4663 | 0.000000e+00 |      --      |    Inf 
1743.86/1744.48	c  1744s|  2390k|572768 |  5607k|   2.3 | 458M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1266k|4675 | 0.000000e+00 |      --      |    Inf 
1751.77/1752.34	c  1752s|  2400k|575440 |  5630k|   2.3 | 461M|  45 |   - |  50 |  12k|  50 |  16 |  20 |1272k|4681 | 0.000000e+00 |      --      |    Inf 
1758.85/1759.45	c  1759s|  2410k|577907 |  5656k|   2.3 | 463M|  45 |   6 |  50 |  14k|  50 |  16 |  20 |1277k|4692 | 0.000000e+00 |      --      |    Inf 
1768.26/1768.87	c  1769s|  2420k|580147 |  5681k|   2.3 | 465M|  45 |   6 |  50 |  14k|  50 |  16 |  20 |1283k|4699 | 0.000000e+00 |      --      |    Inf 
1778.35/1778.96	c  1779s|  2430k|582325 |  5704k|   2.3 | 467M|  45 |   6 |  50 |  13k|  50 |  16 |  20 |1288k|4708 | 0.000000e+00 |      --      |    Inf 
1788.25/1788.82	c  1789s|  2440k|584485 |  5729k|   2.3 | 469M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1294k|4717 | 0.000000e+00 |      --      |    Inf 
1789.45/1790.01	c 
1789.45/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.01	c Solving Time (sec) : 1790.00
1789.45/1790.01	c Solving Nodes      : 2441644
1789.45/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.45/1790.01	c Dual Bound         : +0.00000000000000e+00
1789.45/1790.01	c Gap                : infinite
1789.45/1790.01	s UNKNOWN
1789.45/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.45/1790.01	c Solving Time       :    1790.00
1789.45/1790.01	c Original Problem   :
1789.45/1790.01	c   Problem name     : HOME/instance-2703533-1278562533.opb
1789.45/1790.01	c   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01	c   Constraints      : 13 initial, 13 maximal
1789.45/1790.01	c Presolved Problem  :
1789.45/1790.01	c   Problem name     : t_HOME/instance-2703533-1278562533.opb
1789.45/1790.01	c   Variables        : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01	c   Constraints      : 6 initial, 14830 maximal
1789.45/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.45/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.01	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1789.45/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1789.45/1790.01	c   linear           :       0.00          0          0          0          0          0          7          0          0
1789.45/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.45/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1789.45/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.01	c   integral         :          0          0          0    1538206          0        527       2031          0          0    3071482
1789.45/1790.01	c   linear           :          6+         7    5629448          0          1     227938    3476477          0          0          0
1789.45/1790.01	c   logicor          :          0+         0    2358434          0          0       6020     841484          0          0          0
1789.45/1790.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.45/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.45/1790.01	c   integral         :      18.33       0.00       0.00      18.33       0.00
1789.45/1790.01	c   linear           :     241.00       0.00     241.00       0.00       0.00
1789.45/1790.01	c   logicor          :     555.10       0.00     555.10       0.00       0.00
1789.45/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.45/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.45/1790.01	c   vbounds          :       2.10          2          0          0
1789.45/1790.01	c   rootredcost      :       2.26          0          0          0
1789.45/1790.01	c   pseudoobj        :       1.74          0          0          0
1789.45/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.45/1790.01	c   propagation      :      22.60     233958     195552     674176       35.1         18       27.8          -
1789.45/1790.01	c   infeasible LP    :      46.32     712551     712534    1346220       23.5       7034       28.4          0
1789.45/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.45/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.45/1790.01	c   applied globally :          -          -          -    1092880       21.1          -          -          -
1789.45/1790.01	c   applied locally  :          -          -          -     202418       33.6          -          -          -
1789.45/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.45/1790.01	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 81)
1789.45/1790.01	c   redcost          :       3.62    1538204          0          0          0          0
1789.45/1790.01	c   impliedbounds    :       0.00          6          0          0          0          0
1789.45/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.45/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.45/1790.01	c   gomory           :       0.01          6          0          0          0          0
1789.45/1790.01	c   strongcg         :       0.00          6          0          0         29          0
1789.45/1790.01	c   cmir             :       0.02          6          0          0         31          0
1789.45/1790.01	c   flowcover        :       0.02          6          0          0         39          0
1789.45/1790.01	c   clique           :       0.00          1          0          0          0          0
1789.45/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.45/1790.01	c   mcf              :       0.00          1          0          0          0          0
1789.45/1790.01	c   rapidlearning    :       0.09          1          0          0          0         12
1789.45/1790.01	c Pricers            :       Time      Calls       Vars
1789.45/1790.01	c   problem variables:       0.00          0          0
1789.45/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.45/1790.01	c   relpscost        :      16.70    1538206        527       2031          0          0    3071482
1789.45/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.45/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.45/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.45/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.45/1790.01	c   LP solutions     :       0.00          -          0
1789.45/1790.01	c   pseudo solutions :       0.00          -          0
1789.45/1790.01	c   oneopt           :       1.56          0          0
1789.45/1790.01	c   crossover        :       0.91          0          0
1789.45/1790.01	c   guideddiving     :       0.12          0          0
1789.45/1790.01	c   objpscostdiving  :       0.10         24          0
1789.45/1790.01	c   rootsoldiving    :       0.13         24          0
1789.45/1790.01	c   linesearchdiving :       0.14         48          0
1789.45/1790.01	c   pscostdiving     :       0.16         48          0
1789.45/1790.01	c   veclendiving     :       0.13         48          0
1789.45/1790.01	c   coefdiving       :       0.11         48          0
1789.45/1790.01	c   fracdiving       :       0.12         48          0
1789.45/1790.01	c   feaspump         :       0.11         25          0
1789.45/1790.01	c   trivial          :       0.00          2          0
1789.45/1790.01	c   simplerounding   :       0.66          0          0
1789.45/1790.01	c   zirounding       :       0.99       1000          0
1789.45/1790.01	c   rounding         :       1.60      17597          0
1789.45/1790.01	c   shifting         :       3.31       5475          0
1789.45/1790.01	c   intshifting      :       0.09          0          0
1789.45/1790.01	c   twoopt           :       0.00          0          0
1789.45/1790.01	c   fixandinfer      :       0.00          0          0
1789.45/1790.01	c   intdiving        :       0.00          0          0
1789.45/1790.01	c   actconsdiving    :       0.00          0          0
1789.45/1790.01	c   octane           :       0.00          0          0
1789.45/1790.01	c   rens             :       0.03          1          0
1789.45/1790.01	c   rins             :       0.00          0          0
1789.45/1790.01	c   localbranching   :       0.00          0          0
1789.45/1790.01	c   mutation         :       0.00          0          0
1789.45/1790.01	c   dins             :       0.00          0          0
1789.45/1790.01	c   undercover       :       0.00          0          0
1789.45/1790.01	c   nlp              :       0.76          0          0
1789.45/1790.01	c   trysol           :       1.23          0          0
1789.45/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.45/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1789.45/1790.01	c   dual LP          :     242.06    2200065    5730921       2.60   23675.23
1789.45/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.45/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.45/1790.01	c   diving/probing LP:       0.12       1123       2233       1.99   18883.08
1789.45/1790.01	c   strong branching :       1.01       4719      22074       4.68   21824.22
1789.45/1790.01	c     (at root node) :          -          9        316      35.11          -
1789.45/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.45/1790.01	c B&B Tree           :
1789.45/1790.01	c   number of runs   :          1
1789.45/1790.01	c   nodes            :    2441644
1789.45/1790.01	c   nodes (total)    :    2441644
1789.45/1790.01	c   nodes left       :     584951
1789.45/1790.01	c   max depth        :         45
1789.45/1790.01	c   max depth (total):         45
1789.45/1790.01	c   backtracks       :     288532 (11.8%)
1789.45/1790.01	c   delayed cutoffs  :      44890
1789.45/1790.01	c   repropagations   :    1950461 (1135899 domain reductions, 40567 cutoffs)
1789.45/1790.01	c   avg switch length:       5.12
1789.45/1790.01	c   switching time   :     407.69
1789.45/1790.01	c Solution           :
1789.45/1790.01	c   Solutions found  :          0 (0 improvements)
1789.45/1790.01	c   Primal Bound     :          -
1789.45/1790.01	c   Dual Bound       : +0.00000000000000e+00
1789.45/1790.01	c   Gap              :   infinite
1789.45/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1789.45/1790.01	c   Root Iterations  :        139
1792.46/1793.04	c Time complete: 1792.49.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703533-1278562533/watcher-2703533-1278562533 -o /tmp/evaluation-result-2703533-1278562533/solver-2703533-1278562533 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703533-1278562533.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32061
/proc/meminfo: memFree=1540952/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=7904 CPUtime=0
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 1060 0 0 0 0 0 0 0 18 0 1 0 24466938 8093696 972 1992294400 4194304 8395647 140736158120880 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 1976 980 365 1026 0 946 0

[startup+0.0344399 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32061
/proc/meminfo: memFree=1540952/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=14504 CPUtime=0.03
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 3124 0 0 0 2 1 0 0 20 0 1 0 24466938 14852096 2682 1992294400 4194304 8395647 140736158120880 18446744073709551615 5839868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 3626 2682 581 1026 0 2596 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14504

[startup+0.101446 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32061
/proc/meminfo: memFree=1540952/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=21928 CPUtime=0.09
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 4748 0 0 0 8 1 0 0 20 0 1 0 24466938 22454272 4306 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5482 4306 599 1026 0 4452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21928

[startup+0.301465 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32061
/proc/meminfo: memFree=1540952/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=23004 CPUtime=0.29
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5311 0 0 0 27 2 0 0 20 0 1 0 24466938 23556096 4869 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5751 4869 622 1026 0 4721 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23004

[startup+0.701503 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32061
/proc/meminfo: memFree=1540952/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=23004 CPUtime=0.69
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5314 0 0 0 65 4 0 0 20 0 1 0 24466938 23556096 4872 1992294400 4194304 8395647 140736158120880 18446744073709551615 6119613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5751 4872 622 1026 0 4721 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23004

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1523708/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=23004 CPUtime=1.49
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5316 0 0 0 142 7 0 0 23 0 1 0 24466938 23556096 4874 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5751 4874 622 1026 0 4721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23004

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1523584/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=23004 CPUtime=3.09
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5323 0 0 0 297 12 0 0 25 0 1 0 24466938 23556096 4881 1992294400 4194304 8395647 140736158120880 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5751 4881 622 1026 0 4721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23004

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1523212/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=23004 CPUtime=6.29
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5331 0 0 0 608 21 0 0 25 0 1 0 24466938 23556096 4889 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 5751 4889 622 1026 0 4721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23004

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1522592/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=24692 CPUtime=12.69
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 5786 0 0 0 1229 40 0 0 25 0 1 0 24466938 25284608 5344 1992294400 4194304 8395647 140736158120880 18446744073709551615 4967974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 6173 5344 622 1026 0 5143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24692

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1514780/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=31376 CPUtime=25.49
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 7465 0 0 0 2475 74 0 0 25 0 1 0 24466938 32129024 7023 1992294400 4194304 8395647 140736158120880 18446744073709551615 4471448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 7844 7023 622 1026 0 6814 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31376

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32062
/proc/meminfo: memFree=1503000/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=43464 CPUtime=51.08
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 10514 0 0 0 4967 141 0 0 25 0 1 0 24466938 44507136 10072 1992294400 4194304 8395647 140736158120880 18446744073709551615 4616651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 10866 10072 622 1026 0 9836 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43464

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32064
/proc/meminfo: memFree=1480184/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=65376 CPUtime=102.26
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 16070 0 0 0 9963 263 0 0 25 0 1 0 24466938 66945024 15628 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 16344 15628 622 1026 0 15314 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65376

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32066
/proc/meminfo: memFree=1458236/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=88928 CPUtime=162.24
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 21593 0 0 0 15828 396 0 0 25 0 1 0 24466938 91062272 21151 1992294400 4194304 8395647 140736158120880 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 22232 21151 622 1026 0 21202 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88928

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32071
/proc/meminfo: memFree=1433808/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=112332 CPUtime=222.22
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 27445 0 0 0 21700 522 0 0 25 0 1 0 24466938 115027968 27003 1992294400 4194304 8395647 140736158120880 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 28083 27003 622 1026 0 27053 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 112332

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32071
/proc/meminfo: memFree=1416448/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=129240 CPUtime=282.2
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 31776 0 0 0 27585 635 0 0 25 0 1 0 24466938 132341760 31334 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 32310 31334 622 1026 0 31280 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 129240

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32073
/proc/meminfo: memFree=1394996/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=150456 CPUtime=342.18
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 37131 0 0 0 33463 755 0 0 25 0 1 0 24466938 154066944 36689 1992294400 4194304 8395647 140736158120880 18446744073709551615 6068915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 37614 36689 622 1026 0 36584 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 150456

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32075
/proc/meminfo: memFree=1377016/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=168276 CPUtime=402.17
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 41612 0 0 0 39348 869 0 0 25 0 1 0 24466938 172314624 41170 1992294400 4194304 8395647 140736158120880 18446744073709551615 5926686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 42069 41170 622 1026 0 41039 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 168276

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32077
/proc/meminfo: memFree=1360896/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=184552 CPUtime=462.15
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 45719 0 0 0 45239 976 0 0 25 0 1 0 24466938 188981248 45277 1992294400 4194304 8395647 140736158120880 18446744073709551615 5005882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 46138 45277 622 1026 0 45108 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 184552

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32079
/proc/meminfo: memFree=1344528/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=204052 CPUtime=522.13
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 49696 0 0 0 51127 1086 0 0 25 0 1 0 24466938 208949248 49254 1992294400 4194304 8395647 140736158120880 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 51013 49254 622 1026 0 49983 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 204052

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32079
/proc/meminfo: memFree=1331756/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=216972 CPUtime=582.11
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 52979 0 0 0 57016 1195 0 0 25 0 1 0 24466938 222179328 52537 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 54243 52537 622 1026 0 53213 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 216972

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32081
/proc/meminfo: memFree=1307080/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=240712 CPUtime=642.1
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 59036 0 0 0 62906 1304 0 0 25 0 1 0 24466938 246489088 58594 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 60178 58594 622 1026 0 59148 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 240712

[startup+702.301 s]

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

/proc/meminfo: memFree=1188908/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=356708 CPUtime=1121.95
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 88472 0 0 0 110088 2107 0 0 25 0 1 0 24466938 365268992 88030 1992294400 4194304 8395647 140736158120880 18446744073709551615 6068905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 89177 88030 622 1026 0 88147 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 356708

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32095
/proc/meminfo: memFree=1171176/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=373260 CPUtime=1181.93
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 92752 0 0 0 115995 2198 0 0 25 0 1 0 24466938 382218240 92310 1992294400 4194304 8395647 140736158120880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 93315 92310 622 1026 0 92285 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 373260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32097
/proc/meminfo: memFree=1157412/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=387080 CPUtime=1241.91
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 96265 0 0 0 121900 2291 0 0 25 0 1 0 24466938 396369920 95823 1992294400 4194304 8395647 140736158120880 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 96770 95823 622 1026 0 95740 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 387080

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32099
/proc/meminfo: memFree=1144764/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=399528 CPUtime=1301.9
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 99273 0 0 0 127796 2394 0 0 25 0 1 0 24466938 409116672 98831 1992294400 4194304 8395647 140736158120880 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 99882 98831 622 1026 0 98852 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 399528

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32101
/proc/meminfo: memFree=1131372/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=420520 CPUtime=1361.88
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 102594 0 0 0 133697 2491 0 0 25 0 1 0 24466938 430612480 102152 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 105130 102152 622 1026 0 104100 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 420520

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32103
/proc/meminfo: memFree=1120212/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=431404 CPUtime=1421.87
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 105366 0 0 0 139610 2577 0 0 25 0 1 0 24466938 441757696 104924 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 107851 104924 622 1026 0 106821 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 431404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32103
/proc/meminfo: memFree=1107068/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=444392 CPUtime=1481.84
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 108649 0 0 0 145523 2661 0 0 25 0 1 0 24466938 455057408 108207 1992294400 4194304 8395647 140736158120880 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 111098 108207 622 1026 0 110068 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 444392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32105
/proc/meminfo: memFree=1095288/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=455944 CPUtime=1541.82
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 111584 0 0 0 151435 2747 0 0 25 0 1 0 24466938 466886656 111142 1992294400 4194304 8395647 140736158120880 18446744073709551615 4471457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 113986 111142 622 1026 0 112956 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 455944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32107
/proc/meminfo: memFree=1081028/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=470320 CPUtime=1601.81
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 115120 0 0 0 157343 2838 0 0 25 0 1 0 24466938 481607680 114678 1992294400 4194304 8395647 140736158120880 18446744073709551615 5027358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 117580 114678 622 1026 0 116550 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 470320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32109
/proc/meminfo: memFree=1065652/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=485192 CPUtime=1661.79
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 118932 0 0 0 163253 2926 0 0 25 0 1 0 24466938 496836608 118490 1992294400 4194304 8395647 140736158120880 18446744073709551615 4216667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 121298 118490 622 1026 0 120268 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 485192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32111
/proc/meminfo: memFree=1051764/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=498648 CPUtime=1721.77
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 122410 0 0 0 169166 3011 0 0 25 0 1 0 24466938 510615552 121968 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 124662 121968 622 1026 0 123632 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 498648

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 32111
/proc/meminfo: memFree=1039612/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=510272 CPUtime=1781.75
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125347 0 0 0 175080 3095 0 0 25 0 1 0 24466938 522518528 124905 1992294400 4194304 8395647 140736158120880 18446744073709551615 4218113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 127568 124905 622 1026 0 126538 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 510272

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

[startup+1785.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 32111
/proc/meminfo: memFree=1039612/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=511040 CPUtime=1784.94
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125541 0 0 0 175396 3098 0 0 25 0 1 0 24466938 523304960 125099 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 127760 125099 622 1026 0 126730 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 511040

[startup+1788.7 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=512576 CPUtime=1788.15
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125930 0 0 0 175713 3102 0 0 25 0 1 0 24466938 524877824 125488 1992294400 4194304 8395647 140736158120880 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32061/statm: 128144 125488 622 1026 0 127114 0
Current children cumulated CPU time (s) 1788.15
Current children cumulated vsize (KiB) 512576

[startup+1790.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=512576 CPUtime=1789.75
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125937 0 0 0 175871 3104 0 0 25 0 1 0 24466938 524877824 125495 1992294400 4194304 8395647 140736158120880 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 128144 125495 625 1026 0 127114 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 512576

[startup+1791.91 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=512576 CPUtime=1791.35
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125937 0 0 0 176031 3104 0 0 25 0 1 0 24466938 524877824 125495 1992294400 4194304 8395647 140736158120880 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 128144 125495 625 1026 0 127114 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 512576

[startup+1792.7 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=512576 CPUtime=1792.15
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125937 0 0 0 176111 3104 0 0 25 0 1 0 24466938 524877824 125495 1992294400 4194304 8395647 140736158120880 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 128144 125495 625 1026 0 127114 0
Current children cumulated CPU time (s) 1792.15
Current children cumulated vsize (KiB) 512576

[startup+1792.9 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=512576 CPUtime=1792.35
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125937 0 0 0 176131 3104 0 0 25 0 1 0 24466938 524877824 125495 1992294400 4194304 8395647 140736158120880 18446744073709551615 6345756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 128144 125495 625 1026 0 127114 0
Current children cumulated CPU time (s) 1792.35
Current children cumulated vsize (KiB) 512576

[startup+1793.01 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 32111
/proc/meminfo: memFree=1037256/2059040 swapFree=4192956/4192956
[pid=32061] ppid=32059 vsize=450048 CPUtime=1792.46
/proc/32061/stat : 32061 (pbscip.linux.x8) R 32059 32061 31952 0 -1 4202496 125937 0 0 0 176140 3106 0 0 25 0 1 0 24466938 460849152 90703 1992294400 4194304 8395647 140736158120880 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32061/statm: 112512 90703 625 1026 0 111482 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (KiB) 450048

Child status: 0
Real time (s): 1793.04
CPU time (s): 1792.5
CPU user time (s): 1761.4
CPU system time (s): 31.0943
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 512576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.4
system time used= 31.0943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125940
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= 3
involuntary context switches= 2613

runsolver used 2.87856 second user time and 8.5587 second system time

The end

Launcher Data 

Begin job on node004 at 2010-07-08 06:15:33
IDJOB=2703533
IDBENCH=2919
IDSOLVER=1213
FILE ID=node004/2703533-1278562533
PBS_JOBID= 11239537
Free space on /tmp= 62480 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb
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-2703533-1278562533/watcher-2703533-1278562533 -o /tmp/evaluation-result-2703533-1278562533/solver-2703533-1278562533 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703533-1278562533.opb -t 1800 -m 1800

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=2146480236

node004.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1541356 kB
Buffers:         74560 kB
Cached:         292624 kB
SwapCached:          0 kB
Active:         162264 kB
Inactive:       264944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1541356 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10428 kB
Writeback:           0 kB
AnonPages:       60060 kB
Mapped:          14436 kB
Slab:            68480 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62472 MiB
End job on node004 at 2010-07-08 06:45:26