Trace number 2666878

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.08 1802.66

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.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-2666878-1276614942.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.02/0.02	c presolving (3 rounds):
0.02/0.02	c  1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.02	c  0 implications, 0 cliques
0.02/0.02	c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.02/0.02	c       6 constraints of type <linear>
0.02/0.02	c transformed objective value is always integral (scale: 1)
0.02/0.02	c Presolving Time: 0.01
0.02/0.02	c - non default parameters ----------------------------------------------------------------------
0.02/0.02	c # SCIP version 1.2.1.2
0.02/0.02	c 
0.02/0.02	c # frequency for displaying node information lines
0.02/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.02	c display/freq = 10000
0.02/0.02	c 
0.02/0.02	c # maximal time in seconds to run
0.02/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.02	c limits/time = 1800
0.02/0.02	c 
0.02/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.02	c limits/memory = 1620
0.02/0.02	c 
0.02/0.02	c # should presolving try to simplify inequalities
0.02/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.02	c constraints/linear/simplifyinequalities = TRUE
0.02/0.02	c 
0.02/0.02	c # should presolving try to simplify knapsacks
0.02/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.02	c 
0.02/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.02	c separating/rapidlearning/freq = 0
0.02/0.02	c 
0.02/0.02	c -----------------------------------------------------------------------------------------------
0.02/0.02	c start solving
0.02/0.02	c 
0.02/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.02/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.13	c   0.1s|     1 |     0 |   100 |     - | 328k|   0 |  10 |  50 |  18 |  50 |  12 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   110 |     - | 355k|   0 |  13 |  50 |  18 |  50 |  16 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   117 |     - | 391k|   0 |  14 |  50 |  18 |  50 |  19 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |   124 |     - | 411k|   0 |  14 |  50 |  18 |  50 |  21 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.17	c   0.1s|     1 |     0 |   129 |     - | 419k|   0 |  17 |  50 |  18 |  50 |  24 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	c   0.1s|     1 |     0 |   139 |     - | 422k|   0 |  15 |  50 |  18 |  50 |  26 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.23	c   0.2s|     1 |     2 |   139 |     - | 422k|   0 |  15 |  50 |  18 |  50 |  26 |  20 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
4.59/4.69	c   4.3s| 10000 |  3709 | 24100 |   2.4 |3916k|  43 |   6 |  50 |2938 |  50 |  16 |  20 |4335 | 510 | 0.000000e+00 |      --      |    Inf 
9.19/9.28	c   8.4s| 20000 |  6664 | 48062 |   2.4 |6041k|  44 |   - |  50 |2889 |  50 |  16 |  20 |9174 | 665 | 0.000000e+00 |      --      |    Inf 
13.89/13.91	c  12.7s| 30000 |  9335 | 71445 |   2.4 |7979k|  44 |   - |  50 |3022 |  50 |  16 |  20 |  14k| 816 | 0.000000e+00 |      --      |    Inf 
18.49/18.56	c  16.9s| 40000 | 12253 | 95046 |   2.4 |  10M|  44 |   6 |  50 |3328 |  50 |  16 |  20 |  18k| 915 | 0.000000e+00 |      --      |    Inf 
23.28/23.36	c  21.4s| 50000 | 14843 |118173 |   2.4 |  12M|  44 |   - |  50 |3483 |   0 |   0 |  20 |  24k| 970 | 0.000000e+00 |      --      |    Inf 
28.18/28.20	c  25.8s| 60000 | 17674 |141269 |   2.4 |  14M|  44 |   - |  50 |3770 |  50 |  16 |  20 |  28k|1037 | 0.000000e+00 |      --      |    Inf 
33.18/33.22	c  30.5s| 70000 | 20373 |164322 |   2.3 |  16M|  44 |   - |  50 |3778 |  50 |  16 |  20 |  34k|1108 | 0.000000e+00 |      --      |    Inf 
38.18/38.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.18/38.20	c  35.1s| 80000 | 23090 |187208 |   2.3 |  18M|  44 |   6 |  50 |3508 |  50 |  16 |  20 |  39k|1155 | 0.000000e+00 |      --      |    Inf 
42.98/43.09	c  39.6s| 90000 | 25883 |210431 |   2.3 |  20M|  44 |   - |  50 |4468 |  50 |  16 |  20 |  43k|1202 | 0.000000e+00 |      --      |    Inf 
48.39/48.40	c  44.6s|100000 | 28451 |233705 |   2.3 |  22M|  44 |   - |  50 |4181 |  50 |  16 |  20 |  49k|1252 | 0.000000e+00 |      --      |    Inf 
53.58/53.61	c  49.4s|110000 | 30992 |257505 |   2.3 |  24M|  44 |   6 |  50 |4555 |  50 |  16 |  20 |  54k|1289 | 0.000000e+00 |      --      |    Inf 
58.98/59.05	c  54.4s|120000 | 33481 |281093 |   2.3 |  26M|  44 |   6 |  50 |4631 |  50 |  16 |  20 |  59k|1318 | 0.000000e+00 |      --      |    Inf 
64.48/64.51	c  59.5s|130000 | 35924 |304362 |   2.3 |  28M|  44 |   6 |  50 |4739 |  50 |  16 |  20 |  64k|1357 | 0.000000e+00 |      --      |    Inf 
69.47/69.56	c  64.2s|140000 | 38921 |328637 |   2.3 |  30M|  44 |   6 |  50 |5905 |  50 |  16 |  20 |  69k|1385 | 0.000000e+00 |      --      |    Inf 
75.48/75.52	c  69.7s|150000 | 41364 |352144 |   2.3 |  32M|  44 |   - |  50 |5153 |  50 |  16 |  20 |  75k|1421 | 0.000000e+00 |      --      |    Inf 
81.07/81.19	c  75.0s|160000 | 43961 |375630 |   2.3 |  34M|  44 |   - |  50 |5119 |  50 |  16 |  20 |  80k|1455 | 0.000000e+00 |      --      |    Inf 
86.87/86.98	c  80.4s|170000 | 46391 |399351 |   2.3 |  36M|  44 |   - |  50 |5214 |  50 |  16 |  20 |  85k|1485 | 0.000000e+00 |      --      |    Inf 
92.56/92.61	c  85.6s|180000 | 48912 |422919 |   2.3 |  38M|  44 |   6 |  50 |5786 |  50 |  16 |  20 |  90k|1514 | 0.000000e+00 |      --      |    Inf 
98.36/98.40	c  91.0s|190000 | 51506 |446277 |   2.3 |  40M|  44 |   - |  50 |6237 |  50 |  16 |  20 |  96k|1541 | 0.000000e+00 |      --      |    Inf 
104.37/104.43	c  96.7s|200000 | 53955 |468961 |   2.3 |  42M|  44 |   - |  50 |5856 |  50 |  16 |  20 | 101k|1568 | 0.000000e+00 |      --      |    Inf 
110.26/110.38	c   102s|210000 | 56436 |491161 |   2.3 |  44M|  44 |   6 |  50 |5608 |  50 |  16 |  20 | 106k|1601 | 0.000000e+00 |      --      |    Inf 
116.15/116.24	c   108s|220000 | 58887 |514167 |   2.3 |  46M|  44 |   6 |  50 |5758 |  50 |  16 |  20 | 111k|1628 | 0.000000e+00 |      --      |    Inf 
122.25/122.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
122.25/122.35	c   113s|230000 | 61057 |537063 |   2.3 |  48M|  44 |   6 |  50 |5874 |  50 |  16 |  20 | 116k|1655 | 0.000000e+00 |      --      |    Inf 
128.25/128.38	c   119s|240000 | 63571 |560060 |   2.3 |  50M|  44 |   6 |  50 |6170 |  50 |  16 |  20 | 122k|1669 | 0.000000e+00 |      --      |    Inf 
134.46/134.57	c   125s|250000 | 66042 |583002 |   2.3 |  52M|  44 |   6 |  50 |6090 |  50 |  16 |  20 | 127k|1702 | 0.000000e+00 |      --      |    Inf 
140.35/140.41	c   130s|260000 | 68558 |606501 |   2.3 |  54M|  44 |   6 |  50 |7016 |  50 |  16 |  20 | 132k|1724 | 0.000000e+00 |      --      |    Inf 
146.84/146.94	c   136s|270000 | 70825 |629190 |   2.3 |  56M|  44 |   6 |  50 |6500 |  50 |  16 |  20 | 137k|1750 | 0.000000e+00 |      --      |    Inf 
152.74/152.80	c   142s|280000 | 73308 |652269 |   2.3 |  58M|  44 |   6 |  50 |6740 |  50 |  16 |  20 | 142k|1776 | 0.000000e+00 |      --      |    Inf 
159.14/159.25	c   148s|290000 | 75746 |674676 |   2.3 |  60M|  44 |   6 |  50 |6441 |  50 |  16 |  20 | 148k|1809 | 0.000000e+00 |      --      |    Inf 
165.24/165.35	c   154s|300000 | 78288 |698032 |   2.3 |  62M|  44 |   6 |  50 |6433 |  50 |  16 |  20 | 153k|1828 | 0.000000e+00 |      --      |    Inf 
171.94/172.08	c   160s|310000 | 80520 |721469 |   2.3 |  63M|  44 |   - |  50 |6013 |  50 |  16 |  20 | 158k|1852 | 0.000000e+00 |      --      |    Inf 
177.73/177.88	c   165s|320000 | 83314 |744804 |   2.3 |  66M|  44 |   - |  50 |6417 |  50 |  16 |  20 | 163k|1881 | 0.000000e+00 |      --      |    Inf 
184.43/184.52	c   172s|330000 | 85661 |767580 |   2.3 |  67M|  44 |   - |  50 |6587 |  50 |  16 |  20 | 168k|1900 | 0.000000e+00 |      --      |    Inf 
190.33/190.40	c   177s|340000 | 88372 |790886 |   2.3 |  70M|  44 |   6 |  50 |7181 |  50 |  16 |  20 | 173k|1922 | 0.000000e+00 |      --      |    Inf 
196.03/196.10	c   182s|350000 | 91233 |814232 |   2.3 |  72M|  44 |   6 |  50 |8420 |  50 |  16 |  20 | 178k|1946 | 0.000000e+00 |      --      |    Inf 
202.72/202.87	c   189s|360000 | 93543 |837456 |   2.3 |  74M|  44 |   6 |  50 |7210 |  50 |  16 |  20 | 184k|1969 | 0.000000e+00 |      --      |    Inf 
209.42/209.55	c   195s|370000 | 96048 |861175 |   2.3 |  76M|  44 |   6 |  50 |7503 |  50 |  16 |  20 | 189k|2004 | 0.000000e+00 |      --      |    Inf 
216.22/216.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
216.22/216.35	c   202s|380000 | 98375 |884521 |   2.3 |  78M|  44 |   - |  50 |7366 |   0 |   0 |  20 | 194k|2031 | 0.000000e+00 |      --      |    Inf 
222.52/222.69	c   208s|390000 |100977 |907375 |   2.3 |  79M|  44 |   - |  50 |7256 |  50 |  16 |  20 | 200k|2048 | 0.000000e+00 |      --      |    Inf 
228.72/228.86	c   213s|400000 |103674 |930866 |   2.3 |  82M|  44 |   6 |  50 |8620 |  50 |  16 |  20 | 205k|2063 | 0.000000e+00 |      --      |    Inf 
235.32/235.46	c   219s|410000 |106525 |955745 |   2.3 |  84M|  44 |   6 |  50 |9023 |  50 |  16 |  20 | 210k|2079 | 0.000000e+00 |      --      |    Inf 
242.31/242.47	c   226s|420000 |109162 |979360 |   2.3 |  86M|  44 |   6 |  50 |9269 |  50 |  16 |  20 | 215k|2104 | 0.000000e+00 |      --      |    Inf 
250.21/250.37	c   234s|430000 |111433 |  1002k|   2.3 |  88M|  44 |   6 |  50 |7431 |  50 |  16 |  20 | 220k|2121 | 0.000000e+00 |      --      |    Inf 
257.01/257.14	c   240s|440000 |113770 |  1026k|   2.3 |  90M|  44 |   - |  50 |7901 |  50 |  16 |  20 | 226k|2147 | 0.000000e+00 |      --      |    Inf 
264.21/264.35	c   247s|450000 |116142 |  1049k|   2.3 |  91M|  44 |   6 |  50 |6908 |  50 |  16 |  20 | 231k|2165 | 0.000000e+00 |      --      |    Inf 
270.70/270.82	c   253s|460000 |118615 |  1072k|   2.3 |  93M|  44 |   6 |  50 |7741 |  50 |  16 |  20 | 236k|2189 | 0.000000e+00 |      --      |    Inf 
277.70/277.80	c   260s|470000 |120924 |  1095k|   2.3 |  95M|  44 |   - |  50 |7817 |  50 |  16 |  20 | 241k|2206 | 0.000000e+00 |      --      |    Inf 
284.40/284.59	c   266s|480000 |123294 |  1118k|   2.3 |  97M|  44 |   - |  50 |7740 |  50 |  16 |  20 | 247k|2231 | 0.000000e+00 |      --      |    Inf 
291.09/291.22	c   272s|490000 |125769 |  1140k|   2.3 |  99M|  44 |   6 |  50 |8204 |  50 |  16 |  20 | 252k|2254 | 0.000000e+00 |      --      |    Inf 
298.10/298.26	c   279s|500000 |128334 |  1163k|   2.3 | 101M|  44 |   6 |  50 |7727 |  50 |  16 |  20 | 257k|2267 | 0.000000e+00 |      --      |    Inf 
305.19/305.38	c   286s|510000 |130761 |  1186k|   2.3 | 103M|  44 |   6 |  50 |7122 |  50 |  16 |  20 | 262k|2288 | 0.000000e+00 |      --      |    Inf 
311.89/312.04	c   292s|520000 |133198 |  1210k|   2.3 | 105M|  44 |   6 |  50 |7602 |  50 |  16 |  20 | 267k|2302 | 0.000000e+00 |      --      |    Inf 
318.99/319.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
318.99/319.14	c   299s|530000 |135490 |  1233k|   2.3 | 107M|  44 |   6 |  50 |7216 |  50 |  16 |  20 | 273k|2317 | 0.000000e+00 |      --      |    Inf 
325.69/325.85	c   305s|540000 |138087 |  1256k|   2.3 | 109M|  44 |   6 |  50 |6778 |  50 |  16 |  20 | 278k|2334 | 0.000000e+00 |      --      |    Inf 
332.39/332.50	c   311s|550000 |140498 |  1279k|   2.3 | 110M|  44 |   6 |  50 |6842 |  50 |  16 |  20 | 283k|2349 | 0.000000e+00 |      --      |    Inf 
339.38/339.59	c   318s|560000 |142667 |  1301k|   2.3 | 112M|  44 |   6 |  50 |6654 |  50 |  16 |  20 | 289k|2368 | 0.000000e+00 |      --      |    Inf 
346.18/346.32	c   324s|570000 |145076 |  1324k|   2.3 | 114M|  44 |   6 |  50 |7017 |  50 |  16 |  20 | 294k|2382 | 0.000000e+00 |      --      |    Inf 
353.08/353.25	c   331s|580000 |147478 |  1347k|   2.3 | 116M|  44 |   6 |  50 |7030 |  50 |  16 |  20 | 299k|2402 | 0.000000e+00 |      --      |    Inf 
358.88/359.00	c   336s|590000 |150594 |  1372k|   2.3 | 119M|  44 |   6 |  50 |8168 |  50 |  16 |  20 | 304k|2421 | 0.000000e+00 |      --      |    Inf 
364.77/364.99	c   342s|600000 |153709 |  1396k|   2.3 | 121M|  44 |   6 |  50 |9637 |  50 |  16 |  20 | 309k|2435 | 0.000000e+00 |      --      |    Inf 
371.48/371.61	c   348s|610000 |156624 |  1420k|   2.3 | 123M|  44 |   6 |  50 |9544 |  50 |  16 |  20 | 314k|2453 | 0.000000e+00 |      --      |    Inf 
379.37/379.52	c   356s|620000 |158814 |  1444k|   2.3 | 125M|  44 |   6 |  50 |7935 |  50 |  16 |  20 | 319k|2475 | 0.000000e+00 |      --      |    Inf 
386.66/386.86	c   363s|630000 |161050 |  1467k|   2.3 | 126M|  44 |   - |  50 |7774 |  50 |  16 |  20 | 325k|2502 | 0.000000e+00 |      --      |    Inf 
392.96/393.15	c   368s|640000 |163933 |  1490k|   2.3 | 129M|  44 |   6 |  50 |8742 |  50 |  16 |  20 | 330k|2522 | 0.000000e+00 |      --      |    Inf 
400.36/400.57	c   375s|650000 |166315 |  1513k|   2.3 | 130M|  44 |   6 |  50 |7753 |  50 |  16 |  20 | 335k|2536 | 0.000000e+00 |      --      |    Inf 
407.97/408.10	c   383s|660000 |168614 |  1535k|   2.3 | 132M|  44 |   6 |  50 |7002 |  50 |  16 |  20 | 340k|2555 | 0.000000e+00 |      --      |    Inf 
415.16/415.33	c   389s|670000 |170928 |  1558k|   2.3 | 134M|  44 |   6 |  50 |7070 |  50 |  16 |  20 | 345k|2574 | 0.000000e+00 |      --      |    Inf 
422.55/422.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
422.55/422.75	c   396s|680000 |173101 |  1581k|   2.3 | 136M|  44 |   - |  50 |6777 |  50 |  16 |  20 | 351k|2600 | 0.000000e+00 |      --      |    Inf 
429.55/429.71	c   403s|690000 |175399 |  1604k|   2.3 | 138M|  44 |   6 |  50 |6994 |  50 |  16 |  20 | 356k|2613 | 0.000000e+00 |      --      |    Inf 
436.15/436.31	c   409s|700000 |177882 |  1627k|   2.3 | 140M|  44 |   - |  50 |8045 |  50 |  16 |  20 | 361k|2631 | 0.000000e+00 |      --      |    Inf 
444.16/444.34	c   417s|710000 |179913 |  1650k|   2.3 | 141M|  44 |   6 |  50 |7077 |  50 |  16 |  20 | 367k|2649 | 0.000000e+00 |      --      |    Inf 
451.05/451.29	c   423s|720000 |182164 |  1673k|   2.3 | 143M|  44 |   6 |  50 |7750 |  50 |  16 |  20 | 372k|2663 | 0.000000e+00 |      --      |    Inf 
458.24/458.44	c   430s|730000 |184540 |  1697k|   2.3 | 145M|  44 |   6 |  50 |7654 |  50 |  16 |  20 | 378k|2681 | 0.000000e+00 |      --      |    Inf 
465.14/465.37	c   437s|740000 |186922 |  1719k|   2.3 | 147M|  44 |   6 |  50 |7945 |  50 |  16 |  20 | 383k|2693 | 0.000000e+00 |      --      |    Inf 
472.54/472.74	c   444s|750000 |189160 |  1743k|   2.3 | 149M|  44 |   6 |  50 |7676 |  50 |  16 |  20 | 388k|2707 | 0.000000e+00 |      --      |    Inf 
479.63/479.89	c   451s|760000 |191401 |  1766k|   2.3 | 151M|  44 |   - |  50 |7360 |  50 |  16 |  20 | 394k|2719 | 0.000000e+00 |      --      |    Inf 
486.94/487.16	c   457s|770000 |193579 |  1789k|   2.3 | 153M|  44 |   - |  50 |8137 |  50 |  16 |  20 | 399k|2748 | 0.000000e+00 |      --      |    Inf 
494.03/494.23	c   464s|780000 |195956 |  1813k|   2.3 | 155M|  44 |   - |  50 |8625 |  50 |  16 |  20 | 405k|2765 | 0.000000e+00 |      --      |    Inf 
501.44/501.61	c   471s|790000 |198243 |  1837k|   2.3 | 157M|  44 |   6 |  50 |8609 |  50 |  16 |  20 | 410k|2783 | 0.000000e+00 |      --      |    Inf 
508.53/508.77	c   478s|800000 |200683 |  1860k|   2.3 | 159M|  44 |   - |  50 |9449 |  50 |  16 |  20 | 415k|2802 | 0.000000e+00 |      --      |    Inf 
516.62/516.88	c   486s|810000 |202960 |  1884k|   2.3 | 161M|  44 |   6 |  50 |9023 |  50 |  16 |  20 | 421k|2820 | 0.000000e+00 |      --      |    Inf 
524.61/524.85	c   493s|820000 |205197 |  1907k|   2.3 | 162M|  44 |   - |  50 |8028 |  50 |  16 |  20 | 426k|2834 | 0.000000e+00 |      --      |    Inf 
531.72/531.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
531.72/531.97	c   500s|830000 |207684 |  1931k|   2.3 | 164M|  44 |   6 |  50 |8239 |  50 |  16 |  20 | 432k|2844 | 0.000000e+00 |      --      |    Inf 
539.51/539.73	c   507s|840000 |209824 |  1954k|   2.3 | 166M|  44 |   6 |  50 |7791 |  50 |  16 |  20 | 437k|2861 | 0.000000e+00 |      --      |    Inf 
546.91/547.10	c   514s|850000 |212059 |  1977k|   2.3 | 168M|  44 |   6 |  50 |8084 |  50 |  16 |  20 | 442k|2874 | 0.000000e+00 |      --      |    Inf 
553.61/553.85	c   521s|860000 |214579 |  2001k|   2.3 | 170M|  44 |   - |  50 |8481 |  50 |  16 |  20 | 447k|2887 | 0.000000e+00 |      --      |    Inf 
560.71/560.98	c   527s|870000 |217058 |  2024k|   2.3 | 172M|  44 |   - |  50 |9115 |  50 |  16 |  20 | 453k|2905 | 0.000000e+00 |      --      |    Inf 
568.90/569.18	c   535s|880000 |219072 |  2047k|   2.3 | 173M|  44 |   - |  50 |7963 |   0 |   0 |  20 | 458k|2919 | 0.000000e+00 |      --      |    Inf 
575.80/576.03	c   542s|890000 |221577 |  2070k|   2.3 | 175M|  44 |   6 |  50 |8049 |  50 |  16 |  20 | 463k|2930 | 0.000000e+00 |      --      |    Inf 
582.60/582.86	c   548s|900000 |223987 |  2092k|   2.3 | 178M|  44 |   - |  50 |9358 |   0 |   0 |  20 | 468k|2947 | 0.000000e+00 |      --      |    Inf 
590.90/591.13	c   556s|910000 |226160 |  2116k|   2.3 | 179M|  44 |   6 |  50 |8613 |  50 |  16 |  20 | 474k|2961 | 0.000000e+00 |      --      |    Inf 
597.79/598.00	c   562s|920000 |228662 |  2139k|   2.3 | 181M|  44 |   - |  50 |9146 |  50 |  16 |  20 | 479k|2972 | 0.000000e+00 |      --      |    Inf 
605.49/605.73	c   570s|930000 |230897 |  2161k|   2.3 | 183M|  44 |   - |  50 |8521 |  50 |  16 |  20 | 484k|2986 | 0.000000e+00 |      --      |    Inf 
612.69/612.92	c   577s|940000 |233270 |  2184k|   2.3 | 185M|  44 |   6 |  50 |8473 |  50 |  16 |  20 | 489k|3000 | 0.000000e+00 |      --      |    Inf 
620.20/620.43	c   584s|950000 |235514 |  2207k|   2.3 | 187M|  44 |   6 |  50 |8405 |  50 |  16 |  20 | 495k|3011 | 0.000000e+00 |      --      |    Inf 
627.28/627.59	c   591s|960000 |237881 |  2231k|   2.3 | 189M|  44 |   - |  50 |8418 |  50 |  16 |  20 | 500k|3026 | 0.000000e+00 |      --      |    Inf 
635.39/635.67	c   598s|970000 |240094 |  2254k|   2.3 | 190M|  44 |   6 |  50 |7932 |  50 |  16 |  20 | 506k|3042 | 0.000000e+00 |      --      |    Inf 
643.07/643.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
643.07/643.34	c   606s|980000 |242321 |  2277k|   2.3 | 192M|  44 |   6 |  50 |8404 |  50 |  16 |  20 | 511k|3053 | 0.000000e+00 |      --      |    Inf 
650.28/650.58	c   612s|990000 |244684 |  2300k|   2.3 | 194M|  44 |   6 |  50 |9068 |  50 |  16 |  20 | 516k|3063 | 0.000000e+00 |      --      |    Inf 
658.18/658.49	c   620s|  1000k|246962 |  2323k|   2.3 | 196M|  44 |   - |  50 |7823 |   0 |   0 |  20 | 522k|3082 | 0.000000e+00 |      --      |    Inf 
664.88/665.19	c   626s|  1010k|249492 |  2346k|   2.3 | 198M|  44 |   6 |  50 |8947 |  50 |  16 |  20 | 527k|3093 | 0.000000e+00 |      --      |    Inf 
671.57/671.83	c   633s|  1020k|252213 |  2370k|   2.3 | 200M|  44 |   6 |  50 |9536 |  50 |  16 |  20 | 532k|3111 | 0.000000e+00 |      --      |    Inf 
677.97/678.26	c   639s|  1030k|255439 |  2394k|   2.3 | 203M|  44 |   - |  50 |  10k|  50 |  16 |  20 | 537k|3134 | 0.000000e+00 |      --      |    Inf 
685.16/685.40	c   645s|  1040k|258093 |  2418k|   2.3 | 205M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 542k|3145 | 0.000000e+00 |      --      |    Inf 
692.57/692.83	c   652s|  1050k|260686 |  2441k|   2.3 | 207M|  44 |   6 |  50 |  12k|  50 |  16 |  20 | 547k|3160 | 0.000000e+00 |      --      |    Inf 
701.47/701.78	c   661s|  1060k|262950 |  2464k|   2.3 | 209M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 552k|3169 | 0.000000e+00 |      --      |    Inf 
709.76/710.05	c   669s|  1070k|265389 |  2488k|   2.3 | 211M|  44 |   6 |  50 |  11k|  50 |  16 |  20 | 558k|3188 | 0.000000e+00 |      --      |    Inf 
719.46/719.74	c   678s|  1080k|267407 |  2511k|   2.3 | 212M|  44 |   6 |  50 |9434 |  50 |  16 |  20 | 563k|3202 | 0.000000e+00 |      --      |    Inf 
725.95/726.22	c   684s|  1090k|270302 |  2534k|   2.3 | 214M|  44 |   - |  50 |  10k|   0 |   0 |  20 | 568k|3215 | 0.000000e+00 |      --      |    Inf 
733.95/734.30	c   692s|  1100k|272753 |  2557k|   2.3 | 216M|  44 |   - |  50 |9636 |   0 |   0 |  20 | 573k|3230 | 0.000000e+00 |      --      |    Inf 
742.55/742.87	c   700s|  1110k|274917 |  2579k|   2.3 | 217M|  44 |   6 |  50 |7858 |  50 |  16 |  20 | 579k|3247 | 0.000000e+00 |      --      |    Inf 
750.04/750.38	c   707s|  1120k|277230 |  2603k|   2.3 | 219M|  44 |   6 |  50 |8553 |  50 |  16 |  20 | 584k|3258 | 0.000000e+00 |      --      |    Inf 
757.43/757.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
757.43/757.72	c   714s|  1130k|279553 |  2627k|   2.3 | 221M|  44 |   6 |  50 |9351 |  50 |  16 |  20 | 590k|3275 | 0.000000e+00 |      --      |    Inf 
765.54/765.82	c   722s|  1140k|281910 |  2650k|   2.3 | 223M|  44 |   6 |  50 |9145 |  50 |  16 |  20 | 595k|3288 | 0.000000e+00 |      --      |    Inf 
772.03/772.39	c   728s|  1150k|284753 |  2675k|   2.3 | 226M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 600k|3300 | 0.000000e+00 |      --      |    Inf 
779.63/779.97	c   735s|  1160k|287247 |  2700k|   2.3 | 228M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 606k|3314 | 0.000000e+00 |      --      |    Inf 
788.44/788.76	c   744s|  1170k|289533 |  2725k|   2.3 | 229M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 611k|3324 | 0.000000e+00 |      --      |    Inf 
796.72/797.09	c   752s|  1180k|291859 |  2749k|   2.3 | 231M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 617k|3342 | 0.000000e+00 |      --      |    Inf 
805.93/806.21	c   760s|  1190k|294177 |  2771k|   2.3 | 233M|  45 |   6 |  50 |8826 |  50 |  16 |  20 | 622k|3349 | 0.000000e+00 |      --      |    Inf 
813.52/813.84	c   768s|  1200k|296517 |  2794k|   2.3 | 235M|  45 |   - |  50 |9468 |  50 |  16 |  20 | 627k|3359 | 0.000000e+00 |      --      |    Inf 
822.02/822.36	c   776s|  1210k|298637 |  2818k|   2.3 | 236M|  45 |   6 |  50 |9058 |  50 |  16 |  20 | 633k|3374 | 0.000000e+00 |      --      |    Inf 
829.91/830.23	c   783s|  1220k|300834 |  2841k|   2.3 | 238M|  45 |   6 |  50 |9224 |  50 |  16 |  20 | 638k|3384 | 0.000000e+00 |      --      |    Inf 
838.01/838.33	c   791s|  1230k|303066 |  2864k|   2.3 | 240M|  45 |   - |  50 |8050 |  50 |  16 |  20 | 644k|3394 | 0.000000e+00 |      --      |    Inf 
845.21/845.58	c   798s|  1240k|305394 |  2887k|   2.3 | 242M|  45 |   - |  50 |8971 |  50 |  16 |  20 | 649k|3410 | 0.000000e+00 |      --      |    Inf 
853.70/854.07	c   806s|  1250k|307473 |  2910k|   2.3 | 244M|  45 |   - |  50 |9013 |  50 |  16 |  20 | 654k|3419 | 0.000000e+00 |      --      |    Inf 
862.31/862.67	c   814s|  1260k|309541 |  2933k|   2.3 | 246M|  45 |   6 |  50 |8374 |  50 |  16 |  20 | 660k|3434 | 0.000000e+00 |      --      |    Inf 
869.40/869.79	c   821s|  1270k|312075 |  2957k|   2.3 | 248M|  45 |   - |  50 |9045 |  50 |  16 |  20 | 665k|3449 | 0.000000e+00 |      --      |    Inf 
877.00/877.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
877.00/877.38	c   828s|  1280k|314515 |  2980k|   2.3 | 250M|  45 |   6 |  50 |9235 |  50 |  16 |  20 | 670k|3460 | 0.000000e+00 |      --      |    Inf 
885.70/886.03	c   836s|  1290k|316626 |  3003k|   2.3 | 251M|  45 |   6 |  50 |8485 |  50 |  16 |  20 | 676k|3470 | 0.000000e+00 |      --      |    Inf 
893.00/893.39	c   843s|  1300k|318942 |  3027k|   2.3 | 254M|  45 |   - |  50 |  10k|   0 |   0 |  20 | 681k|3483 | 0.000000e+00 |      --      |    Inf 
901.40/901.73	c   851s|  1310k|321205 |  3050k|   2.3 | 255M|  45 |   6 |  50 |8998 |  50 |  16 |  20 | 687k|3493 | 0.000000e+00 |      --      |    Inf 
909.30/909.65	c   859s|  1320k|323435 |  3073k|   2.3 | 257M|  45 |   6 |  50 |9083 |  50 |  16 |  20 | 692k|3507 | 0.000000e+00 |      --      |    Inf 
917.49/917.88	c   867s|  1330k|325715 |  3097k|   2.3 | 259M|  45 |   6 |  50 |9314 |  50 |  16 |  20 | 697k|3513 | 0.000000e+00 |      --      |    Inf 
925.69/926.03	c   874s|  1340k|327766 |  3120k|   2.3 | 261M|  45 |   - |  50 |9783 |  50 |  16 |  20 | 703k|3529 | 0.000000e+00 |      --      |    Inf 
934.28/934.63	c   883s|  1350k|329882 |  3144k|   2.3 | 262M|  45 |   6 |  50 |8764 |  50 |  16 |  20 | 709k|3539 | 0.000000e+00 |      --      |    Inf 
940.89/941.26	c   889s|  1360k|332388 |  3168k|   2.3 | 265M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 714k|3554 | 0.000000e+00 |      --      |    Inf 
949.18/949.57	c   897s|  1370k|334687 |  3192k|   2.3 | 267M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 719k|3571 | 0.000000e+00 |      --      |    Inf 
958.58/958.98	c   906s|  1380k|336648 |  3214k|   2.3 | 268M|  45 |   - |  50 |9568 |  50 |  16 |  20 | 725k|3588 | 0.000000e+00 |      --      |    Inf 
968.08/968.48	c   915s|  1390k|338580 |  3237k|   2.3 | 270M|  45 |   - |  50 |9050 |  50 |  16 |  20 | 730k|3606 | 0.000000e+00 |      --      |    Inf 
976.47/976.86	c   923s|  1400k|340652 |  3261k|   2.3 | 272M|  45 |   - |  50 |8973 |  50 |  16 |  20 | 736k|3612 | 0.000000e+00 |      --      |    Inf 
984.87/985.23	c   931s|  1410k|342930 |  3285k|   2.3 | 274M|  45 |   - |  50 |9366 |   0 |   0 |  20 | 741k|3620 | 0.000000e+00 |      --      |    Inf 
992.66/993.06	c   938s|  1420k|345106 |  3309k|   2.3 | 276M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 747k|3631 | 0.000000e+00 |      --      |    Inf 
1002.06/1002.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.06/1002.45	c   947s|  1430k|347131 |  3332k|   2.3 | 277M|  45 |   - |  50 |9339 |  50 |  16 |  20 | 752k|3638 | 0.000000e+00 |      --      |    Inf 
1008.15/1008.54	c   953s|  1440k|350030 |  3354k|   2.3 | 280M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 757k|3644 | 0.000000e+00 |      --      |    Inf 
1016.45/1016.87	c   961s|  1450k|352288 |  3378k|   2.3 | 281M|  45 |   - |  50 |9673 |  50 |  16 |  20 | 762k|3657 | 0.000000e+00 |      --      |    Inf 
1025.86/1026.28	c   970s|  1460k|354394 |  3402k|   2.3 | 283M|  45 |   6 |  50 |9100 |  50 |  16 |  20 | 768k|3670 | 0.000000e+00 |      --      |    Inf 
1034.45/1034.87	c   978s|  1470k|356485 |  3425k|   2.3 | 285M|  45 |   - |  50 |8886 |  50 |  16 |  20 | 774k|3680 | 0.000000e+00 |      --      |    Inf 
1041.94/1042.35	c   985s|  1480k|358816 |  3448k|   2.3 | 287M|  45 |   6 |  50 |9995 |  50 |  16 |  20 | 779k|3688 | 0.000000e+00 |      --      |    Inf 
1050.54/1050.96	c   993s|  1490k|360930 |  3471k|   2.3 | 288M|  45 |   6 |  50 |9470 |  50 |  16 |  20 | 784k|3695 | 0.000000e+00 |      --      |    Inf 
1058.04/1058.41	c  1000s|  1500k|363774 |  3496k|   2.3 | 291M|  45 |   6 |  50 |9996 |  50 |  16 |  20 | 789k|3707 | 0.000000e+00 |      --      |    Inf 
1064.54/1064.91	c  1007s|  1510k|366953 |  3520k|   2.3 | 293M|  45 |   - |  50 |  11k|  50 |  16 |  20 | 794k|3719 | 0.000000e+00 |      --      |    Inf 
1071.04/1071.47	c  1013s|  1520k|370324 |  3545k|   2.3 | 295M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 799k|3733 | 0.000000e+00 |      --      |    Inf 
1077.84/1078.22	c  1019s|  1530k|373994 |  3569k|   2.3 | 298M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 803k|3740 | 0.000000e+00 |      --      |    Inf 
1085.43/1085.85	c  1026s|  1540k|377117 |  3593k|   2.3 | 300M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 808k|3755 | 0.000000e+00 |      --      |    Inf 
1093.04/1093.42	c  1033s|  1550k|380234 |  3617k|   2.3 | 302M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 813k|3766 | 0.000000e+00 |      --      |    Inf 
1100.83/1101.22	c  1041s|  1560k|383044 |  3641k|   2.3 | 304M|  45 |   6 |  50 |  12k|  50 |  16 |  20 | 818k|3778 | 0.000000e+00 |      --      |    Inf 
1108.53/1108.92	c  1048s|  1570k|385957 |  3665k|   2.3 | 306M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 823k|3796 | 0.000000e+00 |      --      |    Inf 
1116.82/1117.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1116.82/1117.28	c  1056s|  1580k|388519 |  3688k|   2.3 | 308M|  45 |   6 |  50 |  12k|  50 |  16 |  20 | 828k|3804 | 0.000000e+00 |      --      |    Inf 
1127.21/1127.62	c  1066s|  1590k|390675 |  3712k|   2.3 | 309M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 833k|3816 | 0.000000e+00 |      --      |    Inf 
1136.71/1137.19	c  1075s|  1600k|392745 |  3735k|   2.3 | 311M|  45 |   - |  50 |9464 |   0 |   0 |  20 | 839k|3824 | 0.000000e+00 |      --      |    Inf 
1145.61/1146.03	c  1084s|  1610k|395000 |  3758k|   2.3 | 313M|  45 |   6 |  50 |9125 |  50 |  16 |  20 | 844k|3842 | 0.000000e+00 |      --      |    Inf 
1152.91/1153.36	c  1091s|  1620k|397402 |  3783k|   2.3 | 315M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 849k|3851 | 0.000000e+00 |      --      |    Inf 
1162.41/1162.83	c  1100s|  1630k|399463 |  3806k|   2.3 | 316M|  45 |   6 |  50 |9412 |  50 |  16 |  20 | 855k|3863 | 0.000000e+00 |      --      |    Inf 
1170.50/1170.97	c  1107s|  1640k|401781 |  3830k|   2.3 | 318M|  45 |   - |  50 |9955 |  50 |  16 |  20 | 860k|3882 | 0.000000e+00 |      --      |    Inf 
1178.81/1179.28	c  1115s|  1650k|404257 |  3854k|   2.3 | 320M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 865k|3890 | 0.000000e+00 |      --      |    Inf 
1188.89/1189.34	c  1125s|  1660k|406108 |  3877k|   2.3 | 322M|  45 |   - |  50 |9497 |   0 |   0 |  20 | 871k|3901 | 0.000000e+00 |      --      |    Inf 
1197.20/1197.66	c  1133s|  1670k|408387 |  3900k|   2.3 | 324M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 877k|3909 | 0.000000e+00 |      --      |    Inf 
1206.30/1206.75	c  1142s|  1680k|410614 |  3923k|   2.3 | 326M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 882k|3914 | 0.000000e+00 |      --      |    Inf 
1214.30/1214.71	c  1149s|  1690k|413049 |  3947k|   2.3 | 328M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 887k|3929 | 0.000000e+00 |      --      |    Inf 
1222.89/1223.30	c  1157s|  1700k|415377 |  3971k|   2.3 | 330M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 893k|3941 | 0.000000e+00 |      --      |    Inf 
1230.99/1231.49	c  1165s|  1710k|417943 |  3996k|   2.3 | 332M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 898k|3949 | 0.000000e+00 |      --      |    Inf 
1240.29/1240.72	c  1174s|  1720k|420174 |  4019k|   2.3 | 333M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 903k|3959 | 0.000000e+00 |      --      |    Inf 
1247.68/1248.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1247.68/1248.17	c  1181s|  1730k|422676 |  4045k|   2.3 | 336M|  45 |   - |  50 |  11k|  50 |  16 |  20 | 909k|3971 | 0.000000e+00 |      --      |    Inf 
1256.98/1257.49	c  1190s|  1740k|424959 |  4068k|   2.3 | 337M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 914k|3980 | 0.000000e+00 |      --      |    Inf 
1264.88/1265.38	c  1198s|  1750k|427401 |  4092k|   2.3 | 340M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 920k|3992 | 0.000000e+00 |      --      |    Inf 
1272.77/1273.27	c  1205s|  1760k|429560 |  4116k|   2.3 | 342M|  45 |   - |  50 |  12k|  50 |  16 |  20 | 925k|4001 | 0.000000e+00 |      --      |    Inf 
1282.08/1282.58	c  1214s|  1770k|431867 |  4139k|   2.3 | 343M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 931k|4015 | 0.000000e+00 |      --      |    Inf 
1292.76/1293.28	c  1224s|  1780k|433900 |  4163k|   2.3 | 345M|  45 |   6 |  50 |9933 |  50 |  16 |  20 | 936k|4024 | 0.000000e+00 |      --      |    Inf 
1302.27/1302.71	c  1233s|  1790k|436051 |  4186k|   2.3 | 346M|  45 |   6 |  50 |9019 |  50 |  16 |  20 | 942k|4035 | 0.000000e+00 |      --      |    Inf 
1310.56/1311.04	c  1241s|  1800k|438481 |  4210k|   2.3 | 348M|  45 |   6 |  50 |9693 |  50 |  16 |  20 | 947k|4046 | 0.000000e+00 |      --      |    Inf 
1319.47/1319.97	c  1250s|  1810k|440672 |  4233k|   2.3 | 350M|  45 |   6 |  50 |9680 |  50 |  16 |  20 | 953k|4058 | 0.000000e+00 |      --      |    Inf 
1328.05/1328.53	c  1258s|  1820k|442951 |  4256k|   2.3 | 352M|  45 |   6 |  50 |9698 |  50 |  16 |  20 | 958k|4068 | 0.000000e+00 |      --      |    Inf 
1337.16/1337.66	c  1267s|  1830k|445086 |  4280k|   2.3 | 354M|  45 |   6 |  50 |8865 |  50 |  16 |  20 | 963k|4084 | 0.000000e+00 |      --      |    Inf 
1345.65/1346.15	c  1275s|  1840k|447301 |  4304k|   2.3 | 356M|  45 |   6 |  50 |9627 |  50 |  16 |  20 | 969k|4091 | 0.000000e+00 |      --      |    Inf 
1353.35/1353.85	c  1282s|  1850k|449756 |  4328k|   2.3 | 358M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 974k|4113 | 0.000000e+00 |      --      |    Inf 
1362.54/1363.07	c  1291s|  1860k|452199 |  4352k|   2.3 | 360M|  45 |   - |  50 |  10k|  50 |  16 |  20 | 980k|4123 | 0.000000e+00 |      --      |    Inf 
1370.74/1371.24	c  1299s|  1870k|454612 |  4375k|   2.3 | 362M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 985k|4134 | 0.000000e+00 |      --      |    Inf 
1378.64/1379.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1378.64/1379.10	c  1306s|  1880k|457139 |  4399k|   2.3 | 364M|  45 |   6 |  50 |  11k|  50 |  16 |  20 | 990k|4149 | 0.000000e+00 |      --      |    Inf 
1387.84/1388.32	c  1315s|  1890k|459427 |  4422k|   2.3 | 366M|  45 |   6 |  50 |  10k|  50 |  16 |  20 | 995k|4161 | 0.000000e+00 |      --      |    Inf 
1398.13/1398.66	c  1325s|  1900k|461440 |  4445k|   2.3 | 367M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1001k|4171 | 0.000000e+00 |      --      |    Inf 
1408.04/1408.52	c  1334s|  1910k|463543 |  4469k|   2.3 | 369M|  45 |   - |  50 |9929 |   0 |   0 |  20 |1006k|4186 | 0.000000e+00 |      --      |    Inf 
1417.33/1417.86	c  1343s|  1920k|465620 |  4492k|   2.3 | 371M|  45 |   - |  50 |9331 |  50 |  16 |  20 |1012k|4197 | 0.000000e+00 |      --      |    Inf 
1425.72/1426.21	c  1351s|  1930k|467929 |  4516k|   2.3 | 373M|  45 |   6 |  50 |9947 |  50 |  16 |  20 |1017k|4207 | 0.000000e+00 |      --      |    Inf 
1433.02/1433.59	c  1358s|  1940k|470663 |  4540k|   2.3 | 375M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1022k|4215 | 0.000000e+00 |      --      |    Inf 
1440.62/1441.11	c  1365s|  1950k|473278 |  4564k|   2.3 | 377M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1027k|4229 | 0.000000e+00 |      --      |    Inf 
1450.22/1450.78	c  1375s|  1960k|475622 |  4587k|   2.3 | 379M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1033k|4237 | 0.000000e+00 |      --      |    Inf 
1458.82/1459.40	c  1383s|  1970k|477853 |  4611k|   2.3 | 380M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1038k|4248 | 0.000000e+00 |      --      |    Inf 
1468.41/1468.94	c  1392s|  1980k|479966 |  4634k|   2.3 | 382M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1044k|4256 | 0.000000e+00 |      --      |    Inf 
1477.71/1478.26	c  1401s|  1990k|482144 |  4657k|   2.3 | 384M|  45 |   6 |  50 |9759 |  50 |  16 |  20 |1049k|4266 | 0.000000e+00 |      --      |    Inf 
1486.80/1487.33	c  1410s|  2000k|484216 |  4681k|   2.3 | 386M|  45 |   6 |  50 |9565 |  50 |  16 |  20 |1055k|4276 | 0.000000e+00 |      --      |    Inf 
1494.81/1495.34	c  1417s|  2010k|486598 |  4704k|   2.3 | 388M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1060k|4284 | 0.000000e+00 |      --      |    Inf 
1503.11/1503.68	c  1425s|  2020k|488914 |  4728k|   2.3 | 390M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1065k|4298 | 0.000000e+00 |      --      |    Inf 
1512.00/1512.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1512.00/1512.55	c  1434s|  2030k|491228 |  4751k|   2.3 | 392M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1071k|4308 | 0.000000e+00 |      --      |    Inf 
1521.10/1521.61	c  1442s|  2040k|493511 |  4775k|   2.3 | 393M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1076k|4320 | 0.000000e+00 |      --      |    Inf 
1530.70/1531.29	c  1452s|  2050k|495674 |  4798k|   2.3 | 395M|  45 |   - |  50 |  10k|   0 |   0 |  20 |1082k|4324 | 0.000000e+00 |      --      |    Inf 
1539.29/1539.81	c  1460s|  2060k|498153 |  4822k|   2.3 | 397M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1087k|4335 | 0.000000e+00 |      --      |    Inf 
1548.59/1549.12	c  1469s|  2070k|500278 |  4846k|   2.3 | 399M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1092k|4349 | 0.000000e+00 |      --      |    Inf 
1558.29/1558.85	c  1478s|  2080k|502482 |  4870k|   2.3 | 401M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1098k|4358 | 0.000000e+00 |      --      |    Inf 
1568.18/1568.75	c  1488s|  2090k|504514 |  4894k|   2.3 | 403M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1104k|4367 | 0.000000e+00 |      --      |    Inf 
1577.78/1578.36	c  1497s|  2100k|506582 |  4917k|   2.3 | 404M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1109k|4381 | 0.000000e+00 |      --      |    Inf 
1587.17/1587.76	c  1506s|  2110k|508759 |  4941k|   2.3 | 406M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1114k|4394 | 0.000000e+00 |      --      |    Inf 
1596.77/1597.32	c  1515s|  2120k|510859 |  4964k|   2.3 | 408M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1120k|4399 | 0.000000e+00 |      --      |    Inf 
1605.47/1606.08	c  1523s|  2130k|513093 |  4989k|   2.3 | 410M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1126k|4411 | 0.000000e+00 |      --      |    Inf 
1614.86/1615.47	c  1532s|  2140k|515426 |  5012k|   2.3 | 412M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1131k|4421 | 0.000000e+00 |      --      |    Inf 
1625.06/1625.66	c  1542s|  2150k|517592 |  5036k|   2.3 | 414M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1137k|4437 | 0.000000e+00 |      --      |    Inf 
1635.36/1635.97	c  1552s|  2160k|519483 |  5060k|   2.3 | 415M|  45 |   - |  50 |9681 |  50 |  16 |  20 |1142k|4451 | 0.000000e+00 |      --      |    Inf 
1644.15/1644.71	c  1560s|  2170k|521857 |  5083k|   2.3 | 417M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1148k|4463 | 0.000000e+00 |      --      |    Inf 
1653.55/1654.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1653.55/1654.11	c  1569s|  2180k|524149 |  5106k|   2.3 | 419M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1153k|4478 | 0.000000e+00 |      --      |    Inf 
1661.55/1662.14	c  1577s|  2190k|526596 |  5130k|   2.3 | 421M|  45 |   - |  50 |  11k|   0 |   0 |  20 |1158k|4484 | 0.000000e+00 |      --      |    Inf 
1669.65/1670.24	c  1585s|  2200k|529152 |  5154k|   2.3 | 423M|  45 |   6 |  50 |  11k|  50 |  16 |  20 |1163k|4495 | 0.000000e+00 |      --      |    Inf 
1677.55/1678.14	c  1592s|  2210k|531620 |  5178k|   2.3 | 425M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1169k|4507 | 0.000000e+00 |      --      |    Inf 
1686.54/1687.16	c  1601s|  2220k|534242 |  5202k|   2.3 | 427M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1174k|4517 | 0.000000e+00 |      --      |    Inf 
1695.14/1695.76	c  1609s|  2230k|536883 |  5227k|   2.3 | 429M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1179k|4528 | 0.000000e+00 |      --      |    Inf 
1703.43/1704.01	c  1617s|  2240k|539215 |  5252k|   2.3 | 431M|  45 |   6 |  50 |  13k|  50 |  16 |  20 |1185k|4534 | 0.000000e+00 |      --      |    Inf 
1713.83/1714.44	c  1627s|  2250k|541534 |  5276k|   2.3 | 433M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1190k|4546 | 0.000000e+00 |      --      |    Inf 
1723.84/1724.46	c  1637s|  2260k|543766 |  5299k|   2.3 | 435M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1196k|4560 | 0.000000e+00 |      --      |    Inf 
1731.63/1732.25	c  1644s|  2270k|546267 |  5323k|   2.3 | 437M|  45 |   - |  50 |  12k|  50 |  16 |  20 |1201k|4569 | 0.000000e+00 |      --      |    Inf 
1741.53/1742.19	c  1654s|  2280k|548486 |  5347k|   2.3 | 438M|  45 |   - |  50 |  10k|  50 |  16 |  20 |1206k|4576 | 0.000000e+00 |      --      |    Inf 
1748.02/1748.69	c  1660s|  2290k|551457 |  5369k|   2.3 | 441M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1211k|4582 | 0.000000e+00 |      --      |    Inf 
1757.42/1758.04	c  1669s|  2300k|553634 |  5394k|   2.3 | 443M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1217k|4591 | 0.000000e+00 |      --      |    Inf 
1767.21/1767.83	c  1678s|  2310k|555961 |  5417k|   2.3 | 444M|  45 |   6 |  50 |  12k|  50 |  16 |  20 |1222k|4599 | 0.000000e+00 |      --      |    Inf 
1776.51/1777.11	c  1687s|  2320k|557993 |  5440k|   2.3 | 446M|  45 |   - |  50 |  12k|  50 |  16 |  20 |1228k|4607 | 0.000000e+00 |      --      |    Inf 
1786.82/1787.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1786.82/1787.45	c  1697s|  2330k|560081 |  5464k|   2.3 | 448M|  45 |   - |  50 |  11k|  50 |  16 |  20 |1233k|4612 | 0.000000e+00 |      --      |    Inf 
1797.11/1797.74	c  1707s|  2340k|562344 |  5489k|   2.3 | 450M|  45 |   6 |  50 |  10k|  50 |  16 |  20 |1239k|4622 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62	c 
1800.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time (sec) : 1709.51
1800.02/1800.62	c Solving Nodes      : 2342420
1800.02/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.62	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.62	c Gap                : infinite
1800.02/1800.62	s UNKNOWN
1800.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time       :    1709.51
1800.02/1800.62	c Original Problem   :
1800.02/1800.62	c   Problem name     : HOME/instance-2666878-1276614942.opb
1800.02/1800.62	c   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 13 initial, 13 maximal
1800.02/1800.62	c Presolved Problem  :
1800.02/1800.62	c   Problem name     : t_HOME/instance-2666878-1276614942.opb
1800.02/1800.62	c   Variables        : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 6 initial, 14433 maximal
1800.02/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.02/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.62	c   linear           :       0.00          0          0          0          0          0          7          0          0
1800.02/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   integral         :          0          0          0    1476385          0        514       1988          0          0    2947950
1800.02/1800.62	c   linear           :          6+         7    5398872          0          0     218989    3344600          0          0          0
1800.02/1800.62	c   logicor          :          0+         0    2259316          0          0       5727     805196          0          0          0
1800.02/1800.62	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.62	c   integral         :      19.13       0.00       0.00      19.13       0.00
1800.02/1800.62	c   linear           :     241.12       0.00     241.12       0.00       0.00
1800.02/1800.62	c   logicor          :     523.39       0.00     523.39       0.00       0.00
1800.02/1800.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.62	c   vbounds          :       2.58          2          0          0
1800.02/1800.62	c   rootredcost      :       2.70          0          0          0
1800.02/1800.62	c   pseudoobj        :       2.37          0          0          0
1800.02/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.62	c   propagation      :      22.16     224716     187802     647620       35.1         17       28.0          -
1800.02/1800.62	c   infeasible LP    :      46.00     682422     682407    1289014       23.5       6683       28.4          0
1800.02/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.62	c   applied globally :          -          -          -    1046914       21.1          -          -          -
1800.02/1800.62	c   applied locally  :          -          -          -     193882       33.6          -          -          -
1800.02/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.62	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 81)
1800.02/1800.62	c   redcost          :       3.94    1476383          0          0          0          0
1800.02/1800.62	c   impliedbounds    :       0.00          6          0          0          0          0
1800.02/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.62	c   gomory           :       0.01          6          0          0          0          0
1800.02/1800.62	c   strongcg         :       0.01          6          0          0         29          0
1800.02/1800.62	c   cmir             :       0.01          6          0          0         31          0
1800.02/1800.62	c   flowcover        :       0.02          6          0          0         39          0
1800.02/1800.62	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.62	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.62	c   rapidlearning    :       0.08          1          0          0          0         12
1800.02/1800.62	c Pricers            :       Time      Calls       Vars
1800.02/1800.62	c   problem variables:       0.00          0          0
1800.02/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   relpscost        :      16.86    1476385        514       1988          0          0    2947950
1800.02/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.62	c   LP solutions     :       0.00          -          0
1800.02/1800.62	c   pseudo solutions :       0.00          -          0
1800.02/1800.62	c   oneopt           :       2.06          0          0
1800.02/1800.62	c   crossover        :       1.65          0          0
1800.02/1800.62	c   guideddiving     :       0.19          0          0
1800.02/1800.62	c   fracdiving       :       0.21         46          0
1800.02/1800.62	c   linesearchdiving :       0.21         47          0
1800.02/1800.62	c   pscostdiving     :       0.19         47          0
1800.02/1800.62	c   veclendiving     :       0.17         47          0
1800.02/1800.62	c   coefdiving       :       0.15         47          0
1800.02/1800.62	c   feaspump         :       0.14         24          0
1800.02/1800.62	c   objpscostdiving  :       0.10         24          0
1800.02/1800.62	c   rootsoldiving    :       0.21         24          0
1800.02/1800.62	c   trivial          :       0.00          2          0
1800.02/1800.62	c   simplerounding   :       0.69          0          0
1800.02/1800.62	c   zirounding       :       1.36       1000          0
1800.02/1800.62	c   rounding         :       1.46      17250          0
1800.02/1800.62	c   shifting         :       3.46       5348          0
1800.02/1800.62	c   intshifting      :       0.10          0          0
1800.02/1800.62	c   twoopt           :       0.00          0          0
1800.02/1800.62	c   fixandinfer      :       0.00          0          0
1800.02/1800.62	c   intdiving        :       0.00          0          0
1800.02/1800.62	c   actconsdiving    :       0.00          0          0
1800.02/1800.62	c   octane           :       0.00          0          0
1800.02/1800.62	c   rens             :       0.02          1          0
1800.02/1800.62	c   rins             :       0.00          0          0
1800.02/1800.62	c   localbranching   :       0.00          0          0
1800.02/1800.62	c   mutation         :       0.00          0          0
1800.02/1800.62	c   dins             :       0.00          0          0
1800.02/1800.62	c   undercover       :       0.00          0          0
1800.02/1800.62	c   nlp              :       1.34          0          0
1800.02/1800.62	c   trysol           :       1.45          0          0
1800.02/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.62	c   dual LP          :     207.61    2110158    5492580       2.60   26456.24
1800.02/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.62	c   diving/probing LP:       0.15       1100       2176       1.98   14506.67
1800.02/1800.62	c   strong branching :       0.93       4622      21629       4.68   23256.99
1800.02/1800.62	c     (at root node) :          -          9        316      35.11          -
1800.02/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.62	c B&B Tree           :
1800.02/1800.62	c   number of runs   :          1
1800.02/1800.62	c   nodes            :    2342420
1800.02/1800.62	c   nodes (total)    :    2342420
1800.02/1800.62	c   nodes left       :     562795
1800.02/1800.62	c   max depth        :         45
1800.02/1800.62	c   max depth (total):         45
1800.02/1800.62	c   backtracks       :     275466 (11.8%)
1800.02/1800.62	c   delayed cutoffs  :      42736
1800.02/1800.62	c   repropagations   :    1870562 (1085905 domain reductions, 38653 cutoffs)
1800.02/1800.62	c   avg switch length:       5.12
1800.02/1800.62	c   switching time   :     388.63
1800.02/1800.62	c Solution           :
1800.02/1800.62	c   Solutions found  :          0 (0 improvements)
1800.02/1800.62	c   Primal Bound     :          -
1800.02/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.62	c   Gap              :   infinite
1800.02/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.62	c   Root Iterations  :        139

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-2666878-1276614942/watcher-2666878-1276614942 -o /tmp/evaluation-result-2666878-1276614942/solver-2666878-1276614942 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666878-1276614942.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.16 1.15 1.05 3/106 10185
/proc/meminfo: memFree=1520268/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=6696 CPUtime=0
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 1000 0 0 0 0 0 0 0 18 0 1 0 2786694 6856704 920 1992294400 4194304 8223781 140736472521440 18446744073709551615 7302042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10185/statm: 1931 930 348 984 0 944 0

