Trace number 2663440

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.23 1802.75

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_15.opb
MD5SUMc7cfddeeb3bb3e7896ee6eefe7e9ac17
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

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-2663440-1276678497.opb>
0.00/0.02	c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 762 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.02	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.00/0.02	c presolving:
0.09/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4980 impls, 100 clqs
0.19/0.20	c presolving (2 rounds):
0.19/0.20	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20	c  4980 implications, 100 cliques
0.19/0.20	c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 762 constraints
0.19/0.20	c       1 constraints of type <knapsack>
0.19/0.20	c     100 constraints of type <setppc>
0.19/0.20	c     610 constraints of type <and>
0.19/0.20	c       1 constraints of type <linear>
0.19/0.20	c      50 constraints of type <logicor>
0.19/0.20	c transformed objective value is always integral (scale: 1)
0.19/0.20	c Presolving Time: 0.10
0.19/0.20	c - non default parameters ----------------------------------------------------------------------
0.19/0.20	c # SCIP version 1.2.1.2
0.19/0.20	c 
0.19/0.20	c # frequency for displaying node information lines
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20	c display/freq = 10000
0.19/0.20	c 
0.19/0.20	c # maximal time in seconds to run
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/time = 1800
0.19/0.20	c 
0.19/0.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/memory = 1620
0.19/0.20	c 
0.19/0.20	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c limits/solutions = 1
0.19/0.20	c 
0.19/0.20	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c lp/solvefreq = -1
0.19/0.20	c 
0.19/0.20	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.20	c separating/maxrounds = 1
0.19/0.20	c 
0.19/0.20	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c separating/maxroundsroot = 5
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify inequalities
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/linear/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.20	c constraints/knapsack/disaggregation = FALSE
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify knapsacks
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c presolving/probing/maxrounds = 0
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/coefdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.20	c heuristics/crossover/freq = -1
0.19/0.20	c 
0.19/0.20	c # number of nodes added to the contingent of the total nodes
0.19/0.20	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20	c heuristics/crossover/nodesofs = 750
0.19/0.20	c 
0.19/0.20	c # number of nodes without incumbent change that heuristic should wait
0.19/0.20	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.20	c heuristics/crossover/nwaitingnodes = 100
0.19/0.20	c 
0.19/0.20	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.20	c # [type: real, range: [0,1], default: 0.1]
0.19/0.20	c heuristics/crossover/nodesquot = 0.15
0.19/0.20	c 
0.19/0.20	c # minimum percentage of integer variables that have to be fixed 
0.19/0.20	c # [type: real, range: [0,1], default: 0.666]
0.19/0.20	c heuristics/crossover/minfixingrate = 0.5
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20	c heuristics/feaspump/freq = -1
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/fracdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/guideddiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/intshifting/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/linesearchdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/nlp/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20	c heuristics/objpscostdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.20	c # [type: real, range: [0,1], default: 0.01]
0.19/0.20	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/oneopt/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/pscostdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20	c heuristics/rens/freq = -1
0.19/0.20	c 
0.19/0.20	c # minimum percentage of integer variables that have to be fixable 
0.19/0.20	c # [type: real, range: [0,1], default: 0.5]
0.19/0.20	c heuristics/rens/minfixingrate = 0.3
0.19/0.20	c 
0.19/0.20	c # number of nodes added to the contingent of the total nodes
0.19/0.20	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20	c heuristics/rens/nodesofs = 2000
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20	c heuristics/rootsoldiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.20	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/rounding/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/shifting/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/simplerounding/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20	c heuristics/trivial/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/trysol/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/veclendiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/zirounding/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20	c separating/cmir/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20	c separating/flowcover/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c separating/rapidlearning/freq = 0
0.19/0.20	c 
0.19/0.20	c -----------------------------------------------------------------------------------------------
0.19/0.20	c start solving
0.19/0.21	c 
0.19/0.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.21	c   0.1s|     1 |     2 |     0 |     - |2023k|   0 |   - | 710 | 762 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.24	c   2.8s| 10000 |  8164 |     0 |   0.0 |  11M|  78 |   - | 710 |1307 |   0 |   0 |   0 |1353 |   0 | 0.000000e+00 |      --      |    Inf 
7.09/7.17	c   6.5s| 20000 | 12939 |     0 |   0.0 |  18M|  78 |   - | 710 |1852 |   0 |   0 |   0 |3812 |   0 | 0.000000e+00 |      --      |    Inf 
11.28/11.31	c  10.3s| 30000 | 17860 |     0 |   0.0 |  25M|  78 |   - | 710 |1551 |   0 |   0 |   0 |6787 |   0 | 0.000000e+00 |      --      |    Inf 
15.18/15.28	c  13.9s| 40000 | 25042 |     0 |   0.0 |  34M|  78 |   - | 710 |1729 |   0 |   0 |   0 |8307 |   0 | 0.000000e+00 |      --      |    Inf 
19.38/19.40	c  17.8s| 50000 | 31376 |     0 |   0.0 |  43M|  78 |   - | 710 |1865 |   0 |   0 |   0 |9883 |   0 | 0.000000e+00 |      --      |    Inf 
23.68/23.71	c  21.8s| 60000 | 37155 |     0 |   0.0 |  50M|  78 |   - | 710 |2034 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
28.18/28.20	c  26.0s| 70000 | 42636 |     0 |   0.0 |  58M|  78 |   - | 710 |2225 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
32.78/32.83	c  30.3s| 80000 | 47800 |     0 |   0.0 |  66M|  78 |   - | 710 |2319 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
37.48/37.58	c  34.7s| 90000 | 52691 |     0 |   0.0 |  73M|  78 |   - | 710 |2545 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
42.38/42.40	c  39.2s|100000 | 57542 |     0 |   0.0 |  80M|  78 |   - | 710 |2625 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
47.28/47.36	c  43.8s|110000 | 62182 |     0 |   0.0 |  88M|  78 |   - | 710 |2523 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
52.27/52.39	c  48.5s|120000 | 66671 |     0 |   0.0 |  95M|  78 |   - | 710 |2607 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
57.37/57.49	c  53.3s|130000 | 70976 |     0 |   0.0 | 102M|  78 |   - | 710 |2764 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
62.68/62.79	c  58.2s|140000 | 75067 |     0 |   0.0 | 109M|  78 |   - | 710 |2865 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
68.17/68.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.17/68.26	c  63.4s|150000 | 78959 |     0 |   0.0 | 116M|  78 |   - | 710 |2900 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
73.77/73.82	c  68.6s|160000 | 82598 |     0 |   0.0 | 123M|  78 |   - | 710 |3009 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
79.47/79.56	c  74.0s|170000 | 85994 |     0 |   0.0 | 129M|  78 |   - | 710 |3060 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
85.37/85.48	c  79.6s|180000 | 89123 |     0 |   0.0 | 136M|  78 |   - | 710 |3304 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
91.56/91.65	c  85.4s|190000 | 91988 |     0 |   0.0 | 142M|  78 |   - | 710 |3363 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
98.06/98.12	c  91.5s|200000 | 94562 |     0 |   0.0 | 149M|  78 |   - | 710 |3988 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
104.76/104.87	c  97.9s|210000 | 96946 |     0 |   0.0 | 156M|  78 |   - | 710 |4405 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
111.76/111.84	c   104s|220000 | 99274 |     0 |   0.0 | 162M|  78 |   - | 710 |4944 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
119.15/119.24	c   111s|230000 |101194 |     0 |   0.0 | 169M|  78 |   - | 710 |5043 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
126.05/126.19	c   118s|240000 |103308 |     0 |   0.0 | 175M|  78 |   - | 710 |5634 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
133.35/133.46	c   125s|250000 |105049 |     0 |   0.0 | 180M|  78 |   - | 710 |5959 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
140.64/140.71	c   132s|260000 |106479 |     0 |   0.0 | 186M|  78 |   - | 710 |6362 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 |      --      |    Inf 
146.84/146.98	c   138s|270000 |108326 |     0 |   0.0 | 190M|  78 |   - | 710 |6997 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
153.33/153.48	c   144s|280000 |111702 |     0 |   0.0 | 196M|  78 |   - | 710 |3407 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
157.94/158.06	c   148s|290000 |118381 |     0 |   0.0 | 205M|  78 |   - | 710 |2405 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
162.43/162.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
162.43/162.59	c   152s|300000 |124556 |     0 |   0.0 | 213M|  78 |   - | 710 |2228 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
167.04/167.17	c   157s|310000 |130719 |     0 |   0.0 | 221M|  78 |   - | 710 |2265 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
171.63/171.72	c   161s|320000 |136836 |     0 |   0.0 | 229M|  78 |   - | 710 |2309 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
176.33/176.41	c   165s|330000 |142755 |     0 |   0.0 | 237M|  78 |   - | 710 |2389 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
180.93/181.05	c   170s|340000 |148585 |     0 |   0.0 | 245M|  78 |   - | 710 |2414 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
185.74/185.82	c   174s|350000 |154114 |     0 |   0.0 | 252M|  78 |   - | 710 |2526 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
190.43/190.56	c   179s|360000 |159704 |     0 |   0.0 | 260M|  78 |   - | 710 |2570 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
195.33/195.41	c   183s|370000 |165215 |     0 |   0.0 | 268M|  78 |   - | 710 |2747 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
200.13/200.23	c   188s|380000 |170727 |     0 |   0.0 | 276M|  78 |   - | 710 |2574 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
205.03/205.13	c   192s|390000 |176160 |     0 |   0.0 | 283M|  78 |   - | 710 |2824 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
209.93/210.00	c   197s|400000 |181670 |     0 |   0.0 | 291M|  78 |   - | 710 |2689 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
214.82/214.94	c   201s|410000 |186922 |     0 |   0.0 | 299M|  78 |   - | 710 |2771 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
219.83/220.00	c   206s|420000 |192121 |     0 |   0.0 | 306M|  78 |   - | 710 |2996 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
224.92/225.00	c   211s|430000 |197429 |     0 |   0.0 | 314M|  78 |   - | 710 |2734 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
229.82/229.98	c   216s|440000 |202625 |     0 |   0.0 | 321M|  78 |   - | 710 |2759 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
234.92/235.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
234.92/235.04	c   220s|450000 |207758 |     0 |   0.0 | 329M|  78 |   - | 710 |2898 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
240.11/240.21	c   225s|460000 |212854 |     0 |   0.0 | 336M|  78 |   - | 710 |2939 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
245.12/245.28	c   230s|470000 |218024 |     0 |   0.0 | 344M|  78 |   - | 710 |2753 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
250.21/250.33	c   235s|480000 |223215 |     0 |   0.0 | 351M|  78 |   - | 710 |2903 |   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
255.42/255.56	c   239s|490000 |228133 |     0 |   0.0 | 359M|  78 |   - | 710 |3133 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
260.71/260.82	c   244s|500000 |233205 |     0 |   0.0 | 366M|  78 |   - | 710 |2866 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
265.81/265.99	c   249s|510000 |238176 |     0 |   0.0 | 374M|  78 |   - | 710 |2982 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
271.11/271.27	c   254s|520000 |243041 |     0 |   0.0 | 381M|  78 |   - | 710 |2962 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
276.40/276.50	c   259s|530000 |247907 |     0 |   0.0 | 389M|  78 |   - | 710 |3139 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
281.81/281.91	c   264s|540000 |252795 |     0 |   0.0 | 396M|  78 |   - | 710 |3104 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
287.11/287.24	c   269s|550000 |257630 |     0 |   0.0 | 404M|  78 |   - | 710 |3045 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
292.51/292.65	c   274s|560000 |262369 |     0 |   0.0 | 411M|  78 |   - | 710 |3192 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
298.00/298.15	c   280s|570000 |267057 |     0 |   0.0 | 418M|  78 |   - | 710 |3114 |   0 |   0 |   0 | 144k|   0 | 0.000000e+00 |      --      |    Inf 
303.41/303.53	c   285s|580000 |271836 |     0 |   0.0 | 426M|  78 |   - | 710 |3293 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
308.90/309.08	c   290s|590000 |276478 |     0 |   0.0 | 433M|  78 |   - | 710 |3246 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
314.41/314.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
314.41/314.55	c   295s|600000 |281195 |     0 |   0.0 | 440M|  78 |   - | 710 |3158 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
319.90/320.08	c   300s|610000 |285729 |     0 |   0.0 | 448M|  78 |   - | 710 |3196 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 |      --      |    Inf 
325.50/325.61	c   305s|620000 |290297 |     0 |   0.0 | 455M|  78 |   - | 710 |3419 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
331.00/331.11	c   311s|630000 |295052 |     0 |   0.0 | 462M|  78 |   - | 710 |3273 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
336.59/336.76	c   316s|640000 |299590 |     0 |   0.0 | 470M|  78 |   - | 710 |3250 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
342.19/342.33	c   321s|650000 |304150 |     0 |   0.0 | 477M|  78 |   - | 710 |3188 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
347.79/347.93	c   326s|660000 |308662 |     0 |   0.0 | 484M|  78 |   - | 710 |3270 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
353.29/353.48	c   332s|670000 |313183 |     0 |   0.0 | 491M|  78 |   - | 710 |3480 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
358.99/359.18	c   337s|680000 |317738 |     0 |   0.0 | 499M|  78 |   - | 710 |3502 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
364.58/364.72	c   342s|690000 |322390 |     0 |   0.0 | 506M|  78 |   - | 710 |3417 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 |      --      |    Inf 
370.16/370.39	c   348s|700000 |326823 |     0 |   0.0 | 513M|  78 |   - | 710 |3263 |   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
375.86/376.00	c   353s|710000 |331312 |     0 |   0.0 | 520M|  78 |   - | 710 |3333 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
381.56/381.76	c   358s|720000 |335680 |     0 |   0.0 | 527M|  78 |   - | 710 |3508 |   0 |   0 |   0 | 180k|   0 | 0.000000e+00 |      --      |    Inf 
387.35/387.52	c   364s|730000 |340055 |     0 |   0.0 | 535M|  78 |   - | 710 |3645 |   0 |   0 |   0 | 182k|   0 | 0.000000e+00 |      --      |    Inf 
393.15/393.34	c   369s|740000 |344530 |     0 |   0.0 | 542M|  78 |   - | 710 |3591 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
398.96/399.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
398.96/399.10	c   375s|750000 |348975 |     0 |   0.0 | 549M|  78 |   - | 710 |3514 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
404.75/404.94	c   380s|760000 |353242 |     0 |   0.0 | 556M|  78 |   - | 710 |3465 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
410.64/410.83	c   386s|770000 |357472 |     0 |   0.0 | 564M|  78 |   - | 710 |3439 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
416.45/416.69	c   391s|780000 |361712 |     0 |   0.0 | 571M|  78 |   - | 710 |3601 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 |      --      |    Inf 
422.45/422.65	c   397s|790000 |365963 |     0 |   0.0 | 578M|  78 |   - | 710 |3726 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
428.34/428.55	c   403s|800000 |370299 |     0 |   0.0 | 585M|  78 |   - | 710 |3695 |   0 |   0 |   0 | 200k|   0 | 0.000000e+00 |      --      |    Inf 
434.25/434.43	c   408s|810000 |374691 |     0 |   0.0 | 592M|  78 |   - | 710 |3460 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
440.04/440.27	c   414s|820000 |379015 |     0 |   0.0 | 599M|  78 |   - | 710 |3568 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
446.14/446.31	c   419s|830000 |383131 |     0 |   0.0 | 606M|  78 |   - | 710 |3450 |   0 |   0 |   0 | 207k|   0 | 0.000000e+00 |      --      |    Inf 
452.14/452.32	c   425s|840000 |387189 |     0 |   0.0 | 613M|  78 |   - | 710 |3632 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
458.24/458.43	c   431s|850000 |391261 |     0 |   0.0 | 621M|  78 |   - | 710 |3814 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
464.23/464.50	c   436s|860000 |395430 |     0 |   0.0 | 628M|  78 |   - | 710 |3860 |   0 |   0 |   0 | 214k|   0 | 0.000000e+00 |      --      |    Inf 
470.33/470.58	c   442s|870000 |399681 |     0 |   0.0 | 635M|  78 |   - | 710 |3843 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
476.33/476.56	c   448s|880000 |403907 |     0 |   0.0 | 642M|  78 |   - | 710 |3842 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
482.33/482.51	c   454s|890000 |408138 |     0 |   0.0 | 649M|  78 |   - | 710 |3681 |   0 |   0 |   0 | 222k|   0 | 0.000000e+00 |      --      |    Inf 
488.32/488.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
488.32/488.57	c   459s|900000 |412222 |     0 |   0.0 | 656M|  78 |   - | 710 |3586 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
494.52/494.74	c   465s|910000 |416104 |     0 |   0.0 | 663M|  78 |   - | 710 |3762 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
500.72/500.93	c   471s|920000 |420034 |     0 |   0.0 | 670M|  78 |   - | 710 |3808 |   0 |   0 |   0 | 229k|   0 | 0.000000e+00 |      --      |    Inf 
506.93/507.14	c   477s|930000 |424004 |     0 |   0.0 | 677M|  78 |   - | 710 |4074 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
513.22/513.49	c   483s|940000 |428001 |     0 |   0.0 | 684M|  78 |   - | 710 |4027 |   0 |   0 |   0 | 235k|   0 | 0.000000e+00 |      --      |    Inf 
519.42/519.67	c   489s|950000 |432024 |     0 |   0.0 | 691M|  78 |   - | 710 |3884 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
525.62/525.88	c   495s|960000 |435987 |     0 |   0.0 | 698M|  78 |   - | 710 |3932 |   0 |   0 |   0 | 240k|   0 | 0.000000e+00 |      --      |    Inf 
531.71/531.95	c   500s|970000 |440041 |     0 |   0.0 | 705M|  78 |   - | 710 |3619 |   0 |   0 |   0 | 243k|   0 | 0.000000e+00 |      --      |    Inf 
537.81/538.01	c   506s|980000 |443936 |     0 |   0.0 | 712M|  78 |   - | 710 |3739 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
544.11/544.38	c   512s|990000 |447638 |     0 |   0.0 | 719M|  78 |   - | 710 |3785 |   0 |   0 |   0 | 248k|   0 | 0.000000e+00 |      --      |    Inf 
550.51/550.74	c   518s|  1000k|451393 |     0 |   0.0 | 726M|  78 |   - | 710 |3854 |   0 |   0 |   0 | 251k|   0 | 0.000000e+00 |      --      |    Inf 
556.91/557.11	c   524s|  1010k|455219 |     0 |   0.0 | 733M|  78 |   - | 710 |4074 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
563.31/563.53	c   530s|  1020k|459073 |     0 |   0.0 | 740M|  78 |   - | 710 |4084 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
569.70/569.90	c   536s|  1030k|462890 |     0 |   0.0 | 747M|  78 |   - | 710 |3985 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 |      --      |    Inf 
576.00/576.29	c   542s|  1040k|466681 |     0 |   0.0 | 754M|  78 |   - | 710 |3941 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
582.40/582.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
582.40/582.68	c   548s|  1050k|470457 |     0 |   0.0 | 761M|  78 |   - | 710 |3852 |   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
588.79/589.02	c   554s|  1060k|474177 |     0 |   0.0 | 768M|  78 |   - | 710 |3992 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
595.10/595.35	c   561s|  1070k|477971 |     0 |   0.0 | 775M|  78 |   - | 710 |3899 |   0 |   0 |   0 | 270k|   0 | 0.000000e+00 |      --      |    Inf 
601.59/601.81	c   567s|  1080k|481502 |     0 |   0.0 | 782M|  78 |   - | 710 |3834 |   0 |   0 |   0 | 272k|   0 | 0.000000e+00 |      --      |    Inf 
608.00/608.30	c   573s|  1090k|485125 |     0 |   0.0 | 789M|  78 |   - | 710 |4047 |   0 |   0 |   0 | 275k|   0 | 0.000000e+00 |      --      |    Inf 
614.60/614.87	c   579s|  1100k|488755 |     0 |   0.0 | 795M|  78 |   - | 710 |4208 |   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
621.20/621.46	c   585s|  1110k|492471 |     0 |   0.0 | 802M|  78 |   - | 710 |4094 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 |      --      |    Inf 
627.90/628.13	c   592s|  1120k|496047 |     0 |   0.0 | 809M|  78 |   - | 710 |4097 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
634.50/634.77	c   598s|  1130k|499616 |     0 |   0.0 | 816M|  78 |   - | 710 |4114 |   0 |   0 |   0 | 286k|   0 | 0.000000e+00 |      --      |    Inf 
641.19/641.45	c   604s|  1140k|503083 |     0 |   0.0 | 823M|  78 |   - | 710 |4226 |   0 |   0 |   0 | 289k|   0 | 0.000000e+00 |      --      |    Inf 
647.79/648.09	c   611s|  1150k|506624 |     0 |   0.0 | 830M|  78 |   - | 710 |4193 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 |      --      |    Inf 
654.29/654.52	c   617s|  1160k|510330 |     0 |   0.0 | 836M|  78 |   - | 710 |4191 |   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
661.18/661.40	c   623s|  1170k|513605 |     0 |   0.0 | 843M|  78 |   - | 710 |4019 |   0 |   0 |   0 | 297k|   0 | 0.000000e+00 |      --      |    Inf 
667.88/668.17	c   630s|  1180k|516996 |     0 |   0.0 | 850M|  78 |   - | 710 |4276 |   0 |   0 |   0 | 300k|   0 | 0.000000e+00 |      --      |    Inf 
674.88/675.14	c   636s|  1190k|520355 |     0 |   0.0 | 857M|  78 |   - | 710 |4409 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 |      --      |    Inf 
681.78/682.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
681.78/682.01	c   643s|  1200k|523727 |     0 |   0.0 | 864M|  78 |   - | 710 |4434 |   0 |   0 |   0 | 305k|   0 | 0.000000e+00 |      --      |    Inf 
688.58/688.84	c   649s|  1210k|527131 |     0 |   0.0 | 870M|  78 |   - | 710 |4231 |   0 |   0 |   0 | 308k|   0 | 0.000000e+00 |      --      |    Inf 
695.47/695.76	c   656s|  1220k|530400 |     0 |   0.0 | 877M|  78 |   - | 710 |4286 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 |      --      |    Inf 
702.37/702.67	c   662s|  1230k|533667 |     0 |   0.0 | 884M|  78 |   - | 710 |4434 |   0 |   0 |   0 | 314k|   0 | 0.000000e+00 |      --      |    Inf 
709.37/709.66	c   669s|  1240k|536899 |     0 |   0.0 | 891M|  78 |   - | 710 |4470 |   0 |   0 |   0 | 317k|   0 | 0.000000e+00 |      --      |    Inf 
716.17/716.49	c   676s|  1250k|540252 |     0 |   0.0 | 897M|  78 |   - | 710 |4425 |   0 |   0 |   0 | 320k|   0 | 0.000000e+00 |      --      |    Inf 
723.16/723.45	c   682s|  1260k|543561 |     0 |   0.0 | 904M|  78 |   - | 710 |4377 |   0 |   0 |   0 | 323k|   0 | 0.000000e+00 |      --      |    Inf 
730.46/730.74	c   689s|  1270k|546527 |     0 |   0.0 | 910M|  78 |   - | 710 |4323 |   0 |   0 |   0 | 326k|   0 | 0.000000e+00 |      --      |    Inf 
737.67/737.96	c   696s|  1280k|549633 |     0 |   0.0 | 917M|  78 |   - | 710 |4676 |   0 |   0 |   0 | 329k|   0 | 0.000000e+00 |      --      |    Inf 
744.96/745.24	c   703s|  1290k|552721 |     0 |   0.0 | 924M|  78 |   - | 710 |4450 |   0 |   0 |   0 | 331k|   0 | 0.000000e+00 |      --      |    Inf 
752.07/752.36	c   710s|  1300k|555859 |     0 |   0.0 | 931M|  78 |   - | 710 |4196 |   0 |   0 |   0 | 334k|   0 | 0.000000e+00 |      --      |    Inf 
759.26/759.51	c   717s|  1310k|558810 |     0 |   0.0 | 937M|  78 |   - | 710 |4478 |   0 |   0 |   0 | 337k|   0 | 0.000000e+00 |      --      |    Inf 
766.37/766.68	c   723s|  1320k|561874 |     0 |   0.0 | 944M|  78 |   - | 710 |4608 |   0 |   0 |   0 | 340k|   0 | 0.000000e+00 |      --      |    Inf 
773.56/773.87	c   730s|  1330k|564907 |     0 |   0.0 | 950M|  78 |   - | 710 |4512 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 |      --      |    Inf 
780.66/780.96	c   737s|  1340k|567964 |     0 |   0.0 | 957M|  78 |   - | 710 |4572 |   0 |   0 |   0 | 346k|   0 | 0.000000e+00 |      --      |    Inf 
787.75/788.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
787.75/788.02	c   744s|  1350k|571053 |     0 |   0.0 | 964M|  78 |   - | 710 |4520 |   0 |   0 |   0 | 349k|   0 | 0.000000e+00 |      --      |    Inf 
794.84/795.17	c   750s|  1360k|574047 |     0 |   0.0 | 970M|  78 |   - | 710 |4332 |   0 |   0 |   0 | 353k|   0 | 0.000000e+00 |      --      |    Inf 
802.35/802.61	c   758s|  1370k|576769 |     0 |   0.0 | 977M|  78 |   - | 710 |4472 |   0 |   0 |   0 | 355k|   0 | 0.000000e+00 |      --      |    Inf 
809.75/810.07	c   765s|  1380k|579566 |     0 |   0.0 | 984M|  78 |   - | 710 |4654 |   0 |   0 |   0 | 358k|   0 | 0.000000e+00 |      --      |    Inf 
817.24/817.59	c   772s|  1390k|582368 |     0 |   0.0 | 990M|  78 |   - | 710 |4331 |   0 |   0 |   0 | 361k|   0 | 0.000000e+00 |      --      |    Inf 
824.65/824.92	c   779s|  1400k|585173 |     0 |   0.0 | 997M|  78 |   - | 710 |4460 |   0 |   0 |   0 | 364k|   0 | 0.000000e+00 |      --      |    Inf 
832.24/832.53	c   786s|  1410k|587742 |     0 |   0.0 |1003M|  78 |   - | 710 |4731 |   0 |   0 |   0 | 367k|   0 | 0.000000e+00 |      --      |    Inf 
839.74/840.09	c   793s|  1420k|590378 |     0 |   0.0 |1009M|  78 |   - | 710 |4600 |   0 |   0 |   0 | 370k|   0 | 0.000000e+00 |      --      |    Inf 
847.24/847.51	c   800s|  1430k|593168 |     0 |   0.0 |1016M|  78 |   - | 710 |4626 |   0 |   0 |   0 | 373k|   0 | 0.000000e+00 |      --      |    Inf 
854.73/855.03	c   808s|  1440k|595968 |     0 |   0.0 |1022M|  78 |   - | 710 |4702 |   0 |   0 |   0 | 377k|   0 | 0.000000e+00 |      --      |    Inf 
862.04/862.37	c   815s|  1450k|598810 |     0 |   0.0 |1029M|  78 |   - | 710 |4590 |   0 |   0 |   0 | 380k|   0 | 0.000000e+00 |      --      |    Inf 
869.33/869.68	c   822s|  1460k|601703 |     0 |   0.0 |1035M|  78 |   - | 710 |4532 |   0 |   0 |   0 | 383k|   0 | 0.000000e+00 |      --      |    Inf 
877.23/877.54	c   829s|  1470k|604074 |     0 |   0.0 |1041M|  78 |   - | 710 |4535 |   0 |   0 |   0 | 386k|   0 | 0.000000e+00 |      --      |    Inf 
885.02/885.38	c   837s|  1480k|606513 |     0 |   0.0 |1048M|  78 |   - | 710 |4837 |   0 |   0 |   0 | 389k|   0 | 0.000000e+00 |      --      |    Inf 
892.93/893.26	c   844s|  1490k|608963 |     0 |   0.0 |1054M|  78 |   - | 710 |4647 |   0 |   0 |   0 | 392k|   0 | 0.000000e+00 |      --      |    Inf 
900.73/901.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
900.73/901.09	c   852s|  1500k|611398 |     0 |   0.0 |1061M|  78 |   - | 710 |4553 |   0 |   0 |   0 | 395k|   0 | 0.000000e+00 |      --      |    Inf 
908.62/908.93	c   859s|  1510k|613666 |     0 |   0.0 |1067M|  78 |   - | 710 |4774 |   0 |   0 |   0 | 398k|   0 | 0.000000e+00 |      --      |    Inf 
916.32/916.61	c   867s|  1520k|616040 |     0 |   0.0 |1073M|  78 |   - | 710 |5002 |   0 |   0 |   0 | 401k|   0 | 0.000000e+00 |      --      |    Inf 
924.11/924.49	c   874s|  1530k|618473 |     0 |   0.0 |1080M|  78 |   - | 710 |4965 |   0 |   0 |   0 | 404k|   0 | 0.000000e+00 |      --      |    Inf 
931.92/932.21	c   881s|  1540k|620972 |     0 |   0.0 |1086M|  78 |   - | 710 |5032 |   0 |   0 |   0 | 408k|   0 | 0.000000e+00 |      --      |    Inf 
939.61/939.92	c   889s|  1550k|623524 |     0 |   0.0 |1092M|  78 |   - | 710 |4752 |   0 |   0 |   0 | 411k|   0 | 0.000000e+00 |      --      |    Inf 
947.31/947.60	c   896s|  1560k|626126 |     0 |   0.0 |1099M|  78 |   - | 710 |5024 |   0 |   0 |   0 | 414k|   0 | 0.000000e+00 |      --      |    Inf 
955.10/955.43	c   904s|  1570k|628599 |     0 |   0.0 |1105M|  78 |   - | 710 |4529 |   0 |   0 |   0 | 417k|   0 | 0.000000e+00 |      --      |    Inf 
963.22/963.53	c   912s|  1580k|630613 |     0 |   0.0 |1111M|  78 |   - | 710 |4993 |   0 |   0 |   0 | 420k|   0 | 0.000000e+00 |      --      |    Inf 
971.60/971.97	c   920s|  1590k|632642 |     0 |   0.0 |1118M|  78 |   - | 710 |4748 |   0 |   0 |   0 | 423k|   0 | 0.000000e+00 |      --      |    Inf 
979.60/979.99	c   927s|  1600k|634795 |     0 |   0.0 |1124M|  78 |   - | 710 |5055 |   0 |   0 |   0 | 427k|   0 | 0.000000e+00 |      --      |    Inf 
988.10/988.40	c   935s|  1610k|636733 |     0 |   0.0 |1130M|  78 |   - | 710 |5550 |   0 |   0 |   0 | 430k|   0 | 0.000000e+00 |      --      |    Inf 
996.40/996.75	c   943s|  1620k|638848 |     0 |   0.0 |1136M|  78 |   - | 710 |5537 |   0 |   0 |   0 | 433k|   0 | 0.000000e+00 |      --      |    Inf 
1004.70/1005.07	c   951s|  1630k|641074 |     0 |   0.0 |1143M|  78 |   - | 710 |5555 |   0 |   0 |   0 | 437k|   0 | 0.000000e+00 |      --      |    Inf 
1012.99/1013.32	c   959s|  1640k|643273 |     0 |   0.0 |1149M|  78 |   - | 710 |5811 |   0 |   0 |   0 | 440k|   0 | 0.000000e+00 |      --      |    Inf 
1021.19/1021.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.19/1021.57	c   967s|  1650k|645529 |     0 |   0.0 |1155M|  78 |   - | 710 |5857 |   0 |   0 |   0 | 444k|   0 | 0.000000e+00 |      --      |    Inf 
1029.39/1029.73	c   975s|  1660k|647843 |     0 |   0.0 |1161M|  78 |   - | 710 |5687 |   0 |   0 |   0 | 447k|   0 | 0.000000e+00 |      --      |    Inf 
1037.49/1037.83	c   983s|  1670k|650261 |     0 |   0.0 |1168M|  78 |   - | 710 |5693 |   0 |   0 |   0 | 451k|   0 | 0.000000e+00 |      --      |    Inf 
1046.29/1046.64	c   991s|  1680k|652162 |     0 |   0.0 |1174M|  78 |   - | 710 |5796 |   0 |   0 |   0 | 454k|   0 | 0.000000e+00 |      --      |    Inf 
1055.29/1055.67	c  1000s|  1690k|653861 |     0 |   0.0 |1180M|  78 |   - | 710 |5731 |   0 |   0 |   0 | 457k|   0 | 0.000000e+00 |      --      |    Inf 
1064.09/1064.47	c  1008s|  1700k|655664 |     0 |   0.0 |1186M|  78 |   - | 710 |5823 |   0 |   0 |   0 | 461k|   0 | 0.000000e+00 |      --      |    Inf 
1073.08/1073.50	c  1017s|  1710k|657564 |     0 |   0.0 |1193M|  78 |   - | 710 |6812 |   0 |   0 |   0 | 465k|   0 | 0.000000e+00 |      --      |    Inf 
1082.38/1082.72	c  1026s|  1720k|659636 |     0 |   0.0 |1199M|  78 |   - | 710 |7264 |   0 |   0 |   0 | 469k|   0 | 0.000000e+00 |      --      |    Inf 
1091.57/1091.96	c  1035s|  1730k|661782 |     0 |   0.0 |1206M|  78 |   - | 710 |7601 |   0 |   0 |   0 | 473k|   0 | 0.000000e+00 |      --      |    Inf 
1100.78/1101.16	c  1043s|  1740k|664064 |     0 |   0.0 |1212M|  78 |   - | 710 |7847 |   0 |   0 |   0 | 478k|   0 | 0.000000e+00 |      --      |    Inf 
1110.07/1110.44	c  1052s|  1750k|666389 |     0 |   0.0 |1219M|  78 |   - | 710 |8208 |   0 |   0 |   0 | 482k|   0 | 0.000000e+00 |      --      |    Inf 
1119.56/1119.95	c  1061s|  1760k|668708 |     0 |   0.0 |1225M|  78 |   - | 710 |8248 |   0 |   0 |   0 | 486k|   0 | 0.000000e+00 |      --      |    Inf 
1129.16/1129.51	c  1071s|  1770k|671091 |     0 |   0.0 |1232M|  78 |   - | 710 |8109 |   0 |   0 |   0 | 491k|   0 | 0.000000e+00 |      --      |    Inf 
1139.66/1140.06	c  1081s|  1780k|672768 |     0 |   0.0 |1238M|  78 |   - | 710 |8599 |   0 |   0 |   0 | 495k|   0 | 0.000000e+00 |      --      |    Inf 
1150.26/1150.68	c  1091s|  1790k|674562 |     0 |   0.0 |1245M|  78 |   - | 710 |9236 |   0 |   0 |   0 | 499k|   0 | 0.000000e+00 |      --      |    Inf 
1161.46/1161.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1161.46/1161.84	c  1102s|  1800k|676226 |     0 |   0.0 |1252M|  78 |   - | 710 |9917 |   0 |   0 |   0 | 504k|   0 | 0.000000e+00 |      --      |    Inf 
1172.65/1173.09	c  1113s|  1810k|678060 |     0 |   0.0 |1258M|  78 |   - | 710 |9890 |   0 |   0 |   0 | 508k|   0 | 0.000000e+00 |      --      |    Inf 
1183.55/1183.93	c  1123s|  1820k|680020 |     0 |   0.0 |1264M|  78 |   - | 710 |9538 |   0 |   0 |   0 | 513k|   0 | 0.000000e+00 |      --      |    Inf 
1194.15/1194.53	c  1133s|  1830k|682041 |     0 |   0.0 |1270M|  78 |   - | 710 |9907 |   0 |   0 |   0 | 517k|   0 | 0.000000e+00 |      --      |    Inf 
1204.95/1205.30	c  1144s|  1840k|684017 |     0 |   0.0 |1277M|  78 |   - | 710 |9849 |   0 |   0 |   0 | 522k|   0 | 0.000000e+00 |      --      |    Inf 
1215.34/1215.72	c  1154s|  1850k|686126 |     0 |   0.0 |1283M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 526k|   0 | 0.000000e+00 |      --      |    Inf 
1226.15/1226.59	c  1164s|  1860k|688074 |     0 |   0.0 |1289M|  78 |   - | 710 |9839 |   0 |   0 |   0 | 531k|   0 | 0.000000e+00 |      --      |    Inf 
1238.43/1238.85	c  1176s|  1870k|689435 |     0 |   0.0 |1296M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 535k|   0 | 0.000000e+00 |      --      |    Inf 
1249.93/1250.33	c  1187s|  1880k|691197 |     0 |   0.0 |1302M|  78 |   - | 710 |  11k|   0 |   0 |   0 | 540k|   0 | 0.000000e+00 |      --      |    Inf 
1261.23/1261.63	c  1198s|  1890k|693200 |     0 |   0.0 |1308M|  78 |   - | 710 |  11k|   0 |   0 |   0 | 544k|   0 | 0.000000e+00 |      --      |    Inf 
1272.02/1272.44	c  1209s|  1900k|695360 |     0 |   0.0 |1314M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 549k|   0 | 0.000000e+00 |      --      |    Inf 
1282.62/1283.05	c  1219s|  1910k|697512 |     0 |   0.0 |1320M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 553k|   0 | 0.000000e+00 |      --      |    Inf 
1293.02/1293.46	c  1229s|  1920k|699817 |     0 |   0.0 |1326M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 558k|   0 | 0.000000e+00 |      --      |    Inf 
1303.82/1304.24	c  1239s|  1930k|701937 |     0 |   0.0 |1331M|  78 |   - | 710 |9655 |   0 |   0 |   0 | 562k|   0 | 0.000000e+00 |      --      |    Inf 
1315.11/1315.56	c  1250s|  1940k|703524 |     0 |   0.0 |1337M|  78 |   - | 710 |9883 |   0 |   0 |   0 | 567k|   0 | 0.000000e+00 |      --      |    Inf 
1326.40/1326.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1326.40/1326.89	c  1261s|  1950k|705153 |     0 |   0.0 |1343M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 572k|   0 | 0.000000e+00 |      --      |    Inf 
1337.40/1337.84	c  1272s|  1960k|706937 |     0 |   0.0 |1349M|  78 |   - | 710 |9765 |   0 |   0 |   0 | 576k|   0 | 0.000000e+00 |      --      |    Inf 
1347.99/1348.47	c  1282s|  1970k|708818 |     0 |   0.0 |1355M|  78 |   - | 710 |9544 |   0 |   0 |   0 | 581k|   0 | 0.000000e+00 |      --      |    Inf 
1354.60/1355.01	c (node 1976380) switching to memory saving mode (mem: 1296.0M/1620.0M)
1359.30/1359.70	c  1293s|  1980k|709162 |     0 |   0.0 |1352M|  78 |   - | 710 |  10k|   0 |   0 |   0 | 586k|   0 | 0.000000e+00 |      --      |    Inf 
1380.58/1381.08	c  1314s|  1990k|706718 |     0 |   0.0 |1335M|  78 |   - | 710 |  14k|   0 |   0 |   0 | 593k|   0 | 0.000000e+00 |      --      |    Inf 
1420.68/1421.18	c  1353s|  2000k|703565 |     0 |   0.0 |1310M|  78 |   - | 710 |  19k|   0 |   0 |   0 | 600k|   0 | 0.000000e+00 |      --      |    Inf 
1442.17/1442.69	c  1374s|  2010k|702894 |     0 |   0.0 |1306M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 605k|   0 | 0.000000e+00 |      --      |    Inf 
1458.96/1459.46	c  1391s|  2020k|702737 |     0 |   0.0 |1306M|  78 |   - | 710 |  22k|   0 |   0 |   0 | 609k|   0 | 0.000000e+00 |      --      |    Inf 
1474.86/1475.34	c  1406s|  2030k|702587 |     0 |   0.0 |1307M|  78 |   - | 710 |  23k|   0 |   0 |   0 | 613k|   0 | 0.000000e+00 |      --      |    Inf 
1490.85/1491.33	c  1422s|  2040k|702437 |     0 |   0.0 |1307M|  78 |   - | 710 |  24k|   0 |   0 |   0 | 618k|   0 | 0.000000e+00 |      --      |    Inf 
1509.95/1510.40	c  1441s|  2050k|702094 |     0 |   0.0 |1305M|  78 |   - | 710 |  23k|   0 |   0 |   0 | 622k|   0 | 0.000000e+00 |      --      |    Inf 
1523.55/1524.05	c  1454s|  2060k|701979 |     0 |   0.0 |1303M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 626k|   0 | 0.000000e+00 |      --      |    Inf 
1535.64/1536.13	c  1466s|  2070k|701925 |     0 |   0.0 |1304M|  78 |   - | 710 |  22k|   0 |   0 |   0 | 629k|   0 | 0.000000e+00 |      --      |    Inf 
1549.13/1549.67	c  1479s|  2080k|701885 |     0 |   0.0 |1305M|  78 |   - | 710 |  24k|   0 |   0 |   0 | 633k|   0 | 0.000000e+00 |      --      |    Inf 
1565.13/1565.60	c  1494s|  2090k|701840 |     0 |   0.0 |1306M|  78 |   - | 710 |  25k|   0 |   0 |   0 | 636k|   0 | 0.000000e+00 |      --      |    Inf 
1581.63/1582.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1581.63/1582.11	c  1511s|  2100k|701796 |     0 |   0.0 |1307M|  78 |   - | 710 |  27k|   0 |   0 |   0 | 639k|   0 | 0.000000e+00 |      --      |    Inf 
1597.73/1598.27	c  1527s|  2110k|701755 |     0 |   0.0 |1306M|  78 |   - | 710 |  26k|   0 |   0 |   0 | 643k|   0 | 0.000000e+00 |      --      |    Inf 
1614.12/1614.67	c  1543s|  2120k|701712 |     0 |   0.0 |1306M|  78 |   - | 710 |  26k|   0 |   0 |   0 | 646k|   0 | 0.000000e+00 |      --      |    Inf 
1630.02/1630.54	c  1558s|  2130k|701669 |     0 |   0.0 |1307M|  78 |   - | 710 |  27k|   0 |   0 |   0 | 650k|   0 | 0.000000e+00 |      --      |    Inf 
1646.80/1647.38	c  1575s|  2140k|701629 |     0 |   0.0 |1307M|  78 |   - | 710 |  28k|   0 |   0 |   0 | 653k|   0 | 0.000000e+00 |      --      |    Inf 
1663.00/1663.51	c  1590s|  2150k|701590 |     0 |   0.0 |1307M|  78 |   - | 710 |  28k|   0 |   0 |   0 | 656k|   0 | 0.000000e+00 |      --      |    Inf 
1679.80/1680.36	c  1607s|  2160k|701549 |     0 |   0.0 |1308M|  78 |   - | 710 |  28k|   0 |   0 |   0 | 660k|   0 | 0.000000e+00 |      --      |    Inf 
1695.70/1696.29	c  1623s|  2170k|701508 |     0 |   0.0 |1307M|  78 |   - | 710 |  27k|   0 |   0 |   0 | 663k|   0 | 0.000000e+00 |      --      |    Inf 
1710.89/1711.49	c  1637s|  2180k|701467 |     0 |   0.0 |1306M|  78 |   - | 710 |  26k|   0 |   0 |   0 | 667k|   0 | 0.000000e+00 |      --      |    Inf 
1726.79/1727.34	c  1653s|  2190k|701309 |     0 |   0.0 |1303M|  78 |   - | 710 |  22k|   0 |   0 |   0 | 670k|   0 | 0.000000e+00 |      --      |    Inf 
1741.28/1741.85	c  1667s|  2200k|701181 |     0 |   0.0 |1301M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 673k|   0 | 0.000000e+00 |      --      |    Inf 
1752.68/1753.29	c  1678s|  2210k|701106 |     0 |   0.0 |1300M|  78 |   - | 710 |  19k|   0 |   0 |   0 | 677k|   0 | 0.000000e+00 |      --      |    Inf 
1763.08/1763.60	c  1688s|  2220k|701078 |     0 |   0.0 |1301M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 680k|   0 | 0.000000e+00 |      --      |    Inf 
1774.78/1775.37	c  1700s|  2230k|701064 |     0 |   0.0 |1302M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 682k|   0 | 0.000000e+00 |      --      |    Inf 
1788.37/1788.97	c  1713s|  2240k|701044 |     0 |   0.0 |1302M|  78 |   - | 710 |  21k|   0 |   0 |   0 | 685k|   0 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61	c 
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time (sec) : 1724.42
1800.08/1800.61	c Solving Nodes      : 2248840
1800.08/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.61	c Gap                : infinite
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time       :    1724.42
1800.08/1800.61	c Original Problem   :
1800.08/1800.61	c   Problem name     : HOME/instance-2663440-1276678497.opb
1800.08/1800.61	c   Variables        : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 762 initial, 762 maximal
1800.08/1800.61	c Presolved Problem  :
1800.08/1800.61	c   Problem name     : t_HOME/instance-2663440-1276678497.opb
1800.08/1800.61	c   Variables        : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 762 initial, 28899 maximal
1800.08/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   and              :       0.09          0          0          0          0          0          0          0          0
1800.08/1800.61	c   linear           :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.61	c   knapsack         :          1          0    6247530          0    1493119      35033    5698547          0          0          0
1800.08/1800.61	c   setppc           :        100          0    6859061          0    1499981      34575     467525          0          0          0
1800.08/1800.61	c   and              :        610          0    6824486          0    1499981       1879   52591856          0          0          0
1800.08/1800.61	c   linear           :          1          0    6810603          0    1499981     667359    1080658          0          0          0
1800.08/1800.61	c   logicor          :         50+         0    2080701          0    1499710      58639   13111172          0          0          0
1800.08/1800.61	c   countsols        :          0          0          0          0    1499981          0          0          0          0          0
1800.08/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.61	c   knapsack         :      77.96       0.00      72.61       0.00       5.35
1800.08/1800.61	c   setppc           :      58.20       0.00      15.61       0.00      42.59
1800.08/1800.61	c   and              :     150.44       0.00     127.39       0.00      23.05
1800.08/1800.61	c   linear           :     189.71       0.00     188.29       0.00       1.42
1800.08/1800.61	c   logicor          :     511.81       0.00     508.11       0.00       3.70
1800.08/1800.61	c   countsols        :       0.55       0.00       0.00       0.00       0.55
1800.08/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.61	c   vbounds          :       3.51          1          0          0
1800.08/1800.61	c   rootredcost      :       3.07          0          0          0
1800.08/1800.61	c   pseudoobj        :       2.87          0          0          0
1800.08/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.61	c   propagation      :     123.55     797485     560363    2991916       52.9        166       67.5          -
1800.08/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.61	c   applied globally :          -          -          -     687443       47.0          -          -          -
1800.08/1800.61	c   applied locally  :          -          -          -        485       75.0          -          -          -
1800.08/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.61	c Pricers            :       Time      Calls       Vars
1800.08/1800.61	c   problem variables:       0.00          0          0
1800.08/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   inference        :      71.70    1499981          0          0          0          0    2999962
1800.08/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.61	c   LP solutions     :       0.00          -          0
1800.08/1800.61	c   pseudo solutions :       0.00          -          0
1800.08/1800.61	c   trivial          :       0.00          1          0
1800.08/1800.61	c   simplerounding   :       0.00          0          0
1800.08/1800.61	c   zirounding       :       0.00          0          0
1800.08/1800.61	c   rounding         :       0.00          0          0
1800.08/1800.61	c   shifting         :       0.00          0          0
1800.08/1800.61	c   intshifting      :       0.00          0          0
1800.08/1800.61	c   oneopt           :       0.00          0          0
1800.08/1800.61	c   twoopt           :       0.00          0          0
1800.08/1800.61	c   fixandinfer      :       0.00          0          0
1800.08/1800.61	c   feaspump         :       0.00          0          0
1800.08/1800.61	c   coefdiving       :       0.00          0          0
1800.08/1800.61	c   pscostdiving     :       0.00          0          0
1800.08/1800.61	c   fracdiving       :       0.00          0          0
1800.08/1800.61	c   veclendiving     :       0.00          0          0
1800.08/1800.61	c   intdiving        :       0.00          0          0
1800.08/1800.61	c   actconsdiving    :       0.00          0          0
1800.08/1800.61	c   objpscostdiving  :       0.00          0          0
1800.08/1800.61	c   rootsoldiving    :       0.00          0          0
1800.08/1800.61	c   linesearchdiving :       0.00          0          0
1800.08/1800.61	c   guideddiving     :       0.00          0          0
1800.08/1800.61	c   octane           :       0.00          0          0
1800.08/1800.61	c   rens             :       0.00          0          0
1800.08/1800.61	c   rins             :       0.00          0          0
1800.08/1800.61	c   localbranching   :       0.00          0          0
1800.08/1800.61	c   mutation         :       0.00          0          0
1800.08/1800.61	c   crossover        :       0.00          0          0
1800.08/1800.61	c   dins             :       0.00          0          0
1800.08/1800.61	c   undercover       :       0.00          0          0
1800.08/1800.61	c   nlp              :       0.00          0          0
1800.08/1800.61	c   trysol           :       0.00          0          0
1800.08/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.61	c B&B Tree           :
1800.08/1800.61	c   number of runs   :          1
1800.08/1800.61	c   nodes            :    2248840
1800.08/1800.61	c   nodes (total)    :    2248840
1800.08/1800.61	c   nodes left       :     701034
1800.08/1800.61	c   max depth        :         78
1800.08/1800.61	c   max depth (total):         78
1800.08/1800.61	c   backtracks       :     140302 (6.2%)
1800.08/1800.61	c   delayed cutoffs  :      50089
1800.08/1800.61	c   repropagations   :    1698521 (6883383 domain reductions, 48626 cutoffs)
1800.08/1800.61	c   avg switch length:       5.42
1800.08/1800.61	c   switching time   :     440.27
1800.08/1800.61	c Solution           :
1800.08/1800.61	c   Solutions found  :          0 (0 improvements)
1800.08/1800.61	c   Primal Bound     :          -
1800.08/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.61	c   Gap              :   infinite
1800.08/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.61	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-2663440-1276678497/watcher-2663440-1276678497 -o /tmp/evaluation-result-2663440-1276678497/solver-2663440-1276678497 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663440-1276678497.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.92 0.98 0.99 3/106 14796
/proc/meminfo: memFree=1740576/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=6584 CPUtime=0
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 9144724 6742016 889 1992294400 4194304 7136930 140734003065600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14796/statm: 1646 899 254 719 0 925 0

