Trace number 2663415

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.65

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
MD5SUM18f5400970ad464f730a15f23e03dd22
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)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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-2663415-1276675836.opb>
0.00/0.02	c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 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.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5028 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  5028 implications, 100 cliques
0.19/0.20	c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 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     616 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 = 1799.99
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.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/nlp/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/objpscostdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.21	c # [type: real, range: [0,1], default: 0.01]
0.19/0.21	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/oneopt/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/pscostdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c heuristics/rens/freq = -1
0.19/0.21	c 
0.19/0.21	c # minimum percentage of integer variables that have to be fixable 
0.19/0.21	c # [type: real, range: [0,1], default: 0.5]
0.19/0.21	c heuristics/rens/minfixingrate = 0.3
0.19/0.21	c 
0.19/0.21	c # number of nodes added to the contingent of the total nodes
0.19/0.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21	c heuristics/rens/nodesofs = 2000
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/rootsoldiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/rounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/shifting/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/simplerounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c heuristics/trivial/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/trysol/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/veclendiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/zirounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/cmir/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/flowcover/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	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 |     - |2039k|   0 |   - | 716 | 768 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.26	c   2.9s| 10000 |  8139 |     0 |   0.0 |  11M|  78 |   - | 716 |1283 |   0 |   0 |   0 |1341 |   0 | 0.000000e+00 |      --      |    Inf 
7.19/7.23	c   6.5s| 20000 | 12975 |     0 |   0.0 |  18M|  78 |   - | 716 |2190 |   0 |   0 |   0 |4466 |   0 | 0.000000e+00 |      --      |    Inf 
11.39/11.41	c  10.3s| 30000 | 18013 |     0 |   0.0 |  26M|  78 |   - | 716 |1655 |   0 |   0 |   0 |7489 |   0 | 0.000000e+00 |      --      |    Inf 
15.39/15.43	c  14.1s| 40000 | 25104 |     0 |   0.0 |  35M|  78 |   - | 716 |1910 |   0 |   0 |   0 |9080 |   0 | 0.000000e+00 |      --      |    Inf 
19.58/19.68	c  18.0s| 50000 | 31325 |     0 |   0.0 |  43M|  78 |   - | 716 |2109 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
24.09/24.12	c  22.2s| 60000 | 37142 |     0 |   0.0 |  51M|  78 |   - | 716 |2296 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
28.59/28.69	c  26.4s| 70000 | 42663 |     0 |   0.0 |  59M|  78 |   - | 716 |2388 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
33.29/33.36	c  30.7s| 80000 | 47991 |     0 |   0.0 |  67M|  78 |   - | 716 |2510 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
38.08/38.16	c  35.2s| 90000 | 53110 |     0 |   0.0 |  75M|  78 |   - | 716 |2653 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
43.18/43.24	c  39.9s|100000 | 57807 |     0 |   0.0 |  82M|  78 |   - | 716 |2832 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
48.18/48.29	c  44.6s|110000 | 62520 |     0 |   0.0 |  90M|  78 |   - | 716 |2842 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
53.38/53.48	c  49.5s|120000 | 67042 |     0 |   0.0 |  97M|  78 |   - | 716 |2924 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
58.77/58.84	c  54.5s|130000 | 71278 |     0 |   0.0 | 105M|  78 |   - | 716 |3090 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
64.27/64.35	c  59.7s|140000 | 75289 |     0 |   0.0 | 112M|  78 |   - | 716 |3277 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
69.97/70.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.97/70.01	c  65.0s|150000 | 79123 |     0 |   0.0 | 119M|  78 |   - | 716 |3331 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
75.77/75.80	c  70.5s|160000 | 82717 |     0 |   0.0 | 126M|  78 |   - | 716 |3385 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
81.67/81.73	c  76.1s|170000 | 85962 |     0 |   0.0 | 133M|  78 |   - | 716 |3628 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
87.77/87.85	c  81.8s|180000 | 89014 |     0 |   0.0 | 140M|  78 |   - | 716 |3528 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
94.07/94.12	c  87.7s|190000 | 91800 |     0 |   0.0 | 146M|  78 |   - | 716 |3979 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
100.46/100.59	c  93.8s|200000 | 94405 |     0 |   0.0 | 153M|  78 |   - | 716 |4170 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
107.27/107.34	c   100s|210000 | 96769 |     0 |   0.0 | 160M|  78 |   - | 716 |4546 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
114.56/114.65	c   107s|220000 | 98823 |     0 |   0.0 | 167M|  78 |   - | 716 |5242 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
121.56/121.65	c   114s|230000 |101144 |     0 |   0.0 | 173M|  78 |   - | 716 |5657 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
128.76/128.83	c   121s|240000 |103013 |     0 |   0.0 | 179M|  78 |   - | 716 |6201 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
135.96/136.06	c   127s|250000 |104939 |     0 |   0.0 | 185M|  78 |   - | 716 |6752 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
143.46/143.54	c   135s|260000 |106516 |     0 |   0.0 | 191M|  78 |   - | 716 |7193 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
150.25/150.30	c   141s|270000 |108497 |     0 |   0.0 | 195M|  78 |   - | 716 |7438 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
156.65/156.70	c   147s|280000 |112021 |     0 |   0.0 | 201M|  78 |   - | 716 |3221 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
161.25/161.39	c   151s|290000 |118565 |     0 |   0.0 | 209M|  78 |   - | 716 |2911 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
166.05/166.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
166.05/166.16	c   156s|300000 |124693 |     0 |   0.0 | 218M|  78 |   - | 716 |2925 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
170.85/170.90	c   160s|310000 |130672 |     0 |   0.0 | 226M|  78 |   - | 716 |2953 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
175.65/175.70	c   165s|320000 |136819 |     0 |   0.0 | 234M|  78 |   - | 716 |2999 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
180.45/180.54	c   169s|330000 |142697 |     0 |   0.0 | 242M|  78 |   - | 716 |3197 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
185.44/185.56	c   174s|340000 |148315 |     0 |   0.0 | 250M|  78 |   - | 716 |3461 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
190.54/190.64	c   179s|350000 |153969 |     0 |   0.0 | 258M|  78 |   - | 716 |3479 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
195.65/195.78	c   184s|360000 |159403 |     0 |   0.0 | 266M|  78 |   - | 716 |3697 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
200.85/200.96	c   188s|370000 |164976 |     0 |   0.0 | 273M|  78 |   - | 716 |3560 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
206.04/206.13	c   193s|380000 |170387 |     0 |   0.0 | 281M|  78 |   - | 716 |3765 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
211.34/211.47	c   198s|390000 |175772 |     0 |   0.0 | 289M|  78 |   - | 716 |3773 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
216.64/216.72	c   203s|400000 |181239 |     0 |   0.0 | 297M|  78 |   - | 716 |3453 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
222.04/222.14	c   208s|410000 |186403 |     0 |   0.0 | 305M|  78 |   - | 716 |3822 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
227.43/227.56	c   214s|420000 |191632 |     0 |   0.0 | 312M|  78 |   - | 716 |3823 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
232.83/232.96	c   219s|430000 |196922 |     0 |   0.0 | 320M|  78 |   - | 716 |3769 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
238.23/238.31	c   224s|440000 |202124 |     0 |   0.0 | 328M|  78 |   - | 716 |3846 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
243.73/243.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
243.73/243.86	c   229s|450000 |207260 |     0 |   0.0 | 336M|  78 |   - | 716 |4149 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
249.33/249.45	c   234s|460000 |212455 |     0 |   0.0 | 343M|  78 |   - | 716 |3943 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
254.83/254.98	c   239s|470000 |217601 |     0 |   0.0 | 351M|  78 |   - | 716 |3838 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
260.42/260.52	c   245s|480000 |222693 |     0 |   0.0 | 359M|  78 |   - | 716 |4000 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
266.13/266.24	c   250s|490000 |227657 |     0 |   0.0 | 366M|  78 |   - | 716 |4090 |   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
271.83/271.94	c   255s|500000 |232691 |     0 |   0.0 | 374M|  78 |   - | 716 |4144 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
277.52/277.65	c   261s|510000 |237656 |     0 |   0.0 | 381M|  78 |   - | 716 |4062 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
283.23/283.30	c   266s|520000 |242615 |     0 |   0.0 | 389M|  78 |   - | 716 |4040 |   0 |   0 |   0 | 150k|   0 | 0.000000e+00 |      --      |    Inf 
288.92/289.09	c   272s|530000 |247532 |     0 |   0.0 | 397M|  78 |   - | 716 |4333 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 |      --      |    Inf 
294.73/294.89	c   277s|540000 |252423 |     0 |   0.0 | 404M|  78 |   - | 716 |4252 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
300.72/300.80	c   283s|550000 |257184 |     0 |   0.0 | 412M|  78 |   - | 716 |4361 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
306.52/306.64	c   288s|560000 |262055 |     0 |   0.0 | 419M|  78 |   - | 716 |4294 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
312.22/312.39	c   294s|570000 |267007 |     0 |   0.0 | 427M|  78 |   - | 716 |4216 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
318.12/318.28	c   299s|580000 |271818 |     0 |   0.0 | 435M|  78 |   - | 716 |4335 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
324.12/324.21	c   305s|590000 |276630 |     0 |   0.0 | 442M|  78 |   - | 716 |4382 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
330.01/330.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
330.01/330.16	c   310s|600000 |281292 |     0 |   0.0 | 450M|  78 |   - | 716 |4400 |   0 |   0 |   0 | 171k|   0 | 0.000000e+00 |      --      |    Inf 
336.01/336.18	c   316s|610000 |286011 |     0 |   0.0 | 457M|  78 |   - | 716 |4504 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 |      --      |    Inf 
342.02/342.18	c   322s|620000 |290699 |     0 |   0.0 | 465M|  78 |   - | 716 |4480 |   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
348.11/348.25	c   327s|630000 |295345 |     0 |   0.0 | 472M|  78 |   - | 716 |4566 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
354.20/354.39	c   333s|640000 |299910 |     0 |   0.0 | 480M|  78 |   - | 716 |4723 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
360.40/360.56	c   339s|650000 |304497 |     0 |   0.0 | 487M|  78 |   - | 716 |4699 |   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
366.60/366.72	c   345s|660000 |309150 |     0 |   0.0 | 495M|  78 |   - | 716 |4711 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 |      --      |    Inf 
372.71/372.89	c   351s|670000 |313719 |     0 |   0.0 | 502M|  78 |   - | 716 |4802 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
378.91/379.06	c   357s|680000 |318428 |     0 |   0.0 | 510M|  78 |   - | 716 |4712 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
385.20/385.39	c   363s|690000 |322900 |     0 |   0.0 | 517M|  78 |   - | 716 |4758 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 |      --      |    Inf 
391.60/391.72	c   369s|700000 |327377 |     0 |   0.0 | 525M|  78 |   - | 716 |4758 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
397.90/398.05	c   375s|710000 |331886 |     0 |   0.0 | 532M|  78 |   - | 716 |4845 |   0 |   0 |   0 | 200k|   0 | 0.000000e+00 |      --      |    Inf 
404.30/404.46	c   381s|720000 |336295 |     0 |   0.0 | 540M|  78 |   - | 716 |4916 |   0 |   0 |   0 | 203k|   0 | 0.000000e+00 |      --      |    Inf 
410.69/410.88	c   387s|730000 |340732 |     0 |   0.0 | 547M|  78 |   - | 716 |5064 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 |      --      |    Inf 
417.09/417.29	c   393s|740000 |345193 |     0 |   0.0 | 554M|  78 |   - | 716 |4934 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
423.59/423.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
423.59/423.70	c   399s|750000 |349587 |     0 |   0.0 | 562M|  78 |   - | 716 |4914 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
430.09/430.27	c   405s|760000 |353813 |     0 |   0.0 | 569M|  78 |   - | 716 |5052 |   0 |   0 |   0 | 214k|   0 | 0.000000e+00 |      --      |    Inf 
436.59/436.77	c   411s|770000 |358207 |     0 |   0.0 | 576M|  78 |   - | 716 |5062 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
443.09/443.28	c   418s|780000 |362543 |     0 |   0.0 | 584M|  78 |   - | 716 |5365 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
449.88/450.02	c   424s|790000 |366766 |     0 |   0.0 | 591M|  78 |   - | 716 |5388 |   0 |   0 |   0 | 223k|   0 | 0.000000e+00 |      --      |    Inf 
456.49/456.64	c   430s|800000 |371067 |     0 |   0.0 | 599M|  78 |   - | 716 |5266 |   0 |   0 |   0 | 226k|   0 | 0.000000e+00 |      --      |    Inf 
463.18/463.34	c   437s|810000 |375289 |     0 |   0.0 | 606M|  78 |   - | 716 |5155 |   0 |   0 |   0 | 229k|   0 | 0.000000e+00 |      --      |    Inf 
469.98/470.15	c   443s|820000 |379400 |     0 |   0.0 | 614M|  78 |   - | 716 |5200 |   0 |   0 |   0 | 231k|   0 | 0.000000e+00 |      --      |    Inf 
476.78/476.90	c   449s|830000 |383572 |     0 |   0.0 | 621M|  78 |   - | 716 |5479 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
483.68/483.81	c   456s|840000 |387717 |     0 |   0.0 | 628M|  78 |   - | 716 |5343 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
490.48/490.64	c   462s|850000 |391869 |     0 |   0.0 | 636M|  78 |   - | 716 |5517 |   0 |   0 |   0 | 240k|   0 | 0.000000e+00 |      --      |    Inf 
497.38/497.57	c   469s|860000 |396041 |     0 |   0.0 | 643M|  78 |   - | 716 |5546 |   0 |   0 |   0 | 243k|   0 | 0.000000e+00 |      --      |    Inf 
504.38/504.53	c   476s|870000 |400135 |     0 |   0.0 | 650M|  78 |   - | 716 |5582 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
511.17/511.31	c   482s|880000 |404335 |     0 |   0.0 | 657M|  78 |   - | 716 |5450 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
518.17/518.39	c   489s|890000 |408276 |     0 |   0.0 | 665M|  78 |   - | 716 |5543 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
525.37/525.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
525.37/525.51	c   496s|900000 |412138 |     0 |   0.0 | 672M|  78 |   - | 716 |5667 |   0 |   0 |   0 | 255k|   0 | 0.000000e+00 |      --      |    Inf 
532.46/532.60	c   503s|910000 |416115 |     0 |   0.0 | 679M|  78 |   - | 716 |5698 |   0 |   0 |   0 | 258k|   0 | 0.000000e+00 |      --      |    Inf 
539.57/539.76	c   509s|920000 |420039 |     0 |   0.0 | 687M|  78 |   - | 716 |5900 |   0 |   0 |   0 | 261k|   0 | 0.000000e+00 |      --      |    Inf 
546.87/547.04	c   516s|930000 |424015 |     0 |   0.0 | 694M|  78 |   - | 716 |5833 |   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
554.06/554.21	c   523s|940000 |427929 |     0 |   0.0 | 701M|  78 |   - | 716 |6000 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
561.17/561.37	c   530s|950000 |431956 |     0 |   0.0 | 708M|  78 |   - | 716 |5883 |   0 |   0 |   0 | 270k|   0 | 0.000000e+00 |      --      |    Inf 
568.36/568.57	c   537s|960000 |435823 |     0 |   0.0 | 716M|  78 |   - | 716 |5753 |   0 |   0 |   0 | 273k|   0 | 0.000000e+00 |      --      |    Inf 
575.56/575.73	c   544s|970000 |439712 |     0 |   0.0 | 723M|  78 |   - | 716 |5871 |   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
582.95/583.13	c   551s|980000 |443420 |     0 |   0.0 | 730M|  78 |   - | 716 |5866 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 |      --      |    Inf 
590.35/590.54	c   558s|990000 |447212 |     0 |   0.0 | 737M|  78 |   - | 716 |5934 |   0 |   0 |   0 | 282k|   0 | 0.000000e+00 |      --      |    Inf 
597.76/597.98	c   565s|  1000k|450964 |     0 |   0.0 | 745M|  78 |   - | 716 |6131 |   0 |   0 |   0 | 285k|   0 | 0.000000e+00 |      --      |    Inf 
605.26/605.41	c   572s|  1010k|454779 |     0 |   0.0 | 752M|  78 |   - | 716 |6086 |   0 |   0 |   0 | 288k|   0 | 0.000000e+00 |      --      |    Inf 
612.65/612.80	c   579s|  1020k|458645 |     0 |   0.0 | 759M|  78 |   - | 716 |6131 |   0 |   0 |   0 | 291k|   0 | 0.000000e+00 |      --      |    Inf 
620.04/620.21	c   586s|  1030k|462476 |     0 |   0.0 | 766M|  78 |   - | 716 |6129 |   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
627.54/627.76	c   593s|  1040k|466168 |     0 |   0.0 | 773M|  78 |   - | 716 |6152 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 |      --      |    Inf 
634.94/635.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
634.94/635.18	c   600s|  1050k|469894 |     0 |   0.0 | 780M|  78 |   - | 716 |6226 |   0 |   0 |   0 | 301k|   0 | 0.000000e+00 |      --      |    Inf 
642.65/642.82	c   608s|  1060k|473499 |     0 |   0.0 | 787M|  78 |   - | 716 |6219 |   0 |   0 |   0 | 304k|   0 | 0.000000e+00 |      --      |    Inf 
650.44/650.61	c   615s|  1070k|477064 |     0 |   0.0 | 794M|  78 |   - | 716 |6202 |   0 |   0 |   0 | 307k|   0 | 0.000000e+00 |      --      |    Inf 
658.24/658.42	c   623s|  1080k|480584 |     0 |   0.0 | 801M|  78 |   - | 716 |6539 |   0 |   0 |   0 | 310k|   0 | 0.000000e+00 |      --      |    Inf 
666.14/666.35	c   630s|  1090k|484096 |     0 |   0.0 | 808M|  78 |   - | 716 |6448 |   0 |   0 |   0 | 314k|   0 | 0.000000e+00 |      --      |    Inf 
673.94/674.10	c   638s|  1100k|487748 |     0 |   0.0 | 815M|  78 |   - | 716 |6469 |   0 |   0 |   0 | 317k|   0 | 0.000000e+00 |      --      |    Inf 
681.74/681.90	c   645s|  1110k|491358 |     0 |   0.0 | 823M|  78 |   - | 716 |6562 |   0 |   0 |   0 | 320k|   0 | 0.000000e+00 |      --      |    Inf 
689.54/689.78	c   653s|  1120k|494906 |     0 |   0.0 | 830M|  78 |   - | 716 |6458 |   0 |   0 |   0 | 323k|   0 | 0.000000e+00 |      --      |    Inf 
697.54/697.72	c   660s|  1130k|498437 |     0 |   0.0 | 837M|  78 |   - | 716 |6632 |   0 |   0 |   0 | 326k|   0 | 0.000000e+00 |      --      |    Inf 
705.43/705.62	c   668s|  1140k|501883 |     0 |   0.0 | 844M|  78 |   - | 716 |6573 |   0 |   0 |   0 | 330k|   0 | 0.000000e+00 |      --      |    Inf 
713.13/713.38	c   675s|  1150k|505402 |     0 |   0.0 | 850M|  78 |   - | 716 |6558 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 |      --      |    Inf 
721.33/721.58	c   683s|  1160k|508692 |     0 |   0.0 | 857M|  78 |   - | 716 |6648 |   0 |   0 |   0 | 336k|   0 | 0.000000e+00 |      --      |    Inf 
729.53/729.79	c   691s|  1170k|512002 |     0 |   0.0 | 865M|  78 |   - | 716 |6790 |   0 |   0 |   0 | 339k|   0 | 0.000000e+00 |      --      |    Inf 
737.83/738.08	c   699s|  1180k|515376 |     0 |   0.0 | 872M|  78 |   - | 716 |6690 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 |      --      |    Inf 
745.92/746.16	c   707s|  1190k|518800 |     0 |   0.0 | 879M|  78 |   - | 716 |6729 |   0 |   0 |   0 | 346k|   0 | 0.000000e+00 |      --      |    Inf 
754.02/754.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
754.02/754.25	c   714s|  1200k|522218 |     0 |   0.0 | 886M|  78 |   - | 716 |6928 |   0 |   0 |   0 | 349k|   0 | 0.000000e+00 |      --      |    Inf 
762.32/762.56	c   722s|  1210k|525467 |     0 |   0.0 | 892M|  78 |   - | 716 |6981 |   0 |   0 |   0 | 352k|   0 | 0.000000e+00 |      --      |    Inf 
770.62/770.87	c   730s|  1220k|528729 |     0 |   0.0 | 899M|  78 |   - | 716 |6839 |   0 |   0 |   0 | 356k|   0 | 0.000000e+00 |      --      |    Inf 
778.92/779.14	c   738s|  1230k|531999 |     0 |   0.0 | 906M|  78 |   - | 716 |6894 |   0 |   0 |   0 | 359k|   0 | 0.000000e+00 |      --      |    Inf 
787.01/787.20	c   746s|  1240k|535344 |     0 |   0.0 | 913M|  78 |   - | 716 |7075 |   0 |   0 |   0 | 363k|   0 | 0.000000e+00 |      --      |    Inf 
795.41/795.66	c   754s|  1250k|538468 |     0 |   0.0 | 920M|  78 |   - | 716 |6814 |   0 |   0 |   0 | 366k|   0 | 0.000000e+00 |      --      |    Inf 
804.01/804.22	c   762s|  1260k|541531 |     0 |   0.0 | 927M|  78 |   - | 716 |7103 |   0 |   0 |   0 | 369k|   0 | 0.000000e+00 |      --      |    Inf 
812.61/812.86	c   771s|  1270k|544675 |     0 |   0.0 | 934M|  78 |   - | 716 |7028 |   0 |   0 |   0 | 372k|   0 | 0.000000e+00 |      --      |    Inf 
821.11/821.38	c   779s|  1280k|547830 |     0 |   0.0 | 941M|  78 |   - | 716 |7049 |   0 |   0 |   0 | 375k|   0 | 0.000000e+00 |      --      |    Inf 
829.60/829.89	c   787s|  1290k|550966 |     0 |   0.0 | 948M|  78 |   - | 716 |7415 |   0 |   0 |   0 | 379k|   0 | 0.000000e+00 |      --      |    Inf 
838.50/838.76	c   795s|  1300k|553941 |     0 |   0.0 | 955M|  78 |   - | 716 |7295 |   0 |   0 |   0 | 382k|   0 | 0.000000e+00 |      --      |    Inf 
847.30/847.51	c   804s|  1310k|556933 |     0 |   0.0 | 961M|  78 |   - | 716 |7193 |   0 |   0 |   0 | 386k|   0 | 0.000000e+00 |      --      |    Inf 
856.00/856.22	c   812s|  1320k|559922 |     0 |   0.0 | 968M|  78 |   - | 716 |7212 |   0 |   0 |   0 | 389k|   0 | 0.000000e+00 |      --      |    Inf 
864.59/864.88	c   820s|  1330k|562993 |     0 |   0.0 | 975M|  78 |   - | 716 |7305 |   0 |   0 |   0 | 393k|   0 | 0.000000e+00 |      --      |    Inf 
873.10/873.40	c   829s|  1340k|566152 |     0 |   0.0 | 982M|  78 |   - | 716 |7407 |   0 |   0 |   0 | 396k|   0 | 0.000000e+00 |      --      |    Inf 
882.19/882.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
882.19/882.47	c   837s|  1350k|568916 |     0 |   0.0 | 988M|  78 |   - | 716 |7328 |   0 |   0 |   0 | 400k|   0 | 0.000000e+00 |      --      |    Inf 
891.19/891.47	c   846s|  1360k|571686 |     0 |   0.0 | 995M|  78 |   - | 716 |7445 |   0 |   0 |   0 | 403k|   0 | 0.000000e+00 |      --      |    Inf 
900.28/900.57	c   855s|  1370k|574504 |     0 |   0.0 |1002M|  78 |   - | 716 |7349 |   0 |   0 |   0 | 406k|   0 | 0.000000e+00 |      --      |    Inf 
909.19/909.49	c   863s|  1380k|577372 |     0 |   0.0 |1009M|  78 |   - | 716 |7427 |   0 |   0 |   0 | 410k|   0 | 0.000000e+00 |      --      |    Inf 
918.30/918.52	c   872s|  1390k|580100 |     0 |   0.0 |1016M|  78 |   - | 716 |7503 |   0 |   0 |   0 | 413k|   0 | 0.000000e+00 |      --      |    Inf 
927.58/927.85	c   881s|  1400k|582746 |     0 |   0.0 |1022M|  78 |   - | 716 |7520 |   0 |   0 |   0 | 417k|   0 | 0.000000e+00 |      --      |    Inf 
936.68/936.97	c   890s|  1410k|585412 |     0 |   0.0 |1029M|  78 |   - | 716 |7808 |   0 |   0 |   0 | 420k|   0 | 0.000000e+00 |      --      |    Inf 
945.98/946.21	c   899s|  1420k|588111 |     0 |   0.0 |1036M|  78 |   - | 716 |7694 |   0 |   0 |   0 | 424k|   0 | 0.000000e+00 |      --      |    Inf 
954.88/955.11	c   907s|  1430k|591008 |     0 |   0.0 |1042M|  78 |   - | 716 |7685 |   0 |   0 |   0 | 428k|   0 | 0.000000e+00 |      --      |    Inf 
963.78/964.09	c   916s|  1440k|593820 |     0 |   0.0 |1049M|  78 |   - | 716 |7888 |   0 |   0 |   0 | 431k|   0 | 0.000000e+00 |      --      |    Inf 
973.37/973.63	c   925s|  1450k|596363 |     0 |   0.0 |1056M|  78 |   - | 716 |7730 |   0 |   0 |   0 | 435k|   0 | 0.000000e+00 |      --      |    Inf 
983.17/983.44	c   935s|  1460k|598801 |     0 |   0.0 |1063M|  78 |   - | 716 |7855 |   0 |   0 |   0 | 438k|   0 | 0.000000e+00 |      --      |    Inf 
992.77/993.05	c   944s|  1470k|601334 |     0 |   0.0 |1069M|  78 |   - | 716 |7853 |   0 |   0 |   0 | 441k|   0 | 0.000000e+00 |      --      |    Inf 
1002.27/1002.51	c   953s|  1480k|603918 |     0 |   0.0 |1076M|  78 |   - | 716 |7959 |   0 |   0 |   0 | 445k|   0 | 0.000000e+00 |      --      |    Inf 
1012.07/1012.35	c   962s|  1490k|606175 |     0 |   0.0 |1083M|  78 |   - | 716 |8025 |   0 |   0 |   0 | 448k|   0 | 0.000000e+00 |      --      |    Inf 
1021.86/1022.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.86/1022.15	c   972s|  1500k|608428 |     0 |   0.0 |1089M|  78 |   - | 716 |8115 |   0 |   0 |   0 | 452k|   0 | 0.000000e+00 |      --      |    Inf 
1031.57/1031.82	c   981s|  1510k|610852 |     0 |   0.0 |1096M|  78 |   - | 716 |8290 |   0 |   0 |   0 | 456k|   0 | 0.000000e+00 |      --      |    Inf 
1040.96/1041.28	c   990s|  1520k|613381 |     0 |   0.0 |1102M|  78 |   - | 716 |8358 |   0 |   0 |   0 | 460k|   0 | 0.000000e+00 |      --      |    Inf 
1050.45/1050.74	c   999s|  1530k|615933 |     0 |   0.0 |1109M|  78 |   - | 716 |8527 |   0 |   0 |   0 | 464k|   0 | 0.000000e+00 |      --      |    Inf 
1059.95/1060.25	c  1008s|  1540k|618431 |     0 |   0.0 |1115M|  78 |   - | 716 |8186 |   0 |   0 |   0 | 467k|   0 | 0.000000e+00 |      --      |    Inf 
1069.35/1069.65	c  1017s|  1550k|621103 |     0 |   0.0 |1122M|  78 |   - | 716 |8175 |   0 |   0 |   0 | 471k|   0 | 0.000000e+00 |      --      |    Inf 
1079.86/1080.10	c  1028s|  1560k|623070 |     0 |   0.0 |1128M|  78 |   - | 716 |8057 |   0 |   0 |   0 | 475k|   0 | 0.000000e+00 |      --      |    Inf 
1090.05/1090.32	c  1037s|  1570k|625190 |     0 |   0.0 |1135M|  78 |   - | 716 |8201 |   0 |   0 |   0 | 478k|   0 | 0.000000e+00 |      --      |    Inf 
1100.05/1100.39	c  1047s|  1580k|627441 |     0 |   0.0 |1141M|  78 |   - | 716 |8389 |   0 |   0 |   0 | 482k|   0 | 0.000000e+00 |      --      |    Inf 
1110.34/1110.61	c  1057s|  1590k|629381 |     0 |   0.0 |1148M|  78 |   - | 716 |8794 |   0 |   0 |   0 | 485k|   0 | 0.000000e+00 |      --      |    Inf 
1120.64/1120.96	c  1067s|  1600k|631376 |     0 |   0.0 |1154M|  78 |   - | 716 |9143 |   0 |   0 |   0 | 489k|   0 | 0.000000e+00 |      --      |    Inf 
1130.94/1131.21	c  1077s|  1610k|633506 |     0 |   0.0 |1161M|  78 |   - | 716 |9128 |   0 |   0 |   0 | 493k|   0 | 0.000000e+00 |      --      |    Inf 
1141.03/1141.30	c  1087s|  1620k|635719 |     0 |   0.0 |1167M|  78 |   - | 716 |9236 |   0 |   0 |   0 | 497k|   0 | 0.000000e+00 |      --      |    Inf 
1151.14/1151.49	c  1096s|  1630k|637913 |     0 |   0.0 |1174M|  78 |   - | 716 |9198 |   0 |   0 |   0 | 501k|   0 | 0.000000e+00 |      --      |    Inf 
1161.13/1161.49	c  1106s|  1640k|640241 |     0 |   0.0 |1180M|  78 |   - | 716 |9222 |   0 |   0 |   0 | 505k|   0 | 0.000000e+00 |      --      |    Inf 
1171.14/1171.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1171.14/1171.43	c  1116s|  1650k|642587 |     0 |   0.0 |1186M|  78 |   - | 716 |9269 |   0 |   0 |   0 | 509k|   0 | 0.000000e+00 |      --      |    Inf 
1181.53/1181.86	c  1126s|  1660k|644554 |     0 |   0.0 |1192M|  78 |   - | 716 |9029 |   0 |   0 |   0 | 513k|   0 | 0.000000e+00 |      --      |    Inf 
1192.62/1192.92	c  1136s|  1670k|646306 |     0 |   0.0 |1199M|  78 |   - | 716 |9083 |   0 |   0 |   0 | 517k|   0 | 0.000000e+00 |      --      |    Inf 
1203.42/1203.73	c  1147s|  1680k|648186 |     0 |   0.0 |1205M|  78 |   - | 716 |9162 |   0 |   0 |   0 | 520k|   0 | 0.000000e+00 |      --      |    Inf 
1214.32/1214.64	c  1157s|  1690k|649947 |     0 |   0.0 |1212M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 525k|   0 | 0.000000e+00 |      --      |    Inf 
1225.13/1225.42	c  1168s|  1700k|651825 |     0 |   0.0 |1218M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 529k|   0 | 0.000000e+00 |      --      |    Inf 
1236.21/1236.59	c  1179s|  1710k|653763 |     0 |   0.0 |1225M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 533k|   0 | 0.000000e+00 |      --      |    Inf 
1247.21/1247.53	c  1189s|  1720k|655848 |     0 |   0.0 |1232M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 538k|   0 | 0.000000e+00 |      --      |    Inf 
1257.91/1258.27	c  1200s|  1730k|657985 |     0 |   0.0 |1238M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 542k|   0 | 0.000000e+00 |      --      |    Inf 
1268.60/1268.94	c  1210s|  1740k|660267 |     0 |   0.0 |1244M|  78 |   - | 716 |  11k|   0 |   0 |   0 | 547k|   0 | 0.000000e+00 |      --      |    Inf 
1279.09/1279.46	c  1220s|  1750k|662571 |     0 |   0.0 |1251M|  78 |   - | 716 |  11k|   0 |   0 |   0 | 551k|   0 | 0.000000e+00 |      --      |    Inf 
1290.69/1291.07	c  1231s|  1760k|664300 |     0 |   0.0 |1257M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 555k|   0 | 0.000000e+00 |      --      |    Inf 
1303.19/1303.57	c  1243s|  1770k|665843 |     0 |   0.0 |1264M|  78 |   - | 716 |  10k|   0 |   0 |   0 | 560k|   0 | 0.000000e+00 |      --      |    Inf 
1314.99/1315.30	c  1255s|  1780k|667490 |     0 |   0.0 |1270M|  78 |   - | 716 |  11k|   0 |   0 |   0 | 564k|   0 | 0.000000e+00 |      --      |    Inf 
1326.69/1327.06	c  1266s|  1790k|669135 |     0 |   0.0 |1277M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 569k|   0 | 0.000000e+00 |      --      |    Inf 
1338.89/1339.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1338.89/1339.21	c  1278s|  1800k|670792 |     0 |   0.0 |1284M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 574k|   0 | 0.000000e+00 |      --      |    Inf 
1350.49/1350.89	c  1289s|  1810k|672740 |     0 |   0.0 |1290M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 578k|   0 | 0.000000e+00 |      --      |    Inf 
1362.28/1362.68	c  1300s|  1820k|674745 |     0 |   0.0 |1297M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 583k|   0 | 0.000000e+00 |      --      |    Inf 
1373.97/1374.32	c  1312s|  1830k|676834 |     0 |   0.0 |1303M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 587k|   0 | 0.000000e+00 |      --      |    Inf 
1385.27/1385.64	c  1323s|  1840k|679073 |     0 |   0.0 |1309M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 592k|   0 | 0.000000e+00 |      --      |    Inf 
1397.97/1398.38	c  1335s|  1850k|680720 |     0 |   0.0 |1316M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 596k|   0 | 0.000000e+00 |      --      |    Inf 
1411.57/1411.99	c  1348s|  1860k|682107 |     0 |   0.0 |1322M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 601k|   0 | 0.000000e+00 |      --      |    Inf 
1423.46/1423.86	c  1360s|  1870k|684044 |     0 |   0.0 |1328M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 606k|   0 | 0.000000e+00 |      --      |    Inf 
1434.56/1434.99	c  1371s|  1880k|686335 |     0 |   0.0 |1335M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 610k|   0 | 0.000000e+00 |      --      |    Inf 
1445.46/1445.84	c  1381s|  1890k|688723 |     0 |   0.0 |1341M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 615k|   0 | 0.000000e+00 |      --      |    Inf 
1455.96/1456.39	c  1391s|  1900k|691220 |     0 |   0.0 |1347M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 619k|   0 | 0.000000e+00 |      --      |    Inf 
1466.85/1467.28	c  1402s|  1910k|693640 |     0 |   0.0 |1353M|  78 |   - | 716 |  12k|   0 |   0 |   0 | 624k|   0 | 0.000000e+00 |      --      |    Inf 
1478.06/1478.42	c (node 1918987) switching to memory saving mode (mem: 1296.0M/1620.0M)
1479.65/1480.10	c  1414s|  1920k|694725 |     0 |   0.0 |1356M|  78 |   - | 716 |  13k|   0 |   0 |   0 | 629k|   0 | 0.000000e+00 |      --      |    Inf 
1490.75/1491.18	c  1425s|  1930k|693695 |     0 |   0.0 |1350M|  78 |   - | 716 |  14k|   0 |   0 |   0 | 634k|   0 | 0.000000e+00 |      --      |    Inf 
1510.85/1511.24	c  1444s|  1940k|691561 |     0 |   0.0 |1333M|  78 |   - | 716 |  17k|   0 |   0 |   0 | 641k|   0 | 0.000000e+00 |      --      |    Inf 
1532.24/1532.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1532.24/1532.63	c  1465s|  1950k|690024 |     0 |   0.0 |1321M|  78 |   - | 716 |  19k|   0 |   0 |   0 | 647k|   0 | 0.000000e+00 |      --      |    Inf 
1546.14/1546.57	c  1479s|  1960k|689735 |     0 |   0.0 |1320M|  78 |   - | 716 |  20k|   0 |   0 |   0 | 651k|   0 | 0.000000e+00 |      --      |    Inf 
1558.73/1559.16	c  1491s|  1970k|689621 |     0 |   0.0 |1321M|  78 |   - | 716 |  21k|   0 |   0 |   0 | 656k|   0 | 0.000000e+00 |      --      |    Inf 
1571.83/1572.20	c  1504s|  1980k|689522 |     0 |   0.0 |1321M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 660k|   0 | 0.000000e+00 |      --      |    Inf 
1584.43/1584.85	c  1516s|  1990k|689436 |     0 |   0.0 |1321M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 664k|   0 | 0.000000e+00 |      --      |    Inf 
1599.32/1599.76	c  1531s|  2000k|689208 |     0 |   0.0 |1319M|  78 |   - | 716 |  20k|   0 |   0 |   0 | 669k|   0 | 0.000000e+00 |      --      |    Inf 
1611.92/1612.36	c  1543s|  2010k|689007 |     0 |   0.0 |1317M|  78 |   - | 716 |  19k|   0 |   0 |   0 | 673k|   0 | 0.000000e+00 |      --      |    Inf 
1622.91/1623.34	c  1554s|  2020k|688954 |     0 |   0.0 |1318M|  78 |   - | 716 |  20k|   0 |   0 |   0 | 677k|   0 | 0.000000e+00 |      --      |    Inf 
1634.22/1634.67	c  1565s|  2030k|688907 |     0 |   0.0 |1318M|  78 |   - | 716 |  21k|   0 |   0 |   0 | 681k|   0 | 0.000000e+00 |      --      |    Inf 
1645.02/1645.48	c  1575s|  2040k|688872 |     0 |   0.0 |1319M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 685k|   0 | 0.000000e+00 |      --      |    Inf 
1657.51/1657.91	c  1587s|  2050k|688827 |     0 |   0.0 |1319M|  78 |   - | 716 |  23k|   0 |   0 |   0 | 689k|   0 | 0.000000e+00 |      --      |    Inf 
1669.91/1670.30	c  1599s|  2060k|688795 |     0 |   0.0 |1319M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 693k|   0 | 0.000000e+00 |      --      |    Inf 
1681.41/1681.87	c  1611s|  2070k|688757 |     0 |   0.0 |1319M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 697k|   0 | 0.000000e+00 |      --      |    Inf 
1693.40/1693.88	c  1622s|  2080k|688742 |     0 |   0.0 |1320M|  78 |   - | 716 |  24k|   0 |   0 |   0 | 701k|   0 | 0.000000e+00 |      --      |    Inf 
1707.50/1707.98	c  1636s|  2090k|688709 |     0 |   0.0 |1320M|  78 |   - | 716 |  24k|   0 |   0 |   0 | 705k|   0 | 0.000000e+00 |      --      |    Inf 
1719.90/1720.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1719.90/1720.33	c  1648s|  2100k|688676 |     0 |   0.0 |1319M|  78 |   - | 716 |  23k|   0 |   0 |   0 | 709k|   0 | 0.000000e+00 |      --      |    Inf 
1731.80/1732.24	c  1660s|  2110k|688658 |     0 |   0.0 |1320M|  78 |   - | 716 |  24k|   0 |   0 |   0 | 712k|   0 | 0.000000e+00 |      --      |    Inf 
1744.30/1744.77	c  1672s|  2120k|688619 |     0 |   0.0 |1320M|  78 |   - | 716 |  23k|   0 |   0 |   0 | 716k|   0 | 0.000000e+00 |      --      |    Inf 
1756.58/1757.00	c  1684s|  2130k|688594 |     0 |   0.0 |1320M|  78 |   - | 716 |  24k|   0 |   0 |   0 | 720k|   0 | 0.000000e+00 |      --      |    Inf 
1771.39/1771.83	c  1698s|  2140k|688472 |     0 |   0.0 |1318M|  78 |   - | 716 |  22k|   0 |   0 |   0 | 724k|   0 | 0.000000e+00 |      --      |    Inf 
1783.09/1783.55	c  1710s|  2150k|688352 |     0 |   0.0 |1316M|  78 |   - | 716 |  20k|   0 |   0 |   0 | 728k|   0 | 0.000000e+00 |      --      |    Inf 
1792.68/1793.14	c  1719s|  2160k|688318 |     0 |   0.0 |1316M|  78 |   - | 716 |  20k|   0 |   0 |   0 | 732k|   0 | 0.000000e+00 |      --      |    Inf 
1800.09/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.51	c 
1800.09/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.51	c Solving Time (sec) : 1726.16
1800.09/1800.51	c Solving Nodes      : 2167501
1800.09/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.51	c Gap                : infinite
1800.09/1800.51	s UNKNOWN
1800.09/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.51	c Solving Time       :    1726.16
1800.09/1800.51	c Original Problem   :
1800.09/1800.51	c   Problem name     : HOME/instance-2663415-1276675836.opb
1800.09/1800.51	c   Variables        : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.51	c   Constraints      : 768 initial, 768 maximal
1800.09/1800.51	c Presolved Problem  :
1800.09/1800.51	c   Problem name     : t_HOME/instance-2663415-1276675836.opb
1800.09/1800.51	c   Variables        : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.51	c   Constraints      : 768 initial, 25505 maximal
1800.09/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.51	c   and              :       0.09          0          0          0          0          0          0          0          0
1800.09/1800.51	c   linear           :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.51	c   knapsack         :          1          0    6249741          0    1448982      34567    5480389          0          0          0
1800.09/1800.51	c   setppc           :        100          0    6842093          0    1455931      36185     467954          0          0          0
1800.09/1800.51	c   and              :        616          0    6805908          0    1455931       1949   51036815          0          0          0
1800.09/1800.51	c   linear           :          1          0    6790923          0    1455931     641986    1012090          0          0          0
1800.09/1800.51	c   logicor          :         50+         0    2057846          0    1455568      51721   12524737          0          0          0
1800.09/1800.51	c   countsols        :          0          0          0          0    1455931          0          0          0          0          0
1800.09/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.51	c   knapsack         :      75.78       0.00      70.65       0.00       5.13
1800.09/1800.51	c   setppc           :      58.78       0.00      15.94       0.00      42.84
1800.09/1800.51	c   and              :     146.37       0.00     123.88       0.00      22.49
1800.09/1800.51	c   linear           :     182.32       0.00     181.22       0.00       1.10
1800.09/1800.51	c   logicor          :     529.71       0.00     525.79       0.00       3.92
1800.09/1800.51	c   countsols        :       0.73       0.00       0.00       0.00       0.73
1800.09/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.51	c   vbounds          :       3.65          1          0          0
1800.09/1800.51	c   rootredcost      :       3.48          0          0          0
1800.09/1800.51	c   pseudoobj        :       2.85          0          0          0
1800.09/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.51	c   propagation      :     119.39     766408     608738    3300122       53.3        338       67.3          -
1800.09/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.51	c   applied globally :          -          -          -     734487       46.6          -          -          -
1800.09/1800.51	c   applied locally  :          -          -          -        205       79.1          -          -          -
1800.09/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.51	c Pricers            :       Time      Calls       Vars
1800.09/1800.51	c   problem variables:       0.00          0          0
1800.09/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   inference        :      71.29    1455931          0          0          0          0    2911862
1800.09/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.51	c   LP solutions     :       0.00          -          0
1800.09/1800.51	c   pseudo solutions :       0.00          -          0
1800.09/1800.51	c   trivial          :       0.00          1          0
1800.09/1800.51	c   simplerounding   :       0.00          0          0
1800.09/1800.51	c   zirounding       :       0.00          0          0
1800.09/1800.51	c   rounding         :       0.00          0          0
1800.09/1800.51	c   shifting         :       0.00          0          0
1800.09/1800.51	c   intshifting      :       0.00          0          0
1800.09/1800.51	c   oneopt           :       0.00          0          0
1800.09/1800.51	c   twoopt           :       0.00          0          0
1800.09/1800.51	c   fixandinfer      :       0.00          0          0
1800.09/1800.51	c   feaspump         :       0.00          0          0
1800.09/1800.51	c   coefdiving       :       0.00          0          0
1800.09/1800.51	c   pscostdiving     :       0.00          0          0
1800.09/1800.51	c   fracdiving       :       0.00          0          0
1800.09/1800.51	c   veclendiving     :       0.00          0          0
1800.09/1800.51	c   intdiving        :       0.00          0          0
1800.09/1800.51	c   actconsdiving    :       0.00          0          0
1800.09/1800.51	c   objpscostdiving  :       0.00          0          0
1800.09/1800.51	c   rootsoldiving    :       0.00          0          0
1800.09/1800.51	c   linesearchdiving :       0.00          0          0
1800.09/1800.51	c   guideddiving     :       0.00          0          0
1800.09/1800.51	c   octane           :       0.00          0          0
1800.09/1800.51	c   rens             :       0.00          0          0
1800.09/1800.51	c   rins             :       0.00          0          0
1800.09/1800.51	c   localbranching   :       0.00          0          0
1800.09/1800.51	c   mutation         :       0.00          0          0
1800.09/1800.51	c   crossover        :       0.00          0          0
1800.09/1800.51	c   dins             :       0.00          0          0
1800.09/1800.51	c   undercover       :       0.00          0          0
1800.09/1800.51	c   nlp              :       0.00          0          0
1800.09/1800.51	c   trysol           :       0.00          0          0
1800.09/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.51	c B&B Tree           :
1800.09/1800.51	c   number of runs   :          1
1800.09/1800.51	c   nodes            :    2167501
1800.09/1800.51	c   nodes (total)    :    2167501
1800.09/1800.51	c   nodes left       :     688306
1800.09/1800.51	c   max depth        :         78
1800.09/1800.51	c   max depth (total):         78
1800.09/1800.51	c   backtracks       :     134425 (6.2%)
1800.09/1800.51	c   delayed cutoffs  :      56056
1800.09/1800.51	c   repropagations   :    1853696 (7645426 domain reductions, 54838 cutoffs)
1800.09/1800.51	c   avg switch length:       5.54
1800.09/1800.51	c   switching time   :     436.36
1800.09/1800.51	c Solution           :
1800.09/1800.51	c   Solutions found  :          0 (0 improvements)
1800.09/1800.51	c   Primal Bound     :          -
1800.09/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.51	c   Gap              :   infinite
1800.09/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.51	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 14899
/proc/meminfo: memFree=1721944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=6584 CPUtime=0
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 1053 0 0 0 0 0 0 0 15 0 1 0 8878949 6742016 975 1992294400 4194304 7136930 140734114122064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14899/statm: 1646 985 254 719 0 925 0

