Trace number 2663498

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.21 1802.65

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
MD5SUMb437bd5db918ab114396d43dfca73285
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663498-1276683810.opb>
0.00/0.04	c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.00/0.04	c problem read
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.04	c presolving settings loaded
0.00/0.05	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.06/0.08	c presolving:
0.29/0.31	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24792 impls, 200 clqs
0.49/0.50	c presolving (2 rounds):
0.49/0.50	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50	c  24792 implications, 200 cliques
0.49/0.50	c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.49/0.50	c       1 constraints of type <knapsack>
0.49/0.50	c     200 constraints of type <setppc>
0.49/0.50	c    3074 constraints of type <and>
0.49/0.50	c       1 constraints of type <linear>
0.49/0.50	c     100 constraints of type <logicor>
0.49/0.50	c transformed objective value is always integral (scale: 1)
0.49/0.50	c Presolving Time: 0.23
0.49/0.50	c - non default parameters ----------------------------------------------------------------------
0.49/0.50	c # SCIP version 1.2.1.2
0.49/0.50	c 
0.49/0.50	c # frequency for displaying node information lines
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50	c display/freq = 10000
0.49/0.50	c 
0.49/0.50	c # maximal time in seconds to run
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/time = 1799.97
0.49/0.50	c 
0.49/0.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/memory = 1620
0.49/0.50	c 
0.49/0.50	c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c limits/solutions = 1
0.49/0.50	c 
0.49/0.50	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c lp/solvefreq = -1
0.49/0.50	c 
0.49/0.50	c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50	c separating/maxrounds = 1
0.49/0.50	c 
0.49/0.50	c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c separating/maxroundsroot = 5
0.49/0.50	c 
0.49/0.50	c # should presolving try to simplify inequalities
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50	c constraints/linear/simplifyinequalities = TRUE
0.49/0.50	c 
0.49/0.50	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50	c constraints/knapsack/disaggregation = FALSE
0.49/0.50	c 
0.49/0.50	c # should presolving try to simplify knapsacks
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50	c 
0.49/0.50	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c presolving/probing/maxrounds = 0
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/coefdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50	c heuristics/crossover/freq = -1
0.49/0.50	c 
0.49/0.50	c # number of nodes added to the contingent of the total nodes
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50	c heuristics/crossover/nodesofs = 750
0.49/0.50	c 
0.49/0.50	c # number of nodes without incumbent change that heuristic should wait
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50	c heuristics/crossover/nwaitingnodes = 100
0.49/0.50	c 
0.49/0.50	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50	c # [type: real, range: [0,1], default: 0.1]
0.49/0.50	c heuristics/crossover/nodesquot = 0.15
0.49/0.50	c 
0.49/0.50	c # minimum percentage of integer variables that have to be fixed 
0.49/0.50	c # [type: real, range: [0,1], default: 0.666]
0.49/0.50	c heuristics/crossover/minfixingrate = 0.5
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/feaspump/freq = -1
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/fracdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/guideddiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/intshifting/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/linesearchdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/nlp/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/objpscostdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50	c # [type: real, range: [0,1], default: 0.01]
0.49/0.50	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/oneopt/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/pscostdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c heuristics/rens/freq = -1
0.49/0.50	c 
0.49/0.50	c # minimum percentage of integer variables that have to be fixable 
0.49/0.50	c # [type: real, range: [0,1], default: 0.5]
0.49/0.50	c heuristics/rens/minfixingrate = 0.3
0.49/0.50	c 
0.49/0.50	c # number of nodes added to the contingent of the total nodes
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50	c heuristics/rens/nodesofs = 2000
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/rootsoldiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/rounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/shifting/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/simplerounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c heuristics/trivial/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/trysol/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/veclendiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/zirounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c separating/cmir/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c separating/flowcover/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c separating/rapidlearning/freq = 0
0.49/0.50	c 
0.49/0.50	c -----------------------------------------------------------------------------------------------
0.49/0.50	c start solving
0.49/0.50	c 
0.49/0.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.51	c   0.2s|     1 |     2 |     0 |     - |8767k|   0 |   - |3274 |3376 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.37	c   9.8s| 10000 |  9312 |     0 |   0.0 |  22M| 179 |   - |3274 |3888 |   0 |   0 |   0 | 638 |   0 | 0.000000e+00 |      --      |    Inf 
23.78/23.86	c  22.9s| 20000 | 18382 |     0 |   0.0 |  37M| 179 |   - |3274 |3971 |   0 |   0 |   0 |1537 |   0 | 0.000000e+00 |      --      |    Inf 
37.39/37.48	c  36.1s| 30000 | 27913 |     0 |   0.0 |  52M| 179 |   - |3274 |4152 |   0 |   0 |   0 |2099 |   0 | 0.000000e+00 |      --      |    Inf 
50.38/50.47	c  48.8s| 40000 | 37439 |     0 |   0.0 |  68M| 179 |   - |3274 |4219 |   0 |   0 |   0 |2694 |   0 | 0.000000e+00 |      --      |    Inf 
62.87/62.91	c  60.9s| 50000 | 46980 |     0 |   0.0 |  83M| 179 |   - |3274 |4305 |   0 |   0 |   0 |3207 |   0 | 0.000000e+00 |      --      |    Inf 
74.68/74.80	c  72.5s| 60000 | 56501 |     0 |   0.0 |  98M| 179 |   - |3274 |4339 |   0 |   0 |   0 |3675 |   0 | 0.000000e+00 |      --      |    Inf 
86.17/86.26	c  83.6s| 70000 | 65983 |     0 |   0.0 | 113M| 179 |   - |3274 |4503 |   0 |   0 |   0 |4295 |   0 | 0.000000e+00 |      --      |    Inf 
97.16/97.20	c  94.3s| 80000 | 75528 |     0 |   0.0 | 128M| 179 |   - |3274 |4570 |   0 |   0 |   0 |4786 |   0 | 0.000000e+00 |      --      |    Inf 
107.97/108.04	c   105s| 90000 | 84965 |     0 |   0.0 | 143M| 179 |   - |3274 |4751 |   0 |   0 |   0 |5516 |   0 | 0.000000e+00 |      --      |    Inf 
118.56/118.64	c   115s|100000 | 94384 |     0 |   0.0 | 157M| 179 |   - |3274 |4934 |   0 |   0 |   0 |6160 |   0 | 0.000000e+00 |      --      |    Inf 
129.06/129.18	c   125s|110000 |103757 |     0 |   0.0 | 172M| 179 |   - |3274 |4931 |   0 |   0 |   0 |6866 |   0 | 0.000000e+00 |      --      |    Inf 
138.86/138.98	c   135s|120000 |113156 |     0 |   0.0 | 187M| 179 |   - |3274 |5026 |   0 |   0 |   0 |7518 |   0 | 0.000000e+00 |      --      |    Inf 
148.86/148.96	c   144s|130000 |122540 |     0 |   0.0 | 201M| 179 |   - |3274 |5113 |   0 |   0 |   0 |8138 |   0 | 0.000000e+00 |      --      |    Inf 
158.26/158.34	c   154s|140000 |131977 |     0 |   0.0 | 216M| 179 |   - |3274 |5124 |   0 |   0 |   0 |8709 |   0 | 0.000000e+00 |      --      |    Inf 
167.55/167.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
167.55/167.68	c   163s|150000 |141312 |     0 |   0.0 | 230M| 179 |   - |3274 |5315 |   0 |   0 |   0 |9483 |   0 | 0.000000e+00 |      --      |    Inf 
176.84/176.91	c   172s|160000 |150597 |     0 |   0.0 | 244M| 179 |   - |3274 |5275 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
186.04/186.10	c   180s|170000 |159814 |     0 |   0.0 | 258M| 179 |   - |3274 |5389 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
194.74/194.89	c   189s|180000 |169063 |     0 |   0.0 | 272M| 179 |   - |3274 |5566 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
203.74/203.84	c   198s|190000 |178231 |     0 |   0.0 | 286M| 179 |   - |3274 |5595 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
212.44/212.57	c   206s|200000 |187318 |     0 |   0.0 | 300M| 179 |   - |3274 |5824 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
221.05/221.12	c   214s|210000 |196389 |     0 |   0.0 | 314M| 179 |   - |3274 |5940 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
229.63/229.72	c   222s|220000 |205386 |     0 |   0.0 | 328M| 179 |   - |3274 |6158 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
238.54/238.66	c   231s|230000 |214206 |     0 |   0.0 | 342M| 179 |   - |3274 |6446 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
247.53/247.67	c   240s|240000 |222902 |     0 |   0.0 | 356M| 179 |   - |3274 |6617 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
256.73/256.86	c   249s|250000 |231447 |     0 |   0.0 | 371M| 179 |   - |3274 |6893 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
265.92/266.05	c   258s|260000 |239905 |     0 |   0.0 | 385M| 179 |   - |3274 |7066 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
275.32/275.48	c   267s|270000 |248135 |     0 |   0.0 | 399M| 179 |   - |3274 |7407 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
285.12/285.23	c   276s|280000 |256020 |     0 |   0.0 | 412M| 179 |   - |3274 |7731 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
295.02/295.13	c   286s|290000 |263204 |     0 |   0.0 | 425M| 179 |   - |3274 |8131 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
305.12/305.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
305.12/305.25	c   295s|300000 |268877 |     0 |   0.0 | 434M| 179 |   - |3274 |8696 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
315.81/315.96	c   306s|310000 |272679 |     0 |   0.0 | 440M| 179 |   - |3274 |9464 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
326.81/326.98	c   316s|320000 |274603 |     0 |   0.0 | 444M| 179 |   - |3274 |9804 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
340.11/340.28	c   329s|330000 |277690 |     0 |   0.0 | 446M| 179 |   - |3274 |7548 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
356.60/356.72	c   345s|340000 |287115 |     0 |   0.0 | 464M| 179 |   - |3274 |6176 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
371.31/371.42	c   360s|350000 |296630 |     0 |   0.0 | 480M| 179 |   - |3274 |5572 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
385.40/385.57	c   374s|360000 |306140 |     0 |   0.0 | 496M| 179 |   - |3274 |5385 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
399.20/399.34	c   387s|370000 |315639 |     0 |   0.0 | 512M| 179 |   - |3274 |5196 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
412.89/413.10	c   401s|380000 |325220 |     0 |   0.0 | 528M| 179 |   - |3274 |4981 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
426.49/426.63	c   414s|390000 |334775 |     0 |   0.0 | 544M| 179 |   - |3274 |4990 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
440.18/440.31	c   427s|400000 |344368 |     0 |   0.0 | 560M| 179 |   - |3274 |4897 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
453.38/453.55	c   440s|410000 |353947 |     0 |   0.0 | 576M| 179 |   - |3274 |4914 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
467.08/467.28	c   454s|420000 |363444 |     0 |   0.0 | 591M| 179 |   - |3274 |4917 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
480.59/480.73	c   467s|430000 |373014 |     0 |   0.0 | 607M| 179 |   - |3274 |4859 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
493.77/493.92	c   480s|440000 |382567 |     0 |   0.0 | 623M| 179 |   - |3274 |4909 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
507.27/507.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
507.27/507.45	c   493s|450000 |392088 |     0 |   0.0 | 639M| 179 |   - |3274 |4850 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
520.07/520.29	c   505s|460000 |401598 |     0 |   0.0 | 654M| 179 |   - |3274 |4835 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
532.76/532.94	c   518s|470000 |411122 |     0 |   0.0 | 668M| 179 |   - |3274 |4783 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
544.86/545.02	c   529s|480000 |420734 |     0 |   0.0 | 684M| 179 |   - |3274 |4683 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
557.56/557.75	c   542s|490000 |430247 |     0 |   0.0 | 698M| 179 |   - |3274 |4728 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
570.55/570.74	c   554s|500000 |439707 |     0 |   0.0 | 714M| 179 |   - |3274 |4777 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
582.95/583.11	c   567s|510000 |449323 |     0 |   0.0 | 728M| 179 |   - |3274 |4760 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
594.75/594.91	c   578s|520000 |458899 |     0 |   0.0 | 743M| 179 |   - |3274 |4861 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
606.95/607.11	c   590s|530000 |468459 |     0 |   0.0 | 758M| 179 |   - |3274 |4745 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
618.84/619.09	c   602s|540000 |477988 |     0 |   0.0 | 772M| 179 |   - |3274 |4873 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
631.04/631.23	c   613s|550000 |487531 |     0 |   0.0 | 787M| 179 |   - |3274 |4858 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
642.94/643.19	c   625s|560000 |497103 |     0 |   0.0 | 802M| 179 |   - |3274 |4779 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
654.73/654.98	c   637s|570000 |506689 |     0 |   0.0 | 816M| 179 |   - |3274 |4860 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
666.23/666.49	c   648s|580000 |516309 |     0 |   0.0 | 831M| 179 |   - |3274 |4822 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
678.53/678.72	c   660s|590000 |525840 |     0 |   0.0 | 846M| 179 |   - |3274 |4900 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
690.53/690.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
690.53/690.79	c   671s|600000 |535368 |     0 |   0.0 | 860M| 179 |   - |3274 |4949 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
703.12/703.38	c   684s|610000 |544783 |     0 |   0.0 | 875M| 179 |   - |3274 |5098 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
715.42/715.64	c   696s|620000 |554323 |     0 |   0.0 | 890M| 179 |   - |3274 |4937 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
727.21/727.46	c   707s|630000 |563883 |     0 |   0.0 | 904M| 179 |   - |3274 |4925 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
739.02/739.25	c   719s|640000 |573454 |     0 |   0.0 | 919M| 179 |   - |3274 |4944 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
751.01/751.28	c   730s|650000 |582980 |     0 |   0.0 | 934M| 179 |   - |3274 |4943 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
762.80/763.01	c   742s|660000 |592557 |     0 |   0.0 | 949M| 179 |   - |3274 |4938 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
774.60/774.80	c   753s|670000 |602062 |     0 |   0.0 | 963M| 179 |   - |3274 |5032 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
787.10/787.33	c   765s|680000 |611503 |     0 |   0.0 | 978M| 179 |   - |3274 |5052 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
799.09/799.30	c   777s|690000 |621034 |     0 |   0.0 | 992M| 179 |   - |3274 |5008 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
811.09/811.30	c   789s|700000 |630555 |     0 |   0.0 |1007M| 179 |   - |3274 |4987 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
823.60/823.81	c   801s|710000 |639941 |     0 |   0.0 |1021M| 179 |   - |3274 |5066 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
835.69/835.97	c   813s|720000 |649435 |     0 |   0.0 |1036M| 179 |   - |3274 |4926 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
847.48/847.74	c   824s|730000 |658945 |     0 |   0.0 |1050M| 179 |   - |3274 |4943 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
859.09/859.33	c   835s|740000 |668510 |     0 |   0.0 |1064M| 179 |   - |3274 |4975 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
870.89/871.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
870.89/871.16	c   847s|750000 |677997 |     0 |   0.0 |1079M| 179 |   - |3274 |5049 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
882.47/882.74	c   858s|760000 |687472 |     0 |   0.0 |1093M| 179 |   - |3274 |5105 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
894.57/894.88	c   870s|770000 |696893 |     0 |   0.0 |1108M| 179 |   - |3274 |5120 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
906.78/907.03	c   882s|780000 |706302 |     0 |   0.0 |1123M| 179 |   - |3274 |5159 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
918.47/918.73	c   893s|790000 |715734 |     0 |   0.0 |1137M| 179 |   - |3274 |5275 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
929.97/930.27	c   904s|800000 |725268 |     0 |   0.0 |1152M| 179 |   - |3274 |5228 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
942.16/942.44	c   916s|810000 |734680 |     0 |   0.0 |1167M| 179 |   - |3274 |5294 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
954.26/954.56	c   928s|820000 |744116 |     0 |   0.0 |1181M| 179 |   - |3274 |5305 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
965.65/965.94	c   939s|830000 |753576 |     0 |   0.0 |1196M| 179 |   - |3274 |5397 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
978.66/978.95	c   952s|840000 |762916 |     0 |   0.0 |1210M| 179 |   - |3274 |5396 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
990.65/990.94	c   964s|850000 |772430 |     0 |   0.0 |1225M| 179 |   - |3274 |5284 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1002.65/1002.92	c   975s|860000 |781850 |     0 |   0.0 |1240M| 179 |   - |3274 |5335 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1013.75/1014.08	c   986s|870000 |791365 |     0 |   0.0 |1254M| 179 |   - |3274 |5305 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1025.64/1025.92	c   998s|880000 |800760 |     0 |   0.0 |1269M| 179 |   - |3274 |5445 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1037.54/1037.83	c  1009s|890000 |810219 |     0 |   0.0 |1284M| 179 |   - |3274 |5407 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1049.33/1049.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1049.33/1049.62	c  1021s|900000 |819680 |     0 |   0.0 |1299M| 179 |   - |3274 |5454 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1061.33/1061.62	c  1032s|910000 |829101 |     0 |   0.0 |1313M| 179 |   - |3274 |5436 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
1072.93/1073.22	c  1044s|920000 |838577 |     0 |   0.0 |1328M| 179 |   - |3274 |5457 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
1084.82/1085.17	c  1055s|930000 |847968 |     0 |   0.0 |1343M| 179 |   - |3274 |5494 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
1096.82/1097.16	c  1067s|940000 |857396 |     0 |   0.0 |1357M| 179 |   - |3274 |5476 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
1097.63/1097.93	c (node 940695) switching to memory saving mode (mem: 1296.0M/1620.0M)
1104.13/1104.45	c  1074s|950000 |857994 |     0 |   0.0 |1360M| 179 |   - |3274 |6612 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
1111.22/1111.51	c  1081s|960000 |857965 |     0 |   0.0 |1360M| 179 |   - |3274 |6685 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 |      --      |    Inf 
1118.72/1119.00	c  1088s|970000 |857958 |     0 |   0.0 |1362M| 179 |   - |3274 |7520 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
1125.82/1126.13	c  1095s|980000 |857941 |     0 |   0.0 |1361M| 179 |   - |3274 |7124 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
1133.72/1134.01	c  1102s|990000 |857928 |     0 |   0.0 |1361M| 179 |   - |3274 |6910 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
1141.22/1141.59	c  1109s|  1000k|857917 |     0 |   0.0 |1360M| 179 |   - |3274 |6615 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
1149.12/1149.40	c  1117s|  1010k|857910 |     0 |   0.0 |1361M| 179 |   - |3274 |7213 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
1157.11/1157.42	c  1125s|  1020k|857902 |     0 |   0.0 |1361M| 179 |   - |3274 |7191 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
1165.11/1165.47	c  1132s|  1030k|857895 |     0 |   0.0 |1362M| 179 |   - |3274 |7491 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
1172.70/1173.00	c  1140s|  1040k|857888 |     0 |   0.0 |1361M| 179 |   - |3274 |7218 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
1180.21/1180.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1180.21/1180.57	c  1147s|  1050k|857885 |     0 |   0.0 |1361M| 179 |   - |3274 |7216 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
1187.90/1188.28	c  1154s|  1060k|857886 |     0 |   0.0 |1362M| 179 |   - |3274 |7804 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
1195.80/1196.15	c  1162s|  1070k|857873 |     0 |   0.0 |1361M| 179 |   - |3274 |6965 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
1203.50/1203.82	c  1169s|  1080k|857866 |     0 |   0.0 |1362M| 179 |   - |3274 |7599 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
1211.70/1212.02	c  1177s|  1090k|857846 |     0 |   0.0 |1362M| 179 |   - |3274 |7586 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
1219.19/1219.59	c  1184s|  1100k|857851 |     0 |   0.0 |1362M| 179 |   - |3274 |7655 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
1226.70/1227.00	c  1192s|  1110k|857848 |     0 |   0.0 |1362M| 179 |   - |3274 |7442 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
1234.90/1235.22	c  1199s|  1120k|857847 |     0 |   0.0 |1361M| 179 |   - |3274 |7353 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
1242.79/1243.16	c  1207s|  1130k|857840 |     0 |   0.0 |1362M| 179 |   - |3274 |7414 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
1251.09/1251.40	c  1215s|  1140k|857838 |     0 |   0.0 |1362M| 179 |   - |3274 |7698 |   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
1259.20/1259.52	c  1223s|  1150k|857839 |     0 |   0.0 |1362M| 179 |   - |3274 |7655 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
1266.89/1267.26	c  1230s|  1160k|857834 |     0 |   0.0 |1361M| 179 |   - |3274 |6929 |   0 |   0 |   0 | 183k|   0 | 0.000000e+00 |      --      |    Inf 
1274.98/1275.34	c  1238s|  1170k|857825 |     0 |   0.0 |1362M| 179 |   - |3274 |7555 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 |      --      |    Inf 
1283.68/1284.00	c  1246s|  1180k|857821 |     0 |   0.0 |1363M| 179 |   - |3274 |8076 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 |      --      |    Inf 
1291.18/1291.50	c  1254s|  1190k|857821 |     0 |   0.0 |1363M| 179 |   - |3274 |8134 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
1299.08/1299.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1299.08/1299.45	c  1261s|  1200k|857821 |     0 |   0.0 |1362M| 179 |   - |3274 |7718 |   0 |   0 |   0 | 203k|   0 | 0.000000e+00 |      --      |    Inf 
1307.58/1307.91	c  1269s|  1210k|857804 |     0 |   0.0 |1361M| 179 |   - |3274 |7151 |   0 |   0 |   0 | 207k|   0 | 0.000000e+00 |      --      |    Inf 
1316.27/1316.64	c  1278s|  1220k|857796 |     0 |   0.0 |1363M| 179 |   - |3274 |8210 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
1325.27/1325.65	c  1287s|  1230k|857785 |     0 |   0.0 |1362M| 179 |   - |3274 |7907 |   0 |   0 |   0 | 216k|   0 | 0.000000e+00 |      --      |    Inf 
1333.88/1334.22	c  1295s|  1240k|857778 |     0 |   0.0 |1362M| 179 |   - |3274 |7596 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
1342.07/1342.48	c  1303s|  1250k|857761 |     0 |   0.0 |1361M| 179 |   - |3274 |7223 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
1350.17/1350.50	c  1311s|  1260k|857760 |     0 |   0.0 |1362M| 179 |   - |3274 |7590 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1357.67/1358.07	c  1318s|  1270k|857761 |     0 |   0.0 |1362M| 179 |   - |3274 |7847 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
1364.96/1365.33	c  1325s|  1280k|857761 |     0 |   0.0 |1362M| 179 |   - |3274 |7437 |   0 |   0 |   0 | 238k|   0 | 0.000000e+00 |      --      |    Inf 
1372.47/1372.81	c  1332s|  1290k|857755 |     0 |   0.0 |1362M| 179 |   - |3274 |7809 |   0 |   0 |   0 | 242k|   0 | 0.000000e+00 |      --      |    Inf 
1381.06/1381.45	c  1340s|  1300k|857738 |     0 |   0.0 |1361M| 179 |   - |3274 |6849 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
1389.05/1389.41	c  1348s|  1310k|857737 |     0 |   0.0 |1361M| 179 |   - |3274 |7347 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1397.05/1397.41	c  1356s|  1320k|857737 |     0 |   0.0 |1362M| 179 |   - |3274 |7612 |   0 |   0 |   0 | 257k|   0 | 0.000000e+00 |      --      |    Inf 
1405.46/1405.85	c  1364s|  1330k|857723 |     0 |   0.0 |1363M| 179 |   - |3274 |8332 |   0 |   0 |   0 | 263k|   0 | 0.000000e+00 |      --      |    Inf 
1414.16/1414.57	c  1372s|  1340k|857725 |     0 |   0.0 |1363M| 179 |   - |3274 |8397 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
1422.75/1423.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1422.75/1423.19	c  1381s|  1350k|857724 |     0 |   0.0 |1363M| 179 |   - |3274 |8175 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1430.75/1431.16	c  1388s|  1360k|857721 |     0 |   0.0 |1364M| 179 |   - |3274 |8689 |   0 |   0 |   0 | 274k|   0 | 0.000000e+00 |      --      |    Inf 
1439.45/1439.86	c  1397s|  1370k|857715 |     0 |   0.0 |1363M| 179 |   - |3274 |8188 |   0 |   0 |   0 | 281k|   0 | 0.000000e+00 |      --      |    Inf 
1447.64/1448.10	c  1405s|  1380k|857715 |     0 |   0.0 |1363M| 179 |   - |3274 |8574 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1456.54/1456.93	c  1413s|  1390k|857707 |     0 |   0.0 |1363M| 179 |   - |3274 |8478 |   0 |   0 |   0 | 289k|   0 | 0.000000e+00 |      --      |    Inf 
1466.33/1466.76	c  1423s|  1400k|857702 |     0 |   0.0 |1363M| 179 |   - |3274 |8338 |   0 |   0 |   0 | 294k|   0 | 0.000000e+00 |      --      |    Inf 
1475.14/1475.51	c  1431s|  1410k|857701 |     0 |   0.0 |1364M| 179 |   - |3274 |8786 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 |      --      |    Inf 
1484.54/1484.90	c  1440s|  1420k|857703 |     0 |   0.0 |1364M| 179 |   - |3274 |8993 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 |      --      |    Inf 
1493.53/1493.92	c  1449s|  1430k|857701 |     0 |   0.0 |1364M| 179 |   - |3274 |9263 |   0 |   0 |   0 | 306k|   0 | 0.000000e+00 |      --      |    Inf 
1502.62/1503.03	c  1458s|  1440k|857684 |     0 |   0.0 |1362M| 179 |   - |3274 |7761 |   0 |   0 |   0 | 312k|   0 | 0.000000e+00 |      --      |    Inf 
1511.03/1511.47	c  1466s|  1450k|857687 |     0 |   0.0 |1363M| 179 |   - |3274 |8422 |   0 |   0 |   0 | 316k|   0 | 0.000000e+00 |      --      |    Inf 
1519.12/1519.52	c  1474s|  1460k|857687 |     0 |   0.0 |1362M| 179 |   - |3274 |7997 |   0 |   0 |   0 | 319k|   0 | 0.000000e+00 |      --      |    Inf 
1527.22/1527.65	c  1482s|  1470k|857688 |     0 |   0.0 |1362M| 179 |   - |3274 |7993 |   0 |   0 |   0 | 322k|   0 | 0.000000e+00 |      --      |    Inf 
1535.62/1536.02	c  1490s|  1480k|857686 |     0 |   0.0 |1363M| 179 |   - |3274 |8108 |   0 |   0 |   0 | 325k|   0 | 0.000000e+00 |      --      |    Inf 
1544.32/1544.71	c  1498s|  1490k|857677 |     0 |   0.0 |1363M| 179 |   - |3274 |8167 |   0 |   0 |   0 | 331k|   0 | 0.000000e+00 |      --      |    Inf 
1553.31/1553.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1553.31/1553.76	c  1507s|  1500k|857678 |     0 |   0.0 |1364M| 179 |   - |3274 |8987 |   0 |   0 |   0 | 335k|   0 | 0.000000e+00 |      --      |    Inf 
1561.31/1561.78	c  1515s|  1510k|857678 |     0 |   0.0 |1363M| 179 |   - |3274 |8581 |   0 |   0 |   0 | 338k|   0 | 0.000000e+00 |      --      |    Inf 
1569.61/1570.09	c  1523s|  1520k|857670 |     0 |   0.0 |1363M| 179 |   - |3274 |8188 |   0 |   0 |   0 | 342k|   0 | 0.000000e+00 |      --      |    Inf 
1579.00/1579.46	c  1532s|  1530k|857661 |     0 |   0.0 |1365M| 179 |   - |3274 |9482 |   0 |   0 |   0 | 349k|   0 | 0.000000e+00 |      --      |    Inf 
1589.50/1589.93	c  1542s|  1540k|857659 |     0 |   0.0 |1366M| 179 |   - |3274 |  10k|   0 |   0 |   0 | 356k|   0 | 0.000000e+00 |      --      |    Inf 
1599.80/1600.21	c  1552s|  1550k|857661 |     0 |   0.0 |1367M| 179 |   - |3274 |  11k|   0 |   0 |   0 | 361k|   0 | 0.000000e+00 |      --      |    Inf 
1609.00/1609.40	c  1561s|  1560k|857630 |     0 |   0.0 |1365M| 179 |   - |3274 |9253 |   0 |   0 |   0 | 368k|   0 | 0.000000e+00 |      --      |    Inf 
1617.90/1618.39	c  1569s|  1570k|857628 |     0 |   0.0 |1366M| 179 |   - |3274 |9903 |   0 |   0 |   0 | 373k|   0 | 0.000000e+00 |      --      |    Inf 
1627.30/1627.73	c  1578s|  1580k|857629 |     0 |   0.0 |1365M| 179 |   - |3274 |9443 |   0 |   0 |   0 | 378k|   0 | 0.000000e+00 |      --      |    Inf 
1636.40/1636.81	c  1587s|  1590k|857629 |     0 |   0.0 |1366M| 179 |   - |3274 |9975 |   0 |   0 |   0 | 382k|   0 | 0.000000e+00 |      --      |    Inf 
1645.59/1646.04	c  1596s|  1600k|857630 |     0 |   0.0 |1365M| 179 |   - |3274 |9630 |   0 |   0 |   0 | 386k|   0 | 0.000000e+00 |      --      |    Inf 
1654.59/1655.03	c  1605s|  1610k|857630 |     0 |   0.0 |1365M| 179 |   - |3274 |9621 |   0 |   0 |   0 | 389k|   0 | 0.000000e+00 |      --      |    Inf 
1663.69/1664.19	c  1614s|  1620k|857629 |     0 |   0.0 |1365M| 179 |   - |3274 |9625 |   0 |   0 |   0 | 394k|   0 | 0.000000e+00 |      --      |    Inf 
1672.59/1673.06	c  1622s|  1630k|857617 |     0 |   0.0 |1365M| 179 |   - |3274 |9441 |   0 |   0 |   0 | 398k|   0 | 0.000000e+00 |      --      |    Inf 
1681.68/1682.18	c  1631s|  1640k|857617 |     0 |   0.0 |1365M| 179 |   - |3274 |9453 |   0 |   0 |   0 | 403k|   0 | 0.000000e+00 |      --      |    Inf 
1690.78/1691.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1690.78/1691.25	c  1640s|  1650k|857616 |     0 |   0.0 |1365M| 179 |   - |3274 |9500 |   0 |   0 |   0 | 407k|   0 | 0.000000e+00 |      --      |    Inf 
1699.98/1700.46	c  1649s|  1660k|857616 |     0 |   0.0 |1365M| 179 |   - |3274 |9480 |   0 |   0 |   0 | 411k|   0 | 0.000000e+00 |      --      |    Inf 
1708.98/1709.49	c  1658s|  1670k|857618 |     0 |   0.0 |1365M| 179 |   - |3274 |9768 |   0 |   0 |   0 | 414k|   0 | 0.000000e+00 |      --      |    Inf 
1717.88/1718.38	c  1666s|  1680k|857618 |     0 |   0.0 |1366M| 179 |   - |3274 |9899 |   0 |   0 |   0 | 418k|   0 | 0.000000e+00 |      --      |    Inf 
1726.77/1727.22	c  1675s|  1690k|857612 |     0 |   0.0 |1366M| 179 |   - |3274 |  10k|   0 |   0 |   0 | 423k|   0 | 0.000000e+00 |      --      |    Inf 
1735.77/1736.22	c  1683s|  1700k|857611 |     0 |   0.0 |1366M| 179 |   - |3274 |  10k|   0 |   0 |   0 | 428k|   0 | 0.000000e+00 |      --      |    Inf 
1745.57/1746.01	c  1693s|  1710k|857592 |     0 |   0.0 |1368M| 179 |   - |3274 |  11k|   0 |   0 |   0 | 434k|   0 | 0.000000e+00 |      --      |    Inf 
1756.66/1757.10	c  1704s|  1720k|857590 |     0 |   0.0 |1371M| 179 |   - |3274 |  13k|   0 |   0 |   0 | 441k|   0 | 0.000000e+00 |      --      |    Inf 
1768.26/1768.75	c  1715s|  1730k|857593 |     0 |   0.0 |1370M| 179 |   - |3274 |  12k|   0 |   0 |   0 | 446k|   0 | 0.000000e+00 |      --      |    Inf 
1780.06/1780.52	c  1726s|  1740k|857594 |     0 |   0.0 |1370M| 179 |   - |3274 |  12k|   0 |   0 |   0 | 452k|   0 | 0.000000e+00 |      --      |    Inf 
1791.56/1792.00	c  1738s|  1750k|857593 |     0 |   0.0 |1371M| 179 |   - |3274 |  13k|   0 |   0 |   0 | 457k|   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50	c 
1800.06/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.50	c Solving Time (sec) : 1745.93
1800.06/1800.50	c Solving Nodes      : 1757415
1800.06/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.50	c Gap                : infinite
1800.06/1800.50	s UNKNOWN
1800.06/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.50	c Solving Time       :    1745.93
1800.06/1800.50	c Original Problem   :
1800.06/1800.50	c   Problem name     : HOME/instance-2663498-1276683810.opb
1800.06/1800.50	c   Variables        : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50	c   Constraints      : 3376 initial, 3376 maximal
1800.06/1800.50	c Presolved Problem  :
1800.06/1800.50	c   Problem name     : t_HOME/instance-2663498-1276683810.opb
1800.06/1800.50	c   Variables        : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50	c   Constraints      : 3376 initial, 14048 maximal
1800.06/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.50	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   and              :       0.18          0          0          0          0          0          0          0          0
1800.06/1800.50	c   linear           :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.50	c   knapsack         :          1          0    3473720          0    1053514     131837    1921409          0          0          0
1800.06/1800.50	c   setppc           :        200          0    4484586          0    1379490      39322     547169          0          0          0
1800.06/1800.50	c   and              :       3074          0    4445264          0    1379490        201   23073299          0          0          0
1800.06/1800.50	c   linear           :          1          0    4428938          0    1379489     308871    2897514          0          0          0
1800.06/1800.50	c   logicor          :        100+         0     985543          0    1379422      39462    1511238          0          0          0
1800.06/1800.50	c   countsols        :          0          0          0          0    1379490          0          0          0          0          0
1800.06/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.50	c   knapsack         :     141.34       0.00     133.79       0.00       7.55
1800.06/1800.50	c   setppc           :     218.33       0.00      23.38       0.00     194.95
1800.06/1800.50	c   and              :     256.97       0.00     132.84       0.00     124.13
1800.06/1800.50	c   linear           :     347.71       0.00     345.59       0.00       2.12
1800.06/1800.50	c   logicor          :     135.21       0.00     121.34       0.00      13.87
1800.06/1800.50	c   countsols        :       0.82       0.00       0.00       0.00       0.82
1800.06/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.50	c   vbounds          :       2.37          1          0          0
1800.06/1800.50	c   rootredcost      :       2.51          0          0          0
1800.06/1800.50	c   pseudoobj        :       2.02          0          0          0
1800.06/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.50	c   propagation      :     348.85     519693     342968    2707297      162.8         49      138.2          -
1800.06/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.50	c   applied globally :          -          -          -     461830      148.9          -          -          -
1800.06/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.51	c Pricers            :       Time      Calls       Vars
1800.06/1800.51	c   problem variables:       0.00          0          0
1800.06/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   inference        :     321.31    1379490          0          0          0          0    2758980
1800.06/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.51	c   LP solutions     :       0.00          -          0
1800.06/1800.51	c   pseudo solutions :       0.00          -          0
1800.06/1800.51	c   trivial          :       0.01          1          0
1800.06/1800.51	c   simplerounding   :       0.00          0          0
1800.06/1800.51	c   zirounding       :       0.00          0          0
1800.06/1800.51	c   rounding         :       0.00          0          0
1800.06/1800.51	c   shifting         :       0.00          0          0
1800.06/1800.51	c   intshifting      :       0.00          0          0
1800.06/1800.51	c   oneopt           :       0.00          0          0
1800.06/1800.51	c   twoopt           :       0.00          0          0
1800.06/1800.51	c   fixandinfer      :       0.00          0          0
1800.06/1800.51	c   feaspump         :       0.00          0          0
1800.06/1800.51	c   coefdiving       :       0.00          0          0
1800.06/1800.51	c   pscostdiving     :       0.00          0          0
1800.06/1800.51	c   fracdiving       :       0.00          0          0
1800.06/1800.51	c   veclendiving     :       0.00          0          0
1800.06/1800.51	c   intdiving        :       0.00          0          0
1800.06/1800.51	c   actconsdiving    :       0.00          0          0
1800.06/1800.51	c   objpscostdiving  :       0.00          0          0
1800.06/1800.51	c   rootsoldiving    :       0.00          0          0
1800.06/1800.51	c   linesearchdiving :       0.00          0          0
1800.06/1800.51	c   guideddiving     :       0.00          0          0
1800.06/1800.51	c   octane           :       0.00          0          0
1800.06/1800.51	c   rens             :       0.00          0          0
1800.06/1800.51	c   rins             :       0.00          0          0
1800.06/1800.51	c   localbranching   :       0.00          0          0
1800.06/1800.51	c   mutation         :       0.00          0          0
1800.06/1800.51	c   crossover        :       0.00          0          0
1800.06/1800.51	c   dins             :       0.00          0          0
1800.06/1800.51	c   undercover       :       0.00          0          0
1800.06/1800.51	c   nlp              :       0.00          0          0
1800.06/1800.51	c   trysol           :       0.00          0          0
1800.06/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.51	c B&B Tree           :
1800.06/1800.51	c   number of runs   :          1
1800.06/1800.51	c   nodes            :    1757415
1800.06/1800.51	c   nodes (total)    :    1757415
1800.06/1800.51	c   nodes left       :     857586
1800.06/1800.51	c   max depth        :        179
1800.06/1800.51	c   max depth (total):        179
1800.06/1800.51	c   backtracks       :     210792 (12.0%)
1800.06/1800.51	c   delayed cutoffs  :     143980
1800.06/1800.51	c   repropagations   :     850648 (3285994 domain reductions, 141768 cutoffs)
1800.06/1800.51	c   avg switch length:       3.32
1800.06/1800.51	c   switching time   :     212.02
1800.06/1800.51	c Solution           :
1800.06/1800.51	c   Solutions found  :          0 (0 improvements)
1800.06/1800.51	c   Primal Bound     :          -
1800.06/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.51	c   Gap              :   infinite
1800.06/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.51	c   Root Iterations  :          0

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-2663498-1276683810/watcher-2663498-1276683810 -o /tmp/evaluation-result-2663498-1276683810/solver-2663498-1276683810 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663498-1276683810.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: 0.93 1.01 1.16 3/106 15033
/proc/meminfo: memFree=1573304/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=6584 CPUtime=0
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 1027 0 0 0 0 0 0 0 22 0 1 0 9673706 6742016 950 1992294400 4194304 7136930 140734557148432 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15033/statm: 1646 960 254 719 0 925 0