[startup+0.0689001 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14796
/proc/meminfo: memFree=1740576/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=12152 CPUtime=0.06
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 2928 0 0 0 3 3 0 0 20 0 1 0 9144724 12443648 2240 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 3038 2240 327 719 0 2317 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12152

[startup+0.100902 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14796
/proc/meminfo: memFree=1740576/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=12152 CPUtime=0.09
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 2928 0 0 0 5 4 0 0 20 0 1 0 9144724 12443648 2240 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 3038 2240 327 719 0 2317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12152

[startup+0.300915 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14796
/proc/meminfo: memFree=1740576/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=14300 CPUtime=0.29
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 5092 0 0 0 20 9 0 0 20 0 1 0 9144724 14643200 2862 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 3575 2862 394 719 0 2854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14300

[startup+0.700942 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14796
/proc/meminfo: memFree=1740576/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=16216 CPUtime=0.69
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 5550 0 0 0 55 14 0 0 21 0 1 0 9144724 16605184 3320 1992294400 4194304 7136930 140734003065600 18446744073709551615 4703475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 4054 3320 394 719 0 3333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16216

[startup+1.501 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1727176/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=20292 CPUtime=1.49
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 6569 0 0 0 127 22 0 0 23 0 1 0 9144724 20779008 4339 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 5073 4339 394 719 0 4352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20292

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1721968/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=26804 CPUtime=3.09
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 8198 0 0 0 271 38 0 0 25 0 1 0 9144724 27447296 5968 1992294400 4194304 7136930 140734003065600 18446744073709551615 4643237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 6701 5968 394 719 0 5980 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26804

[startup+6.30035 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1711180/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=36004 CPUtime=6.29
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 10457 0 0 0 565 64 0 0 25 0 1 0 9144724 36868096 8227 1992294400 4194304 7136930 140734003065600 18446744073709551615 5909004 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14796/statm: 9001 8227 394 719 0 8280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36004

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1696548/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=49628 CPUtime=12.69
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 13845 0 0 0 1156 113 0 0 25 0 1 0 9144724 50819072 11615 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 12407 11615 394 719 0 11686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49628

[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1666044/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=79088 CPUtime=25.48
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 21099 0 0 0 2346 202 0 0 25 0 1 0 9144724 80986112 18869 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 19772 18869 394 719 0 19051 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79088

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 14797
/proc/meminfo: memFree=1622148/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=126896 CPUtime=51.07
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 32489 0 0 0 4730 377 0 0 25 0 1 0 9144724 129941504 30259 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 31724 30259 394 719 0 31003 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126896

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 3/107 14799
/proc/meminfo: memFree=1550972/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=198560 CPUtime=102.26
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 50058 0 0 0 9547 679 0 0 25 0 1 0 9144724 203325440 47828 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 49640 47828 394 719 0 48919 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 198560

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14801
/proc/meminfo: memFree=1482524/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=267844 CPUtime=162.24
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 67163 0 0 0 15207 1017 0 0 25 0 1 0 9144724 274272256 64933 1992294400 4194304 7136930 140734003065600 18446744073709551615 4852088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 66961 64933 394 719 0 66240 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 267844

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14803
/proc/meminfo: memFree=1374520/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=375760 CPUtime=222.22
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 93868 0 0 0 20828 1394 0 0 25 0 1 0 9144724 384778240 91638 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 93940 91638 394 719 0 93219 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 375760

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14803
/proc/meminfo: memFree=1278420/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=474824 CPUtime=282.2
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 117705 0 0 0 26457 1763 0 0 25 0 1 0 9144724 486219776 115475 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 118706 115475 394 719 0 117985 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 474824

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14805
/proc/meminfo: memFree=1197572/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=556156 CPUtime=342.19
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 138079 0 0 0 32114 2105 0 0 25 0 1 0 9144724 569503744 135849 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 139039 135849 394 719 0 138318 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 556156

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14816
/proc/meminfo: memFree=1117716/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=637584 CPUtime=402.15
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 158017 0 0 0 37779 2436 0 0 25 0 1 0 9144724 652886016 155787 1992294400 4194304 7136930 140734003065600 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 159396 155787 394 719 0 158675 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 637584

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14818
/proc/meminfo: memFree=1033396/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=721564 CPUtime=462.14
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 178709 0 0 0 43443 2771 0 0 25 0 1 0 9144724 738881536 176479 1992294400 4194304 7136930 140734003065600 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 180391 176479 394 719 0 179670 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 721564

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14820
/proc/meminfo: memFree=963832/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=791844 CPUtime=522.11
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 196439 0 0 0 49116 3095 0 0 25 0 1 0 9144724 810848256 194209 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 197961 194209 394 719 0 197240 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 791844

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14820
/proc/meminfo: memFree=894144/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=867436 CPUtime=582.1
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 213438 0 0 0 54811 3399 0 0 25 0 1 0 9144724 888254464 211208 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 216859 211208 394 719 0 216138 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 867436

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 14822
/proc/meminfo: memFree=830780/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=929320 CPUtime=642.09
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 229210 0 0 0 60504 3705 0 0 25 0 1 0 9144724 951623680 226980 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 232330 226980 394 719 0 231609 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 929320

[startup+702.301 s]

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

/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 321948 0 0 0 100618 5580 0 0 25 0 1 0 9144724 1332150272 319718 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 325232 319718 394 719 0 324511 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1300928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14836
/proc/meminfo: memFree=419472/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1338876 CPUtime=1121.96
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 331669 0 0 0 106363 5833 0 0 25 0 1 0 9144724 1371009024 329439 1992294400 4194304 7136930 140734003065600 18446744073709551615 6349919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 334719 329439 394 719 0 333998 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1338876

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14836
/proc/meminfo: memFree=388844/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1369308 CPUtime=1181.95
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 339365 0 0 0 112150 6045 0 0 25 0 1 0 9144724 1402171392 337135 1992294400 4194304 7136930 140734003065600 18446744073709551615 4221002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 342327 337135 394 719 0 341606 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1369308

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14838
/proc/meminfo: memFree=354744/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1402572 CPUtime=1241.93
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 347744 0 0 0 117942 6251 0 0 25 0 1 0 9144724 1436233728 345514 1992294400 4194304 7136930 140734003065600 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 350643 345514 394 719 0 349922 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1402572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14840
/proc/meminfo: memFree=325356/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1431556 CPUtime=1301.92
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 355040 0 0 0 123732 6460 0 0 25 0 1 0 9144724 1465913344 352810 1992294400 4194304 7136930 140734003065600 18446744073709551615 4431705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 357889 352810 394 719 0 357168 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1431556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14842
/proc/meminfo: memFree=293984/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1463860 CPUtime=1361.89
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 365675 0 0 0 129524 6665 0 0 25 0 1 0 9144724 1498992640 360670 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 365965 360670 394 719 0 365244 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1463860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14844
/proc/meminfo: memFree=289272/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1470280 CPUtime=1421.89
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 366827 0 0 0 135422 6767 0 0 25 0 1 0 9144724 1505566720 361822 1992294400 4194304 7136930 140734003065600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 367570 361822 394 719 0 366849 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1470280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14844
/proc/meminfo: memFree=287660/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1471728 CPUtime=1481.86
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 367206 0 0 0 141298 6888 0 0 25 0 1 0 9144724 1507049472 362201 1992294400 4194304 7136930 140734003065600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 367932 362201 394 719 0 367211 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1471728

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14846
/proc/meminfo: memFree=286296/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1472920 CPUtime=1541.84
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 367526 0 0 0 147172 7012 0 0 25 0 1 0 9144724 1508270080 362521 1992294400 4194304 7136930 140734003065600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 368230 362521 394 719 0 367509 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1472920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14848
/proc/meminfo: memFree=284436/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1474732 CPUtime=1601.82
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 367984 0 0 0 153048 7134 0 0 25 0 1 0 9144724 1510125568 362979 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 368683 362979 394 719 0 367962 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1474732

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14850
/proc/meminfo: memFree=284436/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1474732 CPUtime=1661.8
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 367987 0 0 0 158930 7250 0 0 25 0 1 0 9144724 1510125568 362982 1992294400 4194304 7136930 140734003065600 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 368683 362982 394 719 0 367962 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1474732

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14852
/proc/meminfo: memFree=283444/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1476056 CPUtime=1721.79
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368202 0 0 0 164806 7373 0 0 25 0 1 0 9144724 1511481344 363197 1992294400 4194304 7136930 140734003065600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 369014 363197 394 719 0 368293 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1476056

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14852
/proc/meminfo: memFree=282948/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1476556 CPUtime=1781.77
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368265 0 0 0 170654 7523 0 0 25 0 1 0 9144724 1511993344 363260 1992294400 4194304 7136930 140734003065600 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 369139 363260 394 719 0 368418 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1476556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 4/107 14854
/proc/meminfo: memFree=282700/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1476816 CPUtime=1800.08
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368330 0 0 0 172442 7566 0 0 25 0 1 0 9144724 1512259584 363325 1992294400 4194304 7136930 140734003065600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14796/statm: 369204 363325 394 719 0 368483 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1476816

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14796

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 4/107 14854
/proc/meminfo: memFree=282700/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1476816 CPUtime=1800.87
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368335 0 0 0 172520 7567 0 0 25 0 1 0 9144724 1512259584 363330 1992294400 4194304 7136930 140734003065600 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14796/statm: 369204 363330 399 719 0 368483 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 1476816

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14855
/proc/meminfo: memFree=282568/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1472724 CPUtime=1801.67
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368335 0 0 0 172600 7567 0 0 25 0 1 0 9144724 1508069376 362482 1992294400 4194304 7136930 140734003065600 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14796/statm: 368181 362482 399 719 0 367460 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 1472724

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14855
/proc/meminfo: memFree=282568/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=1469652 CPUtime=1802.07
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4202496 368335 0 0 0 172640 7567 0 0 25 0 1 0 9144724 1504923648 361787 1992294400 4194304 7136930 140734003065600 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14796/statm: 367413 361787 399 719 0 366692 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1469652

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14855
/proc/meminfo: memFree=282568/2059040 swapFree=4192956/4192956
[pid=14796] ppid=14794 vsize=0 CPUtime=1802.16
/proc/14796/stat : 14796 (pbscip.linux.x8) R 14794 14796 14137 0 -1 4203524 368335 0 0 0 172641 7575 0 0 25 0 1 0 9144724 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14796/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.23
CPU user time (s): 1726.42
CPU system time (s): 75.8095
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1477608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.42
system time used= 75.8095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368335
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= 6
involuntary context switches= 21486

runsolver used 2.98355 second user time and 8.5357 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-16 10:54:57
IDJOB=2663440
IDBENCH=48318
IDSOLVER=1167
FILE ID=node034/2663440-1276678497
PBS_JOBID= 11172530
Free space on /tmp= 62516 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_50_10_1_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-2663440-1276678497/watcher-2663440-1276678497 -o /tmp/evaluation-result-2663440-1276678497/solver-2663440-1276678497 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663440-1276678497.opb -t 1800 -m 1800

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

MD5SUM BENCH= c7cfddeeb3bb3e7896ee6eefe7e9ac17
RANDOM SEED=1434871919

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1741104 kB
Buffers:         69336 kB
Cached:         123272 kB
SwapCached:          0 kB
Active:         122456 kB
Inactive:       129816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1741104 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3280 kB
Writeback:           0 kB
AnonPages:       59660 kB
Mapped:          15396 kB
Slab:            43996 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182544 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= 62512 MiB
End job on node034 at 2010-06-16 11:24:59