[startup+0.0143779 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 14899
/proc/meminfo: memFree=1721944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=8476 CPUtime=0
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 1591 0 0 0 0 0 0 0 15 0 1 0 8878949 8679424 1513 1992294400 4194304 7136930 140734114122064 18446744073709551615 5648659 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14899/statm: 2119 1513 269 719 0 1398 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8476

[startup+0.101384 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 14899
/proc/meminfo: memFree=1721944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=12160 CPUtime=0.09
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 2930 0 0 0 5 4 0 0 17 0 1 0 8878949 12451840 2241 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 3040 2241 327 719 0 2319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12160

[startup+0.301396 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 14899
/proc/meminfo: memFree=1721944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=14328 CPUtime=0.29
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 5081 0 0 0 19 10 0 0 17 0 1 0 8878949 14671872 2850 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 3582 2850 394 719 0 2861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14328

[startup+0.701421 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 14899
/proc/meminfo: memFree=1721944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=16372 CPUtime=0.69
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 5590 0 0 0 55 14 0 0 17 0 1 0 8878949 16764928 3359 1992294400 4194304 7136930 140734114122064 18446744073709551615 4653015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 4093 3359 394 719 0 3372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16372

[startup+1.50147 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 14900
/proc/meminfo: memFree=1708544/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=20112 CPUtime=1.49
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 6520 0 0 0 126 23 0 0 18 0 1 0 8878949 20594688 4289 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 5028 4289 394 719 0 4307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20112

[startup+3.10058 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 14902
/proc/meminfo: memFree=1703212/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=26724 CPUtime=3.09
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 8169 0 0 0 272 37 0 0 21 0 1 0 8878949 27365376 5938 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 6681 5938 394 719 0 5960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26724

[startup+6.30078 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 14902
/proc/meminfo: memFree=1692548/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=34844 CPUtime=6.29
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 10140 0 0 0 565 64 0 0 25 0 1 0 8878949 35680256 7909 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 8711 7909 394 719 0 7990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34844

[startup+12.7012 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 14902
/proc/meminfo: memFree=1677172/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=52196 CPUtime=12.69
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 14466 0 0 0 1154 115 0 0 25 0 1 0 8878949 53448704 12235 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 13049 12235 394 719 0 12328 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52196

[startup+25.501 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14902
/proc/meminfo: memFree=1648156/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=78616 CPUtime=25.48
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 21085 0 0 0 2346 202 0 0 25 0 1 0 8878949 80502784 18854 1992294400 4194304 7136930 140734114122064 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 19654 18854 394 719 0 18933 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78616

[startup+51.1017 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14902
/proc/meminfo: memFree=1602028/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=127412 CPUtime=51.08
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 32982 0 0 0 4728 380 0 0 25 0 1 0 8878949 130469888 30751 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 31853 30751 394 719 0 31132 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127412

[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14904
/proc/meminfo: memFree=1529240/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=200896 CPUtime=102.27
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 50508 0 0 0 9546 681 0 0 25 0 1 0 8878949 205717504 48277 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 50224 48277 394 719 0 49503 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 200896

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14906
/proc/meminfo: memFree=1462900/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=269860 CPUtime=162.25
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 67564 0 0 0 15228 997 0 0 25 0 1 0 8878949 276336640 65333 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 67465 65333 394 719 0 66744 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 269860

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14906
/proc/meminfo: memFree=1356508/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=376024 CPUtime=222.23
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 93752 0 0 0 20860 1363 0 0 25 0 1 0 8878949 385048576 91521 1992294400 4194304 7136930 140734114122064 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 94006 91521 394 719 0 93285 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 376024

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14908
/proc/meminfo: memFree=1268096/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=469048 CPUtime=282.22
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 116042 0 0 0 26510 1712 0 0 25 0 1 0 8878949 480305152 113811 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 117262 113811 394 719 0 116541 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 469048

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14910
/proc/meminfo: memFree=1186504/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=549020 CPUtime=342.21
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 135950 0 0 0 32175 2046 0 0 25 0 1 0 8878949 562196480 133719 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 137255 133719 394 719 0 136534 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 549020

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14912
/proc/meminfo: memFree=1111484/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=627800 CPUtime=402.19
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 155168 0 0 0 37863 2356 0 0 25 0 1 0 8878949 642867200 152937 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 156950 152937 394 719 0 156229 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 627800

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14914
/proc/meminfo: memFree=1038820/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=698216 CPUtime=462.18
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 172761 0 0 0 43557 2661 0 0 25 0 1 0 8878949 714973184 170530 1992294400 4194304 7136930 140734114122064 18446744073709551615 4652878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 174554 170530 394 719 0 173833 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 698216

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14914
/proc/meminfo: memFree=972976/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=764700 CPUtime=522.17
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 189389 0 0 0 49270 2947 0 0 25 0 1 0 8878949 783052800 187158 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 191175 187158 394 719 0 190454 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 764700

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14916
/proc/meminfo: memFree=908372/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=827832 CPUtime=582.16
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 205233 0 0 0 54994 3222 0 0 25 0 1 0 8878949 847699968 203002 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 206958 203002 394 719 0 206237 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 827832

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14918
/proc/meminfo: memFree=845256/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=899872 CPUtime=642.15
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 220927 0 0 0 60725 3490 0 0 25 0 1 0 8878949 921468928 218696 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 224968 218696 394 719 0 224247 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 899872

[startup+702.302 s]

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

/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 294421 0 0 0 95274 4932 0 0 25 0 1 0 8878949 1221521408 292190 1992294400 4194304 7136930 140734114122064 18446744073709551615 4221039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 298223 292190 394 719 0 297502 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1192892

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14930
/proc/meminfo: memFree=515664/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1226968 CPUtime=1062.05
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 303182 0 0 0 101041 5164 0 0 25 0 1 0 8878949 1256415232 300951 1992294400 4194304 7136930 140734114122064 18446744073709551615 6000466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 306742 300951 394 719 0 306021 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1226968

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14930
/proc/meminfo: memFree=477968/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1263808 CPUtime=1122.04
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 312390 0 0 0 106828 5376 0 0 25 0 1 0 8878949 1294139392 310159 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 315952 310159 394 719 0 315231 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1263808

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14932
/proc/meminfo: memFree=440644/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1300900 CPUtime=1182.02
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 321713 0 0 0 112615 5587 0 0 25 0 1 0 8878949 1332121600 319482 1992294400 4194304 7136930 140734114122064 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 325225 319482 394 719 0 324504 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1300900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14934
/proc/meminfo: memFree=399972/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1344472 CPUtime=1242.01
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 332058 0 0 0 118415 5786 0 0 25 0 1 0 8878949 1376739328 329827 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 336118 329827 394 719 0 335397 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1344472

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14939
/proc/meminfo: memFree=365500/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1376268 CPUtime=1302
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 340234 0 0 0 124212 5988 0 0 25 0 1 0 8878949 1409298432 338003 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 344067 338003 394 719 0 343346 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1376268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14941
/proc/meminfo: memFree=341568/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1399732 CPUtime=1361.97
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 346576 0 0 0 130012 6185 0 0 25 0 1 0 8878949 1433325568 344345 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 349933 344345 394 719 0 349212 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1399732

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14941
/proc/meminfo: memFree=306228/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1433852 CPUtime=1421.97
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 355039 0 0 0 135827 6370 0 0 25 0 1 0 8878949 1468264448 352808 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 358463 352808 394 719 0 357742 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1433852

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14943
/proc/meminfo: memFree=271260/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1469464 CPUtime=1481.95
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 366382 0 0 0 141630 6565 0 0 25 0 1 0 8878949 1504731136 361435 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 367366 361435 394 719 0 366645 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1469464

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14945
/proc/meminfo: memFree=268284/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1473368 CPUtime=1541.93
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 367227 0 0 0 147481 6712 0 0 25 0 1 0 8878949 1508728832 362280 1992294400 4194304 7136930 140734114122064 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 368342 362280 394 719 0 367621 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1473368

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14947
/proc/meminfo: memFree=266300/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1475388 CPUtime=1601.92
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 367735 0 0 0 153330 6862 0 0 25 0 1 0 8878949 1510797312 362788 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 368847 362788 394 719 0 368126 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1475388

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14949
/proc/meminfo: memFree=264812/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1476912 CPUtime=1661.91
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368122 0 0 0 159157 7034 0 0 25 0 1 0 8878949 1512357888 363175 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 369228 363175 394 719 0 368507 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1476912

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14949
/proc/meminfo: memFree=263944/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1477844 CPUtime=1721.9
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368331 0 0 0 165002 7188 0 0 25 0 1 0 8878949 1513312256 363384 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 369461 363384 394 719 0 368740 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1477844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14951
/proc/meminfo: memFree=262828/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1479776 CPUtime=1781.88
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368598 0 0 0 170854 7334 0 0 25 0 1 0 8878949 1515290624 363651 1992294400 4194304 7136930 140734114122064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 369944 363651 394 719 0 369223 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1479776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14951
/proc/meminfo: memFree=262828/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1479776 CPUtime=1800.09
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368598 0 0 0 172617 7392 0 0 25 0 1 0 8878949 1515290624 363651 1992294400 4194304 7136930 140734114122064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14899/statm: 369944 363651 394 719 0 369223 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1479776

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14899

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14952
/proc/meminfo: memFree=262820/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1479776 CPUtime=1800.98
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368603 0 0 0 172706 7392 0 0 25 0 1 0 8878949 1515290624 363656 1992294400 4194304 7136930 140734114122064 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14899/statm: 369944 363656 399 719 0 369223 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 1479776

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14954
/proc/meminfo: memFree=262696/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=1473640 CPUtime=1801.78
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4202496 368603 0 0 0 172786 7392 0 0 25 0 1 0 8878949 1509007360 362425 1992294400 4194304 7136930 140734114122064 18446744073709551615 4212303 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14899/statm: 368410 362425 399 719 0 367689 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 1473640

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14954
/proc/meminfo: memFree=262696/2059040 swapFree=4192956/4192956
[pid=14899] ppid=14897 vsize=0 CPUtime=1802.18
/proc/14899/stat : 14899 (pbscip.linux.x8) R 14897 14899 14710 0 -1 4203524 368603 0 0 0 172817 7401 0 0 25 0 1 0 8878949 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14899/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.23
CPU user time (s): 1728.17
CPU system time (s): 74.0607
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 1484696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.17
system time used= 74.0607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4355

runsolver used 3.16752 second user time and 8.33673 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-16 10:10:36
IDJOB=2663415
IDBENCH=48293
IDSOLVER=1167
FILE ID=node030/2663415-1276675836
PBS_JOBID= 11172542
Free space on /tmp= 62556 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_2_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663415-1276675836/watcher-2663415-1276675836 -o /tmp/evaluation-result-2663415-1276675836/solver-2663415-1276675836 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663415-1276675836.opb -t 1800 -m 1800

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

MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22
RANDOM SEED=1540043380

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1722348 kB
Buffers:         64836 kB
Cached:         134160 kB
SwapCached:          0 kB
Active:         125984 kB
Inactive:       132656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1722348 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3248 kB
Writeback:           0 kB
AnonPages:       59584 kB
Mapped:          15468 kB
Slab:            56280 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180300 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= 62556 MiB
End job on node030 at 2010-06-16 10:40:39