[startup+0.024498 s]
/proc/loadavg: 1.16 1.15 1.05 3/106 10185
/proc/meminfo: memFree=1520268/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=11252 CPUtime=0.02
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 2753 0 0 0 1 1 0 0 18 0 1 0 2786694 11522048 1796 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 2813 1796 457 984 0 1826 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11252

[startup+0.101506 s]
/proc/loadavg: 1.16 1.15 1.05 3/106 10185
/proc/meminfo: memFree=1520268/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=19740 CPUtime=0.09
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 4917 0 0 0 7 2 0 0 18 0 1 0 2786694 20213760 3691 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 4935 3691 568 984 0 3948 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19740

[startup+0.300529 s]
/proc/loadavg: 1.16 1.15 1.05 3/106 10185
/proc/meminfo: memFree=1520268/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=13308 CPUtime=0.29
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 8165 0 0 0 24 5 0 0 18 0 1 0 2786694 13627392 2481 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 3327 2481 586 984 0 2340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13308

[startup+0.70057 s]
/proc/loadavg: 1.16 1.15 1.05 3/106 10185
/proc/meminfo: memFree=1520268/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=13308 CPUtime=0.69
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 8168 0 0 0 60 9 0 0 18 0 1 0 2786694 13627392 2484 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 3327 2484 588 984 0 2340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13308