[startup+0.07258 s]
/proc/loadavg: 0.93 1.01 1.16 3/106 15033
/proc/meminfo: memFree=1573304/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=17888 CPUtime=0.06
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 4336 0 0 0 5 1 0 0 22 0 1 0 9673706 18317312 3905 1992294400 4194304 7136930 140734557148432 18446744073709551615 4561465 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 4472 3905 303 719 0 3751 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17888

[startup+0.101582 s]
/proc/loadavg: 0.93 1.01 1.16 3/106 15033
/proc/meminfo: memFree=1573304/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=19964 CPUtime=0.09
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 4633 0 0 0 8 1 0 0 22 0 1 0 9673706 20443136 4202 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 4991 4202 327 719 0 4270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19964

[startup+0.3016 s]
/proc/loadavg: 0.93 1.01 1.16 3/106 15033
/proc/meminfo: memFree=1573304/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=22336 CPUtime=0.29
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 5758 0 0 0 18 11 0 0 22 0 1 0 9673706 22872064 4813 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 5584 4813 351 719 0 4863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22336

[startup+0.701633 s]
/proc/loadavg: 0.93 1.01 1.16 3/106 15033
/proc/meminfo: memFree=1573304/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=25652 CPUtime=0.69
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 8150 0 0 0 47 22 0 0 23 0 1 0 9673706 26267648 5663 1992294400 4194304 7136930 140734557148432 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 6413 5663 394 719 0 5692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25652

[startup+1.5017 s]
/proc/loadavg: 0.94 1.01 1.16 2/107 15034
/proc/meminfo: memFree=1551596/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=26464 CPUtime=1.49
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 8376 0 0 0 125 24 0 0 25 0 1 0 9673706 27099136 5889 1992294400 4194304 7136930 140734557148432 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 6616 5889 394 719 0 5895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26464

[startup+3.10184 s]
/proc/loadavg: 0.94 1.01 1.16 2/107 15034
/proc/meminfo: memFree=1549984/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=28424 CPUtime=3.09
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 8850 0 0 0 282 27 0 0 25 0 1 0 9673706 29106176 6363 1992294400 4194304 7136930 140734557148432 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 7106 6363 394 719 0 6385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28424

[startup+6.30113 s]
/proc/loadavg: 0.94 1.01 1.16 2/107 15034
/proc/meminfo: memFree=1543412/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=35268 CPUtime=6.29
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 10565 0 0 0 593 36 0 0 25 0 1 0 9673706 36114432 8078 1992294400 4194304 7136930 140734557148432 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 8817 8078 394 719 0 8096 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35268

[startup+12.7017 s]
/proc/loadavg: 0.95 1.01 1.16 2/107 15034
/proc/meminfo: memFree=1530020/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=48908 CPUtime=12.69
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 13973 0 0 0 1207 62 0 0 25 0 1 0 9673706 50081792 11486 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 12227 11486 394 719 0 11506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48908