[startup+1.50066 s]
/proc/loadavg: 1.16 1.15 1.05 2/107 10186
/proc/meminfo: memFree=1511952/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=14480 CPUtime=1.49
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 8456 0 0 0 131 18 0 0 19 0 1 0 2786694 14827520 2772 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 3620 2772 588 984 0 2633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14480

[startup+3.10083 s]
/proc/loadavg: 1.16 1.15 1.05 2/107 10186
/proc/meminfo: memFree=1510092/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=16784 CPUtime=3.09
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 9008 0 0 0 277 32 0 0 23 0 1 0 2786694 17186816 3324 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 4196 3324 588 984 0 3209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16784

[startup+6.30117 s]
/proc/loadavg: 1.15 1.15 1.05 2/107 10186
/proc/meminfo: memFree=1506992/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=19256 CPUtime=6.29
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 9620 0 0 0 572 57 0 0 25 0 1 0 2786694 19718144 3936 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 4814 3936 588 984 0 3827 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19256

[startup+12.7009 s]
/proc/loadavg: 1.14 1.15 1.04 2/107 10186
/proc/meminfo: memFree=1503644/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=22116 CPUtime=12.69
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 10344 0 0 0 1157 112 0 0 25 0 1 0 2786694 22646784 4660 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 5529 4660 588 984 0 4542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22116