[startup+25.5008 s]
/proc/loadavg: 0.96 1.01 1.16 2/107 15034
/proc/meminfo: memFree=1509436/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=68420 CPUtime=25.48
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 18827 0 0 0 2451 97 0 0 25 0 1 0 9673706 70062080 16340 1992294400 4194304 7136930 140734557148432 18446744073709551615 4414772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 17105 16340 394 719 0 16384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68420

[startup+51.101 s]
/proc/loadavg: 0.97 1.01 1.15 2/107 15036
/proc/meminfo: memFree=1473476/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=104228 CPUtime=51.08
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 27653 0 0 0 4943 165 0 0 25 0 1 0 9673706 106729472 25166 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 26057 25166 394 719 0 25336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104228

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.14 2/107 15036
/proc/meminfo: memFree=1402300/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=177960 CPUtime=102.27
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 45386 0 0 0 9927 300 0 0 25 0 1 0 9673706 182231040 42899 1992294400 4194304 7136930 140734557148432 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 44490 42899 394 719 0 43769 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 177960

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.13 2/107 15038
/proc/meminfo: memFree=1316616/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=267092 CPUtime=162.25
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 67298 0 0 0 15742 483 0 0 25 0 1 0 9673706 273502208 64811 1992294400 4194304 7136930 140734557148432 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 66773 64811 394 719 0 66052 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 267092

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.12 2/107 15040
/proc/meminfo: memFree=1218408/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=368948 CPUtime=222.24
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 91247 0 0 0 21535 689 0 0 25 0 1 0 9673706 377802752 88760 1992294400 4194304 7136930 140734557148432 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 92237 88760 394 719 0 91516 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 368948

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.11 2/107 15042
/proc/meminfo: memFree=1121936/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=474068 CPUtime=282.22
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 115604 0 0 0 27334 888 0 0 25 0 1 0 9673706 485445632 113117 1992294400 4194304 7136930 140734557148432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 118517 113117 394 719 0 117796 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 474068

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.09 2/107 15044
/proc/meminfo: memFree=1071468/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=525540 CPUtime=342.21
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 127843 0 0 0 33134 1087 0 0 25 0 1 0 9673706 538152960 125356 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 131385 125356 394 719 0 130664 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 525540

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.09 2/107 15044
/proc/meminfo: memFree=1006368/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=593696 CPUtime=402.2
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 144655 0 0 0 39001 1219 0 0 25 0 1 0 9673706 607944704 142168 1992294400 4194304 7136930 140734557148432 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 148424 142168 394 719 0 147703 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 593696

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.08 2/107 15046
/proc/meminfo: memFree=933704/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=664996 CPUtime=462.18
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 162211 0 0 0 44867 1351 0 0 25 0 1 0 9673706 680955904 159724 1992294400 4194304 7136930 140734557148432 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 166249 159724 394 719 0 165528 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 664996

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.07 3/108 15051
/proc/meminfo: memFree=840944/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=742176 CPUtime=522.16
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 180472 0 0 0 50724 1492 0 0 25 0 1 0 9673706 759988224 177985 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 185544 177985 394 719 0 184823 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 742176

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.07 2/107 15053
/proc/meminfo: memFree=785276/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=818896 CPUtime=582.15
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 199558 0 0 0 56576 1639 0 0 25 0 1 0 9673706 838549504 197071 1992294400 4194304 7136930 140734557148432 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 204724 197071 394 719 0 204003 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 818896

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/107 15055
/proc/meminfo: memFree=714348/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=898384 CPUtime=642.14
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 216762 0 0 0 62418 1796 0 0 25 0 1 0 9673706 919945216 214275 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 224596 214275 394 719 0 223875 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 898384

[startup+702.301 s]

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

/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 326752 0 0 0 97456 2749 0 0 25 0 1 0 9673706 1380052992 324265 1992294400 4194304 7136930 140734557148432 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 336927 324265 394 719 0 336206 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1347708

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 15065
/proc/meminfo: memFree=198756/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1427292 CPUtime=1062.03
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 345716 0 0 0 103295 2908 0 0 25 0 1 0 9673706 1461547008 343229 1992294400 4194304 7136930 140734557148432 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 356823 343229 394 719 0 356102 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1427292

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.02 2/107 15067
/proc/meminfo: memFree=145808/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1481100 CPUtime=1122.02
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 361879 0 0 0 109096 3106 0 0 25 0 1 0 9673706 1516646400 356040 1992294400 4194304 7136930 140734557148432 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 370275 356040 394 719 0 369554 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1481100

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 1.02 2/107 15069
/proc/meminfo: memFree=142088/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1484800 CPUtime=1182.01
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 362787 0 0 0 114862 3339 0 0 25 0 1 0 9673706 1520435200 356948 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 371200 356948 394 719 0 370479 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1484800

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.01 2/107 15071
/proc/meminfo: memFree=140724/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1486036 CPUtime=1241.99
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 363100 0 0 0 120627 3572 0 0 25 0 1 0 9673706 1521700864 357261 1992294400 4194304 7136930 140734557148432 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 371509 357261 394 719 0 370788 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1486036

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15071
/proc/meminfo: memFree=139856/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1486600 CPUtime=1301.98
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 363248 0 0 0 126405 3793 0 0 25 0 1 0 9673706 1522278400 357409 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 371650 357409 394 719 0 370929 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1486600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15073
/proc/meminfo: memFree=138988/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1487624 CPUtime=1361.96
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 363484 0 0 0 132191 4005 0 0 25 0 1 0 9673706 1523326976 357645 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 371906 357645 394 719 0 371185 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1487624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15075
/proc/meminfo: memFree=137376/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1489132 CPUtime=1421.96
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 363860 0 0 0 137978 4218 0 0 25 0 1 0 9673706 1524871168 358021 1992294400 4194304 7136930 140734557148432 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 372283 358021 394 719 0 371562 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1489132

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15077
/proc/meminfo: memFree=136384/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1490060 CPUtime=1481.93
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 364073 0 0 0 143783 4410 0 0 25 0 1 0 9673706 1525821440 358234 1992294400 4194304 7136930 140734557148432 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 372515 358234 394 719 0 371794 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1490060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 15079
/proc/meminfo: memFree=135516/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1490936 CPUtime=1541.91
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 364297 0 0 0 149577 4614 0 0 25 0 1 0 9673706 1526718464 358458 1992294400 4194304 7136930 140734557148432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 372734 358458 394 719 0 372013 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1490936

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15079
/proc/meminfo: memFree=131920/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1494792 CPUtime=1601.9
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 365199 0 0 0 155382 4808 0 0 25 0 1 0 9673706 1530667008 359360 1992294400 4194304 7136930 140734557148432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 373698 359360 394 719 0 372977 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1494792

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15081
/proc/meminfo: memFree=130680/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1495820 CPUtime=1661.89
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 365461 0 0 0 161186 5003 0 0 25 0 1 0 9673706 1531719680 359622 1992294400 4194304 7136930 140734557148432 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 373955 359622 394 719 0 373234 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1495820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15083
/proc/meminfo: memFree=130184/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1496292 CPUtime=1721.88
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 365575 0 0 0 166993 5195 0 0 25 0 1 0 9673706 1532203008 359736 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 374073 359736 394 719 0 373352 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1496292

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15085
/proc/meminfo: memFree=124480/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1501832 CPUtime=1781.86
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 366945 0 0 0 172821 5365 0 0 25 0 1 0 9673706 1537875968 361106 1992294400 4194304 7136930 140734557148432 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 375458 361106 394 719 0 374737 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1501832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15085
/proc/meminfo: memFree=123364/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1503024 CPUtime=1800.06
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 367225 0 0 0 174596 5410 0 0 25 0 1 0 9673706 1539096576 361386 1992294400 4194304 7136930 140734557148432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15033/statm: 375756 361386 394 719 0 375035 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1503024

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15033

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15086
/proc/meminfo: memFree=123108/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1503324 CPUtime=1800.95
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 367304 0 0 0 174685 5410 0 0 25 0 1 0 9673706 1539403776 361465 1992294400 4194304 7136930 140734557148432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15033/statm: 375831 361465 399 719 0 375110 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1503324

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15086
/proc/meminfo: memFree=122984/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=1496888 CPUtime=1801.76
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4202496 367304 0 0 0 174765 5411 0 0 25 0 1 0 9673706 1532813312 359856 1992294400 4194304 7136930 140734557148432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15033/statm: 374222 359856 399 719 0 373501 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 1496888

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15086
/proc/meminfo: memFree=122984/2059040 swapFree=4192956/4192956
[pid=15033] ppid=15031 vsize=0 CPUtime=1802.15
/proc/15033/stat : 15033 (pbscip.linux.x8) R 15031 15033 15008 0 -1 4203524 367304 0 0 0 174795 5420 0 0 25 0 1 0 9673706 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15033/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.21
CPU user time (s): 1747.96
CPU system time (s): 54.2508
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1503324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.96
system time used= 54.2508
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367304
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= 4
involuntary context switches= 18802

runsolver used 3.10253 second user time and 8.39872 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-16 12:23:30
IDJOB=2663498
IDBENCH=48376
IDSOLVER=1167
FILE ID=node041/2663498-1276683810
PBS_JOBID= 11172586
Free space on /tmp= 62084 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663498-1276683810/watcher-2663498-1276683810 -o /tmp/evaluation-result-2663498-1276683810/solver-2663498-1276683810 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663498-1276683810.opb -t 1800 -m 1800

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

MD5SUM BENCH= b437bd5db918ab114396d43dfca73285
RANDOM SEED=128940136

node041.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.251
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.50
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.251
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.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1573708 kB
Buffers:        135112 kB
Cached:         208516 kB
SwapCached:          0 kB
Active:         139364 kB
Inactive:       263544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1573708 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3312 kB
Writeback:           0 kB
AnonPages:       59320 kB
Mapped:          15364 kB
Slab:            60660 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180472 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= 62080 MiB
End job on node041 at 2010-06-16 12:53:33