[startup+25.5012 s]
/proc/loadavg: 1.11 1.14 1.04 2/107 10188
/proc/meminfo: memFree=1496700/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=28996 CPUtime=25.49
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 12093 0 0 0 2335 214 0 0 25 0 1 0 2786694 29691904 6409 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 7249 6409 588 984 0 6262 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28996

[startup+51.102 s]
/proc/loadavg: 1.07 1.13 1.04 2/107 10188
/proc/meminfo: memFree=1485416/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=40072 CPUtime=51.08
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 14896 0 0 0 4703 405 0 0 25 0 1 0 2786694 41033728 9212 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 10018 9212 588 984 0 9031 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40072

[startup+102.309 s]
/proc/loadavg: 1.03 1.11 1.04 2/107 10190
/proc/meminfo: memFree=1463592/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=61236 CPUtime=102.27
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 20255 0 0 0 9469 758 0 0 25 0 1 0 2786694 62705664 14571 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 15309 14571 588 984 0 14322 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61236

[startup+162.302 s]
/proc/loadavg: 1.01 1.08 1.03 2/107 10190
/proc/meminfo: memFree=1443132/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=83376 CPUtime=162.24
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 25299 0 0 0 15086 1138 0 0 25 0 1 0 2786694 85377024 19615 1992294400 4194304 8223781 140736472521440 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 20844 19615 588 984 0 19857 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83376

[startup+222.301 s]
/proc/loadavg: 1.00 1.07 1.02 2/107 10192
/proc/meminfo: memFree=1421432/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=104620 CPUtime=222.22
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 30702 0 0 0 20715 1507 0 0 25 0 1 0 2786694 107130880 25018 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 26155 25018 588 984 0 25168 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 104620

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 10194
/proc/meminfo: memFree=1403576/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=122348 CPUtime=282.2
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 35175 0 0 0 26376 1844 0 0 25 0 1 0 2786694 125284352 29491 1992294400 4194304 8223781 140736472521440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 30587 29491 588 984 0 29600 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 122348

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 10196
/proc/meminfo: memFree=1382248/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=143168 CPUtime=342.18
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 40442 0 0 0 32042 2176 0 0 25 0 1 0 2786694 146604032 34758 1992294400 4194304 8223781 140736472521440 18446744073709551615 4210104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 35792 34758 588 984 0 34805 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 143168

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 10198
/proc/meminfo: memFree=1366004/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=159704 CPUtime=402.17
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 44624 0 0 0 37713 2504 0 0 25 0 1 0 2786694 163536896 38940 1992294400 4194304 8223781 140736472521440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 39926 38940 588 984 0 38939 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 159704

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10198
/proc/meminfo: memFree=1348396/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=176256 CPUtime=462.14
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 48855 0 0 0 43386 2828 0 0 25 0 1 0 2786694 180486144 43171 1992294400 4194304 8223781 140736472521440 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 44064 43171 588 984 0 43077 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 176256

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10200
/proc/meminfo: memFree=1331656/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=196816 CPUtime=522.12
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 53015 0 0 0 49075 3137 0 0 25 0 1 0 2786694 201539584 47331 1992294400 4194304 8223781 140736472521440 18446744073709551615 4208935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 49204 47331 588 984 0 48217 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 196816

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10202
/proc/meminfo: memFree=1318264/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=210180 CPUtime=582.1
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 56397 0 0 0 54758 3452 0 0 25 0 1 0 2786694 215224320 50713 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 52545 50713 588 984 0 51558 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 210180

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10204
/proc/meminfo: memFree=1304872/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=222612 CPUtime=642.09
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 59616 0 0 0 60459 3750 0 0 25 0 1 0 2786694 227954688 53932 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 55653 53932 588 984 0 54666 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 222612

[startup+702.301 s]

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

/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 82400 0 0 0 94708 5487 0 0 25 0 1 0 2786694 320008192 76716 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 78127 76716 588 984 0 77140 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 312508

[startup+1062.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 10217
/proc/meminfo: memFree=1197116/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=327424 CPUtime=1061.94
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 86230 0 0 0 100406 5788 0 0 25 0 1 0 2786694 335282176 80546 1992294400 4194304 8223781 140736472521440 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 81856 80546 588 984 0 80869 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 327424

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10219
/proc/meminfo: memFree=1181988/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=342320 CPUtime=1121.92
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 89986 0 0 0 106100 6092 0 0 25 0 1 0 2786694 350535680 84302 1992294400 4194304 8223781 140736472521440 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 85580 84302 588 984 0 84593 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 342320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10221
/proc/meminfo: memFree=1169588/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=354752 CPUtime=1181.89
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 93200 0 0 0 111830 6359 0 0 25 0 1 0 2786694 363266048 87516 1992294400 4194304 8223781 140736472521440 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 88688 87516 588 984 0 87701 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 354752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10223
/proc/meminfo: memFree=1149748/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=373652 CPUtime=1241.88
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 98028 0 0 0 117557 6631 0 0 25 0 1 0 2786694 382619648 92344 1992294400 4194304 8223781 140736472521440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 93413 92344 588 984 0 92426 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 373652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10225
/proc/meminfo: memFree=1138340/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=384628 CPUtime=1301.87
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 100860 0 0 0 123299 6888 0 0 25 0 1 0 2786694 393859072 95176 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 96157 95176 588 984 0 95170 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 384628

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10225
/proc/meminfo: memFree=1125444/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=397152 CPUtime=1361.85
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 104078 0 0 0 129027 7158 0 0 25 0 1 0 2786694 406683648 98394 1992294400 4194304 8223781 140736472521440 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 99288 98394 588 984 0 98301 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 397152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1113044/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=418348 CPUtime=1421.83
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 107178 0 0 0 134764 7419 0 0 25 0 1 0 2786694 428388352 101494 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 104587 101494 588 984 0 103600 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 418348

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10229
/proc/meminfo: memFree=1102752/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=428120 CPUtime=1481.8
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 109708 0 0 0 140489 7691 0 0 25 0 1 0 2786694 438394880 104024 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 107030 104024 588 984 0 106043 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 428120

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10231
/proc/meminfo: memFree=1087996/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=442324 CPUtime=1541.79
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 113380 0 0 0 146222 7957 0 0 25 0 1 0 2786694 452939776 107696 1992294400 4194304 8223781 140736472521440 18446744073709551615 4977182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 110581 107696 588 984 0 109594 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 442324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10233
/proc/meminfo: memFree=1078324/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=451960 CPUtime=1601.77
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 115781 0 0 0 151971 8206 0 0 25 0 1 0 2786694 462807040 110097 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 112990 110097 588 984 0 112003 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 451960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10233
/proc/meminfo: memFree=1065552/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=464524 CPUtime=1661.75
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 118999 0 0 0 157726 8449 0 0 25 0 1 0 2786694 475672576 113315 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 116131 113315 588 984 0 115144 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 464524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10235
/proc/meminfo: memFree=1053896/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=476576 CPUtime=1721.73
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 121946 0 0 0 163464 8709 0 0 25 0 1 0 2786694 488013824 116262 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 119144 116262 588 984 0 118157 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 476576

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10237
/proc/meminfo: memFree=1036288/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=493108 CPUtime=1781.72
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 126136 0 0 0 169195 8977 0 0 25 0 1 0 2786694 504942592 120452 1992294400 4194304 8223781 140736472521440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 123277 120452 588 984 0 122290 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 493108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10237
/proc/meminfo: memFree=1033436/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=495912 CPUtime=1800.02
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 126858 0 0 0 170951 9051 0 0 25 0 1 0 2786694 507813888 121174 1992294400 4194304 8223781 140736472521440 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10185/statm: 123978 121174 588 984 0 122991 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 495912

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10185

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10237
/proc/meminfo: memFree=1033436/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=495912 CPUtime=1800.8
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 126859 0 0 0 171029 9051 0 0 25 0 1 0 2786694 507813888 121175 1992294400 4194304 8223781 140736472521440 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10185/statm: 123978 121175 589 984 0 122991 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 495912

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10238
/proc/meminfo: memFree=1033428/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=495912 CPUtime=1801.6
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 126859 0 0 0 171109 9051 0 0 25 0 1 0 2786694 507813888 121175 1992294400 4194304 8223781 140736472521440 18446744073709551615 4616635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10185/statm: 123978 121175 589 984 0 122991 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 495912

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10238
/proc/meminfo: memFree=1033428/2059040 swapFree=4192956/4192956
[pid=10185] ppid=10183 vsize=495912 CPUtime=1802
/proc/10185/stat : 10185 (pbscip.linux.x8) R 10183 10185 9348 0 -1 4202496 126859 0 0 0 171149 9051 0 0 25 0 1 0 2786694 507813888 121175 1992294400 4194304 8223781 140736472521440 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10185/statm: 123978 121175 589 984 0 122991 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 495912

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.08
CPU user time (s): 1711.51
CPU system time (s): 90.5632
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 495912

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

runsolver used 2.98955 second user time and 8.5177 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-15 17:15:42
IDJOB=2666878
IDBENCH=2919
IDSOLVER=1169
FILE ID=node042/2666878-1276614942
PBS_JOBID= 11172257
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2666878-1276614942/watcher-2666878-1276614942 -o /tmp/evaluation-result-2666878-1276614942/solver-2666878-1276614942 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666878-1276614942.opb -t 1800 -m 1800

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=27791210

node042.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1520920 kB
Buffers:         67240 kB
Cached:         343964 kB
SwapCached:          0 kB
Active:         197632 kB
Inactive:       273016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1520920 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4492 kB
Writeback:           0 kB
AnonPages:       59396 kB
Mapped:          15508 kB
Slab:            45732 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183864 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= 62576 MiB
End job on node042 at 2010-06-15 17:45:45